Repository navigation

Reject formalized work the Lean cannot back, and report unused statement dependencies - #142

Closed

Deicyde wants to merge 3 commits into

open-statements-revisionfrom

fix/formalized-backing-and-impact-dependents

Commits on Oct 5, 2026

Reject formalized work the Lean cannot back at load time
Deicyde
committed
03bb33f
Report stated statement dependents that work impact cannot see
Deicyde
committed
d9f9e94
Generate only states the loader accepts in the contract test
Deicyde
committed
3d1eb7d