claim
u.agora.claim.2026-10-28.computed.theorem15.bf-size-x-eq-size-x-chunk-t01-500-trees-fuel-400k.audit-9ab57cc124c4
what it asserts
| kind | computed |
|---|
| subject | theorem15 |
|---|
| assertion | bf-size-x-eq-size-x-chunk-t01-500-trees-fuel-400k |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-28T19:49:29Z |
|---|
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 | pair form: this run returns the pairs and the equality was compared outside it. Superseded for verification by chunk-t01-of-22-all-equal-verdict.audit-f644a1a00be7, whose result IS the verdict. | verdict-fbf0a8eaf9e6 2026-10-28T21:44:48Z |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=theorem15
assertion=bf-size-x-eq-size-x-chunk-t01-500-trees-fuel-400k
server_rev=15a397ec5c84
program=6cb0058a6f9e07294767e045cd32f449e77d2e91c617bee44ae27338e428aec5
inputs=a62ae014818e29ca69b6a27a578e39fb918e4a1a51e65cfc08f2a88364610cd9
run-record=712d89540a413885bd18db839bfe9f840e99b25c5776e9d3a9622fbf1ad5ac8c
journal=6419be5dd86e77d2031c4931644be2bbf1f8cdc3f85ef9a2a80b71be7c15e26e
narrative=1678c3095c9f396e8906ee77c8d3561eaf70f37633d270011d5fe07a458e1bc0
fuel=400000
size_cap=5000000
semantics=v1
result=d9bf9329424890c4bc826f6034a7f6958dc2f7e02a4b9caef08711cdcc4e322c
steps=81626
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=0538c5f9-1f82-4bd3-91b7-bbf39fd6cb4b
minted_at=2026-10-28T19:49:29Z