Repository navigation

Tranche A remediation + GNPL design documents - #6

Merged

hyperpolymath merged 5 commits into

mainfrom

worktree-gnpl-remediation

Jul 21, 2026

Merged

Tranche A remediation + GNPL design documents#6
hyperpolymath merged 5 commits into
mainfrom
worktree-gnpl-remediation

Commits on Jul 21, 2026
- Tranche A remediation + GNPL design documents
  
  hyperpolymath
  and
  claude
  committed
  012cad9
- ci: make `lake test` able to fail
  
  hyperpolymath
  and
  claude
  committed
  374c3d9
- Seed docs/proof-debt.md; fix scorecard SARIF policy violation
  
  hyperpolymath
  and
  claude
  committed
  1b90196
- docs: qualify LITHOGLYPH.adoc prerequisite with the axiom caveat
  
  hyperpolymath
  and
  claude
  committed
  837c49d
- Merge branch 'main' into worktree-gnpl-remediation
  hyperpolymath
  authored
  bb3eb55