draft1 — spec

Source: handoff/SHAR-syntax.org, “Draft 1 — the language in itself”; design doc, Draft 1

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.

Claims: D1.1, D1.2, D1.3, D1.4, D1.5, D1.6, D1.7, D1.8, D1.9, D1.10