audit-tools 0.28.0

package/dist/remediate/validation/artifacts.js

@@ -0,0 +1,316 @@
+import { existsSync } from "node:fs";
+import { readdir } from "node:fs/promises";
+import { join } from "node:path";
+import { readJsonFile } from "audit-tools/shared";
+import { StateStore } from "../state/store.js";
+import { validateClarificationRequest, validateItemSpec, validateRemediationPlan, validateTriageResolution, } from "./remediationState.js";
+import { formatValidationIssues, isRecord, pushValidationIssue, } from "audit-tools/shared";
+import { REMEDIATION_CLOSING_RESULT_CONTRACT_VERSION, REMEDIATION_DISPATCH_PLAN_CONTRACT_VERSION, REMEDIATION_STEP_CONTRACT_VERSION, REMEDIATION_WORKER_RESULT_CONTRACT_VERSION, } from "../steps/types.js";
+import { CONTRACT_PIPELINE_VALIDATORS, validateVerificationReport, } from "./contractPipeline.js";
+import { CP_ARTIFACT_NAMES, contractPipelineDir, } from "../contractPipeline/artifactStore.js";
+/**
+ * Funnel a validator's ValidationIssue[] into the human issue log (MNT-19ac220e):
+ * keep only `error`-severity issues and, when any remain, push one formatted line
+ * (optionally prefixed, e.g. with the source path). Replaces the read-validate-
+ * filter-push idiom that was copy-pasted per artifact in validateArtifacts.
+ */
+function pushErrorIssues(issues, validatorIssues, prefix) {
+    const errors = validatorIssues.filter((issue) => issue.severity === "error");
+    if (errors.length === 0)
+        return;
+    const formatted = formatValidationIssues(errors);
+    issues.push(prefix ? `${prefix}\n${formatted}` : formatted);
+}
+async function readJsonForValidation(path, issues) {
+    if (!existsSync(path))
+        return undefined;
+    try {
+        return await readJsonFile(path);
+    }
+    catch (error) {
+        issues.push(`Invalid JSON at ${path}: ${error instanceof Error ? error.message : String(error)}`);
+        return undefined;
+    }
+}
+async function collectFiles(dir) {
+    if (!existsSync(dir))
+        return [];
+    const entries = await readdir(dir, { withFileTypes: true });
+    const files = [];
+    for (const entry of entries) {
+        const path = join(dir, entry.name);
+        if (entry.isDirectory()) {
+            files.push(...(await collectFiles(path)));
+        }
+        else {
+            files.push(path);
+        }
+    }
+    return files;
+}
+function validateStringArray(value, label, issues) {
+    if (!Array.isArray(value) || value.some((item) => typeof item !== "string")) {
+        pushValidationIssue(issues, label, `${label} must be an array of strings.`);
+    }
+}
+function validateCurrentStep(value, path) {
+    const issues = [];
+    if (!isRecord(value)) {
+        pushValidationIssue(issues, path, `${path} must be an object.`);
+        return issues;
+    }
+    if (value.contract_version !== REMEDIATION_STEP_CONTRACT_VERSION) {
+        pushValidationIssue(issues, `${path}.contract_version`, `${path} has unsupported contract_version.`);
+    }
+    for (const key of [
+        "step_kind",
+        "status",
+        "prompt_path",
+        "run_id",
+        "repo_root",
+        "artifacts_dir",
+        "stop_condition",
+    ]) {
+        if (typeof value[key] !== "string") {
+            pushValidationIssue(issues, `${path}.${key}`, `${path}.${key} must be a string.`);
+        }
+    }
+    validateStringArray(value.allowed_commands, `${path}.allowed_commands`, issues);
+    if (!isRecord(value.artifact_paths)) {
+        pushValidationIssue(issues, `${path}.artifact_paths`, `${path}.artifact_paths must be an object.`);
+    }
+    if (typeof value.prompt_path === "string" && !existsSync(value.prompt_path)) {
+        pushValidationIssue(issues, `${path}.prompt_path`, `${path}.prompt_path points to a missing file: ${value.prompt_path}.`);
+    }
+    return issues;
+}
+function validateDispatchPlan(value, path) {
+    const issues = [];
+    const resultPaths = [];
+    if (!isRecord(value)) {
+        pushValidationIssue(issues, path, `${path} must be an object.`);
+        return { issues, resultPaths };
+    }
+    if (value.contract_version !== REMEDIATION_DISPATCH_PLAN_CONTRACT_VERSION) {
+        pushValidationIssue(issues, `${path}.contract_version`, `${path} has unsupported contract_version.`);
+    }
+    const phase = value.phase === "implement" || value.phase === "document"
+        ? value.phase
+        : undefined;
+    if (!phase) {
+        pushValidationIssue(issues, `${path}.phase`, `${path}.phase must be "document" or "implement".`);
+    }
+    for (const key of ["run_id", "repo_root", "artifacts_dir"]) {
+        if (typeof value[key] !== "string") {
+            pushValidationIssue(issues, `${path}.${key}`, `${path}.${key} must be a string.`);
+        }
+    }
+    if (!Array.isArray(value.items)) {
+        pushValidationIssue(issues, `${path}.items`, `${path}.items must be an array.`);
+        return { issues, phase, resultPaths };
+    }
+    for (const [index, item] of value.items.entries()) {
+        const itemPath = `${path}.items[${index}]`;
+        if (!isRecord(item)) {
+            pushValidationIssue(issues, itemPath, `${itemPath} must be an object.`);
+            continue;
+        }
+        for (const key of ["task_id", "prompt_path", "result_path"]) {
+            if (typeof item[key] !== "string") {
+                pushValidationIssue(issues, `${itemPath}.${key}`, `${itemPath}.${key} must be a string.`);
+            }
+        }
+        if (phase === "implement" && typeof item.block_id !== "string") {
+            pushValidationIssue(issues, `${itemPath}.block_id`, `${itemPath}.block_id must be a string for implement dispatch.`);
+        }
+        if (phase === "document" && typeof item.finding_id !== "string") {
+            pushValidationIssue(issues, `${itemPath}.finding_id`, `${itemPath}.finding_id must be a string for document dispatch.`);
+        }
+        if (typeof item.prompt_path === "string" && !existsSync(item.prompt_path)) {
+            pushValidationIssue(issues, `${itemPath}.prompt_path`, `${itemPath}.prompt_path points to a missing file: ${item.prompt_path}.`);
+        }
+        if (typeof item.result_path === "string") {
+            resultPaths.push(item.result_path);
+        }
+    }
+    return { issues, phase, resultPaths };
+}
+export function validateImplementWorkerResult(value, path) {
+    const issues = [];
+    if (!isRecord(value)) {
+        pushValidationIssue(issues, path, `${path} implement worker result must be an object.`);
+        return issues;
+    }
+    if (value.contract_version !== REMEDIATION_WORKER_RESULT_CONTRACT_VERSION) {
+        pushValidationIssue(issues, `${path}.contract_version`, `${path} implement worker result has unsupported contract_version.`);
+    }
+    if (value.phase !== "implement") {
+        pushValidationIssue(issues, `${path}.phase`, `${path} implement worker result phase must be implement.`);
+    }
+    if (!Array.isArray(value.item_results)) {
+        pushValidationIssue(issues, `${path}.item_results`, `${path} implement worker result item_results must be an array.`);
+        return issues;
+    }
+    for (const [index, result] of value.item_results.entries()) {
+        const resultPath = `${path}.item_results[${index}]`;
+        if (!isRecord(result)) {
+            pushValidationIssue(issues, resultPath, `${resultPath} must be an object.`);
+            continue;
+        }
+        if (typeof result.finding_id !== "string") {
+            pushValidationIssue(issues, `${resultPath}.finding_id`, `${resultPath}.finding_id must be a string.`);
+        }
+        if (result.status !== "resolved" && result.status !== "blocked") {
+            pushValidationIssue(issues, `${resultPath}.status`, `${resultPath}.status must be resolved or blocked.`);
+        }
+    }
+    return issues;
+}
+function validateClosingResult(value, path) {
+    const issues = [];
+    if (!isRecord(value)) {
+        pushValidationIssue(issues, path, `${path} must be an object.`);
+        return issues;
+    }
+    if (value.contract_version !== REMEDIATION_CLOSING_RESULT_CONTRACT_VERSION) {
+        pushValidationIssue(issues, `${path}.contract_version`, `${path}.contract_version is unsupported.`);
+    }
+    if (typeof value.action !== "string") {
+        pushValidationIssue(issues, `${path}.action`, `${path}.action must be a string.`);
+    }
+    if (!["success", "failed", "skipped"].includes(String(value.status))) {
+        pushValidationIssue(issues, `${path}.status`, `${path}.status must be success, failed, or skipped.`);
+    }
+    if (!Array.isArray(value.commands)) {
+        pushValidationIssue(issues, `${path}.commands`, `${path}.commands must be an array.`);
+        return issues;
+    }
+    for (const [index, command] of value.commands.entries()) {
+        const commandPath = `${path}.commands[${index}]`;
+        if (!isRecord(command)) {
+            pushValidationIssue(issues, commandPath, `${commandPath} must be an object.`);
+            continue;
+        }
+        validateStringArray(command.command, `${commandPath}.command`, issues);
+        if (command.exit_code !== null &&
+            (typeof command.exit_code !== "number" || !Number.isInteger(command.exit_code))) {
+            pushValidationIssue(issues, `${commandPath}.exit_code`, `${commandPath}.exit_code must be an integer or null.`);
+        }
+    }
+    return issues;
+}
+async function validateDispatchArtifacts(artifactsDir, issues) {
+    const runsDir = join(artifactsDir, "runs");
+    const files = await collectFiles(runsDir);
+    const dispatchPlanPaths = files.filter((file) => file.endsWith("dispatch-plan.json"));
+    const resultFiles = files.filter((file) => file.endsWith(".result.json"));
+    const referencedResults = new Map();
+    for (const dispatchPlanPath of dispatchPlanPaths) {
+        const plan = await readJsonForValidation(dispatchPlanPath, issues);
+        if (!plan)
+            continue;
+        const { issues: planIssues, phase, resultPaths } = validateDispatchPlan(plan, dispatchPlanPath);
+        pushErrorIssues(issues, planIssues);
+        if (!phase)
+            continue;
+        for (const resultPath of resultPaths) {
+            referencedResults.set(resultPath, phase);
+            if (!existsSync(resultPath))
+                continue;
+            const result = await readJsonForValidation(resultPath, issues);
+            if (!result)
+                continue;
+            pushErrorIssues(issues, validateImplementWorkerResult(result, resultPath));
+        }
+    }
+    for (const resultFile of resultFiles) {
+        if (!referencedResults.has(resultFile)) {
+            issues.push(`Stale worker result is not referenced by any dispatch plan: ${resultFile}.`);
+        }
+    }
+}
+export async function validateArtifacts(artifactsDir, root = ".") {
+    const issues = [];
+    const store = new StateStore(artifactsDir);
+    const state = await store.loadState();
+    if (!state) {
+        issues.push(`Missing remediation state at ${join(artifactsDir, "state.json")}.`);
+    }
+    if (state?.plan) {
+        pushErrorIssues(issues, validateRemediationPlan(state.plan));
+    }
+    if (state?.items) {
+        for (const item of Object.values(state.items)) {
+            if (item.item_spec) {
+                pushErrorIssues(issues, validateItemSpec(item.item_spec));
+            }
+        }
+    }
+    const planPath = join(artifactsDir, "remediation_plan.json");
+    const persistedPlan = await readJsonForValidation(planPath, issues);
+    if (persistedPlan) {
+        pushErrorIssues(issues, validateRemediationPlan(persistedPlan));
+    }
+    for (const file of await collectFiles(artifactsDir)) {
+        if (/[/\\]item_spec_[^/\\]+\.json$/u.test(file)) {
+            const spec = await readJsonForValidation(file, issues);
+            if (!spec)
+                continue;
+            pushErrorIssues(issues, validateItemSpec(spec));
+        }
+    }
+    const clarificationRequest = await readJsonForValidation(join(artifactsDir, "clarification_request.json"), issues);
+    if (clarificationRequest) {
+        if (!Array.isArray(clarificationRequest)) {
+            issues.push("clarification_request.json must be an array.");
+        }
+        else {
+            for (const [index, request] of clarificationRequest.entries()) {
+                pushErrorIssues(issues, validateClarificationRequest(request, `clarification_request[${index}]`));
+            }
+        }
+    }
+    const triageBatch = await readJsonForValidation(join(artifactsDir, "triage_batch.json"), issues);
+    if (triageBatch) {
+        if (!isRecord(triageBatch) || !Array.isArray(triageBatch.items)) {
+            issues.push("triage_batch.json must be an object with an items array.");
+        }
+    }
+    const triageResolution = await readJsonForValidation(join(artifactsDir, "triage_resolution.json"), issues);
+    if (triageResolution) {
+        pushErrorIssues(issues, validateTriageResolution(triageResolution));
+    }
+    const currentStep = await readJsonForValidation(join(artifactsDir, "steps", "current-step.json"), issues);
+    if (currentStep) {
+        pushErrorIssues(issues, validateCurrentStep(currentStep, "current-step.json"));
+    }
+    await validateDispatchArtifacts(artifactsDir, issues);
+    const closingResultPath = join(artifactsDir, "remediation-closing-result.json");
+    const closingResult = await readJsonForValidation(closingResultPath, issues);
+    if (closingResult) {
+        pushErrorIssues(issues, validateClosingResult(closingResult, "remediation-closing-result.json"));
+    }
+    // Contract-pipeline artifact validation (optional — only checked when present).
+    const cpDir = contractPipelineDir(artifactsDir);
+    for (const name of CP_ARTIFACT_NAMES) {
+        const cpPath = join(cpDir, `${name}.json`);
+        const cpRaw = await readJsonForValidation(cpPath, issues);
+        if (!cpRaw)
+            continue;
+        // The envelope wraps the payload — validate the payload field.
+        const payload = isRecord(cpRaw) && "payload" in cpRaw ? cpRaw.payload : cpRaw;
+        pushErrorIssues(issues, CONTRACT_PIPELINE_VALIDATORS[name](payload, name), `${cpPath}:`);
+    }
+    // Verification report at the root artifacts dir (from FINDING-027).
+    const verificationReportPath = join(root, ".audit-tools", "verification_report.json");
+    const verificationReport = await readJsonForValidation(verificationReportPath, issues);
+    if (verificationReport) {
+        pushErrorIssues(issues, validateVerificationReport(verificationReport, "verification_report.json"));
+    }
+    return {
+        status: issues.length > 0 ? "error" : "ok",
+        issue_count: issues.length,
+        issues,
+    };
+}
+//# sourceMappingURL=artifacts.js.map

package/dist/remediate/validation/artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.js","sourceRoot":"","sources":["../../../src/remediate/validation/artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EACL,4BAA4B,EAC5B,gBAAgB,EAChB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEL,sBAAsB,EACtB,QAAQ,EACR,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,2CAA2C,EAC3C,0CAA0C,EAC1C,iCAAiC,EACjC,0CAA0C,GAC3C,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,sCAAsC,CAAC;AAQ9C;;;;;GAKG;AACH,SAAS,eAAe,CACtB,MAAgB,EAChB,eAAkC,EAClC,MAAe;IAEf,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAC9D,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,IAAY,EACZ,MAAgB;IAEhB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC;QACH,OAAO,MAAM,YAAY,CAAU,IAAI,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClG,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,GAAW;IACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAc,EACd,KAAa,EACb,MAAyB;IAEzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC5E,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,+BAA+B,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAAY;IACvD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,iCAAiC,EAAE,CAAC;QACjE,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,MAAM,GAAG,IAAI;QAChB,WAAW;QACX,QAAQ;QACR,aAAa;QACb,QAAQ;QACR,WAAW;QACX,eAAe;QACf,gBAAgB;KACjB,EAAE,CAAC;QACF,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,GAAG,IAAI,IAAI,GAAG,oBAAoB,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,mBAAmB,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAChF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACpC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,iBAAiB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5E,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,0CAA0C,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;QAChE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,0CAA0C,EAAE,CAAC;QAC1E,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,KAAK,GACT,KAAK,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU;QACvD,CAAC,CAAE,KAAK,CAAC,KAAkC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,2CAA2C,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,EAAE,CAAC;QAC3D,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,GAAG,IAAI,IAAI,GAAG,oBAAoB,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;QAChF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,GAAG,IAAI,UAAU,KAAK,GAAG,CAAC;QAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,qBAAqB,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;YAC5D,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,QAAQ,IAAI,GAAG,EAAE,EAAE,GAAG,QAAQ,IAAI,GAAG,oBAAoB,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,WAAW,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC/D,mBAAmB,CAAC,MAAM,EAAE,GAAG,QAAQ,WAAW,EAAE,GAAG,QAAQ,oDAAoD,CAAC,CAAC;QACvH,CAAC;QACD,IAAI,KAAK,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YAChE,mBAAmB,CAAC,MAAM,EAAE,GAAG,QAAQ,aAAa,EAAE,GAAG,QAAQ,qDAAqD,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1E,mBAAmB,CAAC,MAAM,EAAE,GAAG,QAAQ,cAAc,EAAE,GAAG,QAAQ,0CAA0C,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QACnI,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,6CAA6C,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,0CAA0C,EAAE,CAAC;QAC1E,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,4DAA4D,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAChC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,mDAAmD,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QACvC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,GAAG,IAAI,yDAAyD,CAAC,CAAC;QACtH,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,UAAU,GAAG,GAAG,IAAI,iBAAiB,KAAK,GAAG,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,mBAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,qBAAqB,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC1C,mBAAmB,CAAC,MAAM,EAAE,GAAG,UAAU,aAAa,EAAE,GAAG,UAAU,+BAA+B,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChE,mBAAmB,CAAC,MAAM,EAAE,GAAG,UAAU,SAAS,EAAE,GAAG,UAAU,sCAAsC,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,IAAY;IACzD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,2CAA2C,EAAE,CAAC;QAC3E,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,mCAAmC,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACrC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,IAAI,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACrE,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,IAAI,8CAA8C,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;QACtF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC;QACjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,mBAAmB,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,WAAW,qBAAqB,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,WAAW,UAAU,EAAE,MAAM,CAAC,CAAC;QACvE,IACE,OAAO,CAAC,SAAS,KAAK,IAAI;YAC1B,CAAC,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAC/E,CAAC;YACD,mBAAmB,CAAC,MAAM,EAAE,GAAG,WAAW,YAAY,EAAE,GAAG,WAAW,wCAAwC,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,YAAoB,EACpB,MAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoC,CAAC;IAEtE,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAChG,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;gBAAE,SAAS;YACtC,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC/D,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,eAAe,CAAC,MAAM,EAAE,6BAA6B,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,+DAA+D,UAAU,GAAG,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,YAAoB,EACpB,IAAI,GAAG,GAAG;IAEV,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,CAAC;IAEtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,gCAAgC,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC;IACnF,CAAC;IAED,IAAI,KAAK,EAAE,IAAI,EAAE,CAAC;QAChB,eAAe,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,KAAK,EAAE,KAAK,EAAE,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,eAAe,CAAC,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,MAAM,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,aAAa,EAAE,CAAC;QAClB,eAAe,CAAC,MAAM,EAAE,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;QACpD,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACvD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,eAAe,CAAC,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,MAAM,oBAAoB,GAAG,MAAM,qBAAqB,CACtD,IAAI,CAAC,YAAY,EAAE,4BAA4B,CAAC,EAChD,MAAM,CACP,CAAC;IACF,IAAI,oBAAoB,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC9D,eAAe,CACb,MAAM,EACN,4BAA4B,CAAC,OAAO,EAAE,yBAAyB,KAAK,GAAG,CAAC,CACzE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAC7C,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,EACvC,MAAM,CACP,CAAC;IACF,IAAI,WAAW,EAAE,CAAC;QAChB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,qBAAqB,CAClD,IAAI,CAAC,YAAY,EAAE,wBAAwB,CAAC,EAC5C,MAAM,CACP,CAAC;IACF,IAAI,gBAAgB,EAAE,CAAC;QACrB,eAAe,CAAC,MAAM,EAAE,wBAAwB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAC7C,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,mBAAmB,CAAC,EAChD,MAAM,CACP,CAAC;IACF,IAAI,WAAW,EAAE,CAAC;QAChB,eAAe,CAAC,MAAM,EAAE,mBAAmB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,yBAAyB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAEtD,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY,EAAE,iCAAiC,CAAC,CAAC;IAChF,MAAM,aAAa,GAAG,MAAM,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAC7E,IAAI,aAAa,EAAE,CAAC;QAClB,eAAe,CACb,MAAM,EACN,qBAAqB,CAAC,aAAa,EAAE,iCAAiC,CAAC,CACxE,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,MAAM,KAAK,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,MAAM,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,+DAA+D;QAC/D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9E,eAAe,CAAC,MAAM,EAAE,4BAA4B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC;IAC3F,CAAC;IAED,oEAAoE;IACpE,MAAM,sBAAsB,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,0BAA0B,CAAC,CAAC;IACtF,MAAM,kBAAkB,GAAG,MAAM,qBAAqB,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,kBAAkB,EAAE,CAAC;QACvB,eAAe,CACb,MAAM,EACN,0BAA0B,CAAC,kBAAkB,EAAE,0BAA0B,CAAC,CAC3E,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QAC1C,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/remediate/validation/contractPipeline.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Validation helpers for contract-pipeline artifacts.
+ * Follows the ValidationIssue[] pattern used by the rest of the remediator
+ * validation layer.
+ */
+import { type ValidationIssue } from "audit-tools/shared";
+import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
+export declare const CP_CYCLIC_SEAM_RESOLUTION_VERSION: "remediate-code-contract-pipeline/cyclic-seam-resolution/v1alpha1";
+export declare const CP_MODULE_DECOMPOSITION_VERSION: "remediate-code-contract-pipeline/module-decomposition/v1alpha1";
+export declare const CP_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/module-contracts/v1alpha1";
+export declare const CP_SEAM_RECONCILIATION_REPORT_VERSION: "remediate-code-contract-pipeline/seam-reconciliation-report/v1alpha1";
+export declare const CP_FINALIZED_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/finalized-module-contracts/v1alpha1";
+export declare function validateGoalSpec(value: unknown, path?: string): ValidationIssue[];
+export declare function validateContextBundle(value: unknown, path?: string): ValidationIssue[];
+export declare function validateModuleDecomposition(value: unknown, path?: string): ValidationIssue[];
+export declare function validateModuleContracts(value: unknown, path?: string): ValidationIssue[];
+export declare function validateSeamReconciliationReport(value: unknown, path?: string): ValidationIssue[];
+export declare function validateFinalizedModuleContracts(value: unknown, path?: string): ValidationIssue[];
+export declare function validateDesignSpec(value: unknown, path?: string): ValidationIssue[];
+export { validateDesignSpecGates, validateGoalIdConsistency, validateImplementationDAGIntegrity, validatePairedObligations, validateEvidenceThreaded, validateDigestCoverage, validateReconciliationDerivation, deriveNodeModelTier, deriveNodeModelTierFromNode, type NodeComplexitySignals, } from "./contractPipelineGates.js";
+export declare function validateConceptualDesignCritique(value: unknown, path?: string): ValidationIssue[];
+export declare function validateObligationLedger(value: unknown, path?: string): ValidationIssue[];
+export declare function validateTestValidatorPlan(value: unknown, path?: string): ValidationIssue[];
+export declare function validateContractAssessmentReport(value: unknown, path?: string): ValidationIssue[];
+export declare function validateCounterexample(value: unknown, path?: string): ValidationIssue[];
+export declare function validateJudgeReport(value: unknown, path?: string): ValidationIssue[];
+export declare function validateImplementationDAG(value: unknown, path?: string): ValidationIssue[];
+export declare function validateVerificationReport(value: unknown, path?: string): ValidationIssue[];
+export declare function validateCyclicSeamResolution(value: unknown, path?: string): ValidationIssue[];
+/**
+ * One validator per contract-pipeline artifact payload. Used by the driver's
+ * ingestion pass (worker-written raw payloads are untrusted until validated)
+ * and by the artifacts validation sweep.
+ */
+export declare const CONTRACT_PIPELINE_VALIDATORS: Record<ContractPipelineArtifactName, (value: unknown, path: string) => ValidationIssue[]>;
+//# sourceMappingURL=contractPipeline.d.ts.map

package/dist/remediate/validation/contractPipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipeline.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,KAAK,eAAe,EAGrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAgBzF,eAAO,MAAM,iCAAiC,EAC5C,kEAA2E,CAAC;AAU9E,eAAO,MAAM,+BAA+B,EAC1C,gEAAyE,CAAC;AAC5E,eAAO,MAAM,2BAA2B,EACtC,4DAAqE,CAAC;AACxE,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAClF,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAyElF,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,IAAI,SAAc,GACjB,eAAe,EAAE,CAenB;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAoBnB;AAID,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,IAAI,SAAyB,GAC5B,eAAe,EAAE,CAmBnB;AAcD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,EACd,IAAI,SAAqB,GACxB,eAAe,EAAE,CAiBnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAuCnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAiBnB;AAID,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,IAAI,SAAgB,GACnB,eAAe,EAAE,CAoBnB;AAKD,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,kCAAkC,EAClC,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EAChC,mBAAmB,EACnB,2BAA2B,EAC3B,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AAIpC,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAqBnB;AAID,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EACd,IAAI,SAAsB,GACzB,eAAe,EAAE,CAqBnB;AAMD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAgDnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAqBnB;AAID,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAsBnB;AAoBD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,IAAI,SAAiB,GACpB,eAAe,EAAE,CAqCnB;AAID,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAuB,GAC1B,eAAe,EAAE,CAqDnB;AAID,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAsCnB;AAID,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,EACd,IAAI,SAA2B,GAC9B,eAAe,EAAE,CA6BnB;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,MAAM,CAC/C,4BAA4B,EAC5B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,eAAe,EAAE,CAiBpD,CAAC"}