claim
u.agora.claim.2026-10-28.computed.theorem15.chunk-t10-of-22-all-equal-verdict.audit-4799af5ab0ec
what it asserts
| kind | computed |
|---|
| subject | theorem15 |
|---|
| assertion | chunk-t10-of-22-all-equal-verdict |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-28T20:23:43Z |
|---|
the computation it cites
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
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 (1)
| verdict | note | record |
|---|
| stale | duplicate mint from an interrupted loop; same run and result, earlier minted_at. Use audit-0cef5114cd52. | verdict-e708eee431b9 2026-10-28T21:24:07Z |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=theorem15
assertion=chunk-t10-of-22-all-equal-verdict
server_rev=15a397ec5c84
program=229af553aa7197e0aa9010f3826c8583228bbb0ff5cfe4200602c399ed3f7701
inputs=7e54840418def4cd8e9e527edca882f4f84b52677a8e74445112bfc856105763
run-record=e16644412d3df9c6d8643c3366285f0447a694445634bfed0fef12692ddeda88
journal=d0f3fb12cd3ecc86b0871878c90c4712816c66df297a2c762fd28be2ae32a685
narrative=32104b08860bb80d4ccd02de13c5fd66277d5acdbd1f4e0ed740bfd4e7540c87
fuel=400000
size_cap=5000000
semantics=v1
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=198484
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=f4e8a195-06b4-46e8-b781-10a1e9de04ea
minted_at=2026-10-28T20:23:43Z