All pull requests

Pull requests

• Site + verify example: 311 tests, v0.12.0 — the surfaces say what the repo does

  #77·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• Release 0.12.0 — the transport layer witnesses the labels

  #76·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• Receipt v0.2.4 — the transport-writer invariant + load-bearing requirement scope — closes #74

  #75·by slabbdev was merged Oct 11, 2026Collaborator·

  ·
  1

• The frontier leg landing pad — merge contract for Randal's PR

  #73·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• The frontier leg landing pad — merge contract for Randal's PR

  #72·by slabbdev was closed Oct 11, 2026Collaborator·

  ·

• feat: the wall — make wisdom (dedicated to Randal)

  #71·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• SCAR-BENCH-114 measured — the canary holds at ceiling on open weights

  #70·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• Site: 300 tests green, release link v0.11.0 — same rule as the README

  #69·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• Release 0.11.0 — the version the article describes

  #68·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• coverage_check — every write reconciles against a gate receipt — closes #44

  #67·by slabbdev was merged Oct 11, 2026Collaborator·

  ·
  1

• README: 300 — the count after Fixture 5

  documentation
  #66·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• Fixture 5: SCAR-114's canary witness + SCAR-BENCH (taxonomy, claims format, differential)

  #65·by slabbdev was merged Oct 11, 2026Collaborator·

  ·

• feat: SCAR-114 fixture 5 — the read-before-define barrier + the canary token

  #64·by slabbdev was closed Oct 11, 2026Collaborator·

  ·
  1

• Receipt v0.2.3 — judged_by required, the receipts join the journal — closes #62

  #63·by slabbdev was merged Oct 11, 2026Collaborator·

  ·
  1

• Receipt v0.2.2 — spec_hash required for llm-judged checks, requirement_ref (Reid + howcani)

  #61·by slabbdev was merged Oct 10, 2026Collaborator·

  ·

• README: 285 — the count the suite actually reports

  documentation
  #60·by slabbdev was merged Oct 10, 2026Collaborator·

  ·

• README: 285 — the count the suite actually reports

  documentation
  #59·by slabbdev was closed Oct 10, 2026Collaborator·

  ·
  1

• Pairing reads the terminal — the scar becomes the spec (SCAR-PROC-110 follow-up)

  #57·by slabbdev was merged Oct 10, 2026Collaborator·

  ·

• receipt: the written reason travels with the verdict (issue #55)

  #56·by slabbdev was merged Oct 10, 2026Collaborator·

  ·
  1

• The SCAR replay suite — the breaks-catalog, replayed as attacks (Randal/gde)

  #54·by slabbdev was merged Oct 10, 2026Collaborator·

  ·
  1

• The toolset baseline + evidence grades on every label — closes #50, #51

  #52·by slabbdev was merged Oct 9, 2026Collaborator·

  ·

• Obligation, not immunity + the two-sided denominator — closes #47, #48 (mickyarun)

  #49·by slabbdev was merged Oct 9, 2026Collaborator·

  ·

• Cross-chain reconciliation: ADR 024 shipped as code — closes #41

  #46·by slabbdev was merged Oct 9, 2026Collaborator·

  ·
  1

• The a-priori bound and the channel rung — closes #42, #43

  #45·by slabbdev was closed Oct 9, 2026Collaborator·

  ·
  1

• Pages: rebuild landing in the new banner identity (violet neon, proof-not-promises)

  #40·by slabbdev was merged Oct 9, 2026Collaborator·

  ·