fix(804): assert/assume facts discharge later obligations (v0.0.179)#805

Merged

aallan merged 5 commits into

mainfrom

fix/804-assert-assume-facts

Jun 26, 2026

Commits on Jun 26, 2026

fix(804): assert/assume facts discharge later obligations (assume-half of #800)

aallan
and
Claude
committed
test(804): harden coverage — match-arm scoping, div_zero & untranslatable discharge

aallan
and
Claude
committed
fix(804): discharge call preconditions from prior asserts + CR #805 follow-ups

aallan
and
Claude
committed
test(804): strengthen call-pre tests to an observable (CR #805 round 2)

aallan
and
Claude
committed
docs(804): attribute the assume-half to #804 in TESTING.md (CR #805)

aallan
and
Claude
committed