Repository navigation

ci: repin standards to 9bdf864 with the fork-PR publisher; proofs: gate holes, totality and import cone, ledgers to PROOF-POLICY - #180

Merged

hyperpolymath merged 24 commits into

mainfrom

claude/bold-dijkstra-jbt52l

Nov 10, 2026

Merged

ci: repin standards to 9bdf864 with the fork-PR publisher; proofs: gate holes, totality and import cone, ledgers to PROOF-POLICY#180
hyperpolymath merged 24 commits into
mainfrom
claude/bold-dijkstra-jbt52l

Commits on Oct 27, 2026
- k9: migrate all 113 K9 files to contract v1.0.0
  claude
  committed
  4b1065f
- ci: repin standards to metadatastician and adopt fork-governance
  claude
  committed
  cb77f07
- k9: untrack generated/k9iser/*.k9
  claude
  committed
  e5b52db
- ci(hypatia-scan): least-privilege token permissions
  claude
  committed
  74e34e6
- ci(hypatia-scan): restore the space after uses:
  claude
  committed
  85e71b2
- k9: render the deploy template, grant Hunt capabilities, keep push coverage
  claude
  committed
  dc04df7
- docs(layouts): validate presets with K9-aware commands
  claude
  committed
  882dd75
- Merge main (#166 squash) into claude/bold-dijkstra-jbt52l
  claude
  committed
  7ba9e31
- Merge main (#167 squash) into claude/bold-dijkstra-jbt52l
  claude
  committed
  70832d2
Commits on Nov 4, 2026
- ci: repin standards to e064539; render the deploy template from init too
  claude
  committed
  e6af8eb
- panel-clades: point the root manifest at the rendered deploy component
  claude
  committed
  edf9435
Commits on Nov 9, 2026