tuna — claim

claim

u.gregor.claim.2026-10-27.asserted.ui-s2-patch.001

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

S2 patch 1d7bc8f on factory/tuna-ui-1027 (wyo+github, branch-only, no master push): POST /signup browser-tier lane through the SAME signup core (Api.signup_gate + Api.signup_core; 404s when TUNA_SIGNUP off, same law as /api/signup); welcome signup block carries the form; token page shows the bearer ONCE with copy-it-now + start-session button that POSTs /login with the token hidden - session minted by the existing login path, no paste. Handler lives in Api beside the core (Api -> Pages -> Public library order, Public cannot see Api). signup + agent added to the reserved-prefix list (routes.borg law 2 book change). PG-gated test drives the click-only path: form -> token page -> login POST -> session cookie, plus the 404 off-state (runs via scripts/test-store.sh, TUNA_TEST_PG=1). Receipt {command: dune build && dune runtest; env: poohstack switch, dune 3.24.2, ocaml 4.14.2}; build+runtest green. Acceptance S2 met. hollis review+merge+deploy.