server — spec

Source: handoff/SHAR-syntax.org, “The counting file server”

Why: every example in the syntax documents, in the name spelling (S32), tabs, =;= comment levels (S33), =#= symbols (S29), =$= unquote (S30), =?= goals and =_= inference holes (S40). Each parses under the grammar; the harness reads them from =gram/snips/=. Draft 4 is the pattern-matching sketch (S35–S41). Rung 2 (parsed by the same grammar); their meaning is rung 5, prose, until the elaborator exists.