audit-tools 0.52.4 → 0.53.0

package/dist/shared/types/contractPipeline/obligations.d.ts

@@ -1,283 +0,0 @@
-import { z } from "zod";
-/**
- * Contract-pipeline artifact: obligations phase.
- *
- * ObligationLedger — implementation obligations derived from the design.
- * TestValidatorPlan — pre-code test specs derived from ledger obligations.
- * ContractAssessmentReport — invariant/boundary/obligation assessment.
- * CounterexampleReport — adversarial critic output.
- * JudgeReport — adversarial judge verdict on counterexamples.
- */
-export declare const CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION: "remediate-code-contract-pipeline/obligation-ledger/v1alpha1";
-export declare const CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION: "remediate-code-contract-pipeline/test-validator-plan/v1alpha1";
-export declare const CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION: "remediate-code-contract-pipeline/contract-assessment-report/v1alpha1";
-export declare const CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION: "remediate-code-contract-pipeline/counterexample/v1alpha1";
-export declare const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION: "remediate-code-contract-pipeline/judge-report/v1alpha1";
-/**
- * Change-vs-addition classification for one obligation (DC-5 / CE-013).
- *
- * Whether an obligation *changes existing behavior* or *adds new behavior*
- * decides its test burden: a behavior CHANGE must be covered by a PAIRED
- * positive+negative test spec whose negative is scoped to the changed
- * symbol/file (so a regression is caught), whereas a pure ADDITION has no prior
- * behavior to regress and is never forced to pair.
- *
- * The verdict is reached deterministically FIRST — `touches_existing_symbol`
- * means the obligation references a symbol/file that already exists in the
- * baseline corpus — and an LLM may then CONFIRM or OVERRIDE it. The method is
- * recorded on `determined_by` so the classification is never silent (the
- * "deterministic by default; LLM only for judgment — bounded and recorded"
- * invariant).
- */
-export interface ObligationChangeClassification {
-    /** A `change` touches prior behavior (→ paired test); an `addition` does not. */
-    change_kind: "change" | "addition";
-    /**
-     * Existing symbol/file tokens the change touches. These are the scope anchors
-     * a paired negative assertion must name — an unscoped, repo-wide negative
-     * (CE-006) is rejected because it matches none of them. Empty for an addition.
-     */
-    touched_symbols: string[];
-    /**
-     * How the verdict was reached. The deterministic heuristic runs first; an LLM
-     * confirmation/override (when present) is recorded here, never discarded.
-     */
-    determined_by: "touches_existing_symbol" | "no_existing_symbol" | "llm_confirmed" | "llm_override";
-    /** Recorded rationale when an LLM confirmed or overrode the deterministic call. */
-    rationale?: string;
-}
-/** One implementation obligation derived from the design. */
-export interface ObligationEntry {
-    id: string;
-    description: string;
-    kind: "invariant" | "behavioral" | "structural" | "test";
-    /** Obligation IDs that must be satisfied before this one. */
-    depends_on: string[];
-    /** Current status of this obligation. */
-    status: "pending" | "satisfied" | "failed";
-    /** Lower value = higher priority; enables first-class scheduling. */
-    priority?: number;
-    /** Traceability: where this obligation originated. */
-    source?: "design_spec" | "critique" | "counterexample" | "manual";
-    /**
-     * The finalized module this obligation belongs to (design_spec-sourced
-     * obligations only). Lets the implementation-DAG scaffold group a module's
-     * obligations into ONE node by construction — a 1-module change derives 1
-     * node instead of N (B2) — without the host having to merge. Absent on
-     * obligations with no module home (e.g. counterexample/critique-sourced),
-     * which fall back to one node each.
-     */
-    module?: string;
-    /**
-     * DC-5: change-vs-addition classification. Present on testable
-     * (invariant/behavioral) obligations the deriver classified; absent on
-     * structural obligations (no test burden) and on obligations from sources
-     * that predate the classifier. The paired-test gate treats an *unclassified*
-     * testable obligation as a CHANGE (fail-closed): pairing is only relaxed when
-     * an obligation is explicitly classified as an addition.
-     */
-    change_classification?: ObligationChangeClassification;
-}
-export interface ObligationLedger {
-    contract_version: typeof CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION;
-    goal_id: string;
-    obligations: ObligationEntry[];
-    /** ISO-8601 timestamp when this ledger was created. */
-    created_at: string;
-}
-/**
- * One test spec derived from a ledger obligation, to be created before code.
- *
- * Two shapes. A spec that tests its obligation carries a `kind` and at least one
- * assertion. A spec that DISPUTES its obligation carries an `inapplicable_claim`
- * instead, and needs no kind and no assertions: there is no test to describe.
- */
-export type TestSpec = ApplicableTestSpec | InapplicableTestSpec;
-interface TestSpecIdentity {
-    /** The obligation ID from the ObligationLedger this test spec covers. */
-    obligation_id: string;
-    /** Short name for this test. */
-    name: string;
-}
-interface ApplicableTestSpec extends TestSpecIdentity {
-    /** Kind of test. */
-    kind: "unit" | "integration" | "schema" | "invariant" | "e2e";
-    /** Concrete, falsifiable assertion strings for this test. Must be non-empty. */
-    assertions: string[];
-    inapplicable_claim?: undefined;
-}
-interface InapplicableTestSpec extends TestSpecIdentity {
-    kind?: ApplicableTestSpec["kind"];
-    assertions?: string[];
-    /**
-     * Declares this test inapplicable. The claim must cite the specific
-     * obligation ID and provide a falsifiable reason checkable against the
-     * ledger — bare rationale is insufficient.
-     */
-    inapplicable_claim: {
-        /** The obligation ID this claim disputes (must match obligation_id above). */
-        obligation_id: string;
-        /** Falsifiable reason why this test is inapplicable per the ledger. */
-        reason: string;
-    };
-}
-/**
- * Pre-code test specification plan: converts ledger obligations into concrete
- * test specs, validators, and schemas BEFORE any implementation begins.
- */
-export interface TestValidatorPlan {
-    contract_version: typeof CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION;
-    goal_id: string;
-    test_specs: TestSpec[];
-    /** ISO-8601 timestamp when this plan was created. */
-    created_at: string;
-}
-/** Invariant/boundary/obligation assessment of the design spec. */
-export interface ContractAssessmentFinding {
-    obligation_id: string;
-    status: "satisfied" | "violated" | "uncertain";
-    evidence: string[];
-    rationale: string;
-}
-export interface ContractAssessmentReport {
-    contract_version: typeof CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION;
-    goal_id: string;
-    findings: ContractAssessmentFinding[];
-    /** Overall pass/fail verdict for the contract assessment. */
-    verdict: "passed" | "failed" | "partial";
-    /** ISO-8601 timestamp when this report was created. */
-    created_at: string;
-}
-/** A concrete example produced by the adversarial critic that falsifies a design claim. */
-export declare const CounterexampleSchema: z.ZodObject<{
-    id: z.ZodString;
-    claim: z.ZodString;
-    reproduction_steps: z.ZodArray<z.ZodString, "many">;
-    expected: z.ZodString;
-    actual: z.ZodString;
-    violated_obligation_ids: z.ZodArray<z.ZodString, "many">;
-}, "strip", z.ZodTypeAny, {
-    expected: string;
-    id: string;
-    claim: string;
-    reproduction_steps: string[];
-    actual: string;
-    violated_obligation_ids: string[];
-}, {
-    expected: string;
-    id: string;
-    claim: string;
-    reproduction_steps: string[];
-    actual: string;
-    violated_obligation_ids: string[];
-}>;
-export type Counterexample = z.infer<typeof CounterexampleSchema>;
-/** The critic phase's output artifact: all counterexamples found against the design. */
-export interface CounterexampleReport {
-    contract_version: typeof CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION;
-    goal_id: string;
-    /** Empty when the critic found no way to falsify the design. */
-    counterexamples: Counterexample[];
-    /** ISO-8601 timestamp when this report was created. */
-    created_at: string;
-}
-/** Judge classification of one counterexample. */
-export type CounterexampleClassification = "accepted" | "out_of_scope" | "duplicate" | "invalid" | "residual_risk";
-export interface JudgedCounterexample {
-    counterexample_id: string;
-    classification: CounterexampleClassification;
-    rationale: string;
-}
-/**
- * `judge_report.repair_directive.target` — the artifacts a repair may name.
- *
- * DECLARED HERE, in `src/shared`, because this module is the base layer and the
- * type below derives from it: `src/shared` must not import an orchestrator, and
- * a declaration living in `src/remediate` was exactly that. The remediate side
- * re-exports these through `contractPipeline/sketchSource.ts`, so the validator
- * and every prompt sketch still read them from there.
- *
- * `design_spec` is the PRE-REDESIGN name for what `finalized_module_contracts`
- * holds, and it stays here on purpose: the validator has a named back-compat
- * test for it, and a judge report written by an older release must still be
- * admissible. It is NOT offered in the prompt sketch
- * ({@link CONTRACT_REPAIR_TARGETS_OFFERED}), because no new report should be
- * authored against a name the repair loop normalizes away — the asymmetry is
- * the same accept-legacy / emit-current split the store's version policy uses.
- *
- * `counterexample` is NOT a member. The judge rules on the critic's report, so
- * it cannot order that report rewritten, and the repair loop can regenerate only
- * the declared owning contract artifacts. It was admitted once and then swapped for an
- * inferred target in silence; the validator now refuses it with that reason.
- */
-export declare const CONTRACT_REPAIR_TARGETS: readonly ["module_decomposition", "finalized_module_contracts", "obligation_ledger", "contract_assessment_report", "design_spec"];
-/**
- * The values a validator still ACCEPTS but no sketch OFFERS — the
- * accept-legacy / emit-current split, declared as data.
- *
- * Why it is a declaration rather than an `offeredExclusions` entry in the drift
- * test. The exclusion WAS declared in the test, and that is exactly the shape
- * this vocabulary bans: a hand-kept list that has to be edited in lockstep with
- * the declaration it describes. The test's own `CONTRACT_REPAIR_TARGETS_OFFERED`
- * import made the drift worse — the SKETCH's offered set and the TEST's expected
- * offered set came from one expression, so a target quietly dropped from the
- * offered set would move both sides together and stay green.
- *
- * Single-sourced instead: the offered set is {@link CONTRACT_REPAIR_TARGETS}
- * minus THIS list, the sketch renders that set, and the drift test derives its
- * expectation from the same subtraction. A new legacy alias is one entry here
- * and nothing else moves.
- */
-export declare const CONTRACT_REPAIR_TARGETS_LEGACY: readonly ["design_spec"];
-/**
- * The subset a prompt OFFERS: everything admissible except the legacy aliases.
- *
- * Derived, not a second list — the live targets are
- * {@link CONTRACT_REPAIR_TARGETS_LEGACY}'s complement in
- * {@link CONTRACT_REPAIR_TARGETS}, so adding a target adds it to the sketch
- * automatically and removing one cannot leave a stale alternation behind.
- */
-export declare const CONTRACT_REPAIR_TARGETS_OFFERED: ("design_spec" | "module_decomposition" | "finalized_module_contracts" | "obligation_ledger" | "contract_assessment_report")[];
-/**
- * Contract artifacts the judge may order regenerated — DERIVED from the one
- * declaration above, which the validator and every prompt sketch also read.
- * Restating the members on the type is how it came to disagree with the
- * validator once already: the sketch offered three, the validator four, and the
- * type a third set.
- *
- * `finalized_module_contracts` is the post-redesign name for what `design_spec`
- * used to hold, and the three non-legacy members are exactly the artifacts a
- * repair can regenerate.
- *
- * A `design_spec` directive is ADMITTED by the validator (back-compat) but is
- * not a repair order the loop acts on: it falls through to
- * `inferRepairDirective` (`contractPipeline.ts`) rather than being normalized
- * onto `finalized_module_contracts`.
- */
-export type JudgeRepairTarget = (typeof CONTRACT_REPAIR_TARGETS)[number];
-/** On a failing verdict, the single targeted repair the loop performs next. */
-export interface JudgeRepairDirective {
-    target: JudgeRepairTarget;
-    /** Bounded instruction for the regeneration worker. */
-    instruction: string;
-}
-/** Adversarial judge verdict on the critic's counterexamples. */
-export interface JudgeReport {
-    contract_version: typeof CONTRACT_PIPELINE_JUDGE_REPORT_VERSION;
-    goal_id: string;
-    /**
-     * `approved` when no accepted counterexample demands a contract repair
-     * (residual risks may remain, recorded in `classifications`); `needs_repair`
-     * when at least one accepted counterexample requires regenerating a contract
-     * artifact before implementation planning.
-     */
-    verdict: "approved" | "needs_repair";
-    /** One classification per critic counterexample. */
-    classifications: JudgedCounterexample[];
-    /** Required when verdict is `needs_repair`; names the artifact to regenerate. */
-    repair_directive?: JudgeRepairDirective;
-    /** ISO-8601 timestamp when this report was created. */
-    created_at: string;
-}
-export {};
-//# sourceMappingURL=obligations.d.ts.map

package/dist/shared/types/contractPipeline/obligations.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AAIH,eAAO,MAAM,2CAA2C,EACtD,6DAAsE,CAAC;AAEzE,eAAO,MAAM,6CAA6C,EACxD,+DAAwE,CAAC;AAE3E,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAElF,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAEtE,eAAO,MAAM,sCAAsC,EACjD,wDAAiE,CAAC;AAIpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iFAAiF;IACjF,WAAW,EAAE,QAAQ,GAAG,UAAU,CAAC;IACnC;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,aAAa,EACT,yBAAyB,GACzB,oBAAoB,GACpB,eAAe,GACf,cAAc,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACzD,6DAA6D;IAC7D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,aAAa,GAAG,UAAU,GAAG,gBAAgB,GAAG,QAAQ,CAAC;IAClE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,8BAA8B,CAAC;CACxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,OAAO,2CAA2C,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAEjE,UAAU,gBAAgB;IACxB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAmB,SAAQ,gBAAgB;IACnD,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kBAAkB,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE;QAClB,8EAA8E;QAC9E,aAAa,EAAE,MAAM,CAAC;QACtB,uEAAuE;QACvE,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,mEAAmE;AACnE,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,6DAA6D;IAC7D,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,2FAA2F;AAC3F,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;EAO/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,kDAAkD;AAClD,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,cAAc,GACd,WAAW,GACX,SAAS,GACT,eAAe,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,4BAA4B,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,uBAAuB,mIAM1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,gIAG3C,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,gBAAgB,EAAE,OAAO,sCAAsC,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,UAAU,GAAG,cAAc,CAAC;IACrC,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/obligations.js

@@ -1,84 +0,0 @@
-import { z } from "zod";
-// sites-pinned: tests/remediate/step-prompt-sketch-drift.test.ts, tests/remediate/contract-pipeline.test.ts
-/**
- * Contract-pipeline artifact: obligations phase.
- *
- * ObligationLedger — implementation obligations derived from the design.
- * TestValidatorPlan — pre-code test specs derived from ledger obligations.
- * ContractAssessmentReport — invariant/boundary/obligation assessment.
- * CounterexampleReport — adversarial critic output.
- * JudgeReport — adversarial judge verdict on counterexamples.
- */
-// ── Version constants ────────────────────────────────────────────────────────
-export const CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION = "remediate-code-contract-pipeline/obligation-ledger/v1alpha1";
-export const CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION = "remediate-code-contract-pipeline/test-validator-plan/v1alpha1";
-export const CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION = "remediate-code-contract-pipeline/contract-assessment-report/v1alpha1";
-export const CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION = "remediate-code-contract-pipeline/counterexample/v1alpha1";
-export const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION = "remediate-code-contract-pipeline/judge-report/v1alpha1";
-// ── Counterexample ────────────────────────────────────────────────────────────
-/** A concrete example produced by the adversarial critic that falsifies a design claim. */
-export const CounterexampleSchema = z.object({
-    id: z.string().min(1),
-    claim: z.string().min(1),
-    reproduction_steps: z.array(z.string()),
-    expected: z.string().min(1),
-    actual: z.string().min(1),
-    violated_obligation_ids: z.array(z.string()),
-});
-/**
- * `judge_report.repair_directive.target` — the artifacts a repair may name.
- *
- * DECLARED HERE, in `src/shared`, because this module is the base layer and the
- * type below derives from it: `src/shared` must not import an orchestrator, and
- * a declaration living in `src/remediate` was exactly that. The remediate side
- * re-exports these through `contractPipeline/sketchSource.ts`, so the validator
- * and every prompt sketch still read them from there.
- *
- * `design_spec` is the PRE-REDESIGN name for what `finalized_module_contracts`
- * holds, and it stays here on purpose: the validator has a named back-compat
- * test for it, and a judge report written by an older release must still be
- * admissible. It is NOT offered in the prompt sketch
- * ({@link CONTRACT_REPAIR_TARGETS_OFFERED}), because no new report should be
- * authored against a name the repair loop normalizes away — the asymmetry is
- * the same accept-legacy / emit-current split the store's version policy uses.
- *
- * `counterexample` is NOT a member. The judge rules on the critic's report, so
- * it cannot order that report rewritten, and the repair loop can regenerate only
- * the declared owning contract artifacts. It was admitted once and then swapped for an
- * inferred target in silence; the validator now refuses it with that reason.
- */
-export const CONTRACT_REPAIR_TARGETS = [
-    "module_decomposition",
-    "finalized_module_contracts",
-    "obligation_ledger",
-    "contract_assessment_report",
-    "design_spec",
-];
-/**
- * The values a validator still ACCEPTS but no sketch OFFERS — the
- * accept-legacy / emit-current split, declared as data.
- *
- * Why it is a declaration rather than an `offeredExclusions` entry in the drift
- * test. The exclusion WAS declared in the test, and that is exactly the shape
- * this vocabulary bans: a hand-kept list that has to be edited in lockstep with
- * the declaration it describes. The test's own `CONTRACT_REPAIR_TARGETS_OFFERED`
- * import made the drift worse — the SKETCH's offered set and the TEST's expected
- * offered set came from one expression, so a target quietly dropped from the
- * offered set would move both sides together and stay green.
- *
- * Single-sourced instead: the offered set is {@link CONTRACT_REPAIR_TARGETS}
- * minus THIS list, the sketch renders that set, and the drift test derives its
- * expectation from the same subtraction. A new legacy alias is one entry here
- * and nothing else moves.
- */
-export const CONTRACT_REPAIR_TARGETS_LEGACY = ["design_spec"];
-/**
- * The subset a prompt OFFERS: everything admissible except the legacy aliases.
- *
- * Derived, not a second list — the live targets are
- * {@link CONTRACT_REPAIR_TARGETS_LEGACY}'s complement in
- * {@link CONTRACT_REPAIR_TARGETS}, so adding a target adds it to the sketch
- * automatically and removing one cannot leave a stale alternation behind.
- */
-export const CONTRACT_REPAIR_TARGETS_OFFERED = CONTRACT_REPAIR_TARGETS.filter((target) => !CONTRACT_REPAIR_TARGETS_LEGACY.includes(target));
-//# sourceMappingURL=obligations.js.map

package/dist/shared/types/contractPipeline/obligations.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,4GAA4G;AAC5G;;;;;;;;GAQG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2CAA2C,GACtD,6DAAsE,CAAC;AAEzE,MAAM,CAAC,MAAM,6CAA6C,GACxD,+DAAwE,CAAC;AAE3E,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC;AAElF,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC;AAEtE,MAAM,CAAC,MAAM,sCAAsC,GACjD,wDAAiE,CAAC;AA6JpE,iFAAiF;AAEjF,2FAA2F;AAC3F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAC;AA6BH;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,sBAAsB;IACtB,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,aAAa;CACL,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,aAAa,CAAU,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,uBAAuB,CAAC,MAAM,CAC3E,CAAC,MAAM,EAAE,EAAE,CACT,CAAE,8BAAoD,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1E,CAAC"}

package/dist/shared/types/contractPipeline/verification.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/verification.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,eAAO,MAAM,6CAA6C,EACxD,6CAAsD,CAAC;AAEzD,eAAO,MAAM,0CAA0C,EACrD,4DAAqE,CAAC;AAIxE,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EACA,aAAa,GACb,WAAW,GACX,gBAAgB,GAChB,MAAM,GACN,MAAM,GACN,SAAS,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,cAAc,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;CACjD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,2EAA2E;IAC3E,cAAc,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACpC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,0DAA0D;AAC1D,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,OAAO,CAAC;AAEpE,kEAAkE;AAClE,MAAM,WAAW,SAAS;IACxB,gDAAgD;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,IAAI,EAAE,QAAQ,CAAC;IACf,+EAA+E;IAC/E,gBAAgB,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,qDAAqD;IACrD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,mFAAmF;IACnF,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,yEAAyE;AACzE,MAAM,WAAW,qBAAqB;IACpC,gBAAgB,EAAE,OAAO,0CAA0C,CAAC;IACpE,wCAAwC;IACxC,OAAO,EAAE,MAAM,CAAC;IAChB,oDAAoD;IACpD,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/verification.js

@@ -1,10 +0,0 @@
-/**
- * Contract-pipeline artifact: verification phase.
- *
- * VerificationReport — per-finding verification traces and overall verdict.
- * SeamNegotiationRecord — multi-agent seam negotiation record.
- */
-// ── Version constants ────────────────────────────────────────────────────────
-export const CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION = "remediate-code-verification-report/v1alpha1";
-export const CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION = "remediate-code-contract-pipeline/seam-negotiation/v1alpha1";
-//# sourceMappingURL=verification.js.map

package/dist/shared/types/contractPipeline/verification.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/verification.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,6CAA6C,GACxD,6CAAsD,CAAC;AAEzD,MAAM,CAAC,MAAM,0CAA0C,GACrD,4DAAqE,CAAC"}

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

@@ -1,48 +0,0 @@
-/**
- * Contract-pipeline artifact contracts. These represent the bounded roles of
- * the contract-driven implementation pipeline used by remediate-code for
- * free-form feature/change requests that flow through the full
- * goal→context→design→critique→obligations→assessment→critic→judge→
- * implementation DAG before producing a remediation plan.
- *
- * Each artifact carries a `contract_version` field that must match the
- * exported constant so callers can detect version skew without reading the
- * payload.
- *
- * This file is a barrel re-export. The implementation is split by pipeline
- * phase for navigability:
- *
- *   contractPipeline/goal.ts          — GoalSpec, ContextBundle
- *   contractPipeline/design.ts        — DesignSpec, ConceptualDesignCritique
- *   contractPipeline/obligations.ts   — ObligationLedger, TestValidatorPlan,
- *                                       ContractAssessmentReport,
- *                                       CounterexampleReport, JudgeReport
- *   contractPipeline/implementation.ts — ImplementationDAG
- *   contractPipeline/verification.ts  — VerificationReport, SeamNegotiationRecord
- *
- * Add new artifact types to the appropriate phase file, or create a new phase
- * file if the artifact belongs to a new pipeline stage.
- */
-export { CONTRACT_PIPELINE_GOAL_SPEC_VERSION, CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION, } from "./contractPipeline/goal.js";
-export type { GoalSpec, ContextBundleEntry, ContextBundle } from "./contractPipeline/goal.js";
-export { CONTRACT_PIPELINE_DESIGN_SPEC_VERSION, CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION, } from "./contractPipeline/design.js";
-export type { DesignSpecInvariant, DesignSpecModule, DesignSpecSideEffect, DesignSpecExternalDependency, DesignSpecTrustBoundary, DesignSpec, DesignCritiqueItem, ConceptualDesignCritique, } from "./contractPipeline/design.js";
-export { CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION, CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION, CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION, CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION, CONTRACT_PIPELINE_JUDGE_REPORT_VERSION, } from "./contractPipeline/obligations.js";
-export type { ObligationChangeClassification, ObligationEntry, ObligationLedger, TestSpec, TestValidatorPlan, ContractAssessmentFinding, ContractAssessmentReport, Counterexample, CounterexampleReport, CounterexampleClassification, JudgedCounterexample, JudgeRepairTarget, JudgeRepairDirective, JudgeReport, } from "./contractPipeline/obligations.js";
-export { CONTRACT_REPAIR_TARGETS, CONTRACT_REPAIR_TARGETS_LEGACY, CONTRACT_REPAIR_TARGETS_OFFERED, } from "./contractPipeline/obligations.js";
-export { CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION } from "./contractPipeline/implementation.js";
-import type { ImplementationDAGNode as BaseImplementationDAGNode, ImplementationDAG as BaseImplementationDAG } from "./contractPipeline/implementation.js";
-export type { ImplementationDAGEdge } from "./contractPipeline/implementation.js";
-/**
- * Audit-origin trace carried by Path-A DAG nodes. These ids retain canonical
- * report membership through planning; the DAG node id remains trace metadata.
- */
-export type ImplementationDAGNode = BaseImplementationDAGNode & {
-    source_finding_ids?: string[];
-};
-export type ImplementationDAG = Omit<BaseImplementationDAG, "nodes"> & {
-    nodes: ImplementationDAGNode[];
-};
-export { CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION, CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION, } from "./contractPipeline/verification.js";
-export type { VerificationTraceEntry, FindingVerificationTrace, VerificationReport, SeamRole, AgentSeam, SeamNegotiationRecord, } from "./contractPipeline/verification.js";
-//# sourceMappingURL=contractPipeline.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/shared/types/contractPipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,mCAAmC,EACnC,wCAAwC,GACzC,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE9F,OAAO,EACL,qCAAqC,EACrC,oDAAoD,GACrD,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,4BAA4B,EAC5B,uBAAuB,EACvB,UAAU,EACV,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,2CAA2C,EAC3C,6CAA6C,EAC7C,oDAAoD,EACpD,wCAAwC,EACxC,sCAAsC,GACvC,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,8BAA8B,EAC9B,eAAe,EACf,gBAAgB,EAChB,QAAQ,EACR,iBAAiB,EACjB,yBAAyB,EACzB,wBAAwB,EACxB,cAAc,EACd,oBAAoB,EACpB,4BAA4B,EAC5B,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,WAAW,GACZ,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAAE,4CAA4C,EAAE,MAAM,sCAAsC,CAAC;AACpG,OAAO,KAAK,EACV,qBAAqB,IAAI,yBAAyB,EAClD,iBAAiB,IAAI,qBAAqB,EAC3C,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAElF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,yBAAyB,GAAG;IAC9D,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,qBAAqB,EAAE,OAAO,CAAC,GAAG;IACrE,KAAK,EAAE,qBAAqB,EAAE,CAAC;CAChC,CAAC;AAEF,OAAO,EACL,6CAA6C,EAC7C,0CAA0C,GAC3C,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,kBAAkB,EAClB,QAAQ,EACR,SAAS,EACT,qBAAqB,GACtB,MAAM,oCAAoC,CAAC"}

package/dist/shared/types/contractPipeline.js

@@ -1,32 +0,0 @@
-/**
- * Contract-pipeline artifact contracts. These represent the bounded roles of
- * the contract-driven implementation pipeline used by remediate-code for
- * free-form feature/change requests that flow through the full
- * goal→context→design→critique→obligations→assessment→critic→judge→
- * implementation DAG before producing a remediation plan.
- *
- * Each artifact carries a `contract_version` field that must match the
- * exported constant so callers can detect version skew without reading the
- * payload.
- *
- * This file is a barrel re-export. The implementation is split by pipeline
- * phase for navigability:
- *
- *   contractPipeline/goal.ts          — GoalSpec, ContextBundle
- *   contractPipeline/design.ts        — DesignSpec, ConceptualDesignCritique
- *   contractPipeline/obligations.ts   — ObligationLedger, TestValidatorPlan,
- *                                       ContractAssessmentReport,
- *                                       CounterexampleReport, JudgeReport
- *   contractPipeline/implementation.ts — ImplementationDAG
- *   contractPipeline/verification.ts  — VerificationReport, SeamNegotiationRecord
- *
- * Add new artifact types to the appropriate phase file, or create a new phase
- * file if the artifact belongs to a new pipeline stage.
- */
-export { CONTRACT_PIPELINE_GOAL_SPEC_VERSION, CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION, } from "./contractPipeline/goal.js";
-export { CONTRACT_PIPELINE_DESIGN_SPEC_VERSION, CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION, } from "./contractPipeline/design.js";
-export { CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION, CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION, CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION, CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION, CONTRACT_PIPELINE_JUDGE_REPORT_VERSION, } from "./contractPipeline/obligations.js";
-export { CONTRACT_REPAIR_TARGETS, CONTRACT_REPAIR_TARGETS_LEGACY, CONTRACT_REPAIR_TARGETS_OFFERED, } from "./contractPipeline/obligations.js";
-export { CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION } from "./contractPipeline/implementation.js";
-export { CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION, CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION, } from "./contractPipeline/verification.js";
-//# sourceMappingURL=contractPipeline.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipeline.js","sourceRoot":"","sources":["../../../src/shared/types/contractPipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,mCAAmC,EACnC,wCAAwC,GACzC,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,qCAAqC,EACrC,oDAAoD,GACrD,MAAM,8BAA8B,CAAC;AAYtC,OAAO,EACL,2CAA2C,EAC3C,6CAA6C,EAC7C,oDAAoD,EACpD,wCAAwC,EACxC,sCAAsC,GACvC,MAAM,mCAAmC,CAAC;AAiB3C,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAAE,4CAA4C,EAAE,MAAM,sCAAsC,CAAC;AAmBpG,OAAO,EACL,6CAA6C,EAC7C,0CAA0C,GAC3C,MAAM,oCAAoC,CAAC"}

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

@@ -1,39 +0,0 @@
-/**
- * Obligation ledger construction utilities with cycle detection.
- *
- * INV-shared-core-07: ObligationEntry.depends_on must be cycle-checked at
- * construction time — not deferred to scheduling. This module provides
- * `buildObligationLedger()` which validates the DAG and throws immediately
- * if a dependency cycle is present.
- */
-import type { ObligationEntry, ObligationLedger } from "./contractPipeline.js";
-/**
- * Detect cycles in an obligation dependency graph. Returns the IDs of
- * obligations forming the first cycle detected as a witness path with its start
- * repeated at the end (`["A","B","A"]`), or null when the graph is acyclic.
- *
- * A thin draw over the shared directed-cycle core: an obligation that depends
- * on ITSELF is a cycle here (self-loops included), and dependencies naming an
- * id outside the ledger are external references the core ignores.
- *
- * INV-shared-core-07: called at construction time so a cycle is caught early
- * rather than causing an infinite loop or confusing error at scheduling time.
- */
-export declare function detectObligationCycle(obligations: readonly ObligationEntry[]): string[] | null;
-export interface BuildObligationLedgerOptions {
-    goal_id: string;
-    obligations: ObligationEntry[];
-    created_at?: string;
-}
-/**
- * Build a validated ObligationLedger.
- *
- * Validates the dependency graph for cycles at construction time and throws
- * a descriptive error if any cycle is detected. This enforces
- * INV-shared-core-07: callers cannot produce a ledger with a cyclic
- * depends_on graph — the error is immediate, not deferred to scheduling.
- *
- * @throws {Error} when a depends_on cycle is detected among the obligations.
- */
-export declare function buildObligationLedger(options: BuildObligationLedgerOptions): ObligationLedger;
-//# sourceMappingURL=obligationLedger.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"obligationLedger.d.ts","sourceRoot":"","sources":["../../../src/shared/types/obligationLedger.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAM/B;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,SAAS,eAAe,EAAE,GACtC,MAAM,EAAE,GAAG,IAAI,CAEjB;AAED,MAAM,WAAW,4BAA4B;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,4BAA4B,GACpC,gBAAgB,CAgBlB"}

package/dist/shared/types/obligationLedger.js

@@ -1,49 +0,0 @@
-/**
- * Obligation ledger construction utilities with cycle detection.
- *
- * INV-shared-core-07: ObligationEntry.depends_on must be cycle-checked at
- * construction time — not deferred to scheduling. This module provides
- * `buildObligationLedger()` which validates the DAG and throws immediately
- * if a dependency cycle is present.
- */
-import { CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION, } from "./contractPipeline.js";
-import { findFirstCycleWitness } from "../graph/directedCycles.js";
-/**
- * Detect cycles in an obligation dependency graph. Returns the IDs of
- * obligations forming the first cycle detected as a witness path with its start
- * repeated at the end (`["A","B","A"]`), or null when the graph is acyclic.
- *
- * A thin draw over the shared directed-cycle core: an obligation that depends
- * on ITSELF is a cycle here (self-loops included), and dependencies naming an
- * id outside the ledger are external references the core ignores.
- *
- * INV-shared-core-07: called at construction time so a cycle is caught early
- * rather than causing an infinite loop or confusing error at scheduling time.
- */
-export function detectObligationCycle(obligations) {
-    return findFirstCycleWitness(obligations, { includeSelfLoops: true });
-}
-/**
- * Build a validated ObligationLedger.
- *
- * Validates the dependency graph for cycles at construction time and throws
- * a descriptive error if any cycle is detected. This enforces
- * INV-shared-core-07: callers cannot produce a ledger with a cyclic
- * depends_on graph — the error is immediate, not deferred to scheduling.
- *
- * @throws {Error} when a depends_on cycle is detected among the obligations.
- */
-export function buildObligationLedger(options) {
-    const { goal_id, obligations, created_at } = options;
-    const cycle = detectObligationCycle(obligations);
-    if (cycle) {
-        throw new Error(`ObligationLedger construction rejected: dependency cycle detected among obligations: ${cycle.join(" → ")}`);
-    }
-    return {
-        contract_version: CONTRACT_PIPELINE_OBLIGATION_LEDGER_VERSION,
-        goal_id,
-        obligations,
-        created_at: created_at ?? new Date().toISOString(),
-    };
-}
-//# sourceMappingURL=obligationLedger.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"obligationLedger.js","sourceRoot":"","sources":["../../../src/shared/types/obligationLedger.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,OAAO,EACL,2CAA2C,GAC5C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAAuC;IAEvC,OAAO,qBAAqB,CAAC,WAAW,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;AACxE,CAAC;AAQD;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAqC;IAErC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAErD,MAAM,KAAK,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CACb,wFAAwF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC5G,CAAC;IACJ,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,2CAA2C;QAC7D,OAAO;QACP,WAAW;QACX,UAAU,EAAE,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACnD,CAAC;AACJ,CAAC"}