All pull requests

Pull requests

• fix(crosscheck): write ledger parse faults in the checker's own words and reject invisible text

  #122·hnipps opened Oct 7, 2026Member·

  ·
  2

• fix(crosscheck): reject two claims with the same id in claims.json

  #120·hnipps opened Oct 7, 2026Member·

  ·
  1

• fix(crosscheck): give the invariant-coverage gate one heading grammar

  #112·hnipps opened Oct 7, 2026Member·5 of 6 tasks·

  ·
  1

• feat(crosscheck): check slash-references in pre-commit and CI and generate the skill catalogue

  #108·hnipps opened Oct 7, 2026Member·7 tasks·

  ·
  20

• feat(cgv): hash what the protected statements mention, and check the rules table

  #104·hnipps opened Oct 7, 2026Member·5 of 6 tasks·

  ·
  1

  9

• feat(cgv): reject implemented_by and extern on constants the soundness theorems reach

  #101·hnipps opened Oct 7, 2026Member·5 of 6 tasks·

  ·
  18

• ci(cgv): replay the built environment through the Lean kernel

  #99·hnipps opened Oct 7, 2026Member·7 tasks·

  ·
  17

• feat(crosscheck): emit an evidence record from /generate-verified with dafny_evidence

  #91·hnipps opened Oct 7, 2026Member·5 of 7 tasks·

  ·
  5

• ci: run the evidence record checker's tests on every pull request

  #88·hnipps opened Oct 6, 2026Member·6 tasks·

  ·
  1

• feat(cgv): accept an int where a float is required

  #87·hnipps opened Oct 6, 2026Member·5 of 6 tasks·

  ·
  32

• fix(crosscheck): say "not yet reached" for Layer 6 and unreached classes in skills

  #77·hnipps opened Oct 6, 2026Member·2 of 7 tasks·

  ·
  7

• fix(crosscheck): stop presenting the intent-check attestation as a required artefact

  #72·hnipps opened Oct 6, 2026Member·6 tasks done·

  ·
  1

• fix(ci): fail the tier gate when CHANGED_FILES_PATH is unset or unreadable

  #70·hnipps opened Oct 6, 2026Member·1 task·

  ·
  6

• fix: let the protected-surface hook's ** match a newline in a path

  #69·hnipps opened Oct 6, 2026Member·5 of 6 tasks·

  ·
  6

• fix: read the commit-msg hook's staged names NUL-separated

  #68·hnipps opened Oct 6, 2026Member·5 of 6 tasks·

  ·
  4

• ci: count only a whole Fixes-Incident line as an incident reference

  #67·hnipps opened Oct 6, 2026Member·7 tasks·

  ·
  8

• fix(crosscheck): describe the Incident Eval Check the same way everywhere

  #66·hnipps opened Oct 6, 2026Member·5 of 6 tasks·

  ·
  17

• chore(main): release crosscheck 2.9.0

  autorelease: pending
  #56·github-actions[bot] opened Sep 30, 2026Bot·

  ·