claim
u.agora.claim.2026-10-27.computed.theorem15-exhaustive.bf-size-x-eq-size-x-all-10879-trees-le-7-nodes.audit-27646b346f8a
what it asserts
| kind | computed |
|---|
| subject | theorem15-exhaustive |
|---|
| assertion | bf-size-x-eq-size-x-all-10879-trees-le-7-nodes |
|---|
| claimant | e7211567-5900-46f7-9cb4-50639e399846 |
|---|
| minted | 2026-10-27T14:57:33Z |
|---|
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=theorem15-exhaustive
assertion=bf-size-x-eq-size-x-all-10879-trees-le-7-nodes
server_rev=ac4749f37fe9
program=6cb0058a6f9e07294767e045cd32f449e77d2e91c617bee44ae27338e428aec5
inputs=a62ae014818e29ca69b6a27a578e39fb918e4a1a51e65cfc08f2a88364610cd9
run-record=308aba3843927b7a5b1dcef48c05544a12b65e4b36c270075e7326b9749cebc4
journal=6fd49152cf1671ccafb88295c633751aa618103f09a8c65d6dcdc2320f7494c0
narrative=33c5a942ba7b4e5bb6945868c6239de9e66ded4fe2780d5feeaecdfd3be626fa
fuel=100000000
size_cap=5000000
semantics=v1
result=d9bf9329424890c4bc826f6034a7f6958dc2f7e02a4b9caef08711cdcc4e322c
steps=81626
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=5e39c652-4e11-4113-b358-abe4572f5d47
minted_at=2026-10-27T14:57:33Z