README.md

Standalone Product Specifications

1. 01_SEMANTIC_BRIDGE.md
2. 02_CERTIFIED_COMPUTATION_SERVICE.md
3. 03_HYPOTHESIS_SYNTHESIS.md
4. 04_CONJECTURE_FALSIFICATION.md
5. 05_TRACE_TO_PLAN.md
6. 06_ALGORITHM_ASSURANCE.md
7. 07_CAPABILITY_REGISTRY.md
8. 08_FOUNDRY.md
9. 09_STUDIO.md

Each file is independently readable and defines purpose, boundaries, APIs, invariants, failure modes, and acceptance criteria.