@mmnto/totem 1.119.0 → 1.121.0

package/dist/compile-smoke-gate.d.ts

@@ -14,6 +14,29 @@
  * input. Any divergence between "smoke gate happy" and "runtime happy" is a
  * bug in this module, not a rule authoring problem.
  *
+ * Prop 310 § Design 8 PASS TWO (mmnto-ai/totem#2678): the match predicate is
+ * "the target matched AND the required context is ABSENT", so a gate that ran
+ * only pass one WAS that divergence — a `requires:`-bearing record's `good`
+ * example keeps the target and adds the companion, so the gate read it as
+ * over-matching and no such record could pass `totem rule test` or the ADR-112
+ * §4 preimage differential. The gate therefore evaluates the requirement with
+ * the RUNTIME'S OWN evaluator (`requiresSuppressesMatch`, `spine/record-runtime.ts`)
+ * — the same function `rule-engine.ts` and `regex-safety/apply-rules-bounded.ts`
+ * call. One evaluator, never a second implementation of § Design 8 living here
+ * (Tenet 20: derive or couple, never mirror). Legacy rules carry no `requires`
+ * and are byte-identical by construction — every call site is guarded on
+ * `rule.requires !== undefined` so no legacy rule pays a second test.
+ *
+ * Borrowing the evaluator means borrowing its PRECONDITIONS: `runSmokeGate` runs
+ * `assertNoTornRecordRules` on every rule, and adds
+ * `assertRequiresPatternsSafe` / `assertNoAstGrepLineScope` for a
+ * `requires:`-bearing one, before evaluating it — two of these at each regex
+ * dispatcher, all three at the ast dispatcher, in each case at invocation
+ * altitude. Without them the gate ACCEPTED rules the runtime refuses — a torn
+ * rule, an unsafe-but-compilable `requires.pattern` that backtracks
+ * catastrophically, and `ast-grep` + `requires.scope: line` — which is the same
+ * gate-vs-runtime divergence this module exists to rule out.
+ *
  * Not wired to Pipeline 1 (manual) rules in mmnto/totem#1408 - a dry-run
  * sweep lands in a follow-up ticket before the Pipeline 1 gate flips on.
  */

package/dist/compile-smoke-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile-smoke-gate.d.ts","sourceRoot":"","sources":["../src/compile-smoke-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAIzD,MAAM,WAAW,eAAe;IAC9B,0EAA0E;IAC1E,OAAO,EAAE,OAAO,CAAC;IACjB,2EAA2E;IAC3E,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAuGD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CA8BjF"}
+{"version":3,"file":"compile-smoke-gate.d.ts","sourceRoot":"","sources":["../src/compile-smoke-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAWzD,MAAM,WAAW,eAAe;IAC9B,0EAA0E;IAC1E,OAAO,EAAE,OAAO,CAAC;IACjB,2EAA2E;IAC3E,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAoJD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAiEjF"}

package/dist/compile-smoke-gate.js

@@ -14,10 +14,35 @@
  * input. Any divergence between "smoke gate happy" and "runtime happy" is a
  * bug in this module, not a rule authoring problem.
  *
+ * Prop 310 § Design 8 PASS TWO (mmnto-ai/totem#2678): the match predicate is
+ * "the target matched AND the required context is ABSENT", so a gate that ran
+ * only pass one WAS that divergence — a `requires:`-bearing record's `good`
+ * example keeps the target and adds the companion, so the gate read it as
+ * over-matching and no such record could pass `totem rule test` or the ADR-112
+ * §4 preimage differential. The gate therefore evaluates the requirement with
+ * the RUNTIME'S OWN evaluator (`requiresSuppressesMatch`, `spine/record-runtime.ts`)
+ * — the same function `rule-engine.ts` and `regex-safety/apply-rules-bounded.ts`
+ * call. One evaluator, never a second implementation of § Design 8 living here
+ * (Tenet 20: derive or couple, never mirror). Legacy rules carry no `requires`
+ * and are byte-identical by construction — every call site is guarded on
+ * `rule.requires !== undefined` so no legacy rule pays a second test.
+ *
+ * Borrowing the evaluator means borrowing its PRECONDITIONS: `runSmokeGate` runs
+ * `assertNoTornRecordRules` on every rule, and adds
+ * `assertRequiresPatternsSafe` / `assertNoAstGrepLineScope` for a
+ * `requires:`-bearing one, before evaluating it — two of these at each regex
+ * dispatcher, all three at the ast dispatcher, in each case at invocation
+ * altitude. Without them the gate ACCEPTED rules the runtime refuses — a torn
+ * rule, an unsafe-but-compilable `requires.pattern` that backtracks
+ * catastrophically, and `ast-grep` + `requires.scope: line` — which is the same
+ * gate-vs-runtime divergence this module exists to rule out.
+ *
  * Not wired to Pipeline 1 (manual) rules in mmnto/totem#1408 - a dry-run
  * sweep lands in a follow-up ticket before the Pipeline 1 gate flips on.
  */
 import { matchAstGrepPattern, TRAILING_EXT_RE } from './ast-grep-query.js';
+import { TotemParseError } from './errors.js';
+import { assertNoAstGrepLineScope, assertNoTornRecordRules, assertRequiresPatternsSafe, requiresSuppressesMatch, } from './spine/record-runtime.js';
 // ─── Helpers ────────────────────────────────────────
 function firstLine(message) {
     const m = /^[^\n]*/.exec(message);
@@ -30,11 +55,36 @@ function lineNumbersFor(snippet) {
         result.push(i);
     return result;
 }
+/**
+ * Prop 310 § Design 8 pass two at ONE target-match locus, for the gate.
+ *
+ * The snippet IS the file for a gate run — the exemplar is the whole text the
+ * rule is being asked about — so `scope: file` resolves to the entire snippet
+ * and `scope: line` to the matched line. The `file` resolver is the snippet
+ * itself rather than a read, which is what makes the gate PURE where the runtime
+ * dispatchers hand `requiresSuppressesMatch` a lazy disk read.
+ *
+ * Guarded on `rule.requires !== undefined` so a legacy rule never pays a second
+ * `re.test`, and so this is provably a no-op for the frozen 485-rule corpus.
+ *
+ * `requiresSuppressesMatch` THROWS `TotemParseError` on an uncompilable
+ * `requires.pattern`, and nothing here catches it — but that throw is
+ * unreachable via `runSmokeGate`, which runs `assertRequiresPatternsSafe`
+ * first and whose `validateRegex` compiles the pattern before the safe-regex2
+ * check, so an uncompilable one is reported as a precondition failure before any
+ * evaluation. The uncaught path remains as a BACKSTOP for a caller that reaches
+ * this helper another way; `runSmokeGate` handles it once, for both engines.
+ */
+function suppressedByRequires(rule, line, snippet) {
+    if (rule.requires === undefined)
+        return false;
+    return requiresSuppressesMatch(rule, { line, file: () => snippet });
+}
 // ─── Engine runners ─────────────────────────────────
-function runRegexGate(pattern, snippet) {
+function runRegexGate(rule, snippet) {
     let re;
     try {
-        re = new RegExp(pattern);
+        re = new RegExp(rule.pattern);
     }
     catch (err) {
         return {
@@ -45,7 +95,11 @@ function runRegexGate(pattern, snippet) {
     }
     let matchCount = 0;
     for (const line of snippet.split('\n')) {
-        if (re.test(line))
+        // The FULL match predicate, exactly as `rule-engine.ts`'s regex dispatcher
+        // states it: target hit AND required context absent. A line whose
+        // requirement is satisfied is not a match at all, so it never reaches the
+        // count.
+        if (re.test(line) && !suppressedByRequires(rule, line, snippet))
             matchCount++;
     }
     return matchCount > 0 ? { matched: true, matchCount } : { matched: false, matchCount: 0 };
@@ -97,15 +151,29 @@ function runAstGrepGate(pattern, snippet, rule) {
     const lineNumbers = lineNumbersFor(snippet);
     let lastReason;
     for (const ext of inferBadExampleExts(rule)) {
+        // Seeded EMPTY so a throwing extension needs no statement inside the catch:
+        // the filter below yields nothing, the loop moves to the next extension, and
+        // the shipped degrade-to-`lastReason` behaviour is unchanged.
+        let matches = [];
         try {
-            const matches = matchAstGrepPattern(snippet, ext, pattern, lineNumbers);
-            if (matches.length > 0) {
-                return { matched: true, matchCount: matches.length };
-            }
+            matches = matchAstGrepPattern(snippet, ext, pattern, lineNumbers);
         }
         catch (err) {
             lastReason = `ast-grep runtime error: ${firstLine(err instanceof Error ? err.message : String(err))}`;
         }
+        // § Design 8 pass two, OUTSIDE the engine try/catch on purpose: a
+        // `requires.pattern` defect is not an ast-grep runtime error and must not be
+        // reported as one. Via `runSmokeGate` such a pattern is already refused by
+        // `assertRequiresPatternsSafe` before this line runs; keeping the filter out
+        // of the catch means that even a throw from the evaluator itself reaches
+        // `runSmokeGate`'s single handler rather than being mislabelled here.
+        const unsuppressed = matches.filter((match) => !suppressedByRequires(rule, match.lineText, snippet));
+        // Zero UNSUPPRESSED matches under this extension is a miss like any other:
+        // fall through to the next extension, because the gate still passes on ANY
+        // extension (runtime scans the same surface).
+        if (unsuppressed.length > 0) {
+            return { matched: true, matchCount: unsuppressed.length };
+        }
     }
     return lastReason
         ? { matched: false, matchCount: 0, reason: lastReason }
@@ -126,8 +194,71 @@ export function runSmokeGate(rule, snippet) {
     if (!snippet || snippet.trim().length === 0) {
         return { matched: false, matchCount: 0 };
     }
+    try {
+        // § Design 12 — UNCONDITIONAL, because tornness is not a property of
+        // `requires`. The assert fires on ANY of the seven
+        // `RECORD_COMPILED_HOME_KEYS` without `examples`, and the runtime refuses
+        // such a rule because it is UNCLASSIFIABLE — neither record nor legacy —
+        // not to protect an evaluator. Scoping this to `requires` left
+        // `{fileGlobs, excludeGlobs}` with no `examples` passing the gate while
+        // `applyRulesToAdditions` threw on it. Legacy rules stay byte-identical for
+        // free: the assert early-returns for a rule carrying no § Design 12 home,
+        // and the byte-identity guard pins that none of the frozen 485 carries one.
+        assertNoTornRecordRules([rule]);
+        if (rule.requires !== undefined) {
+            // The evaluator's PRECONDITIONS, taken with the evaluator (Tenet 20: a
+            // borrowed function borrows its contract too). Each regex dispatcher runs
+            // TWO of these at invocation altitude before any `requiresSuppressesMatch`
+            // (`rule-engine.ts:596-597`, `regex-safety/apply-rules-bounded.ts:92-93`);
+            // the ast dispatcher runs all three (`rule-engine.ts:791-793`). A gate that
+            // skipped them accepted rules the runtime REFUSES:
+            //   - an unsafe-but-compilable `requires.pattern` (`(a+)+$`) that runs to
+            //     catastrophic backtracking here, unbounded, against whole-snippet
+            //     text — `totem rule test` reaches this with no safe-regex2 pass of
+            //     its own;
+            //   - `ast-grep` + `requires.scope: line`, which the lowering rejects and
+            //     `assertNoAstGrepLineScope` refuses at runtime.
+            // The ast dispatcher also carries a tree-sitter `requires` backstop this
+            // gate does not need: an `ast`-engine rule never reaches an evaluator here
+            // because `dispatchEngineGate` already returns
+            // `smoke gate does not yet cover engine: ast` — a neutral skip the callers
+            // read toward flagging.
+            assertRequiresPatternsSafe([rule]);
+            assertNoAstGrepLineScope([rule]);
+        }
+        return dispatchEngineGate(rule, snippet);
+    }
+    catch (err) {
+        // The ONE handler for § Design 8's fail-loud arm, shared by all three
+        // preconditions. It also still catches `requiresSuppressesMatch`'s own throw
+        // on an uncompilable pattern, but only as a BACKSTOP: `validateRegex`
+        // compiles the pattern first, so `assertRequiresPatternsSafe` reports that
+        // defect ("unusable `requires.pattern` (invalid syntax)") and the evaluator's
+        // throw is unreachable from this function. It stays handled for a caller
+        // that reaches the evaluator by another route. A gate that propagated any of
+        // these would crash `totem rule test` instead of reporting the rule as
+        // unusable; each message already names the construct at fault
+        // (`requires.pattern` / `requires.scope: line` / `examples`), so the prefix
+        // names no construct of its own. That is load-bearing, not stylistic:
+        // `assertNoTornRecordRules` runs on EVERY rule, so this handler also fronts
+        // rules carrying no `requires` block at all, and a `requires`-specific prefix
+        // would misname exactly that case (CodeRabbit, bot round 1). Mirrors the
+        // `invalid regex:` shape the target pattern already gets. Anything else is a
+        // real bug: rethrow.
+        if (err instanceof TotemParseError) {
+            return {
+                matched: false,
+                matchCount: 0,
+                reason: `rule precondition failed: ${firstLine(err.message)}`,
+            };
+        }
+        throw err;
+    }
+}
+/** Engine dispatch for `runSmokeGate`, split out so the § Design 8 catch wraps both engines exactly once. */
+function dispatchEngineGate(rule, snippet) {
     if (rule.engine === 'regex') {
-        return runRegexGate(rule.pattern, snippet);
+        return runRegexGate(rule, snippet);
     }
     if (rule.engine === 'ast-grep') {
         const source = rule.astGrepPattern ?? rule.astGrepYamlRule;

package/dist/compile-smoke-gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile-smoke-gate.js","sourceRoot":"","sources":["../src/compile-smoke-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAoB3E,uDAAuD;AAEvD,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uDAAuD;AAEvD,SAAS,YAAY,CAAC,OAAe,EAAE,OAAe;IACpD,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,kBAAkB,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE;SACxF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,UAAU,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,mBAAmB,CAAC,IAAkB;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvC,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,+DAA+D;IAC/D,gEAAgE;IAChE,qBAAqB;IACrB,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CACrB,OAAoB,EACpB,OAAe,EACf,IAAkB;IAElB,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,UAA8B,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACvD,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,UAAU,GAAG,2BAA2B,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACxG,CAAC;IACH,CAAC;IACD,OAAO,UAAU;QACf,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE;QACvD,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,uDAAuD;AAEvD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,OAAe;IAC9D,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GACV,IAAI,CAAC,cAAc,IAAK,IAAI,CAAC,eAA2C,CAAC;QAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,+DAA+D;aACxE,CAAC;QACJ,CAAC;QACD,OAAO,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,+CAA+C;IAC/C,OAAO;QACL,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,yCAAyC,IAAI,CAAC,MAAM,EAAE;KAC/D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"compile-smoke-gate.js","sourceRoot":"","sources":["../src/compile-smoke-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AAmBnC,uDAAuD;AAEvD,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,oBAAoB,CAAC,IAAkB,EAAE,IAAY,EAAE,OAAe;IAC7E,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC9C,OAAO,uBAAuB,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,uDAAuD;AAEvD,SAAS,YAAY,CAAC,IAAkB,EAAE,OAAe;IACvD,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,kBAAkB,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE;SACxF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,2EAA2E;QAC3E,kEAAkE;QAClE,0EAA0E;QAC1E,SAAS;QACT,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;YAAE,UAAU,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,mBAAmB,CAAC,IAAkB;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvC,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,+DAA+D;IAC/D,gEAAgE;IAChE,qBAAqB;IACrB,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CACrB,OAAoB,EACpB,OAAe,EACf,IAAkB;IAElB,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,UAA8B,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,4EAA4E;QAC5E,6EAA6E;QAC7E,8DAA8D;QAC9D,IAAI,OAAO,GAAmB,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,OAAO,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACpE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,UAAU,GAAG,2BAA2B,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACxG,CAAC;QACD,kEAAkE;QAClE,6EAA6E;QAC7E,2EAA2E;QAC3E,6EAA6E;QAC7E,yEAAyE;QACzE,sEAAsE;QACtE,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAChE,CAAC;QACF,2EAA2E;QAC3E,2EAA2E;QAC3E,8CAA8C;QAC9C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,UAAU;QACf,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE;QACvD,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,uDAAuD;AAEvD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,OAAe;IAC9D,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC;IAED,IAAI,CAAC;QACH,qEAAqE;QACrE,mDAAmD;QACnD,0EAA0E;QAC1E,yEAAyE;QACzE,+DAA+D;QAC/D,wEAAwE;QACxE,4EAA4E;QAC5E,0EAA0E;QAC1E,4EAA4E;QAC5E,uBAAuB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,uEAAuE;YACvE,0EAA0E;YAC1E,2EAA2E;YAC3E,2EAA2E;YAC3E,4EAA4E;YAC5E,mDAAmD;YACnD,0EAA0E;YAC1E,uEAAuE;YACvE,wEAAwE;YACxE,eAAe;YACf,0EAA0E;YAC1E,qDAAqD;YACrD,yEAAyE;YACzE,2EAA2E;YAC3E,+CAA+C;YAC/C,2EAA2E;YAC3E,wBAAwB;YACxB,0BAA0B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,sEAAsE;QACtE,6EAA6E;QAC7E,sEAAsE;QACtE,2EAA2E;QAC3E,8EAA8E;QAC9E,yEAAyE;QACzE,6EAA6E;QAC7E,uEAAuE;QACvE,8DAA8D;QAC9D,4EAA4E;QAC5E,sEAAsE;QACtE,4EAA4E;QAC5E,8EAA8E;QAC9E,yEAAyE;QACzE,6EAA6E;QAC7E,qBAAqB;QACrB,IAAI,GAAG,YAAY,eAAe,EAAE,CAAC;YACnC,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,6BAA6B,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;aAC9D,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,6GAA6G;AAC7G,SAAS,kBAAkB,CAAC,IAAkB,EAAE,OAAe;IAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GACV,IAAI,CAAC,cAAc,IAAK,IAAI,CAAC,eAA2C,CAAC;QAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,+DAA+D;aACxE,CAAC;QACJ,CAAC;QACD,OAAO,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,+CAA+C;IAC/C,OAAO;QACL,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,yCAAyC,IAAI,CAAC,MAAM,EAAE;KAC/D,CAAC;AACJ,CAAC"}