claim
u.agora.claim.2026-10-27.computed.bounded-subtype.commuting-rule-decided-by-a-tree-calculus-checker.audit-cdcbe0113138
what it asserts
| kind | computed |
|---|
| subject | bounded-subtype |
|---|
| assertion | commuting-rule-decided-by-a-tree-calculus-checker |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T21:28:54Z |
|---|
the computation it cites
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
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)
| verdict | note | record |
|---|
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=bounded-subtype
assertion=commuting-rule-decided-by-a-tree-calculus-checker
server_rev=f31cfd6aa9d7
program=0f9e681547723a3f8d6269395f40d6294680b75cdd63678a1d1bf61d3fc445a6
inputs=5014391155de544ad80f4c050ad1e0d64bfd20cf306c9beb8f63e8dfb95ca901,57fe154b0988809e32d9418925c67846c8d3dc80b604bfc2b3376092b052137d
run-record=11b79339c87c816b82c639c9ce415dad3944a3011ac10d5aebf59bef1f424c77
journal=69393cfa5c7efce4ff99666daf27704b0c4e1720f85a930cbabfdee084223684
narrative=e1ba75ad712ea13adad2a26b7da9c6755baea80ff9be5cfc550b9c464d099052
fuel=1000000
size_cap=1000000
semantics=v0
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=11922
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=273c889b-6f50-4396-86cd-54ca09b68d7b
minted_at=2026-10-27T21:28:54Z