Catalog-driven verification
v3 added the verification factory: a second, read-only machine that reads an existing system and produces a behavior catalog with typed semantics, a tiered coverage-debt report, and the regression tests that close the gaps. New machinery in this generation: typed oracle tiers (only cross-confirmed and backend-grounded facts may be asserted as invariants), provenance gates that grep cited excerpts rather than trusting line numbers, enforcement matrices crossing frontend rules against backend guards, and axis-independence analysis to keep generated permutations honest.
Its first estate engagement covered 15 production targets, with generated suites delivered into the client's own QA repo and idiom. Against live staging, 23 of 24 generated specs ran green on the first run. The failure was a timing flake, and it produced two permanent fixes: a flake lint and a learned status correction. The factory keeps what it learns.
v3 also carried our own platform across a generation. Parity replay, replaying recorded operations against the new generation and diffing every result against the old, is how the platform moved from v2 to v3 with zero behavioral difference asserted, not assumed.