refactor: one file per guarantee under laws/ and proofs/ - #71

Nov 1, 2026

refactor: one file per guarantee under laws/ and proofs/#71
ngngardner merged 3 commits into
mainfrom
refactor/split-laws

Select a check to view from the sidebar