audit-tools 0.52.0 → 0.52.1

package/dist/shared/types/charter.js

@@ -59,6 +59,35 @@ export const CharterProvenanceSchema = z
     quote: z.string().optional(),
 })
     .strict();
+// sites-pinned: tests/audit/charter-lane-gate.test.ts, tests/audit/charter-extraction-executor.test.ts
+//   The partition below has exactly two consumers, and each suite drives one of
+//   them: the lane gate's span-quote refinement, and the executor's
+//   quote-presence leg. Shrink the set and both go red.
+/**
+ * The provenance kinds whose `ref` names a repository path, so a path-grounded or
+ * quote-grounded citation check applies to them. The other three name a
+ * non-repository source (`intent_checkpoint`, `user_feedback`) or name nothing on
+ * disk at all (`inferred`), and a grounding check against the tree would red them
+ * falsely.
+ *
+ * ONE home, beside the enum it partitions. Two callers need the same partition —
+ * the lane gate in `laneValidators` and the executor's citation check — and a
+ * second hand-written copy is exactly how a set like this drifts when a kind is
+ * added. The assertion below runs at module load, so a rename or an addition
+ * throws here instead of silently shrinking the checked set.
+ */
+export const PATH_SHAPED_PROVENANCE_KINDS = new Set([
+    "doc",
+    "code",
+    "comment",
+]);
+{
+    const known = new Set(CharterProvenanceSchema.shape.kind.options);
+    const unknown = [...PATH_SHAPED_PROVENANCE_KINDS].filter((k) => !known.has(k));
+    if (unknown.length > 0) {
+        throw new Error(`PATH_SHAPED_PROVENANCE_KINDS names provenance kind(s) the schema does not declare: ${unknown.join(", ")}`);
+    }
+}
 /**
  * A single charter. `purpose` MUST be stated in telos terms ("the audit pipeline
  * exists so maintainers can act on trustworthy findings"), never mechanism
@@ -283,10 +312,34 @@ export const FidelityVerdictSchema = z
     decided_by: z.enum(["tool", "lane"]),
 })
     .strict();
+/**
+ * The account minimum is CONDITIONAL on the dimension (owner, 2026-09-17), never
+ * flat. A `presence` difference names its silent channel by OMITTING it from
+ * `accounts`, so it carries one account fewer than its correspondence has
+ * channels — on a two-channel correspondence, exactly one. Every other dimension
+ * needs two, because an account that contradicts no other account is not a
+ * difference.
+ *
+ * `DifferenceInputSchema` (the host-submitted half, in
+ * `src/shared/decompose/charterExtraction.ts`) already states this rule. It is
+ * applied here too because the two DECLARED records were left at a flat minimum
+ * of two when the input half was relaxed: the exported contract then refused a
+ * one-account presence record that `assembleComparison` produces.
+ */
+function refineAccountMinimum(value, ctx) {
+    if (value.dimension !== "presence" && value.accounts.length < 2) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            path: ["accounts"],
+            message: `a ${value.dimension} difference holds an account from at least two channels; only a presence difference may hold one`,
+        });
+    }
+}
 /**
  * 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).
+ * holding every channel's account in its correspondence EXCEPT a `presence`
+ * difference's silent channel, which is named by its absence.
  */
 export const CharterDifferenceSchema = z
     .object({
@@ -296,7 +349,7 @@ export const CharterDifferenceSchema = z
     relation: DifferenceRelationSchema,
     /** Required when `relation` is `incompatible`; absent otherwise. */
     split: DifferenceSplitSchema.optional(),
-    accounts: z.array(DifferenceAccountSchema).min(2),
+    accounts: z.array(DifferenceAccountSchema).min(1),
     /** One-sentence statement of the gap. */
     gap: z.string().min(1),
     /** For `presence`: the silent channel SHOULD have covered the goal. */
@@ -308,7 +361,8 @@ export const CharterDifferenceSchema = z
     /** Set by the fidelity step; absent until it runs. */
     fidelity: FidelityVerdictSchema.optional(),
 })
-    .strict();
+    .strict()
+    .superRefine(refineAccountMinimum);
 /**
  * The n-ary clarification answer (decision 6): the governing channel by name, a
  * rewrite of all accounts, or a deliberate held tension.
@@ -320,8 +374,9 @@ export const CharterDifferenceAnswerSchema = z.union([
 ]);
 /**
  * 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.
+ * {@link CharterClarificationRequestSchema}). Every account the difference holds
+ * is shown — which is every channel except a `presence` difference's silent one —
+ * and the answer names the channel that governs.
  */
 export const CharterDifferenceQuestionSchema = z
     .object({
@@ -332,11 +387,12 @@ export const CharterDifferenceQuestionSchema = z
     dimension: DifferenceDimensionSchema,
     relation: DifferenceRelationSchema,
     split: DifferenceSplitSchema.optional(),
-    accounts: z.array(DifferenceAccountSchema).min(2),
+    accounts: z.array(DifferenceAccountSchema).min(1),
     question: z.string().min(1),
     value: ClarificationValueSchema,
     disposition: z.enum(["interactive", "finding_only"]),
     answer: CharterDifferenceAnswerSchema.optional(),
 })
-    .strict();
+    .strict()
+    .superRefine(refineAccountMinimum);
 //# 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,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"}
+{"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,uGAAuG;AACvG,gFAAgF;AAChF,oEAAoE;AACpE,wDAAwD;AAExD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAA4B;IAC7E,KAAK;IACL,MAAM;IACN,SAAS;CACV,CAAC,CAAC;AAEH,CAAC;IACC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,sFAAsF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC3G,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;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;;;;;;;;;;;;;GAaG;AACH,SAAS,oBAAoB,CAC3B,KAAuE,EACvE,GAAoB;IAEpB,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,UAAU,CAAC;YAClB,OAAO,EAAE,KAAK,KAAK,CAAC,SAAS,kGAAkG;SAChI,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;GAKG;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;KACR,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAGrC;;;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;;;;;GAKG;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;KACR,WAAW,CAAC,oBAAoB,CAAC,CAAC"}

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

@@ -140,11 +140,17 @@ export interface CharterPacketManifest {
  * report `checked` over work it never examined.
  */
 export interface CitationValidationSummary {
+    /**
+     * The ON-DISK grounding leg's status, and only that leg's. The two boolean
+     * fields below are the other legs' own affirmations, because each leg abstains
+     * on a different input and one status cannot speak for three.
+     */
     status: "checked" | "not_run" | "no_citations";
     /** Provenance refs seen. */
     citation_count: number;
     /** Refs parsed and validated. */
     checked_count: number;
+    /** Citations refused, counted across EVERY leg that ran, not the grounding leg alone. */
     failed_count: number;
     /**
      * Whether the delivered-evidence leg ran. False when no packet manifest was
@@ -152,5 +158,12 @@ export interface CitationValidationSummary {
      * "was this line ever handed to the author" was not asked.
      */
     delivered_evidence_checked: boolean;
+    /**
+     * Whether the quote-presence leg ran: did each citation of a file the packet
+     * EXCERPTED carry the text it copied. False when no packet manifest was
+     * available, because the question is only answerable against the manifest —
+     * which file was excerpted and which was delivered as a bare tree entry.
+     */
+    quote_presence_checked: boolean;
 }
 //# sourceMappingURL=charterPacket.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"charterPacket.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charterPacket.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACrB,KAAK,GACL,SAAS,GACT,aAAa,GACb,iBAAiB,CAAC;AAEtB,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,EAAE,SAAS,aAAa,EAKpD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,YAAY,CAAC;AAEtE,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,aAAa,CAAC;IAC9B,sCAAsC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,0FAA0F;AAC1F,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,aAAa,CAAC;IAC9B,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,cAAc,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACrE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,WAAW,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,0BAA0B,EAAE,CAAC;CACvC;AAED,eAAO,MAAM,sCAAsC,+BACrB,CAAC;AAE/B,iEAAiE;AACjE,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,aAAa,CAAC;IAC9B,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,OAAO,sCAAsC,CAAC;IAC9D,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;IAC/C,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,0BAA0B,EAAE,OAAO,CAAC;CACrC"}
+{"version":3,"file":"charterPacket.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charterPacket.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACrB,KAAK,GACL,SAAS,GACT,aAAa,GACb,iBAAiB,CAAC;AAEtB,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,EAAE,SAAS,aAAa,EAKpD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,YAAY,CAAC;AAEtE,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,aAAa,CAAC;IAC9B,sCAAsC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,0FAA0F;AAC1F,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,aAAa,CAAC;IAC9B,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,cAAc,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACrE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,WAAW,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,0BAA0B,EAAE,CAAC;CACvC;AAED,eAAO,MAAM,sCAAsC,+BACrB,CAAC;AAE/B,iEAAiE;AACjE,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,aAAa,CAAC;IAC9B,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,OAAO,sCAAsC,CAAC;IAC9D,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;;OAIG;IACH,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;IAC/C,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,0BAA0B,EAAE,OAAO,CAAC;IACpC;;;;;OAKG;IACH,sBAAsB,EAAE,OAAO,CAAC;CACjC"}

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

@@ -1 +1 @@
-{"version":3,"file":"charterPacket.js","sourceRoot":"","sources":["../../../src/shared/types/charterPacket.ts"],"names":[],"mappings":"AAiCA,iFAAiF;AACjF,MAAM,CAAC,MAAM,gBAAgB,GAA6B;IACxD,SAAS;IACT,aAAa;IACb,KAAK;IACL,iBAAiB;CAClB,CAAC;AAkFF,MAAM,CAAC,MAAM,sCAAsC,GACjD,4BAA4B,CAAC"}
+{"version":3,"file":"charterPacket.js","sourceRoot":"","sources":["../../../src/shared/types/charterPacket.ts"],"names":[],"mappings":"AAoCA,iFAAiF;AACjF,MAAM,CAAC,MAAM,gBAAgB,GAA6B;IACxD,SAAS;IACT,aAAa;IACb,KAAK;IACL,iBAAiB;CAClB,CAAC;AAkFF,MAAM,CAAC,MAAM,sCAAsC,GACjD,4BAA4B,CAAC"}

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

@@ -84,22 +84,36 @@ export interface ObligationLedger {
     /** 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 {
+/**
+ * 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[];
     /**
-     * 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.
+     * 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?: {
+    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. */
@@ -179,8 +193,13 @@ export interface JudgedCounterexample {
  * ({@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 three 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 ["finalized_module_contracts", "obligation_ledger", "contract_assessment_report", "counterexample", "design_spec"];
+export declare const CONTRACT_REPAIR_TARGETS: readonly ["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.
@@ -207,7 +226,7 @@ export declare const CONTRACT_REPAIR_TARGETS_LEGACY: readonly ["design_spec"];
  * {@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")[];
+export declare const CONTRACT_REPAIR_TARGETS_OFFERED: ("design_spec" | "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.
@@ -216,9 +235,8 @@ export declare const CONTRACT_REPAIR_TARGETS_OFFERED: ("design_spec" | "countere
  * 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.
+ * 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
@@ -250,4 +268,5 @@ export interface JudgeReport {
     /** 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 +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;;;;;;;;;;;;;;;;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"}
+{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AACA;;;;;;;;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,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;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,uBAAuB,2GAK1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,uGAG3C,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,3 +1,4 @@
+// sites-pinned: tests/remediate/step-prompt-sketch-drift.test.ts, tests/remediate/contract-pipeline.test.ts
 /**
  * Contract-pipeline artifact: obligations phase.
  *
@@ -29,12 +30,16 @@ export const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION = "remediate-code-contract-p
  * ({@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 three 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 = [
     "finalized_module_contracts",
     "obligation_ledger",
     "contract_assessment_report",
-    "counterexample",
     "design_spec",
 ];
 /**

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

@@ -1 +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;AAuLpE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,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"}
+{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,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;AAwMpE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,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/contractPropertyShapes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contractPropertyShapes.d.ts","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACvD,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAClE;AAED,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACtE;AAwND,0FAA0F;AAC1F,eAAO,MAAM,wBAAwB,EAAE,SAAS,iBAAiB,EAehE,CAAC"}
+{"version":3,"file":"contractPropertyShapes.d.ts","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACvD,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAClE;AAED,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACtE;AAwOD,0FAA0F;AAC1F,eAAO,MAAM,wBAAwB,EAAE,SAAS,iBAAiB,EAehE,CAAC"}

package/dist/shared/types/contractPropertyShapes.js

@@ -59,6 +59,7 @@ const FINDING_LOCATION_SHAPE = {
     line_end: str(true),
     symbol: str(true),
     quoted_text: str(true),
+    no_quotable_span: str(true),
     hash_at_plan_time: str(true),
 };
 /**
@@ -185,6 +186,18 @@ const AUDIT_TASK_TYPE = {
         // Found by the widened optionality half (D5) — the row was never checked
         // against its own schema before, because the test skipped `AuditTask`.
         file_line_counts: { kind: "record", value: str(), allowsUndefined: true },
+        // The two selective-lane fields. `coverage_policy` states whether the
+        // result must cover every bound file; `file_metrics` carries what the tool
+        // already knows about each file on the surface, so a selective reviewer
+        // chooses from evidence rather than from a name.
+        coverage_policy: str(true),
+        file_metrics: arrayOf(object({
+            path: str(),
+            total_lines: str(),
+            score: str(),
+            signals: arrayOf(str()),
+            prior_findings: { kind: "record", value: str() },
+        }), true),
         line_ranges: arrayOf(object({ path: str(), start: str(), end: str() }), true),
         inputs: { kind: "record", value: str(), allowsUndefined: true },
         rationale: str(),

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

@@ -1 +1 @@
-{"version":3,"file":"contractPropertyShapes.js","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,8CAA8C;AAC9C,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,8EAA8E;AAC9E,4FAA4F;AAC5F,iFAAiF;AACjF,8EAA8E;AAC9E,WAAW;AACX,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,SAAS;AACT,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,2EAA2E;AAC3E,yEAAyE;AACzE,+EAA+E;AAC/E,+EAA+E;AAC/E,mEAAmE;AACnE,iFAAiF;AACjF,8EAA8E;AAC9E,0CAA0C;AAC1C,EAAE;AACF,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,yEAAyE;AACzE,iFAAiF;AACjF,kFAAkF;AAClF,qBAAqB;AAwCrB,8FAA8F;AAC9F,MAAM,MAAM,GAAG,CACb,KAA4C,EAC5C,eAAe,GAAG,KAAK,EACA,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;AAEzE,4EAA4E;AAC5E,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,KAA4C,EAAyB,EAAE,CAAC,CAAC;IACzG,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,OAAO,GAAG,CAAC,KAA4B,EAAE,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,OAAO;IACb,KAAK;IACL,eAAe;CAChB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,GAAG,GAAG,CAAC,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;AAErG,6EAA6E;AAC7E,+EAA+E;AAC/E,6CAA6C;AAC7C,MAAM,sBAAsB,GAAG;IAC7B,IAAI,EAAE,GAAG,EAAE;IACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;IACtB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;CAC7B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,MAAM,uBAAuB,GAAG;IAC9B,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC,wBAAwB,CAAC;IAC5C,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;CACjB,CAAC;AACF,MAAM,8BAA8B,GAAG;IACrC,WAAW,EAAE,GAAG,EAAE;IAClB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;IACf,IAAI,EAAE,GAAG,EAAE;IACX,YAAY,EAAE,GAAG,EAAE;CACpB,CAAC;AACF,MAAM,uBAAuB,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AACrE,MAAM,6BAA6B,GAAG;IACpC,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,0BAA0B,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClG,MAAM,wBAAwB,GAAG;IAC/B,QAAQ,EAAE,GAAG,EAAE;IACf,cAAc,EAAE,GAAG,EAAE;IACrB,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,mBAAmB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACnC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAA0C;IAC3D,EAAE,EAAE,GAAG,EAAE;IACT,KAAK,EAAE,GAAG,EAAE;IACZ,QAAQ,EAAE,GAAG,EAAE;IACf,QAAQ,EAAE,GAAG,EAAE;IACf,wBAAwB,EAAE,GAAG,CAAC,IAAI,CAAC;IACnC,UAAU,EAAE,GAAG,EAAE;IACjB,IAAI,EAAE,GAAG,EAAE;IACX,OAAO,EAAE,GAAG,EAAE;IACd,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;IAChF,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAClC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACtC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;IACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IAChD,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;IACxB,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACxD,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,uBAAuB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC7C,2BAA2B,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACjD,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACvC,mBAAmB,EAAE,MAAM,CAAC,8BAA8B,EAAE,IAAI,CAAC;IACjE,YAAY,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;CACpE,CAAC;AAEF,+EAA+E;AAC/E,6EAA6E;AAC7E,sDAAsD;AACtD,MAAM,qBAAqB,GAAsB;IAC/C,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,sBAAsB;CACnC,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,6BAA6B,GAAsB;IACvD,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,8BAA8B;IACtC,UAAU,EAAE,8BAA8B;CAC3C,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,4BAA4B,GAAsB;IACtD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,6BAA6B;CAC1C,CAAC;AAEF,+DAA+D;AAC/D,MAAM,uBAAuB,GAAsB;IACjD,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,wBAAwB;CACrC,CAAC;AACF,MAAM,yBAAyB,GAAsB;IACnD,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,0BAA0B;CACvC,CAAC;AACF,MAAM,eAAe,GAAsB;IACzC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QACzE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;QAC7E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC/D,SAAS,EAAE,GAAG,EAAE;QAChB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;QACnB,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;QACxB,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;KAC7B;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;QACrB,mEAAmE;QACnE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1C,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,8EAA8E;QAC9E,0EAA0E;QAC1E,yEAAyE;QACzE,cAAc;QACd,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;QAC5B,cAAc,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QACpC,YAAY,EAAE,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE;QAC7E,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC;KACnB;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,MAAM,CAAC,UAAkB;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,aAAa;KAC1B;IACD,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,sBAAsB;IACtB,4BAA4B;IAC5B,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC"}
+{"version":3,"file":"contractPropertyShapes.js","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,8CAA8C;AAC9C,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,8EAA8E;AAC9E,4FAA4F;AAC5F,iFAAiF;AACjF,8EAA8E;AAC9E,WAAW;AACX,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,SAAS;AACT,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,2EAA2E;AAC3E,yEAAyE;AACzE,+EAA+E;AAC/E,+EAA+E;AAC/E,mEAAmE;AACnE,iFAAiF;AACjF,8EAA8E;AAC9E,0CAA0C;AAC1C,EAAE;AACF,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,yEAAyE;AACzE,iFAAiF;AACjF,kFAAkF;AAClF,qBAAqB;AAwCrB,8FAA8F;AAC9F,MAAM,MAAM,GAAG,CACb,KAA4C,EAC5C,eAAe,GAAG,KAAK,EACA,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;AAEzE,4EAA4E;AAC5E,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,KAA4C,EAAyB,EAAE,CAAC,CAAC;IACzG,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,OAAO,GAAG,CAAC,KAA4B,EAAE,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,OAAO;IACb,KAAK;IACL,eAAe;CAChB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,GAAG,GAAG,CAAC,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;AAErG,6EAA6E;AAC7E,+EAA+E;AAC/E,6CAA6C;AAC7C,MAAM,sBAAsB,GAAG;IAC7B,IAAI,EAAE,GAAG,EAAE;IACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;IACtB,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;CAC7B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,MAAM,uBAAuB,GAAG;IAC9B,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC,wBAAwB,CAAC;IAC5C,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;CACjB,CAAC;AACF,MAAM,8BAA8B,GAAG;IACrC,WAAW,EAAE,GAAG,EAAE;IAClB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;IACf,IAAI,EAAE,GAAG,EAAE;IACX,YAAY,EAAE,GAAG,EAAE;CACpB,CAAC;AACF,MAAM,uBAAuB,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AACrE,MAAM,6BAA6B,GAAG;IACpC,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,0BAA0B,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClG,MAAM,wBAAwB,GAAG;IAC/B,QAAQ,EAAE,GAAG,EAAE;IACf,cAAc,EAAE,GAAG,EAAE;IACrB,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,mBAAmB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACnC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAA0C;IAC3D,EAAE,EAAE,GAAG,EAAE;IACT,KAAK,EAAE,GAAG,EAAE;IACZ,QAAQ,EAAE,GAAG,EAAE;IACf,QAAQ,EAAE,GAAG,EAAE;IACf,wBAAwB,EAAE,GAAG,CAAC,IAAI,CAAC;IACnC,UAAU,EAAE,GAAG,EAAE;IACjB,IAAI,EAAE,GAAG,EAAE;IACX,OAAO,EAAE,GAAG,EAAE;IACd,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;IAChF,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAClC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACtC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;IACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IAChD,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;IACxB,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACxD,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,uBAAuB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC7C,2BAA2B,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACjD,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACvC,mBAAmB,EAAE,MAAM,CAAC,8BAA8B,EAAE,IAAI,CAAC;IACjE,YAAY,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;CACpE,CAAC;AAEF,+EAA+E;AAC/E,6EAA6E;AAC7E,sDAAsD;AACtD,MAAM,qBAAqB,GAAsB;IAC/C,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,sBAAsB;CACnC,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,6BAA6B,GAAsB;IACvD,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,8BAA8B;IACtC,UAAU,EAAE,8BAA8B;CAC3C,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,4BAA4B,GAAsB;IACtD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,6BAA6B;CAC1C,CAAC;AAEF,+DAA+D;AAC/D,MAAM,uBAAuB,GAAsB;IACjD,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,wBAAwB;CACrC,CAAC;AACF,MAAM,yBAAyB,GAAsB;IACnD,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,0BAA0B;CACvC,CAAC;AACF,MAAM,eAAe,GAAsB;IACzC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QACzE,sEAAsE;QACtE,2EAA2E;QAC3E,wEAAwE;QACxE,iDAAiD;QACjD,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,YAAY,EAAE,OAAO,CACnB,MAAM,CAAC;YACL,IAAI,EAAE,GAAG,EAAE;YACX,WAAW,EAAE,GAAG,EAAE;YAClB,KAAK,EAAE,GAAG,EAAE;YACZ,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;YACvB,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;SACjD,CAAC,EACF,IAAI,CACL;QACD,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;QAC7E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC/D,SAAS,EAAE,GAAG,EAAE;QAChB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;QACnB,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;QACxB,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;KAC7B;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;QACrB,mEAAmE;QACnE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1C,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,8EAA8E;QAC9E,0EAA0E;QAC1E,yEAAyE;QACzE,cAAc;QACd,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;QAC5B,cAAc,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QACpC,YAAY,EAAE,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE;QAC7E,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC;KACnB;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,MAAM,CAAC,UAAkB;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,aAAa;KAC1B;IACD,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,sBAAsB;IACtB,4BAA4B;IAC5B,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC"}