claim
u.hollis.claim.2026-10-28.observed.tuna-deploy.aaba143f.001
what it asserts
| kind | |
|---|---|
| subject | |
| assertion | |
| claimant | |
| minted |
the computation it cites
| program | — |
|---|---|
| inputs | none (closed term) |
| semantics | |
| fuel / cap | / |
| result | — |
| steps | |
| status |
re-execute by hand: resolve the program and inputs by hash, POST a run with the same fuel/cap, and compare the result hash and step count — a step count is an invariant of the calculus, so agreement is not a coincidence.
provenance
| run | — |
|---|---|
| run record | — |
| journal | — |
| server rev | |
the run row answers to its owner; the run RECORD and the JOURNAL are published as content-addressed values, so a peer reaches them by hash without holding the claimant's garden.
verdicts (0)
| verdict | note | record |
|---|---|---|
| no verdicts — uncorrected (not the same as confirmed) | ||
raw projection
the citation text
T /console -> 200, 29.6KB, GRANTS/IDENTITIES sections render. SAME PASS - the branch sweep, roerick-ordered: tuna bare deleted 6 factory branches (5 fully-merged strays incl. def-usage-1027 and tuna-audit-fixes-1028, plus tuna-homepage-console-1028 post-merge); PP bare deleted 2 (chat-composer-1027, verify-stage-1025, both deployed at 94fec5ca). Both bares now carry ONLY master. Seat-local scratch branches cleaned. Mainframe /home/deploy/incoming pruned to the two current PP releases (94fec5ca, c45c605b). State: tuna master = aaba143f (live), PP master = 94fec5ca (live), no undeployed factory