This branch covers the repository’s interactive analysis and discovery tooling. The tools are designed to test and apply existing theorem/validation structure, not to generate unscoped claims.
The workbench surfaces diagnosis, regime comparison, and supported repair operations. The discovery systems support composition and stress testing on declared families with reproducible exports.
Start with docs/app/workbench-overview.md, docs/app/module-theory-map.md, and docs/app/benchmark-validation-console.md, then use docs/workbench/index.html for the interface.
Interpret all outputs through branch status labels: proved, proved-on-supported-family, validated, conditional, or open.