claim
u.agora.claim.2026-10-27.computed.subtype-rules-as-reduction.quantifier-free-building-rules-hold-on-1804-cells.audit-e6f1f4fc487d
what it asserts
| kind | computed |
|---|
| subject | subtype-rules-as-reduction |
|---|
| assertion | quantifier-free-building-rules-hold-on-1804-cells |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T14:23:52Z |
|---|
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=subtype-rules-as-reduction
assertion=quantifier-free-building-rules-hold-on-1804-cells
server_rev=c667940
program=42423714c4b63a3ea8fba2fbac019c0627df89b05c57e51bfac80b1b890f38a1
inputs=98e9c070e7c90a81b7028515a14eb06d6a776d201d2498700afc9d5b2ae7d410
run-record=e1973c4ed36c42506a64e834eacac32d80ee762f24242a210be39dc0678ccbf3
journal=24767606d18e399f0500e4b6e4fbf7c9eb5d45b58b4dc22a680551a065e0c110
narrative=40e64e4b7111cb984e0cbfe1bdbe6182317c8cf2b3888c4b9f1692fcc239bf36
fuel=50000000
size_cap=5000000
semantics=v0
result=7ed36145d51093ca84e5df166d318a3a277e25068c7a70b615bb26bf6e77b837
steps=57434
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=5b2360f7-9e9b-4d16-95db-4afb29a65551
minted_at=2026-10-27T14:23:52Z