audit-tools 0.52.4 → 0.53.0

package/dist/remediate/contractPipeline/derive.js

@@ -1,477 +0,0 @@
-/**
- * Deterministic derivers for contract-pipeline artifacts.
- *
- * S1 of the contract-authoring determinism design
- * (`spec/contract-authoring-determinism-design.md`): the contract pipeline
- * historically had the LLM author every structured artifact and the backend
- * only validate it afterward. For the artifacts whose *structure* is a pure
- * function of an upstream artifact, that is wasted generation and a weak-model
- * failure surface ("emit a large, schema-conforming, internally-consistent JSON
- * artifact from scratch with correct ids and cross-refs"). This module owns
- * those derivations so the tool produces the structure and the model is left
- * only the irreducible judgment.
- *
- * `deriveObligationLedger` is the flagship: the obligation ledger is a 1:1
- * restructuring of the finalized module contracts — every module invariant and
- * failure mode becomes an obligation, and every module gets a
- * contract-conformance obligation — so no judgment is lost by generating it in
- * code. Construction goes through the shared `buildObligationLedger` so the
- * cycle check, version stamp, and envelope stay single-sourced with the rest of
- * the codebase (the non-negotiable "derivers and validators share one source —
- * no parallel logic").
- */
-import { buildObligationLedger, isRecord, mintUniqueId, } from "audit-tools/shared";
-import { buildBaselineSymbolCorpus, classifyObligationChange, obligationScopeAnchors, readObligationChangeClassification, } from "./changeClassification.js";
-import { derivePhaseCut, phaseCutModulesFromContracts } from "./phaseCut.js";
-import { coerceGoalId, obligationId } from "./idRegistry.js";
-import { COPIED_MODULE_CONTRACT_FIELDS, DERIVED_MODULE_CONTRACT_FIELDS, } from "./finalizedContractFields.js";
-import { CP_FINALIZED_MODULE_CONTRACTS_VERSION } from "../validation/contractPipeline.js";
-import { isTestablePhaseObligation } from "../validation/contractPipelineGates.js";
-/**
- * Derive the obligation ledger deterministically from the finalized module
- * contracts. Pure function of its input (modulo the `created_at` stamp): the
- * same contracts always yield the same obligations in the same order, so the
- * artifact hash / staleness DAG stays well-behaved.
- *
- * Mapping (the inverse of the obligation-ledger consumers' expectations):
- *  - one **structural** obligation per module ("implement this module per its
- *    finalized contract") — guarantees the ledger is never empty and every
- *    module has something the implementation DAG must cover, without inventing
- *    a paired-test burden (structural is not a testable kind);
- *  - one **invariant** obligation per declared module invariant (testable);
- *  - one **behavioral** obligation per declared module failure mode (testable).
- *
- * `depends_on` is left empty: the validated module-contract shape declares no
- * inter-obligation ordering, so an honest derivation asserts none (and the
- * ledger is acyclic by construction — `buildObligationLedger` cannot throw).
- */
-export function deriveObligationLedger(finalizedModuleContracts, options = {}) {
-    const finalized = readFinalizedContracts(finalizedModuleContracts);
-    const usedIds = new Set();
-    const obligations = [];
-    // DC-5: baseline corpus of pre-existing symbols, built once from the declared
-    // interface surface. A testable obligation that references a symbol in here is
-    // classified a behavior CHANGE (deterministic FIRST pass); otherwise an
-    // ADDITION. The verdict is recorded on each obligation so the paired-test gate
-    // is driven by data, not by render-only prose (CE-013).
-    const baselineSymbols = buildBaselineSymbolCorpus(finalizedModuleContracts);
-    for (const mod of finalized.module_contracts) {
-        // Contract-conformance obligation — represents the module even when it
-        // declares no invariants/failure modes (structural kind → not testable).
-        obligations.push({
-            id: mintUniqueId(usedIds, obligationId(mod.name, "contract")),
-            description: `Implement module "${mod.name}" per its finalized contract ` +
-                `(inputs: ${fmtList(mod.inputs)} → outputs: ${fmtList(mod.outputs)}; ` +
-                `validation boundary: ${mod.validation_boundary || "n/a"}).`,
-            kind: "structural",
-            depends_on: [],
-            status: "pending",
-            source: "design_spec",
-            module: mod.name,
-        });
-        mod.invariants.forEach((invariant, i) => {
-            obligations.push({
-                id: mintUniqueId(usedIds, obligationId(mod.name, `inv-${i + 1}`)),
-                description: invariant,
-                kind: "invariant",
-                depends_on: [],
-                status: "pending",
-                source: "design_spec",
-                module: mod.name,
-                change_classification: classifyObligationChange(invariant, baselineSymbols),
-            });
-        });
-        mod.failure_modes.forEach((failureMode, j) => {
-            obligations.push({
-                id: mintUniqueId(usedIds, obligationId(mod.name, `fail-${j + 1}`)),
-                description: `Handle failure mode: ${failureMode}`,
-                kind: "behavioral",
-                depends_on: [],
-                status: "pending",
-                source: "design_spec",
-                module: mod.name,
-                change_classification: classifyObligationChange(failureMode, baselineSymbols),
-            });
-        });
-    }
-    return buildObligationLedger({
-        goal_id: finalized.goal_id,
-        obligations,
-        created_at: options.created_at,
-    });
-}
-// ── Finalized module contracts (deterministic attach) ─────────────────────────
-//
-// `contract_finalization` is a mechanical merge, not fresh authoring: it takes
-// the drafted module contracts and the seam-reconciliation decisions and, per
-// module, carries the draft interface verbatim while attaching the
-// `agreed_interface` of every seam that touches the module as a `seam_adjustment`.
-// No source is re-read and no judgment is spent — the judgment already happened
-// upstream (the seam_reconciliation phase decided each mismatch's resolution).
-// Attaching each agreed interface verbatim guarantees the reconciliation-derivation
-// gate (INV-CO-12) passes, since its corpus is the union of every module's
-// inputs/outputs/invariants/side_effects/seam_adjustments/validation_boundary.
-//
-// `neighbor_needs` is DROPPED at finalization (open-bugs.md:106). It is the
-// drafting phase's seam-negotiation vocabulary — symmetric coordination prose
-// whose directions per-module agents routinely invert — and when it was
-// preserved and unioned into the dependency graph, prose overrode every
-// declared `artifact:<name>` token edge and manufactured cycles the
-// fail-toward-later tiering then mis-phased. Implementation ordering derives
-// from the producer/consumer token graph ALONE. A weaker draft that leaves
-// inputs/outputs token-free simply declares no ordering constraint; a seam
-// report referencing a module not in scope still surfaces at the downstream
-// design/reconciliation gate and routes to an LLM re-author of
-// `contract_finalization` — the only path that still needs judgment.
-/** The seam-reconciliation `agreed_interface`s that touch a given module name. */
-function seamAdjustmentsForModule(moduleName, seamReconciliationReport) {
-    const mismatches = isRecord(seamReconciliationReport) && Array.isArray(seamReconciliationReport.mismatches)
-        ? seamReconciliationReport.mismatches
-        : [];
-    const adjustments = [];
-    for (const mismatch of mismatches) {
-        if (!isRecord(mismatch))
-            continue;
-        if (mismatch.module_a !== moduleName && mismatch.module_b !== moduleName)
-            continue;
-        const resolution = isRecord(mismatch.resolution) ? mismatch.resolution : undefined;
-        const agreed = resolution && typeof resolution.agreed_interface === "string"
-            ? resolution.agreed_interface
-            : "";
-        if (agreed.length === 0)
-            continue;
-        const seamId = typeof mismatch.seam_id === "string" ? mismatch.seam_id : "";
-        adjustments.push(seamId ? `${seamId}: ${agreed}` : agreed);
-    }
-    return adjustments;
-}
-/**
- * Derive `finalized_module_contracts` deterministically from the drafted
- * `module_contracts` and the `seam_reconciliation_report`. Pure function of its
- * inputs (modulo the `created_at` stamp): the same drafts + seam report always
- * yield the same finalized contracts in draft order, so the artifact hash /
- * staleness DAG stays well-behaved.
- *
- * Each finalized entry copies the draft's interface fields verbatim (already
- * validated `string[]` / string shapes, so no coercion is needed) and DROPS
- * `neighbor_needs` (ordering derives from the artifact-token graph alone), then
- * sets `seam_adjustments` to the `agreed_interface`(s) of the seams that touch
- * the module. A draft entry that is not an object is passed through unchanged
- * (the downstream validator reports it).
- */
-/**
- * The producer for each DERIVED module-contract field, keyed by the SAME union
- * the field list is drawn from — so adding a derived field to the vocabulary
- * without a producer here is a compile error rather than a field that silently
- * finalizes as `undefined` and then fails validation on every module.
- */
-const DERIVED_MODULE_CONTRACT_VALUES = {
-    seam_adjustments: (moduleName, seamReconciliationReport) => seamAdjustmentsForModule(moduleName, seamReconciliationReport),
-};
-export function deriveFinalizedModuleContracts(draftedModuleContracts, seamReconciliationReport, options = {}) {
-    // Validated on the way IN, never read verbatim. `goal_id` is the identity
-    // joining every contract-pipeline artifact and the key the consistency gate
-    // compares, and the LLM is its only producer — so the previous
-    // `typeof === "string"` read admitted `""`, an unsubstituted
-    // `<stable-identifier>` placeholder, and a free-text sentence alike, and the
-    // join silently degraded to "no identity" instead of failing. The grammar
-    // lives in the id registry beside the other mints; see `GOAL_ID_PATTERN`.
-    const goalId = isRecord(draftedModuleContracts)
-        ? coerceGoalId(draftedModuleContracts.goal_id)
-        : "";
-    const drafts = isRecord(draftedModuleContracts) && Array.isArray(draftedModuleContracts.module_contracts)
-        ? draftedModuleContracts.module_contracts
-        : [];
-    const module_contracts = drafts.map((mod) => {
-        if (!isRecord(mod) || typeof mod.name !== "string")
-            return mod;
-        // COPIED first, DERIVED second, both drawn from the ONE field vocabulary
-        // (`finalizedContractFields.ts`). The literal this replaced was the third
-        // hand-written copy of the shape; a field added here and missed in the
-        // reader narrowed every downstream silently.
-        const finalized = Object.fromEntries(COPIED_MODULE_CONTRACT_FIELDS.map((field) => [field, mod[field]]));
-        for (const field of DERIVED_MODULE_CONTRACT_FIELDS) {
-            finalized[field] = DERIVED_MODULE_CONTRACT_VALUES[field](mod.name, seamReconciliationReport);
-        }
-        return finalized;
-    });
-    return {
-        contract_version: CP_FINALIZED_MODULE_CONTRACTS_VERSION,
-        goal_id: goalId,
-        module_contracts,
-        created_at: options.created_at ?? new Date().toISOString(),
-    };
-}
-// ── Scaffolds (S3): skeletons for the partially-derivable artifacts ────────────
-//
-// The test plan and implementation DAG have an irreducible judgment slot
-// (assertion text; node title/description/commands) so they cannot be derived
-// in full. Instead the tool derives their SKELETON — structure, ids, and
-// cross-references populated, only the judgment fields blank — and shows it to
-// the model so it fills just those slots and cannot drop, misname, or
-// mis-reference an obligation. These are NOT writable artifacts: the blank
-// fields fail validation by design (that is the point — the model must fill
-// them). They are rendered into the dispatch prompt as a pre-filled skeleton.
-/**
- * Shared obligation-membership predicates — the single source for which
- * obligations each downstream scaffold covers.
- *
- * `isTestablePhaseObligation` (imported above) is now single-sourced in
- * `../validation/contractPipelineGates.ts` (MNT-e10b9d9b: this file's former
- * local TESTABLE_KINDS set and that file's TESTABLE_OBLIGATION_KINDS were
- * "kept in parity by hand" and had already diverged — fail-open here,
- * fail-closed there, on an identical unrecognized-kind input). Re-exported
- * here so every existing importer of derive.js keeps working unchanged.
- *
- * `isDagPhaseObligation`: every obligation is covered by the implementation DAG,
- * so this is always true. It exists so both scaffolds derive their membership
- * from a named predicate rather than an inline ad-hoc filter.
- */
-export { isTestablePhaseObligation };
-export function isDagPhaseObligation(_kind) {
-    return true;
-}
-/** A short, stable test name from an obligation description. */
-function scaffoldName(obligation) {
-    const text = obligation.description.replace(/\s+/g, " ").trim();
-    if (!text)
-        return obligation.id;
-    return text.length > 64 ? `${text.slice(0, 61)}...` : text;
-}
-function sameStringSet(a, b) {
-    if (a.length !== b.length)
-        return false;
-    const setB = new Set(b);
-    return a.every((x) => setB.has(x));
-}
-/**
- * Build the test-plan skeleton: one spec per *testable* (invariant/behavioral)
- * obligation, with `obligation_id`/`name`/`kind`/`scope_anchors` filled and
- * `assertions` left blank for the model. The model fills only the assertions
- * (each spec needs a paired positive + negative assertion per the OBL-CO-01
- * gate, and the negative must name one of `scope_anchors` per CE-006).
- *
- * C3 diff-carry: when `priorByObligation` carries a prior round's authored spec
- * for an obligation whose premise is UNCHANGED (same `name` + same
- * `scope_anchors`), its assertions are pre-filled instead of left blank, so an
- * unchanged obligation is not re-authored from scratch every repair round. A
- * changed premise (renamed/re-scoped obligation) carries nothing — the host
- * re-authors it (fail-safe toward re-author, never toward stale carry).
- */
-export function buildTestValidatorPlanScaffold(ledger, priorByObligation = {}) {
-    const obligations = ledger?.obligations ?? [];
-    return {
-        test_specs: obligations
-            .filter((o) => isTestablePhaseObligation(o.kind))
-            .map((o) => {
-            const name = scaffoldName(o);
-            const scope_anchors = obligationScopeAnchors(o.id, o.description, readObligationChangeClassification(o));
-            const prior = priorByObligation[o.id];
-            const carried = prior &&
-                prior.name === name &&
-                sameStringSet(prior.scope_anchors, scope_anchors) &&
-                prior.assertions.length > 0
-                ? [...prior.assertions]
-                : [];
-            return {
-                obligation_id: o.id,
-                name,
-                kind: o.kind === "invariant" ? "invariant" : "unit",
-                scope_anchors,
-                assertions: carried,
-            };
-        }),
-    };
-}
-/**
- * Advisory-severity items from a conceptual_design_critique payload (defensive
- * read). Blocking items drive the design-repair loop and are consumed there;
- * advisory items survive past the critique gate and need a structural home in
- * the implementation DAG — this surfaces them so the skeleton can list them (B3).
- */
-export function advisoryCritiqueItems(critique) {
-    const items = isRecord(critique) && Array.isArray(critique.items) ? critique.items : [];
-    return items
-        .filter((item) => isRecord(item))
-        .filter((item) => item.severity === "advisory")
-        .map((item) => ({
-        id: typeof item.id === "string" ? item.id : "",
-        description: typeof item.description === "string" ? item.description : "",
-    }))
-        .filter((item) => item.id.length > 0);
-}
-/** Accepted counterexample ids from a judge_report payload (defensive read). */
-export function acceptedCounterexampleIds(judgeReport) {
-    const record = isRecord(judgeReport) ? judgeReport : {};
-    const classifications = Array.isArray(record.classifications)
-        ? record.classifications
-        : [];
-    const ids = [];
-    for (const cls of classifications) {
-        if (isRecord(cls) &&
-            cls.classification === "accepted" &&
-            typeof cls.counterexample_id === "string") {
-            ids.push(cls.counterexample_id);
-        }
-    }
-    return ids;
-}
-/**
- * Build the implementation-DAG skeleton: ONE node per finalized *module*
- * (grouping all that module's obligations), blank title/description/
- * targeted_commands for the model, and accepted counterexamples attached so
- * coverage holds by construction. Grouping by module means a 1-module change
- * derives 1 node instead of N obligation-nodes the host then has to merge (B2);
- * obligations with no module home (counterexample/critique-sourced) fall back
- * to one node each. Advisory: the model fills the blanks and may further
- * merge/split nodes as long as coverage is preserved.
- *
- * `depends_on` is DERIVED, not left for the host: when `finalizedContracts` is
- * supplied, each module node depends on the nodes of the modules it needs first
- * (producer/consumer `artifact:<name>` matching over `inputs`/`outputs` — the
- * same module-dependency DAG `phase_cut` uses). This
- * makes cross-node ordering tool-enforced instead of a thing the host must
- * remember to hand-add. Edges are oriented by phase ordinal so the result is
- * acyclic by construction: only an edge to a strictly-earlier-phase module is
- * kept, which drops the back-edge of any dependency cycle (fail-toward-later,
- * mirroring `derivePhaseCut`). The `edges` array stays empty — node `depends_on`
- * is the ordering the block promotion reads.
- */
-export function buildImplementationDagScaffold(ledger, acceptedCeIds, finalizedContracts) {
-    const obligations = (ledger?.obligations ?? []).filter((o) => isDagPhaseObligation(o.kind));
-    // Group by module in first-appearance order; obligations with no module key
-    // on their own id (one node each, preserving coverage).
-    const groups = [];
-    const groupIndex = new Map();
-    for (const o of obligations) {
-        const key = o.module ? `module:${o.module}` : `obligation:${o.id}`;
-        let idx = groupIndex.get(key);
-        if (idx === undefined) {
-            idx = groups.length;
-            groupIndex.set(key, idx);
-            groups.push({ key, obligations: [] });
-        }
-        groups[idx].obligations.push(o);
-    }
-    const nodes = groups.map((g, i) => {
-        const ids = g.obligations.map((o) => o.id);
-        return {
-            id: `CP-NODE-${i + 1}`,
-            title: "",
-            description: "",
-            satisfies_obligations: [...ids],
-            addresses_counterexamples: [],
-            addressed_critique_items: [],
-            depends_on: [],
-            verification_obligation_ids: [...ids],
-            targeted_commands: [],
-            status: "pending",
-        };
-    });
-    applyModuleDependencyEdges(nodes, groups, finalizedContracts);
-    if (acceptedCeIds.length > 0) {
-        if (nodes.length === 0) {
-            nodes.push({
-                id: "CP-NODE-1",
-                title: "",
-                description: "",
-                satisfies_obligations: [],
-                addresses_counterexamples: [...acceptedCeIds],
-                addressed_critique_items: [],
-                depends_on: [],
-                verification_obligation_ids: [],
-                targeted_commands: [],
-                status: "pending",
-            });
-        }
-        else {
-            nodes[0].addresses_counterexamples = [...acceptedCeIds];
-        }
-    }
-    return { nodes, edges: [] };
-}
-/**
- * Fill each module node's `depends_on` from the finalized contracts'
- * module-dependency DAG (producer/consumer artifact tokens alone), the
- * SAME source `phase_cut` uses so the node ordering and the phase barrier agree.
- * Only a group keyed on a real module can be a dependency target (obligation- and
- * counterexample-only nodes have no module home). Edges are oriented by phase
- * ordinal — kept only when the dependency module sits in a strictly-earlier phase
- * — so a dependency cycle contributes no back-edge and the result is acyclic by
- * construction. No-op when contracts are absent (existing behaviour: no edges).
- */
-function applyModuleDependencyEdges(nodes, groups, finalizedContracts) {
-    if (finalizedContracts === undefined || finalizedContracts === null)
-        return;
-    // module name → node id (1 node per module by construction).
-    const moduleToNodeId = new Map();
-    groups.forEach((g, i) => {
-        if (g.key.startsWith("module:")) {
-            moduleToNodeId.set(g.key.slice("module:".length), nodes[i].id);
-        }
-    });
-    if (moduleToNodeId.size === 0)
-        return;
-    const phaseModules = phaseCutModulesFromContracts(finalizedContracts);
-    const depsByModule = new Map(phaseModules.map((m) => [m.name, m.depends_on]));
-    const phaseOf = derivePhaseCut(phaseModules).module_phase;
-    const nodeById = new Map(nodes.map((n) => [n.id, n]));
-    for (const [moduleName, nodeId] of moduleToNodeId) {
-        const node = nodeById.get(nodeId);
-        if (!node)
-            continue;
-        const deps = new Set();
-        for (const depModule of depsByModule.get(moduleName) ?? []) {
-            const depNodeId = moduleToNodeId.get(depModule);
-            if (!depNodeId || depNodeId === nodeId)
-                continue;
-            if ((phaseOf[depModule] ?? 0) < (phaseOf[moduleName] ?? 0))
-                deps.add(depNodeId);
-        }
-        node.depends_on = [...deps].sort();
-    }
-}
-// ── Helpers ───────────────────────────────────────────────────────────────────
-function fmtList(items) {
-    return items.length > 0 ? items.join(", ") : "none";
-}
-function strArray(value) {
-    return Array.isArray(value)
-        ? value.filter((v) => typeof v === "string")
-        : [];
-}
-/**
- * The defensive coercion per COPIED field, keyed by the SAME union the field
- * list is drawn from — a field added to the vocabulary without a coercion here
- * is a compile error, not a field silently read as `undefined` at runtime.
- * `name` is the only non-array string; every other copied field is an array of
- * strings, with `validation_boundary` the one scalar outside `name`.
- */
-const COPIED_MODULE_CONTRACT_COERCIONS = {
-    name: (raw) => (typeof raw.name === "string" ? raw.name : "module"),
-    inputs: (raw) => strArray(raw.inputs),
-    outputs: (raw) => strArray(raw.outputs),
-    invariants: (raw) => strArray(raw.invariants),
-    side_effects: (raw) => strArray(raw.side_effects),
-    validation_boundary: (raw) => typeof raw.validation_boundary === "string" ? raw.validation_boundary : "",
-    failure_modes: (raw) => strArray(raw.failure_modes),
-};
-/** Defensive read of the validated finalized-module-contracts payload. */
-function readFinalizedContracts(payload) {
-    const record = isRecord(payload) ? payload : {};
-    // Same validation as the mint above: this reader is the OTHER half of the
-    // same join, so a value that could not be minted must not be read back as one.
-    const goalId = coerceGoalId(record.goal_id);
-    const rawModules = Array.isArray(record.module_contracts)
-        ? record.module_contracts
-        : [];
-    const module_contracts = rawModules.map((m) => {
-        const raw = isRecord(m) ? m : {};
-        return Object.fromEntries(COPIED_MODULE_CONTRACT_FIELDS.map((field) => [
-            field,
-            COPIED_MODULE_CONTRACT_COERCIONS[field](raw),
-        ]));
-    });
-    return { goal_id: goalId, module_contracts };
-}
-//# sourceMappingURL=derive.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EACL,qBAAqB,EACrB,QAAQ,EACR,YAAY,GAGb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,GAE/B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qCAAqC,EAAE,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAanF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,sBAAsB,CACpC,wBAAiC,EACjC,UAAyB,EAAE;IAE3B,MAAM,SAAS,GAAG,sBAAsB,CAAC,wBAAwB,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAsB,EAAE,CAAC;IAE1C,8EAA8E;IAC9E,+EAA+E;IAC/E,wEAAwE;IACxE,+EAA+E;IAC/E,wDAAwD;IACxD,MAAM,eAAe,GAAG,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAE5E,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAE7C,uEAAuE;QACvE,yEAAyE;QACzE,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7D,WAAW,EACT,qBAAqB,GAAG,CAAC,IAAI,+BAA+B;gBAC5D,YAAY,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI;gBACtE,wBAAwB,GAAG,CAAC,mBAAmB,IAAI,KAAK,IAAI;YAC9D,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,GAAG,CAAC,IAAI;SACjB,CAAC,CAAC;QAEH,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;YACtC,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjE,WAAW,EAAE,SAAS;gBACtB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,qBAAqB,EAAE,wBAAwB,CAAC,SAAS,EAAE,eAAe,CAAC;aAC5E,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE;YAC3C,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAClE,WAAW,EAAE,wBAAwB,WAAW,EAAE;gBAClD,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,qBAAqB,EAAE,wBAAwB,CAAC,WAAW,EAAE,eAAe,CAAC;aAC9E,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,qBAAqB,CAAC;QAC3B,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,WAAW;QACX,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,mEAAmE;AACnE,mFAAmF;AACnF,gFAAgF;AAChF,+EAA+E;AAC/E,oFAAoF;AACpF,2EAA2E;AAC3E,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,wEAAwE;AACxE,wEAAwE;AACxE,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,4EAA4E;AAC5E,+DAA+D;AAC/D,qEAAqE;AAErE,kFAAkF;AAClF,SAAS,wBAAwB,CAC/B,UAAkB,EAClB,wBAAiC;IAEjC,MAAM,UAAU,GACd,QAAQ,CAAC,wBAAwB,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACtF,CAAC,CAAC,wBAAwB,CAAC,UAAU;QACrC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAClC,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU;YAAE,SAAS;QACnF,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,MAAM,GACV,UAAU,IAAI,OAAO,UAAU,CAAC,gBAAgB,KAAK,QAAQ;YAC3D,CAAC,CAAC,UAAU,CAAC,gBAAgB;YAC7B,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH;;;;;GAKG;AACH,MAAM,8BAA8B,GAKhC;IACF,gBAAgB,EAAE,CAAC,UAAU,EAAE,wBAAwB,EAAE,EAAE,CACzD,wBAAwB,CAAC,UAAU,EAAE,wBAAwB,CAAC;CACjE,CAAC;AAEF,MAAM,UAAU,8BAA8B,CAC5C,sBAA+B,EAC/B,wBAAiC,EACjC,UAAyB,EAAE;IAO3B,0EAA0E;IAC1E,4EAA4E;IAC5E,+DAA+D;IAC/D,6DAA6D;IAC7D,6EAA6E;IAC7E,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,sBAAsB,CAAC;QAC7C,CAAC,CAAC,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC;QAC9C,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GACV,QAAQ,CAAC,sBAAsB,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,sBAAsB,CAAC,gBAAgB,CAAC;QACxF,CAAC,CAAC,sBAAsB,CAAC,gBAAgB;QACzC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QAC/D,yEAAyE;QACzE,0EAA0E;QAC1E,uEAAuE;QACvE,6CAA6C;QAC7C,MAAM,SAAS,GAA4B,MAAM,CAAC,WAAW,CAC3D,6BAA6B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAClE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,8BAA8B,EAAE,CAAC;YACnD,SAAS,CAAC,KAAK,CAAC,GAAG,8BAA8B,CAAC,KAAK,CAAC,CACtD,GAAG,CAAC,IAAI,EACR,wBAAwB,CACzB,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO;QACL,gBAAgB,EAAE,qCAAqC;QACvD,OAAO,EAAE,MAAM;QACf,gBAAgB;QAChB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,8EAA8E;AAC9E,yEAAyE;AACzE,+EAA+E;AAC/E,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,yBAAyB,EAAE,CAAC;AAErC,MAAM,UAAU,oBAAoB,CAAC,KAAa;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAChE,SAAS,YAAY,CAAC,UAA2B;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,CAAC,IAAI;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC;IAChC,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AA8BD,SAAS,aAAa,CAAC,CAAW,EAAE,CAAW;IAC7C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAoC,EACpC,oBAAmD,EAAE;IAErD,MAAM,WAAW,GAAG,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC;IAC9C,OAAO;QACL,UAAU,EAAE,WAAW;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,aAAa,GAAG,sBAAsB,CAC1C,CAAC,CAAC,EAAE,EACJ,CAAC,CAAC,WAAW,EACb,kCAAkC,CAAC,CAAC,CAAC,CACtC,CAAC;YACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,OAAO,GACX,KAAK;gBACL,KAAK,CAAC,IAAI,KAAK,IAAI;gBACnB,aAAa,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC;gBACjD,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;gBACvB,CAAC,CAAC,EAAE,CAAC;YACT,OAAO;gBACL,aAAa,EAAE,CAAC,CAAC,EAAE;gBACnB,IAAI;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBACnD,aAAa;gBACb,UAAU,EAAE,OAAO;aACpB,CAAC;QACJ,CAAC,CAAC;KACL,CAAC;AACJ,CAAC;AA6BD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAiB;IACrD,MAAM,KAAK,GACT,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAmC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACjE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC;SAC9C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,EAAE,EAAE,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC9C,WAAW,EAAE,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;KAC1E,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC;AAOD,gFAAgF;AAChF,MAAM,UAAU,yBAAyB,CAAC,WAAoB;IAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3D,CAAC,CAAC,MAAM,CAAC,eAAe;QACxB,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,IACE,QAAQ,CAAC,GAAG,CAAC;YACb,GAAG,CAAC,cAAc,KAAK,UAAU;YACjC,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,EACzC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAoC,EACpC,aAAuB,EACvB,kBAA4B;IAE5B,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B,CAAC;IACF,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,MAAM,GAA2D,EAAE,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC;QACnE,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAoC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjE,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE;YACtB,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,EAAE;YACf,qBAAqB,EAAE,CAAC,GAAG,GAAG,CAAC;YAC/B,yBAAyB,EAAE,EAAE;YAC7B,wBAAwB,EAAE,EAAE;YAC5B,UAAU,EAAE,EAAE;YACd,2BAA2B,EAAE,CAAC,GAAG,GAAG,CAAC;YACrC,iBAAiB,EAAE,EAAE;YACrB,MAAM,EAAE,SAAS;SAClB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAE9D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,WAAW;gBACf,KAAK,EAAE,EAAE;gBACT,WAAW,EAAE,EAAE;gBACf,qBAAqB,EAAE,EAAE;gBACzB,yBAAyB,EAAE,CAAC,GAAG,aAAa,CAAC;gBAC7C,wBAAwB,EAAE,EAAE;gBAC5B,UAAU,EAAE,EAAE;gBACd,2BAA2B,EAAE,EAAE;gBAC/B,iBAAiB,EAAE,EAAE;gBACrB,MAAM,EAAE,SAAS;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CACjC,KAAsC,EACtC,MAA8D,EAC9D,kBAA2B;IAE3B,IAAI,kBAAkB,KAAK,SAAS,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO;IAC5E,6DAA6D;IAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEtC,MAAM,YAAY,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,MAAM;gBAAE,SAAS;YACjD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAS,OAAO,CAAC,KAAe;IAC9B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACtD,CAAC;AAGD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;GAMG;AACH,MAAM,gCAAgC,GAKlC;IACF,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;IACvC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;IAC7C,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;IACjD,mBAAmB,EAAE,CAAC,GAAG,EAAE,EAAE,CAC3B,OAAO,GAAG,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE;IAC5E,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC;CACpD,CAAC;AAEF,0EAA0E;AAC1E,SAAS,sBAAsB,CAAC,OAAgB;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,0EAA0E;IAC1E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACvD,CAAC,CAAC,MAAM,CAAC,gBAAgB;QACzB,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,gBAAgB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAA2B,EAAE;QACrE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,WAAW,CACvB,6BAA6B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC3C,KAAK;YACL,gCAAgC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;SAC7C,CAAC,CACmC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AAC/C,CAAC"}

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

@@ -1,50 +0,0 @@
-/**
- * Fields finalization COPIES VERBATIM from the drafted module contract, in
- * canonical order. This is the load-bearing interface: `deriveObligationLedger`
- * derives the obligation set and test-plan premises from it, and
- * `buildBaselineSymbolCorpus` (`changeClassification.ts`) builds the
- * change-vs-addition corpus from the declared surface — `inputs`, `outputs`,
- * `side_effects`, `validation_boundary` — so a side_effects-only edit is
- * exactly as load-bearing as an interface edit.
- */
-export declare const COPIED_MODULE_CONTRACT_FIELDS: readonly ["name", "inputs", "outputs", "invariants", "side_effects", "validation_boundary", "failure_modes"];
-/**
- * Fields finalization DERIVES from the seam reconciliation report rather than
- * copying. Excluded from the staleness projection: a re-agreed seam is not a
- * change to the interface any downstream consumes.
- */
-export declare const DERIVED_MODULE_CONTRACT_FIELDS: readonly ["seam_adjustments"];
-/**
- * Every field a finalized module contract carries — copied first, derived
- * second. The finalizer builds exactly this key set, and the reader reads
- * exactly this key set; they are two draws over one list rather than two
- * lists that happen to agree.
- */
-export declare const FINALIZED_MODULE_CONTRACT_FIELDS: readonly string[];
-/**
- * The fields the staleness projection narrows a module entry to — the COPIED
- * set alone (see this module's header for why `seam_adjustments` is excluded).
- * Exported under the name `semanticProjection.ts` already used, so the
- * projection reads the shared vocabulary instead of owning a third copy.
- */
-export declare const DERIVABLE_MODULE_CONTRACT_FIELDS: readonly string[];
-/**
- * The runtime shape of a finalized module entry as the deterministic derivers
- * read it — `name` is required and always a string; the array fields are read
- * through a defensive `string[]` coercion; `validation_boundary` is a string.
- * `seam_adjustments` is deliberately absent: no deriver reads it.
- *
- * The field NAMES here are the compiler-checked twin of
- * {@link COPIED_MODULE_CONTRACT_FIELDS}; the `satisfies` clause below is what
- * keeps the two from drifting, which is the whole point of this module.
- */
-export interface DerivableModuleContract {
-    name: string;
-    inputs: string[];
-    outputs: string[];
-    invariants: string[];
-    failure_modes: string[];
-    side_effects: string[];
-    validation_boundary: string;
-}
-//# sourceMappingURL=finalizedContractFields.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"finalizedContractFields.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/finalizedContractFields.ts"],"names":[],"mappings":"AA8BA;;;;;;;;GAQG;AACH,eAAO,MAAM,6BAA6B,8GAQhC,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,+BAAgC,CAAC;AAE5E;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,EAAE,SAAS,MAAM,EAGtC,CAAC;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,EAAE,SAAS,MAAM,EAE7D,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,CAAC;CAC7B"}

package/dist/remediate/contractPipeline/finalizedContractFields.js

@@ -1,77 +0,0 @@
-/**
- * The ONE field vocabulary of a module contract, at both layers.
- *
- * A module contract's shape was spelled out by hand in THREE places: the
- * finalizer's object literal (`derive.ts`, `deriveFinalizedModuleContracts`),
- * the defensive reader's field-by-field narrowing (`derive.ts`,
- * `readFinalizedContracts`), and the staleness projection's narrowing
- * (`semanticProjection.ts`, `DERIVABLE_MODULE_CONTRACT_FIELDS`). They had
- * already drifted — the finalizer wrote eight fields, the reader read seven,
- * and nothing made the difference (`seam_adjustments`, which finalization
- * DERIVES and no deterministic consumer reads) legible as intentional rather
- * than as a dropped field. A field added to the finalizer and forgotten in the
- * reader is a silent narrowing of everything downstream of the ledger.
- *
- * The vocabulary is therefore stated once, here, beside the finalizer that
- * writes it — with the two DISTINCTIONS the three copies were groping at made
- * explicit, because they are real:
- *
- *   - {@link COPIED_MODULE_CONTRACT_FIELDS} are copied verbatim from the drafted
- *     contract. They are the load-bearing interface, and they are what a
- *     deterministic consumer may read.
- *   - {@link DERIVED_MODULE_CONTRACT_FIELDS} are computed by finalization from
- *     the seam reconciliation report. No deterministic consumer reads them, so
- *     they are excluded from the staleness projection — a re-agreed seam
- *     changes `seam_adjustments` without changing any obligation.
- *
- * Anything that must know a module contract's field set reads it from here.
- */
-import { compareCodeUnits } from "../../shared/compareCodeUnits.js";
-/**
- * Fields finalization COPIES VERBATIM from the drafted module contract, in
- * canonical order. This is the load-bearing interface: `deriveObligationLedger`
- * derives the obligation set and test-plan premises from it, and
- * `buildBaselineSymbolCorpus` (`changeClassification.ts`) builds the
- * change-vs-addition corpus from the declared surface — `inputs`, `outputs`,
- * `side_effects`, `validation_boundary` — so a side_effects-only edit is
- * exactly as load-bearing as an interface edit.
- */
-export const COPIED_MODULE_CONTRACT_FIELDS = [
-    "name",
-    "inputs",
-    "outputs",
-    "invariants",
-    "side_effects",
-    "validation_boundary",
-    "failure_modes",
-];
-/**
- * Fields finalization DERIVES from the seam reconciliation report rather than
- * copying. Excluded from the staleness projection: a re-agreed seam is not a
- * change to the interface any downstream consumes.
- */
-export const DERIVED_MODULE_CONTRACT_FIELDS = ["seam_adjustments"];
-/**
- * Every field a finalized module contract carries — copied first, derived
- * second. The finalizer builds exactly this key set, and the reader reads
- * exactly this key set; they are two draws over one list rather than two
- * lists that happen to agree.
- */
-export const FINALIZED_MODULE_CONTRACT_FIELDS = [
-    ...COPIED_MODULE_CONTRACT_FIELDS,
-    ...DERIVED_MODULE_CONTRACT_FIELDS,
-].sort(compareCodeUnits);
-/**
- * The fields the staleness projection narrows a module entry to — the COPIED
- * set alone (see this module's header for why `seam_adjustments` is excluded).
- * Exported under the name `semanticProjection.ts` already used, so the
- * projection reads the shared vocabulary instead of owning a third copy.
- */
-export const DERIVABLE_MODULE_CONTRACT_FIELDS = [
-    ...COPIED_MODULE_CONTRACT_FIELDS,
-];
-const _everyListedFieldIsTyped = true;
-const _everyTypedFieldIsListed = true;
-void _everyListedFieldIsTyped;
-void _everyTypedFieldIsListed;
-//# sourceMappingURL=finalizedContractFields.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"finalizedContractFields.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/finalizedContractFields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,MAAM;IACN,QAAQ;IACR,SAAS;IACT,YAAY;IACZ,cAAc;IACd,qBAAqB;IACrB,eAAe;CACP,CAAC;AAEX;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,kBAAkB,CAAU,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAsB;IACjE,GAAG,6BAA6B;IAChC,GAAG,8BAA8B;CAClC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AAEzB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAsB;IACjE,GAAG,6BAA6B;CACjC,CAAC;AAoCF,MAAM,wBAAwB,GAAmD,IAAI,CAAC;AACtF,MAAM,wBAAwB,GAAmD,IAAI,CAAC;AACtF,KAAK,wBAAwB,CAAC;AAC9B,KAAK,wBAAwB,CAAC"}