docs: Watch and Walkthrough sections in the README and explainer

b083176

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

ci on: push 53

phase 0 + 1A slice (ubuntu-latest, 3.11)

phase 0 + 1A slice (ubuntu-latest, 3.13)

phase 0 + 1A slice (windows-latest, 3.11)

phase 0 + 1A slice (windows-latest, 3.13)

phase 0 + 1A slice (macos-latest, 3.11)

phase 0 + 1A slice (macos-latest, 3.13)

raw lane, release binary, three levels (ubuntu-latest)

raw lane, release binary, three levels (windows-latest)

signer, two OS users

whole suite (ubuntu-latest, 0)

whole suite (ubuntu-latest, 1)

whole suite (ubuntu-latest, 2)

whole suite (ubuntu-latest, 3)

whole suite (windows-latest, 0)

whole suite (windows-latest, 1)

whole suite (windows-latest, 2)

whole suite (windows-latest, 3)

disproof gate, no dependencies

verifier path is stdlib-only

public instruction files stand alone

no optimality claim on a public surface

300-line gate, burn-down only shrinks

Claude Code mod (experimental) unit and monitor tests

no tracked path over 180 characters

no tracked JUnit report names a host or a local path

new tests run on the parent commit; the classes stay report-only

hard writing rules gate our prose; the score stays report-only

the verifier runs one version below the package floor

the frozen prereg still hashes to its freeze

every harness module parses

art-receipts

recheck on: push 7

canonical bytes, ubuntu-latest, autocrlf=false

canonical bytes, windows-latest, autocrlf=true

canonical bytes, windows-latest, autocrlf=false

recheck cpu claims, ubuntu-latest, autocrlf=false

recheck cpu claims, windows-latest, autocrlf=true

canonical bytes on: pull_request 3

canonical bytes (ubuntu-latest)

canonical bytes (windows-latest)

recheck on: pull_request 7