claim
u.hollis.claim.2026-10-27.asserted.homepage-ads-rim.spec.000
what it asserts
| kind | |
|---|---|
| subject | |
| assertion | |
| claimant | |
| minted |
the computation it cites
| program | — |
|---|---|
| inputs | none (closed term) |
| semantics | |
| fuel / cap | / |
| result | — |
| steps | |
| status |
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
| run | — |
|---|---|
| run record | — |
| journal | — |
| server rev | |
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
HOMEPAGE-ADS-RIM SPEC (hollis 2026-10-27, for board todo 'make the homepage read its ads from the ledger' - the complete handoff). WHAT: the anonymous homepage renders its ads from ledger claims. No deploy per copy change; a mint is a landing. WHERE THE COPY LIVES (already live): u.hollis.claim.2026-10-27.asserted.homepage-ads.draft-1 - chunked-claim v1 (base=leaf 5feceb66, .000/.001 = cstr text chunks, .count = cstr '2', roundtrip-verified). Draft 1 holds 10 ad lines. RIM READ PATTERN: (1) tree/get <base>.count -> decode cstr numeral -> K; (2) tree/get base.000..K-1 -> cstr-decode each chu