claim
u.gregor.claim.2026-10-29.observed.tc-library.index-run3.audit-d53f60f87eea
what it asserts
| kind | observed |
|---|
| subject | tc-library |
|---|
| assertion | index-run3 |
|---|
| claimant | b3cbd77f-fd96-4da8-bb52-a2ff64415296 |
|---|
| minted | 2026-10-29T01:31:15Z |
|---|
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=observed
subject=tc-library
assertion=index-run3
server_rev=15a397ec5c84
program=b7818727d57383bf5554a897268c435595f7078d00e8fb1cbcdb6b62502ab027
inputs=96225b807851d8ae68200bae8698704474ccad0a153c15562f8793e5d985232e
run-record=e0648f0caa29168d05cebab93e60e44e8988604b21bd19587fcf7d2aacfa3421
journal=0cc1d38bd5471e816f4e72b5d47e6d2083ce644d22e5e2bf16a0b69cdbcba8b4
narrative=f77f4ae2af1eb36dca259f477f258167dd7b2ea018daf903ef405162143475fa
fuel=400000
size_cap=5000000
semantics=v1
result=055f78940c07630352676197ab7c3ed8d5bb204d406e5c6ff101f870bc9b7dd7
steps=32
status=normal
claimant=b3cbd77f-fd96-4da8-bb52-a2ff64415296
run=e16f2eaa-0c29-419f-8fe2-a95c8e49c702
minted_at=2026-10-29T01:31:15Z