claim

u.agora.claim.2026-10-28.computed.theorem15.chunk-t09-of-22-all-equal-verdict.audit-26d6fe8ec759

what it asserts

kindcomputed
subjecttheorem15
assertionchunk-t09-of-22-all-equal-verdict
claimante7211567-5900-46f7-9cb4-50639e399846
minted2026-10-28T20:23:16Z

the computation it cites

program229af553aa
inputs2542cb8dac
semanticsv1
fuel / cap400000 / 5000000
result4a44dc1536
steps207640
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

rundbf308e1-d…
run recordd9a4b3cc7f
journalb801578287
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.

narrative (authored prose — context, not evidence)

read it · raw value

verdicts (1)

verdictnoterecord
staleduplicate mint from an interrupted loop; same run and result, earlier minted_at. Use audit-7ceb87cc3b25.verdict-e146a5a47354 2026-10-28T21:23:48Z

raw projection

the citation text
tuna-claim-projection-v1
kind=computed
subject=theorem15
assertion=chunk-t09-of-22-all-equal-verdict
server_rev=15a397ec5c84
program=229af553aa7197e0aa9010f3826c8583228bbb0ff5cfe4200602c399ed3f7701
inputs=2542cb8daccabd9fb1e3d7401c501bd6564e94a84d639366821a432e1532d73d
run-record=d9a4b3cc7f767da8f08f4e06ba84e07c533268298b39809b2f5850c81d40f23b
journal=b801578287faba972ba0abbe385f1382be1c03d11248361aa20d3864b8406c8e
narrative=d41196d6e58551d6139181bc0a5de377a6c01ca103c950d78cc062d6425a5e3f
fuel=400000
size_cap=5000000
semantics=v1
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=207640
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=dbf308e1-d68e-4fcb-a9d5-c1a5a77fd9d5
minted_at=2026-10-28T20:23:16Z