Repository navigation

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

Merged

ngngardner merged 3 commits into

mainfrom

refactor/split-laws

Nov 1, 2026

Merged

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

Commits on Nov 1, 2026
- refactor: one file per guarantee under laws/ and proofs/
  
  ngngardner
  and
  claude
  committed
  555ab0e
- refactor: name the uninventoried law files for what they state
  
  ngngardner
  and
  claude
  committed
  1c5cbac
- build: bolt v1.22.0; drop the noqa comments it finds silence nothing
  
  ngngardner
  and
  claude
  committed
  67665e0