claim
u.agora.claim.2026-10-27.computed.canonical-records.written-order-and-zero-twins-equal.audit-9827cf947a43
what it asserts
| kind | computed |
|---|
| subject | canonical-records |
|---|
| assertion | written-order-and-zero-twins-equal |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T07:57:45Z |
|---|
the computation it cites
| program | 2ae75c4c6e |
|---|
| inputs | none (closed term) |
|---|
| semantics | v0 |
|---|
| fuel / cap | 1000000 / 1000000 |
|---|
| result | 2ae75c4c6e |
|---|
| steps | 0 |
|---|
| 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
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=canonical-records
assertion=written-order-and-zero-twins-equal
server_rev=d9e94b4bc5f6
program=2ae75c4c6e5c43063f28c2fd704407be61682400e30d90e7bd3af176e67ac09a
inputs=
run-record=37b78bb77dc9481a9c21c7d3098a98c9c9c526a0ae46870ffe841a2e8cd4018d
journal=bf8d50f1c54e94cc8856622d4252076b6af937061eb8ae04391a1211ff4e679a
narrative=4831ff073595860145d585a1ecef069397ad859cb4b6b52baf88e351bc804f6a
fuel=1000000
size_cap=1000000
semantics=v0
result=2ae75c4c6e5c43063f28c2fd704407be61682400e30d90e7bd3af176e67ac09a
steps=0
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=2eeaa2b2-8a38-441d-abeb-050fc506d85a
minted_at=2026-10-27T07:57:45Z