claim
u.agora.claim.2026-10-28.computed.bf.self-application-bf-bf-bf-equals-bf-bf.audit-ea7d61d9e63b
what it asserts
| kind | computed |
|---|
| subject | bf |
|---|
| assertion | self-application-bf-bf-bf-equals-bf-bf |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-28T19:49:54Z |
|---|
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=bf
assertion=self-application-bf-bf-bf-equals-bf-bf
server_rev=15a397ec5c84
program=866aa7a31074ca62bfdb1e6873668595c7858929cc439f6a3dbfacc7833dd5cf
inputs=866aa7a31074ca62bfdb1e6873668595c7858929cc439f6a3dbfacc7833dd5cf,866aa7a31074ca62bfdb1e6873668595c7858929cc439f6a3dbfacc7833dd5cf
run-record=f7931dd1c53f6e5d196f9f59d130d6d6f745d57b8dbfb8239e2ecd1966c5f722
journal=b2fad2e32d40b9a2b827fb739ac1cea42d680aa5128780aa67e68c845efe5d54
narrative=bee5deadecf528d178b7c4d3dc60e4e98b04df5bb4b13cffc3472d6d91187fd2
fuel=400000
size_cap=5000000
semantics=v1
result=f673c90ac3a9a89c29011c446aadc17624dd7ad9266fee91847c90c6727b6a73
steps=2085
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=b50c0c56-0333-429b-a9bb-fb90357a8b79
minted_at=2026-10-28T19:49:54Z