@mmnto/totem 1.81.0 → 1.82.0

package/dist/compiler-schema.d.ts

@@ -278,6 +278,117 @@ export declare const AuthoredFixtureSchema: z.ZodEffects<z.ZodObject<{
     contentHash: string;
 }>;
 export type AuthoredFixture = z.infer<typeof AuthoredFixtureSchema>;
+/**
+ * ADR-112 §3/§6 (strategy#770) — the source of a SILENCE-ONLY near-miss: the one
+ * exemplar a negative control's matcher must stay SILENT on. Source-pluggable per §4
+ * (a synthetic lesson `example` PRIMARY / a `commitSha` state FALLBACK) but ONE side
+ * only — a near-miss has NO must-fire leg, so this is NOT the positiveFixtures
+ * bad/good `preimageSource` pair (a negative control is a one-leg silence assertion,
+ * a positive control a two-leg differential — §6 L142 arity). `z.discriminatedUnion`
+ * + `.strict()` branches mirror `PreimageSourceSchema` (cross-branch key fails LOUD,
+ * FM(d)); refines are NON-mutating for manifest-hash stability.
+ */
+export declare const NearMissSourceSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"lesson">;
+    /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+    example: z.ZodEffects<z.ZodString, string, string>;
+    /**
+     * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+     * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+     * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+     * path/mutable alias), so it can't be a free-form mutable alias.
+     */
+    lessonRef: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    kind: "lesson";
+    example: string;
+    lessonRef?: string | undefined;
+}, {
+    kind: "lesson";
+    example: string;
+    lessonRef?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"commit">;
+    /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+    commitSha: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    kind: "commit";
+    commitSha: string;
+}, {
+    kind: "commit";
+    commitSha: string;
+}>]>;
+export type NearMissSource = z.infer<typeof NearMissSourceSchema>;
+/**
+ * ADR-112 §3/§6 (strategy#770) — a declared near-miss the rule must stay SILENT on,
+ * feeding §6 `controls.negative[]` (a fire on it is a §3.3 cull, never a corpus FP).
+ * SILENCE-ONLY: a locus (`filePath` + `matchedSpan`) + the one-side `nearMissSource`.
+ * It deliberately carries NO `pr` (a synthetic near-miss has no corpus position — the
+ * §5 leakage guard targets corpus-drawn fixtures, so there is nothing to train-side-
+ * attest), NO `contentHash`, and NO bad/good pair / anti-vacuity `superRefine` (there
+ * is no pair to be vacuously identical). `.strict()` so a leftover positiveFixtures
+ * key (e.g. `preimageSource`/`pr`) from a mis-migrated fixture fails LOUD (FM(d)).
+ */
+export declare const AuthoredNegativeFixtureSchema: z.ZodObject<{
+    /** File the near-miss locus lives in. */
+    filePath: z.ZodEffects<z.ZodString, string, string>;
+    /** Line-range or AST-node path — the near-miss locus, not just the file. */
+    matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+    /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+    nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"lesson">;
+        /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+        example: z.ZodEffects<z.ZodString, string, string>;
+        /**
+         * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+         * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+         * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+         * path/mutable alias), so it can't be a free-form mutable alias.
+         */
+        lessonRef: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "lesson";
+        example: string;
+        lessonRef?: string | undefined;
+    }, {
+        kind: "lesson";
+        example: string;
+        lessonRef?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"commit">;
+        /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+        commitSha: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "commit";
+        commitSha: string;
+    }, {
+        kind: "commit";
+        commitSha: string;
+    }>]>;
+}, "strict", z.ZodTypeAny, {
+    filePath: string;
+    matchedSpan: string;
+    nearMissSource: {
+        kind: "lesson";
+        example: string;
+        lessonRef?: string | undefined;
+    } | {
+        kind: "commit";
+        commitSha: string;
+    };
+}, {
+    filePath: string;
+    matchedSpan: string;
+    nearMissSource: {
+        kind: "lesson";
+        example: string;
+        lessonRef?: string | undefined;
+    } | {
+        kind: "commit";
+        commitSha: string;
+    };
+}>;
+export type AuthoredNegativeFixture = z.infer<typeof AuthoredNegativeFixtureSchema>;
 /**
  * ADR-112 §3 — the AUTHORED variant of the `ProvenanceRecord` union. A
  * hand-authored rule is anchored to a real historical DEFECT (the pre-image,
@@ -405,115 +516,69 @@ export declare const AuthoredProvenanceRecordSchema: z.ZodObject<{
         matchedSpan: string;
         contentHash: string;
     }>, "many">;
-    /** Declared near-misses the rule must stay silent on (feeds §6 negative controls). */
-    negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
-        /** The PR where the defect was caught/introduced (the in-corpus anchor). */
-        pr: z.ZodNumber;
-        /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
-        preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    /**
+     * Declared SILENCE-ONLY near-misses the rule must stay silent on (feeds §6
+     * `controls.negative[]`). The silence-only `nearMissSource` shape, NOT the
+     * positiveFixtures bad/good pair (strategy#770 — different arity, §6 L142).
+     */
+    negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        /** File the near-miss locus lives in. */
+        filePath: z.ZodEffects<z.ZodString, string, string>;
+        /** Line-range or AST-node path — the near-miss locus, not just the file. */
+        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+        /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+        nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"lesson">;
-            /** IMMUTABLE lesson id/hash (the 16-hex `hashLesson` codomain) — never a path/mutable alias (§4/§8). */
-            lessonRef: z.ZodString;
+            /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+            example: z.ZodEffects<z.ZodString, string, string>;
             /**
-             * The defect PREIMAGE exemplar the matcher must FIRE on (§4). This is a lesson
-             * corpus `badExample` — distinct from `CompiledRuleBaseSchema.badExample` (an
-             * optional human-readable code snippet on a compiled rule); here it is the
-             * load-bearing positive-control preimage, so non-empty is required.
+             * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+             * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+             * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+             * path/mutable alias), so it can't be a free-form mutable alias.
              */
-            badExample: z.ZodEffects<z.ZodString, string, string>;
-            /** The fixed POSTIMAGE exemplar the matcher must stay SILENT on (§4) — a lesson `goodExample`. */
-            goodExample: z.ZodEffects<z.ZodString, string, string>;
+            lessonRef: z.ZodOptional<z.ZodString>;
         }, "strict", z.ZodTypeAny, {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         }, {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"commit">;
-            /** The PARENT (pre-fix) commit where the DEFECT is present — the matcher must FIRE on this (ADR-112 §4). */
-            preimageCommitSha: z.ZodString;
-            /** The PR's merge/squash commit — the post-fix (defect-absent) anchor; the matcher must stay SILENT on this. */
-            mergeCommitSha: z.ZodString;
+            /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+            commitSha: z.ZodString;
         }, "strict", z.ZodTypeAny, {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         }, {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         }>]>;
-        /** File the defect locus lives in. */
-        filePath: z.ZodEffects<z.ZodString, string, string>;
-        /** Line-range or AST-node path — the defect locus, not just the file. */
-        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
-        /** Span content hash, line-drift-stable (cf. `firingLabelId`). */
-        contentHash: z.ZodEffects<z.ZodString, string, string>;
     }, "strict", z.ZodTypeAny, {
-        pr: number;
-        preimageSource: {
-            kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
-        } | {
-            kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
-        };
         filePath: string;
         matchedSpan: string;
-        contentHash: string;
-    }, {
-        pr: number;
-        preimageSource: {
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
-        };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
-    }>, {
-        pr: number;
-        preimageSource: {
-            kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
-        } | {
-            kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
+    }, {
         filePath: string;
         matchedSpan: string;
-        contentHash: string;
-    }, {
-        pr: number;
-        preimageSource: {
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     kind: "authored";
@@ -537,20 +602,16 @@ export declare const AuthoredProvenanceRecordSchema: z.ZodObject<{
         contentHash: string;
     }[];
     negativeFixtures?: {
-        pr: number;
-        preimageSource: {
+        filePath: string;
+        matchedSpan: string;
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }[] | undefined;
 }, {
     kind: "authored";
@@ -574,20 +635,16 @@ export declare const AuthoredProvenanceRecordSchema: z.ZodObject<{
         contentHash: string;
     }[];
     negativeFixtures?: {
-        pr: number;
-        preimageSource: {
+        filePath: string;
+        matchedSpan: string;
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }[] | undefined;
 }>;
 export type AuthoredProvenanceRecord = z.infer<typeof AuthoredProvenanceRecordSchema>;
@@ -721,115 +778,69 @@ export declare const ProvenanceRecordSchema: z.ZodUnion<[z.ZodObject<{
         matchedSpan: string;
         contentHash: string;
     }>, "many">;
-    /** Declared near-misses the rule must stay silent on (feeds §6 negative controls). */
-    negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
-        /** The PR where the defect was caught/introduced (the in-corpus anchor). */
-        pr: z.ZodNumber;
-        /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
-        preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    /**
+     * Declared SILENCE-ONLY near-misses the rule must stay silent on (feeds §6
+     * `controls.negative[]`). The silence-only `nearMissSource` shape, NOT the
+     * positiveFixtures bad/good pair (strategy#770 — different arity, §6 L142).
+     */
+    negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        /** File the near-miss locus lives in. */
+        filePath: z.ZodEffects<z.ZodString, string, string>;
+        /** Line-range or AST-node path — the near-miss locus, not just the file. */
+        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+        /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+        nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"lesson">;
-            /** IMMUTABLE lesson id/hash (the 16-hex `hashLesson` codomain) — never a path/mutable alias (§4/§8). */
-            lessonRef: z.ZodString;
+            /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+            example: z.ZodEffects<z.ZodString, string, string>;
             /**
-             * The defect PREIMAGE exemplar the matcher must FIRE on (§4). This is a lesson
-             * corpus `badExample` — distinct from `CompiledRuleBaseSchema.badExample` (an
-             * optional human-readable code snippet on a compiled rule); here it is the
-             * load-bearing positive-control preimage, so non-empty is required.
+             * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+             * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+             * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+             * path/mutable alias), so it can't be a free-form mutable alias.
              */
-            badExample: z.ZodEffects<z.ZodString, string, string>;
-            /** The fixed POSTIMAGE exemplar the matcher must stay SILENT on (§4) — a lesson `goodExample`. */
-            goodExample: z.ZodEffects<z.ZodString, string, string>;
+            lessonRef: z.ZodOptional<z.ZodString>;
         }, "strict", z.ZodTypeAny, {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         }, {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"commit">;
-            /** The PARENT (pre-fix) commit where the DEFECT is present — the matcher must FIRE on this (ADR-112 §4). */
-            preimageCommitSha: z.ZodString;
-            /** The PR's merge/squash commit — the post-fix (defect-absent) anchor; the matcher must stay SILENT on this. */
-            mergeCommitSha: z.ZodString;
+            /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+            commitSha: z.ZodString;
         }, "strict", z.ZodTypeAny, {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         }, {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         }>]>;
-        /** File the defect locus lives in. */
-        filePath: z.ZodEffects<z.ZodString, string, string>;
-        /** Line-range or AST-node path — the defect locus, not just the file. */
-        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
-        /** Span content hash, line-drift-stable (cf. `firingLabelId`). */
-        contentHash: z.ZodEffects<z.ZodString, string, string>;
     }, "strict", z.ZodTypeAny, {
-        pr: number;
-        preimageSource: {
-            kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
-        } | {
-            kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
-        };
         filePath: string;
         matchedSpan: string;
-        contentHash: string;
-    }, {
-        pr: number;
-        preimageSource: {
-            kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
-        } | {
-            kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
-        };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
-    }>, {
-        pr: number;
-        preimageSource: {
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
+    }, {
         filePath: string;
         matchedSpan: string;
-        contentHash: string;
-    }, {
-        pr: number;
-        preimageSource: {
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     kind: "authored";
@@ -853,20 +864,16 @@ export declare const ProvenanceRecordSchema: z.ZodUnion<[z.ZodObject<{
         contentHash: string;
     }[];
     negativeFixtures?: {
-        pr: number;
-        preimageSource: {
+        filePath: string;
+        matchedSpan: string;
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }[] | undefined;
 }, {
     kind: "authored";
@@ -890,20 +897,16 @@ export declare const ProvenanceRecordSchema: z.ZodUnion<[z.ZodObject<{
         contentHash: string;
     }[];
     negativeFixtures?: {
-        pr: number;
-        preimageSource: {
+        filePath: string;
+        matchedSpan: string;
+        nearMissSource: {
             kind: "lesson";
-            lessonRef: string;
-            badExample: string;
-            goodExample: string;
+            example: string;
+            lessonRef?: string | undefined;
         } | {
             kind: "commit";
-            preimageCommitSha: string;
-            mergeCommitSha: string;
+            commitSha: string;
         };
-        filePath: string;
-        matchedSpan: string;
-        contentHash: string;
     }[] | undefined;
 }>, z.ZodObject<{
     /**
@@ -939,146 +942,36 @@ export declare const ProvenanceRecordSchema: z.ZodUnion<[z.ZodObject<{
 }>]>;
 export type ProvenanceRecord = z.infer<typeof ProvenanceRecordSchema>;
 /**
- * ADR-112 — the canonical reader of a provenance record's producer kind. An
- * absent discriminator (every legacy mined record) reads as `'mined'`. Use this
- * + the guards below instead of touching `.kind` directly, so the
- * absent-⇒-mined default lives in exactly one place (Tenet 20).
- */
-export declare function provenanceKind(p: ProvenanceRecord): 'mined' | 'authored';
-/** ADR-112 — type-narrowing guard for the mined branch (mined-only field reads). */
-export declare function isMinedProvenance(p: ProvenanceRecord): p is MinedProvenanceRecord;
-/** ADR-112 — type-narrowing guard for the authored branch. */
-export declare function isAuthoredProvenance(p: ProvenanceRecord): p is AuthoredProvenanceRecord;
-/**
- * mmnto-ai/totem#2183 — the three **peer** legs of the ADR-110 §3 legitimacy
- * bar, mapping 1:1 onto the strategy#666 Tenet-9 three-check so the Gate-1
- * wind-tunnel reads per-rule eligibility off the marker with no translation
- * layer: `provenance` (§3.1) / `positiveControl` (§3.2) / `negativeControl`
- * (§3.3). Controls are pass/fail booleans, **required** when `legitimacy` is
- * present (never defaulted, so an absent control can't silently read as a
- * failed one); the evidence behind each pass lives in the wind-tunnel manifest.
- */
-export declare const LegitimacySchema: z.ZodObject<{
-    provenance: z.ZodUnion<[z.ZodObject<{
-        kind: z.ZodLiteral<"authored">;
-        /** Agent-id or operator handle — attributable, never anonymous. */
-        author: z.ZodEffects<z.ZodString, string, string>;
-        /** ISO-8601 authoring date — a real calendar date (`YYYY-MM-DD`) or a full timestamp. */
-        authoredAt: z.ZodEffects<z.ZodString, string, string>;
-        /** The declared DEFECT the rule targets — the pre-image, not its fix. */
-        targetDefect: z.ZodEffects<z.ZodString, string, string>;
-        /** ≥1 real lc instance the rule claims to catch — ALL train-side (§5). */
-        positiveFixtures: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            /** The PR where the defect was caught/introduced (the in-corpus anchor). */
-            pr: z.ZodNumber;
-            /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
-            preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
-                kind: z.ZodLiteral<"lesson">;
-                /** IMMUTABLE lesson id/hash (the 16-hex `hashLesson` codomain) — never a path/mutable alias (§4/§8). */
-                lessonRef: z.ZodString;
-                /**
-                 * The defect PREIMAGE exemplar the matcher must FIRE on (§4). This is a lesson
-                 * corpus `badExample` — distinct from `CompiledRuleBaseSchema.badExample` (an
-                 * optional human-readable code snippet on a compiled rule); here it is the
-                 * load-bearing positive-control preimage, so non-empty is required.
-                 */
-                badExample: z.ZodEffects<z.ZodString, string, string>;
-                /** The fixed POSTIMAGE exemplar the matcher must stay SILENT on (§4) — a lesson `goodExample`. */
-                goodExample: z.ZodEffects<z.ZodString, string, string>;
-            }, "strict", z.ZodTypeAny, {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            }, {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            }>, z.ZodObject<{
-                kind: z.ZodLiteral<"commit">;
-                /** The PARENT (pre-fix) commit where the DEFECT is present — the matcher must FIRE on this (ADR-112 §4). */
-                preimageCommitSha: z.ZodString;
-                /** The PR's merge/squash commit — the post-fix (defect-absent) anchor; the matcher must stay SILENT on this. */
-                mergeCommitSha: z.ZodString;
-            }, "strict", z.ZodTypeAny, {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            }, {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            }>]>;
-            /** File the defect locus lives in. */
-            filePath: z.ZodEffects<z.ZodString, string, string>;
-            /** Line-range or AST-node path — the defect locus, not just the file. */
-            matchedSpan: z.ZodEffects<z.ZodString, string, string>;
-            /** Span content hash, line-drift-stable (cf. `firingLabelId`). */
-            contentHash: z.ZodEffects<z.ZodString, string, string>;
-        }, "strict", z.ZodTypeAny, {
-            pr: number;
-            preimageSource: {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            } | {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
-        }, {
-            pr: number;
-            preimageSource: {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            } | {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
-        }>, {
-            pr: number;
-            preimageSource: {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            } | {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
-        }, {
-            pr: number;
-            preimageSource: {
-                kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
-            } | {
-                kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
-            };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
-        }>, "many">;
-        /** Declared near-misses the rule must stay silent on (feeds §6 negative controls). */
-        negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+ * ADR-112 — the canonical reader of a provenance record's producer kind. An
+ * absent discriminator (every legacy mined record) reads as `'mined'`. Use this
+ * + the guards below instead of touching `.kind` directly, so the
+ * absent-⇒-mined default lives in exactly one place (Tenet 20).
+ */
+export declare function provenanceKind(p: ProvenanceRecord): 'mined' | 'authored';
+/** ADR-112 — type-narrowing guard for the mined branch (mined-only field reads). */
+export declare function isMinedProvenance(p: ProvenanceRecord): p is MinedProvenanceRecord;
+/** ADR-112 — type-narrowing guard for the authored branch. */
+export declare function isAuthoredProvenance(p: ProvenanceRecord): p is AuthoredProvenanceRecord;
+/**
+ * mmnto-ai/totem#2183 — the three **peer** legs of the ADR-110 §3 legitimacy
+ * bar, mapping 1:1 onto the strategy#666 Tenet-9 three-check so the Gate-1
+ * wind-tunnel reads per-rule eligibility off the marker with no translation
+ * layer: `provenance` (§3.1) / `positiveControl` (§3.2) / `negativeControl`
+ * (§3.3). Controls are pass/fail booleans, **required** when `legitimacy` is
+ * present (never defaulted, so an absent control can't silently read as a
+ * failed one); the evidence behind each pass lives in the wind-tunnel manifest.
+ */
+export declare const LegitimacySchema: z.ZodObject<{
+    provenance: z.ZodUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"authored">;
+        /** Agent-id or operator handle — attributable, never anonymous. */
+        author: z.ZodEffects<z.ZodString, string, string>;
+        /** ISO-8601 authoring date — a real calendar date (`YYYY-MM-DD`) or a full timestamp. */
+        authoredAt: z.ZodEffects<z.ZodString, string, string>;
+        /** The declared DEFECT the rule targets — the pre-image, not its fix. */
+        targetDefect: z.ZodEffects<z.ZodString, string, string>;
+        /** ≥1 real lc instance the rule claims to catch — ALL train-side (§5). */
+        positiveFixtures: z.ZodArray<z.ZodEffects<z.ZodObject<{
             /** The PR where the defect was caught/introduced (the in-corpus anchor). */
             pr: z.ZodNumber;
             /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
@@ -1186,6 +1079,70 @@ export declare const LegitimacySchema: z.ZodObject<{
             filePath: string;
             matchedSpan: string;
             contentHash: string;
+        }>, "many">;
+        /**
+         * Declared SILENCE-ONLY near-misses the rule must stay silent on (feeds §6
+         * `controls.negative[]`). The silence-only `nearMissSource` shape, NOT the
+         * positiveFixtures bad/good pair (strategy#770 — different arity, §6 L142).
+         */
+        negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            /** File the near-miss locus lives in. */
+            filePath: z.ZodEffects<z.ZodString, string, string>;
+            /** Line-range or AST-node path — the near-miss locus, not just the file. */
+            matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+            /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+            nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"lesson">;
+                /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+                example: z.ZodEffects<z.ZodString, string, string>;
+                /**
+                 * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+                 * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+                 * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+                 * path/mutable alias), so it can't be a free-form mutable alias.
+                 */
+                lessonRef: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "lesson";
+                example: string;
+                lessonRef?: string | undefined;
+            }, {
+                kind: "lesson";
+                example: string;
+                lessonRef?: string | undefined;
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"commit">;
+                /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+                commitSha: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "commit";
+                commitSha: string;
+            }, {
+                kind: "commit";
+                commitSha: string;
+            }>]>;
+        }, "strict", z.ZodTypeAny, {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
+                kind: "lesson";
+                example: string;
+                lessonRef?: string | undefined;
+            } | {
+                kind: "commit";
+                commitSha: string;
+            };
+        }, {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
+                kind: "lesson";
+                example: string;
+                lessonRef?: string | undefined;
+            } | {
+                kind: "commit";
+                commitSha: string;
+            };
         }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         kind: "authored";
@@ -1209,20 +1166,16 @@ export declare const LegitimacySchema: z.ZodObject<{
             contentHash: string;
         }[];
         negativeFixtures?: {
-            pr: number;
-            preimageSource: {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
                 kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
+                example: string;
+                lessonRef?: string | undefined;
             } | {
                 kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
+                commitSha: string;
             };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
         }[] | undefined;
     }, {
         kind: "authored";
@@ -1246,20 +1199,16 @@ export declare const LegitimacySchema: z.ZodObject<{
             contentHash: string;
         }[];
         negativeFixtures?: {
-            pr: number;
-            preimageSource: {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
                 kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
+                example: string;
+                lessonRef?: string | undefined;
             } | {
                 kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
+                commitSha: string;
             };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
         }[] | undefined;
     }>, z.ZodObject<{
         /**
@@ -1323,20 +1272,16 @@ export declare const LegitimacySchema: z.ZodObject<{
             contentHash: string;
         }[];
         negativeFixtures?: {
-            pr: number;
-            preimageSource: {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
                 kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
+                example: string;
+                lessonRef?: string | undefined;
             } | {
                 kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
+                commitSha: string;
             };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
         }[] | undefined;
     };
     positiveControl: boolean;
@@ -1369,20 +1314,16 @@ export declare const LegitimacySchema: z.ZodObject<{
             contentHash: string;
         }[];
         negativeFixtures?: {
-            pr: number;
-            preimageSource: {
+            filePath: string;
+            matchedSpan: string;
+            nearMissSource: {
                 kind: "lesson";
-                lessonRef: string;
-                badExample: string;
-                goodExample: string;
+                example: string;
+                lessonRef?: string | undefined;
             } | {
                 kind: "commit";
-                preimageCommitSha: string;
-                mergeCommitSha: string;
+                commitSha: string;
             };
-            filePath: string;
-            matchedSpan: string;
-            contentHash: string;
         }[] | undefined;
     };
     positiveControl: boolean;
@@ -1408,7 +1349,18 @@ export declare function deriveRuleClass(rule: {
     unverified?: boolean;
 }): 'hard' | 'advisory';
 export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
-    /** SHA-256 hash (first 16 hex chars) of heading + body — detects edits */
+    /**
+     * The rule's stable identity + wind-tunnel firing key.
+     * - MINED / lesson-compiled rules: SHA-256 (first 16 hex chars) of heading + body —
+     *   content-derived, detects edits.
+     * - AUTHORED rules (ADR-112 §8/§9): carries the PERSISTED, minted `ruleId` (set at
+     *   the compile seam from `CompileInputCandidate.ruleId`), NOT a content hash — the
+     *   `firingLabelId ← ruleId` id-unification, so a matcher (`dslSource`) edit never
+     *   orphans the rule's ground-truth labels / `controls.positive[].targetRuleId`. For
+     *   authored rules this is identity, NOT an edit-detector; it may carry a `-N`
+     *   collision suffix. (Authored rules are Gate-1 advisory and live only in the cert
+     *   corpus, never the product enforcement path that reads this as a content hash.)
+     */
     lessonHash: z.ZodString;
     /** Human-readable heading from the lesson (for diagnostics) */
     lessonHeading: z.ZodString;
@@ -1693,115 +1645,69 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 matchedSpan: string;
                 contentHash: string;
             }>, "many">;
-            /** Declared near-misses the rule must stay silent on (feeds §6 negative controls). */
-            negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
-                /** The PR where the defect was caught/introduced (the in-corpus anchor). */
-                pr: z.ZodNumber;
-                /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
-                preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            /**
+             * Declared SILENCE-ONLY near-misses the rule must stay silent on (feeds §6
+             * `controls.negative[]`). The silence-only `nearMissSource` shape, NOT the
+             * positiveFixtures bad/good pair (strategy#770 — different arity, §6 L142).
+             */
+            negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                /** File the near-miss locus lives in. */
+                filePath: z.ZodEffects<z.ZodString, string, string>;
+                /** Line-range or AST-node path — the near-miss locus, not just the file. */
+                matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+                /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+                nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                     kind: z.ZodLiteral<"lesson">;
-                    /** IMMUTABLE lesson id/hash (the 16-hex `hashLesson` codomain) — never a path/mutable alias (§4/§8). */
-                    lessonRef: z.ZodString;
+                    /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+                    example: z.ZodEffects<z.ZodString, string, string>;
                     /**
-                     * The defect PREIMAGE exemplar the matcher must FIRE on (§4). This is a lesson
-                     * corpus `badExample` — distinct from `CompiledRuleBaseSchema.badExample` (an
-                     * optional human-readable code snippet on a compiled rule); here it is the
-                     * load-bearing positive-control preimage, so non-empty is required.
+                     * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+                     * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+                     * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+                     * path/mutable alias), so it can't be a free-form mutable alias.
                      */
-                    badExample: z.ZodEffects<z.ZodString, string, string>;
-                    /** The fixed POSTIMAGE exemplar the matcher must stay SILENT on (§4) — a lesson `goodExample`. */
-                    goodExample: z.ZodEffects<z.ZodString, string, string>;
+                    lessonRef: z.ZodOptional<z.ZodString>;
                 }, "strict", z.ZodTypeAny, {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 }, {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 }>, z.ZodObject<{
                     kind: z.ZodLiteral<"commit">;
-                    /** The PARENT (pre-fix) commit where the DEFECT is present — the matcher must FIRE on this (ADR-112 §4). */
-                    preimageCommitSha: z.ZodString;
-                    /** The PR's merge/squash commit — the post-fix (defect-absent) anchor; the matcher must stay SILENT on this. */
-                    mergeCommitSha: z.ZodString;
+                    /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+                    commitSha: z.ZodString;
                 }, "strict", z.ZodTypeAny, {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 }, {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 }>]>;
-                /** File the defect locus lives in. */
-                filePath: z.ZodEffects<z.ZodString, string, string>;
-                /** Line-range or AST-node path — the defect locus, not just the file. */
-                matchedSpan: z.ZodEffects<z.ZodString, string, string>;
-                /** Span content hash, line-drift-stable (cf. `firingLabelId`). */
-                contentHash: z.ZodEffects<z.ZodString, string, string>;
             }, "strict", z.ZodTypeAny, {
-                pr: number;
-                preimageSource: {
-                    kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
-                } | {
-                    kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
-                };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
-            }, {
-                pr: number;
-                preimageSource: {
-                    kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
-                } | {
-                    kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
-                };
                 filePath: string;
                 matchedSpan: string;
-                contentHash: string;
-            }>, {
-                pr: number;
-                preimageSource: {
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
+            }, {
                 filePath: string;
                 matchedSpan: string;
-                contentHash: string;
-            }, {
-                pr: number;
-                preimageSource: {
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }>, "many">>;
         }, "strip", z.ZodTypeAny, {
             kind: "authored";
@@ -1825,20 +1731,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         }, {
             kind: "authored";
@@ -1862,20 +1764,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         }>, z.ZodObject<{
             /**
@@ -1939,20 +1837,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -1985,20 +1879,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
-                };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
+                    commitSha: string;
+                };
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -2068,20 +1958,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -2141,20 +2027,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -2214,20 +2096,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -2287,20 +2165,16 @@ export declare const CompiledRuleSchema: z.ZodEffects<z.ZodObject<{
                 contentHash: string;
             }[];
             negativeFixtures?: {
-                pr: number;
-                preimageSource: {
+                filePath: string;
+                matchedSpan: string;
+                nearMissSource: {
                     kind: "lesson";
-                    lessonRef: string;
-                    badExample: string;
-                    goodExample: string;
+                    example: string;
+                    lessonRef?: string | undefined;
                 } | {
                     kind: "commit";
-                    preimageCommitSha: string;
-                    mergeCommitSha: string;
+                    commitSha: string;
                 };
-                filePath: string;
-                matchedSpan: string;
-                contentHash: string;
             }[] | undefined;
         };
         positiveControl: boolean;
@@ -2432,7 +2306,18 @@ export type NonCompilableEntry = z.infer<typeof NonCompilableEntryReadSchema>;
 export declare const CompiledRulesFileSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     rules: z.ZodArray<z.ZodEffects<z.ZodObject<{
-        /** SHA-256 hash (first 16 hex chars) of heading + body — detects edits */
+        /**
+         * The rule's stable identity + wind-tunnel firing key.
+         * - MINED / lesson-compiled rules: SHA-256 (first 16 hex chars) of heading + body —
+         *   content-derived, detects edits.
+         * - AUTHORED rules (ADR-112 §8/§9): carries the PERSISTED, minted `ruleId` (set at
+         *   the compile seam from `CompileInputCandidate.ruleId`), NOT a content hash — the
+         *   `firingLabelId ← ruleId` id-unification, so a matcher (`dslSource`) edit never
+         *   orphans the rule's ground-truth labels / `controls.positive[].targetRuleId`. For
+         *   authored rules this is identity, NOT an edit-detector; it may carry a `-N`
+         *   collision suffix. (Authored rules are Gate-1 advisory and live only in the cert
+         *   corpus, never the product enforcement path that reads this as a content hash.)
+         */
         lessonHash: z.ZodString;
         /** Human-readable heading from the lesson (for diagnostics) */
         lessonHeading: z.ZodString;
@@ -2717,115 +2602,69 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     matchedSpan: string;
                     contentHash: string;
                 }>, "many">;
-                /** Declared near-misses the rule must stay silent on (feeds §6 negative controls). */
-                negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    /** The PR where the defect was caught/introduced (the in-corpus anchor). */
-                    pr: z.ZodNumber;
-                    /** The §4 preimage-differential source — lesson-anchored (PRIMARY) or commit-pair (FALLBACK). */
-                    preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                /**
+                 * Declared SILENCE-ONLY near-misses the rule must stay silent on (feeds §6
+                 * `controls.negative[]`). The silence-only `nearMissSource` shape, NOT the
+                 * positiveFixtures bad/good pair (strategy#770 — different arity, §6 L142).
+                 */
+                negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    /** File the near-miss locus lives in. */
+                    filePath: z.ZodEffects<z.ZodString, string, string>;
+                    /** Line-range or AST-node path — the near-miss locus, not just the file. */
+                    matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+                    /** The §4-pluggable silence target — ONE side (the matcher must not fire on it). */
+                    nearMissSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                         kind: z.ZodLiteral<"lesson">;
-                        /** IMMUTABLE lesson id/hash (the 16-hex `hashLesson` codomain) — never a path/mutable alias (§4/§8). */
-                        lessonRef: z.ZodString;
+                        /** The synthetic near-miss exemplar the matcher must stay SILENT on (§6). */
+                        example: z.ZodEffects<z.ZodString, string, string>;
                         /**
-                         * The defect PREIMAGE exemplar the matcher must FIRE on (§4). This is a lesson
-                         * corpus `badExample` — distinct from `CompiledRuleBaseSchema.badExample` (an
-                         * optional human-readable code snippet on a compiled rule); here it is the
-                         * load-bearing positive-control preimage, so non-empty is required.
+                         * OPTIONAL immutable lesson id — a synthetic near-miss may have no lesson origin,
+                         * so unlike the positiveFixtures `lessonRef` it is optional; but WHEN present it
+                         * carries the same §8 discipline (the 16-hex `hashLesson` codomain, never a
+                         * path/mutable alias), so it can't be a free-form mutable alias.
                          */
-                        badExample: z.ZodEffects<z.ZodString, string, string>;
-                        /** The fixed POSTIMAGE exemplar the matcher must stay SILENT on (§4) — a lesson `goodExample`. */
-                        goodExample: z.ZodEffects<z.ZodString, string, string>;
+                        lessonRef: z.ZodOptional<z.ZodString>;
                     }, "strict", z.ZodTypeAny, {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     }, {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     }>, z.ZodObject<{
                         kind: z.ZodLiteral<"commit">;
-                        /** The PARENT (pre-fix) commit where the DEFECT is present — the matcher must FIRE on this (ADR-112 §4). */
-                        preimageCommitSha: z.ZodString;
-                        /** The PR's merge/squash commit — the post-fix (defect-absent) anchor; the matcher must stay SILENT on this. */
-                        mergeCommitSha: z.ZodString;
+                        /** The commit whose state the matcher must stay SILENT on (§6, land-then-fix fallback). */
+                        commitSha: z.ZodString;
                     }, "strict", z.ZodTypeAny, {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     }, {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     }>]>;
-                    /** File the defect locus lives in. */
-                    filePath: z.ZodEffects<z.ZodString, string, string>;
-                    /** Line-range or AST-node path — the defect locus, not just the file. */
-                    matchedSpan: z.ZodEffects<z.ZodString, string, string>;
-                    /** Span content hash, line-drift-stable (cf. `firingLabelId`). */
-                    contentHash: z.ZodEffects<z.ZodString, string, string>;
                 }, "strict", z.ZodTypeAny, {
-                    pr: number;
-                    preimageSource: {
-                        kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
-                    } | {
-                        kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
-                    };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
-                }, {
-                    pr: number;
-                    preimageSource: {
-                        kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
-                    } | {
-                        kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
-                    };
                     filePath: string;
                     matchedSpan: string;
-                    contentHash: string;
-                }>, {
-                    pr: number;
-                    preimageSource: {
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
+                }, {
                     filePath: string;
                     matchedSpan: string;
-                    contentHash: string;
-                }, {
-                    pr: number;
-                    preimageSource: {
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }>, "many">>;
             }, "strip", z.ZodTypeAny, {
                 kind: "authored";
@@ -2849,20 +2688,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             }, {
                 kind: "authored";
@@ -2886,20 +2721,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             }>, z.ZodObject<{
                 /**
@@ -2963,20 +2794,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3009,20 +2836,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3092,20 +2915,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3165,20 +2984,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3238,20 +3053,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3311,20 +3122,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3434,20 +3241,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;
@@ -3516,20 +3319,16 @@ export declare const CompiledRulesFileSchema: z.ZodObject<{
                     contentHash: string;
                 }[];
                 negativeFixtures?: {
-                    pr: number;
-                    preimageSource: {
+                    filePath: string;
+                    matchedSpan: string;
+                    nearMissSource: {
                         kind: "lesson";
-                        lessonRef: string;
-                        badExample: string;
-                        goodExample: string;
+                        example: string;
+                        lessonRef?: string | undefined;
                     } | {
                         kind: "commit";
-                        preimageCommitSha: string;
-                        mergeCommitSha: string;
+                        commitSha: string;
                     };
-                    filePath: string;
-                    matchedSpan: string;
-                    contentHash: string;
                 }[] | undefined;
             };
             positiveControl: boolean;