Repository navigation

chore(proofs): reconcile Grade 3 policy and proof status - #47

Merged

hyperpolymath merged 9 commits into

mainfrom

arena/7ba4f4fe-epistemic-types

Nov 2, 2026

Merged

chore(proofs): reconcile Grade 3 policy and proof status#47
hyperpolymath merged 9 commits into
mainfrom
arena/7ba4f4fe-epistemic-types

Commits on Nov 1, 2026
- chore(proofs): reconcile grade 3 policy and status
  
  hyperpolymath
  and
  arena-agent
  committed
  46c7964
- ci(proofs): surface canonical gate failures
  
  hyperpolymath
  and
  arena-agent
  committed
  6810751
- fix(ci): run proof diagnostics with bash
  
  hyperpolymath
  and
  arena-agent
  committed
  d403d1e
- fix(proofs): include generated control root
  
  hyperpolymath
  and
  arena-agent
  committed
  1eae9c7
- fix(proofs): document indexed match boundary
  
  hyperpolymath
  and
  arena-agent
  committed
  bf9c75a
- docs(proofs): record Grade 3 receipt
  
  hyperpolymath
  and
  arena-agent
  committed
  14081c0
- docs(check): explain gate order and failure exit status
  coderabbitai[bot]
  committed
  995f4d1
- fix(proofs): harden exact policy audits
  
  hyperpolymath
  and
  arena-agent
  committed
  f71d3ea
- fix(policy): close lexical scan evasions
  
  hyperpolymath
  and
  arena-agent
  committed
  209f00d