Added a '## Revision History' section at the end of spec_v2.md (just before
'End of spec_v2.md.') documenting the 2026-06-24 MVP pivot:
- MVP output is a single AUDIT_REPORT.md (6797 lines, 311KB) + per-aggregate
markdowns + summary.md TOC pointer
- v2 DSL format (to_dsl_v2/parse_dsl_v2/DSL_WORD_ARITY_V2/_atom) was
implemented but never produced and was deprecated in Task 2.2
- compute_result_coverage was dead code with a latent 100% bug, removed in Task 2.3
- Test count: 125 (was 131 pre-polish; -6 tests deleted)
- audit_weak_types.py --strict and generate_type_registry.py --check now pass
No changes to the v2 spec's overall design intent, 13 aggregates, 4-direction
decomposition cost, or cross-audit integration. The MVP pivot is purely about
the OUTPUT format and code-smell cleanup.
ed
f14962e84d