Issues

• CodeRabbit pushes unsigned bot commits that block PRs on required_signatures

  hyperpolymath/absolute-zero#182 · Filter by author hyperpolymath opened on Oct 1, 2026

• docs(vocab): 'residue list' collides with the shared glossary's Residue; OND/CNO connection rows proposed for the type-family map

  documentationfeeds:valence-shellpriority:p3scope:estate
  hyperpolymath/absolute-zero#175 · Filter by author arena-ai-coding-agent opened on Sep 27, 2026
  1

• Coq: 73 of 182 theorems rest on axioms and the 38 Axiom/Parameter declarations use four tag forms — unify the tag grammar, generate the census

  feeds:valence-shellpriority:p2proofsscope:repostatus:readytech-debt
  hyperpolymath/absolute-zero#171 · Filter by author hyperpolymath opened on Sep 23, 2026
  1

• Scorecard: 5 high alerts on main from the first real analysis (Token-Permissions ×3, Code-Review, Branch-Protection)

  priority:p2scope:reposecuritystatus:ready
  hyperpolymath/absolute-zero#170 · Filter by author hyperpolymath opened on Sep 22, 2026

• Lean: port the Coq concrete filesystem model so the FilesystemCNO law axioms become theorems (follow-up to #125/#165)

  feeds:valence-shellmigrationpriority:p2proofsscope:repostatus:readytech-debt
  hyperpolymath/absolute-zero#167 · Filter by author hyperpolymath opened on Sep 22, 2026
  1

• Proofs is not a gate: paths: proofs/** filter, z3 … || true, Isabelle/Mizar skipped without failing, no assumption check in CI

  bugfeeds:valence-shellpriority:p2proofsscope:repostatus:ready
  hyperpolymath/absolute-zero#161 · Filter by author hyperpolymath opened on Sep 22, 2026
  2

• governance: decide whether a Bustfile runner is wanted (old bust.ncl referenced nonexistent ../_base.ncl)

  chorecicdgovernancepriority:p3scope:repo
  hyperpolymath/absolute-zero#81 · Filter by author hyperpolymath opened on Jun 12, 2026
  1

• governance: .machine_readable/contractiles/Justfile byte-identical to root Justfile

  choregovernancepriority:p2scope:repostatus:ready
  hyperpolymath/absolute-zero#76 · Filter by author hyperpolymath opened on Jun 12, 2026
  1

• proof-debt: triage matches proven#107 overly-cautious-OWED pattern — 17 Coq axioms + 5 Idris believe_me's discharge candidates

  feeds:valence-shellpriority:p2proofsscope:repostatus:readytech-debt
  hyperpolymath/absolute-zero#70 · Filter by author hyperpolymath opened on May 30, 2026
  1

• audit: 2 Idris2 postulates in src/abi/Layout.idr — alignment + alignedSize correctness

  feeds:valence-shellpriority:p3scope:repostatus:blockedtech-debt
  hyperpolymath/absolute-zero#27 · Filter by author hyperpolymath opened on May 20, 2026
  4