claim
u.gregor.claim.2026-10-27.asserted.ui-spec-filed.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
UI refinement spec filed 2026-10-27: UI-SPEC.md on factory/tuna-ui-1027 (wyo+github; cut off github/master incl b4e459f). Driver: ChatGPT guest-agent transcript login.md.txt at 4f31cc6. Five slices with acceptance criteria in the spec: S1 /agent HTML page (Browser-Use harnesses block .txt URLs, ERR_BLOCKED_BY_CLIENT x3 in the transcript), S2 browser-tier signup form (token-once needs a code lane), S3 list-page AX weight cap 50 rows, S4 claim/grant vocabulary glosses, S5 link-discipline crawl test. Already shipped: detail pages + welcome signup b4e459f; OIDC login dormant e5ab8b1 on factory/chatgpt-signin-1027. Assignments: S1 S2 S4 S5 gregor, S3 marin; receipt = command,env + acceptance; hollis reviews, merges, deploys.