@plurnk/plurnk-contracts 1.10.1 → 1.12.0

package/dist/src/CapabilityAdmission.js

@@ -0,0 +1,96 @@
+// {§capability-policy-matching} — selectors are exact conjunctions. Policy
+// layers remain data; this class is the one deterministic evaluator shared by
+// every consumer.
+export default class CapabilityAdmission {
+    static matches(selector, descriptor) {
+        if (selector.operation !== undefined && selector.operation !== descriptor.operation)
+            return false;
+        if (selector.scheme !== undefined && selector.scheme !== descriptor.scheme)
+            return false;
+        if (selector.runtime !== undefined && selector.runtime !== descriptor.runtime)
+            return false;
+        if (selector.tool !== undefined && selector.tool !== descriptor.tool)
+            return false;
+        if (selector.access !== undefined && selector.access !== descriptor.access)
+            return false;
+        if (selector.traits !== undefined
+            && !selector.traits.every((trait) => descriptor.traits.includes(trait)))
+            return false;
+        return true;
+    }
+    static allows(policy, descriptor) {
+        if (policy.deny?.some((selector) => CapabilityAdmission.matches(selector, descriptor)) === true)
+            return false;
+        return policy.only === undefined
+            || policy.only.some((selector) => CapabilityAdmission.matches(selector, descriptor));
+    }
+    static allowsAcross(policies, descriptor) {
+        return policies.every((policy) => CapabilityAdmission.allows(policy, descriptor));
+    }
+    // Lossless normalization of an intersection into one policy. `only` is an
+    // OR-list, so intersecting two lists is their compatible Cartesian product;
+    // deny lists simply union.
+    static intersect(policies) {
+        const deny = CapabilityAdmission.#unique(policies.flatMap((policy) => policy.deny ?? []));
+        let only;
+        for (const policy of policies) {
+            if (policy.only === undefined)
+                continue;
+            only = only === undefined
+                ? [...policy.only]
+                : only.flatMap((left) => policy.only.flatMap((right) => {
+                    const merged = CapabilityAdmission.#merge(left, right);
+                    return merged === null ? [] : [merged];
+                }));
+            only = CapabilityAdmission.#unique(only);
+        }
+        return {
+            ...(only === undefined ? {} : { only }),
+            ...(deny.length === 0 ? {} : { deny }),
+        };
+    }
+    static #merge(left, right) {
+        const merged = {};
+        for (const field of ["operation", "scheme", "runtime", "tool", "access"]) {
+            const l = left[field];
+            const r = right[field];
+            if (l !== undefined && r !== undefined && l !== r)
+                return null;
+            const value = l ?? r;
+            if (value !== undefined)
+                merged[field] = value;
+        }
+        const traits = [...new Set([...(left.traits ?? []), ...(right.traits ?? [])])].toSorted();
+        if (traits.length > 0)
+            merged.traits = traits;
+        return merged;
+    }
+    static #unique(selectors) {
+        const seen = new Set();
+        return selectors.filter((selector) => {
+            const key = JSON.stringify({
+                operation: selector.operation,
+                scheme: selector.scheme,
+                runtime: selector.runtime,
+                tool: selector.tool,
+                access: selector.access,
+                traits: selector.traits === undefined ? undefined : [...selector.traits].toSorted(),
+            });
+            if (seen.has(key))
+                return false;
+            seen.add(key);
+            return true;
+        }).toSorted((left, right) => CapabilityAdmission.#key(left).localeCompare(CapabilityAdmission.#key(right)));
+    }
+    static #key(selector) {
+        return JSON.stringify({
+            operation: selector.operation,
+            scheme: selector.scheme,
+            runtime: selector.runtime,
+            tool: selector.tool,
+            access: selector.access,
+            traits: selector.traits === undefined ? undefined : [...selector.traits].toSorted(),
+        });
+    }
+}
+//# sourceMappingURL=CapabilityAdmission.js.map

package/dist/src/CapabilityAdmission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CapabilityAdmission.js","sourceRoot":"","sources":["../../src/CapabilityAdmission.ts"],"names":[],"mappings":"AAMA,2EAA2E;AAC3E,8EAA8E;AAC9E,kBAAkB;AAClB,MAAM,CAAC,OAAO,OAAO,mBAAmB;IACpC,MAAM,CAAC,OAAO,CAAC,QAA4B,EAAE,UAAgC;QACzE,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,UAAU,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAClG,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACzF,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC5F,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACnF,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACzF,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;eAC1B,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1F,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,MAAwB,EAAE,UAAgC;QACpE,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9G,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS;eACzB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,QAAqC,EAAE,UAAgC;QACvF,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,0EAA0E;IAC1E,4EAA4E;IAC5E,2BAA2B;IAC3B,MAAM,CAAC,SAAS,CAAC,QAAqC;QAClD,MAAM,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1F,IAAI,IAAsC,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YACxC,IAAI,GAAG,IAAI,KAAK,SAAS;gBACrB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBAClB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;oBACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACvD,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC3C,CAAC,CAAC,CAAC,CAAC;YACR,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO;YACH,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;SACzC,CAAC;IACN,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAwB,EAAE,KAAyB;QAC7D,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAU,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/D,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QACnD,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;QAC9C,OAAO,MAA4B,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,SAAwC;QACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;gBACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE;aACtF,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QAChB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,QAA4B;QACpC,OAAO,IAAI,CAAC,SAAS,CAAC;YAClB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE;SACtF,CAAC,CAAC;IACP,CAAC;CACJ"}

package/dist/src/PlurnkErrorStrategy.d.ts

@@ -4,6 +4,7 @@ export declare const COMBINED_ANCHOR_LINE_DIAGNOSTIC = "a scope position accepts
 export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
     #private;
     static translateLexerMessage(lexer: plurnkLexer, originalMsg: string): string;
+    recover(recognizer: Parser, _e: RecognitionException): void;
     reportError(recognizer: Parser, e: RecognitionException): void;
     reportMissingToken(recognizer: Parser): void;
     reportUnwantedToken(recognizer: Parser): void;

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

@@ -1 +1 @@
-{"version":3,"file":"PlurnkErrorStrategy.d.ts","sourceRoot":"","sources":["../../src/PlurnkErrorStrategy.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EAIpB,KAAK,MAAM,EACX,KAAK,oBAAoB,EAC5B,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD,eAAO,MAAM,+BAA+B,2GACgE,CAAC;AAE7G,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,oBAAoB;;IA8CjE,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAkB5E;IAsDe,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAqB7E;IAEe,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAiB3D;IAEe,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAwB5D;CACJ"}
+{"version":3,"file":"PlurnkErrorStrategy.d.ts","sourceRoot":"","sources":["../../src/PlurnkErrorStrategy.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EAIpB,KAAK,MAAM,EACX,KAAK,oBAAoB,EAC5B,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD,eAAO,MAAM,+BAA+B,2GACgE,CAAC;AAE7G,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,oBAAoB;;IAkDjE,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAwB5E;IA8He,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,oBAAoB,GAAG,IAAI,CAoB1E;IAEe,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,oBAAoB,GAAG,IAAI,CA+B7E;IAEe,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAiB3D;IAEe,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAkC5D;CACJ"}

package/dist/src/PlurnkErrorStrategy.js

@@ -5,11 +5,12 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
     static #OFFENDING_CHAR_RE = /at: '([^']*)'$/;
     static #LEXER_MODE_CONTEXT = {
         DEFAULT_MODE: "before the PLAN heading",
-        SLOTS: "in operation heading - expected a space before `[signal]`, `(path)`, or `<scope>`, or a line ending",
+        SLOTS: "in operation heading - expected a space before `[signal]`, `(path)`, `{metadata}`, or `<scope>`, or a line ending",
         SIGNAL_TAGS: "in tag signal - expected tag, `,`, or `]`",
         SIGNAL_INT: "in signal - expected a submit code for SEND or a code for KILL, then `]`",
         SIGNAL_IDENT: "in signal - expected executor for EXEC, then `]`",
         TARGET: "in `(path)` slot - expected URI characters or `)`",
+        METADATA: "in `{metadata}` modifier - expected single-line scheme content or `}`",
         BODY: "in body",
     };
     static #SLOT_BY_TOKEN = {
@@ -33,6 +34,8 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
         [plurnkParser.RBRACKET]: "`]` (signal slot closer)",
         [plurnkParser.LPAREN]: "`(` (`(path)` slot opener)",
         [plurnkParser.RPAREN]: "`)` (`(path)` slot closer)",
+        [plurnkParser.LBRACE]: "`{` (`{metadata}` modifier opener)",
+        [plurnkParser.RBRACE]: "`}` (`{metadata}` modifier closer)",
         [plurnkParser.L_MARKER]: "`<L>` line marker",
         [plurnkParser.BODY_OPEN]: "operation-heading line ending",
         [plurnkParser.SECTION_END]: "next same-lane heading",
@@ -41,6 +44,7 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
         [plurnkParser.IDENT]: "executor (EXEC signal)",
         [plurnkParser.TAG]: "tag",
         [plurnkParser.TARGET_TEXT]: "path content",
+        [plurnkParser.METADATA_TEXT]: "scheme metadata content",
         [plurnkParser.BODY_TEXT]: "body content",
         [plurnkParser.TEXT]: "text before PLAN",
     };
@@ -57,12 +61,31 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
         // regex and XPath redirect only once the heading has closed a `(target)` — before
         // that, `/` may instead be a target whose `(...)` wrap was omitted. (bench#5 run16/17:
         // the generic message taught models to avoid regex FIND altogether.)
+        // A `<…>` slot that opened after its own space is a scope whose CONTENT is wrong —
+        // name the shapes the slot admits instead of the spacing rule (#386). A `<` glued to
+        // the previous slot keeps the spacing message below.
+        if (modeName === "SLOTS" && ch.startsWith("'<") && PlurnkErrorStrategy.#scopeOpenedAfterSpace(lexer)) {
+            return `unrecognized scope ${ch} in operation heading - a scope is numeric: \`<L>\`, \`<SL,EL>\`, \`<SL,SC,EL,EC>\`, \`<0>\`, or \`<-1>\`; EXEC's \`<timeout,poll>\` are minutes, e.g. \`<5>\` or \`<5,1>\`; a resource address is never a scope`;
+        }
         if (modeName === "SLOTS" && (/^'[$~@]'$/.test(ch)
             || (ch === "'/'" && PlurnkErrorStrategy.#headingClosedTarget(lexer)))) {
             return `unrecognized character ${ch} in operation heading - a matcher is body content, below the OP heading`;
         }
         return `unrecognized character ${ch} ${context}`;
     }
+    // True when the nearest `<` on the current heading line follows a space, i.e. the slot
+    // was opened as its own slot rather than glued to the previous one.
+    static #scopeOpenedAfterSpace(lexer) {
+        const stream = lexer.inputStream;
+        for (let i = Math.min(stream.index, stream.size - 1); i >= 0; i -= 1) {
+            const char = stream.getTextFromRange(i, i);
+            if (char === "\n")
+                return false;
+            if (char === "<")
+                return i > 0 && stream.getTextFromRange(i - 1, i - 1) === " ";
+        }
+        return false;
+    }
     // True when the current heading line already closed a `(...)` target.
     static #headingClosedTarget(lexer) {
         const stream = lexer.inputStream;
@@ -119,6 +142,102 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
             return null;
         return COMBINED_ANCHOR_LINE_DIAGNOSTIC;
     }
+    // {§bare-target-redirect} A `(` on a BARE heading is the prompt written as a slot; BARE
+    // takes none, so the same receipt names the body line.
+    static #targetSlotMessage(recognizer, tok) {
+        if (tok?.type !== plurnkParser.LPAREN)
+            return null;
+        const stream = recognizer.tokenStream;
+        for (let i = tok.tokenIndex - 1; i >= 0; i -= 1) {
+            const prior = stream.get(i);
+            if (prior.line !== tok.line)
+                return null;
+            if (prior.type === plurnkParser.OPEN_BARE) {
+                const opener = prior.text ?? "## BARE0";
+                return `unexpected \`(\` after BARE - BARE takes no \`(path)\`; the prompt is the body: \`${opener}\` then the prompt on the line below`;
+            }
+        }
+        return null;
+    }
+    // A signed tag lexeme: what belongs in `[+tag]`, never a path.
+    static #TAG_LEXEME_RE = /^[+-][^\s/.*?()[\]{}]+(?:,[+-][^\s/.*?()[\]{}]+)*$/;
+    // A second `(` on a heading that already closed a `(path)`. When the first slot was a signed
+    // tag, the slip is the bracket kind and the blame belongs on the FIRST paren; otherwise the
+    // heading simply has one path slot and a matcher belongs beneath it. #425 F2.
+    static #secondPathSlotMessage(recognizer, tok) {
+        if (tok?.type !== plurnkParser.LPAREN)
+            return null;
+        const stream = recognizer.tokenStream;
+        let closed = false;
+        let firstOpen = null;
+        let text = "";
+        for (let i = tok.tokenIndex - 1; i >= 0; i -= 1) {
+            const prior = stream.get(i);
+            if (prior.line !== tok.line)
+                break;
+            if (!closed) {
+                if (prior.type === plurnkParser.RPAREN)
+                    closed = true;
+                continue;
+            }
+            if (prior.type === plurnkParser.TARGET_TEXT) {
+                text = `${prior.text ?? ""}${text}`;
+                continue;
+            }
+            if (prior.type === plurnkParser.LPAREN) {
+                firstOpen = prior;
+                break;
+            }
+            break;
+        }
+        if (!closed || firstOpen === null)
+            return null;
+        if (PlurnkErrorStrategy.#TAG_LEXEME_RE.test(text)) {
+            return { at: firstOpen, message: `\`(${text})\` is not a path - a tag rides in the signal slot \`[${text}]\`; \`(...)\` is the one path slot` };
+        }
+        return { at: tok, message: "a heading takes exactly one `(path)` slot; a pattern belongs in the body beneath the heading" };
+    }
+    // {§matcher-prefix-claims} "later statements remain recoverable when their boundaries are
+    // trustworthy" - a column-0 heading is that boundary. After a statement-level error, the rest
+    // of the broken statement (heading line and body) is discarded and parsing resumes at the next
+    // heading, so every later statement - the terminal SEND included - is judged on its own.
+    static #HEADING_BOUNDARY = new Set([
+        plurnkParser.OPEN_PLAN, plurnkParser.OPEN_FIND, plurnkParser.OPEN_READ, plurnkParser.OPEN_EDIT,
+        plurnkParser.OPEN_COPY, plurnkParser.OPEN_MOVE, plurnkParser.OPEN_OPEN, plurnkParser.OPEN_FOLD,
+        plurnkParser.OPEN_SEND, plurnkParser.OPEN_EXEC, plurnkParser.OPEN_BARE, plurnkParser.OPEN_WORK,
+        plurnkParser.OPEN_FORK, plurnkParser.OPEN_KILL, plurnkParser.OPEN_LOOK, plurnkParser.OPEN_BUFF,
+        plurnkParser.FENCE_CLOSE,
+    ]);
+    // The entry rules end with EOF; an error raised there means the document expected its end.
+    static #ENTRY_RULES = new Set(["document", "log", "statementSeq", "clientStatementSeq"]);
+    #lastResyncIndex = -1;
+    recover(recognizer, _e) {
+        const stream = recognizer.inputStream;
+        let current = recognizer.getCurrentToken();
+        // The document expected its end and found more: everything after the terminal SEND is
+        // the mid-termination error, reported once. Consume through EOF so the lexer finishes
+        // and {§send-mid-reservation} rewrites the diagnostic instead of a false "never closed" tail.
+        const rule = recognizer.ruleNames[recognizer.context?.ruleIndex ?? -1] ?? "";
+        if (PlurnkErrorStrategy.#ENTRY_RULES.has(rule)) {
+            while (current.type !== Token.EOF) {
+                recognizer.consume();
+                current = recognizer.getCurrentToken();
+            }
+            this.#lastResyncIndex = stream.index;
+            return;
+        }
+        // No progress since the last resync at this position: force one token so the parser
+        // cannot loop on a heading it refuses to match.
+        if (this.#lastResyncIndex === stream.index && current.type !== Token.EOF) {
+            recognizer.consume();
+            current = recognizer.getCurrentToken();
+        }
+        while (current.type !== Token.EOF && !PlurnkErrorStrategy.#HEADING_BOUNDARY.has(current.type)) {
+            recognizer.consume();
+            current = recognizer.getCurrentToken();
+        }
+        this.#lastResyncIndex = stream.index;
+    }
     reportError(recognizer, e) {
         if (this.inErrorRecoveryMode(recognizer))
             return;
@@ -128,6 +247,16 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
             recognizer.notifyErrorListeners(targeted, e.offendingToken, e);
             return;
         }
+        const destination = PlurnkErrorStrategy.#targetSlotMessage(recognizer, e.offendingToken);
+        if (destination !== null) {
+            recognizer.notifyErrorListeners(destination, e.offendingToken, e);
+            return;
+        }
+        const secondSlot = PlurnkErrorStrategy.#secondPathSlotMessage(recognizer, e.offendingToken);
+        if (secondSlot !== null) {
+            recognizer.notifyErrorListeners(secondSlot.message, secondSlot.at, e);
+            return;
+        }
         const got = PlurnkErrorStrategy.#describeToken(e.offendingToken);
         const expected = PlurnkErrorStrategy.#describeExpected(e);
         let msg;
@@ -166,6 +295,16 @@ export default class PlurnkErrorStrategy extends DefaultErrorStrategy {
             recognizer.notifyErrorListeners(targeted, tok, null);
             return;
         }
+        const destination = PlurnkErrorStrategy.#targetSlotMessage(recognizer, tok);
+        if (destination !== null) {
+            recognizer.notifyErrorListeners(destination, tok, null);
+            return;
+        }
+        const secondSlot = PlurnkErrorStrategy.#secondPathSlotMessage(recognizer, tok);
+        if (secondSlot !== null) {
+            recognizer.notifyErrorListeners(secondSlot.message, secondSlot.at, null);
+            return;
+        }
         const got = PlurnkErrorStrategy.#describeToken(tok);
         const expectedTokens = this.getExpectedTokens(recognizer);
         const expectedNames = [...new Set(expectedTokens

package/dist/src/PlurnkErrorStrategy.js.map

@@ -1 +1 @@
-{"version":3,"file":"PlurnkErrorStrategy.js","sourceRoot":"","sources":["../../src/PlurnkErrorStrategy.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,GAGR,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAG3D,MAAM,CAAC,MAAM,+BAA+B,GACxC,wGAAwG,CAAC;AAE7G,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,oBAAoB;IACjE,MAAM,CAAC,kBAAkB,GAAG,gBAAgB,CAAC;IAE7C,MAAM,CAAC,mBAAmB,GAA2B;QACjD,YAAY,EAAE,yBAAyB;QACvC,KAAK,EAAE,qGAAqG;QAC5G,WAAW,EAAE,2CAA2C;QACxD,UAAU,EAAE,0EAA0E;QACtF,YAAY,EAAE,kDAAkD;QAChE,MAAM,EAAE,mDAAmD;QAC3D,IAAI,EAAE,SAAS;KAClB,CAAC;IAEF,MAAM,CAAC,cAAc,GAA2B;QAC5C,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,gCAAgC;QAC1D,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,oCAAoC;QAC9D,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,oCAAoC;QAC9D,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,0BAA0B;QACnD,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,0BAA0B;QACnD,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,4BAA4B;QACnD,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,4BAA4B;QACnD,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,mBAAmB;QAC5C,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,+BAA+B;QACzD,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,wBAAwB;QACpD,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,KAAK;QAC3B,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,mCAAmC;QACvD,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,wBAAwB;QAC9C,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK;QACzB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,cAAc;QAC1C,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,cAAc;QACxC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,kBAAkB;KAC1C,CAAC;IAEF,MAAM,CAAC,qBAAqB,CAAC,KAAkB,EAAE,WAAmB;QAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC;QAC/D,MAAM,OAAO,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,oBAAoB,CAAC;QAC1F,MAAM,EAAE,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC;QAClE,+EAA+E;QAC/E,wEAAwE;QACxE,IAAI,QAAQ,KAAK,cAAc,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtD,OAAO,0BAA0B,EAAE,gFAAgF,CAAC;QACxH,CAAC;QACD,qFAAqF;QACrF,kFAAkF;QAClF,uFAAuF;QACvF,qEAAqE;QACrE,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;eAC1C,CAAC,EAAE,KAAK,KAAK,IAAI,mBAAmB,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,0BAA0B,EAAE,yEAAyE,CAAC;QACjH,CAAC;QACD,OAAO,0BAA0B,EAAE,IAAI,OAAO,EAAE,CAAC;IACrD,CAAC;IAED,sEAAsE;IACtE,MAAM,CAAC,oBAAoB,CAAC,KAAkB;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,IAAI,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,CAAC,qBAAqB,CAAC,GAAW;QACpC,MAAM,CAAC,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,GAAiB;QACnC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG;YAAE,OAAO,cAAc,CAAC;QAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,CAAuB;QAC5C,MAAM,QAAQ,GAAG,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,KAAK,GAAa,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,uEAAuE;QACvE,qFAAqF;QACrF,mEAAmE;QACnE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CACrB,KAAK;iBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;IAC7E,CAAC;IAED,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,CAAC,gBAAgB,CAAC,GAAiB;QACrC,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAC;QAC9D,OAAO,+BAA+B,CAAC;IAC3C,CAAC;IAEe,WAAW,CAAC,UAAkB,EAAE,CAAuB;QACnE,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAErC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpB,UAAU,CAAC,oBAAoB,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC/D,OAAO;QACX,CAAC;QAED,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAE1D,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC,YAAY,sBAAsB,IAAI,CAAC,YAAY,oBAAoB,EAAE,CAAC;YAC3E,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,GAAG,cAAc,QAAQ,EAAE,CAAC,CAAC,CAAC,cAAc,GAAG,EAAE,CAAC;QACrF,CAAC;aAAM,CAAC;YACJ,GAAG,GAAG,cAAc,GAAG,EAAE,CAAC;QAC9B,CAAC;QAED,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IAEe,kBAAkB,CAAC,UAAkB;QACjD,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC7B,cAAc;iBACT,OAAO,EAAE;iBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9E,CAAC,CAAC,YAAY,CAAC;QACnB,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,YAAY,QAAQ,SAAS,GAAG,EAAE,CAAC;QAC/C,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IAEe,mBAAmB,CAAC,UAAkB;QAClD,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpB,UAAU,CAAC,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACrD,OAAO;QACX,CAAC;QACD,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC7B,cAAc;iBACT,OAAO,EAAE;iBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,GAAG,GAAG,QAAQ;YAChB,CAAC,CAAC,cAAc,GAAG,cAAc,QAAQ,EAAE;YAC3C,CAAC,CAAC,cAAc,GAAG,EAAE,CAAC;QAC1B,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;CACJ"}
+{"version":3,"file":"PlurnkErrorStrategy.js","sourceRoot":"","sources":["../../src/PlurnkErrorStrategy.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,GAGR,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAG3D,MAAM,CAAC,MAAM,+BAA+B,GACxC,wGAAwG,CAAC;AAE7G,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,oBAAoB;IACjE,MAAM,CAAC,kBAAkB,GAAG,gBAAgB,CAAC;IAE7C,MAAM,CAAC,mBAAmB,GAA2B;QACjD,YAAY,EAAE,yBAAyB;QACvC,KAAK,EAAE,mHAAmH;QAC1H,WAAW,EAAE,2CAA2C;QACxD,UAAU,EAAE,0EAA0E;QACtF,YAAY,EAAE,kDAAkD;QAChE,MAAM,EAAE,mDAAmD;QAC3D,QAAQ,EAAE,uEAAuE;QACjF,IAAI,EAAE,SAAS;KAClB,CAAC;IAEF,MAAM,CAAC,cAAc,GAA2B;QAC5C,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,uCAAuC;QACjE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,gCAAgC;QAC1D,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,oCAAoC;QAC9D,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,oCAAoC;QAC9D,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,0BAA0B;QACnD,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,0BAA0B;QACnD,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,4BAA4B;QACnD,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,4BAA4B;QACnD,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,oCAAoC;QAC3D,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,oCAAoC;QAC3D,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,mBAAmB;QAC5C,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,+BAA+B;QACzD,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,wBAAwB;QACpD,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,KAAK;QAC3B,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,mCAAmC;QACvD,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,wBAAwB;QAC9C,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK;QACzB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,cAAc;QAC1C,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,yBAAyB;QACvD,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,cAAc;QACxC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,kBAAkB;KAC1C,CAAC;IAEF,MAAM,CAAC,qBAAqB,CAAC,KAAkB,EAAE,WAAmB;QAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC;QAC/D,MAAM,OAAO,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,oBAAoB,CAAC;QAC1F,MAAM,EAAE,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC;QAClE,+EAA+E;QAC/E,wEAAwE;QACxE,IAAI,QAAQ,KAAK,cAAc,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtD,OAAO,0BAA0B,EAAE,gFAAgF,CAAC;QACxH,CAAC;QACD,qFAAqF;QACrF,kFAAkF;QAClF,uFAAuF;QACvF,qEAAqE;QACrE,mFAAmF;QACnF,qFAAqF;QACrF,qDAAqD;QACrD,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;YACnG,OAAO,sBAAsB,EAAE,kNAAkN,CAAC;QACtP,CAAC;QACD,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;eAC1C,CAAC,EAAE,KAAK,KAAK,IAAI,mBAAmB,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,0BAA0B,EAAE,yEAAyE,CAAC;QACjH,CAAC;QACD,OAAO,0BAA0B,EAAE,IAAI,OAAO,EAAE,CAAC;IACrD,CAAC;IAED,uFAAuF;IACvF,oEAAoE;IACpE,MAAM,CAAC,sBAAsB,CAAC,KAAkB;QAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,IAAI,KAAK,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;QACpF,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,sEAAsE;IACtE,MAAM,CAAC,oBAAoB,CAAC,KAAkB;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,IAAI,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,CAAC,qBAAqB,CAAC,GAAW;QACpC,MAAM,CAAC,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,GAAiB;QACnC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG;YAAE,OAAO,cAAc,CAAC;QAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,CAAuB;QAC5C,MAAM,QAAQ,GAAG,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,KAAK,GAAa,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,uEAAuE;QACvE,qFAAqF;QACrF,mEAAmE;QACnE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CACrB,KAAK;iBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;IAC7E,CAAC;IAED,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,CAAC,gBAAgB,CAAC,GAAiB;QACrC,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAC;QAC9D,OAAO,+BAA+B,CAAC;IAC3C,CAAC;IAED,wFAAwF;IACxF,uDAAuD;IACvD,MAAM,CAAC,kBAAkB,CAAC,UAAkB,EAAE,GAAiB;QAC3D,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACnD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACzC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,SAAS,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC;gBACxC,OAAO,qFAAqF,MAAM,sCAAsC,CAAC;YAC7I,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,+DAA+D;IAC/D,MAAM,CAAC,cAAc,GAAG,oDAAoD,CAAC;IAE7E,6FAA6F;IAC7F,4FAA4F;IAC5F,8EAA8E;IAC9E,MAAM,CAAC,sBAAsB,CAAC,UAAkB,EAAE,GAAiB;QAC/D,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACnD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,SAAS,GAAiB,IAAI,CAAC;QACnC,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,MAAM;YACnC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAAC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM;oBAAE,MAAM,GAAG,IAAI,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjF,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,WAAW,EAAE,CAAC;gBAAC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC/F,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;gBAAC,MAAM;YAAC,CAAC;YACrE,MAAM;QACV,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,IAAI,yDAAyD,IAAI,qCAAqC,EAAE,CAAC;QACpJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,8FAA8F,EAAE,CAAC;IAChI,CAAC;IAED,0FAA0F;IAC1F,8FAA8F;IAC9F,+FAA+F;IAC/F,yFAAyF;IACzF,MAAM,CAAC,iBAAiB,GAAwB,IAAI,GAAG,CAAC;QACpD,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS;QAC9F,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS;QAC9F,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS;QAC9F,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS;QAC9F,YAAY,CAAC,WAAW;KAC3B,CAAC,CAAC;IAEH,2FAA2F;IAC3F,MAAM,CAAC,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAE9G,gBAAgB,GAAG,CAAC,CAAC,CAAC;IAEN,OAAO,CAAC,UAAkB,EAAE,EAAwB;QAChE,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,IAAI,OAAO,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QAC3C,sFAAsF;QACtF,sFAAsF;QACtF,8FAA8F;QAC9F,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7E,IAAI,mBAAmB,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,EAAE,CAAC;gBAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBAAC,OAAO,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;YAAC,CAAC;YACpG,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC;YACrC,OAAO;QACX,CAAC;QACD,oFAAoF;QACpF,gDAAgD;QAChD,IAAI,IAAI,CAAC,gBAAgB,KAAK,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,EAAE,CAAC;YAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAAC,OAAO,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QAAC,CAAC;QAC3I,OAAO,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5F,UAAU,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,CAAC;IAEe,WAAW,CAAC,UAAkB,EAAE,CAAuB;QACnE,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAErC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpB,UAAU,CAAC,oBAAoB,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC/D,OAAO;QACX,CAAC;QACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;QACzF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACvB,UAAU,CAAC,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAClE,OAAO;QACX,CAAC;QACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,UAAU,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;QAC5F,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACtB,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACtE,OAAO;QACX,CAAC;QAED,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAE1D,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC,YAAY,sBAAsB,IAAI,CAAC,YAAY,oBAAoB,EAAE,CAAC;YAC3E,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,GAAG,cAAc,QAAQ,EAAE,CAAC,CAAC,CAAC,cAAc,GAAG,EAAE,CAAC;QACrF,CAAC;aAAM,CAAC;YACJ,GAAG,GAAG,cAAc,GAAG,EAAE,CAAC;QAC9B,CAAC;QAED,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IAEe,kBAAkB,CAAC,UAAkB;QACjD,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC7B,cAAc;iBACT,OAAO,EAAE;iBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9E,CAAC,CAAC,YAAY,CAAC;QACnB,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,YAAY,QAAQ,SAAS,GAAG,EAAE,CAAC;QAC/C,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IAEe,mBAAmB,CAAC,UAAkB;QAClD,IAAI,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpB,UAAU,CAAC,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACrD,OAAO;QACX,CAAC;QACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC5E,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACvB,UAAU,CAAC,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACxD,OAAO;QACX,CAAC;QACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACtB,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACzE,OAAO;QACX,CAAC;QACD,MAAM,GAAG,GAAG,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC7B,cAAc;iBACT,OAAO,EAAE;iBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACjD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,GAAG,GAAG,QAAQ;YAChB,CAAC,CAAC,cAAc,GAAG,cAAc,QAAQ,EAAE;YAC3C,CAAC,CAAC,cAAc,GAAG,EAAE,CAAC;QAC1B,UAAU,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;CACJ"}

package/dist/src/PlurnkParser.d.ts

@@ -1,6 +1,9 @@
-import type { ClientStatement, ParseResult } from "./types.ts";
+import { type ClientStatement, type ParseResult } from "./types.ts";
 export default class PlurnkParser {
     #private;
+    static readonly MISSING_PLAN = "No valid leading PLAN was parsed; an empty `# PLAN0` was used.";
+    static readonly MISSING_SEND = "No valid terminal SEND was parsed; `## SEND0 [102]` was used.";
+    static readonly NO_VALID_OPERATION = "no valid Plurnk operation was found.";
     static parse(input: string): ParseResult;
     static parseStatements(input: string): ParseResult;
     static parseLog(input: string): ParseResult;

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

@@ -1 +1 @@
-{"version":3,"file":"PlurnkParser.d.ts","sourceRoot":"","sources":["../../src/PlurnkParser.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAa,WAAW,EAA6B,MAAM,YAAY,CAAC;AAsBrG,MAAM,CAAC,OAAO,OAAO,YAAY;;IAG7B,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAUvC;IA6FD,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAEjD;IAMD,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAE1C;IAKD,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,eAAe,CAAC,CAM9D;CA8KJ"}
+{"version":3,"file":"PlurnkParser.d.ts","sourceRoot":"","sources":["../../src/PlurnkParser.ts"],"names":[],"mappings":"AAQA,OAAO,EAEH,KAAK,eAAe,EAEpB,KAAK,WAAW,EAKnB,MAAM,YAAY,CAAC;AAwBpB,MAAM,CAAC,OAAO,OAAO,YAAY;;IAC7B,MAAM,CAAC,QAAQ,CAAC,YAAY,oEAAoE;IAChG,MAAM,CAAC,QAAQ,CAAC,YAAY,mEAAmE;IAC/F,MAAM,CAAC,QAAQ,CAAC,kBAAkB,0CAA0C;IAK5E,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAevC;IA6OD,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAEjD;IAMD,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAE1C;IAKD,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,eAAe,CAAC,CAM9D;CA+KJ"}

package/dist/src/PlurnkParser.js

@@ -6,6 +6,7 @@ import PlurnkParseError from "./PlurnkParseError.js";
 import PlurnkErrorStrategy from "./PlurnkErrorStrategy.js";
 import RecordingListener from "./RecordingListener.js";
 import TagSignal from "./TagSignal.js";
+import { UNKNOWN_POSITION, } from "./types.js";
 // Statement-bearing contexts the extraction builds into items. `statement` (statementSeq) and
 // `midStatement` (mid-turn ops) each wrap one op; PLAN and the terminal SEND attach as direct
 // `planStatement`/`sendStatement` children of a turn; `clientStatement` wraps one op in the
@@ -21,29 +22,99 @@ const STATEMENT_RULES = new Set([
 // carries tolerated preamble text; `turn` is also the direct child of a fenced
 // document. parseLog contains multiple turnContent siblings, flattened in order.
 const CONTAINER_RULES = new Set([
+    plurnkParser.RULE_modelTurnContent,
+    plurnkParser.RULE_modelTurn,
     plurnkParser.RULE_turnContent,
     plurnkParser.RULE_turn,
 ]);
 export default class PlurnkParser {
-    // Parse one PLAN-anchored model turn ending in a disposition SEND. Tolerated
-    // interstatement TEXT remains an ordered item without language semantics. {§turn-shape}
+    static MISSING_PLAN = "No valid leading PLAN was parsed; an empty `# PLAN0` was used.";
+    static MISSING_SEND = "No valid terminal SEND was parsed; `## SEND0 [102]` was used.";
+    static NO_VALID_OPERATION = "no valid Plurnk operation was found.";
+    // Parse one model turn. Canonical PLAN/SEND framing stays strict in teaching and
+    // generation; a source operation lets ingestion recover either omitted boundary.
+    // Tolerated preamble TEXT remains an ordered item without language semantics. {§turn-shape}
     static parse(input) {
-        const result = PlurnkParser.#run(input, (parser) => parser.document());
+        const tagged = PlurnkParser.#tolerateTagSlots(input);
+        const { source, tolerated: scoped } = PlurnkParser.#tolerateScopeSlots(tagged.source);
+        const result = PlurnkParser.#run(source, (parser) => parser.document());
+        PlurnkParser.#scoldTagSlots(result.items, tagged.tolerated);
+        PlurnkParser.#scoldScopeSlots(result.items, scoped);
         // Value-adds layered on ANTLR's diagnostics while the document boundary
         // remains trustworthy. Neither changes what parsed.
         PlurnkParser.#flagMisplacedTarget(result.items);
         if (result.unparsedTail === undefined) {
             PlurnkParser.#imperativeTurnShape(result.items);
             PlurnkParser.#imperativeMidTermination(result.items);
+            PlurnkParser.#recoverTurnEnvelope(result.items);
         }
         return result;
     }
+    // {§tag-slot-tolerance} — `## OP0 (+tag) (path)`: the tag was written in the path slot ahead
+    // of the real path. The heading is read as `[+tag] (path)` — same length, so every later
+    // position stays true — and the slip is an error row on the heading (#425 F2, ruled
+    // 2026-08-29: tolerate and scold). A heading that already carries a signal is not rewritten.
+    static #TAG_SLOT = /^(#{1,2} [A-Z]+[A-Za-z0-9_]*) \(([+-][^\s/.*?()[\]{}]+(?:,[+-][^\s/.*?()[\]{}]+)*)\) \(/;
+    static #tolerateTagSlots(input) {
+        const tolerated = [];
+        const source = input.split("\n").map((text, index) => text.replace(PlurnkParser.#TAG_SLOT, (_, heading, tags) => {
+            tolerated.push({ line: index + 1, column: heading.length + 1, tags });
+            return `${heading} [${tags}] (`;
+        })).join("\n");
+        return { source, tolerated };
+    }
+    static #scoldTagSlots(items, tolerated) {
+        for (const { line, column, tags } of tolerated) {
+            const scold = {
+                kind: "error",
+                error: new PlurnkParseError(line, column, "parser", `\`(${tags})\` is not a path - a tag rides in the signal slot \`[${tags}]\`; \`(...)\` is the one path slot. \`[${tags}]\` was used.`),
+            };
+            const at = items.findIndex((item) => item.kind === "statement" && item.statement.position?.line === line);
+            if (at === -1)
+                items.push(scold);
+            else
+                items.splice(at + 1, 0, scold);
+        }
+    }
+    // {§scope-slot-tolerance} — `## COPY0 (worker:///src.md<2,3>)`: the line scope was written inside
+    // the path slot. `<` and `>` are not URI characters, so a `<...>` right before a slot's closing
+    // paren can only be a scope: the heading is read as `(worker:///src.md) <2,3>` and the slip is a
+    // warning advisory after its statement — the statement runs (#442, ruled 2026-08-30: accept with a
+    // warning). The rewrite adds one character per slot, so a column on the same heading after the
+    // slot is off by that much; lines stay true.
+    static #SCOPE_SLOT = /\(([^\s()<>]+)<([^<>()\s]+)>\)/g;
+    static #tolerateScopeSlots(input) {
+        const tolerated = [];
+        const source = input.split("\n").map((text, index) => {
+            if (!/^#{1,2} [A-Z]+[A-Za-z0-9_]* /.test(text))
+                return text;
+            return text.replace(PlurnkParser.#SCOPE_SLOT, (match, path, scope, offset) => {
+                tolerated.push({ line: index + 1, column: offset + path.length + 2, scope });
+                return `(${path}) <${scope}>`;
+            });
+        }).join("\n");
+        return { source, tolerated };
+    }
+    static #scoldScopeSlots(items, tolerated) {
+        // Each scold splices in right after its statement; reversed, two slips on one heading
+        // keep their authored order.
+        for (const { line, column, scope } of tolerated.toReversed()) {
+            const scold = {
+                kind: "error",
+                error: new PlurnkParseError(line, column, "parser", `\`<${scope}>\` belongs after the \`(path)\` slot, not inside it - \`(path) <${scope}>\` was used.`, "warning"),
+            };
+            const at = items.findIndex((item) => item.kind === "statement" && item.statement.position?.line === line);
+            if (at === -1)
+                items.push(scold);
+            else
+                items.splice(at + 1, 0, scold);
+        }
+    }
     // Terminal disposition alphabet. {§waitpid-dispositions} {§wait-obligation-matrix}
     static #DISPOSITIONS = new Set([102, 200, 202, 499]);
-    // Replace ANTLR's generic structure errors with the turn-shape imperative when the
-    // PLAN-anchored sandwich is broken. PLAN-first takes precedence: with no PLAN we cannot
-    // judge the terminal SEND (it never reached statement position), so we only direct the
-    // model to the anchor; a present-PLAN, absent-SEND turn gets the terminator imperative.
+    // Replace ANTLR's generic structure errors with the exact envelope default when the
+    // canonical PLAN...SEND shape is cleanly incomplete. The parser admits the useful
+    // operations and core records this hard diagnostic as the turn's strike. {§turn-shape}
     static #imperativeTurnShape(items) {
         const hasPlan = items.some((i) => i.kind === "statement" && i.statement.op === "PLAN");
         // A mid-comms SEND does not satisfy the terminal requirement.
@@ -52,14 +123,19 @@ export default class PlurnkParser {
             return;
         const isStructErr = (i) => i.kind === "error" && i.error.source === "parser" && i.error.severity === "error";
         const structErrors = items.filter(isStructErr);
-        if (structErrors.length === 0)
+        const statements = items.flatMap((item) => item.kind === "statement" ? [item.statement] : []);
+        if (statements.length === 0) {
+            const anchor = structErrors[0]?.error;
+            // With no operation to retain, the grammar's expected-token cascade is less useful
+            // than the exact admission failure. Lexer and visitor diagnostics remain intact.
+            const kept = items.filter((item) => !isStructErr(item));
+            items.length = 0;
+            items.push(...kept, {
+                kind: "error",
+                error: new PlurnkParseError(anchor?.line ?? 1, anchor?.column ?? 0, "parser", PlurnkParser.NO_VALID_OPERATION),
+            });
             return;
-        const anchor = structErrors[0].error;
-        // Drop the generic parser structure errors (downstream noise from the broken shape);
-        // keep statements, text, near-miss warnings, and lexer/visitor errors.
-        const kept = items.filter((i) => !isStructErr(i));
-        items.length = 0;
-        items.push(...kept);
+        }
         // Only add the anchor imperative when the shape is CLEANLY incomplete. If a bounded lexer
         // or visitor error is present, the turn derailed within an operation, so the
         // missing PLAN/SEND is a parse artifact, not the real fix - that specific bounded error
@@ -67,10 +143,63 @@ export default class PlurnkParser {
         const hasSpecificError = items.some((i) => i.kind === "error" && i.error.severity === "error" && i.error.source !== "parser");
         if (hasSpecificError)
             return;
-        const fix = !hasPlan
-            ? "a turn must begin with `# PLAN0`"
-            : "a turn must end with `## SEND0 [submit code]`";
-        items.push({ kind: "error", error: new PlurnkParseError(anchor.line, anchor.column, "parser", fix) });
+        if (!hasPlan) {
+            const position = statements[0]?.position ?? UNKNOWN_POSITION;
+            items.push({
+                kind: "error",
+                error: new PlurnkParseError(position.line, position.column, "parser", PlurnkParser.MISSING_PLAN),
+            });
+        }
+        if (!hasSend) {
+            const position = statements.at(-1)?.position ?? UNKNOWN_POSITION;
+            items.push({
+                kind: "error",
+                error: new PlurnkParseError(position.line, position.column, "parser", PlurnkParser.MISSING_SEND),
+            });
+        }
+    }
+    // A model emission with at least one valid operation remains a useful program when it
+    // omits envelope ceremony. Materialize the exact language defaults in the AST; the raw
+    // source remains untouched as forensic turnOps evidence. GBNF and parseLog stay strict.
+    static #recoverTurnEnvelope(items) {
+        const sourceStatements = items.flatMap((item) => item.kind === "statement" ? [item.statement] : []);
+        if (sourceStatements.length === 0)
+            return;
+        const delimiter = sourceStatements[0]?.delimiter || "0";
+        const hasPlan = sourceStatements.some(({ op }) => op === "PLAN");
+        const hasTerminalSend = sourceStatements.some((statement) => statement.op === "SEND"
+            && typeof statement.signal === "number"
+            && PlurnkParser.#DISPOSITIONS.has(statement.signal));
+        if (!hasPlan) {
+            const plan = {
+                op: "PLAN",
+                delimiter,
+                annotation: null,
+                signal: null,
+                target: null,
+                metadata: null,
+                lineMarker: null,
+                body: [],
+                position: UNKNOWN_POSITION,
+            };
+            const firstStatement = items.findIndex((item) => item.kind === "statement");
+            items.splice(firstStatement, 0, { kind: "statement", statement: plan });
+        }
+        if (!hasTerminalSend) {
+            const send = {
+                op: "SEND",
+                delimiter,
+                annotation: null,
+                signal: 102,
+                target: null,
+                metadata: null,
+                lineMarker: null,
+                body: null,
+                position: UNKNOWN_POSITION,
+            };
+            const lastStatement = items.findLastIndex((item) => item.kind === "statement");
+            items.splice(lastStatement + 1, 0, { kind: "statement", statement: send });
+        }
     }
     // Lift the mid-turn-termination error. A disposition-coded SEND
     // (102/200/202/499) ends the turn, so a following operation is an error.
@@ -163,9 +292,7 @@ export default class PlurnkParser {
                 error: new PlurnkParseError(note.line, note.column, "parser", `\`${note.heading}\` body text was on the OP line and was taken as the body; body content goes immediately beneath the OP heading line.`, "warning"),
             };
             const at = items.findIndex((item) => item.kind === "statement" && item.statement.position?.line === note.line);
-            if (at === -1)
-                items.push(advisory);
-            else
+            if (at !== -1)
                 items.splice(at + 1, 0, advisory);
         }
         for (const err of errors) {
@@ -190,7 +317,9 @@ export default class PlurnkParser {
         const heading = lexer.getOpenHeading() || `## ${openTag}`;
         const reason = modeName === "SIGNAL_TAGS" || modeName === "SIGNAL_INT" || modeName === "SIGNAL_IDENT"
             ? `signal slot of \`${heading}\` opened at line ${from.line} but never closed - add \`]\``
-            : `target slot of \`${heading}\` opened at line ${from.line} but never closed - add \`)\``;
+            : modeName === "METADATA"
+                ? `metadata modifier of \`${heading}\` opened at line ${from.line} but never closed - add \`}\``
+                : `target slot of \`${heading}\` opened at line ${from.line} but never closed - add \`)\``;
         return { from, reason };
     }
     // Mutating ops that require a `(target)` and carry a `[tags]` string-array signal. A null target