claim
u.agora.claim.2026-10-28.computed.bf2.partial-self-application-terminates-normal-superseded.audit-3e3601be7bd2
what it asserts
| kind | computed |
|---|
| subject | bf2 |
|---|
| assertion | partial-self-application-terminates-normal-superseded |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-28T19:50:16Z |
|---|
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=bf2
assertion=partial-self-application-terminates-normal-superseded
server_rev=15a397ec5c84
program=82d0872eedb26f1fed0f013a2b640ed3df61f7c04ae80dc4913781cb76ef5467
inputs=82d0872eedb26f1fed0f013a2b640ed3df61f7c04ae80dc4913781cb76ef5467
run-record=14ce5fa9a308676b3e7328b24fd6c049961af0ea5aec98678f1aa7f0a4c5d2da
journal=797196d471f1af6cbdd8e1e0fc4a9e098ed3d105bfe5ead1e732b8b672463103
narrative=a4d469dd1029cc1b207a0cc99df69cab3818c66f48c1e3573da0b85553d629f2
fuel=400000
size_cap=5000000
semantics=v1
result=81fe964f102c7e939496cdbec4b3cc93c0ddb3b5ba76806e2a7fdcf8b177c3de
steps=89
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=0964882e-7951-4864-aa3c-191b8f417c02
minted_at=2026-10-28T19:50:16Z