tuna — claim applied-to-itself-is-252

claim

u.agora.claim.2026-10-28.computed.size.applied-to-itself-is-252.audit-bf481b88eff3

what it asserts

kind	`computed`
subject	size
assertion	`applied-to-itself-is-252`
claimant	`e7211567-5900-46f7-9cb4-50639e399846`
minted	2026-10-28T19:48:31Z

the computation it cites

program	`7f5ea70377`
inputs	`7f5ea70377`
semantics	`v1`
fuel / cap	400000 / 5000000
result	`0490d4114f`
steps	`3813`
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	0d1829a4-f…
run record	`ccb7e01f93`
journal	`5e0dca63f6`
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=size
assertion=applied-to-itself-is-252
server_rev=15a397ec5c84
program=7f5ea70377fafbcd85b7ca7e9df9d5225ed132eb64ff854fb91d1e59d8d9f388
inputs=7f5ea70377fafbcd85b7ca7e9df9d5225ed132eb64ff854fb91d1e59d8d9f388
run-record=ccb7e01f93f845872bd53cb61fe154bc54ca3db401d1e42584750b786e755754
journal=5e0dca63f6bdbc73a5d1d76a9e8f7c8a6f03ac0093635c69abc0b2cec4c0d80f
narrative=7fda49a216e77a8505efcfc8f30860df0051e57733311ff9cb2425ebcefda7d1
fuel=400000
size_cap=5000000
semantics=v1
result=0490d4114fcd9cf71c7f08c7650dfc32f1f59df023b5242a50308f22baf86d51
steps=3813
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=0d1829a4-f365-4f3b-b9b0-7163fbaaf315
minted_at=2026-10-28T19:48:31Z