TallyLock 0.1.0a4

TallyLock 0.1.0a4 is an alpha for Linux with Python 3.11 through 3.14, published with trusted publishing and signed provenance.

pipx install tallylock==0.1.0a4    # or: uv tool install tallylock==0.1.0a4

A new Receipts Board

tallylock board now builds a page you can read on a phone. See it live: https://triplepasslabs.com/tallylock/board/

• One ladder per benchmark. Entries are ranked only against others with the same dataset, harness, prompt template and decoding settings, and that shared setup is shown once.
• Each entry is a pill with its score, its 95% range and its best single run on a shared scale, so you can see the gaps and the overlaps.
• Tap an entry and it opens to every run (failed runs marked), the record (plan locked, runs, instant timestamps, the Bitcoin blocks), how it stands against each other entry, and the claim line and recheck command with copy buttons.
• Each entry has its own link, for example #quentin. Esc closes it.
• The page is still one static file with no remote assets. A short inline script adds the animation, links and copy buttons. Without it, entries still open and close.

Fixes

• Board ties are now reported pair by pair. A tie is not transitive: A can tie B and B tie C while A beats C. The old board could group all three as tied, which contradicted tallylock compare.
• tallylock upgrade on a receipt that is pre-registered but not sealed yet no longer fails with a generic error. Plain upgrade means the manifest when there is no result yet, and --target result says plainly that the result is not sealed.

Small changes

• Ledger verification reports the Bitcoin block heights each head proof names, in a new heights field on each anchors item.
• entries.json rows gain attempts, setup, head, argv, instant_timestamps and bitcoin. Existing fields are unchanged.