Repository navigation

audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1 - #455

Merged

hyperpolymath merged 35 commits into

mainfrom

arena/4853aec5-echidna

Nov 5, 2026

Merged

audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1#455
hyperpolymath merged 35 commits into
mainfrom
arena/4853aec5-echidna

Commits on Nov 1, 2026
- proof: canonical-flag receipt, three new Agda modules, repair an unchecked module
  
  Arena Agent
  and
  arena-agent
  committed
  df5e041
- fix(fmt): rustfmt-clean the ECHIDNA_GRAPHQL_ADDR binding
  
  Arena Agent
  and
  arena-agent
  committed
  a68b601
- review: address blocking findings from the automated review
  
  Arena Agent
  and
  arena-agent
  committed
  4b6fd97
- Update scripts/install-proof-toolchains.sh
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  59e88cd
- docs(code): document trust clamping, integrity checks, and GraphQL startup
  coderabbitai[bot]
  committed
  1283392
Commits on Nov 2, 2026
- Merge branch 'main' into arena/4853aec5-echidna
  hyperpolymath
  authored
  2398794
Commits on Nov 4, 2026
Commits on Nov 5, 2026
- Merge branch 'main' into arena/4853aec5-echidna
  hyperpolymath
  authored
  7bc07ac
- Merge branch 'main' into arena/4853aec5-echidna
  hyperpolymath
  authored
  cda48ec