audit-tools 0.28.0

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

@@ -0,0 +1,141 @@
+/**
+ * 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";
+/** 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";
+}
+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. */
+export interface TestSpec {
+    /** The obligation ID from the ObligationLedger this test spec covers. */
+    obligation_id: string;
+    /** Short name for this test. */
+    name: string;
+    /** Kind of test. */
+    kind: "unit" | "integration" | "schema" | "invariant" | "e2e";
+    /** Concrete, falsifiable assertion strings for this test. Must be non-empty. */
+    assertions: string[];
+    /**
+     * When present, 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 interface Counterexample {
+    /** Stable identifier (referenced by the judge report and implementation DAG). */
+    id: string;
+    /** The design claim being falsified. */
+    claim: string;
+    /** Concrete steps that reproduce the failure. */
+    reproduction_steps: string[];
+    /** Expected vs. actual behavior. */
+    expected: string;
+    actual: string;
+    /** Which obligation(s) this counterexample violates. */
+    violated_obligation_ids: string[];
+}
+/** 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;
+}
+/** Contract artifacts the judge may order regenerated. */
+export type JudgeRepairTarget = "design_spec" | "obligation_ledger" | "contract_assessment_report";
+/** 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;
+}
+//# sourceMappingURL=obligations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;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,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;CACnE;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,iFAAiF;AACjF,MAAM,WAAW,QAAQ;IACvB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE;QACnB,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,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,uBAAuB,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,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,0DAA0D;AAC1D,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,mBAAmB,GACnB,4BAA4B,CAAC;AAEjC,+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

@@ -0,0 +1,16 @@
+/**
+ * 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";
+//# sourceMappingURL=obligations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;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"}

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

@@ -0,0 +1,64 @@
+/**
+ * Contract-pipeline artifact: verification phase.
+ *
+ * VerificationReport — per-finding verification traces and overall verdict.
+ * SeamNegotiationRecord — multi-agent seam negotiation record.
+ */
+export declare const CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION: "remediate-code-verification-report/v1alpha1";
+export declare const CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION: "remediate-code-contract-pipeline/seam-negotiation/v1alpha1";
+/** One verification trace entry mapping a requirement to evidence. */
+export interface VerificationTraceEntry {
+    trace_id: string;
+    kind: "requirement" | "invariant" | "counterexample" | "task" | "file" | "command";
+    label: string;
+    evidence: string[];
+    status: "passed" | "failed";
+}
+/** Per-finding verification trace. */
+export interface FindingVerificationTrace {
+    finding_id: string;
+    traces: VerificationTraceEntry[];
+    overall_status: "passed" | "failed";
+}
+export interface VerificationReport {
+    contract_version: typeof CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION;
+    goal_id?: string;
+    /** Per-finding verification traces. */
+    findings: FindingVerificationTrace[];
+    /** Overall report verdict. */
+    overall_status: "passed" | "failed";
+    /** ISO-8601 timestamp when this report was created. */
+    created_at: string;
+}
+/** Role an agent plays at a multi-agent seam boundary. */
+export type SeamRole = "author" | "reviewer" | "verifier" | "judge";
+/** One agent's participation in a seam at a DAG node boundary. */
+export interface AgentSeam {
+    /** Stable identifier for this seam instance. */
+    seam_id: string;
+    /** DAG node this seam is attached to. */
+    node_id: string;
+    /** Role this agent plays at the seam. */
+    role: SeamRole;
+    /** Advisory hint for selecting the agent backend (e.g. "claude-code"). */
+    agent_hint?: string;
+    /** Artifact path the previous agent writes and this agent reads as handoff. */
+    handoff_artifact: string;
+    /** Artifact paths this agent must read before starting. */
+    read_artifacts: string[];
+    /** Artifact paths this agent is allowed to write. */
+    write_artifacts: string[];
+    /** Constraints the agent must respect (e.g. "must not modify unrelated files"). */
+    constraints: string[];
+}
+/** Record of a seam negotiation pass for a goal's implementation DAG. */
+export interface SeamNegotiationRecord {
+    contract_version: typeof CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION;
+    /** Goal this negotiation belongs to. */
+    goal_id: string;
+    /** All seams across all DAG nodes for this goal. */
+    seams: AgentSeam[];
+    /** ISO-8601 timestamp when this record was created. */
+    created_at: string;
+}
+//# sourceMappingURL=verification.d.ts.map

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

@@ -0,0 +1 @@
+{"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,sCAAsC;AACtC,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,cAAc,EAAE,QAAQ,GAAG,QAAQ,CAAC;CACrC;AAED,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,8BAA8B;IAC9B,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,0EAA0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+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

@@ -0,0 +1,10 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,36 @@
+/**
+ * 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 { ObligationEntry, ObligationLedger, TestSpec, TestValidatorPlan, ContractAssessmentFinding, ContractAssessmentReport, Counterexample, CounterexampleReport, CounterexampleClassification, JudgedCounterexample, JudgeRepairTarget, JudgeRepairDirective, JudgeReport, } from "./contractPipeline/obligations.js";
+export { CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION } from "./contractPipeline/implementation.js";
+export type { ImplementationDAGNode, ImplementationDAGEdge, ImplementationDAG, } from "./contractPipeline/implementation.js";
+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

@@ -0,0 +1 @@
+{"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,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;AAE3C,OAAO,EAAE,4CAA4C,EAAE,MAAM,sCAAsC,CAAC;AACpG,YAAY,EACV,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,sCAAsC,CAAC;AAE9C,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

@@ -0,0 +1,31 @@
+/**
+ * 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_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

@@ -0,0 +1 @@
+{"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,EAAE,4CAA4C,EAAE,MAAM,sCAAsC,CAAC;AAOpG,OAAO,EACL,6CAA6C,EAC7C,0CAA0C,GAC3C,MAAM,oCAAoC,CAAC"}

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

@@ -0,0 +1,46 @@
+import { z } from "zod";
+export declare const FileDispositionStatusSchema: z.ZodEnum<["included", "excluded", "generated", "vendor", "binary", "doc_only"]>;
+export type FileDispositionStatus = z.infer<typeof FileDispositionStatusSchema>;
+export declare const FileDispositionItemSchema: z.ZodObject<{
+    path: z.ZodString;
+    status: z.ZodEnum<["included", "excluded", "generated", "vendor", "binary", "doc_only"]>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+    reason?: string | undefined;
+}, {
+    path: string;
+    status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+    reason?: string | undefined;
+}>;
+export type FileDispositionItem = z.infer<typeof FileDispositionItemSchema>;
+export declare const FileDispositionSchema: z.ZodObject<{
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        status: z.ZodEnum<["included", "excluded", "generated", "vendor", "binary", "doc_only"]>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        reason?: string | undefined;
+    }, {
+        path: string;
+        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        reason?: string | undefined;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    files: {
+        path: string;
+        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        reason?: string | undefined;
+    }[];
+}, {
+    files: {
+        path: string;
+        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        reason?: string | undefined;
+    }[];
+}>;
+export type FileDisposition = z.infer<typeof FileDispositionSchema>;
+//# sourceMappingURL=disposition.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"disposition.d.ts","sourceRoot":"","sources":["../../../src/shared/types/disposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,2BAA2B,kFAOtC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAM3B,CAAC;AACZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;EAIvB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC"}

package/dist/shared/types/disposition.js

@@ -0,0 +1,22 @@
+import { z } from "zod";
+export const FileDispositionStatusSchema = z.enum([
+    "included",
+    "excluded",
+    "generated",
+    "vendor",
+    "binary",
+    "doc_only",
+]);
+export const FileDispositionItemSchema = z
+    .object({
+    path: z.string(),
+    status: FileDispositionStatusSchema,
+    reason: z.string().optional(),
+})
+    .strict();
+export const FileDispositionSchema = z
+    .object({
+    files: z.array(FileDispositionItemSchema),
+})
+    .strict();
+//# sourceMappingURL=disposition.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"disposition.js","sourceRoot":"","sources":["../../../src/shared/types/disposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC;IAChD,UAAU;IACV,UAAU;IACV,WAAW;IACX,QAAQ;IACR,QAAQ;IACR,UAAU;CACX,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;CAC1C,CAAC;KACD,MAAM,EAAE,CAAC"}