1 · appointment
cited-tuple + 1/120
POST gofirst ingest. Expect HTTP 200 WIN · STUDY19_GOFIRST_CITED_TUPLE_PROVEN — or HTTP 404 / unknown game_id until the membrane binary carries gofirst.
Study 19 · claim path · Go First Dice N=5
Combinatorial State Space: 5-Player Go First Dice
The court verifies the published Paul Meyer 2023 five 60-sided integer faces. Uniformity is exact rational 1/120, never 0.008333. It does not search for faces. CPLEX/Gurobi float simplex is the adversary.
This is a claim, not the look path. #researcher GETs catalogs only. Here you present source=researcher and role combinatorist. File-only HTML is not the court. LIVE CLAIM only on apex HTTP 200 WIN. If this binary does not carry gofirst, the page says so.
2 · adversary
float / empty source / mismatch
IEEE 0.008333 → REFUSED_FLOAT. Empty source → REFUSED_UNATTRIBUTED. A face not on Meyer 2023 → REFUSED_CITED_MISMATCH.
3 · humanity
Checkable integer proof
Nine cells replay the same 300 integers. A float 1/120 forks the tree. OPEN stays 03 / 05 / 08.