@mirnoorata/codexa 0.5.0 → 0.6.0

package/dist/query/verification-display.js

@@ -0,0 +1,150 @@
+import path from "node:path";
+export function sanitizeCommandReportForDisplay(report, repoRoot) {
+    return {
+        ...report,
+        command: sanitizeCommandText(report.command, repoRoot),
+        cwd: sanitizePathField(report.cwd, repoRoot),
+        packageManager: sanitizeSummary(report.packageManager, repoRoot),
+        workspace: sanitizeSummary(report.workspace, repoRoot),
+        packageRoot: sanitizePathField(report.packageRoot, repoRoot),
+        packageName: sanitizeSummary(report.packageName, repoRoot),
+        scriptName: sanitizeSummary(report.scriptName, repoRoot),
+        stdoutSummary: sanitizeSummary(report.stdoutSummary, repoRoot),
+        stderrSummary: sanitizeSummary(report.stderrSummary, repoRoot),
+        outputSummary: sanitizeSummary(report.outputSummary, repoRoot),
+        args: sanitizeCommandArgs(report.args, repoRoot),
+        runner: sanitizeRunnerForDisplay(report.runner, repoRoot)
+    };
+}
+export function sanitizeCommandEnvelopeForDisplay(envelope, repoRoot) {
+    return {
+        ...envelope,
+        command: sanitizeCommandText(envelope.command, repoRoot),
+        cwd: sanitizePathField(envelope.cwd, repoRoot),
+        packageManager: sanitizeSummary(envelope.packageManager, repoRoot),
+        workspace: sanitizeSummary(envelope.workspace, repoRoot),
+        packageRoot: sanitizePathField(envelope.packageRoot, repoRoot),
+        packageName: sanitizeSummary(envelope.packageName, repoRoot),
+        scriptName: sanitizeSummary(envelope.scriptName, repoRoot),
+        stdoutSummary: sanitizeSummary(envelope.stdoutSummary, repoRoot),
+        stderrSummary: sanitizeSummary(envelope.stderrSummary, repoRoot),
+        outputSummary: sanitizeSummary(envelope.outputSummary, repoRoot),
+        args: sanitizeCommandArgs(envelope.args, repoRoot) ?? []
+    };
+}
+export function sanitizeCoverageForDisplay(entry, repoRoot) {
+    return {
+        ...entry,
+        command: sanitizeCommandText(entry.command, repoRoot),
+        source: sanitizeSummary(entry.source, repoRoot) ?? entry.source,
+        scope: sanitizePathField(entry.scope, repoRoot),
+        targetPath: sanitizePathField(entry.targetPath, repoRoot),
+        details: entry.details.map((detail) => sanitizeSummary(detail, repoRoot) ?? "").filter(Boolean),
+        outputSummary: sanitizeSummary(entry.outputSummary, repoRoot),
+        commandEnvelope: entry.commandEnvelope ? sanitizeCommandEnvelopeForDisplay(entry.commandEnvelope, repoRoot) : undefined
+    };
+}
+export function sanitizeLedgerForDisplay(entry, repoRoot) {
+    return {
+        ...entry,
+        command: entry.command ? sanitizeCommandText(entry.command, repoRoot) : undefined,
+        evidence: entry.evidence.map((item) => sanitizeSummary(item, repoRoot) ?? "").filter(Boolean)
+    };
+}
+export function sanitizeCommandText(value, repoRoot) {
+    return sanitizeSummary(value, repoRoot) ?? "";
+}
+export function sanitizeSummary(value, repoRoot) {
+    const clean = redactSecretText(value)
+        ?.replaceAll(repoRoot, "<repo>")
+        .replace(/__outside_repo__:[^\s;|)]+/gu, "__outside_repo__:<outside-repo>")
+        .replace(/(^|[\s([,{])\/[^\s;|)\]'",]+/gu, "$1<abs-path>")
+        .replace(/(^|[\s([,{])(?:\.\.?\/)[^\s;|)\]'",]+/gu, "$1<rel-path>")
+        .replace(/\s+/gu, " ")
+        .trim();
+    if (!clean) {
+        return undefined;
+    }
+    return clean.length > 500 ? `${clean.slice(0, 497)}...` : clean;
+}
+export function sanitizePathField(value, repoRoot) {
+    if (!value) {
+        return undefined;
+    }
+    if (value.startsWith("__outside_repo__:")) {
+        return "__outside_repo__:<outside-repo>";
+    }
+    if (value === "." || value === "./") {
+        return ".";
+    }
+    if (value === ".." || value.startsWith("../")) {
+        return "<outside-repo>";
+    }
+    if (value.startsWith("./")) {
+        const relative = normalizePathLike(value);
+        return relative === "." ? "." : `<repo>/${relative}`;
+    }
+    if (path.isAbsolute(value)) {
+        const relative = path.relative(repoRoot, value);
+        if (relative === "") {
+            return "<repo>";
+        }
+        return !relative.startsWith("..") && !path.isAbsolute(relative) ? `<repo>/${relative.split(path.sep).join("/")}` : "<outside-repo>";
+    }
+    return sanitizeSummary(value, repoRoot);
+}
+function sanitizeRunnerForDisplay(runner, repoRoot) {
+    if (!runner) {
+        return undefined;
+    }
+    return {
+        ...runner,
+        cwdRealpath: sanitizePathField(runner.cwdRealpath, repoRoot) ?? runner.cwdRealpath,
+        targetRealpaths: runner.targetRealpaths.map((target) => sanitizePathField(target, repoRoot) ?? target),
+        allowedBy: runner.allowedBy.map((reason) => sanitizeSummary(reason, repoRoot) ?? reason),
+        skippedReason: sanitizeSummary(runner.skippedReason, repoRoot)
+    };
+}
+function sanitizeCommandArgs(args, repoRoot) {
+    if (!args) {
+        return undefined;
+    }
+    let redactNext = false;
+    return args.map((arg) => {
+        if (redactNext) {
+            redactNext = false;
+            return "<redacted>";
+        }
+        if (isSecretFlag(arg) && !arg.includes("=")) {
+            redactNext = true;
+            return sanitizeSummary(arg, repoRoot) ?? "";
+        }
+        return sanitizeSummary(redactSecretArg(arg), repoRoot) ?? "";
+    });
+}
+function redactSecretText(value) {
+    return value
+        ?.replace(/(^|[\s([,{])((?:--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api[-_]?key|access[-_]?key|auth|credential|cookie)[a-z0-9-]*)(?:=|\s+))([^\s;|)\]'",]+)/giu, "$1$2<redacted>")
+        .replace(/(\b[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*=)([^\s;|)\]'",]+)/gu, "$1<redacted>")
+        .replace(/\b(Bearer)\s+[A-Za-z0-9._~+/-]+=*/giu, "$1 <redacted>");
+}
+function redactSecretArg(value) {
+    if (/^Bearer\s+/iu.test(value)) {
+        return "Bearer <redacted>";
+    }
+    if (isSecretFlag(value) && value.includes("=")) {
+        return value.replace(/=.*/u, "=<redacted>");
+    }
+    if (/^(?:[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*)=/iu.test(value)) {
+        return value.replace(/=.*/u, "=<redacted>");
+    }
+    return value;
+}
+function isSecretFlag(value) {
+    return /^--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api-?key|access-?key|auth|credential|cookie)[a-z0-9-]*(?:=.*)?$/iu.test(value);
+}
+function normalizePathLike(value) {
+    const normalized = value.replace(/\\/gu, "/");
+    return normalized.startsWith("./") ? normalized.slice(2) || "." : normalized;
+}
+//# sourceMappingURL=verification-display.js.map

package/dist/query/verification-display.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-display.js","sourceRoot":"","sources":["../../src/query/verification-display.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAM7B,MAAM,UAAU,+BAA+B,CAAiC,MAAS,EAAE,QAAgB;IACzG,OAAO;QACL,GAAG,MAAM;QACT,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QACtD,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC5C,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC;QAChE,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC;QACtD,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC5D,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC1D,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;QACxD,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,IAAI,EAAE,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;QAChD,MAAM,EAAE,wBAAwB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,QAAqC,EAAE,QAAgB;IACvG,OAAO;QACL,GAAG,QAAQ;QACX,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;QACxD,GAAG,EAAE,iBAAiB,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC9C,cAAc,EAAE,eAAe,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;QAClE,SAAS,EAAE,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;QACxD,WAAW,EAAE,iBAAiB,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC9D,WAAW,EAAE,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC5D,UAAU,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;QAC1D,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA2B,EAAE,QAAgB;IACtF,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC;QACrD,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM;QAC/D,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC/C,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/F,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC7D,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,iCAAiC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;KACxH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA8B,EAAE,QAAgB;IACvF,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACjF,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB;IACjE,OAAO,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAyB,EAAE,QAAgB;IACzE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC;QACnC,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC;SAC/B,OAAO,CAAC,8BAA8B,EAAE,iCAAiC,CAAC;SAC1E,OAAO,CAAC,gCAAgC,EAAE,cAAc,CAAC;SACzD,OAAO,CAAC,yCAAyC,EAAE,cAAc,CAAC;SAClE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAyB,EAAE,QAAgB;IAC3E,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC1C,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IACD,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACpB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACtI,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA0C,EAAE,QAAgB;IAC5F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,WAAW;QAClF,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;QACtG,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;QACxF,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAA0B,EAAE,QAAgB;IACvE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACtB,IAAI,UAAU,EAAE,CAAC;YACf,UAAU,GAAG,KAAK,CAAC;YACnB,OAAO,YAAY,CAAC;QACtB,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO,eAAe,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,OAAO,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAyB;IACjD,OAAO,KAAK;QACV,EAAE,OAAO,CAAC,6JAA6J,EAAE,gBAAgB,CAAC;SACzL,OAAO,CAAC,0HAA0H,EAAE,cAAc,CAAC;SACnJ,OAAO,CAAC,sCAAsC,EAAE,eAAe,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,2GAA2G,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5H,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,qHAAqH,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3I,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;AAC/E,CAAC"}

package/dist/query-data.js

@@ -1,4 +1,4 @@
-const typedCompactionModes = new Set(["context_pack", "task_brief", "focus_brief", "session_context", "change_plan", "post_edit_review", "test_plan"]);
+const typedCompactionModes = new Set(["context_pack", "task_brief", "focus_brief", "session_context", "change_plan", "post_edit_review", "test_plan", "proof_card"]);
 export function asCodexaQueryData(value, inferredMode) {
     const record = queryRecord(value);
     if (!record) {
@@ -22,6 +22,8 @@ export function asCodexaQueryData(value, inferredMode) {
             return isPostEditReviewData(data) ? data : undefined;
         case "test_plan":
             return isTestPlanData(data) ? data : undefined;
+        case "proof_card":
+            return isProofCardData(data) ? data : undefined;
         default:
             return undefined;
     }
@@ -103,6 +105,9 @@ function isTestPlanData(value) {
         "testsNotRun"
     ]);
 }
+function isProofCardData(value) {
+    return arraysOrUndefined(value, ["readFirst", "trustPosture", "nextCommands", "gaps"]);
+}
 function arraysOrUndefined(value, keys) {
     return keys.every((key) => value[key] === undefined || Array.isArray(value[key]));
 }

package/dist/query-data.js.map

@@ -1 +1 @@
-{"version":3,"file":"query-data.js","sourceRoot":"","sources":["../src/query-data.ts"],"names":[],"mappings":"AAEA,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAkB,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;AAExK,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,YAAqB;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,YAAY,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA2B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,KAAK,WAAW;YACd,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1D,OAAO,IAAI,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAwB,CAAC,CAAC,CAAC,CAAE,KAAyB,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;AACxL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,wBAAwB,EAAE,0BAA0B,CAAC,CAAC,CAAC;AAC1K,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,OAAO;QACP,sBAAsB;QACtB,eAAe;QACf,uBAAuB;QACvB,sBAAsB;QACtB,gBAAgB;QAChB,yBAAyB;QACzB,0BAA0B;QAC1B,cAAc;QACd,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;QACZ,eAAe;QACf,eAAe;QACf,OAAO;QACP,uBAAuB;QACvB,iCAAiC;QACjC,aAAa;QACb,mBAAmB;QACnB,UAAU;QACV,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,cAAc;QACd,SAAS;QACT,sBAAsB;QACtB,oBAAoB;QACpB,oBAAoB;QACpB,sBAAsB;QACtB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,kBAAkB;QAClB,cAAc;QACd,aAAa;QACb,sBAAsB;QACtB,0BAA0B;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,cAAc;QACd,gBAAgB;QAChB,gBAAgB;QAChB,kBAAkB;QAClB,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,sBAAsB;QACtB,yBAAyB;QACzB,kBAAkB;QAClB,2BAA2B;QAC3B,oBAAoB;QACpB,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B,EAAE,IAAc;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC"}
+{"version":3,"file":"query-data.js","sourceRoot":"","sources":["../src/query-data.ts"],"names":[],"mappings":"AAEA,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAkB,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;AAEtL,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,YAAqB;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,YAAY,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA2B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,KAAK,WAAW;YACd,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,KAAK,YAAY;YACf,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1D,OAAO,IAAI,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAwB,CAAC,CAAC,CAAC,CAAE,KAAyB,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;AACxL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,wBAAwB,EAAE,0BAA0B,CAAC,CAAC,CAAC;AAC1K,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,OAAO;QACP,sBAAsB;QACtB,eAAe;QACf,uBAAuB;QACvB,sBAAsB;QACtB,gBAAgB;QAChB,yBAAyB;QACzB,0BAA0B;QAC1B,cAAc;QACd,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;QACZ,eAAe;QACf,eAAe;QACf,OAAO;QACP,uBAAuB;QACvB,iCAAiC;QACjC,aAAa;QACb,mBAAmB;QACnB,UAAU;QACV,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,cAAc;QACd,SAAS;QACT,sBAAsB;QACtB,oBAAoB;QACpB,oBAAoB;QACpB,sBAAsB;QACtB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,kBAAkB;QAClB,cAAc;QACd,aAAa;QACb,sBAAsB;QACtB,0BAA0B;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,cAAc;QACd,gBAAgB;QAChB,gBAAgB;QAChB,kBAAkB;QAClB,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,sBAAsB;QACtB,yBAAyB;QACzB,kBAAkB;QAClB,2BAA2B;QAC3B,oBAAoB;QACpB,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAA8B;IACrD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B,EAAE,IAAc;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC"}

package/dist/session-memory/derivation.js

@@ -139,6 +139,9 @@ export function derivedEntriesForTool(toolName, data, scope) {
         const commandCount = arrayLength(record.verificationCommands);
         const testsNotRun = arrayLength(record.testsNotRun);
         const provenanceVersion = verificationProvenanceVersion(record.verificationProvenance);
+        if (record.actionability === "needs_target" || (testCount === 0 && commandCount === 0 && ledgerCounts.total === 0)) {
+            return [];
+        }
         return [
             {
                 kind: "verification",

package/dist/session-memory/derivation.js.map

@@ -1 +1 @@
-{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/session-memory/derivation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,IAAa;IACzE,IAAI,QAAQ,KAAK,aAAa,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,OAAO,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,IAAa,EACb,KAAuE;IAEvE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,IAA+B,CAAC;IAC/C,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,eAAe,GAAG,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;QAC1G,MAAM,MAAM,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,wBAAwB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;oBAClI,OAAO,EAAE,8GAA8G;oBACvH,UAAU,EAAE,gBAAgB;oBAC5B,UAAU,EAAE,SAAS;oBACrB,YAAY,EAAE,SAAS;oBACvB,KAAK;iBACN;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,wBAAwB,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBAChI,OAAO,EAAE,wBAAwB,WAAW,0BAA0B,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;gBACvG,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;YACD,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,WAAoB;wBAC1B,GAAG,EAAE,yBAAyB,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC9G,OAAO,EAAE,gCAAgC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG;wBAC3J,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE;4BACL,GAAG,KAAK;4BACR,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;yBACtF;qBACF;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,oBAAoB,GAAG,CAAC;gBACrE,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,cAAuB;wBAC7B,GAAG,EAAE,4BAA4B,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC7L,OAAO,EAAE,sBAAsB,SAAS,oBAAoB,kBAAkB,2BAA2B,oBAAoB,uBAAuB;wBACpJ,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK;qBACN;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,kBAAkB,GAAG,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,iBAAiB,IAAI,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC/F,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC1H,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACrJ,OAAO,EAAE,4BAA4B,OAAO,KAAK,UAAU,qBAAqB,gBAAgB,0CAA0C,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,KAAK,WAAW;gBAC/L,OAAO,EAAE,SAAS,CAChB;oBACE,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,YAAY,YAAY,oBAAoB,kBAAkB,EAAE;oBAChE,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,6BAA6B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnJ,OAAO,EAAE,gCAAgC,OAAO,GAAG;gBACnD,OAAO,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;gBACxF,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC;gBACxC,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,MAAe;wBACrB,GAAG,EAAE,yBAAyB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBACzL,OAAO,EAAE,0BAA0B,UAAU,wBAAwB,gBAAgB,8BAA8B;wBACnH,OAAO,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;wBAC3F,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE,aAAa;qBACrB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACC,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACzF,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,0BAA0B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnH,OAAO,EAAE,yBAAyB,SAAS,oBAAoB,YAAY,iDAAiD,YAAY,CAAC,UAAU,IAAI,YAAY,CAAC,KAAK,yBAAyB;gBAClM,OAAO,EAAE,SAAS,CAChB;oBACE,eAAe,WAAW,EAAE;oBAC5B,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAC7C,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAC1C,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,GAAG,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACjI,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuE,EACvE,MAA+B;IAE/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,MAAM,SAAS,GAAG,OAAO,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,WAAW,GAAG,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,YAAY,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,MAAM,YAAY,GAAG,OAAO,YAAY,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,IAAI,GAAuB;QAC/B,GAAG,KAAK,CAAC,IAAI;QACb,GAAG,CAAC,SAAS;YACX,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,SAAkB;oBACxB,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC1D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU;YACZ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC5D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,KAAK,CAAC,yBAAyB,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1H,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7K,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,KAAkB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,OAAwB,MAAM,EAAE,EAAE;QACnE,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACpD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,SAAkB,EAAE,aAAsB,EAAE,EAAE;QAC/D,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,EAAE;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,kBAAkB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACxB,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjH,MAAM,GAAG,GAAqB;gBAC5B,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxF,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,SAAS;aACtB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAwB,EAAE,KAAe,EAAE,OAAiB,EAAE,KAAe;IAC3H,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,aAAa,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAqB;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG;YACjB,GAAG,GAAG;YACN,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC"}
+{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/session-memory/derivation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,IAAa;IACzE,IAAI,QAAQ,KAAK,aAAa,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,OAAO,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,IAAa,EACb,KAAuE;IAEvE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,IAA+B,CAAC;IAC/C,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,eAAe,GAAG,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;QAC1G,MAAM,MAAM,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,wBAAwB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;oBAClI,OAAO,EAAE,8GAA8G;oBACvH,UAAU,EAAE,gBAAgB;oBAC5B,UAAU,EAAE,SAAS;oBACrB,YAAY,EAAE,SAAS;oBACvB,KAAK;iBACN;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,wBAAwB,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBAChI,OAAO,EAAE,wBAAwB,WAAW,0BAA0B,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;gBACvG,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;YACD,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,WAAoB;wBAC1B,GAAG,EAAE,yBAAyB,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC9G,OAAO,EAAE,gCAAgC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG;wBAC3J,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE;4BACL,GAAG,KAAK;4BACR,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;yBACtF;qBACF;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,oBAAoB,GAAG,CAAC;gBACrE,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,cAAuB;wBAC7B,GAAG,EAAE,4BAA4B,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC7L,OAAO,EAAE,sBAAsB,SAAS,oBAAoB,kBAAkB,2BAA2B,oBAAoB,uBAAuB;wBACpJ,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK;qBACN;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,kBAAkB,GAAG,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,iBAAiB,IAAI,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC/F,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC1H,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACrJ,OAAO,EAAE,4BAA4B,OAAO,KAAK,UAAU,qBAAqB,gBAAgB,0CAA0C,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,KAAK,WAAW;gBAC/L,OAAO,EAAE,SAAS,CAChB;oBACE,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,YAAY,YAAY,oBAAoB,kBAAkB,EAAE;oBAChE,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,6BAA6B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnJ,OAAO,EAAE,gCAAgC,OAAO,GAAG;gBACnD,OAAO,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;gBACxF,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC;gBACxC,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,MAAe;wBACrB,GAAG,EAAE,yBAAyB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBACzL,OAAO,EAAE,0BAA0B,UAAU,wBAAwB,gBAAgB,8BAA8B;wBACnH,OAAO,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;wBAC3F,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE,aAAa;qBACrB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACE,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxF,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACnH,OAAO,EAAE,CAAC;QACZ,CAAC;QACF,OAAO;YACN;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,0BAA0B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnH,OAAO,EAAE,yBAAyB,SAAS,oBAAoB,YAAY,iDAAiD,YAAY,CAAC,UAAU,IAAI,YAAY,CAAC,KAAK,yBAAyB;gBAClM,OAAO,EAAE,SAAS,CAChB;oBACE,eAAe,WAAW,EAAE;oBAC5B,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAC7C,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAC1C,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,GAAG,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACjI,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuE,EACvE,MAA+B;IAE/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,MAAM,SAAS,GAAG,OAAO,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,WAAW,GAAG,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,YAAY,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,MAAM,YAAY,GAAG,OAAO,YAAY,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,IAAI,GAAuB;QAC/B,GAAG,KAAK,CAAC,IAAI;QACb,GAAG,CAAC,SAAS;YACX,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,SAAkB;oBACxB,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC1D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU;YACZ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC5D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,KAAK,CAAC,yBAAyB,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1H,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7K,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,KAAkB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,OAAwB,MAAM,EAAE,EAAE;QACnE,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACpD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,SAAkB,EAAE,aAAsB,EAAE,EAAE;QAC/D,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,EAAE;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,kBAAkB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACxB,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjH,MAAM,GAAG,GAAqB;gBAC5B,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxF,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,SAAS;aACtB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAwB,EAAE,KAAe,EAAE,OAAiB,EAAE,KAAe;IAC3H,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,aAAa,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAqB;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG;YACjB,GAAG,GAAG;YACN,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/types.d.ts

@@ -453,7 +453,7 @@ export interface ComplexityReviewData extends QueryObject {
     items: ComplexityReviewItem[];
     invariants: string[];
 }
-export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness";
+export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness" | "proof_card";
 export interface BaseQueryData {
     mode: QueryResultMode;
     task?: string;
@@ -585,6 +585,10 @@ export interface PostEditReviewData extends BaseQueryData {
 }
 export interface TestPlanData extends BaseQueryData {
     mode: "test_plan";
+    actionability?: string;
+    targetFiles?: string[];
+    unindexedTargetFiles?: string[];
+    rejectedTargetFiles?: string[];
     changedFiles?: string[];
     changedEntries?: ChangedFileEntry[];
     changedSymbols?: CompactChangedSymbol[];
@@ -600,7 +604,20 @@ export interface TestPlanData extends BaseQueryData {
     verificationLedger?: VerificationLedgerEntry[];
     testsNotRun?: TestRecommendation[];
 }
-export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData;
+export interface ProofCardData extends BaseQueryData {
+    mode: "proof_card";
+    actionability?: string;
+    repoRoot?: string;
+    freshness?: QueryObject;
+    readFirst?: QueryObject[];
+    snapshot?: QueryObject;
+    verification?: QueryObject;
+    policies?: QueryObject;
+    trustPosture?: string[];
+    nextCommands?: string[];
+    gaps?: string[];
+}
+export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData | ProofCardData;
 export type ChangeType = "style" | "api" | "behavior" | "rename" | "delete" | "unknown";
 export interface ContextPackInput {
     task?: string;

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AA63BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAg5BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}

package/integrations/.claude-plugin/marketplace.json

@@ -8,7 +8,7 @@
       "name": "codexa",
       "source": "./claude-code",
       "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
-      "version": "0.5.0",
+      "version": "0.6.0",
       "category": "development",
       "tags": [
         "codexa",

package/integrations/claude-code/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "codexa",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
   "author": {
     "name": "Codexa"

package/integrations/claude-code/README.md

@@ -42,6 +42,7 @@ Slash commands available to Claude:
 | ------------------ | ------------------------------------ |
 | `/codexa-status`   | `codexa status <repo>`               |
 | `/codexa-brief`    | `codexa brief <repo> --diff`         |
+| `/codexa-prove`    | `codexa prove <repo> --diff`         |
 | `/codexa-plan`     | `codexa change-plan --save-snapshot` |
 | `/codexa-review`   | `codexa post-edit-review`            |
 | `/codexa-impact`   | `codexa impact` / `diff-impact`      |
@@ -60,7 +61,7 @@ They do not maintain a separate index, ranking layer, planner, or source-editing
 path. The primary Codexa path stays:
 
 ```text
-session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan
+session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card
 ```
 
 Use `symbol_context`, `impact`, `callers`, and `callees` when Claude needs to
@@ -80,6 +81,12 @@ Treat `codexa/integrations/` as a local Claude Code plugin marketplace. It
 ships inside the npm package, so both a git checkout and an npm install work
 as the marketplace source.
 
+For a repo that should be ready for both proof cards and Claude hook guidance:
+
+```bash
+codexa init <repo> --claude-md --policy-pack
+```
+
 ### Quick, supported path (persistent)
 
 From a Claude Code session:

package/integrations/claude-code/commands/codexa-prove.md

@@ -0,0 +1,12 @@
+---
+description: Print a Codexa proof card for the current repo and task
+argument-hint: "[task description]"
+disable-model-invocation: true
+allowed-tools: Bash(bash:*)
+---
+
+Ask Codexa for a compact proof card. It reports freshness, dirty-tree state,
+read-first files, saved change-plan snapshot status, verification commands that
+would earn credit, local policy-pack status, trust posture, and remaining gaps.
+
+!`bash "${CLAUDE_PLUGIN_ROOT}/scripts/cmd/prove.sh" "$ARGUMENTS"`

package/integrations/claude-code/scripts/cmd/prove.sh

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+set -u
+CMD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
+# shellcheck source=lib.sh
+. "$CMD_DIR/lib.sh"
+
+raw_args="${1-}"
+
+repo="$(cmd_require_codexa_repo)" || exit 1
+cmd_require_codexa_cli
+
+cli_args=(prove "$repo" --diff)
+if [[ -n "$raw_args" ]]; then
+  cli_args+=(--task "$raw_args")
+fi
+
+exec "$NODE_BIN" "$CODEXA_CLI" "${cli_args[@]}"

package/integrations/claude-code/tests/cmd-smoke.sh

@@ -156,6 +156,27 @@ else
   fail "brief passes the full task string through --task, preserving spaces" "rc=$LAST_RC stdout='$LAST_STDOUT'"
 fi
 
+# ---------- prove ----------
+section "prove.sh"
+
+run_cmd "prove.sh" "" "$REPO"
+if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
+   && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: --diff"; then
+  pass "prove with no arguments prints a repo proof card"
+else
+  fail "prove with no arguments prints a repo proof card" "rc=$LAST_RC stdout='$LAST_STDOUT'"
+fi
+
+PROVE_TASK="fix behavior; rm -rf /"
+run_cmd "prove.sh" "$PROVE_TASK" "$REPO"
+if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
+   && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: $PROVE_TASK" \
+   && ! printf '%s' "$LAST_STDOUT" | grep -q "^rm: "; then
+  pass "prove treats the full argument string as task text"
+else
+  fail "prove treats the full argument string as task text" "rc=$LAST_RC stdout='$LAST_STDOUT'"
+fi
+
 # ---------- plan ----------
 section "plan.sh"
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirnoorata/codexa",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "mcpName": "io.github.mirnoorata/codexa",
   "description": "Codex-native codebase intelligence context compiler and query-only MCP server.",
   "keywords": [

package/plugins/codexa/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "codexa",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "description": "Codex-native codebase intelligence workflows, MCP setup, and edit accountability for repositories indexed by Codexa.",
   "author": {
     "name": "Codexa maintainers",

package/plugins/codexa/skills/codexa/SKILL.md

@@ -10,7 +10,7 @@ Use this skill when a task involves understanding, editing, reviewing, or verify
 ## Operating Rules
 
 1. Resolve the active repository first. If the repo has `.codex/config.toml`, use the project-local Codexa MCP server. If the MCP server is unavailable, run the equivalent `codexa` CLI command from the repository.
-2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan`.
+2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card`.
 3. For broad tasks, call `session_context` first. If the target is unclear or `actionability` says `needs_target`, `raw_search_better`, or `raw_search_sufficient`, use first-class `search` or ask for an explicit target before planning edits.
 4. For code edits, debugging, reviews, or non-trivial refactors, call `search` first when the target is unclear; otherwise call `task_brief` before reading or editing source.
 5. For symbol-level changes, call `symbol_context` or `impact` when you need callers, callees, implementations, tests, risks, edge evidence, or the next exact Codexa tool.
@@ -38,6 +38,7 @@ codexa impact . --symbol "<symbol_or_stable_id>"
 codexa change-plan . --task "<task>" --save-snapshot --task-id "<task_id>"
 codexa post-edit-review . --task-id "<task_id>" --ran-command "<command>"
 codexa test-plan .
+codexa prove . --task "<task>" --task-id "<task_id>" --ran-command "<command>"
 codexa serve . --transport http --host 127.0.0.1 --port 8729
 ```