@mmnto/totem 1.64.0 → 1.64.2

package/dist/artifacts/post-checks-rules.js

@@ -0,0 +1,307 @@
+/**
+ * The default deterministic post-check rule set (mmnto-ai/totem#2103, strategy#474
+ * slice 4). Each rule is zero-LLM and returns a verdict at its STATIC tier; the
+ * aggregator ({@link evaluatePostChecks}) owns rejection. Rule decomposition
+ * follows the cohort pre-build round (codex): the OutputContract's three knobs
+ * (`schema` / `citationsRequired` / `verifyFallback`) are distinct
+ * responsibilities, not one rule.
+ *
+ * Helpers (containment, citation extraction, line-range) are exported for
+ * direct unit testing — they are the load-bearing edge-case surface (agy).
+ */
+// `node:fs` is a STATIC import by design (CR #2177 review #3, declined): @mmnto/totem
+// (core) is a Node package — native LanceDB + tree-sitter bindings — never an
+// edge/Deno/browser target, so the module-load portability concern does not apply.
+// The `readFile` seam exists for test injection, not runtime portability.
+import { readFileSync } from 'node:fs';
+import * as path from 'node:path';
+import { resolveCaller, } from './post-checks.js';
+import { PROVENANCE_CLASSES } from './schema.js';
+const KNOWN_EXTENSION = /\.(ts|tsx|js|jsx|mjs|cjs|md|json|ya?ml|go|py|rs|java|c|cpp|h)$/i;
+const CANONICAL_PROVENANCE = new Set(PROVENANCE_CLASSES);
+/** Default file read: returns the text, or `undefined` if the path does not resolve (honest-absent). */
+function defaultReadFile(absPath) {
+    try {
+        return readFileSync(absPath, 'utf8');
+        // totem-context: honest-absent — undefined means "not found", consumed as a citation fail.
+    }
+    catch {
+        return undefined;
+    }
+}
+function readFileVia(ctx, absPath) {
+    return (ctx.readFile ?? defaultReadFile)(absPath);
+}
+/**
+ * Is `citedPath` a relative path nested inside `configRoot`? Rejects absolute
+ * paths and Windows drive-letters up front, normalizes separators BEFORE
+ * resolving (win32: `src\..\..\etc/passwd` must not slip), then requires the
+ * resolved path to stay under the root (agy review on mmnto-ai/totem#2103).
+ */
+export function isContained(configRoot, citedPath) {
+    if (path.isAbsolute(citedPath) || /^[a-zA-Z]:/.test(citedPath))
+        return false;
+    // Normalize separators BEFORE resolving: on POSIX `\` is a literal filename
+    // char, so `src\..\..\etc/passwd` would NOT get its `..` collapsed by
+    // path.resolve and would escape the root undetected. Forward-slashing first
+    // makes traversal detection identical on win32 and POSIX.
+    const normalizedCited = citedPath.replace(/\\/g, '/');
+    const root = path.resolve(configRoot);
+    // path.join (NOT path.resolve) so a normalized-absolute segment can't reset the
+    // base out of root (GCA review — absolute-path injection); then path.relative +
+    // a FIRST-SEGMENT check (not startsWith, which would false-reject a `..foo` file)
+    // and a cross-drive guard. No hardcoded separator → a filesystem-root config
+    // never double-slashes into a false fail.
+    const rel = path.relative(root, path.join(root, normalizedCited));
+    return rel.split(path.sep)[0] !== '..' && !path.isAbsolute(rel);
+}
+/**
+ * Conservatively extract `path` / `path:line` / `path:start-end` citations from
+ * backticked spans in `content`. Strips fenced code blocks first (their sample
+ * paths / command logs would false-fail), and ignores backticked tokens that
+ * carry neither a path separator nor a known extension — so `` `main` `` /
+ * `` `pnpm test` `` are not treated as citations (agy review on mmnto-ai/totem#2103).
+ */
+export function extractCitations(content) {
+    const withoutFences = content.replace(/```[\s\S]*?```/g, '');
+    const citations = [];
+    for (const match of withoutFences.matchAll(/`([^`]+)`/g)) {
+        const token = match[1].trim();
+        const parsed = /^(.+?)(?::(\d+)(?:-(\d+))?)?$/.exec(token);
+        if (parsed === null)
+            continue;
+        const filePath = parsed[1].replace(/\\/g, '/');
+        // Skip URLs (CR review): a `https://…/x.ts` token has a separator + extension,
+        // would fail containment, and would false-fail a spec that links external docs.
+        if (/^https?:\/\//.test(filePath))
+            continue;
+        if (!filePath.includes('/') && !KNOWN_EXTENSION.test(filePath)) {
+            continue;
+        }
+        const citation = { raw: token, filePath };
+        if (parsed[2] !== undefined)
+            citation.line = Number(parsed[2]);
+        if (parsed[3] !== undefined)
+            citation.endLine = Number(parsed[3]);
+        citations.push(citation);
+    }
+    return citations;
+}
+/**
+ * Is a citation's line reference valid against a file of `totalLines` lines?
+ * Path-only citations (no line) always pass the line check. 1-indexed; a range
+ * requires `0 < start <= end <= totalLines` (agy boundary matrix).
+ */
+export function lineRefValid(totalLines, line, endLine) {
+    if (line === undefined)
+        return true;
+    if (!Number.isInteger(line) || line <= 0 || line > totalLines)
+        return false;
+    if (endLine !== undefined) {
+        if (!Number.isInteger(endLine) || endLine < line || endLine > totalLines)
+            return false;
+    }
+    return true;
+}
+function countLines(text) {
+    return text.split('\n').length;
+}
+// ── Rules ──────────────────────────────────────────────────────────────────
+/**
+ * Structured-output contract (decidable, all callers). Absent `schema` ⇒
+ * abstain (prose output is never treated as malformed JSON). Present ⇒
+ * `output.content` must parse as JSON; non-JSON is a decidable fail. NOTE: deep
+ * JSON-Schema shape validation is a follow-on — core carries no validator
+ * dependency this slice, so the gate is parse-only (codex review: "non-JSON is
+ * a decidable fail").
+ */
+export const structuredOutputRule = {
+    name: 'structured-output',
+    tier: 'decidable',
+    appliesTo: () => true,
+    evaluate: (a) => {
+        if (a.admission?.outputContract?.schema === undefined) {
+            return { verdict: 'abstain', message: 'no outputContract.schema declared' };
+        }
+        try {
+            JSON.parse(a.output.content);
+            return { verdict: 'pass', message: 'output parses as JSON (shape-validation deferred)' };
+            // totem-context: fail-loud — a parse failure becomes a decidable 'fail' verdict, not a silent pass.
+        }
+        catch {
+            return {
+                verdict: 'fail',
+                message: 'outputContract.schema declared but output.content is not valid JSON',
+            };
+        }
+    },
+};
+/**
+ * Citation resolution (decidable). Gates only when the caller declared
+ * `citationsRequired`. For each cited path: must be in-root, the file must
+ * exist, and any line reference must be in range. For a `review` run, a citation
+ * outside the delivered grounding bundle is also a fail (review cites what it was
+ * given). Claim *support* (does the cited text back the claim) stays sensor-only
+ * — out of scope here (ADR-109).
+ *
+ * Intentional overlap (CR #2177 review): on a `spec` run with `citationsRequired`,
+ * an unresolved path is ALSO flagged by spec-verify — both correctly fail it, so the
+ * report can carry two decidable findings for one path. The rules are independent by
+ * design (different escapes: spec-verify owns the `VERIFY:` fallback, this owns
+ * line-range + bundle membership); de-duplicating overlapping decidable fails belongs
+ * at the live-wiring / aggregation layer (#2104), not by coupling rules in this slice.
+ */
+export const citationResolvesRule = {
+    name: 'citation-resolves',
+    tier: 'decidable',
+    appliesTo: () => true,
+    evaluate: (a, ctx) => {
+        if (a.admission?.outputContract?.citationsRequired !== true) {
+            return { verdict: 'abstain', message: 'citations not required by outputContract' };
+        }
+        const citations = extractCitations(a.output.content);
+        if (citations.length === 0) {
+            return { verdict: 'abstain', message: 'no resolvable path citations in output' };
+        }
+        const bundlePaths = resolveCaller(a) === 'review' && a.grounding.bundle !== undefined
+            ? // normalize separators (GCA review): bundle filePaths may be win32 backslash,
+                // cited filePaths are forward-slashed, so compare on a common separator.
+                new Set(a.grounding.bundle.items.map((i) => i.filePath.replace(/\\/g, '/')))
+            : undefined;
+        const failures = [];
+        for (const c of citations) {
+            if (!isContained(ctx.configRoot, c.filePath)) {
+                failures.push(`${c.raw} (escapes repo root)`);
+                continue;
+            }
+            const text = readFileVia(ctx, path.resolve(ctx.configRoot, c.filePath));
+            if (text === undefined) {
+                failures.push(`${c.raw} (file not found)`);
+                continue;
+            }
+            if (!lineRefValid(countLines(text), c.line, c.endLine)) {
+                failures.push(`${c.raw} (line out of range)`);
+                continue;
+            }
+            if (bundlePaths !== undefined && !bundlePaths.has(c.filePath)) {
+                failures.push(`${c.raw} (not in delivered grounding bundle)`);
+            }
+        }
+        if (failures.length === 0) {
+            return { verdict: 'pass', message: `all ${citations.length} citations resolve` };
+        }
+        return {
+            verdict: 'fail',
+            message: `unresolvable citation(s): ${failures.join('; ')}`,
+            context: { failures },
+        };
+    },
+};
+/**
+ * Spec VERIFY requirement (decidable, caller `spec`). A spec that references a
+ * path which does not resolve on disk must mark it with `VERIFY:` — otherwise it
+ * is a fabricated path (the mmnto-ai/totem#2090/#2091 class). `VERIFY:` is accepted
+ * as the escape UNLESS the caller set `outputContract.verifyFallback === false`
+ * (the verify-fallback knob, folded here where `VERIFY:` is actually consumed —
+ * codex review).
+ */
+export const specVerifyRule = {
+    name: 'spec-verify',
+    tier: 'decidable',
+    appliesTo: (a) => resolveCaller(a) === 'spec',
+    evaluate: (a, ctx) => {
+        const content = a.output.content;
+        const citations = extractCitations(content);
+        if (citations.length === 0) {
+            return { verdict: 'abstain', message: 'no path citations in spec output' };
+        }
+        const unresolved = citations.filter((c) => {
+            if (!isContained(ctx.configRoot, c.filePath))
+                return true;
+            return readFileVia(ctx, path.resolve(ctx.configRoot, c.filePath)) === undefined;
+        });
+        if (unresolved.length === 0) {
+            return { verdict: 'pass', message: `all ${citations.length} cited paths resolve` };
+        }
+        const verifyAllowed = a.admission?.outputContract?.verifyFallback !== false;
+        // Strip fences before the marker search too (Greptile review) — a VERIFY: that
+        // exists only inside a code block (which extractCitations already strips) must
+        // not excuse unresolved paths the citation pass never saw.
+        const hasVerifyMarker = /\bVERIFY:/.test(content.replace(/```[\s\S]*?```/g, ''));
+        if (verifyAllowed && hasVerifyMarker) {
+            return {
+                verdict: 'pass',
+                message: `${unresolved.length} unresolved path(s) but VERIFY: present`,
+            };
+        }
+        const paths = unresolved.map((c) => c.filePath);
+        return {
+            verdict: 'fail',
+            message: hasVerifyMarker
+                ? `unresolved path(s) and verifyFallback is disabled: ${paths.join(', ')}`
+                : `unresolved cited path(s) without VERIFY:: ${paths.join(', ')}`,
+            context: { unresolved: paths },
+        };
+    },
+};
+/**
+ * Override-memory reappearance (decidable, caller `review`). A finding the
+ * operator dispositioned (rejected) must not reappear in a later review. The
+ * anchored-span key format lives in the store (mmnto-ai/totem#2105); this rule only
+ * asks the injected {@link OverrideSet} whether any reappears. Absent store ⇒
+ * abstain (the rule no-ops until #2105 wires a store).
+ */
+export const overrideReappearanceRule = {
+    name: 'override-reappearance',
+    tier: 'decidable',
+    appliesTo: (a) => resolveCaller(a) === 'review',
+    evaluate: (a, ctx) => {
+        if (ctx.overrideMemory === undefined) {
+            return { verdict: 'abstain', message: 'no override memory supplied (store lands in #2105)' };
+        }
+        const reappeared = ctx.overrideMemory.reappearsIn(a.output.content);
+        if (reappeared.length === 0) {
+            return { verdict: 'pass', message: 'no dispositioned overrides reappeared' };
+        }
+        return {
+            verdict: 'fail',
+            message: `dispositioned override(s) reappeared: ${reappeared.join(', ')}`,
+            context: { reappeared: [...reappeared] },
+        };
+    },
+};
+/**
+ * Provenance fail-safe-down sensor (SENSOR, all grounded runs; mmnto-ai/totem#2101
+ * F2 rider, enforcement test rides #2103). A grounding item whose `provenance`
+ * is not a canonical class is surfaced as NOT-upgraded (lowest trust). SENSOR
+ * tier: it is telemetry and can NEVER gate — an invented class must not confer,
+ * nor deny, trust by gating.
+ */
+export const provenanceSensorRule = {
+    name: 'provenance-fail-safe-down',
+    tier: 'sensor',
+    appliesTo: (a) => a.grounding.bundle !== undefined,
+    evaluate: (a) => {
+        const items = a.grounding.bundle?.items ?? [];
+        const unknown = [
+            ...new Set(items.map((i) => i.provenance).filter((p) => !CANONICAL_PROVENANCE.has(p))),
+        ];
+        if (unknown.length === 0) {
+            return { verdict: 'pass', message: 'all provenance classes canonical' };
+        }
+        return {
+            verdict: 'fail',
+            message: `non-canonical provenance treated as not-upgraded: ${unknown.join(', ')}`,
+            context: { unknown },
+        };
+    },
+};
+/** The default rule set, in execution order. */
+export const DEFAULT_RULES = [
+    structuredOutputRule,
+    citationResolvesRule,
+    specVerifyRule,
+    overrideReappearanceRule,
+    provenanceSensorRule,
+];
+//# sourceMappingURL=post-checks-rules.js.map

package/dist/artifacts/post-checks-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-checks-rules.js","sourceRoot":"","sources":["../../src/artifacts/post-checks-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,sFAAsF;AACtF,8EAA8E;AAC9E,mFAAmF;AACnF,0EAA0E;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAIL,aAAa,GACd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,eAAe,GAAG,iEAAiE,CAAC;AAC1F,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC,kBAAkB,CAAC,CAAC;AAE9E,wGAAwG;AACxG,SAAS,eAAe,CAAC,OAAe;IACtC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrC,2FAA2F;IAC7F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,GAAqB,EAAE,OAAe;IACzD,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,UAAkB,EAAE,SAAiB;IAC/D,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7E,4EAA4E;IAC5E,sEAAsE;IACtE,4EAA4E;IAC5E,0DAA0D;IAC1D,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACtC,gFAAgF;IAChF,gFAAgF;IAChF,kFAAkF;IAClF,6EAA6E;IAC7E,0CAA0C;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAClE,CAAC;AAUD;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,+EAA+E;QAC/E,gFAAgF;QAChF,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/D,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAa,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QACpD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,UAAkB,EAAE,IAAa,EAAE,OAAgB;IAC9E,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,UAAU;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,IAAI,IAAI,OAAO,GAAG,UAAU;YAAE,OAAO,KAAK,CAAC;IACzF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AACjC,CAAC;AAED,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkB;IACjD,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;IACrB,QAAQ,EAAE,CAAC,CAAC,EAAe,EAAE;QAC3B,IAAI,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YACtD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,mDAAmD,EAAE,CAAC;YACzF,oGAAoG;QACtG,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,OAAO,EAAE,MAAM;gBACf,OAAO,EAAE,qEAAqE;aAC/E,CAAC;QACJ,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkB;IACjD,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;IACrB,QAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAe,EAAE;QAChC,IAAI,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,iBAAiB,KAAK,IAAI,EAAE,CAAC;YAC5D,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;QACrF,CAAC;QACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC;QACnF,CAAC;QACD,MAAM,WAAW,GACf,aAAa,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS;YAC/D,CAAC,CAAC,8EAA8E;gBAC9E,yEAAyE;gBACzE,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9E,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,sBAAsB,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC;gBAC3C,SAAS;YACX,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,sBAAsB,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,sCAAsC,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,SAAS,CAAC,MAAM,oBAAoB,EAAE,CAAC;QACnF,CAAC;QACD,OAAO;YACL,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,6BAA6B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC3D,OAAO,EAAE,EAAE,QAAQ,EAAE;SACtB,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkB;IAC3C,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,MAAM;IAC7C,QAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAe,EAAE;QAChC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACjC,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC;QAC7E,CAAC;QACD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1D,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,SAAS,CAAC;QAClF,CAAC,CAAC,CAAC;QACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,SAAS,CAAC,MAAM,sBAAsB,EAAE,CAAC;QACrF,CAAC;QACD,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,KAAK,KAAK,CAAC;QAC5E,+EAA+E;QAC/E,+EAA+E;QAC/E,2DAA2D;QAC3D,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAC;QACjF,IAAI,aAAa,IAAI,eAAe,EAAE,CAAC;YACrC,OAAO;gBACL,OAAO,EAAE,MAAM;gBACf,OAAO,EAAE,GAAG,UAAU,CAAC,MAAM,yCAAyC;aACvE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAChD,OAAO;YACL,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,eAAe;gBACtB,CAAC,CAAC,sDAAsD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC1E,CAAC,CAAC,6CAA6C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACnE,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE;SAC/B,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAkB;IACrD,IAAI,EAAE,uBAAuB;IAC7B,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,QAAQ;IAC/C,QAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAe,EAAE;QAChC,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,oDAAoD,EAAE,CAAC;QAC/F,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC;QAC/E,CAAC;QACD,OAAO;YACL,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,yCAAyC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACzE,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE;SACzC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkB;IACjD,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS;IAClD,QAAQ,EAAE,CAAC,CAAC,EAAe,EAAE;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG;YACd,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACvF,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC;QAC1E,CAAC;QACD,OAAO;YACL,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,qDAAqD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAClF,OAAO,EAAE,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,aAAa,GAA6B;IACrD,oBAAoB;IACpB,oBAAoB;IACpB,cAAc;IACd,wBAAwB;IACxB,oBAAoB;CACrB,CAAC"}

package/dist/artifacts/post-checks-rules.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Post-check rule + helper tests (mmnto-ai/totem#2103, strategy#474 slice 4).
+ * Covers the agy edge-case matrix (containment/win32, citation extraction,
+ * line-range boundaries), the codex contract folds (3 OutputContract rules,
+ * spec VERIFY + verifyFallback), the OQ2 override boundary, and the F2
+ * provenance sensor end-to-end through the engine.
+ */
+export {};
+//# sourceMappingURL=post-checks-rules.test.d.ts.map

package/dist/artifacts/post-checks-rules.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-checks-rules.test.d.ts","sourceRoot":"","sources":["../../src/artifacts/post-checks-rules.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/artifacts/post-checks-rules.test.js

@@ -0,0 +1,258 @@
+/**
+ * Post-check rule + helper tests (mmnto-ai/totem#2103, strategy#474 slice 4).
+ * Covers the agy edge-case matrix (containment/win32, citation extraction,
+ * line-range boundaries), the codex contract folds (3 OutputContract rules,
+ * spec VERIFY + verifyFallback), the OQ2 override boundary, and the F2
+ * provenance sensor end-to-end through the engine.
+ */
+import { describe, expect, it } from 'vitest';
+import { evaluatePostChecks } from './post-checks.js';
+import { citationResolvesRule, DEFAULT_RULES, extractCitations, isContained, lineRefValid, overrideReappearanceRule, specVerifyRule, structuredOutputRule, } from './post-checks-rules.js';
+function artifact(o = {}) {
+    const { caller, taskProfile = 'Spec', content = '', codeBlind, outputContract, bundleItems } = o;
+    const a = {
+        backend: { taskProfile },
+        output: { content },
+        grounding: {},
+    };
+    if (caller !== undefined || codeBlind !== undefined || outputContract !== undefined) {
+        const admission = {};
+        if (caller !== undefined || codeBlind !== undefined) {
+            const runMetadata = {};
+            if (caller !== undefined)
+                runMetadata.caller = caller;
+            if (codeBlind !== undefined)
+                runMetadata.codeBlind = codeBlind;
+            admission.runMetadata = runMetadata;
+        }
+        if (outputContract !== undefined)
+            admission.outputContract = outputContract;
+        a.admission = admission;
+    }
+    if (bundleItems !== undefined) {
+        a.grounding.bundle = {
+            items: bundleItems.map((b) => ({
+                provenance: b.provenance ?? 'similarity-only',
+                filePath: b.filePath,
+            })),
+        };
+    }
+    return a;
+}
+/** A readFile stub: returns a 5-line file for any path whose normalized form ends with a known suffix. */
+function readStub(existing) {
+    const norm = (p) => p.replace(/\\/g, '/');
+    return (abs) => (existing.some((e) => norm(abs).endsWith(e)) ? 'a\nb\nc\nd\ne' : undefined);
+}
+const ctx = (existing = []) => ({
+    configRoot: '/repo',
+    readFile: readStub(existing),
+});
+describe('isContained — win32-safe containment', () => {
+    it('accepts a relative path nested in root', () => {
+        expect(isContained('/repo', 'src/x.ts')).toBe(true);
+    });
+    it('rejects parent-traversal escape', () => {
+        expect(isContained('/repo', '../../etc/passwd')).toBe(false);
+    });
+    it('rejects backslash-separator traversal on any platform', () => {
+        // POSIX treats `\` as a literal char; normalization must still catch this escape.
+        expect(isContained('/repo', 'src\\..\\..\\etc/passwd')).toBe(false);
+    });
+    it('does not false-reject a filename that merely starts with .. (segment check, not startsWith)', () => {
+        expect(isContained('/repo', '..foo.ts')).toBe(true);
+    });
+    it('rejects an absolute path', () => {
+        expect(isContained('/repo', '/etc/passwd')).toBe(false);
+    });
+    it('rejects a drive-letter path', () => {
+        expect(isContained('/repo', 'C:\\Windows\\System32')).toBe(false);
+    });
+});
+describe('extractCitations', () => {
+    it('parses path, path:line, and path:start-end', () => {
+        const cites = extractCitations('see `src/a.ts`, `src/b.ts:12`, and `src/c.ts:3-9`');
+        expect(cites).toEqual([
+            { raw: 'src/a.ts', filePath: 'src/a.ts' },
+            { raw: 'src/b.ts:12', filePath: 'src/b.ts', line: 12 },
+            { raw: 'src/c.ts:3-9', filePath: 'src/c.ts', line: 3, endLine: 9 },
+        ]);
+    });
+    it('strips fenced code blocks before extracting', () => {
+        const content = 'real `src/real.ts`\n```ts\nimport `src/fake.ts`\n```\n';
+        expect(extractCitations(content).map((c) => c.filePath)).toEqual(['src/real.ts']);
+    });
+    it('ignores backticked tokens with no separator or known extension', () => {
+        expect(extractCitations('run `main` then `pnpm test`')).toEqual([]);
+    });
+    it('ignores URL tokens even when they carry a separator and a known extension', () => {
+        expect(extractCitations('see `https://pkg.go.dev/path/filepath.ts`')).toEqual([]);
+    });
+    it('keeps a bare filename with a known extension', () => {
+        expect(extractCitations('the `tsconfig.json` file').map((c) => c.filePath)).toEqual([
+            'tsconfig.json',
+        ]);
+    });
+});
+describe('lineRefValid — boundary matrix', () => {
+    it('path-only (no line) always passes', () => expect(lineRefValid(5)).toBe(true));
+    it('line in range passes', () => expect(lineRefValid(5, 5)).toBe(true));
+    it('line 0 fails', () => expect(lineRefValid(5, 0)).toBe(false));
+    it('line beyond EOF fails', () => expect(lineRefValid(5, 6)).toBe(false));
+    it('valid range passes', () => expect(lineRefValid(5, 2, 4)).toBe(true));
+    it('inverted range fails', () => expect(lineRefValid(5, 4, 2)).toBe(false));
+    it('range past EOF fails', () => expect(lineRefValid(5, 2, 99)).toBe(false));
+});
+describe('structuredOutputRule', () => {
+    it('abstains when no schema is declared', async () => {
+        expect((await structuredOutputRule.evaluate(artifact({ content: 'prose' }), ctx())).verdict).toBe('abstain');
+    });
+    it('applies to all runs (abstains without a schema rather than being gated out)', () => {
+        expect(structuredOutputRule.appliesTo(artifact({ content: 'prose' }))).toBe(true);
+    });
+    it('fails when schema is declared but content is not JSON', async () => {
+        const a = artifact({ content: 'not json', outputContract: { schema: { type: 'object' } } });
+        expect((await structuredOutputRule.evaluate(a, ctx())).verdict).toBe('fail');
+    });
+    it('passes when schema is declared and content is JSON', async () => {
+        const a = artifact({ content: '{"ok":true}', outputContract: { schema: { type: 'object' } } });
+        expect((await structuredOutputRule.evaluate(a, ctx())).verdict).toBe('pass');
+    });
+});
+describe('citationResolvesRule', () => {
+    it('abstains when citations are not required by the contract', async () => {
+        const a = artifact({ content: 'see `src/a.ts`' });
+        expect((await citationResolvesRule.evaluate(a, ctx(['src/a.ts']))).verdict).toBe('abstain');
+    });
+    it('passes when every citation resolves and lines are in range', async () => {
+        const a = artifact({
+            content: 'see `src/a.ts:2` and `src/b.ts`',
+            outputContract: { citationsRequired: true },
+        });
+        expect((await citationResolvesRule.evaluate(a, ctx(['src/a.ts', 'src/b.ts']))).verdict).toBe('pass');
+    });
+    it('fails on a missing file', async () => {
+        const a = artifact({
+            content: 'see `src/gone.ts`',
+            outputContract: { citationsRequired: true },
+        });
+        expect((await citationResolvesRule.evaluate(a, ctx([]))).verdict).toBe('fail');
+    });
+    it('fails on an out-of-range line', async () => {
+        const a = artifact({
+            content: 'see `src/a.ts:99`',
+            outputContract: { citationsRequired: true },
+        });
+        expect((await citationResolvesRule.evaluate(a, ctx(['src/a.ts']))).verdict).toBe('fail');
+    });
+    it('fails a review citation outside the delivered bundle', async () => {
+        const a = artifact({
+            caller: 'review',
+            content: 'see `src/a.ts`',
+            outputContract: { citationsRequired: true },
+            bundleItems: [{ filePath: 'src/other.ts' }],
+        });
+        expect((await citationResolvesRule.evaluate(a, ctx(['src/a.ts']))).verdict).toBe('fail');
+    });
+    it('abstains when there are no citations to resolve', async () => {
+        const a = artifact({
+            content: 'no citations here',
+            outputContract: { citationsRequired: true },
+        });
+        expect((await citationResolvesRule.evaluate(a, ctx())).verdict).toBe('abstain');
+    });
+});
+describe('specVerifyRule — the #2090/#2091 fabrication class', () => {
+    const invented = 'The fix lives in `packages/cli/src/utils/diff-selector.ts`.';
+    it('fails a spec citing a nonexistent path without VERIFY:', async () => {
+        const a = artifact({ caller: 'spec', content: invented });
+        expect((await specVerifyRule.evaluate(a, ctx([]))).verdict).toBe('fail');
+    });
+    it('passes when VERIFY: marks the unresolved path', async () => {
+        const a = artifact({
+            caller: 'spec',
+            content: `${invented}\nVERIFY: this path may not exist yet.`,
+        });
+        expect((await specVerifyRule.evaluate(a, ctx([]))).verdict).toBe('pass');
+    });
+    it('still fails with VERIFY: when verifyFallback is disabled', async () => {
+        const a = artifact({
+            caller: 'spec',
+            content: `${invented}\nVERIFY: x`,
+            outputContract: { verifyFallback: false },
+        });
+        expect((await specVerifyRule.evaluate(a, ctx([]))).verdict).toBe('fail');
+    });
+    it('passes when all cited paths resolve', async () => {
+        const a = artifact({
+            caller: 'spec',
+            content: 'see `packages/cli/src/utils/diff-selector.ts`',
+        });
+        expect((await specVerifyRule.evaluate(a, ctx(['packages/cli/src/utils/diff-selector.ts']))).verdict).toBe('pass');
+    });
+    it('does not apply to review runs', () => {
+        expect(specVerifyRule.appliesTo(artifact({ caller: 'review' }))).toBe(false);
+    });
+});
+describe('overrideReappearanceRule — OQ2 boundary', () => {
+    it('abstains when no override memory is supplied', async () => {
+        const a = artifact({ caller: 'review', content: 'anything' });
+        expect((await overrideReappearanceRule.evaluate(a, ctx())).verdict).toBe('abstain');
+    });
+    it('passes when no override reappears', async () => {
+        const a = artifact({ caller: 'review', content: 'clean output' });
+        const c = { ...ctx(), overrideMemory: { reappearsIn: () => [] } };
+        expect((await overrideReappearanceRule.evaluate(a, c)).verdict).toBe('pass');
+    });
+    it('fails when the store reports a reappearance', async () => {
+        const a = artifact({ caller: 'review', content: 'the rejected claim is back' });
+        const c = { ...ctx(), overrideMemory: { reappearsIn: () => ['override-7'] } };
+        expect((await overrideReappearanceRule.evaluate(a, c)).verdict).toBe('fail');
+    });
+});
+describe('engine + DEFAULT_RULES integration', () => {
+    it('rejects the #2090 fabrication end-to-end', async () => {
+        const a = artifact({
+            caller: 'spec',
+            content: 'see `packages/cli/src/utils/diff-selector.ts`',
+        });
+        const r = await evaluatePostChecks(a, DEFAULT_RULES, ctx([]));
+        expect(r.isRejected).toBe(true);
+        expect(r.findings.find((f) => f.ruleName === 'spec-verify')?.verdict).toBe('fail');
+    });
+    it('F2: a non-canonical provenance class is a SENSOR signal and never rejects', async () => {
+        const a = artifact({
+            caller: 'spec',
+            content: 'no citations',
+            bundleItems: [{ filePath: 'src/a.ts', provenance: 'execution-verified' }],
+        });
+        const r = await evaluatePostChecks(a, DEFAULT_RULES, ctx());
+        const prov = r.findings.find((f) => f.ruleName === 'provenance-fail-safe-down');
+        expect(prov).toMatchObject({ tier: 'sensor', verdict: 'fail' });
+        expect(r.isRejected).toBe(false);
+    });
+    it('slice-1 historic artifact (unknown profile, no contract, no bundle) is all-abstain and does not reject', async () => {
+        // Unknown taskProfile + no caller → resolveCaller undefined → caller-scoped rules
+        // don't apply; the contract/bundle rules abstain. Protects retrofitted history.
+        const historic = artifact({
+            taskProfile: 'LegacyUnknown',
+            content: 'plain text, no citations',
+        });
+        const r = await evaluatePostChecks(historic, DEFAULT_RULES, ctx());
+        expect(r.isRejected).toBe(false);
+        expect(r.findings.every((f) => f.verdict === 'abstain')).toBe(true);
+    });
+    it('code-blind profile: spec checks still run and a resolvable citation does not false-fail', async () => {
+        // agy must-cover profile (b): a code-blind spec run (zero code retrieved) still runs
+        // spec-verify; the codeBlind flag is inert to the gates and must not cause a fail.
+        const a = artifact({
+            caller: 'spec',
+            codeBlind: true,
+            content: 'see `packages/cli/src/utils/diff-selector.ts`',
+        });
+        const r = await evaluatePostChecks(a, DEFAULT_RULES, ctx(['packages/cli/src/utils/diff-selector.ts']));
+        expect(r.isRejected).toBe(false);
+        expect(r.findings.find((f) => f.ruleName === 'spec-verify')?.verdict).toBe('pass');
+    });
+});
+//# sourceMappingURL=post-checks-rules.test.js.map

package/dist/artifacts/post-checks-rules.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-checks-rules.test.js","sourceRoot":"","sources":["../../src/artifacts/post-checks-rules.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAyB,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,wBAAwB,EACxB,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAgBhC,SAAS,QAAQ,CAAC,IAAkB,EAAE;IACpC,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,EAAE,OAAO,GAAG,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IACjG,MAAM,CAAC,GAA4B;QACjC,OAAO,EAAE,EAAE,WAAW,EAAE;QACxB,MAAM,EAAE,EAAE,OAAO,EAAE;QACnB,SAAS,EAAE,EAAE;KACd,CAAC;IACF,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACpF,MAAM,SAAS,GAA4B,EAAE,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,WAAW,GAA4B,EAAE,CAAC;YAChD,IAAI,MAAM,KAAK,SAAS;gBAAE,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC;YACtD,IAAI,SAAS,KAAK,SAAS;gBAAE,WAAW,CAAC,SAAS,GAAG,SAAS,CAAC;YAC/D,SAAS,CAAC,WAAW,GAAG,WAAW,CAAC;QACtC,CAAC;QACD,IAAI,cAAc,KAAK,SAAS;YAAE,SAAS,CAAC,cAAc,GAAG,cAAc,CAAC;QAC5E,CAAC,CAAC,SAAS,GAAG,SAAS,CAAC;IAC1B,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC7B,CAAC,CAAC,SAAqC,CAAC,MAAM,GAAG;YAChD,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,iBAAiB;gBAC7C,QAAQ,EAAE,CAAC,CAAC,QAAQ;aACrB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAA2B,CAAC;AACrC,CAAC;AAED,0GAA0G;AAC1G,SAAS,QAAQ,CAAC,QAAkB;IAClC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,WAAqB,EAAE,EAAoB,EAAE,CAAC,CAAC;IAC1D,UAAU,EAAE,OAAO;IACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC7B,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,kFAAkF;QAClF,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,gBAAgB,CAAC,mDAAmD,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE;YACzC,EAAE,GAAG,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;YACtD,EAAE,GAAG,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;SACnE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,wDAAwD,CAAC;QACzE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,gBAAgB,CAAC,6BAA6B,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,gBAAgB,CAAC,2CAA2C,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,gBAAgB,CAAC,0BAA0B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YAClF,eAAe;SAChB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,CACJ,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CACrF,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5F,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,OAAO,EAAE,iCAAiC;YAC1C,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAC1F,MAAM,CACP,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,OAAO,EAAE,mBAAmB;YAC5B,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,OAAO,EAAE,mBAAmB;YAC5B,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,gBAAgB;YACzB,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YAC3C,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,OAAO,EAAE,mBAAmB;YAC5B,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,MAAM,QAAQ,GAAG,6DAA6D,CAAC;IAE/E,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,GAAG,QAAQ,wCAAwC;SAC7D,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,GAAG,QAAQ,aAAa;YACjC,cAAc,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE;SAC1C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;QACH,MAAM,CACJ,CAAC,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAC7F,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,MAAM,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,GAAqB,EAAE,GAAG,GAAG,EAAE,EAAE,cAAc,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACpF,MAAM,CAAC,CAAC,MAAM,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,GAAqB,EAAE,GAAG,GAAG,EAAE,EAAE,cAAc,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;QAChG,MAAM,CAAC,CAAC,MAAM,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,cAAc;YACvB,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,2BAA2B,CAAC,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wGAAwG,EAAE,KAAK,IAAI,EAAE;QACtH,kFAAkF;QAClF,gFAAgF;QAChF,MAAM,QAAQ,GAAG,QAAQ,CAAC;YACxB,WAAW,EAAE,eAAe;YAC5B,OAAO,EAAE,0BAA0B;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,KAAK,IAAI,EAAE;QACvG,qFAAqF;QACrF,mFAAmF;QACnF,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAChC,CAAC,EACD,aAAa,EACb,GAAG,CAAC,CAAC,yCAAyC,CAAC,CAAC,CACjD,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}