audit-tools 0.52.5 → 0.54.0

package/dist/remediate/contractPipeline/contractReviewBinding.js

@@ -1,75 +0,0 @@
-// sites-pinned: tests/remediate/contract-review-independence.test.ts, tests/remediate/contract-pipeline-adversarial.test.ts
-import { join } from "node:path";
-import { z } from "zod";
-import { bindWorkerPrompt } from "../../shared/submission/workerPromptBinding.js";
-import { writeJsonFile } from "../../shared/io/json.js";
-import { readSubmissionDocument } from "../../shared/submission/submissionClassifier.js";
-import { hashContent } from "../../shared/hash.js";
-import { stableStringify } from "../../shared/stableStringify.js";
-import { ReviewRequirementSchema, parseReviewSubmissionEnvelope } from "../../shared/types/reviewIndependence.js";
-import { DEPENDENCY_MAP, contractPipelineDir, readContractArtifact } from "./artifactStore.js";
-const BindingSchema = z.object({
-    contract_version: z.literal("contract-review-binding/v1"),
-    artifact_name: z.string(),
-    role: z.string(),
-    emission_id: z.string(),
-    requirement: ReviewRequirementSchema,
-    prompt_sha256: z.string().regex(/^[0-9a-f]{64}$/u),
-    source_prompt_sha256: z.string().regex(/^[0-9a-f]{64}$/u),
-    dependency_hashes: z.record(z.string(), z.string().nullable()),
-}).strict();
-export function contractReviewBindingPath(artifactsDir, name) {
-    return join(contractPipelineDir(artifactsDir), `${name}.review-binding.json`);
-}
-async function dependencyHashes(artifactsDir, name) {
-    const pairs = await Promise.all(DEPENDENCY_MAP[name].map(async (dep) => [dep, (await readContractArtifact(artifactsDir, dep))?.content_hash ?? null]));
-    return Object.fromEntries(pairs);
-}
-/** Tool-owned expectation, separate from the worker's declared review envelope. */
-export async function bindContractReviewPrompt(params) {
-    if (params.requirement === "ordinary")
-        return params.prompt;
-    const dependencies = await dependencyHashes(params.artifactsDir, params.artifact);
-    const sourcePromptHash = hashContent(params.prompt);
-    const priorRead = await readSubmissionDocument(contractReviewBindingPath(params.artifactsDir, params.artifact));
-    const prior = BindingSchema.safeParse(priorRead.kind === "value" ? priorRead.value : undefined);
-    const sameTask = prior.success && prior.data.artifact_name === params.artifact && prior.data.role === params.role &&
-        prior.data.requirement === params.requirement && prior.data.source_prompt_sha256 === sourcePromptHash &&
-        stableStringify(prior.data.dependency_hashes) === stableStringify(dependencies);
-    const emissionId = sameTask ? prior.data.emission_id : params.emissionId;
-    const context = { artifact_name: params.artifact, role: params.role, emission_id: emissionId, requirement: params.requirement, dependency_hashes: dependencies };
-    const body = `${params.prompt}\n\n## Bound review submission\n\nThe domain schema above is the inner result. Submit the complete review envelope below to the named output path, not a raw artifact.\nReview context: ${stableStringify(context)}`;
-    const bound = bindWorkerPrompt(body, prompt_sha256 => [
-        "```json",
-        JSON.stringify({ contract_version: "review-submission/v1", prompt_sha256,
-            review: { mode: params.requirement === "degraded_allowed" ? "degraded" : "independent", reason: "<how the review context meets the required policy>" },
-            result: { "<artifact fields>": "<complete domain object using the schema above>" },
-        }, null, 2),
-        "```",
-        "If the required review context is unavailable, declare mode unavailable with the reason. Do not silently replace required independent review with self-review.",
-    ].join("\n"));
-    await writeJsonFile(contractReviewBindingPath(params.artifactsDir, params.artifact), {
-        contract_version: "contract-review-binding/v1", ...context, prompt_sha256: bound.sha256, source_prompt_sha256: sourcePromptHash,
-    });
-    return bound.text;
-}
-export async function validateContractReviewInput(params) {
-    if (params.requirement === "ordinary")
-        return { ok: true, payload: params.raw };
-    const read = await readSubmissionDocument(contractReviewBindingPath(params.artifactsDir, params.artifact));
-    const parsed = BindingSchema.safeParse(read.kind === "value" ? read.value : undefined);
-    if (!parsed.success || parsed.data.artifact_name !== params.artifact || parsed.data.role !== params.role || parsed.data.requirement !== params.requirement) {
-        return { ok: false, code: "binding_missing", issue: "This required review has no current tool-issued role/policy binding. Re-emit the role and use its bound review-submission/v1 envelope." };
-    }
-    const binding = parsed.data;
-    if (stableStringify(binding.dependency_hashes) !== stableStringify(await dependencyHashes(params.artifactsDir, params.artifact))) {
-        return { ok: false, code: "dependency_stale", issue: "The inputs reviewed by this submission have changed. Re-emit the review against the current dependency content before accepting it." };
-    }
-    const submission = parseReviewSubmissionEnvelope(params.raw, { requirement: params.requirement, promptSha256: binding.prompt_sha256 });
-    if (!submission.ok)
-        return submission;
-    return { ok: true, payload: submission.result, provenance: {
-            requirement: params.requirement, prompt_sha256: binding.prompt_sha256, review: submission.review,
-        } };
-}
-//# sourceMappingURL=contractReviewBinding.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"contractReviewBinding.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/contractReviewBinding.ts"],"names":[],"mappings":"AAAA,4HAA4H;AAC5H,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AAClF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,6BAA6B,EAA4F,MAAM,0CAA0C,CAAC;AAC5M,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,oBAAoB,EAAqC,MAAM,oBAAoB,CAAC;AAElI,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACzD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,WAAW,EAAE,uBAAuB;IACpC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAClD,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACzD,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;CAC/D,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,UAAU,yBAAyB,CAAC,YAAoB,EAAE,IAAkC;IAChG,OAAO,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;AAChF,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,YAAoB,EAAE,IAAkC;IACtF,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,oBAAoB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI,CAAU,CAAC,CAAC,CAAC;IAC9J,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAG9C;IACC,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC;IAC5D,MAAM,YAAY,GAAG,MAAM,gBAAgB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClF,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAAC,yBAAyB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChH,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAC/G,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,gBAAgB;QACrG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC;IAClF,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;IACzE,MAAM,OAAO,GAAG,EAAE,aAAa,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,iBAAiB,EAAE,YAAY,EAAE,CAAC;IACjK,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,2LAA2L,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;IACnP,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;QACpD,SAAS;QACT,IAAI,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,aAAa;YACtE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,KAAK,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,oDAAoD,EAAE;YACtJ,MAAM,EAAE,EAAE,mBAAmB,EAAE,iDAAiD,EAAE;SACnF,EAAE,IAAI,EAAE,CAAC,CAAC;QACX,KAAK;QACL,gKAAgK;KACjK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACd,MAAM,aAAa,CAAC,yBAAyB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE;QACnF,gBAAgB,EAAE,4BAA4B,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,oBAAoB,EAAE,gBAAgB;KAChI,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAAC,MAGjD;IACC,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,yBAAyB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvF,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC3J,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,wIAAwI,EAAE,CAAC;IACjM,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5B,IAAI,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,eAAe,CAAC,MAAM,gBAAgB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACjI,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,qIAAqI,EAAE,CAAC;IAC/L,CAAC;IACD,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IACvI,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,UAAU,CAAC;IACtC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE;YACzD,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,CAAC,MAAO;SAClG,EAAE,CAAC;AACN,CAAC"}

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

@@ -1,27 +0,0 @@
-/**
- * Content fingerprint for a counterexample.
- *
- * The judge↔repair convergence gate ({@link evaluateJudgeGate} in
- * `../steps/contractPipeline.js`) must detect genuine re-occurrence of the
- * same unrepaired defect across independent adversarial rounds. The
- * reviewer-supplied counterexample `id` is free text (see
- * `Counterexample.id` in `audit-tools/shared`'s obligations types) and is NOT
- * a stable cross-round identity: two independent critic rounds each commonly
- * label their genuinely-distinct top counterexample "CE-001" (the prompt
- * schema's own example value). Keying convergence on the raw id string then
- * misreads "two different CEs that happen to share a label" as "the same CE
- * re-accepted after a repair" and falsely escalates a stall while a real new
- * defect is being correctly repaired.
- *
- * This fingerprint keys on CONTENT instead: the tool-constrained
- * `violated_obligation_ids` vocabulary (sorted, normalized) paired with the
- * normalized `claim` prose, falling back to the normalized claim alone when
- * no obligations are cited. Mirrors the derivation style of
- * `src/shared/findingIdentitySignature.ts` (tiered stable fields, aggressive
- * title normalization, truncated content hash) rather than introducing a
- * second identity convention.
- */
-import { type Counterexample } from "audit-tools/shared";
-/** Deterministic, content-derived identity for a counterexample. */
-export declare function counterexampleFingerprint(ce: Counterexample): string;
-//# sourceMappingURL=counterexampleFingerprint.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"counterexampleFingerprint.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/counterexampleFingerprint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAA+B,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEtF,oEAAoE;AACpE,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,CAWpE"}

package/dist/remediate/contractPipeline/counterexampleFingerprint.js

@@ -1,37 +0,0 @@
-/**
- * Content fingerprint for a counterexample.
- *
- * The judge↔repair convergence gate ({@link evaluateJudgeGate} in
- * `../steps/contractPipeline.js`) must detect genuine re-occurrence of the
- * same unrepaired defect across independent adversarial rounds. The
- * reviewer-supplied counterexample `id` is free text (see
- * `Counterexample.id` in `audit-tools/shared`'s obligations types) and is NOT
- * a stable cross-round identity: two independent critic rounds each commonly
- * label their genuinely-distinct top counterexample "CE-001" (the prompt
- * schema's own example value). Keying convergence on the raw id string then
- * misreads "two different CEs that happen to share a label" as "the same CE
- * re-accepted after a repair" and falsely escalates a stall while a real new
- * defect is being correctly repaired.
- *
- * This fingerprint keys on CONTENT instead: the tool-constrained
- * `violated_obligation_ids` vocabulary (sorted, normalized) paired with the
- * normalized `claim` prose, falling back to the normalized claim alone when
- * no obligations are cited. Mirrors the derivation style of
- * `src/shared/findingIdentitySignature.ts` (tiered stable fields, aggressive
- * title normalization, truncated content hash) rather than introducing a
- * second identity convention.
- */
-import { hashContent, normalizeTitle } from "audit-tools/shared";
-/** Deterministic, content-derived identity for a counterexample. */
-export function counterexampleFingerprint(ce) {
-    const obligations = (ce.violated_obligation_ids ?? [])
-        .map((id) => id.trim().toLowerCase())
-        .filter((id) => id.length > 0)
-        .sort();
-    const claim = normalizeTitle(ce.claim);
-    const key = obligations.length > 0
-        ? `obligations|${obligations.join(",")}|${claim}`
-        : `claim|${claim}`;
-    return hashContent(key, { length: 8 });
-}
-//# sourceMappingURL=counterexampleFingerprint.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"counterexampleFingerprint.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/counterexampleFingerprint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAuB,MAAM,oBAAoB,CAAC;AAEtF,oEAAoE;AACpE,MAAM,UAAU,yBAAyB,CAAC,EAAkB;IAC1D,MAAM,WAAW,GAAG,CAAC,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC;SACnD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;SACpC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;SAC7B,IAAI,EAAE,CAAC;IACV,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,GAAG,GACP,WAAW,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,eAAe,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE;QACjD,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC;IACvB,OAAO,WAAW,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACzC,CAAC"}

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

@@ -1,131 +0,0 @@
-/**
- * Cyclic-seam resolution: deterministic cycle detection over module seam
- * obligations, plus a re-check helper that validates a proposed cycle-break
- * does not re-introduce a cycle.
- *
- * A "seam obligation" is any module that declares an interface obligation
- * (via neighbor_needs / inputs / outputs) that depends on a type or interface
- * owned by another module.  For the purposes of this detector, a module M
- * is said to need module N when M lists N in its `needs` array.
- *
- * Detection is the shared directed-cycle core's exact strongly-connected-
- * component membership (`audit-tools/shared` → `findCyclicComponents`).  Each
- * cyclic component is reported as one detected cycle.
- */
-/** A module node in the seam-obligation graph. */
-export interface SeamObligationNode {
-    /** Unique module identifier. */
-    id: string;
-    /** IDs of modules this module declares an interface obligation toward. */
-    needs: string[];
-}
-/**
- * One detected cycle (N ≥ 1 nodes — a module that needs ITSELF is a 1-member
- * cycle; every other cycle has 2 or more members).
- */
-export interface DetectedCycle {
-    /** Module IDs that form the cycle, in input order (not in cycle order). */
-    members: string[];
-}
-/** A proposed mediator module that breaks a cycle. */
-export interface ProposedMediator {
-    /** Module ID for the new mediator. */
-    id: string;
-    /** Modules the mediator itself needs (must not form a new cycle). */
-    needs: string[];
-}
-/** Result of a cycle-break re-check. */
-export interface CycleBreakValidation {
-    accepted: boolean;
-    /** Present only when accepted === false. */
-    reason?: string;
-}
-/**
- * The break a worker ACTUALLY authored, read off the `cyclic_seam_resolution`
- * record rather than fabricated by the re-checker.
- *
- * Both sanctioned strategies designate a REAL node: `mediator` names a third
- * obligation that now owns the shared primitive, `single_authority` names the
- * one cycle member that keeps the interface. A record that designates nothing
- * cannot be validated against the real graph at all — see
- * {@link validateAuthoredCycleBreak}, which refuses it rather than inventing a
- * placeholder.
- */
-export interface AuthoredCycleBreak {
-    /** `break_strategy` from the resolution record. */
-    strategy: "mediator" | "single_authority";
-    /** The obligation id the record designates, when it named one. */
-    designatedId?: string;
-}
-/**
- * Detect cyclic seam obligations in a module graph.
- *
- * Membership is EXACT: each reported cycle is one strongly connected component
- * of the (module → modules it needs) graph. Two properties follow, and both
- * differ from the Kahn drain this replaced:
- *
- *  - a module DOWNSTREAM of a cycle (it needs a member, no member needs it) is
- *    not a member and is not reported — the drain reported every node it could
- *    not drain, tails included;
- *  - two cycles CHAINED by an edge between them are two cycles, not one — the
- *    drain's weakly-connected grouping fused them.
- *
- * A module that needs ITSELF is reported as a 1-member cycle.
- *
- * Returns an empty array when no cycle is found.
- */
-export declare function detectCyclicSeamObligations(nodes: SeamObligationNode[]): DetectedCycle[];
-/**
- * Validate a proposed cycle-break by re-running cycle detection on the
- * graph after the break is applied.
- *
- * The break modifies the original graph as follows:
- * - Remove every `needs` edge between original cycle members that crossed the
- *   cycle (both sides still appear in the graph with their original non-cycle
- *   needs intact).
- * - Add the `proposedMediator` as a new node.
- * - For each original cycle member, replace any needs-edge that pointed to
- *   another cycle member with a needs-edge to the mediator.
- *
- * If the resulting graph still contains a cycle, the proposed break is
- * rejected.
- *
- * The mediator appears EXACTLY ONCE in the patched graph. When it is already a
- * node of `allNodes` — which is the live feed from
- * {@link validateAuthoredCycleBreak}, where the mediator is a real obligation —
- * its own entry carries the proposed needs instead of a second entry with the
- * same id being appended.
- */
-export declare function validateCycleBreak(originalCycle: DetectedCycle, allNodes: SeamObligationNode[], proposedMediator: ProposedMediator): CycleBreakValidation;
-/**
- * Re-check a cycle-break AS AUTHORED, against the REAL obligation graph.
- *
- * The distinction from {@link validateCycleBreak} is the whole point: that
- * function asks a HYPOTHETICAL — "if the intra-cycle edges were redirected to
- * this proposed node, would the graph be acyclic?" — and its caller used to
- * answer it with a node it had fabricated itself (`{ id: "_mediator_A_B",
- * needs: [] }`) against the UNMODIFIED ledger. An edge-free sink absorbs every
- * redirected edge, so for a single detected cycle that question is acyclic BY
- * CONSTRUCTION and the re-check could never reject — a worker could claim
- * `status: "resolved"` while leaving the ledger's cycle edges exactly as they
- * were, and the pipeline advanced.
- *
- * This function asks the REAL question instead: does the graph the pipeline
- * will actually consume still carry the cycle? The break is accepted only when
- *
- *   1. the record designates a node (a break with no designated owner is not a
- *      break, it is a claim), and that node EXISTS in the live graph;
- *   2. the strategy and the designated node agree — a mediator is a THIRD node
- *      outside the cycle, a single authority is one of the cycle's own members;
- *   3. the live graph no longer contains a cycle touching the original members
- *      — i.e. the break is reflected in the edges, not just asserted in prose;
- *   4. and, for the mediator strategy, redirecting the cycle's edges at the
- *      mediator's REAL `needs` (never a fabricated empty set) stays acyclic, so
- *      a mediator that itself depends back into the cycle is refused.
- *
- * `currentNodes` must be built from the obligation ledger as it stands NOW, on
- * this invocation, after ingestion and the staleness-archive pass — a stale
- * snapshot would reintroduce exactly the vacuity this closes.
- */
-export declare function validateAuthoredCycleBreak(originalCycle: DetectedCycle, currentNodes: SeamObligationNode[], authored: AuthoredCycleBreak): CycleBreakValidation;
-//# sourceMappingURL=cyclicSeamResolution.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"cyclicSeamResolution.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/cyclicSeamResolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,kDAAkD;AAClD,MAAM,WAAW,kBAAkB;IACjC,gCAAgC;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,0EAA0E;IAC1E,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAC/B,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wCAAwC;AACxC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,OAAO,CAAC;IAClB,4CAA4C;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,kBAAkB;IACjC,mDAAmD;IACnD,QAAQ,EAAE,UAAU,GAAG,kBAAkB,CAAC;IAC1C,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,kBAAkB,EAAE,GAC1B,aAAa,EAAE,CAMjB;AAID;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,kBAAkB,EAAE,EAC9B,gBAAgB,EAAE,gBAAgB,GACjC,oBAAoB,CA6CtB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,aAAa,EAC5B,YAAY,EAAE,kBAAkB,EAAE,EAClC,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,CAoJtB"}

package/dist/remediate/contractPipeline/cyclicSeamResolution.js

@@ -1,257 +0,0 @@
-/**
- * Cyclic-seam resolution: deterministic cycle detection over module seam
- * obligations, plus a re-check helper that validates a proposed cycle-break
- * does not re-introduce a cycle.
- *
- * A "seam obligation" is any module that declares an interface obligation
- * (via neighbor_needs / inputs / outputs) that depends on a type or interface
- * owned by another module.  For the purposes of this detector, a module M
- * is said to need module N when M lists N in its `needs` array.
- *
- * Detection is the shared directed-cycle core's exact strongly-connected-
- * component membership (`audit-tools/shared` → `findCyclicComponents`).  Each
- * cyclic component is reported as one detected cycle.
- */
-import { findCyclicComponents } from "audit-tools/shared";
-// ── Cycle detection ───────────────────────────────────────────────────────────
-/**
- * Detect cyclic seam obligations in a module graph.
- *
- * Membership is EXACT: each reported cycle is one strongly connected component
- * of the (module → modules it needs) graph. Two properties follow, and both
- * differ from the Kahn drain this replaced:
- *
- *  - a module DOWNSTREAM of a cycle (it needs a member, no member needs it) is
- *    not a member and is not reported — the drain reported every node it could
- *    not drain, tails included;
- *  - two cycles CHAINED by an edge between them are two cycles, not one — the
- *    drain's weakly-connected grouping fused them.
- *
- * A module that needs ITSELF is reported as a 1-member cycle.
- *
- * Returns an empty array when no cycle is found.
- */
-export function detectCyclicSeamObligations(nodes) {
-    const components = findCyclicComponents(nodes.map((node) => ({ id: node.id, depends_on: node.needs })), { includeSelfLoops: true });
-    return components.map((members) => ({ members }));
-}
-// ── Cycle-break re-check ──────────────────────────────────────────────────────
-/**
- * Validate a proposed cycle-break by re-running cycle detection on the
- * graph after the break is applied.
- *
- * The break modifies the original graph as follows:
- * - Remove every `needs` edge between original cycle members that crossed the
- *   cycle (both sides still appear in the graph with their original non-cycle
- *   needs intact).
- * - Add the `proposedMediator` as a new node.
- * - For each original cycle member, replace any needs-edge that pointed to
- *   another cycle member with a needs-edge to the mediator.
- *
- * If the resulting graph still contains a cycle, the proposed break is
- * rejected.
- *
- * The mediator appears EXACTLY ONCE in the patched graph. When it is already a
- * node of `allNodes` — which is the live feed from
- * {@link validateAuthoredCycleBreak}, where the mediator is a real obligation —
- * its own entry carries the proposed needs instead of a second entry with the
- * same id being appended.
- */
-export function validateCycleBreak(originalCycle, allNodes, proposedMediator) {
-    const cycleSet = new Set(originalCycle.members);
-    // Build the patched node list:
-    // - For each cycle member: replace needs-edges to other cycle members with
-    //   a needs-edge to the mediator.
-    // - For non-cycle members: unchanged.
-    // - Add the mediator, unless the graph already carries a node with its id.
-    const patched = [];
-    const mediatorAlreadyPresent = allNodes.some((node) => node.id === proposedMediator.id);
-    for (const node of allNodes) {
-        if (node.id === proposedMediator.id) {
-            // The mediator's own entry — carry the proposed needs here rather than
-            // appending a second node with the same id below.
-            patched.push({ id: node.id, needs: [...proposedMediator.needs] });
-        }
-        else if (cycleSet.has(node.id)) {
-            const newNeeds = node.needs.map((dep) => cycleSet.has(dep) ? proposedMediator.id : dep);
-            // Deduplicate mediator references.
-            patched.push({ id: node.id, needs: [...new Set(newNeeds)] });
-        }
-        else {
-            patched.push(node);
-        }
-    }
-    // Add the mediator itself, unless the live graph already carries it.
-    if (!mediatorAlreadyPresent) {
-        patched.push({ id: proposedMediator.id, needs: proposedMediator.needs });
-    }
-    const remaining = detectCyclicSeamObligations(patched);
-    if (remaining.length > 0) {
-        const affectedIds = remaining.flatMap((c) => c.members).join(", ");
-        return {
-            accepted: false,
-            reason: `Proposed mediator "${proposedMediator.id}" still leaves cycle(s) involving: [${affectedIds}].`,
-        };
-    }
-    return { accepted: true };
-}
-/**
- * Re-check a cycle-break AS AUTHORED, against the REAL obligation graph.
- *
- * The distinction from {@link validateCycleBreak} is the whole point: that
- * function asks a HYPOTHETICAL — "if the intra-cycle edges were redirected to
- * this proposed node, would the graph be acyclic?" — and its caller used to
- * answer it with a node it had fabricated itself (`{ id: "_mediator_A_B",
- * needs: [] }`) against the UNMODIFIED ledger. An edge-free sink absorbs every
- * redirected edge, so for a single detected cycle that question is acyclic BY
- * CONSTRUCTION and the re-check could never reject — a worker could claim
- * `status: "resolved"` while leaving the ledger's cycle edges exactly as they
- * were, and the pipeline advanced.
- *
- * This function asks the REAL question instead: does the graph the pipeline
- * will actually consume still carry the cycle? The break is accepted only when
- *
- *   1. the record designates a node (a break with no designated owner is not a
- *      break, it is a claim), and that node EXISTS in the live graph;
- *   2. the strategy and the designated node agree — a mediator is a THIRD node
- *      outside the cycle, a single authority is one of the cycle's own members;
- *   3. the live graph no longer contains a cycle touching the original members
- *      — i.e. the break is reflected in the edges, not just asserted in prose;
- *   4. and, for the mediator strategy, redirecting the cycle's edges at the
- *      mediator's REAL `needs` (never a fabricated empty set) stays acyclic, so
- *      a mediator that itself depends back into the cycle is refused.
- *
- * `currentNodes` must be built from the obligation ledger as it stands NOW, on
- * this invocation, after ingestion and the staleness-archive pass — a stale
- * snapshot would reintroduce exactly the vacuity this closes.
- */
-export function validateAuthoredCycleBreak(originalCycle, currentNodes, authored) {
-    const members = originalCycle.members;
-    const cycleSet = new Set(members);
-    const designatedId = authored.designatedId?.trim();
-    if (!designatedId) {
-        return {
-            accepted: false,
-            reason: `The ${authored.strategy} break for cycle [${members.join(", ")}] names no obligation. ` +
-                `A mediator break must name the mediating obligation and a single_authority break must ` +
-                `name the owning obligation, or there is nothing to re-check against the ledger.`,
-        };
-    }
-    const designated = currentNodes.find((node) => node.id === designatedId);
-    if (!designated) {
-        return {
-            accepted: false,
-            reason: `The ${authored.strategy} break for cycle [${members.join(", ")}] names "${designatedId}", ` +
-                `which is not an obligation in the ledger. The break must be recorded in the ledger the ` +
-                `pipeline reads, not only in the resolution record.`,
-        };
-    }
-    if (authored.strategy === "mediator" && cycleSet.has(designatedId)) {
-        return {
-            accepted: false,
-            reason: `Mediator "${designatedId}" is itself a member of cycle [${members.join(", ")}]. A mediator ` +
-                `is a THIRD obligation that both sides depend on; designating a participant is a ` +
-                `single_authority break, not a mediator break.`,
-        };
-    }
-    if (authored.strategy === "single_authority" && !cycleSet.has(designatedId)) {
-        return {
-            accepted: false,
-            reason: `Single authority "${designatedId}" is not a member of cycle [${members.join(", ")}]. The ` +
-                `authority must be one of the co-defining obligations; the others become consumers.`,
-        };
-    }
-    // (3) The designated obligation must be a member of THE BROKEN CYCLE'S OWN
-    // node set — the cycle members plus what they now need. Existing in the
-    // ledger is not enough: a mediator that no cycle member depends on mediates
-    // nothing, so an arbitrary unrelated obligation could otherwise be named and
-    // the break would pass on the strength of a graph that is acyclic for
-    // reasons having nothing to do with the claim.
-    const brokenCycleNodeSet = new Set(members);
-    for (const node of currentNodes) {
-        if (!cycleSet.has(node.id))
-            continue;
-        for (const dep of node.needs)
-            brokenCycleNodeSet.add(dep);
-    }
-    if (!brokenCycleNodeSet.has(designatedId)) {
-        return {
-            accepted: false,
-            reason: `The ${authored.strategy} break names "${designatedId}", which no member of cycle ` +
-                `[${members.join(", ")}] depends on. The designated obligation must be part of the broken ` +
-                `cycle's own node set — a mediator no cycle member needs is not mediating the cycle.`,
-        };
-    }
-    // (3b) BOTH SIDES, for the mediator strategy. Step (3) above accepts a
-    // designated node that ANY single member needs, but the prompt this record
-    // answers states the stronger requirement: "a THIRD obligation that both sides
-    // depend on". A cycle of A ← B ← C (a two-sided cycle: A needs B, B needs C, C
-    // needs A) designating C as the mediator passes (3) on A's single edge while
-    // leaving B — one of the two sides the break is supposed to route through C —
-    // still pointing at the cycle. The break would then be recorded as a mediated
-    // resolution over a ledger whose edges the designated node does not mediate.
-    //
-    // The cycle is a real cycle, so "both sides" is answerable without guessing
-    // WHICH two members are the sides: the requirement enforced here is that at
-    // least TWO distinct cycle members depend on the designated node. For a
-    // two-member cycle that is exactly both; for a longer cycle it is the
-    // structural form of the same claim (a mediator one member uses is not shared,
-    // which is the defect). `single_authority` is deliberately NOT held to this:
-    // its own branch above already requires the designated node to BE a member,
-    // and the prompt asks the others to become its consumers, not to share it.
-    if (authored.strategy === "mediator") {
-        const dependingMembers = currentNodes.filter((node) => cycleSet.has(node.id) && node.needs.includes(designatedId));
-        if (dependingMembers.length < 2) {
-            const named = dependingMembers.map((node) => node.id);
-            return {
-                accepted: false,
-                reason: `Mediator "${designatedId}" is depended on by ` +
-                    `${named.length === 0 ? "no member" : `only [${named.join(", ")}]`} of cycle ` +
-                    `[${members.join(", ")}]. A mediator is a THIRD obligation that BOTH sides depend on; ` +
-                    `one member routing through it does not mediate the cycle, it re-points one edge. ` +
-                    `Rewrite the ledger so every side of the cycle depends on "${designatedId}".`,
-            };
-        }
-    }
-    // (4) The live edges, not the claim: any remaining cycle that still touches
-    // the original members means the ledger was never actually rewritten.
-    const allRemaining = detectCyclicSeamObligations(currentNodes);
-    const remaining = allRemaining.filter((cycle) => cycle.members.some((id) => cycleSet.has(id)));
-    if (remaining.length > 0) {
-        const affectedIds = [...new Set(remaining.flatMap((c) => c.members))].join(", ");
-        return {
-            accepted: false,
-            reason: `Cycle [${members.join(", ")}] is still present in the obligation ledger after the claimed ` +
-                `${authored.strategy} break via "${designatedId}" — the depends_on edges involving ` +
-                `[${affectedIds}] were not changed. Rewrite the ledger so the cycle's edges actually route ` +
-                `through the designated obligation.`,
-        };
-    }
-    // (5) SYMMETRIC across both strategies: the break must not have introduced a
-    // cycle ELSEWHERE either. Step (4) only looks at cycles touching the original
-    // members, so a brand-new cycle among untouched obligations would pass it —
-    // and a single_authority break used to reach the accept with no whole-graph
-    // check at all.
-    if (allRemaining.length > 0) {
-        const affectedIds = [...new Set(allRemaining.flatMap((c) => c.members))].join(", ");
-        return {
-            accepted: false,
-            reason: `The ${authored.strategy} break via "${designatedId}" leaves the obligation graph cyclic ` +
-                `elsewhere: [${affectedIds}]. Breaking one cycle may not introduce another.`,
-        };
-    }
-    // (6) The mediator's REAL needs — the check the fabricated `needs: []` node
-    // could never fail. Deliberately NOT run for single_authority: that strategy
-    // designates a cycle MEMBER, and `validateCycleBreak` redirects a member's
-    // intra-cycle edges at the designated node, which for the authority itself
-    // would manufacture a self-edge and reject a sound break. Step (5) is the
-    // whole-graph guarantee both strategies share.
-    if (authored.strategy === "mediator") {
-        return validateCycleBreak(originalCycle, currentNodes, {
-            id: designated.id,
-            needs: designated.needs,
-        });
-    }
-    return { accepted: true };
-}
-//# sourceMappingURL=cyclicSeamResolution.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"cyclicSeamResolution.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/cyclicSeamResolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAsD1D,iFAAiF;AAEjF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAA2B;IAE3B,MAAM,UAAU,GAAG,oBAAoB,CACrC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAC9D,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAC3B,CAAC;IACF,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAA4B,EAC5B,QAA8B,EAC9B,gBAAkC;IAElC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAEhD,+BAA+B;IAC/B,2EAA2E;IAC3E,kCAAkC;IAClC,sCAAsC;IACtC,2EAA2E;IAC3E,MAAM,OAAO,GAAyB,EAAE,CAAC;IACzC,MAAM,sBAAsB,GAAG,QAAQ,CAAC,IAAI,CAC1C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,gBAAgB,CAAC,EAAE,CAC1C,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,EAAE,KAAK,gBAAgB,CAAC,EAAE,EAAE,CAAC;YACpC,uEAAuE;YACvE,kDAAkD;YAClD,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACtC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAC9C,CAAC;YACF,mCAAmC;YACnC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IAEvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,sBAAsB,gBAAgB,CAAC,EAAE,uCAAuC,WAAW,IAAI;SACxG,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,0BAA0B,CACxC,aAA4B,EAC5B,YAAkC,EAClC,QAA4B;IAE5B,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;IAEnD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,OAAO,QAAQ,CAAC,QAAQ,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;gBACxF,wFAAwF;gBACxF,iFAAiF;SACpF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,OAAO,QAAQ,CAAC,QAAQ,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,YAAY,KAAK;gBAC5F,yFAAyF;gBACzF,oDAAoD;SACvD,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,aAAa,YAAY,kCAAkC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB;gBAC7F,kFAAkF;gBAClF,+CAA+C;SAClD,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,kBAAkB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5E,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,qBAAqB,YAAY,+BAA+B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS;gBAC3F,oFAAoF;SACvF,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,wEAAwE;IACxE,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,+CAA+C;IAC/C,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK;YAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,OAAO,QAAQ,CAAC,QAAQ,iBAAiB,YAAY,8BAA8B;gBACnF,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE;gBAC3F,qFAAqF;SACxF,CAAC;IACJ,CAAC;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,+EAA+E;IAC/E,+EAA+E;IAC/E,6EAA6E;IAC7E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,EAAE;IACF,4EAA4E;IAC5E,4EAA4E;IAC5E,wEAAwE;IACxE,sEAAsE;IACtE,+EAA+E;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,2EAA2E;IAC3E,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAC1C,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CACrE,CAAC;QACF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtD,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EACJ,aAAa,YAAY,sBAAsB;oBAC/C,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,YAAY;oBAC9E,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,iEAAiE;oBACvF,mFAAmF;oBACnF,6DAA6D,YAAY,IAAI;aAChF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,sEAAsE;IACtE,MAAM,YAAY,GAAG,2BAA2B,CAAC,YAAY,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9C,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC7C,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,UAAU,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE;gBAC5F,GAAG,QAAQ,CAAC,QAAQ,eAAe,YAAY,qCAAqC;gBACpF,IAAI,WAAW,6EAA6E;gBAC5F,oCAAoC;SACvC,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,4EAA4E;IAC5E,gBAAgB;IAChB,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,OAAO,QAAQ,CAAC,QAAQ,eAAe,YAAY,uCAAuC;gBAC1F,eAAe,WAAW,kDAAkD;SAC/E,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,+CAA+C;IAC/C,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,aAAa,EAAE,YAAY,EAAE;YACrD,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;SACxB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC"}