Repository navigation

chore(machine-readable): correct STATE.a2ml proof-status lie (Refs standards#134) - #103

Merged

hyperpolymath merged 2 commits into

mainfrom

proof-debt/standards-134-state-honest

May 20, 2026

Merged

chore(machine-readable): correct STATE.a2ml proof-status lie (Refs standards#134)#103
hyperpolymath merged 2 commits into
mainfrom
proof-debt/standards-134-state-honest

Commits on May 20, 2026
- chore(machine-readable): correct STATE.a2ml proof-status lie (Refs standards#134)
  hyperpolymath
  committed
  8b1bcee
- Merge branch 'main' into proof-debt/standards-134-state-honest
  hyperpolymath
  authored
  f16257e