02 - Legacy Denominator Recheck

Verdict

LEGACY_DENOMINATOR_FAIL

U_legacy improves coverage by adding reverse write-effect closure, executable entrypoints, and entry vectors. It is still not a closed independent denominator:

• The roots are described as “20 legacy qt001 tables”, QT001 apply objects, and birth/permit resources. The blueprint does not specify the independent sealed PG authority that selects these roots without name/manual inventory.
• “Every legacy routine with effective EXECUTE” uses the term being derived, making the rule circular unless the universe of routines is independently defined.
• DO_NOT_TOUCH is subtracted by sealed identity, but the approved PG surface holding that exclusion set and its exact proof is not identified.
• Scheduler/frozen-DOT entry-vector derivation and analyzer output bindings are not specified as an exact, fail-closed PG set.

Required T1 fix: define independent typed root and exclusion sets, exact analyzer contract/output rows, closure direction, unsupported/dynamic-call failure behavior, and both-EXCEPT queries. The output sealed set cannot also be the unproven input roots.