On 29 October 2026 eleven seats judged WARRANT, the grammar this site is drawn in, against its rulebook and five built pages. They kept one law, that the display is a sound map of the record and the build decides it, and found ten places where the site broke its own rules. This page draws the law, each finding before and after its fix, the six axioms, and the fifteen rules the table proposed, with which of them a build now enforces.
Each seat was an AI agent (Claude, Anthropic’s model) briefed with the rulebook, the brainstorm behind it, the module that draws the marks and five built pages, and asked to judge the grammar by one discipline’s published principles. Each is named for the person whose work defines that discipline. None of those people took part, and nothing on this page is theirs: the seats argued from their published ideas, and every number the table reported was measured again on the built site before it was written here.
Each finding is a fact about the built site on 29 October, measured again before the rulings. Where a number moved, it is counted here twice by the same rule: on the site as git holds it at e310e071^, the commit before the first fixes, and on the site as it is built today.
Dashed marks in figures that carried no standing, so nothing could check what the dash meant. The chart kit took a plain “dashed” switch; now it takes a standing, and the census counts what is left, which may only shrink.
At the width the legend draws its strokes, 2.4 px, the chosen pattern inks 0.567 of its length and the computed one 0.556: the weaker standing carries more ink. It crosses above at 5/7 px in the small patterns and at 7/3 px in the large ones. Open. Since D9 the tone carries the order (F1), and whether the density should too is a question for the reader study below.
Drawn at the top of this page: the staircase’s top on [1, 3/2] sat 7/180 of a pixel inside its record. Every edge now rounds outward and the builder refuses one drawn inside.
A dash is a standing, so a chip border may not be dashed; and a word like CERTIFIED wore several chip shapes across the site. Before: PARTIAL as open/dep/held; CERTIFIED as held/cert; REFUTED as cert/dep/open; REFUSED as open/dep; QUEUED as open/dep; REPAIRED as cert/open/held; NEEDS DATA as open/dep. Now each word has one shape, and the census refuses a second.
A number’s standing was written by hand where it was printed. Since D10 a number can be printed from its record through an address, and a gate re-reads every addressed number from the built page. Partial: most values still carry no address.
A value’s reason (“measured, not decided”) was a hover title: invisible on a phone, a door with no handle on a desktop. Open (R22).
Its first tile read “proofs decided · 2 of 2 · CERTIFIED, each against its own statement”. A reader left believing ETH had been certified false. The first tile now reads ““ETH is false” · not decided here · read against the textbook ETH (§2), bridged in each lab’s own machine model (§5); the step between models is prose (§6)”.
Machinidae carried its own copy of the five dash patterns, which is how twenty-five patterns once grew on this site. Open (R29): one registry file, lifted by digest.
The landing’s flow animated a dash offset (2 animation then, 0 now): decoration in the channel that carries standing. It is a translated point now, and a video that slid a decided tick was rejected.
The table proposed fifteen rules. A rule enters the rulebook when a check exists that refuses a page breaking it; until then it binds new work. The status below is decided by this page’s build, from the code and the census: 1 gated, 6 partly, 8 open.
| rule | what it says | the check | status |
|---|---|---|---|
| R17 | A number’s standing is read from a typed value with its record’s address, never typed at a call site. | a census of values without an address, ratcheted down; tools/check-marks.js re-reads every addressed one | partial 248 values carry an address; 1,540 still do not |
| R18 | Every channel the standing scale uses is monotone in it, or constant. | design/battery.js asserts the tone order from the tokens, on screen and on paper | gated tone falls with standing since D9 |
| R19 | Pixels round outward, and a figure prints the smallest difference it can show. | an edge drawn inside its record refuses the build | partial refused on /grammar/’s staircase; not yet in design/charts.js |
| R20 | The legend is derived from the figure, never declared. | no builder passes the legend a list of what to leave out | open 55 calls still tell the legend what to leave out |
| R21 | A dash is a standing everywhere: on strokes, borders and in motion. | the marks census: dashes without a standing, dashed borders, a verdict word in two chip shapes | partial 36 unclassed dashes and 34 dashed borders left, ratcheted; chip shape a function of the word |
| R22 | A mark’s reason is visible text, never only a tooltip. | a value whose reason appears nowhere on its page refuses it | open 1,206 reasons live only in a tooltip |
| R23 | A figure names its record and its digest on itself. | a figure with standing marks and no record named in its caption refuses the page | open no caption names its record yet |
| R24 | A page’s standing is computed by its builder, never typed. | the printed standing equals the meet of the page’s marks | open not built |
| R25 | A frame is a page: standing never tweens, a value never travels. | every frame of a video passes the page checks | open the tail video is the model; no gate yet |
| R26 | A chosen input is a handle, and a drag is a test. | under a drag no decided mark moves (a Chrome drive) | partial one instrument: the return-level check’s design height (D14) |
| R27 | A premise grade is a pair: a verification bit and a validation rung. | a chain whose top rung lacks the bit prints the word “unverified” | partial declared on Swell and on /grammar/; other chains as they are next edited (D11) |
| R28 | A witness is an event and a void has a size. | one hero per page, its × first and at weight; a refused cell keeps its area | partial 5 pages declare a hero (D12); the void’s size is not built |
| R29 | The registry is one machine-readable file, lifted by digest into every sibling. | make drift on both ends | open the five patterns still live in several copies |
| R30 | A figure carries the sentence that would stop it. | a guarded figure without its sentence refuses the page | open not built |
| R31 | A conformance suite, and the checks as a package. | fixtures labelled pass or refuse that every implementation agrees on | open the red controls are its seed |
The rulebook itself is the grammar page; the rulings that followed this table are its dated sections.