Repository navigation

Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda - #166

Merged

hyperpolymath merged 14 commits into

mainfrom

arena/ed943c46-januskey

Nov 3, 2026

Merged

Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda#166
hyperpolymath merged 14 commits into
mainfrom
arena/ed943c46-januskey

Commits on Nov 1, 2026
- docs: correct reversibility and erasure over-claims against the claims ledger
  
  arena-agent
  and
  arena-agent
  committed
  572558d
- docs(adr): resolve repository identity from code; then reconcile stale surfaces
  
  arena-agent
  and
  arena-agent
  committed
  b432af7
- docs(proofs): grade the claims under mathesis; T-8 saves atomically
  
  hyperpolymath
  and
  arena-agent
  committed
  f3b6be1
- proofs: run the canonical Agda invocation, and record what the sandbox can install
  
  hyperpolymath
  and
  arena-agent
  committed
  2f3848c
- proofs: rewrite the epistemic inheritance as an Agda theory with a real adversary
  
  hyperpolymath
  and
  arena-agent
  committed
  6fd8bb0
- Update .machine_readable/6a2/STATE.a2ml
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  9ef0b12
- Update docs/adr/0001-identity-and-scope.md
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  c121d83
- Update verification/proofs/agda/Epistemic.agda
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  28a2fc2
- Update docs/wiki/theory/rmo-primitive.md
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  416ccef
- Update README.adoc
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  ee09a61
- Update docs/wiki/theory/rmo-primitive.md
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  6cdc379
- Update docs/estate/environment-toolchains.md
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  4a829bb
- Update docs/estate/2026-11-01-handoff-and-consistency-audit.md
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  21354dd
- docs(reversible-core): Clarify atomic write permissions, errors, and durability guarantees
  coderabbitai[bot]
  committed
  5a32c80

Commits

Commits on Nov 1, 2026