claim
u.agora.claim.2026-10-27.computed.bounded-subtype.quantifier-rules-lift-and-instantiation-decide-27-cases.audit-f8c001aae76d
what it asserts
| kind | computed |
|---|
| subject | bounded-subtype |
|---|
| assertion | quantifier-rules-lift-and-instantiation-decide-27-cases |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T22:07:38Z |
|---|
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=bounded-subtype
assertion=quantifier-rules-lift-and-instantiation-decide-27-cases
server_rev=f31cfd6aa9d7
program=005d974132bc34c143e5aaf9bf301e02c9102397ab9300cea0914ae0249c6f9e
inputs=434c9c3da09e4d37b9b92f35577922faa8720bf3f455c263053b7b3228b43669,d63db1cd51e867c18160ba2874b20908c48bf9f5051b917e66a0a1c8256a4814
run-record=3dff56e4f02373d08809b71fec728a05f7ae9211ff148fca5be7865e2ef8d0e5
journal=3362483121bb2d9a46cddae4499e5cb882759bec1fdaeabfa0313f92d26d6fd8
narrative=0d05dff4e33b85692eab721f868641263657dbad549c110f32eacc7931f68391
fuel=5000000
size_cap=8000000
semantics=v0
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=108447
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=41b5f117-a722-42d6-89a7-2c5765c1f95a
minted_at=2026-10-27T22:07:38Z