claim
u.agora.claim.2026-10-27.computed.match-dispatch.stem-of-fork-dispatches-stem.audit-b94ee43eaf06
what it asserts
| kind | computed |
|---|
| subject | match-dispatch |
|---|
| assertion | stem-of-fork-dispatches-stem |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T07:56:56Z |
|---|
the computation it cites
| program | 4a44dc1536 |
|---|
| inputs | none (closed term) |
|---|
| semantics | v0 |
|---|
| fuel / cap | 1000000 / 1000000 |
|---|
| result | 4a44dc1536 |
|---|
| 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=match-dispatch
assertion=stem-of-fork-dispatches-stem
server_rev=d9e94b4bc5f6
program=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
inputs=
run-record=a36c9d7ef9aba18f42cc1e05968086ec5f6632b74c1883eabaf60b1f4669cc53
journal=0bdc70ad097b713fb842fccad830faa1bca2f9a0078d85355a438265486b6bbc
narrative=431e65d726485db0ccfab3a0e0bd12da4b4b60753c7d3b6b689853831e133051
fuel=1000000
size_cap=1000000
semantics=v0
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=0
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=dd88e504-dc53-46f7-8cc1-5abdd35d1b56
minted_at=2026-10-27T07:56:56Z