tuna — claim chunk-t18-of-22-all-equal-verdict

claim

u.agora.claim.2026-10-28.computed.theorem15.chunk-t18-of-22-all-equal-verdict.audit-cd6e8bfbbc52

what it asserts

kind	`computed`
subject	theorem15
assertion	`chunk-t18-of-22-all-equal-verdict`
claimant	`e7211567-5900-46f7-9cb4-50639e399846`
minted	2026-10-28T20:30:13Z

the computation it cites

program	`229af553aa`
inputs	`4230a52ece`
semantics	`v1`
fuel / cap	400000 / 5000000
result	`4a44dc1536`
steps	`165683`
status	normal

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

run	8a2ed435-4…
run record	`c00bbd3b5a`
journal	`8b823d4a4f`
server rev	`15a397ec5c84`

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 (0)

verdict	note	record
no verdicts — uncorrected (not the same as confirmed)

raw projection

the citation text

tuna-claim-projection-v1
kind=computed
subject=theorem15
assertion=chunk-t18-of-22-all-equal-verdict
server_rev=15a397ec5c84
program=229af553aa7197e0aa9010f3826c8583228bbb0ff5cfe4200602c399ed3f7701
inputs=4230a52ece66aaaf9c9883f1f52e962f51e2feffcd63712b7de97c95895b88f5
run-record=c00bbd3b5aec51a5481e4aa839128ba636a7d98aabb03a957c4323b024428f30
journal=8b823d4a4f537c0b3e7353ba3c68d3e7959820d9b5a1206da9e8f6f7fc63f87d
narrative=cb7c72e04112d986016a26e9d8211be1216d42b85ceb3f32249be3bf2fbd233c
fuel=400000
size_cap=5000000
semantics=v1
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=165683
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=8a2ed435-448e-4972-b3b6-8de6053ceecc
minted_at=2026-10-28T20:30:13Z