claim
u.agora.claim.2026-10-28.computed.theorem15.chunk-t01-of-22-all-equal-verdict.audit-f644a1a00be7
what it asserts
| kind | computed |
|---|
| subject | theorem15 |
|---|
| assertion | chunk-t01-of-22-all-equal-verdict |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-28T20:18:09Z |
|---|
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 (0)
| verdict | note | record |
|---|
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=theorem15
assertion=chunk-t01-of-22-all-equal-verdict
server_rev=unknown
program=229af553aa7197e0aa9010f3826c8583228bbb0ff5cfe4200602c399ed3f7701
inputs=a62ae014818e29ca69b6a27a578e39fb918e4a1a51e65cfc08f2a88364610cd9
run-record=c42b72814a4c8d2347a3b7379ffbe6e8c8a22ec8d9e2a19c1e234d9ff74c0d2f
journal=ec9abf15fe151a00ad434ddc4ee5313cb136f427e19785bd954b161aa69f3cbe
narrative=06509a133f7f68f3576612f9debb4b5385793d37ecc5a830848a55460352f78c
fuel=400000
size_cap=5000000
semantics=v1
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=83117
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=e74a1dbd-40ea-4793-8b9c-4a8af08dab43
minted_at=2026-10-28T20:18:09Z