Repository navigation

chore: R-16 toolchain pin + reconciliation - #198

Merged

hyperpolymath merged 17 commits into

mainfrom

r16-reconcile-2026-08-28

Aug 31, 2026

Merged

chore: R-16 toolchain pin + reconciliation#198
hyperpolymath merged 17 commits into
mainfrom
r16-reconcile-2026-08-28

Commits on Jun 5, 2026
- chore: rename agent_instructions to bot_directives for spec alignment
  hyperpolymath
  committed
  d12d56a
- proofs(lean4) + tests: A-12 path-traversal containment
  
  hyperpolymath
  and
  claude
  committed
  d0bccff
- ci: realign validation matrix with current support
  hyperpolymath
  committed
  714072a
Commits on Jul 7, 2026
- fix(ci): estate-wide structural CI fixes
  hyperpolymath
  committed
  fbf39c1
- fix(ci): switch to permissionless reusable workflow
  hyperpolymath
  committed
  4512577
Commits on Jul 26, 2026
- chore: estate-wide security compliance
  hyperpolymath
  committed
  aa57711
- chore: remove duplicate GOVERNANCE files, keep GOVERNANCE.md
  hyperpolymath
  committed
  3f7a918
Commits on Aug 13, 2026
Commits on Aug 18, 2026
Commits on Aug 31, 2026
- chore(toolchain): keep .tool-versions -> .mise.toml pin conversion (R-16)
  
  hyperpolymath
  and
  claude
  committed
  639e8ee
- chore: reconcile local history with origin (R-16/R-24)
  
  hyperpolymath
  and
  claude
  committed
  fd2566a