feat(verification): establish the TypeScript 7 S0 gate - #26

Open

metaphorics wants to merge 7 commits into

validation/s0-gate-2026-08-21

Commits on Aug 21, 2026

fix(formal): sync JIT lifecycle theorem metadata
metaphorics
committed
b745e07
fix(checker): stabilize recursive generic type relations
metaphorics
committed
4a5e133
test(cli): cover nested finally completions
metaphorics
committed
e2b54d5
feat(verification): execute classified conformance cells
metaphorics
committed
cfdd989
feat(perf): pin BH1 baselines and immutable fixtures
metaphorics
committed
a281917
ci: enforce the S0 conformance gate
metaphorics
committed
99e7efc
ci(bh1): provision one-shot JIT runners safely
metaphorics
committed
8bfb56f