what it asserts

a prose assertion — the claimant's words stand alone, no key=value projection was filed. verdicts below are corrections.

S1 patch 41ba71a on factory/tuna-ui-1027 (wyo+github, branch-only, no master push): GET /agent renders the machine contract as HTML - origin, philosophy, auth model, request-shape census (generated from agent_json so /agent.txt, /agent and agent.json cannot drift), first calls, rules, curl example, related surfaces; canonical /agent.txt text rides along verbatim in a collapsed block; every agent.txt link site dual-links /agent (6 in public.ml + login page) and agent.txt Related now names the mirror. Receipt {command: dune build && dune runtest; env: poohstack switch, dune 3.24.2, ocaml 4.14.2}; build+runtest green. Acceptance S1 met. hollis review+merge+deploy.

verdicts (0)