fix(infer): judge forward references; gate the tail-call false accept it revealed - #21

Merged

Ch4s3 merged 6 commits into

claude/coverage-and-check6from

claude/mutual-recursion

Aug 9, 2026

Commits on Aug 8, 2026

fix(infer): resolve forward references via a ground-signature pass-1 pre-pass
Ch4s3
committed
af6fece
docs(infer): correct two typecheck.ml line citations in the pre-pass docstring
Ch4s3
committed
91fe4fe
fix(compare): gate ACCEPT on non-tail recursion — march's tail-call check is unmodeled
Ch4s3
committed
0a24292
fix(compare): narrow the tail-call gate with a tiny structural-decrease whitelist
Ch4s3
committed
9d0a484
docs(infer): retract a false claim about in-fragment fn parameter annotations
Ch4s3
committed
ecb56f3
Merge coverage-and-check6: decoder gate + Check 6 + t57 ledger
Ch4s3
committed
c5f101c