@cavelang/parser 0.1.0

package/README.md

@@ -0,0 +1,105 @@
+# @cavelang/parser
+
+CAVE text → AST. Implements the syntax layer of the
+[CAVE specification](../../README.md#the-specification): lexical rules (§4), line shapes
+(§3), indentation kinds (§8) and the normative grammar (§16). Built on
+[`@prelude/parser`](https://www.npmjs.com/package/@prelude/parser)
+combinators.
+
+The parser is deliberately *pre-semantic*: inverse verbs stay as written
+(`packages/api PART-OF monorepo` keeps verb `PART-OF`), continuation lines
+keep their missing endpoint, `UNLESS` stays `UNLESS`. The §13.4
+canonicalization pipeline lives in `@cavelang/canonical`.
+
+```ts
+import { parseDocument, parse } from '@cavelang/parser'
+
+const doc = parseDocument(`
+server CAUSE crash @ 80%
+  WHEN load > ~1000 req/s
+  WHEN NOT cache/enabled
+`)
+doc.lines        // classified lines with depth + parent links
+doc.diagnostics  // never throws — problems are collected
+
+parse('a USES b')  // strict variant: throws on any diagnostic
+```
+
+## Pipeline
+
+1. **Split physical lines**, measure indentation (`document.ts`).
+2. **Split off the comment** at the first `;` outside quotes/backticks
+   (`Token.splitComment`).
+3. **Tokenize** into words / `"text"` literals / `` `code` `` literals
+   (`token.ts`, `@prelude/parser` combinators).
+4. **Classify** the line per §8's three-kind table: qualifier (starts with
+   `WHEN`/`UNLESS`/`VIA`/`BECAUSE`), continuation (starts with a bare
+   relational verb), or full claim.
+5. **Parse the token stream** (`line.ts`): subject, verb, `NOT`, payload,
+   then metadata items.
+6. **Resolve parents**: each structural line links to the nearest
+   less-indented structural line above.
+
+## Payload classification
+
+| Shape | Result |
+|---|---|
+| `attr: value` | attribute payload (any verb — §21 uses `NEEDS test: …`) |
+| `HAS attr value` (colonless, value numeric/date) | attribute payload + legacy diagnostic (§3.4) |
+| numeric/date value (any verb) | metric payload — `latency IS 30ms`, `load EXCEEDS 1000 req/s` |
+| nothing (verb `EXISTS`) | `none` payload (§5.2 bare existence) |
+| single term | relational object |
+| words only | relational object phrase (entity whitespace normalized later) |
+
+The payload/metadata boundary is lexical: a metadata item is unambiguous at
+its first token (`@ctx`, `@` + spaced percentage, `#tag`, `+/-`, `(Nσ)`,
+`!`), so payload is everything before the first one (§4.3).
+
+## Qualifier payloads
+
+`qualifier_payload` is loose in the grammar; three shapes cover the spec's
+examples and are tried in order:
+
+1. full claim — `WHEN memory-leak EXISTS @ 60%` (§10.2)
+2. comparison — `WHEN load > ~1000 req/s`; ops `>` `<` `>=` `<=` `=` `!=`
+3. bare entity — `WHEN cache-miss`, `WHEN NOT cache/enabled`
+
+## Design decisions
+
+- **Never throw, always classify.** `parseDocument` returns an entry for
+  *every* physical line; broken ones become `invalid` with a diagnostic.
+  This honors the robust-extraction goal (§1.6) and makes the parser usable
+  as a linter.
+- **Classification tiebreak.** A line starting with a verb-shaped token is
+  classified using the known standard vocabulary (standard verbs, `HAS`,
+  `REVERSE`, the §5.5 inverse names): second token `REVERSE` → claim
+  (declaration); second token a *known* verb → claim with an uppercase
+  subject (`API NEEDS auth`); first token known → continuation, even when
+  the object is ALL-CAPS (`USES JWT`, `PART-OF ORG`, `USES GPU cluster`);
+  neither known → claim (`API MIGRATES postgres`). The residual ambiguity —
+  an *extension*-verb continuation with an ALL-CAPS object — is inherently
+  registry-dependent and the parser stays registry-free; write the subject
+  explicitly there.
+- **`@` disambiguation is exactly one character of lookahead** (§6.3):
+  the token `@` alone expects a following percentage (confidence);
+  `@anything` is a context.
+- **No escape sequences in literals** — the spec defines none. A quoted
+  literal runs to the next matching delimiter; an unterminated one degrades
+  to a plain word.
+- **Metadata problems don't kill lines.** `a USES b stray` parses with a
+  diagnostic; only structural failures (missing verb/object) invalidate a
+  line. Confidence must end in `%` and stay ≤ 100 (`@ 2026`, `@ 90`,
+  `@ 250%` are diagnosed rather than silently clamped); repeating a
+  non-repeatable metadata item (`@ N%`, `+/-`, `(Nσ)`, `!`) is diagnosed
+  with last-wins retention (§3.2 allows repetition only for contexts and
+  tags); a glued attribute colon (`expiry:3600s`) splits into the attribute
+  form with a diagnostic, since payload `:` is reserved (§4.3).
+
+## Tests
+
+```
+pnpm --filter @cavelang/parser test
+```
+
+Every syntax example from spec §3–§8, §16 and the §21 worked example is a
+test case.

package/dist/src/ast.d.ts

@@ -0,0 +1,122 @@
+/**
+ * CAVE abstract syntax (spec §16).
+ *
+ * The parser turns text into `Line` values — pure syntax, before
+ * canonicalization. Inverse verbs are *not* resolved here (`packages/api
+ * PART-OF monorepo` parses with verb `PART-OF`); continuation lines keep
+ * their missing endpoint; qualifier payloads keep their surface shape.
+ * `@cavelang/canonical` applies the spec §13.4 pipeline on top of this AST.
+ */
+import type { Claim, Value, Tag, Context, Verb } from '@cavelang/core';
+/** Line metadata suffixes (spec §6), all optional. */
+export type Meta = {
+    readonly contexts: readonly Context.t[];
+    readonly tags: readonly Tag.t[];
+    /** `@ N%` as decimal; `undefined` means the default 100%. */
+    readonly conf?: number;
+    readonly importance: boolean;
+    /** `+/- delta` (spec §7.2). */
+    readonly delta?: Value.t;
+    /** `(Nσ)` override (spec §7.2). */
+    readonly sigmaLevel?: number;
+    /** `; comment` (spec §6.4). */
+    readonly comment?: string;
+};
+/** Empty metadata. */
+export declare const emptyMeta: Meta;
+/** Claim body without a subject — what a continuation line carries (spec §8.3). */
+export type Body = {
+    readonly verb: string;
+    readonly negated: boolean;
+    readonly payload: Claim.Payload;
+    readonly meta: Meta;
+};
+/** Full claim: subject + body. */
+export type Full = Body & {
+    readonly subject: Claim.Term;
+};
+/** Comparison operators accepted in qualifier payloads (`WHEN load > ~1000 req/s`). */
+export type ComparisonOp = '>' | '<' | '>=' | '<=' | '=' | '!=';
+export declare const comparisonOps: readonly ComparisonOp[];
+/**
+ * Qualifier payload (spec §8.2). The grammar leaves `qualifier_payload`
+ * loose; three surface shapes cover the spec's examples:
+ *
+ * - full claim:  `WHEN memory-leak EXISTS @ 60%`
+ * - bare entity: `WHEN cache-miss`, `WHEN NOT cache/enabled`
+ * - comparison:  `WHEN load > ~1000 req/s`
+ *
+ * `negated` records a `NOT` immediately after the qualifier verb.
+ */
+export type QualifierPayload = {
+    readonly kind: 'claim';
+    readonly negated: boolean;
+    readonly claim: Full;
+} | {
+    readonly kind: 'entity';
+    readonly negated: boolean;
+    readonly term: Claim.Term;
+    readonly meta: Meta;
+} | {
+    readonly kind: 'comparison';
+    readonly negated: boolean;
+    readonly left: Claim.Term;
+    readonly op: ComparisonOp;
+    readonly value: Value.t;
+    readonly meta: Meta;
+};
+/**
+ * A parsed line. `depth` is the indentation width in characters; `parent` is
+ * the index (into the document's `lines`) of the nearest less-indented
+ * structural line above (spec §8). `raw` is the line exactly as written.
+ */
+export type Line = {
+    readonly kind: 'blank';
+    readonly line: number;
+    readonly raw: string;
+} | {
+    readonly kind: 'comment';
+    readonly line: number;
+    readonly raw: string;
+    readonly text: string;
+} | {
+    readonly kind: 'claim';
+    readonly line: number;
+    readonly raw: string;
+    readonly depth: number;
+    readonly parent?: number;
+    readonly claim: Full;
+} | {
+    readonly kind: 'continuation';
+    readonly line: number;
+    readonly raw: string;
+    readonly depth: number;
+    readonly parent?: number;
+    readonly body: Body;
+} | {
+    readonly kind: 'qualifier';
+    readonly line: number;
+    readonly raw: string;
+    readonly depth: number;
+    readonly parent?: number;
+    readonly qualifier: Verb.Qualifier;
+    readonly payload: QualifierPayload;
+} | {
+    readonly kind: 'invalid';
+    readonly line: number;
+    readonly raw: string;
+    readonly message: string;
+};
+export type t = Line;
+/** Parser problem tied to a 1-based line number. */
+export type Diagnostic = {
+    readonly line: number;
+    readonly message: string;
+    readonly raw: string;
+};
+/** Parsed document: every input line classified, plus collected problems. */
+export type Document = {
+    readonly lines: readonly Line[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=ast.d.ts.map

package/dist/src/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAEtE,sDAAsD;AACtD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,CAAC,EAAE,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;IAC/B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IACxB,mCAAmC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,sBAAsB;AACtB,eAAO,MAAM,SAAS,EAAE,IACuB,CAAA;AAE/C,mFAAmF;AACnF,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB,CAAA;AAED,kCAAkC;AAClC,MAAM,MAAM,IAAI,GAAG,IAAI,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAA;CAC7B,CAAA;AAED,uFAAuF;AACvF,MAAM,MAAM,YAAY,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAA;AAE/D,eAAO,MAAM,aAAa,EAAE,SAAS,YAAY,EACd,CAAA;AAEnC;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAA;AAElK;;;;GAIG;AACH,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC/I;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACrJ;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,GACrM;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAEvG,MAAM,MAAM,CAAC,GAAG,IAAI,CAAA;AAEpB,oDAAoD;AACpD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAC5C,CAAA"}

package/dist/src/ast.js

@@ -0,0 +1,13 @@
+/**
+ * CAVE abstract syntax (spec §16).
+ *
+ * The parser turns text into `Line` values — pure syntax, before
+ * canonicalization. Inverse verbs are *not* resolved here (`packages/api
+ * PART-OF monorepo` parses with verb `PART-OF`); continuation lines keep
+ * their missing endpoint; qualifier payloads keep their surface shape.
+ * `@cavelang/canonical` applies the spec §13.4 pipeline on top of this AST.
+ */
+/** Empty metadata. */
+export const emptyMeta = { contexts: [], tags: [], importance: false };
+export const comparisonOps = ['>', '<', '>=', '<=', '=', '!='];
+//# sourceMappingURL=ast.js.map

package/dist/src/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAmBH,sBAAsB;AACtB,MAAM,CAAC,MAAM,SAAS,GACpB,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;AAkB/C,MAAM,CAAC,MAAM,aAAa,GACxB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA"}

package/dist/src/document.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Document parser (spec §8, §16).
+ *
+ * Splits input into physical lines, measures indentation, classifies each
+ * line (blank / comment / claim / continuation / qualifier), and resolves
+ * each indented line's parent — the nearest less-indented structural line
+ * above (spec §8).
+ *
+ * Classification of an indented line follows spec §8's table, decided by
+ * what the line starts with:
+ *
+ * - qualifier verb (`WHEN`/`UNLESS`/`VIA`/`BECAUSE`) → qualifier
+ * - bare relational verb → continuation
+ * - full triple → grouped claim
+ *
+ * One ambiguity needs a tiebreak: `API NEEDS auth` starts with a token that
+ * is lexically verb-shaped. If the *second* token is also verb-shaped (and
+ * not `NOT`), the line is a full triple with an uppercase subject —
+ * `CONTAINS REVERSE PART-OF` and `API NEEDS auth` both land here; otherwise
+ * it is a continuation.
+ *
+ * `parseDocument` never throws: broken lines become `invalid` entries and
+ * every problem is a diagnostic. `parse` is the strict variant.
+ */
+import type * as Ast from './ast.ts';
+/**
+ * Parses a CAVE document. Never throws; problems surface as diagnostics and
+ * `invalid` lines.
+ */
+export declare const parseDocument: (input: string) => Ast.Document;
+/**
+ * Strict parse: like {@link parseDocument} but throws an `Error` listing
+ * every diagnostic when the document has any.
+ */
+export declare const parse: (input: string) => readonly Ast.Line[];
+//# sourceMappingURL=document.d.ts.map

package/dist/src/document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../../src/document.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AAgDpC;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,MAAM,KAAG,GAAG,CAAC,QAgGjD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM,KAAG,SAAS,GAAG,CAAC,IAAI,EAStD,CAAA"}

package/dist/src/document.js

@@ -0,0 +1,171 @@
+/**
+ * Document parser (spec §8, §16).
+ *
+ * Splits input into physical lines, measures indentation, classifies each
+ * line (blank / comment / claim / continuation / qualifier), and resolves
+ * each indented line's parent — the nearest less-indented structural line
+ * above (spec §8).
+ *
+ * Classification of an indented line follows spec §8's table, decided by
+ * what the line starts with:
+ *
+ * - qualifier verb (`WHEN`/`UNLESS`/`VIA`/`BECAUSE`) → qualifier
+ * - bare relational verb → continuation
+ * - full triple → grouped claim
+ *
+ * One ambiguity needs a tiebreak: `API NEEDS auth` starts with a token that
+ * is lexically verb-shaped. If the *second* token is also verb-shaped (and
+ * not `NOT`), the line is a full triple with an uppercase subject —
+ * `CONTAINS REVERSE PART-OF` and `API NEEDS auth` both land here; otherwise
+ * it is a continuation.
+ *
+ * `parseDocument` never throws: broken lines become `invalid` entries and
+ * every problem is a diagnostic. `parse` is the strict variant.
+ */
+import { Verb } from '@cavelang/core';
+import * as Line from "./line.js";
+import * as Token from "./token.js";
+const indentOf = (raw) => {
+    let depth = 0;
+    let tabs = false;
+    while (depth < raw.length && (raw[depth] === ' ' || raw[depth] === '\t')) {
+        tabs ||= raw[depth] === '\t';
+        depth += 1;
+    }
+    return { depth, rest: raw.slice(depth), tabs };
+};
+const classify = (tokens, depth) => {
+    const head = tokens[0];
+    if (head.kind === 'word' && Verb.isQualifier(head.text)) {
+        return depth > 0 ?
+            'qualifier' :
+            { error: `qualifier verb ${head.text} at top level — qualifiers attach to a parent claim (spec §8.2)` };
+    }
+    if (head.kind === 'word' && Verb.isVerbToken(head.text)) {
+        const second = tokens[1];
+        const secondWord = second?.kind === 'word' ? second.text : undefined;
+        // Tiebreak between "continuation" and "full triple with an uppercase
+        // subject", using the known standard vocabulary (see the README):
+        //   CONTAINS REVERSE PART-OF  → claim (declaration)
+        //   NEEDS NOT downtime        → continuation (NOT is a modifier)
+        //   API NEEDS auth            → claim (second token is a known verb)
+        //   USES JWT / PART-OF ORG    → continuation (first known, second not)
+        //   API MIGRATES postgres     → claim (neither known — subject wins)
+        const kind = secondWord === Verb.REVERSE ? 'claim' :
+            secondWord !== undefined && secondWord !== 'NOT' && Verb.isVerbToken(secondWord) ?
+                (Verb.isKnown(secondWord) ? 'claim' : Verb.isKnown(head.text) ? 'continuation' : 'claim') :
+                'continuation';
+        if (kind === 'continuation' && depth === 0) {
+            return { error: `continuation line at top level — nothing to inherit a subject from (spec §8.3)` };
+        }
+        return kind;
+    }
+    return 'claim';
+};
+/**
+ * Parses a CAVE document. Never throws; problems surface as diagnostics and
+ * `invalid` lines.
+ */
+export const parseDocument = (input) => {
+    const lines = [];
+    const diagnostics = [];
+    const stack = [];
+    const rawLines = input.split(/\r?\n/);
+    const problem = (line, raw, message) => {
+        diagnostics.push({ line, message, raw });
+    };
+    rawLines.forEach((raw, at) => {
+        const lineNo = at + 1;
+        const { depth, rest, tabs } = indentOf(raw);
+        if (tabs) {
+            problem(lineNo, raw, 'tab in indentation — use spaces');
+        }
+        if (rest === '') {
+            lines.push({ kind: 'blank', line: lineNo, raw });
+            return;
+        }
+        if (rest.startsWith(';')) {
+            lines.push({ kind: 'comment', line: lineNo, raw, text: rest.slice(1).trim() });
+            return;
+        }
+        const { head, comment } = Token.splitComment(rest);
+        const tokens = Token.tokenize(head);
+        if (tokens.length === 0) {
+            lines.push({ kind: 'comment', line: lineNo, raw, text: comment ?? '' });
+            return;
+        }
+        const kind = classify(tokens, depth);
+        if (typeof kind === 'object') {
+            problem(lineNo, raw, kind.error);
+            lines.push({ kind: 'invalid', line: lineNo, raw, message: kind.error });
+            return;
+        }
+        while (stack.length > 0 && stack[stack.length - 1].depth >= depth) {
+            stack.pop();
+        }
+        const parent = stack[stack.length - 1]?.index;
+        if (parent === undefined && kind !== 'claim') {
+            const message = `${kind} line has no parent claim above (spec §8)`;
+            problem(lineNo, raw, message);
+            lines.push({ kind: 'invalid', line: lineNo, raw, message });
+            return;
+        }
+        const index = lines.length;
+        const push = (line, problems) => {
+            lines.push(line);
+            stack.push({ index, depth });
+            for (const message of problems) {
+                problem(lineNo, raw, message);
+            }
+        };
+        switch (kind) {
+            case 'claim': {
+                const result = Line.parseClaim(tokens, comment);
+                if (!result.ok) {
+                    problem(lineNo, raw, result.message);
+                    lines.push({ kind: 'invalid', line: lineNo, raw, message: result.message });
+                    return;
+                }
+                push({ kind: 'claim', line: lineNo, raw, depth, ...parent !== undefined ? { parent } : {}, claim: result.value }, result.problems);
+                return;
+            }
+            case 'continuation': {
+                const result = Line.parseBody(tokens, comment);
+                if (!result.ok) {
+                    problem(lineNo, raw, result.message);
+                    lines.push({ kind: 'invalid', line: lineNo, raw, message: result.message });
+                    return;
+                }
+                push({ kind: 'continuation', line: lineNo, raw, depth, parent: parent, body: result.value }, result.problems);
+                return;
+            }
+            case 'qualifier': {
+                const qualifier = tokens[0].text;
+                const result = Line.parseQualifierPayload(tokens.slice(1), comment);
+                if (!result.ok) {
+                    problem(lineNo, raw, result.message);
+                    lines.push({ kind: 'invalid', line: lineNo, raw, message: result.message });
+                    return;
+                }
+                push({ kind: 'qualifier', line: lineNo, raw, depth, parent: parent, qualifier, payload: result.value }, result.problems);
+                return;
+            }
+        }
+    });
+    return { lines, diagnostics };
+};
+/**
+ * Strict parse: like {@link parseDocument} but throws an `Error` listing
+ * every diagnostic when the document has any.
+ */
+export const parse = (input) => {
+    const { lines, diagnostics } = parseDocument(input);
+    if (diagnostics.length > 0) {
+        const detail = diagnostics
+            .map(diagnostic => `  line ${diagnostic.line}: ${diagnostic.message}`)
+            .join('\n');
+        throw new Error(`CAVE parse failed with ${diagnostics.length} problem(s):\n${detail}`);
+    }
+    return lines;
+};
+//# sourceMappingURL=document.js.map

package/dist/src/document.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document.js","sourceRoot":"","sources":["../../src/document.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAErC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAkD,EAAE;IAC/E,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,IAAI,IAAI,GAAG,KAAK,CAAA;IAChB,OAAO,KAAK,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACzE,IAAI,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;QAC5B,KAAK,IAAI,CAAC,CAAA;IACZ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAA;AAChD,CAAC,CAAA;AAID,MAAM,QAAQ,GAAG,CAAC,MAA0B,EAAE,KAAa,EAAkC,EAAE;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC;YAChB,WAAW,CAAC,CAAC;YACb,EAAE,KAAK,EAAE,kBAAkB,IAAI,CAAC,IAAI,iEAAiE,EAAE,CAAA;IAC3G,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACxB,MAAM,UAAU,GAAG,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QACpE,qEAAqE;QACrE,kEAAkE;QAClE,oDAAoD;QACpD,iEAAiE;QACjE,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QACrE,MAAM,IAAI,GACR,UAAU,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;gBAChF,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC3F,cAAc,CAAA;QAClB,IAAI,IAAI,KAAK,cAAc,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,KAAK,EAAE,gFAAgF,EAAE,CAAA;QACpG,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAID;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAgB,EAAE;IAC3D,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,WAAW,GAAqB,EAAE,CAAA;IACxC,MAAM,KAAK,GAAY,EAAE,CAAA;IACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,OAAe,EAAQ,EAAE;QACnE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAA;IAC1C,CAAC,CAAA;IACD,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;QAC3B,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAA;QACrB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,CAAA;QACzD,CAAC;QACD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAA;YAChD,OAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;YAC9E,OAAM;QACR,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACnC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC,CAAA;YACvE,OAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QACpC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YACvE,OAAM;QACR,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC;YACnE,KAAK,CAAC,GAAG,EAAE,CAAA;QACb,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,CAAA;QAC7C,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,GAAG,IAAI,2CAA2C,CAAA;YAClE,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;YAC3D,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAA;QAC1B,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,QAA2B,EAAQ,EAAE;YACjE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC,CAAA;QACD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gBAC/C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;oBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;oBAC3E,OAAM;gBACR,CAAC;gBACD,IAAI,CACF,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAC3G,MAAM,CAAC,QAAQ,CAChB,CAAA;gBACD,OAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gBAC9C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;oBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;oBAC3E,OAAM;gBACR,CAAC;gBACD,IAAI,CACF,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAO,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,EACvF,MAAM,CAAC,QAAQ,CAChB,CAAA;gBACD,OAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,SAAS,GAAI,MAAM,CAAC,CAAC,CAAsB,CAAC,IAAsB,CAAA;gBACxE,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;gBACnE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;oBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;oBAC3E,OAAM;gBACR,CAAC;gBACD,IAAI,CACF,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,EAClG,MAAM,CAAC,QAAQ,CAChB,CAAA;gBACD,OAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;AAC/B,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAuB,EAAE;IAC1D,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,WAAW;aACvB,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;aACrE,IAAI,CAAC,IAAI,CAAC,CAAA;QACb,MAAM,IAAI,KAAK,CAAC,0BAA0B,WAAW,CAAC,MAAM,iBAAiB,MAAM,EAAE,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/dist/src/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * `@cavelang/parser` — CAVE text → AST (spec §3, §4, §8, §16).
+ *
+ * Line-oriented parser for the normative CAVE language, built on
+ * `@prelude/parser` combinators. Produces pure syntax: inverse verbs,
+ * continuations and `UNLESS` are resolved later by `@cavelang/canonical`
+ * (spec §13.4).
+ *
+ * ```ts
+ * import { parseDocument } from '@cavelang/parser'
+ *
+ * const { lines, diagnostics } = parseDocument('auth/middleware USES jwt @ 90%')
+ * ```
+ */
+export * as Ast from './ast.ts';
+export * as Line from './line.ts';
+export * as Token from './token.ts';
+export { parseDocument, parse } from './document.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA"}

package/dist/src/index.js

@@ -0,0 +1,19 @@
+/**
+ * `@cavelang/parser` — CAVE text → AST (spec §3, §4, §8, §16).
+ *
+ * Line-oriented parser for the normative CAVE language, built on
+ * `@prelude/parser` combinators. Produces pure syntax: inverse verbs,
+ * continuations and `UNLESS` are resolved later by `@cavelang/canonical`
+ * (spec §13.4).
+ *
+ * ```ts
+ * import { parseDocument } from '@cavelang/parser'
+ *
+ * const { lines, diagnostics } = parseDocument('auth/middleware USES jwt @ 90%')
+ * ```
+ */
+export * as Ast from "./ast.js";
+export * as Line from "./line.js";
+export * as Token from "./token.js";
+export { parseDocument, parse } from "./document.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA"}

package/dist/src/line.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Token-stream line parser (spec §3.2, §16).
+ *
+ * Parses the token list of one line into claim/continuation/qualifier
+ * bodies. The payload/metadata boundary is decided lexically: metadata items
+ * are unambiguous at their first token (spec §4.3 reserved characters), so
+ * everything before the first metadata token is payload.
+ */
+import type * as Ast from './ast.ts';
+import type { Token } from './token.ts';
+export type Result<T> = {
+    readonly ok: true;
+    readonly value: T;
+    readonly problems: readonly string[];
+} | {
+    readonly ok: false;
+    readonly message: string;
+};
+/** @returns `true` if `token` starts a metadata item (spec §4.3). */
+export declare const isMetaStart: (token: Token) => boolean;
+/**
+ * Parses metadata tokens (spec §6). Never fails — unrecognized tokens are
+ * reported as problems and skipped, honoring the robust-extraction goal
+ * (spec §1.6).
+ */
+export declare const parseMeta: (tokens: readonly Token[], comment?: string) => {
+    meta: Ast.Meta;
+    problems: string[];
+};
+/** Parses `verb [NOT] payload metadata` — a continuation body (spec §8.3). */
+export declare const parseBody: (tokens: readonly Token[], comment?: string) => Result<Ast.Body>;
+/** Parses `subject verb [NOT] payload metadata` — a full claim line (spec §16). */
+export declare const parseClaim: (tokens: readonly Token[], comment?: string) => Result<Ast.Full>;
+/**
+ * Parses a qualifier payload (spec §8.2): a full claim, a comparison, or a
+ * bare entity — tried in that order.
+ */
+export declare const parseQualifierPayload: (tokens: readonly Token[], comment?: string) => Result<Ast.QualifierPayload>;
+//# sourceMappingURL=line.d.ts.map

package/dist/src/line.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"line.d.ts","sourceRoot":"","sources":["../../src/line.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AACpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAUpD,qEAAqE;AACrE,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,OAOxC,CAAA;AAgCH;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,QAAQ,SAAS,KAAK,EAAE,EAAE,UAAU,MAAM,KAAG;IAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAuG1G,CAAA;AA2ED,8EAA8E;AAC9E,eAAO,MAAM,SAAS,GAAI,QAAQ,SAAS,KAAK,EAAE,EAAE,UAAU,MAAM,KAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAkBrF,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,UAAU,GAAI,QAAQ,SAAS,KAAK,EAAE,EAAE,UAAU,MAAM,KAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAatF,CAAA;AAKD;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,SAAS,KAAK,EAAE,EAAE,UAAU,MAAM,KAAG,MAAM,CAAC,GAAG,CAAC,gBAAgB,CA0C7G,CAAA"}