audit-tools 0.52.5 → 0.53.0

package/dist/shared/types/executionPlan.d.ts

@@ -0,0 +1,416 @@
+import { z } from "zod";
+/** Stable requirement identities are authored once, not derived from array position. */
+export declare const ExecutionRequirementSchema: z.ZodEffects<z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    source_finding_ids: z.ZodArray<z.ZodString, "many">;
+    change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+    assertions: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["positive", "negative"]>;
+        description: z.ZodString;
+        scope_paths: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }, {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }>, "many">;
+    inapplicable_reason: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}>, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}>;
+export type ExecutionRequirement = z.infer<typeof ExecutionRequirementSchema>;
+/** The reviewed unit IS the implementation assignment; there is no later semantic planner. */
+export declare const ExecutionUnitSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    source_finding_ids: z.ZodArray<z.ZodString, "many">;
+    requirement_ids: z.ZodArray<z.ZodString, "many">;
+    dependencies: z.ZodArray<z.ZodString, "many">;
+    /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+    phase_ordinal: z.ZodOptional<z.ZodNumber>;
+    read_paths: z.ZodArray<z.ZodString, "many">;
+    allowed_files: z.ZodArray<z.ZodString, "many">;
+    required_tests: z.ZodArray<z.ZodString, "many">;
+    affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        name: string;
+        description: string;
+    }, {
+        name: string;
+        description: string;
+    }>, "many">>;
+    addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    read_paths: string[];
+    title: string;
+    description: string;
+    source_finding_ids: string[];
+    requirement_ids: string[];
+    dependencies: string[];
+    allowed_files: string[];
+    required_tests: string[];
+    affected_interfaces: {
+        name: string;
+        description: string;
+    }[];
+    addresses_counterexample_ids: string[];
+    phase_ordinal?: number | undefined;
+}, {
+    id: string;
+    read_paths: string[];
+    title: string;
+    description: string;
+    source_finding_ids: string[];
+    requirement_ids: string[];
+    dependencies: string[];
+    allowed_files: string[];
+    required_tests: string[];
+    addresses_counterexample_ids: string[];
+    phase_ordinal?: number | undefined;
+    affected_interfaces?: {
+        name: string;
+        description: string;
+    }[] | undefined;
+}>;
+export type ExecutionUnit = z.infer<typeof ExecutionUnitSchema>;
+export declare const ExecutionRequestSchema: z.ZodObject<{
+    id: z.ZodString;
+    text: z.ZodString;
+    source_paths: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    text: string;
+    source_paths: string[];
+}, {
+    id: string;
+    text: string;
+    source_paths: string[];
+}>;
+export type ExecutionRequest = z.infer<typeof ExecutionRequestSchema>;
+export declare const ExecutionSourceDispositionSchema: z.ZodObject<{
+    finding_id: z.ZodString;
+    status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    status: "refuted" | "already_fixed" | "deferred";
+    reason: string;
+    evidence: string[];
+    finding_id: string;
+}, {
+    status: "refuted" | "already_fixed" | "deferred";
+    reason: string;
+    evidence: string[];
+    finding_id: string;
+}>;
+export type ExecutionSourceDisposition = z.infer<typeof ExecutionSourceDispositionSchema>;
+export declare const ExecutionRequestDispositionSchema: z.ZodObject<{
+    status: z.ZodEnum<["already_satisfied", "deferred"]>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    status: "deferred" | "already_satisfied";
+    reason: string;
+    evidence: string[];
+}, {
+    status: "deferred" | "already_satisfied";
+    reason: string;
+    evidence: string[];
+}>;
+/** Semantic authoring surface. Source provenance and accepted review receipts are tool-owned. */
+export declare const ExecutableChangePlanSchema: z.ZodObject<{
+    plan_id: z.ZodString;
+    objective: z.ZodString;
+    non_goals: z.ZodArray<z.ZodString, "many">;
+    requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        source_finding_ids: z.ZodArray<z.ZodString, "many">;
+        change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+        assertions: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["positive", "negative"]>;
+            description: z.ZodString;
+            scope_paths: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }, {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }>, "many">;
+        inapplicable_reason: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }>, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }>, "many">;
+    units: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        description: z.ZodString;
+        source_finding_ids: z.ZodArray<z.ZodString, "many">;
+        requirement_ids: z.ZodArray<z.ZodString, "many">;
+        dependencies: z.ZodArray<z.ZodString, "many">;
+        /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+        phase_ordinal: z.ZodOptional<z.ZodNumber>;
+        read_paths: z.ZodArray<z.ZodString, "many">;
+        allowed_files: z.ZodArray<z.ZodString, "many">;
+        required_tests: z.ZodArray<z.ZodString, "many">;
+        affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            description: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            description: string;
+        }, {
+            name: string;
+            description: string;
+        }>, "many">>;
+        addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        affected_interfaces: {
+            name: string;
+            description: string;
+        }[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+    }, {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+        affected_interfaces?: {
+            name: string;
+            description: string;
+        }[] | undefined;
+    }>, "many">;
+    source_dispositions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        finding_id: z.ZodString;
+        status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }, {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }>, "many">>;
+    request_disposition: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["already_satisfied", "deferred"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    plan_id: string;
+    objective: string;
+    non_goals: string[];
+    requirements: {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }[];
+    units: {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        affected_interfaces: {
+            name: string;
+            description: string;
+        }[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+    }[];
+    source_dispositions: {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }[];
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
+}, {
+    plan_id: string;
+    objective: string;
+    non_goals: string[];
+    requirements: {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }[];
+    units: {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+        affected_interfaces?: {
+            name: string;
+            description: string;
+        }[] | undefined;
+    }[];
+    source_dispositions?: {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }[] | undefined;
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
+}>;
+export type ExecutableChangePlan = z.infer<typeof ExecutableChangePlanSchema>;
+/** Pure graph/provenance constraints shared by authoring, persisted state and handoff. */
+export declare function executionPlanReferenceIssues(plan: ExecutableChangePlan, sourceFindingIds: readonly string[]): string[];
+//# sourceMappingURL=executionPlan.d.ts.map

package/dist/shared/types/executionPlan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlan.d.ts","sourceRoot":"","sources":["../../../src/shared/types/executionPlan.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,wFAAwF;AACxF,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuBrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB;;;;;;;IAO9B,wFAAwF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO/E,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,sBAAsB;;;;;;;;;;;;EAA+D,CAAC;AACnG,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;EAKlC,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAC1F,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAEnC,CAAC;AAEZ,iGAAiG;AACjG,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAzBrC,wFAAwF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC/E,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,0FAA0F;AAC1F,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,oBAAoB,EAC1B,gBAAgB,EAAE,SAAS,MAAM,EAAE,GAClC,MAAM,EAAE,CA0CV"}

package/dist/shared/types/executionPlan.js

@@ -0,0 +1,132 @@
+// sites-pinned: tests/shared/contractPipeline-types.test.ts, tests/shared/shared-core-invariants.test.ts, tests/remediate/executable-plan-identity.test.ts
+import { z } from "zod";
+const text = z.string().trim().min(1);
+const id = text.regex(/^[A-Za-z][A-Za-z0-9_.:-]*$/u);
+/** Stable requirement identities are authored once, not derived from array position. */
+export const ExecutionRequirementSchema = z.object({
+    id,
+    description: text,
+    source_finding_ids: z.array(text),
+    change_kind: z.enum(["behavior_change", "addition", "structural"]),
+    assertions: z.array(z.object({
+        kind: z.enum(["positive", "negative"]),
+        description: text,
+        scope_paths: z.array(text).min(1),
+    }).strict()),
+    inapplicable_reason: text.optional(),
+}).strict().superRefine((requirement, ctx) => {
+    if (requirement.inapplicable_reason) {
+        if (requirement.assertions.length)
+            ctx.addIssue({ code: "custom", message: "An inapplicability claim cannot also claim assertions." });
+        return;
+    }
+    const kinds = new Set(requirement.assertions.map(assertion => assertion.kind));
+    if (requirement.change_kind === "behavior_change" && (!kinds.has("positive") || !kinds.has("negative"))) {
+        ctx.addIssue({ code: "custom", message: "A behavior change needs scoped positive and negative assertions." });
+    }
+    if (requirement.change_kind === "addition" && !requirement.assertions.length) {
+        ctx.addIssue({ code: "custom", message: "An addition needs a falsifiable assertion." });
+    }
+});
+/** The reviewed unit IS the implementation assignment; there is no later semantic planner. */
+export const ExecutionUnitSchema = z.object({
+    id,
+    title: text,
+    description: text,
+    source_finding_ids: z.array(text),
+    requirement_ids: z.array(id).min(1),
+    dependencies: z.array(id),
+    /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+    phase_ordinal: z.number().int().nonnegative().optional(),
+    read_paths: z.array(text).min(1),
+    allowed_files: z.array(text),
+    required_tests: z.array(text),
+    affected_interfaces: z.array(z.object({ name: text, description: text }).strict()).default([]),
+    addresses_counterexample_ids: z.array(id),
+}).strict();
+export const ExecutionRequestSchema = z.object({ id, text, source_paths: z.array(text) }).strict();
+export const ExecutionSourceDispositionSchema = z.object({
+    finding_id: text,
+    status: z.enum(["already_fixed", "refuted", "deferred"]),
+    reason: text,
+    evidence: z.array(text).min(1),
+}).strict();
+export const ExecutionRequestDispositionSchema = z.object({
+    status: z.enum(["already_satisfied", "deferred"]), reason: text, evidence: z.array(text).min(1),
+}).strict();
+/** Semantic authoring surface. Source provenance and accepted review receipts are tool-owned. */
+export const ExecutableChangePlanSchema = z.object({
+    plan_id: id,
+    objective: text,
+    non_goals: z.array(text),
+    requirements: z.array(ExecutionRequirementSchema),
+    units: z.array(ExecutionUnitSchema),
+    source_dispositions: z.array(ExecutionSourceDispositionSchema).default([]),
+    request_disposition: ExecutionRequestDispositionSchema.optional(),
+}).strict();
+/** Pure graph/provenance constraints shared by authoring, persisted state and handoff. */
+export function executionPlanReferenceIssues(plan, sourceFindingIds) {
+    const issues = [];
+    const sources = new Set(sourceFindingIds);
+    const requirements = new Set(plan.requirements.map(requirement => requirement.id));
+    const units = new Set(plan.units.map(unit => unit.id));
+    const unique = (values, label) => {
+        if (new Set(values).size !== values.length)
+            issues.push(`${label} must be unique.`);
+    };
+    unique(sourceFindingIds, "Source finding IDs");
+    unique(plan.requirements.map(requirement => requirement.id), "Requirement IDs");
+    unique(plan.units.map(unit => unit.id), "Execution unit IDs");
+    for (const requirement of plan.requirements) {
+        unique(requirement.source_finding_ids, `Requirement ${requirement.id} source references`);
+        for (const id of requirement.source_finding_ids)
+            if (!sources.has(id))
+                issues.push(`Requirement ${requirement.id} references unknown source finding ${id}.`);
+        if (!plan.units.some(unit => unit.requirement_ids.includes(requirement.id)))
+            issues.push(`Requirement ${requirement.id} has no execution unit.`);
+    }
+    for (const unit of plan.units) {
+        unique(unit.source_finding_ids, `Unit ${unit.id} source references`);
+        unique(unit.requirement_ids, `Unit ${unit.id} requirement references`);
+        unique(unit.dependencies, `Unit ${unit.id} dependencies`);
+        unique(unit.addresses_counterexample_ids, `Unit ${unit.id} counterexample references`);
+        for (const id of unit.source_finding_ids)
+            if (!sources.has(id))
+                issues.push(`Unit ${unit.id} references unknown source finding ${id}.`);
+        for (const id of unit.requirement_ids)
+            if (!requirements.has(id))
+                issues.push(`Unit ${unit.id} references unknown requirement ${id}.`);
+        for (const id of unit.dependencies)
+            if (!units.has(id) || id === unit.id)
+                issues.push(`Unit ${unit.id} has an invalid dependency ${id}.`);
+        const requiredSources = plan.requirements.filter(requirement => unit.requirement_ids.includes(requirement.id)).flatMap(requirement => requirement.source_finding_ids);
+        for (const id of new Set(requiredSources))
+            if (!unit.source_finding_ids.includes(id))
+                issues.push(`Unit ${unit.id} drops requirement source finding ${id}.`);
+    }
+    unique(plan.source_dispositions.map(disposition => disposition.finding_id), "Source dispositions");
+    for (const disposition of plan.source_dispositions) {
+        if (!sources.has(disposition.finding_id))
+            issues.push(`Disposition references unknown finding ${disposition.finding_id}.`);
+        if (plan.units.some(unit => unit.source_finding_ids.includes(disposition.finding_id)))
+            issues.push(`Source finding ${disposition.finding_id} has both execution units and a disposition.`);
+    }
+    const visited = new Set(), visiting = new Set();
+    const visit = (id) => {
+        if (visiting.has(id)) {
+            issues.push(`Execution dependency cycle at ${id}.`);
+            return;
+        }
+        if (visited.has(id))
+            return;
+        visiting.add(id);
+        for (const dependency of plan.units.find(unit => unit.id === id)?.dependencies ?? [])
+            visit(dependency);
+        visiting.delete(id);
+        visited.add(id);
+    };
+    for (const id of units)
+        visit(id);
+    return issues;
+}
+//# sourceMappingURL=executionPlan.js.map

package/dist/shared/types/executionPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlan.js","sourceRoot":"","sources":["../../../src/shared/types/executionPlan.ts"],"names":[],"mappings":"AAAA,2JAA2J;AAC3J,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACtC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;AAErD,wFAAwF;AACxF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,EAAE;IACF,WAAW,EAAE,IAAI;IACjB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAClE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACtC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KAClC,CAAC,CAAC,MAAM,EAAE,CAAC;IACZ,mBAAmB,EAAE,IAAI,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE;IAC3C,IAAI,WAAW,CAAC,mBAAmB,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM;YAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;QACvI,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,WAAW,KAAK,iBAAiB,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACxG,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kEAAkE,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC7E,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC,CAAC,CAAC;AAGH,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE;IACF,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,IAAI;IACjB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACjC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACzB,wFAAwF;IACxF,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC5B,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC7B,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9F,4BAA4B,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;CAC1C,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGnG,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxD,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAChG,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,iGAAiG;AACjG,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACxB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IACjD,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACnC,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1E,mBAAmB,EAAE,iCAAiC,CAAC,QAAQ,EAAE;CAClE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,0FAA0F;AAC1F,MAAM,UAAU,4BAA4B,CAC1C,IAA0B,EAC1B,gBAAmC;IAEnC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,CAAC,MAAyB,EAAE,KAAa,EAAQ,EAAE;QAChE,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,CAAC,CAAC;IACtF,CAAC,CAAC;IACF,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAC9D,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,kBAAkB,EAAE,eAAe,WAAW,CAAC,EAAE,oBAAoB,CAAC,CAAC;QAC1F,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,kBAAkB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,sCAAsC,EAAE,GAAG,CAAC,CAAC;QAC7J,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,yBAAyB,CAAC,CAAC;IACnJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,QAAQ,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,IAAI,CAAC,EAAE,eAAe,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,4BAA4B,EAAE,QAAQ,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC;QACvF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,kBAAkB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,sCAAsC,EAAE,GAAG,CAAC,CAAC;QACxI,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,eAAe;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,mCAAmC,EAAE,GAAG,CAAC,CAAC;QACvI,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,8BAA8B,EAAE,GAAG,CAAC,CAAC;QAC1I,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACtK,KAAK,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC,eAAe,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,qCAAqC,EAAE,GAAG,CAAC,CAAC;IAC/J,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACnG,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,0CAA0C,WAAW,CAAC,UAAU,GAAG,CAAC,CAAC;QAC3H,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,UAAU,8CAA8C,CAAC,CAAC;IAC7L,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAChE,MAAM,KAAK,GAAG,CAAC,EAAU,EAAQ,EAAE;QACjC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACtF,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,IAAI,EAAE;YAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACxG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK;QAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC"}