audit-tools 0.51.7 → 0.51.9

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

@@ -1 +1 @@
-{"version":3,"file":"charter.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,yDAK5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;EAazB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa;;;IAItB,+CAA+C;;IAE/C,uEAAuE;;;;;;;;;;;;;;;IAGvE,yEAAyE;;IAEzE,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;EAMhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;;;EAKhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,kFAAkF;AAClF,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;;;;;;;EAKf,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,kBAAkB;;;;;;IAY3B;;;;;OAKG;;IAEH,kEAAkE;;;;;;;;;;;;;;;;;;EAG3D,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAoB,SAAQ,YAAY;IACvD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAE5B,8EAA8E;;IAE9E,uEAAuE;;IAEvE,6EAA6E;;;;;;;;;;EAGtE,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB;IAEhC,4DAA4D;;IAE5D,uDAAuD;;;;;;;;;;;EAIhD,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAM3B,CAAC;AACZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAiB5E;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;IAEjC,6EAA6E;;IAE7E,4EAA4E;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC,+EAK3C,CAAC;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF,eAAO,MAAM,iCAAiC;IAE1C,kEAAkE;;IAElE,mDAAmD;;IAEnD,qEAAqE;;IAErE,6CAA6C;;IAE7C,gFAAgF;;IAEhF,+CAA+C;;QAtC/C,6EAA6E;;QAE7E,4EAA4E;;;;;;;;;IAsC5E;;;;;OAKG;;IAEH,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAC/C,OAAO,iCAAiC,CACzC,CAAC"}
+{"version":3,"file":"charter.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,yDAK5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;EAazB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa;;;IAItB,+CAA+C;;IAE/C,uEAAuE;;;;;;;;;;;;;;;IAGvE,yEAAyE;;IAEzE,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;EAMhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;;;EAKhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,kFAAkF;AAClF,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;;;;;;;EAKf,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAiBpD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;IAEjC,6EAA6E;;IAE7E,4EAA4E;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAW1E,4FAA4F;AAC5F,eAAO,MAAM,qBAAqB,iDAA+C,CAAC;AAClF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;IAG3B,+CAA+C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOxC,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,gFAAgF;AAChF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMpB,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,0FAA0F;AAC1F,eAAO,MAAM,sBAAsB;;;;QArB/B,+CAA+C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2BxC,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,0FAA0F;AAC1F,eAAO,MAAM,0BAA0B;;;;;;;;;EAK5B,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;IAKtC,iFAAiF;;;;;;;;;;;;;;;;;;EAG1E,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;IAIpC,+EAA+E;;IAE/E,yDAAyD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIlD,CAAC;AACZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,4FAA4F;AAC5F,eAAO,MAAM,yBAAyB,oGAQpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,qEAAqE;AACrE,eAAO,MAAM,wBAAwB,4DAInC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,6FAA6F;AAC7F,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;IAGhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,2FAA2F;AAC3F,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMzB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,0FAA0F;AAC1F,eAAO,MAAM,qBAAqB,6DAA2D,CAAC;AAC9F,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,8DAA8D;AAC9D,eAAO,MAAM,qBAAqB;;IAG9B,gFAAgF;;;IAGhF,2FAA2F;;;;;;;;;;;;EAGpF,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;IAMhC,oEAAoE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGpE,yCAAyC;;IAEzC,uEAAuE;;IAEvE,gFAAgF;;IAEhF,2FAA2F;;IAE3F,sDAAsD;;;QA/BtD,gFAAgF;;;QAGhF,2FAA2F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+BpF,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;GAGG;AACH,eAAO,MAAM,6BAA6B;;;;;;6DAIxC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAEpF;;;;GAIG;AACH,eAAO,MAAM,+BAA+B;;;IAIxC,mFAAmF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5MnF,6EAA6E;;QAE7E,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqNrE,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC"}

package/dist/shared/types/charter.js

@@ -133,156 +133,210 @@ export const CeilingSchema = z
     explicit_opt_in: z.boolean().optional(),
 })
     .strict();
+// ── Phase D — the charter-alignment clarification / triangulation loop ──────────
+//
+// The True charter is inexpressible cold; the review converts it into a decidable
+// question ("your code optimizes X, your docs say Y, which governs?"). Charter
+// alignment is therefore a LOOP interleaved with re-review, not a post-step:
+//   show difference → user picks → charters update → differences re-derive → next.
+// (design of record spec/conceptual-design-review-design.md §"The triangulation
+// loop" + §"Control surface — three currencies, three dials".)
+//
+// This is the AUDIT-side, charter-keyed question — sourced from a verified
+// CharterDifference (below), NOT the remediate-side finding-keyed
+// ClarificationRequest (src/remediate/state/types.ts). The two are deliberately
+// separate: a charter question moves any account (including Stated), whereas a
+// remediate question resolves an implementation ambiguity for one finding.
 /**
- * A routed pairwise charter delta — the product of the overlay-and-delta operator at
- * the charter layer (produced in Phase C). `pair` is a SYMMETRIC tuple of the two
- * charter kinds compared: the design forbids anointing any single estimator as
- * ground truth, so a delta is never modeled as `{ from: stated, to: X }`. Each
- * channel PAIR has one defined meaning; `routed_to` names who acts on it (a
- * low-confidence side forces `human` regardless of kind — gateCharterDelta):
- * - `doc_rot` (stated ↔ structural: testimony vs organization — doc rot / naming
- *   drift) → `remediator`.
- * - `says_does_drift` (stated ↔ revealed: testimony vs behavior) → `remediator`.
- * - `architecture_betrayal` (structural ↔ revealed: the organization's promise vs
- *   what the implementation actually does) → `clarification` (which governs?).
- * - `wrong_goal` (any estimator ↔ true) → `human` (provocation only; `deepest`).
+ * How answerable a charter question is — the axes the VOI ranking scores. A
+ * `blast_radius` is how far up the goal DAG the answer ripples (goals are a DAG,
+ * not a tree, so one answer can force reframes on multiple parents); a
+ * `cascade_count` is how many other still-open deltas the answer is expected to
+ * settle. High on both = highest value-of-information (resolve it first).
  */
-export const CharterDeltaSchema = z
+export const ClarificationValueSchema = z
     .object({
-    delta_id: z.string(),
-    pair: z.tuple([CharterKindSchema, CharterKindSchema]),
-    kind: z.enum([
-        "doc_rot",
-        "says_does_drift",
-        "architecture_betrayal",
-        "wrong_goal",
-    ]),
-    routed_to: z.enum(["remediator", "clarification", "human"]),
-    summary: z.string(),
-    /**
-     * The subsystem this delta was mined in. `delta_id` is OPAQUE — the assembler
-     * mints it with a content-derived discriminator when one subsystem carries two
-     * deltas on the same channel pair — so the originating node is carried as its
-     * own field and never recovered by parsing the id.
-     */
-    node_id: z.string().optional(),
-    /** Present when `node_id` is linked into the mined goal graph. */
-    goal_node_id: z.string().optional(),
+    /** How far up the goal DAG the fix ripples (0 = leaf). Priority AND risk. */
+    blast_radius: z.number().int().min(0),
+    /** How many other open deltas this answer is expected to cascade-settle. */
+    cascade_count: z.number().int().min(0),
 })
     .strict();
+// ── The five-step charter layer (design of record 2026-09-15) ───────────────────
+// sites-pinned: tests/shared/charter-layer.test.ts, tests/shared/charter-lane-dag.test.ts
+//
+// spec/conceptual-design-review-design.md §"The estimator charters", steps 1–5:
+// three lane goal DAGs → tool-proposed + host-confirmed correspondences → typed
+// n-ary differences → fidelity verdicts → a rendered discrepancy report. These
+// shapes are the persisted spine of that layer. Decision record:
+// docs/reviews/charter-redesign-feedback-2026-09-15.md.
+/** The three ESTIMATOR kinds — the lanes that author a goal DAG. `true` is never a lane. */
+export const CharterLaneKindSchema = z.enum(["stated", "structural", "revealed"]);
 /**
- * One node of a kind's self-organized leveled teleology. The lane organizes its
- * OWN view of the repo's purposes — `premise_height` is the emergent level
- * (0 = the telos, higher = closer to a leaf mechanism; an integer, NEVER a fixed
- * L0/L1/L2 enum), and `files` is the node's FILE SCOPE: content-derived join keys
- * no agent can mangle. The tool joins teleologies to each other and to the
- * decomposition hint mechanically by file-set overlap (assembleCharters).
+ * One node of a lane's goal DAG as PERSISTED. `node_id` is the lane's own local
+ * slug (never a join key); `premise_height` is DERIVED by the tool from the edges
+ * (longest path from a root purpose), never lane-stated; `files` is optional —
+ * the Stated lane may cite provenance only (step 1, "scope follows the evidence").
  */
-export const TeleologyNodeSchema = z
+export const LaneGoalNodeSchema = z
     .object({
-    /** Purpose in telos terms, never mechanism (same discipline as `Charter`). */
-    purpose: z.string(),
-    /** Emergent level: 0 = the telos, higher = nearer a leaf mechanism. */
+    node_id: z.string().min(1),
+    /** Purpose in telos terms, never mechanism. */
+    purpose: z.string().min(1),
     premise_height: z.number().int().min(0),
-    /** The node's file scope — the join key. At least one repo-relative path. */
-    files: z.array(z.string()).min(1),
+    files: z.array(z.string()).optional(),
+    provenance: z.array(CharterProvenanceSchema),
+    confidence: CharterConfidenceSchema,
+})
+    .strict();
+/** One edge of a lane's goal DAG: `from` SERVES `to`, with its own evidence. */
+export const LaneGoalEdgeSchema = z
+    .object({
+    from: z.string().min(1),
+    to: z.string().min(1),
+    provenance: z.array(CharterProvenanceSchema),
+})
+    .strict();
+/** A lane's whole goal DAG, persisted as its own graph — never merged with the others. */
+export const CharterLaneGraphSchema = z
+    .object({
+    kind: CharterLaneKindSchema,
+    nodes: z.array(LaneGoalNodeSchema),
+    edges: z.array(LaneGoalEdgeSchema),
+})
+    .strict();
+/** A reference to a set of nodes in ONE lane's DAG (one node, several, or a subgraph). */
+export const CorrespondenceMemberSchema = z
+    .object({
+    kind: CharterLaneKindSchema,
+    node_ids: z.array(z.string().min(1)).min(1),
 })
     .strict();
 /**
- * The delta miner's TRIANGULATED TELOS for one subsystem — a unified opinion the
- * owner reacts to, distilled from the three blind estimators. A LEAD, never a
- * reconciliation: the charters stay held un-merged, the deltas stay the primary
- * product, and no consumer may treat this as ground truth (the spec's
- * "never reconciled into one truth" boundary; the rejected thing is a merge that
- * DESTROYS the deltas, and this preserves them).
+ * A TOOL-PROPOSED correspondence candidate (step 2): two lanes' nodes related by
+ * file-scope overlap or by a provenance cross-reference. Always exactly two members;
+ * the host may widen it.
  */
-export const TriangulatedTelosSchema = z
+export const CorrespondenceCandidateSchema = z
     .object({
-    /** The subsystem (joined unit) this estimate belongs to. */
-    node_id: z.string(),
-    /** The unified best-estimate telos, in telos terms. */
-    telos: z.string(),
-    confidence: CharterConfidenceSchema,
+    candidate_id: z.string().min(1),
+    members: z.array(CorrespondenceMemberSchema).length(2),
+    basis: z.enum(["file_overlap", "cross_ref"]),
+    /** What the basis rested on: overlapping paths, or the cross-referenced path. */
+    evidence_paths: z.array(z.string()).min(1),
 })
     .strict();
 /**
- * Tool-computed disagreement density: how many deltas one subsystem carries per
- * channel pair — the quantitative surface for "which parts of the triangulation
- * need clarification." Deterministic (counted at assembly), never host-supplied.
+ * A CONFIRMED correspondence (step 2 product): regions of two or three lane DAGs
+ * that speak about the same thing. A record ABOUT the graphs, never a merge of them.
  */
-export const ChannelDisagreementSchema = z
+export const CharterCorrespondenceSchema = z
     .object({
-    node_id: z.string(),
-    pair: z.tuple([CharterKindSchema, CharterKindSchema]),
-    count: z.number().int().min(1),
+    correspondence_id: z.string().min(1),
+    members: z.array(CorrespondenceMemberSchema).min(2),
+    /** `tool` = a confirmed candidate; `host` = added by the comparison reader. */
+    basis: z.enum(["tool", "host"]),
+    /** The candidate this confirmed or widened, when any. */
+    candidate_id: z.string().optional(),
+    evidence: z.array(CharterProvenanceSchema),
+})
+    .strict();
+/** The closed dimension enum (step 3, seven dimensions with decision rules in the spec). */
+export const DifferenceDimensionSchema = z.enum([
+    "purpose",
+    "presence",
+    "responsibility",
+    "hierarchy",
+    "scope",
+    "standing",
+    "standard",
+]);
+/** The relation judged across ALL accounts in the correspondence. */
+export const DifferenceRelationSchema = z.enum([
+    "equivalent",
+    "complementary",
+    "incompatible",
+]);
+/** An incompatible record's split: two-against-one (naming the odd channel) or three-way. */
+export const DifferenceSplitSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("two_against_one"), odd: CharterLaneKindSchema }).strict(),
+    z.object({ kind: z.literal("three_way") }).strict(),
+]);
+/** One channel's account of the goal under comparison, with the provenance it rests on. */
+export const DifferenceAccountSchema = z
+    .object({
+    kind: CharterLaneKindSchema,
+    claim: z.string().min(1),
+    provenance: z.array(CharterProvenanceSchema),
+})
+    .strict();
+/** Who acts on a difference — derived by the tool from `(dimension, relation, split)`. */
+export const DifferenceRouteSchema = z.enum(["remediator", "clarification", "human", "none"]);
+/** The fidelity lane's verdict on one difference (step 4). */
+export const FidelityVerdictSchema = z
+    .object({
+    verdict: z.enum(["supported", "interpretation", "unverifiable"]),
+    /** Only with `interpretation`: the channel whose claim over-read its source. */
+    over_read_side: CharterLaneKindSchema.optional(),
+    rationale: z.string().min(1),
+    /** `tool` when the mechanical pre-check settled it (a missing quote); `lane` otherwise. */
+    decided_by: z.enum(["tool", "lane"]),
 })
     .strict();
-// ── Phase D — the charter-alignment clarification / triangulation loop ──────────
-//
-// The True charter is inexpressible cold; the review converts it into a decidable
-// question ("your code optimizes X, your docs say Y, which governs?"). Charter
-// alignment is therefore a LOOP interleaved with re-review, not a post-step:
-//   show delta → user picks → charters update → deltas re-derive → next question.
-// (design of record spec/conceptual-design-review-design.md §"The triangulation
-// loop" + §"Control surface — three currencies, three dials".)
-//
-// This is the AUDIT-side, charter-keyed ClarificationRequest — sourced from a
-// routed CharterDelta, NOT the remediate-side finding-keyed ClarificationRequest
-// (src/remediate/state/types.ts). The two are deliberately separate: a charter
-// question moves any of the four charters (including Stated), whereas a remediate
-// question resolves an implementation ambiguity for one finding.
 /**
- * How answerable a charter question is — the axes the VOI ranking scores. A
- * `blast_radius` is how far up the goal DAG the answer ripples (goals are a DAG,
- * not a tree, so one answer can force reframes on multiple parents); a
- * `cascade_count` is how many other still-open deltas the answer is expected to
- * settle. High on both = highest value-of-information (resolve it first).
+ * A DIFFERENCE record (step 3 product, stamped by steps 4 and 5): what the
+ * corresponding accounts disagree on, typed on one dimension and one relation,
+ * holding EVERY channel's account in its correspondence (two or three).
  */
-export const ClarificationValueSchema = z
+export const CharterDifferenceSchema = z
     .object({
-    /** How far up the goal DAG the fix ripples (0 = leaf). Priority AND risk. */
-    blast_radius: z.number().int().min(0),
-    /** How many other open deltas this answer is expected to cascade-settle. */
-    cascade_count: z.number().int().min(0),
+    difference_id: z.string().min(1),
+    correspondence_id: z.string().min(1),
+    dimension: DifferenceDimensionSchema,
+    relation: DifferenceRelationSchema,
+    /** Required when `relation` is `incompatible`; absent otherwise. */
+    split: DifferenceSplitSchema.optional(),
+    accounts: z.array(DifferenceAccountSchema).min(2),
+    /** One-sentence statement of the gap. */
+    gap: z.string().min(1),
+    /** For `presence`: the silent channel SHOULD have covered the goal. */
+    covered_channel_gap: z.boolean().optional(),
+    /** Tool-derived routing from the fixed `(dimension, relation, split)` table. */
+    routed_to: DifferenceRouteSchema,
+    /** Whether this record is a finding candidate (incompatible, or a covered-channel gap). */
+    finding_candidate: z.boolean(),
+    /** Set by the fidelity step; absent until it runs. */
+    fidelity: FidelityVerdictSchema.optional(),
 })
     .strict();
 /**
- * A single charter-alignment question — the audit-side ClarificationRequest,
- * sourced from a routed CharterDelta. `options` are SYMMETRIC (any of the four
- * charters may move, including Stated; "leave open" is a first-class answer), so a
- * question never silently anoints Stated as ground truth. `value` carries the
- * blast-radius + cascade estimate the VOI queue ranks on. `answer` is set once the
- * user (or the autonomous zero-attention mode) resolves it.
+ * The n-ary clarification answer (decision 6): the governing channel by name, a
+ * rewrite of all accounts, or a deliberate held tension.
  */
-export const CharterClarificationAnswerSchema = z.enum([
-    "this_side_wins",
-    "that_side_wins",
-    "rewrite_both",
-    "leave_open",
+export const CharterDifferenceAnswerSchema = z.union([
+    z.object({ governs: CharterLaneKindSchema }).strict(),
+    z.literal("rewrite_all"),
+    z.literal("leave_open"),
 ]);
-export const CharterClarificationRequestSchema = z
+/**
+ * A charter-alignment question sourced from a DIFFERENCE (the n-ary successor of
+ * {@link CharterClarificationRequestSchema}). Every account in the correspondence
+ * is shown; the answer names the channel that governs.
+ */
+export const CharterDifferenceQuestionSchema = z
     .object({
-    /** Stable id, derived from the source delta (`${delta_id}:q`). */
-    request_id: z.string(),
-    /** The routed delta this question triangulates. */
-    delta_id: z.string(),
-    /** The subsystem the delta belongs to (for grouping + reporting). */
-    node_id: z.string(),
-    /** The symmetric charter pair in tension. */
-    pair: z.tuple([CharterKindSchema, CharterKindSchema]),
-    /** The decidable question ("code optimizes X, docs say Y — which governs?"). */
-    question: z.string(),
-    /** The VOI axes this question is ranked on. */
+    request_id: z.string().min(1),
+    difference_id: z.string().min(1),
+    /** The report's grouping subsystem (structure-decomposition unit), when placed. */
+    subsystem_id: z.string().optional(),
+    dimension: DifferenceDimensionSchema,
+    relation: DifferenceRelationSchema,
+    split: DifferenceSplitSchema.optional(),
+    accounts: z.array(DifferenceAccountSchema).min(2),
+    question: z.string().min(1),
     value: ClarificationValueSchema,
-    /**
-     * Whether this question is CLEARED for the interactive human channel or must
-     * only be written as a finding. A high-blast question that has not cleared the
-     * risk gate's higher adversarial bar (or any question under zero attention) is
-     * `finding_only`. `interactive` questions form the VOI queue the user answers.
-     */
     disposition: z.enum(["interactive", "finding_only"]),
-    /** Resolved answer (symmetric); absent while the question is still open. */
-    answer: CharterClarificationAnswerSchema.optional(),
+    answer: CharterDifferenceAnswerSchema.optional(),
 })
     .strict();
 //# sourceMappingURL=charter.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"charter.js","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,8FAA8F;AAC9F,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,wEAAwE;AAExE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,MAAM;CACP,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,KAAK;QACL,mBAAmB;QACnB,eAAe;QACf,MAAM;QACN,SAAS;QACT,UAAU;KACX,CAAC;IACF,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,IAAI,EAAE,iBAAiB;IACvB,+CAA+C;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uEAAuE;IACvE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC5C,UAAU,EAAE,uBAAuB;IACnC,yEAAyE;IACzE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C,4EAA4E;IAC5E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,SAAS;QACT,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;KACb,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB;;;;;OAKG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,kEAAkE;IAClE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAeZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,8EAA8E;IAC9E,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uEAAuE;IACvE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,6EAA6E;IAC7E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAClC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,4DAA4D;IAC5D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uDAAuD;IACvD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,uBAAuB;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,mFAAmF;AACnF,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,6EAA6E;AAC7E,kFAAkF;AAClF,gFAAgF;AAChF,+DAA+D;AAC/D,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,iEAAiE;AAEjE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,6EAA6E;IAC7E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,4EAA4E;IAC5E,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,IAAI,CAAC;IACrD,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,YAAY;CACb,CAAC,CAAC;AAKH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,kEAAkE;IAClE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,mDAAmD;IACnD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,qEAAqE;IACrE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,6CAA6C;IAC7C,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,gFAAgF;IAChF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,+CAA+C;IAC/C,KAAK,EAAE,wBAAwB;IAC/B;;;;;OAKG;IACH,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACpD,4EAA4E;IAC5E,MAAM,EAAE,gCAAgC,CAAC,QAAQ,EAAE;CACpD,CAAC;KACD,MAAM,EAAE,CAAC"}
+{"version":3,"file":"charter.js","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,8FAA8F;AAC9F,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,wEAAwE;AAExE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,MAAM;CACP,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,KAAK;QACL,mBAAmB;QACnB,eAAe;QACf,MAAM;QACN,SAAS;QACT,UAAU;KACX,CAAC;IACF,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,IAAI,EAAE,iBAAiB;IACvB,+CAA+C;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uEAAuE;IACvE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC5C,UAAU,EAAE,uBAAuB;IACnC,yEAAyE;IACzE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C,4EAA4E;IAC5E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,mFAAmF;AACnF,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,6EAA6E;AAC7E,mFAAmF;AACnF,gFAAgF;AAChF,+DAA+D;AAC/D,EAAE;AACF,2EAA2E;AAC3E,kEAAkE;AAClE,gFAAgF;AAChF,+EAA+E;AAC/E,2EAA2E;AAE3E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,6EAA6E;IAC7E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,4EAA4E;IAC5E,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,mFAAmF;AACnF,0FAA0F;AAC1F,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,iEAAiE;AACjE,wDAAwD;AAExD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAGlF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,+CAA+C;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACrC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC5C,UAAU,EAAE,uBAAuB;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAC7C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,0FAA0F;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,IAAI,EAAE,qBAAqB;IAC3B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,0FAA0F;AAC1F,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,IAAI,EAAE,qBAAqB;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC5C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC5C,iFAAiF;IACjF,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC;KACzC,MAAM,CAAC;IACN,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,+EAA+E;IAC/E,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,yDAAyD;IACzD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,4FAA4F;AAC5F,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC9C,SAAS;IACT,UAAU;IACV,gBAAgB;IAChB,WAAW;IACX,OAAO;IACP,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAGH,qEAAqE;AACrE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,YAAY;IACZ,eAAe;IACf,cAAc;CACf,CAAC,CAAC;AAGH,6FAA6F;AAC7F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAChE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;IACrF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CACpD,CAAC,CAAC;AAGH,2FAA2F;AAC3F,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,qBAAqB;IAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAC7C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,0FAA0F;AAC1F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAG9F,8DAA8D;AAC9D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAChE,gFAAgF;IAChF,cAAc,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAChD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,2FAA2F;IAC3F,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,SAAS,EAAE,yBAAyB;IACpC,QAAQ,EAAE,wBAAwB;IAClC,oEAAoE;IACpE,KAAK,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,yCAAyC;IACzC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,uEAAuE;IACvE,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC3C,gFAAgF;IAChF,SAAS,EAAE,qBAAqB;IAChC,2FAA2F;IAC3F,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC9B,sDAAsD;IACtD,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,EAAE;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CAAC;IACnD,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;IACrD,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;CACxB,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,mFAAmF;IACnF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,SAAS,EAAE,yBAAyB;IACpC,QAAQ,EAAE,wBAAwB;IAClC,KAAK,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,wBAAwB;IAC/B,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACpD,MAAM,EAAE,6BAA6B,CAAC,QAAQ,EAAE;CACjD,CAAC;KACD,MAAM,EAAE,CAAC"}

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

@@ -8,6 +8,31 @@
  *
  * Order is canonical: candidate lists are emitted in this order so a rendered
  * choice never churns.
+ *
+ * ── THE LANDING ACTION IS ABSENT BY DECISION, NOT BY OMISSION ───────────────
+ *
+ * `merge-to-base` — one revertable `--no-ff` merge into the launch branch —
+ * was deleted in `467b1e8f` with the rest of the execution substrate. The
+ * forward-tracks entry that asked for it back ("Isolated-branch landing gap")
+ * conditioned its return on a premise this module can now check: that a
+ * remediation run is dispatched ON its own `remediation/<runId>` branch.
+ *
+ * **That premise is gone, so the decision is that isolated-branch dispatch is
+ * NOT returning.** The function that switched the primary checkout onto a run
+ * branch (`ensureRemediationBranchCheckedOut`) was deleted in the same commit
+ * and exists nowhere in `src/`; nothing in this package creates a branch. The
+ * host owns worktree and branch selection entirely — the implement dispatch
+ * carries per-work-item worktree bindings and the host decides what they are —
+ * exactly as it owns every other execution choice (see CLAUDE.md, "audit-tools
+ * does NOT route"). Re-adding a landing action would put a git-history decision
+ * back inside the tool to solve a problem the tool no longer creates.
+ *
+ * What is NOT withdrawn: a branch named `remediation/*` may still exist, because
+ * a HOST may create one. `.claude/hooks/commit-gate.mjs` keeps its
+ * branch-strand refusal for that case — a docs-only staged set on such a HEAD is
+ * main-bound prose that lost its branch. Its rationale comment still names the
+ * deleted function; the refusal itself is about the HEAD's name, not the caller,
+ * so it stands.
  */
 export declare const CLOSING_ACTIONS: readonly ["commit", "push", "open-pr", "publish", "tag", "none", "custom"];
 export type ClosingAction = (typeof CLOSING_ACTIONS)[number];

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

@@ -1 +1 @@
-{"version":3,"file":"closingActions.d.ts","sourceRoot":"","sources":["../../../src/shared/types/closingActions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,eAAO,MAAM,eAAe,4EAQlB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,sEAAsE;AACtE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAEtE"}
+{"version":3,"file":"closingActions.d.ts","sourceRoot":"","sources":["../../../src/shared/types/closingActions.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,eAAe,4EAQlB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,sEAAsE;AACtE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAEtE"}

package/dist/shared/types/closingActions.js

@@ -1,3 +1,4 @@
+// <!-- comment-symbol-exempt: names deliberately-retired symbols; this block records that history -->
 /**
  * The closing-action vocabulary shared by the remediation plan
  * (`candidate_closing_actions`), the closing plan (`action`), and the intent
@@ -8,6 +9,31 @@
  *
  * Order is canonical: candidate lists are emitted in this order so a rendered
  * choice never churns.
+ *
+ * ── THE LANDING ACTION IS ABSENT BY DECISION, NOT BY OMISSION ───────────────
+ *
+ * `merge-to-base` — one revertable `--no-ff` merge into the launch branch —
+ * was deleted in `467b1e8f` with the rest of the execution substrate. The
+ * forward-tracks entry that asked for it back ("Isolated-branch landing gap")
+ * conditioned its return on a premise this module can now check: that a
+ * remediation run is dispatched ON its own `remediation/<runId>` branch.
+ *
+ * **That premise is gone, so the decision is that isolated-branch dispatch is
+ * NOT returning.** The function that switched the primary checkout onto a run
+ * branch (`ensureRemediationBranchCheckedOut`) was deleted in the same commit
+ * and exists nowhere in `src/`; nothing in this package creates a branch. The
+ * host owns worktree and branch selection entirely — the implement dispatch
+ * carries per-work-item worktree bindings and the host decides what they are —
+ * exactly as it owns every other execution choice (see CLAUDE.md, "audit-tools
+ * does NOT route"). Re-adding a landing action would put a git-history decision
+ * back inside the tool to solve a problem the tool no longer creates.
+ *
+ * What is NOT withdrawn: a branch named `remediation/*` may still exist, because
+ * a HOST may create one. `.claude/hooks/commit-gate.mjs` keeps its
+ * branch-strand refusal for that case — a docs-only staged set on such a HEAD is
+ * main-bound prose that lost its branch. Its rationale comment still names the
+ * deleted function; the refusal itself is about the HEAD's name, not the caller,
+ * so it stands.
  */
 export const CLOSING_ACTIONS = [
     "commit",

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

@@ -1 +1 @@
-{"version":3,"file":"closingActions.js","sourceRoot":"","sources":["../../../src/shared/types/closingActions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,MAAM;IACN,SAAS;IACT,SAAS;IACT,KAAK;IACL,MAAM;IACN,QAAQ;CACA,CAAC;AAIX,sEAAsE;AACtE,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7F,CAAC"}
+{"version":3,"file":"closingActions.js","sourceRoot":"","sources":["../../../src/shared/types/closingActions.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,MAAM;IACN,SAAS;IACT,SAAS;IACT,KAAK;IACL,MAAM;IACN,QAAQ;CACA,CAAC;AAIX,sEAAsE;AACtE,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7F,CAAC"}

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

@@ -163,8 +163,69 @@ export interface JudgedCounterexample {
     classification: CounterexampleClassification;
     rationale: string;
 }
-/** Contract artifacts the judge may order regenerated. */
-export type JudgeRepairTarget = "design_spec" | "obligation_ledger" | "contract_assessment_report";
+/**
+ * `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.
+ */
+export declare const CONTRACT_REPAIR_TARGETS: readonly ["finalized_module_contracts", "obligation_ledger", "contract_assessment_report", "counterexample", "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" | "counterexample" | "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 four non-legacy members are exactly the artifacts a
+ * repair can regenerate. `finalized_module_contracts` and `counterexample` are
+ * absent from this union's history only because the union predated them.
+ *
+ * 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;

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

@@ -1 +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;;;;;;;;;;;;;;;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,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"}
+{"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;;;;;;;;;;;;;;;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,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;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,uBAAuB,6HAM1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,0HAG3C,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;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

@@ -13,4 +13,55 @@ export const CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION = "remediate-code-con
 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";
+/**
+ * `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.
+ */
+export const CONTRACT_REPAIR_TARGETS = [
+    "finalized_module_contracts",
+    "obligation_ledger",
+    "contract_assessment_report",
+    "counterexample",
+    "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