Repository navigation

t1-exception-2026-10-12 - #188

Merged

hyperpolymath merged 5 commits into

mainfrom

t1-exception-2026-10-12

Oct 12, 2026

Merged

t1-exception-2026-10-12#188
hyperpolymath merged 5 commits into
mainfrom
t1-exception-2026-10-12

Commits on Oct 12, 2026
- T1 exception record (Agda kernel alongside Idris2 ABI); README note: archived provers carry the 61 axioms, active stack has none
  Jonathan D.A. Jewell
  committed
  aed8813
- T7 resolution record: valence-shell interface as an Agda record with an Idris2 ABI mirror; D204 amended not withdrawn
  Jonathan D.A. Jewell
  committed
  3eb07b0
- T7: ruled — valence-shell interface as an Agda record with an Idris2 ABI mirror; D204 amended
  Jonathan D.A. Jewell
  committed
  2873eed
- docs(readme): link to the resolved T7 ruling
  coderabbitai[bot]
  committed
  216ed76
- test(policy): add acceptance checks for T1 exception and T7 decision records
  coderabbitai[bot]
  committed
  db0d9b1