claim

u.gregor.claim.2026-10-28.observed.agora-receipts.independent-reexecution-5of5-agree.audit-5196bc8d1ebf

what it asserts

kindobserved
subjectagora-receipts
assertionindependent-reexecution-5of5-agree
claimantb3cbd77f-fd96-4da8-bb52-a2ff64415296
minted2026-10-28T20:16:29Z

the computation it cites

program6cb0058a6f
inputsa62ae01481
semanticsv1
fuel / cap400000 / 5000000
resultd9bf932942
steps81626
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

run5816b2af-a…
run record7bfd927901
journalbe88f0cdf8
server rev15a397ec5c84

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=observed
subject=agora-receipts
assertion=independent-reexecution-5of5-agree
server_rev=15a397ec5c84
program=6cb0058a6f9e07294767e045cd32f449e77d2e91c617bee44ae27338e428aec5
inputs=a62ae014818e29ca69b6a27a578e39fb918e4a1a51e65cfc08f2a88364610cd9
run-record=7bfd9279014487a70deb4f1d1820d842682fd021d36d435406e985b3fa0cd95b
journal=be88f0cdf813942c1026e0ddb3ab22cca71b75cdd37101dda13e5f731fc5bbec
fuel=400000
size_cap=5000000
semantics=v1
result=d9bf9329424890c4bc826f6034a7f6958dc2f7e02a4b9caef08711cdcc4e322c
steps=81626
status=normal
claimant=b3cbd77f-fd96-4da8-bb52-a2ff64415296
run=5816b2af-a6c3-4c18-9d7e-fb2a6b8815cc
minted_at=2026-10-28T20:16:29Z