audit-tools 0.28.0

package/dist/remediate/validation/contractPipeline.js

@@ -0,0 +1,569 @@
+/**
+ * Validation helpers for contract-pipeline artifacts.
+ * Follows the ValidationIssue[] pattern used by the rest of the remediator
+ * validation layer.
+ */
+import { isRecord, pushValidationIssue, } from "audit-tools/shared";
+import { CONTRACT_PIPELINE_GOAL_SPEC_VERSION, CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION, CONTRACT_PIPELINE_DESIGN_SPEC_VERSION, CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION, CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION, CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION, CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION, CONTRACT_PIPELINE_JUDGE_REPORT_VERSION, CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION, CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION, CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION, } from "audit-tools/shared";
+// Version constant for cyclic_seam_resolution artifact.
+export const CP_CYCLIC_SEAM_RESOLUTION_VERSION = "remediate-code-contract-pipeline/cyclic-seam-resolution/v1alpha1";
+const CYCLIC_SEAM_RESOLUTION_STATUSES = [
+    "no_cycles",
+    "resolved",
+    "user_decision_required",
+    "blocked",
+];
+// Version constants for seam-negotiation artifacts not yet in audit-tools/shared.
+export const CP_MODULE_DECOMPOSITION_VERSION = "remediate-code-contract-pipeline/module-decomposition/v1alpha1";
+export const CP_MODULE_CONTRACTS_VERSION = "remediate-code-contract-pipeline/module-contracts/v1alpha1";
+export const CP_SEAM_RECONCILIATION_REPORT_VERSION = "remediate-code-contract-pipeline/seam-reconciliation-report/v1alpha1";
+export const CP_FINALIZED_MODULE_CONTRACTS_VERSION = "remediate-code-contract-pipeline/finalized-module-contracts/v1alpha1";
+// ── Helpers ───────────────────────────────────────────────────────────────────
+function requireString(value, path, issues) {
+    if (typeof value !== "string" || value.length === 0) {
+        pushValidationIssue(issues, path, `${path} must be a non-empty string.`);
+    }
+}
+function requireStringArray(value, path, issues) {
+    if (!Array.isArray(value) || value.some((item) => typeof item !== "string")) {
+        pushValidationIssue(issues, path, `${path} must be an array of strings.`);
+    }
+}
+function requireOneOf(value, allowed, path, issues) {
+    if (!allowed.includes(String(value))) {
+        pushValidationIssue(issues, path, `${path} must be one of: ${allowed.join(", ")}.`);
+    }
+}
+/**
+ * Shared envelope guard for every contract-pipeline validator (MNT-86b18f1b):
+ * the isRecord guard + contract_version match + optional goal_id check that each
+ * validator opened with verbatim. Returns the value narrowed to a record when it
+ * is one, or `undefined` when it is not (the caller returns its issues early).
+ * The trailing `created_at` check stays in each validator since it runs after
+ * the artifact-specific body.
+ */
+function validateEnvelope(value, path, expectedVersion, issues, opts = { goalId: true }) {
+    if (!isRecord(value)) {
+        pushValidationIssue(issues, path, `${path} must be an object.`);
+        return undefined;
+    }
+    if (value.contract_version !== expectedVersion) {
+        pushValidationIssue(issues, `${path}.contract_version`, `${path}.contract_version must be "${expectedVersion}".`);
+    }
+    if (opts.goalId !== false) {
+        requireString(value.goal_id, `${path}.goal_id`, issues);
+    }
+    return value;
+}
+// ── GoalSpec ──────────────────────────────────────────────────────────────────
+export function validateGoalSpec(value, path = "goal_spec") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_GOAL_SPEC_VERSION, issues);
+    if (!v)
+        return issues;
+    requireString(v.objective, `${path}.objective`, issues);
+    requireStringArray(v.non_goals, `${path}.non_goals`, issues);
+    requireStringArray(v.success_criteria, `${path}.success_criteria`, issues);
+    requireOneOf(v.source_type, ["conversation", "document", "structured_audit", "mixed"], `${path}.source_type`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ContextBundle ─────────────────────────────────────────────────────────────
+export function validateContextBundle(value, path = "context_bundle") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.entries)) {
+        pushValidationIssue(issues, `${path}.entries`, `${path}.entries must be an array.`);
+    }
+    else {
+        for (const [i, entry] of v.entries.entries()) {
+            if (!isRecord(entry)) {
+                pushValidationIssue(issues, `${path}.entries[${i}]`, `${path}.entries[${i}] must be an object.`);
+                continue;
+            }
+            requireString(entry.path, `${path}.entries[${i}].path`, issues);
+            requireOneOf(entry.kind, ["source", "test", "config", "doc"], `${path}.entries[${i}].kind`, issues);
+            requireString(entry.relevance_reason, `${path}.entries[${i}].relevance_reason`, issues);
+        }
+    }
+    requireString(v.context_summary, `${path}.context_summary`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ModuleDecomposition ───────────────────────────────────────────────────────
+export function validateModuleDecomposition(value, path = "module_decomposition") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CP_MODULE_DECOMPOSITION_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.modules)) {
+        pushValidationIssue(issues, `${path}.modules`, `${path}.modules must be an array.`);
+    }
+    else {
+        for (const [i, mod] of v.modules.entries()) {
+            if (!isRecord(mod)) {
+                pushValidationIssue(issues, `${path}.modules[${i}]`, `${path}.modules[${i}] must be an object.`);
+                continue;
+            }
+            requireString(mod.name, `${path}.modules[${i}].name`, issues);
+            requireString(mod.responsibilities, `${path}.modules[${i}].responsibilities`, issues);
+            requireStringArray(mod.file_scope, `${path}.modules[${i}].file_scope`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ModuleContracts ───────────────────────────────────────────────────────────
+function validateModuleContractEntry(entry, path, issues) {
+    requireString(entry.name, `${path}.name`, issues);
+    requireStringArray(entry.inputs, `${path}.inputs`, issues);
+    requireStringArray(entry.outputs, `${path}.outputs`, issues);
+    requireStringArray(entry.invariants, `${path}.invariants`, issues);
+    requireStringArray(entry.side_effects, `${path}.side_effects`, issues);
+    requireString(entry.validation_boundary, `${path}.validation_boundary`, issues);
+    requireStringArray(entry.failure_modes, `${path}.failure_modes`, issues);
+}
+export function validateModuleContracts(value, path = "module_contracts") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CP_MODULE_CONTRACTS_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.module_contracts)) {
+        pushValidationIssue(issues, `${path}.module_contracts`, `${path}.module_contracts must be an array.`);
+    }
+    else {
+        for (const [i, mod] of v.module_contracts.entries()) {
+            if (!isRecord(mod)) {
+                pushValidationIssue(issues, `${path}.module_contracts[${i}]`, `${path}.module_contracts[${i}] must be an object.`);
+                continue;
+            }
+            validateModuleContractEntry(mod, `${path}.module_contracts[${i}]`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── SeamReconciliationReport ──────────────────────────────────────────────────
+export function validateSeamReconciliationReport(value, path = "seam_reconciliation_report") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CP_SEAM_RECONCILIATION_REPORT_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.mismatches)) {
+        pushValidationIssue(issues, `${path}.mismatches`, `${path}.mismatches must be an array.`);
+    }
+    else {
+        for (const [i, mismatch] of v.mismatches.entries()) {
+            if (!isRecord(mismatch)) {
+                pushValidationIssue(issues, `${path}.mismatches[${i}]`, `${path}.mismatches[${i}] must be an object.`);
+                continue;
+            }
+            requireString(mismatch.seam_id, `${path}.mismatches[${i}].seam_id`, issues);
+            requireString(mismatch.module_a, `${path}.mismatches[${i}].module_a`, issues);
+            requireString(mismatch.module_b, `${path}.mismatches[${i}].module_b`, issues);
+            requireString(mismatch.description, `${path}.mismatches[${i}].description`, issues);
+            if (!isRecord(mismatch.resolution)) {
+                pushValidationIssue(issues, `${path}.mismatches[${i}].resolution`, `${path}.mismatches[${i}].resolution must be an object (every mismatch requires a resolution decision).`);
+            }
+            else {
+                requireOneOf(mismatch.resolution.decision, ["A", "B", "both"], `${path}.mismatches[${i}].resolution.decision`, issues);
+                requireString(mismatch.resolution.agreed_interface, `${path}.mismatches[${i}].resolution.agreed_interface`, issues);
+            }
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── FinalizedModuleContracts ──────────────────────────────────────────────────
+export function validateFinalizedModuleContracts(value, path = "finalized_module_contracts") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CP_FINALIZED_MODULE_CONTRACTS_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.module_contracts)) {
+        pushValidationIssue(issues, `${path}.module_contracts`, `${path}.module_contracts must be an array.`);
+    }
+    else {
+        for (const [i, mod] of v.module_contracts.entries()) {
+            if (!isRecord(mod)) {
+                pushValidationIssue(issues, `${path}.module_contracts[${i}]`, `${path}.module_contracts[${i}] must be an object.`);
+                continue;
+            }
+            validateModuleContractEntry(mod, `${path}.module_contracts[${i}]`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── DesignSpec ────────────────────────────────────────────────────────────────
+export function validateDesignSpec(value, path = "design_spec") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_DESIGN_SPEC_VERSION, issues);
+    if (!v)
+        return issues;
+    requireString(v.design_narrative, `${path}.design_narrative`, issues);
+    if (!Array.isArray(v.invariants)) {
+        pushValidationIssue(issues, `${path}.invariants`, `${path}.invariants must be an array.`);
+    }
+    else {
+        for (const [i, inv] of v.invariants.entries()) {
+            if (!isRecord(inv)) {
+                pushValidationIssue(issues, `${path}.invariants[${i}]`, `${path}.invariants[${i}] must be an object.`);
+                continue;
+            }
+            requireString(inv.id, `${path}.invariants[${i}].id`, issues);
+            requireString(inv.description, `${path}.invariants[${i}].description`, issues);
+        }
+    }
+    requireStringArray(v.affected_paths, `${path}.affected_paths`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── DesignSpec structural gates + cross-artifact gates ────────────────────────
+// Extracted to contractPipelineGates.ts (MNT-86b18f1b). Re-exported here for
+// backward-compatible imports — callers do not need to update their import paths.
+export { validateDesignSpecGates, validateGoalIdConsistency, validateImplementationDAGIntegrity, validatePairedObligations, validateEvidenceThreaded, validateDigestCoverage, validateReconciliationDerivation, deriveNodeModelTier, deriveNodeModelTierFromNode, } from "./contractPipelineGates.js";
+// ── ConceptualDesignCritique ──────────────────────────────────────────────────
+export function validateConceptualDesignCritique(value, path = "conceptual_design_critique") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.items)) {
+        pushValidationIssue(issues, `${path}.items`, `${path}.items must be an array.`);
+    }
+    else {
+        for (const [i, item] of v.items.entries()) {
+            if (!isRecord(item)) {
+                pushValidationIssue(issues, `${path}.items[${i}]`, `${path}.items[${i}] must be an object.`);
+                continue;
+            }
+            requireString(item.id, `${path}.items[${i}].id`, issues);
+            requireOneOf(item.kind, ["concern", "alternative", "suggestion"], `${path}.items[${i}].kind`, issues);
+            requireString(item.description, `${path}.items[${i}].description`, issues);
+            requireOneOf(item.severity, ["blocking", "advisory"], `${path}.items[${i}].severity`, issues);
+        }
+    }
+    requireOneOf(v.verdict, ["approved", "approved_with_concerns", "rejected"], `${path}.verdict`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ObligationLedger ──────────────────────────────────────────────────────────
+export function validateObligationLedger(value, path = "obligation_ledger") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.obligations)) {
+        pushValidationIssue(issues, `${path}.obligations`, `${path}.obligations must be an array.`);
+    }
+    else {
+        for (const [i, obl] of v.obligations.entries()) {
+            if (!isRecord(obl)) {
+                pushValidationIssue(issues, `${path}.obligations[${i}]`, `${path}.obligations[${i}] must be an object.`);
+                continue;
+            }
+            requireString(obl.id, `${path}.obligations[${i}].id`, issues);
+            requireString(obl.description, `${path}.obligations[${i}].description`, issues);
+            requireOneOf(obl.kind, ["invariant", "behavioral", "structural", "test"], `${path}.obligations[${i}].kind`, issues);
+            requireStringArray(obl.depends_on, `${path}.obligations[${i}].depends_on`, issues);
+            requireOneOf(obl.status, ["pending", "satisfied", "failed"], `${path}.obligations[${i}].status`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── TestValidatorPlan ─────────────────────────────────────────────────────────
+const TEST_SPEC_KINDS = ["unit", "integration", "schema", "invariant", "e2e"];
+export function validateTestValidatorPlan(value, path = "test_validator_plan") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.test_specs)) {
+        pushValidationIssue(issues, `${path}.test_specs`, `${path}.test_specs must be an array.`);
+    }
+    else {
+        for (const [i, spec] of v.test_specs.entries()) {
+            if (!isRecord(spec)) {
+                pushValidationIssue(issues, `${path}.test_specs[${i}]`, `${path}.test_specs[${i}] must be an object.`);
+                continue;
+            }
+            requireString(spec.obligation_id, `${path}.test_specs[${i}].obligation_id`, issues);
+            requireString(spec.name, `${path}.test_specs[${i}].name`, issues);
+            requireOneOf(spec.kind, TEST_SPEC_KINDS, `${path}.test_specs[${i}].kind`, issues);
+            if (!Array.isArray(spec.assertions) || spec.assertions.length === 0) {
+                pushValidationIssue(issues, `${path}.test_specs[${i}].assertions`, `${path}.test_specs[${i}].assertions must be a non-empty array of strings.`);
+            }
+            else {
+                requireStringArray(spec.assertions, `${path}.test_specs[${i}].assertions`, issues);
+            }
+            if (spec.inapplicable_claim !== undefined) {
+                if (!isRecord(spec.inapplicable_claim)) {
+                    pushValidationIssue(issues, `${path}.test_specs[${i}].inapplicable_claim`, `${path}.test_specs[${i}].inapplicable_claim must be an object.`);
+                }
+                else {
+                    requireString(spec.inapplicable_claim.obligation_id, `${path}.test_specs[${i}].inapplicable_claim.obligation_id`, issues);
+                    requireString(spec.inapplicable_claim.reason, `${path}.test_specs[${i}].inapplicable_claim.reason`, issues);
+                }
+            }
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ContractAssessmentReport ──────────────────────────────────────────────────
+export function validateContractAssessmentReport(value, path = "contract_assessment_report") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.findings)) {
+        pushValidationIssue(issues, `${path}.findings`, `${path}.findings must be an array.`);
+    }
+    else {
+        for (const [i, finding] of v.findings.entries()) {
+            if (!isRecord(finding)) {
+                pushValidationIssue(issues, `${path}.findings[${i}]`, `${path}.findings[${i}] must be an object.`);
+                continue;
+            }
+            requireString(finding.obligation_id, `${path}.findings[${i}].obligation_id`, issues);
+            requireOneOf(finding.status, ["satisfied", "violated", "uncertain"], `${path}.findings[${i}].status`, issues);
+            requireStringArray(finding.evidence, `${path}.findings[${i}].evidence`, issues);
+            requireString(finding.rationale, `${path}.findings[${i}].rationale`, issues);
+        }
+    }
+    requireOneOf(v.verdict, ["passed", "failed", "partial"], `${path}.verdict`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── CounterexampleReport ──────────────────────────────────────────────────────
+export function validateCounterexample(value, path = "counterexample") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.counterexamples)) {
+        pushValidationIssue(issues, `${path}.counterexamples`, `${path}.counterexamples must be an array.`);
+    }
+    else {
+        for (const [i, entry] of v.counterexamples.entries()) {
+            if (!isRecord(entry)) {
+                pushValidationIssue(issues, `${path}.counterexamples[${i}]`, `${path}.counterexamples[${i}] must be an object.`);
+                continue;
+            }
+            requireString(entry.id, `${path}.counterexamples[${i}].id`, issues);
+            requireString(entry.claim, `${path}.counterexamples[${i}].claim`, issues);
+            requireStringArray(entry.reproduction_steps, `${path}.counterexamples[${i}].reproduction_steps`, issues);
+            requireString(entry.expected, `${path}.counterexamples[${i}].expected`, issues);
+            requireString(entry.actual, `${path}.counterexamples[${i}].actual`, issues);
+            requireStringArray(entry.violated_obligation_ids, `${path}.counterexamples[${i}].violated_obligation_ids`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── JudgeReport ───────────────────────────────────────────────────────────────
+const COUNTEREXAMPLE_CLASSIFICATIONS = [
+    "accepted",
+    "out_of_scope",
+    "duplicate",
+    "invalid",
+    "residual_risk",
+];
+const JUDGE_REPAIR_TARGETS = [
+    "finalized_module_contracts",
+    "obligation_ledger",
+    "contract_assessment_report",
+    // Legacy alias: pre-redesign judge reports may reference design_spec.
+    "design_spec",
+];
+export function validateJudgeReport(value, path = "judge_report") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_JUDGE_REPORT_VERSION, issues);
+    if (!v)
+        return issues;
+    requireOneOf(v.verdict, ["approved", "needs_repair"], `${path}.verdict`, issues);
+    if (!Array.isArray(v.classifications)) {
+        pushValidationIssue(issues, `${path}.classifications`, `${path}.classifications must be an array.`);
+    }
+    else {
+        for (const [i, entry] of v.classifications.entries()) {
+            if (!isRecord(entry)) {
+                pushValidationIssue(issues, `${path}.classifications[${i}]`, `${path}.classifications[${i}] must be an object.`);
+                continue;
+            }
+            requireString(entry.counterexample_id, `${path}.classifications[${i}].counterexample_id`, issues);
+            requireOneOf(entry.classification, COUNTEREXAMPLE_CLASSIFICATIONS, `${path}.classifications[${i}].classification`, issues);
+            requireString(entry.rationale, `${path}.classifications[${i}].rationale`, issues);
+        }
+    }
+    if (v.verdict === "needs_repair") {
+        if (!isRecord(v.repair_directive)) {
+            pushValidationIssue(issues, `${path}.repair_directive`, `${path}.repair_directive is required when verdict is "needs_repair".`);
+        }
+    }
+    if (v.repair_directive !== undefined) {
+        if (!isRecord(v.repair_directive)) {
+            pushValidationIssue(issues, `${path}.repair_directive`, `${path}.repair_directive must be an object.`);
+        }
+        else {
+            requireOneOf(v.repair_directive.target, JUDGE_REPAIR_TARGETS, `${path}.repair_directive.target`, issues);
+            requireString(v.repair_directive.instruction, `${path}.repair_directive.instruction`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── ImplementationDAG ─────────────────────────────────────────────────────────
+export function validateImplementationDAG(value, path = "implementation_dag") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.nodes)) {
+        pushValidationIssue(issues, `${path}.nodes`, `${path}.nodes must be an array.`);
+    }
+    else {
+        const nodeIds = new Set();
+        for (const [i, node] of v.nodes.entries()) {
+            if (!isRecord(node)) {
+                pushValidationIssue(issues, `${path}.nodes[${i}]`, `${path}.nodes[${i}] must be an object.`);
+                continue;
+            }
+            requireString(node.id, `${path}.nodes[${i}].id`, issues);
+            requireString(node.title, `${path}.nodes[${i}].title`, issues);
+            requireString(node.description, `${path}.nodes[${i}].description`, issues);
+            requireStringArray(node.satisfies_obligations, `${path}.nodes[${i}].satisfies_obligations`, issues);
+            if (node.addresses_counterexamples !== undefined) {
+                requireStringArray(node.addresses_counterexamples, `${path}.nodes[${i}].addresses_counterexamples`, issues);
+            }
+            requireStringArray(node.depends_on, `${path}.nodes[${i}].depends_on`, issues);
+            requireStringArray(node.verification_obligation_ids, `${path}.nodes[${i}].verification_obligation_ids`, issues);
+            requireStringArray(node.targeted_commands, `${path}.nodes[${i}].targeted_commands`, issues);
+            requireOneOf(node.status, ["pending", "in_progress", "resolved", "blocked"], `${path}.nodes[${i}].status`, issues);
+            if (node.files_likely_touched !== undefined) {
+                requireStringArray(node.files_likely_touched, `${path}.nodes[${i}].files_likely_touched`, issues);
+            }
+            if (node.preconditions !== undefined) {
+                requireStringArray(node.preconditions, `${path}.nodes[${i}].preconditions`, issues);
+            }
+            if (node.expected_changes !== undefined && node.expected_changes !== null) {
+                if (typeof node.expected_changes !== "string") {
+                    pushValidationIssue(issues, `${path}.nodes[${i}].expected_changes`, `${path}.nodes[${i}].expected_changes must be a string when present.`);
+                }
+            }
+            if (typeof node.id === "string")
+                nodeIds.add(node.id);
+        }
+    }
+    if (!Array.isArray(v.edges)) {
+        pushValidationIssue(issues, `${path}.edges`, `${path}.edges must be an array.`);
+    }
+    else {
+        for (const [i, edge] of v.edges.entries()) {
+            if (!isRecord(edge)) {
+                pushValidationIssue(issues, `${path}.edges[${i}]`, `${path}.edges[${i}] must be an object.`);
+                continue;
+            }
+            requireString(edge.from, `${path}.edges[${i}].from`, issues);
+            requireString(edge.to, `${path}.edges[${i}].to`, issues);
+            requireOneOf(edge.kind, ["dependency", "verification"], `${path}.edges[${i}].kind`, issues);
+        }
+    }
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── VerificationReport ────────────────────────────────────────────────────────
+export function validateVerificationReport(value, path = "verification_report") {
+    const issues = [];
+    // VerificationReport has no goal_id at the top level (it carries an optional
+    // goal_id elsewhere); skip the goal_id envelope check for this artifact.
+    const v = validateEnvelope(value, path, CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION, issues, {
+        goalId: false,
+    });
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.findings)) {
+        pushValidationIssue(issues, `${path}.findings`, `${path}.findings must be an array.`);
+    }
+    else {
+        for (const [i, finding] of v.findings.entries()) {
+            if (!isRecord(finding)) {
+                pushValidationIssue(issues, `${path}.findings[${i}]`, `${path}.findings[${i}] must be an object.`);
+                continue;
+            }
+            requireString(finding.finding_id, `${path}.findings[${i}].finding_id`, issues);
+            if (!Array.isArray(finding.traces)) {
+                pushValidationIssue(issues, `${path}.findings[${i}].traces`, `${path}.findings[${i}].traces must be an array.`);
+            }
+            else {
+                for (const [j, trace] of finding.traces.entries()) {
+                    if (!isRecord(trace)) {
+                        pushValidationIssue(issues, `${path}.findings[${i}].traces[${j}]`, `${path}.findings[${i}].traces[${j}] must be an object.`);
+                        continue;
+                    }
+                    requireString(trace.trace_id, `${path}.findings[${i}].traces[${j}].trace_id`, issues);
+                    requireOneOf(trace.kind, ["requirement", "invariant", "counterexample", "task", "file", "command"], `${path}.findings[${i}].traces[${j}].kind`, issues);
+                    requireString(trace.label, `${path}.findings[${i}].traces[${j}].label`, issues);
+                    requireStringArray(trace.evidence, `${path}.findings[${i}].traces[${j}].evidence`, issues);
+                    requireOneOf(trace.status, ["passed", "failed"], `${path}.findings[${i}].traces[${j}].status`, issues);
+                }
+            }
+            requireOneOf(finding.overall_status, ["passed", "failed"], `${path}.findings[${i}].overall_status`, issues);
+        }
+    }
+    requireOneOf(v.overall_status, ["passed", "failed"], `${path}.overall_status`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── CyclicSeamResolution ──────────────────────────────────────────────────────
+export function validateCyclicSeamResolution(value, path = "cyclic_seam_resolution") {
+    const issues = [];
+    const v = validateEnvelope(value, path, CP_CYCLIC_SEAM_RESOLUTION_VERSION, issues);
+    if (!v)
+        return issues;
+    if (!Array.isArray(v.cycles)) {
+        pushValidationIssue(issues, `${path}.cycles`, `${path}.cycles must be an array.`);
+    }
+    else {
+        for (const [i, cycle] of v.cycles.entries()) {
+            if (!isRecord(cycle)) {
+                pushValidationIssue(issues, `${path}.cycles[${i}]`, `${path}.cycles[${i}] must be an object.`);
+                continue;
+            }
+            if (!Array.isArray(cycle.members) || cycle.members.some((m) => typeof m !== "string")) {
+                pushValidationIssue(issues, `${path}.cycles[${i}].members`, `${path}.cycles[${i}].members must be an array of strings.`);
+            }
+        }
+    }
+    requireOneOf(v.status, CYCLIC_SEAM_RESOLUTION_STATUSES, `${path}.status`, issues);
+    requireString(v.created_at, `${path}.created_at`, issues);
+    return issues;
+}
+// ── Validator registry ────────────────────────────────────────────────────────
+/**
+ * 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 const CONTRACT_PIPELINE_VALIDATORS = {
+    goal_spec: validateGoalSpec,
+    context_bundle: validateContextBundle,
+    module_decomposition: validateModuleDecomposition,
+    module_contracts: validateModuleContracts,
+    seam_reconciliation_report: validateSeamReconciliationReport,
+    finalized_module_contracts: validateFinalizedModuleContracts,
+    conceptual_design_critique: validateConceptualDesignCritique,
+    obligation_ledger: validateObligationLedger,
+    cyclic_seam_resolution: validateCyclicSeamResolution,
+    test_validator_plan: validateTestValidatorPlan,
+    contract_assessment_report: validateContractAssessmentReport,
+    counterexample: validateCounterexample,
+    judge_report: validateJudgeReport,
+    implementation_dag: validateImplementationDAG,
+    verification_report: validateVerificationReport,
+};
+//# sourceMappingURL=contractPipeline.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contractPipeline.js","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipeline.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAEL,QAAQ,EACR,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,mCAAmC,EACnC,wCAAwC,EACxC,qCAAqC,EACrC,oDAAoD,EACpD,2CAA2C,EAC3C,oDAAoD,EACpD,wCAAwC,EACxC,sCAAsC,EACtC,4CAA4C,EAC5C,6CAA6C,EAC7C,6CAA6C,GAC9C,MAAM,oBAAoB,CAAC;AAE5B,wDAAwD;AACxD,MAAM,CAAC,MAAM,iCAAiC,GAC5C,kEAA2E,CAAC;AAE9E,MAAM,+BAA+B,GAAG;IACtC,WAAW;IACX,UAAU;IACV,wBAAwB;IACxB,SAAS;CACD,CAAC;AAEX,kFAAkF;AAClF,MAAM,CAAC,MAAM,+BAA+B,GAC1C,gEAAyE,CAAC;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GACtC,4DAAqE,CAAC;AACxE,MAAM,CAAC,MAAM,qCAAqC,GAChD,sEAA+E,CAAC;AAClF,MAAM,CAAC,MAAM,qCAAqC,GAChD,sEAA+E,CAAC;AAElF,iFAAiF;AAEjF,SAAS,aAAa,CACpB,KAAc,EACd,IAAY,EACZ,MAAyB;IAEzB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,8BAA8B,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,IAAY,EACZ,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,IAAI,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAc,EACd,OAA0B,EAC1B,IAAY,EACZ,MAAyB;IAEzB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACrC,mBAAmB,CACjB,MAAM,EACN,IAAI,EACJ,GAAG,IAAI,oBAAoB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACvB,KAAc,EACd,IAAY,EACZ,eAAuB,EACvB,MAAyB,EACzB,OAA6B,EAAE,MAAM,EAAE,IAAI,EAAE;IAE7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,EAAE,CAAC;QAC/C,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,mBAAmB,EAC1B,GAAG,IAAI,8BAA8B,eAAe,IAAI,CACzD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC1B,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,IAAI,GAAG,WAAW;IAElB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,mCAAmC,EAAE,MAAM,CAAC,CAAC;IACrF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,CAAC,CAAC;IACxD,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,CAAC,CAAC;IAC7D,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EAAE,GAAG,IAAI,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAC3E,YAAY,CACV,CAAC,CAAC,WAAW,EACb,CAAC,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,OAAO,CAAC,EACzD,GAAG,IAAI,cAAc,EACrB,MAAM,CACP,CAAC;IACF,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,IAAI,GAAG,gBAAgB;IAEvB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,wCAAwC,EAAE,MAAM,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,YAAY,CAAC,sBAAsB,CAAC,CAAC;gBACjG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAChE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpG,aAAa,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,YAAY,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,eAAe,EAAE,GAAG,IAAI,kBAAkB,EAAE,MAAM,CAAC,CAAC;IACpE,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,2BAA2B,CACzC,KAAc,EACd,IAAI,GAAG,sBAAsB;IAE7B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,+BAA+B,EAAE,MAAM,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,YAAY,CAAC,sBAAsB,CAAC,CAAC;gBACjG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC9D,aAAa,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,IAAI,YAAY,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;YACtF,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,SAAS,2BAA2B,CAAC,KAA8B,EAAE,IAAY,EAAE,MAAyB;IAC1G,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,CAAC,CAAC;IAC3D,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IACnE,kBAAkB,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,IAAI,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,aAAa,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,IAAI,sBAAsB,EAAE,MAAM,CAAC,CAAC;IAChF,kBAAkB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,EAAE,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAc,EACd,IAAI,GAAG,kBAAkB;IAEzB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACxG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,sBAAsB,CAAC,CAAC;gBACnH,SAAS;YACX,CAAC;YACD,2BAA2B,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,IAAI,eAAe,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC5E,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC9E,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC9E,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,IAAI,eAAe,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YACpF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,cAAc,EACrC,GAAG,IAAI,eAAe,CAAC,iFAAiF,CACzG,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,YAAY,CACV,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAC5B,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAClB,GAAG,IAAI,eAAe,CAAC,uBAAuB,EAC9C,MAAM,CACP,CAAC;gBACF,aAAa,CACX,QAAQ,CAAC,UAAU,CAAC,gBAAgB,EACpC,GAAG,IAAI,eAAe,CAAC,+BAA+B,EACtD,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACxG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,sBAAsB,CAAC,CAAC;gBACnH,SAAS;YACX,CAAC;YACD,2BAA2B,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,IAAI,GAAG,aAAa;IAEpB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,aAAa,CAAC,CAAC,CAAC,gBAAgB,EAAE,GAAG,IAAI,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC7D,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,IAAI,eAAe,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,kBAAkB,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACvE,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AACjF,6EAA6E;AAC7E,kFAAkF;AAClF,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,kCAAkC,EAClC,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EAChC,mBAAmB,EACnB,2BAA2B,GAE5B,MAAM,4BAA4B,CAAC;AAEpC,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,CAAC,CAAC;IACtG,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,YAAY,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACtG,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAC3E,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,wBAAwB,EAAE,UAAU,CAAC,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACvG,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,IAAI,GAAG,mBAAmB;IAE1B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,2CAA2C,EAAE,MAAM,CAAC,CAAC;IAC7F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,gCAAgC,CAAC,CAAC;IAC9F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,EAAE,GAAG,IAAI,gBAAgB,CAAC,sBAAsB,CAAC,CAAC;gBACzG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC9D,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,IAAI,gBAAgB,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAChF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpH,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,gBAAgB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YACnF,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAU,CAAC;AAEvF,MAAM,UAAU,yBAAyB,CACvC,KAAc,EACd,IAAI,GAAG,qBAAqB;IAE5B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,6CAA6C,EAAE,MAAM,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,eAAe,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACpF,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,IAAI,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpE,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,cAAc,EACrC,GAAG,IAAI,eAAe,CAAC,oDAAoD,CAC5E,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,eAAe,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBACvC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,sBAAsB,EAC7C,GAAG,IAAI,eAAe,CAAC,yCAAyC,CACjE,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,aAAa,CACX,IAAI,CAAC,kBAAkB,CAAC,aAAa,EACrC,GAAG,IAAI,eAAe,CAAC,oCAAoC,EAC3D,MAAM,CACP,CAAC;oBACF,aAAa,CACX,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAC9B,GAAG,IAAI,eAAe,CAAC,6BAA6B,EACpD,MAAM,CACP,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,CAAC,CAAC;IACtG,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,sBAAsB,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,IAAI,aAAa,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACrF,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9G,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAChF,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACpF,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,IAAI,GAAG,gBAAgB;IAEvB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,wCAAwC,EAAE,MAAM,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,GAAG,EAAE,GAAG,IAAI,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;gBACjH,SAAS;YACX,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,IAAI,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACpE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC1E,kBAAkB,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,IAAI,oBAAoB,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;YACzG,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,oBAAoB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAChF,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC5E,kBAAkB,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,IAAI,oBAAoB,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC;QACrH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,8BAA8B,GAAG;IACrC,UAAU;IACV,cAAc;IACd,WAAW;IACX,SAAS;IACT,eAAe;CACP,CAAC;AAEX,MAAM,oBAAoB,GAAG;IAC3B,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,sEAAsE;IACtE,aAAa;CACL,CAAC;AAEX,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,IAAI,GAAG,cAAc;IAErB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,sCAAsC,EAAE,MAAM,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACjF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,GAAG,EAAE,GAAG,IAAI,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;gBACjH,SAAS;YACX,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;YAClG,YAAY,CAAC,KAAK,CAAC,cAAc,EAAE,8BAA8B,EAAE,GAAG,IAAI,oBAAoB,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;YAC3H,aAAa,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,oBAAoB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,mBAAmB,EAC1B,GAAG,IAAI,+DAA+D,CACvE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,sCAAsC,CAAC,CAAC;QACzG,CAAC;aAAM,CAAC;YACN,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,EAAE,GAAG,IAAI,0BAA0B,EAAE,MAAM,CAAC,CAAC;YACzG,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,EAAE,GAAG,IAAI,+BAA+B,EAAE,MAAM,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,yBAAyB,CACvC,KAAc,EACd,IAAI,GAAG,oBAAoB;IAE3B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,4CAA4C,EAAE,MAAM,CAAC,CAAC;IAC9F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC/D,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAC3E,kBAAkB,CAAC,IAAI,CAAC,qBAAqB,EAAE,GAAG,IAAI,UAAU,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC;YACpG,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;gBACjD,kBAAkB,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,IAAI,UAAU,CAAC,6BAA6B,EAAE,MAAM,CAAC,CAAC;YAC9G,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,UAAU,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAC9E,kBAAkB,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,IAAI,UAAU,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC;YAChH,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;YAC5F,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACnH,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBAC5C,kBAAkB,CAAC,IAAI,CAAC,oBAAoB,EAAE,GAAG,IAAI,UAAU,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACpG,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBACrC,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,UAAU,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBAC1E,IAAI,OAAO,IAAI,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;oBAC9C,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,oBAAoB,EAAE,GAAG,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;gBAC7I,CAAC;YACH,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC7D,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAAI,GAAG,qBAAqB;IAE5B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,6CAA6C,EAAE,MAAM,EAAE;QAC7F,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,sBAAsB,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,4BAA4B,CAAC,CAAC;YAClH,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,sBAAsB,CAAC,CAAC;wBAC7H,SAAS;oBACX,CAAC;oBACD,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;oBACtF,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;oBACxJ,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;oBAChF,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;oBAC3F,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACzG,CAAC;YACH,CAAC;YACD,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,YAAY,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACvF,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,4BAA4B,CAC1C,KAAc,EACd,IAAI,GAAG,wBAAwB;IAE/B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,IAAI,2BAA2B,CAAC,CAAC;IACpF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACtF,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,WAAW,CAAC,WAAW,EAC9B,GAAG,IAAI,WAAW,CAAC,wCAAwC,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,YAAY,CACV,CAAC,CAAC,MAAM,EACR,+BAA+B,EAC/B,GAAG,IAAI,SAAS,EAChB,MAAM,CACP,CAAC;IACF,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAGrC;IACF,SAAS,EAAE,gBAAgB;IAC3B,cAAc,EAAE,qBAAqB;IACrC,oBAAoB,EAAE,2BAA2B;IACjD,gBAAgB,EAAE,uBAAuB;IACzC,0BAA0B,EAAE,gCAAgC;IAC5D,0BAA0B,EAAE,gCAAgC;IAC5D,0BAA0B,EAAE,gCAAgC;IAC5D,iBAAiB,EAAE,wBAAwB;IAC3C,sBAAsB,EAAE,4BAA4B;IACpD,mBAAmB,EAAE,yBAAyB;IAC9C,0BAA0B,EAAE,gCAAgC;IAC5D,cAAc,EAAE,sBAAsB;IACtC,YAAY,EAAE,mBAAmB;IACjC,kBAAkB,EAAE,yBAAyB;IAC7C,mBAAmB,EAAE,0BAA0B;CAChD,CAAC"}