Never substitute bound type variables; defer rigid fundep improvements#1037

Open

nanavati wants to merge 20 commits into

B-Lang-org:mainfrom

nanavati:claude/bound-variable-discipline

Commits on Jul 15, 2026

BSV syntax for the class coherence annotation

nanavati
and
claude
committed
Warn on instances that do not cover their class's functional dependencies

nanavati
and
claude
committed
testsuite: fundep coverage warning and coherence-keyword pins

nanavati
and
claude
committed
doc: the coherence annotation and the dependency-coverage check

nanavati
and
claude
committed
Give the constraint solver's results proper types

nanavati
and
claude
committed
Ordered-clause fundep semantics: outputs never bar a match

nanavati
and
claude
committed
Commit coherent instance matches by default, with predicate ancestry

nanavati
and
claude
committed
Report ordered-clause fundep conflicts (T0159), failing fast when final

nanavati
and
claude
committed
Keep diagnostics rooted, positioned, and complete under commitment

nanavati
and
claude
committed
testsuite: ordered-clause commitment pins

nanavati
and
claude
committed
Document coherent instance selection in the user-facing guides

nanavati
and
claude
committed
Never report a committed residual unsatisfiable without a final retry

nanavati
and
claude
committed
Settle numeric provisos in one SAT session at their owner

nanavati
and
claude
committed
testsuite: numeric-settlement ownership pins

nanavati
and
claude
committed
Document the endgame ordering invariant at the settlement point

nanavati
and
claude
committed
Never substitute bound type variables; defer rigid fundep improvements

nanavati
and
claude
committed
testsuite: skolemization pins for polymorphic struct fields

nanavati
and
claude
committed
Reject skolem escapes at generalization (T0161)

nanavati
and
claude
committed
testsuite: bound-variable audit goldens

nanavati
and
claude
committed
testsuite: pin the modal earlier-instance-may-capture judgment

nanavati
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Never substitute bound type variables; defer rigid fundep improvements#1037

Never substitute bound type variables; defer rigid fundep improvements#1037
nanavati wants to merge 20 commits into
B-Lang-org:mainfrom
nanavati:claude/bound-variable-discipline

Commits on Jul 15, 2026

BSV syntax for the class coherence annotation

Warn on instances that do not cover their class's functional dependencies

testsuite: fundep coverage warning and coherence-keyword pins

doc: the coherence annotation and the dependency-coverage check

Give the constraint solver's results proper types

Ordered-clause fundep semantics: outputs never bar a match

Commit coherent instance matches by default, with predicate ancestry

Report ordered-clause fundep conflicts (T0159), failing fast when final

Keep diagnostics rooted, positioned, and complete under commitment

testsuite: ordered-clause commitment pins

Document coherent instance selection in the user-facing guides

Never report a committed residual unsatisfiable without a final retry

Settle numeric provisos in one SAT session at their owner

testsuite: numeric-settlement ownership pins

Document the endgame ordering invariant at the settlement point

Never substitute bound type variables; defer rigid fundep improvements

testsuite: skolemization pins for polymorphic struct fields

Reject skolem escapes at generalization (T0161)

testsuite: bound-variable audit goldens

testsuite: pin the modal earlier-instance-may-capture judgment