Issues

• The kernel witness's cost: the hosted gate's Lean job skips the axiom check by name (near 29 GB on a 16 GB runner); bring the witness under the runner's memory

  Calhooon/bsv-script-lean#26 · Filter by author Calgooon opened on Oct 27, 2026 · S9 · The year held: columns per release, the loop, the board

• RUSTSEC-2026-0387 under bsv-rs 0.7.0's k256/p256 0.13: a dated ignore in harness/deny.toml until a bsv-rs release takes elliptic-curve 0.14

  Calhooon/bsv-script-lean#25 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• make verify: one command for a stranger (the Lean build, the axiom check, the self-test, the smoke run) with a stated time and memory

  Calhooon/bsv-script-lean#24 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The public tracker: the open work re-filed at the public repository's start

  Calhooon/bsv-script-lean#23 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The contributor pages: CONTRIBUTING.md, SECURITY.md, the divergence-report template with the witness fields, a CLAUDE.md for a contributor's agent

  Calhooon/bsv-script-lean#22 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The glossary: witness, finding, pin, leg, tripwire, corpus, overlay, record, lens, the labels; rename nothing, define everything

  Calhooon/bsv-script-lean#21 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• docs/STATE-OF-THE-WORLD.md rewritten as a plain status page: what stands, at which pin, with which record

  Calhooon/bsv-script-lean#20 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The labels policy on public prose: evidence labels in records and claim tables, not in entry-page prose; one legend where they remain

  Calhooon/bsv-script-lean#19 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• lean/README as the module map: opcode to file and line, what is proven, the axiom list, how to read a theorem

  Calhooon/bsv-script-lean#18 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The reading order: one path per reader, as the front door page

  Calhooon/bsv-script-lean#17 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• README for four readers: what it is, three commands to a report, the map, the claims with their records, the license

  Calhooon/bsv-script-lean#16 · Filter by author Calgooon opened on Oct 26, 2026 · P · The public reader

• The decider rule's wording for the day SV node leaves: the spec at SV node's last pin frozen as the record

  Calhooon/bsv-script-lean#15 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• Ruling: chain-unrequested-equal-work (scenario.unrequested-body.regtest-bridge-admits)

  Calhooon/bsv-script-lean#14 · Filter by author Calgooon opened on Oct 26, 2026 · S8 · Teranode as a refinement of the reference

• Ruling: chain-disconnected-now-nonfinal (timing-sensitive; the whole runs differ)

  Calhooon/bsv-script-lean#13 · Filter by author Calgooon opened on Oct 26, 2026 · S8 · Teranode as a refinement of the reference

• Ruling: chain-invalidate-reconsider (scenario.reconsider.revalidation-refused)

  Calhooon/bsv-script-lean#12 · Filter by author Calgooon opened on Oct 26, 2026 · S8 · Teranode as a refinement of the reference

• Ruling: a divergence class under a maintainer's open disclosure, withheld by name and counted

  Calhooon/bsv-script-lean#11 · Filter by author Calgooon opened on Oct 26, 2026 · S8 · Teranode as a refinement of the reference

• The Teranode-only run: the whole corpus and the scenarios with SV node absent, the spec the only judge

  Calhooon/bsv-script-lean#10 · Filter by author Calgooon opened on Oct 26, 2026 · S8 · Teranode as a refinement of the reference

• A Teranode column for bsv-stack-lean: chain-event envelopes from a Teranode node's headers, in the witness format

  Calhooon/bsv-script-lean#9 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• Speed held: a regression on the replay or the gate turns a leg red, for a year

  Calhooon/bsv-script-lean#8 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• One conformance board: every implementation's column per release on one page

  Calhooon/bsv-script-lean#7 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• A program proven against the spec: an on-chain script program checked by the evaluator with a theorem

  Calhooon/bsv-script-lean#6 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• Maintainability held: every SV-node release mirrored with its citation within seven days, for a year

  Calhooon/bsv-script-lean#5 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• The two Lean libraries as one: one workspace, zero duplicated definitions

  Calhooon/bsv-script-lean#4 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• Another implementer runs the harness and sends a column

  Calhooon/bsv-script-lean#3 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board

• Witness rows taken upstream as a loop: each implementation's intake accepts them

  Calhooon/bsv-script-lean#2 · Filter by author Calgooon opened on Oct 26, 2026 · S9 · The year held: columns per release, the loop, the board