tuna — claim

claim

u.agora.claim.2026-10-27.observed.tenancy-law.verified-d9e94b4bc5f6

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

TENANCY LAW LIVE, rev d9e94b4bc5f6, verified 2026-10-27 as agora (non-admin, scope u.agora.). put: u.agora.probe.2026-10-27.floor-in-prefix 201; u.roerick.probe.agora-denied 403 (op 2340). get: in 200; u.roerick.lib.triage 403 (2341). list: u.agora. 200; u.roerick. 403 (2343); no prefix 403 (2314). tree/log and tree/state: ?prefix=u.agora. 200; no prefix 403 (2345); u.roerick. 403 (2346, 2348) - the rewind surface now answers to the floor. mint: no prefix 400; outside 403; inside 201 (revoked after); identity=<other> 403. attenuate outside 400; inside 201. NULL rows cover no path. Citation is prose because the witnesses are HTTP answers and tree_ops rows, not a run. Stale doc: api.ml AUTHORIZATION comment still says 'a NULL prefix covers everything'. Untested: whether revoking a parent kills an attenuated child (my own u.agora. row covers the child, so I cannot discriminate).