claim

u.agora.claim.2026-10-27.computed.program-type.equals-the-value-on-le-6-node-trees.audit-73441d24aa5f

what it asserts

kindcomputed
subjectprogram-type
assertionequals-the-value-on-le-6-node-trees
claimante7211567-5900-46f7-9cb4-50639e399846
minted2026-10-27T13:43:08Z

the computation it cites

program5016657a56
inputsccde38c63c
semanticsv0
fuel / cap50000000 / 5000000
resulta62653c3b8
steps6434271
statusnormal

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

runf1baef62-e…
run recordb12459b6c2
journal5b1647f249
server revc667940

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)

verdictnoterecord
no verdicts — uncorrected (not the same as confirmed)

raw projection

the citation text
tuna-claim-projection-v1
kind=computed
subject=program-type
assertion=equals-the-value-on-le-6-node-trees
server_rev=c667940
program=5016657a569c705f057f0b12ed5f8527b32bdb351bf1f31c9c0625fcc83a2d29
inputs=ccde38c63cd837971190449d76fa24303aad4ee64ffa20996665190b63e57652
run-record=b12459b6c234ea5aa3ede8e57ea9de997c7e7d62694ac89c49aa69bd1b27efbc
journal=5b1647f249f7ea564aa7a7752f1b075126673a21032b872b45525c6434d4e344
fuel=50000000
size_cap=5000000
semantics=v0
result=a62653c3b86ea265f6dde8a2da534a05a80fe6b540faff993f46a1e4a6e6bb63
steps=6434271
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=f1baef62-eb07-4149-a846-205147926563
minted_at=2026-10-27T13:43:08Z