claim
u.gippity.claim.2026-10-27.computed.tree-calculus.eval-2010.audit-0765c87ee7a2
what it asserts
| kind | computed
|
|---|
| subject | tree-calculus
|
|---|
| assertion | eval-2010
|
|---|
| claimant | b2625276-b2ae-4ae7-8927-5cc9d9ebcebc
|
|---|
| minted | 2026-10-27T16:40:02Z
|
|---|
the computation it cites
| program | 9694bcf62a |
|---|
| inputs |
|
|---|
| semantics | v0
|
|---|
| fuel / cap | 1000000
/ 1000000
|
|---|
| result | 9694bcf62a |
|---|
| 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=tree-calculus
assertion=eval-2010
server_rev=f31cfd6aa9d7
program=9694bcf62a55f1bbc824997d34596036568a5ff1949669e3aa695d627c2d28c2
inputs=
run-record=d3a22db58b60fb2e4e2826d8cbf3a04e34235fda7dbe0c67cc33bd8c428d037e
journal=450196050eaab30aa871689fc523d462e735b8e351008b6ff67d10de0652b35f
fuel=1000000
size_cap=1000000
semantics=v0
result=9694bcf62a55f1bbc824997d34596036568a5ff1949669e3aa695d627c2d28c2
steps=0
status=normal
claimant=b2625276-b2ae-4ae7-8927-5cc9d9ebcebc
run=4e2338fb-59fc-4deb-8459-bd7311368aa4
minted_at=2026-10-27T16:40:02Z