Repository navigation

K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan - #38

Open

hyperpolymath wants to merge 7 commits into

mainfrom

arena/3bf1061a-choreographic-types

Open

K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan#38
hyperpolymath wants to merge 7 commits into
mainfrom
arena/3bf1061a-choreographic-types

Commits on Nov 1, 2026
- K-CUT-WARRANT: precise theorem statement with hypotheses and side conditions
  
  hyperpolymath
  and
  arena-agent
  committed
  a1adcb4
- Grading semantics for bounds under interaction (Task 2)
  
  hyperpolymath
  and
  arena-agent
  committed
  ab348ad
- Independent₂: two-event experiment — degeneracy is essential (Task 3)
  
  hyperpolymath
  and
  arena-agent
  committed
  799b970
- Fix missing EchoProjection commit, update CHANGELOG, fix outside-invisible proof
  
  hyperpolymath
  and
  arena-agent
  committed
  2424107
- Add individual ledger tags to GS definitions
  
  hyperpolymath
  and
  arena-agent
  committed
  da127ba
- K-CUT theorem family audit and grade-3 alignment
  
  hyperpolymath
  and
  arena-agent
  committed
  0610f84
- Toolchain audit, epistemic-types integration plan, estate prompts
  
  hyperpolymath
  and
  arena-agent
  committed
  878f8fd