audit-tools 0.52.5 → 0.53.0

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

@@ -1,194 +0,0 @@
-export { CONCEPTUAL_CRITIQUE_REPAIR_TARGETS } from "../../shared/types/contractPipeline/design.js";
-/**
- * The value vocabularies a step prompt's schema sketch and its VALIDATOR both
- * read — declared once, here, so they cannot disagree.
- *
- * Why this module exists. A step prompt hands the worker a JSON shape to write,
- * and a validator in `src/remediate/validation/` decides whether what came back
- * is admissible. Those were two independent statements of the same fact: the
- * prompt carried a hand-written sketch (`contractPipelinePrompts.ts`, plus two
- * extra sketches in `contractPipeline.ts`) and the validator carried its own
- * literal list. Measured drifts at HEAD before this module existed:
- *
- *   - `cyclic_seam_resolution.status` — sketch offered 2 values, the validator
- *     admits 4 (`user_decision_required` and `blocked` were unrenderable but
- *     required by the refusal path);
- *   - `judge_report.repair_directive.target` — sketch offered 3, the validator 4
- *     (the fourth, `counterexample`, could never be asked for);
- *   - `verification_report.finding.traces[].kind` — sketch offered 5, the
- *     validator 6;
- *   - `implementation_dag.node.status` — sketch showed exactly 1 of the 4 the
- *     validator admits.
- *
- * Every one is the same failure: a worker reads the sketch, emits a value the
- * sketch allowed, and the tool refuses it — or, worse in the opposite
- * direction, never learns a legal value exists. A drift test made of "remember
- * to update the other one" is exactly the class of guarantee this repo bans
- * (enforce in tooling, never host — or author — discretion), so the fix is not
- * a test that watches two lists. It is ONE declaration, with the validator and
- * the sketch both deriving from it.
- *
- * What is MINED vs DECLARED. The values are declared here; they are NOT read out
- * of the validator module, because a validator states its values as inline
- * `requireOneOf(...)` literals inside a function body — a declaration a test can
- * only reach by parsing source text, which is the brittle thing this replaces.
- * Instead the exported constants are the single declaration and the VALIDATOR
- * imports them, so the drift is impossible by construction rather than detected
- * after the fact. The test in
- * `tests/remediate/step-prompt-sketch-drift.test.ts` then re-derives each
- * vocabulary from what each validator actually REFUSES (by feeding it values),
- * and compares that to the sketch the prompt renders — so a value added to a
- * validator without the sketch still reds, without depending on how the
- * validator happens to spell its list.
- *
- * NOT A LIST. Every value vocabulary that the CONTRACT-PIPELINE role sketches
- * render as an alternation is declared here — the four drifted ones above, the
- * obligation/test-plan pairs, and the nine that were still hand-written literals
- * in `contractPipelinePrompts.ts` (goal `source_type`; context-entry `kind`; the
- * critique item `kind` and `severity`; the critique `verdict`; the assessment
- * finding `status` and report `verdict`; the judge `verdict`; and the judge's
- * counterexample `classification`). That is the whole point: a vocabulary kept
- * as a literal is only safe while someone remembers, and the drift test below
- * sweeps every rendered alternation of those sketches rather than a hand-kept
- * field list, so the next literal to appear reds immediately instead of waiting
- * to be noticed.
- *
- * The scope is those sketches, NOT every sketch in the repository, and the
- * difference is recorded rather than implied: the sweep reaches the modules in
- * `SKETCH_SOURCE_MODULES`, and the clarification-resolution sketch in
- * `steps/prompts.ts` is outside them — a declared-gap row in
- * `tests/shared/promptContractRegistry.ts`. So this module claims nothing about
- * that one, and widening the sweep is its own change.
- */
-/**
- * `cyclic_seam_resolution.status` — what the validator admits. `no_cycles` is
- * the tool's own record, written when the ledger has no cycle; `resolved` is the
- * worker's record of the breaks it made. The escalation states
- * (`user_decision_required`, `blocked`) are routes the gate takes, never a
- * record: nothing wrote them, and a worker that wrote one moved the pipeline
- * forward with the cycles still in the ledger.
- */
-export declare const CYCLIC_SEAM_RESOLUTION_STATUSES: readonly ["no_cycles", "resolved"];
-/**
- * The subset of {@link CYCLIC_SEAM_RESOLUTION_STATUSES} the worker's sketch
- * offers. The worker is emitted only when the ledger has a cycle, so its one
- * answer is `resolved`; the re-check refuses any record while a cycle remains.
- */
-export declare const CYCLIC_SEAM_RESOLUTION_STATUSES_OFFERED: readonly ["resolved"];
-/** `cyclic_seam_resolution.cycles[].break_strategy`. */
-export declare const CYCLIC_SEAM_BREAK_STRATEGIES: readonly ["mediator", "single_authority"];
-/**
- * `judge_report.repair_directive.target`, its legacy aliases, and the offered
- * subset — DECLARED in `src/shared/types/contractPipeline/obligations.ts`,
- * beside the `JudgeRepairTarget` type that derives from them, and re-exported
- * here so the validator and the prompt sketches keep reading them from this
- * module.
- *
- * Why they moved. `src/shared` is the base layer; this module lives in
- * `src/remediate`. A value import from the base layer into an orchestrator is
- * the dependency direction inverted, and the declaration had to live on the
- * side the TYPE could reach.
- */
-export { CONTRACT_REPAIR_TARGETS, CONTRACT_REPAIR_TARGETS_LEGACY, CONTRACT_REPAIR_TARGETS_OFFERED, } from "audit-tools/shared";
-/** `verification_report` trace `kind`. */
-export declare const VERIFICATION_TRACE_KINDS: readonly ["requirement", "invariant", "counterexample", "task", "file", "command"];
-/** `verification_report` finding-level `overall_status` (report level excludes `skipped`). */
-export declare const VERIFICATION_FINDING_STATUSES: readonly ["passed", "failed", "skipped"];
-/** `verification_report` report-level `overall_status`. */
-export declare const VERIFICATION_REPORT_STATUSES: readonly ["passed", "failed"];
-/** `verification_report` trace `status`. */
-export declare const VERIFICATION_TRACE_STATUSES: readonly ["passed", "failed"];
-/** `implementation_dag.nodes[].status`. */
-export declare const IMPLEMENTATION_NODE_STATUSES: readonly ["pending", "in_progress", "resolved", "blocked"];
-/** `implementation_dag.edges[].kind`. */
-export declare const IMPLEMENTATION_EDGE_KINDS: readonly ["dependency", "verification"];
-/**
- * `obligation_ledger.obligations[].status`. `satisfied` is reachable only
- * through the tool's own derivation (`contractPipeline/derive.ts`) — a worker
- * emits `pending` and the tool advances it — but the value is part of the
- * contract the prompt describes, so it is declared here rather than implied.
- */
-export declare const OBLIGATION_STATUSES: readonly ["pending", "satisfied", "failed"];
-/** `obligation_ledger.obligations[].kind`. */
-export declare const OBLIGATION_KINDS: readonly ["invariant", "behavioral", "structural", "test"];
-/** `test_validator_plan.test_specs[].kind`. */
-export declare const TEST_SPEC_KINDS: readonly ["unit", "integration", "schema", "invariant", "e2e"];
-/** `goal_spec.source_type`. */
-export declare const GOAL_SOURCE_TYPES: readonly ["conversation", "document", "structured_audit", "mixed"];
-/** `context_bundle.entries[].kind`. */
-export declare const CONTEXT_ENTRY_KINDS: readonly ["source", "test", "config", "doc"];
-/** `conceptual_design_critique.items[].kind`. */
-export declare const CRITIQUE_ITEM_KINDS: readonly ["concern", "alternative", "suggestion"];
-/** `conceptual_design_critique.items[].severity`. */
-export declare const CRITIQUE_ITEM_SEVERITIES: readonly ["blocking", "advisory"];
-/** `conceptual_design_critique.verdict`. */
-export declare const CRITIQUE_VERDICTS: readonly ["approved", "approved_with_concerns", "rejected"];
-/** `contract_assessment_report.findings[].status`. */
-export declare const ASSESSMENT_FINDING_STATUSES: readonly ["satisfied", "violated", "uncertain"];
-/** `contract_assessment_report.verdict`. */
-export declare const ASSESSMENT_VERDICTS: readonly ["passed", "failed", "partial"];
-/** `judge_report.verdict`. */
-export declare const JUDGE_VERDICTS: readonly ["approved", "needs_repair"];
-/**
- * `judge_report.classifications[].classification` — what the judge may decide
- * about one counterexample.
- *
- * Declared here rather than in the validator that reads it, because the judge
- * role's prompt sketch states the same five values and a sketch that renders a
- * hand-written copy of a validator's list is the drift this module bans. The
- * validator imports THIS declaration (it was a local `as const` beside
- * `validateJudgeReport`), so the two are one fact.
- */
-export declare const COUNTEREXAMPLE_CLASSIFICATIONS: readonly ["accepted", "out_of_scope", "duplicate", "invalid", "residual_risk"];
-/**
- * `seam_reconciliation_report.mismatches[].resolution.decision` — which side of
- * a seam adjusts. Declared here beside the rest for ONE reason: the alternative
- * would be to exclude it from the drift test by hand, and an exclusion list is
- * the drift this module exists to make impossible (see the test's alternation
- * sweep, which matches EVERY rendered alternation to a validator probe).
- */
-export declare const SEAM_RESOLUTION_DECISIONS: readonly ["A", "B", "both"];
-/**
- * The vocabularies that carry a `created_at`, and the ones that do not.
- *
- * `created_at` asymmetry, resolved in one place. Every contract-pipeline
- * validator ends with `requireString(v.created_at, ...)`, and NO sketch
- * declares the field — the reconciliation is `stampToolCreatedAt`
- * (`contractPipeline/artifactStore.ts`), which the tool calls on the payload at
- * ingest and at the `validate-artifact` self-check. The host has no clock, so
- * asking it for a timestamp is asking it to invent one; the tool owns the field
- * and stamps it.
- *
- * The decision, stated once rather than left implicit: THE VALIDATORS KEEP
- * REQUIRING IT AND THE SKETCHES KEEP OMITTING IT — because the requirement is
- * enforced on the POST-STAMP payload, not on what the worker wrote. The
- * asymmetry is not a drift to be closed in either direction: declaring
- * `created_at` in the sketches would tell the worker to supply a value the tool
- * then overrides (the stamp is `created_at`-wins-if-present, but a host-invented
- * clock reading is still worse than the tool's), and dropping the requirement
- * from the validators would let an artifact that never passed the stamp path —
- * a hand-written file validated directly — carry no timestamp at all.
- *
- * This is a DECISION, not a drift (see the drift test's `created_at` block):
- * the validators keep requiring it and the sketches keep omitting it, because
- * the requirement is enforced on the POST-STAMP payload rather than on what the
- * worker wrote. Closing the asymmetry in either direction is worse — declaring
- * it in the sketches asks the host for a clock reading the tool then overrides,
- * and dropping it from the validators lets a directly-validated hand-written
- * file carry no timestamp at all.
- */
-export declare const CREATED_AT_OWNER: "stampToolCreatedAt";
-/**
- * Whether `value` is one of {@link CYCLIC_SEAM_BREAK_STRATEGIES} — the ONE
- * membership test for the vocabulary, so the tool's post-hoc cycle-break check
- * and the prompt's sketch read the same declaration.
- */
-export declare function isCyclicSeamBreakStrategy(value: unknown): value is (typeof CYCLIC_SEAM_BREAK_STRATEGIES)[number];
-/**
- * Render a sketch fragment for a value vocabulary: `"a | b | c"`.
- *
- * The ONE renderer for every `requireOneOf`-style vocabulary in the sketches,
- * so the separators and quoting in a prompt cannot drift from each other either.
- */
-export declare function sketchValues(values: readonly string[]): string;
-//# sourceMappingURL=sketchSource.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketchSource.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/sketchSource.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kCAAkC,EAAE,MAAM,+CAA+C,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,oCAAqC,CAAC;AAElF;;;;GAIG;AACH,eAAO,MAAM,uCAAuC,uBAAwB,CAAC;AAE7E,wDAAwD;AACxD,eAAO,MAAM,4BAA4B,2CAG/B,CAAC;AAEX;;;;;;;;;;;GAWG;AACH,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAE5B,0CAA0C;AAC1C,eAAO,MAAM,wBAAwB,oFAO3B,CAAC;AAEX,8FAA8F;AAC9F,eAAO,MAAM,6BAA6B,0CAIhC,CAAC;AAEX,2DAA2D;AAC3D,eAAO,MAAM,4BAA4B,+BAAgC,CAAC;AAE1E,4CAA4C;AAC5C,eAAO,MAAM,2BAA2B,+BAAgC,CAAC;AAEzE,2CAA2C;AAC3C,eAAO,MAAM,4BAA4B,4DAK/B,CAAC;AAEX,yCAAyC;AACzC,eAAO,MAAM,yBAAyB,yCAA0C,CAAC;AAEjF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,6CAItB,CAAC;AAEX,8CAA8C;AAC9C,eAAO,MAAM,gBAAgB,4DAKnB,CAAC;AAEX,+CAA+C;AAC/C,eAAO,MAAM,eAAe,gEAMlB,CAAC;AAEX,+BAA+B;AAC/B,eAAO,MAAM,iBAAiB,oEAKpB,CAAC;AAEX,uCAAuC;AACvC,eAAO,MAAM,mBAAmB,8CAKtB,CAAC;AAEX,iDAAiD;AACjD,eAAO,MAAM,mBAAmB,mDAItB,CAAC;AAEX,qDAAqD;AACrD,eAAO,MAAM,wBAAwB,mCAAoC,CAAC;AAE1E,4CAA4C;AAC5C,eAAO,MAAM,iBAAiB,6DAIpB,CAAC;AAEX,sDAAsD;AACtD,eAAO,MAAM,2BAA2B,iDAI9B,CAAC;AAEX,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,0CAA2C,CAAC;AAE5E,8BAA8B;AAC9B,eAAO,MAAM,cAAc,uCAAwC,CAAC;AAEpE;;;;;;;;;GASG;AACH,eAAO,MAAM,8BAA8B,gFAMjC,CAAC;AAEX;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,6BAA8B,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,gBAAgB,EAAG,oBAA6B,CAAC;AAE9D;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAKxD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAE9D"}

package/dist/remediate/contractPipeline/sketchSource.js

@@ -1,262 +0,0 @@
-export { CONCEPTUAL_CRITIQUE_REPAIR_TARGETS } from "../../shared/types/contractPipeline/design.js";
-// sites-pinned: tests/remediate/step-prompt-sketch-drift.test.ts
-/**
- * The value vocabularies a step prompt's schema sketch and its VALIDATOR both
- * read — declared once, here, so they cannot disagree.
- *
- * Why this module exists. A step prompt hands the worker a JSON shape to write,
- * and a validator in `src/remediate/validation/` decides whether what came back
- * is admissible. Those were two independent statements of the same fact: the
- * prompt carried a hand-written sketch (`contractPipelinePrompts.ts`, plus two
- * extra sketches in `contractPipeline.ts`) and the validator carried its own
- * literal list. Measured drifts at HEAD before this module existed:
- *
- *   - `cyclic_seam_resolution.status` — sketch offered 2 values, the validator
- *     admits 4 (`user_decision_required` and `blocked` were unrenderable but
- *     required by the refusal path);
- *   - `judge_report.repair_directive.target` — sketch offered 3, the validator 4
- *     (the fourth, `counterexample`, could never be asked for);
- *   - `verification_report.finding.traces[].kind` — sketch offered 5, the
- *     validator 6;
- *   - `implementation_dag.node.status` — sketch showed exactly 1 of the 4 the
- *     validator admits.
- *
- * Every one is the same failure: a worker reads the sketch, emits a value the
- * sketch allowed, and the tool refuses it — or, worse in the opposite
- * direction, never learns a legal value exists. A drift test made of "remember
- * to update the other one" is exactly the class of guarantee this repo bans
- * (enforce in tooling, never host — or author — discretion), so the fix is not
- * a test that watches two lists. It is ONE declaration, with the validator and
- * the sketch both deriving from it.
- *
- * What is MINED vs DECLARED. The values are declared here; they are NOT read out
- * of the validator module, because a validator states its values as inline
- * `requireOneOf(...)` literals inside a function body — a declaration a test can
- * only reach by parsing source text, which is the brittle thing this replaces.
- * Instead the exported constants are the single declaration and the VALIDATOR
- * imports them, so the drift is impossible by construction rather than detected
- * after the fact. The test in
- * `tests/remediate/step-prompt-sketch-drift.test.ts` then re-derives each
- * vocabulary from what each validator actually REFUSES (by feeding it values),
- * and compares that to the sketch the prompt renders — so a value added to a
- * validator without the sketch still reds, without depending on how the
- * validator happens to spell its list.
- *
- * NOT A LIST. Every value vocabulary that the CONTRACT-PIPELINE role sketches
- * render as an alternation is declared here — the four drifted ones above, the
- * obligation/test-plan pairs, and the nine that were still hand-written literals
- * in `contractPipelinePrompts.ts` (goal `source_type`; context-entry `kind`; the
- * critique item `kind` and `severity`; the critique `verdict`; the assessment
- * finding `status` and report `verdict`; the judge `verdict`; and the judge's
- * counterexample `classification`). That is the whole point: a vocabulary kept
- * as a literal is only safe while someone remembers, and the drift test below
- * sweeps every rendered alternation of those sketches rather than a hand-kept
- * field list, so the next literal to appear reds immediately instead of waiting
- * to be noticed.
- *
- * The scope is those sketches, NOT every sketch in the repository, and the
- * difference is recorded rather than implied: the sweep reaches the modules in
- * `SKETCH_SOURCE_MODULES`, and the clarification-resolution sketch in
- * `steps/prompts.ts` is outside them — a declared-gap row in
- * `tests/shared/promptContractRegistry.ts`. So this module claims nothing about
- * that one, and widening the sweep is its own change.
- */
-/**
- * `cyclic_seam_resolution.status` — what the validator admits. `no_cycles` is
- * the tool's own record, written when the ledger has no cycle; `resolved` is the
- * worker's record of the breaks it made. The escalation states
- * (`user_decision_required`, `blocked`) are routes the gate takes, never a
- * record: nothing wrote them, and a worker that wrote one moved the pipeline
- * forward with the cycles still in the ledger.
- */
-export const CYCLIC_SEAM_RESOLUTION_STATUSES = ["no_cycles", "resolved"];
-/**
- * The subset of {@link CYCLIC_SEAM_RESOLUTION_STATUSES} the worker's sketch
- * offers. The worker is emitted only when the ledger has a cycle, so its one
- * answer is `resolved`; the re-check refuses any record while a cycle remains.
- */
-export const CYCLIC_SEAM_RESOLUTION_STATUSES_OFFERED = ["resolved"];
-/** `cyclic_seam_resolution.cycles[].break_strategy`. */
-export const CYCLIC_SEAM_BREAK_STRATEGIES = [
-    "mediator",
-    "single_authority",
-];
-/**
- * `judge_report.repair_directive.target`, its legacy aliases, and the offered
- * subset — DECLARED in `src/shared/types/contractPipeline/obligations.ts`,
- * beside the `JudgeRepairTarget` type that derives from them, and re-exported
- * here so the validator and the prompt sketches keep reading them from this
- * module.
- *
- * Why they moved. `src/shared` is the base layer; this module lives in
- * `src/remediate`. A value import from the base layer into an orchestrator is
- * the dependency direction inverted, and the declaration had to live on the
- * side the TYPE could reach.
- */
-export { CONTRACT_REPAIR_TARGETS, CONTRACT_REPAIR_TARGETS_LEGACY, CONTRACT_REPAIR_TARGETS_OFFERED, } from "audit-tools/shared";
-/** `verification_report` trace `kind`. */
-export const VERIFICATION_TRACE_KINDS = [
-    "requirement",
-    "invariant",
-    "counterexample",
-    "task",
-    "file",
-    "command",
-];
-/** `verification_report` finding-level `overall_status` (report level excludes `skipped`). */
-export const VERIFICATION_FINDING_STATUSES = [
-    "passed",
-    "failed",
-    "skipped",
-];
-/** `verification_report` report-level `overall_status`. */
-export const VERIFICATION_REPORT_STATUSES = ["passed", "failed"];
-/** `verification_report` trace `status`. */
-export const VERIFICATION_TRACE_STATUSES = ["passed", "failed"];
-/** `implementation_dag.nodes[].status`. */
-export const IMPLEMENTATION_NODE_STATUSES = [
-    "pending",
-    "in_progress",
-    "resolved",
-    "blocked",
-];
-/** `implementation_dag.edges[].kind`. */
-export const IMPLEMENTATION_EDGE_KINDS = ["dependency", "verification"];
-/**
- * `obligation_ledger.obligations[].status`. `satisfied` is reachable only
- * through the tool's own derivation (`contractPipeline/derive.ts`) — a worker
- * emits `pending` and the tool advances it — but the value is part of the
- * contract the prompt describes, so it is declared here rather than implied.
- */
-export const OBLIGATION_STATUSES = [
-    "pending",
-    "satisfied",
-    "failed",
-];
-/** `obligation_ledger.obligations[].kind`. */
-export const OBLIGATION_KINDS = [
-    "invariant",
-    "behavioral",
-    "structural",
-    "test",
-];
-/** `test_validator_plan.test_specs[].kind`. */
-export const TEST_SPEC_KINDS = [
-    "unit",
-    "integration",
-    "schema",
-    "invariant",
-    "e2e",
-];
-/** `goal_spec.source_type`. */
-export const GOAL_SOURCE_TYPES = [
-    "conversation",
-    "document",
-    "structured_audit",
-    "mixed",
-];
-/** `context_bundle.entries[].kind`. */
-export const CONTEXT_ENTRY_KINDS = [
-    "source",
-    "test",
-    "config",
-    "doc",
-];
-/** `conceptual_design_critique.items[].kind`. */
-export const CRITIQUE_ITEM_KINDS = [
-    "concern",
-    "alternative",
-    "suggestion",
-];
-/** `conceptual_design_critique.items[].severity`. */
-export const CRITIQUE_ITEM_SEVERITIES = ["blocking", "advisory"];
-/** `conceptual_design_critique.verdict`. */
-export const CRITIQUE_VERDICTS = [
-    "approved",
-    "approved_with_concerns",
-    "rejected",
-];
-/** `contract_assessment_report.findings[].status`. */
-export const ASSESSMENT_FINDING_STATUSES = [
-    "satisfied",
-    "violated",
-    "uncertain",
-];
-/** `contract_assessment_report.verdict`. */
-export const ASSESSMENT_VERDICTS = ["passed", "failed", "partial"];
-/** `judge_report.verdict`. */
-export const JUDGE_VERDICTS = ["approved", "needs_repair"];
-/**
- * `judge_report.classifications[].classification` — what the judge may decide
- * about one counterexample.
- *
- * Declared here rather than in the validator that reads it, because the judge
- * role's prompt sketch states the same five values and a sketch that renders a
- * hand-written copy of a validator's list is the drift this module bans. The
- * validator imports THIS declaration (it was a local `as const` beside
- * `validateJudgeReport`), so the two are one fact.
- */
-export const COUNTEREXAMPLE_CLASSIFICATIONS = [
-    "accepted",
-    "out_of_scope",
-    "duplicate",
-    "invalid",
-    "residual_risk",
-];
-/**
- * `seam_reconciliation_report.mismatches[].resolution.decision` — which side of
- * a seam adjusts. Declared here beside the rest for ONE reason: the alternative
- * would be to exclude it from the drift test by hand, and an exclusion list is
- * the drift this module exists to make impossible (see the test's alternation
- * sweep, which matches EVERY rendered alternation to a validator probe).
- */
-export const SEAM_RESOLUTION_DECISIONS = ["A", "B", "both"];
-/**
- * The vocabularies that carry a `created_at`, and the ones that do not.
- *
- * `created_at` asymmetry, resolved in one place. Every contract-pipeline
- * validator ends with `requireString(v.created_at, ...)`, and NO sketch
- * declares the field — the reconciliation is `stampToolCreatedAt`
- * (`contractPipeline/artifactStore.ts`), which the tool calls on the payload at
- * ingest and at the `validate-artifact` self-check. The host has no clock, so
- * asking it for a timestamp is asking it to invent one; the tool owns the field
- * and stamps it.
- *
- * The decision, stated once rather than left implicit: THE VALIDATORS KEEP
- * REQUIRING IT AND THE SKETCHES KEEP OMITTING IT — because the requirement is
- * enforced on the POST-STAMP payload, not on what the worker wrote. The
- * asymmetry is not a drift to be closed in either direction: declaring
- * `created_at` in the sketches would tell the worker to supply a value the tool
- * then overrides (the stamp is `created_at`-wins-if-present, but a host-invented
- * clock reading is still worse than the tool's), and dropping the requirement
- * from the validators would let an artifact that never passed the stamp path —
- * a hand-written file validated directly — carry no timestamp at all.
- *
- * This is a DECISION, not a drift (see the drift test's `created_at` block):
- * the validators keep requiring it and the sketches keep omitting it, because
- * the requirement is enforced on the POST-STAMP payload rather than on what the
- * worker wrote. Closing the asymmetry in either direction is worse — declaring
- * it in the sketches asks the host for a clock reading the tool then overrides,
- * and dropping it from the validators lets a directly-validated hand-written
- * file carry no timestamp at all.
- */
-export const CREATED_AT_OWNER = "stampToolCreatedAt";
-/**
- * Whether `value` is one of {@link CYCLIC_SEAM_BREAK_STRATEGIES} — the ONE
- * membership test for the vocabulary, so the tool's post-hoc cycle-break check
- * and the prompt's sketch read the same declaration.
- */
-export function isCyclicSeamBreakStrategy(value) {
-    return (typeof value === "string" &&
-        CYCLIC_SEAM_BREAK_STRATEGIES.includes(value));
-}
-/**
- * Render a sketch fragment for a value vocabulary: `"a | b | c"`.
- *
- * The ONE renderer for every `requireOneOf`-style vocabulary in the sketches,
- * so the separators and quoting in a prompt cannot drift from each other either.
- */
-export function sketchValues(values) {
-    return values.join(" | ");
-}
-//# sourceMappingURL=sketchSource.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketchSource.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/sketchSource.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kCAAkC,EAAE,MAAM,+CAA+C,CAAC;AACnG,iEAAiE;AACjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,WAAW,EAAE,UAAU,CAAU,CAAC;AAElF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC,UAAU,CAAU,CAAC;AAE7E,wDAAwD;AACxD,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,UAAU;IACV,kBAAkB;CACV,CAAC;AAEX;;;;;;;;;;;GAWG;AACH,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAE5B,0CAA0C;AAC1C,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,aAAa;IACb,WAAW;IACX,gBAAgB;IAChB,MAAM;IACN,MAAM;IACN,SAAS;CACD,CAAC;AAEX,8FAA8F;AAC9F,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,QAAQ;IACR,QAAQ;IACR,SAAS;CACD,CAAC;AAEX,2DAA2D;AAC3D,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAE1E,4CAA4C;AAC5C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAEzE,2CAA2C;AAC3C,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,SAAS;IACT,aAAa;IACb,UAAU;IACV,SAAS;CACD,CAAC;AAEX,yCAAyC;AACzC,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,YAAY,EAAE,cAAc,CAAU,CAAC;AAEjF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,SAAS;IACT,WAAW;IACX,QAAQ;CACA,CAAC;AAEX,8CAA8C;AAC9C,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,WAAW;IACX,YAAY;IACZ,YAAY;IACZ,MAAM;CACE,CAAC;AAEX,+CAA+C;AAC/C,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,MAAM;IACN,aAAa;IACb,QAAQ;IACR,WAAW;IACX,KAAK;CACG,CAAC;AAEX,+BAA+B;AAC/B,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,cAAc;IACd,UAAU;IACV,kBAAkB;IAClB,OAAO;CACC,CAAC;AAEX,uCAAuC;AACvC,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,KAAK;CACG,CAAC;AAEX,iDAAiD;AACjD,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,SAAS;IACT,aAAa;IACb,YAAY;CACJ,CAAC;AAEX,qDAAqD;AACrD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,UAAU,EAAE,UAAU,CAAU,CAAC;AAE1E,4CAA4C;AAC5C,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,wBAAwB;IACxB,UAAU;CACF,CAAC;AAEX,sDAAsD;AACtD,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,WAAW;IACX,UAAU;IACV,WAAW;CACH,CAAC;AAEX,4CAA4C;AAC5C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAE5E,8BAA8B;AAC9B,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,cAAc,CAAU,CAAC;AAEpE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,UAAU;IACV,cAAc;IACd,WAAW;IACX,SAAS;IACT,eAAe;CACP,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAU,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,oBAA6B,CAAC;AAE9D;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,4BAAkD,CAAC,QAAQ,CAAC,KAAK,CAAC,CACpE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAyB;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC"}

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

@@ -1,17 +0,0 @@
-import type { PriorTestSpec } from "./derive.js";
-export declare function testPlanCarryPath(artifactsDir: string): string;
-/**
- * Snapshot a freshly-ingested test-plan's authored specs (identity + assertions)
- * keyed by obligation_id, overwriting any prior snapshot. Only specs with at
- * least one assertion are carried (an `inapplicable_claim` spec re-authors).
- */
-export declare function captureTestPlanCarry(artifactsDir: string, payload: unknown, capturedAt: string): Promise<void>;
-/**
- * Read the carried prior specs keyed by obligation_id; empty when none.
- *
- * The carry is REGENERABLE state — a carry from another schema version is
- * discarded rather than reinterpreted, which costs one re-authoring of the
- * affected specs and is the same fail-shape as an absent file (below).
- */
-export declare function readTestPlanCarry(artifactsDir: string): Promise<Record<string, PriorTestSpec>>;
-//# sourceMappingURL=testPlanCarry.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"testPlanCarry.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/testPlanCarry.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAajD,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAE9D;AAQD;;;;GAIG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAMxC"}

package/dist/remediate/contractPipeline/testPlanCarry.js

@@ -1,72 +0,0 @@
-/**
- * Diff-carry for the test-validator plan (C3).
- *
- * Friction: the test-plan is re-derived whole whenever the obligation ledger
- * re-stales (e.g. a repair round changes a module contract). The host then
- * re-authors EVERY spec's assertions — even for obligations whose premise did
- * not change at all.
- *
- * Fix: when a test-plan is ingested, snapshot each authored spec's identity
- * (`name` + `scope_anchors`) plus its assertions, keyed by obligation_id. On a
- * later re-emit, the scaffold pre-fills assertions for every obligation whose
- * premise is unchanged (see `buildTestValidatorPlanScaffold`), so the host only
- * authors the genuinely new/changed specs. Enforced by the tool (the re-emitted
- * skeleton carries the assertions), never left to the host to remember.
- */
-import { mkdir } from "node:fs/promises";
-import { join } from "node:path";
-import { discardOnSchemaVersionMismatch, isRecord, readOptionalJsonFile, writeJsonFile, } from "audit-tools/shared";
-import { contractPipelineDir } from "./artifactStore.js";
-const CARRY_SCHEMA_VERSION = "remediate-code-contract-pipeline/test-plan-carry/v1alpha1";
-export function testPlanCarryPath(artifactsDir) {
-    return join(contractPipelineDir(artifactsDir), "test-plan-carry.json");
-}
-function asStringArray(value) {
-    return Array.isArray(value)
-        ? value.filter((x) => typeof x === "string")
-        : [];
-}
-/**
- * Snapshot a freshly-ingested test-plan's authored specs (identity + assertions)
- * keyed by obligation_id, overwriting any prior snapshot. Only specs with at
- * least one assertion are carried (an `inapplicable_claim` spec re-authors).
- */
-export async function captureTestPlanCarry(artifactsDir, payload, capturedAt) {
-    const specsArray = isRecord(payload) ? payload.test_specs : undefined;
-    if (!Array.isArray(specsArray))
-        return;
-    const specs = {};
-    for (const raw of specsArray) {
-        if (!isRecord(raw))
-            continue;
-        const id = typeof raw.obligation_id === "string" ? raw.obligation_id : "";
-        const name = typeof raw.name === "string" ? raw.name : "";
-        const assertions = asStringArray(raw.assertions);
-        if (!id || assertions.length === 0)
-            continue;
-        specs[id] = {
-            name,
-            scope_anchors: asStringArray(raw.scope_anchors),
-            assertions,
-        };
-    }
-    const carry = {
-        schema_version: CARRY_SCHEMA_VERSION,
-        captured_at: capturedAt,
-        specs,
-    };
-    await mkdir(contractPipelineDir(artifactsDir), { recursive: true });
-    await writeJsonFile(testPlanCarryPath(artifactsDir), carry);
-}
-/**
- * Read the carried prior specs keyed by obligation_id; empty when none.
- *
- * The carry is REGENERABLE state — a carry from another schema version is
- * discarded rather than reinterpreted, which costs one re-authoring of the
- * affected specs and is the same fail-shape as an absent file (below).
- */
-export async function readTestPlanCarry(artifactsDir) {
-    const carry = discardOnSchemaVersionMismatch(await readOptionalJsonFile(testPlanCarryPath(artifactsDir)), CARRY_SCHEMA_VERSION);
-    return carry?.specs ?? {};
-}
-//# sourceMappingURL=testPlanCarry.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"testPlanCarry.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/testPlanCarry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,QAAQ,EACR,oBAAoB,EACpB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,MAAM,oBAAoB,GACxB,2DAAoE,CAAC;AAUvE,MAAM,UAAU,iBAAiB,CAAC,YAAoB;IACpD,OAAO,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,sBAAsB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,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;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAoB,EACpB,OAAgB,EAChB,UAAkB;IAElB,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO;IACvC,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,MAAM,EAAE,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7C,KAAK,CAAC,EAAE,CAAC,GAAG;YACV,IAAI;YACJ,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC;YAC/C,UAAU;SACX,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAkB;QAC3B,cAAc,EAAE,oBAAoB;QACpC,WAAW,EAAE,UAAU;QACvB,KAAK;KACN,CAAC;IACF,MAAM,KAAK,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,aAAa,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,YAAoB;IAEpB,MAAM,KAAK,GAAG,8BAA8B,CAC1C,MAAM,oBAAoB,CAAgB,iBAAiB,CAAC,YAAY,CAAC,CAAC,EAC1E,oBAAoB,CACrB,CAAC;IACF,OAAO,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/remediate/steps/dispatch/marshal.d.ts

@@ -1,7 +0,0 @@
-/**
- * Read the planning pipeline's handoff artifact when it exists. Implementation
- * execution no longer has a second dispatch-plan marshalling layer: the only
- * production implementation boundary is hostHandoff.ts.
- */
-export declare function readExtractedPlanIfPresent(artifactsDir: string): Promise<unknown | undefined>;
-//# sourceMappingURL=marshal.d.ts.map

package/dist/remediate/steps/dispatch/marshal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/marshal.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAE9B"}

package/dist/remediate/steps/dispatch/marshal.js

@@ -1,11 +0,0 @@
-import { join } from "node:path";
-import { readOptionalJsonFile } from "audit-tools/shared";
-/**
- * Read the planning pipeline's handoff artifact when it exists. Implementation
- * execution no longer has a second dispatch-plan marshalling layer: the only
- * production implementation boundary is hostHandoff.ts.
- */
-export async function readExtractedPlanIfPresent(artifactsDir) {
-    return readOptionalJsonFile(join(artifactsDir, "extracted-plan.json"));
-}
-//# sourceMappingURL=marshal.js.map

package/dist/remediate/steps/dispatch/marshal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.js","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/marshal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,YAAoB;IAEpB,OAAO,oBAAoB,CAAC,IAAI,CAAC,YAAY,EAAE,qBAAqB,CAAC,CAAC,CAAC;AACzE,CAAC"}

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipeline.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AA0CzF,eAAO,MAAM,iCAAiC,EAC5C,kEAA2E,CAAC;AAG9E,eAAO,MAAM,+BAA+B,EAC1C,gEAAyE,CAAC;AAC5E,eAAO,MAAM,2BAA2B,EACtC,4DAAqE,CAAC;AACxE,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAClF,eAAO,MAAM,qCAAqC,EAChD,sEAA+E,CAAC;AAyElF,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,IAAI,SAAc,GACjB,eAAe,EAAE,CAUnB;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAoBnB;AAID,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,IAAI,SAAyB,GAC5B,eAAe,EAAE,CAiCnB;AAcD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,EACd,IAAI,SAAqB,GACxB,eAAe,EAAE,CAiBnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAuCnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAkCnB;AAOD,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,kCAAkC,EAClC,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EAChC,gCAAgC,EAChC,iCAAiC,EACjC,8BAA8B,EAC9B,mCAAmC,EACnC,sBAAsB,EACtB,mBAAmB,EACnB,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,GACrC,MAAM,4BAA4B,CAAC;AAIpC,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAwBnB;AAID,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EACd,IAAI,SAAsB,GACzB,eAAe,EAAE,CAqBnB;AAID,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAwDnB;AAID,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAA+B,GAClC,eAAe,EAAE,CAqBnB;AAID,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,IAAI,SAAmB,GACtB,eAAe,EAAE,CAoBnB;AAID,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,IAAI,SAAiB,GACpB,eAAe,EAAE,CAgDnB;AAID,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,EACd,IAAI,SAAuB,GAC1B,eAAe,EAAE,CAyGnB;AAID,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,eAAe,EAAE,CAwCnB;AAID,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,EACd,IAAI,SAA2B,GAC9B,eAAe,EAAE,CAyCnB;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,MAAM,CAC/C,4BAA4B,EAC5B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,eAAe,EAAE,CAiBpD,CAAC"}