@mmnto/totem 1.79.0 → 1.81.0

package/dist/spine/authored-rule.d.ts

@@ -81,46 +81,190 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
         author: z.ZodEffects<z.ZodString, string, string>;
         authoredAt: z.ZodEffects<z.ZodString, string, string>;
         targetDefect: z.ZodEffects<z.ZodString, string, string>;
-        positiveFixtures: z.ZodArray<z.ZodObject<{
+        positiveFixtures: z.ZodArray<z.ZodEffects<z.ZodObject<{
             pr: z.ZodNumber;
-            mergeCommitSha: z.ZodString;
-            preimageCommitSha: z.ZodString;
+            preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"lesson">;
+                lessonRef: z.ZodString;
+                badExample: z.ZodEffects<z.ZodString, string, string>;
+                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">;
+                preimageCommitSha: z.ZodString;
+                mergeCommitSha: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }>]>;
             filePath: z.ZodEffects<z.ZodString, string, string>;
             matchedSpan: z.ZodEffects<z.ZodString, string, string>;
             contentHash: z.ZodEffects<z.ZodString, string, string>;
-        }, "strip", z.ZodTypeAny, {
+        }, "strict", z.ZodTypeAny, {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }, {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            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">;
-        negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        negativeFixtures: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
             pr: z.ZodNumber;
-            mergeCommitSha: z.ZodString;
-            preimageCommitSha: z.ZodString;
+            preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"lesson">;
+                lessonRef: z.ZodString;
+                badExample: z.ZodEffects<z.ZodString, string, string>;
+                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">;
+                preimageCommitSha: z.ZodString;
+                mergeCommitSha: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }>]>;
             filePath: z.ZodEffects<z.ZodString, string, string>;
             matchedSpan: z.ZodEffects<z.ZodString, string, string>;
             contentHash: z.ZodEffects<z.ZodString, string, string>;
-        }, "strip", z.ZodTypeAny, {
+        }, "strict", z.ZodTypeAny, {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }, {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            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;
@@ -132,16 +276,32 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
         targetDefect: string;
         positiveFixtures: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }[];
         negativeFixtures?: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
@@ -153,16 +313,32 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
         targetDefect: string;
         positiveFixtures: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }[];
         negativeFixtures?: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
@@ -226,16 +402,32 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
         targetDefect: string;
         positiveFixtures: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }[];
         negativeFixtures?: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
@@ -266,16 +458,32 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
         targetDefect: string;
         positiveFixtures: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
         }[];
         negativeFixtures?: {
             pr: number;
-            mergeCommitSha: string;
-            preimageCommitSha: string;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
             filePath: string;
             matchedSpan: string;
             contentHash: string;
@@ -300,6 +508,796 @@ export declare const AuthoredRuleRecordSchema: z.ZodObject<{
     authoringLedgerRef: string;
 }>;
 export type AuthoredRuleRecord = z.infer<typeof AuthoredRuleRecordSchema>;
+export declare const AuthoredRuleInputSchema: z.ZodObject<{
+    /** Agent-id or operator handle — attributable (mirrors the provenance field). Trimmed. */
+    author: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    /**
+     * ISO-8601 authoring date — trimmed + calendar-validated at the INTAKE boundary
+     * (CR diff-review): the same `isIso8601CalendarDate` the record provenance uses,
+     * so a malformed `not-a-date` fails here with a clean `CONFIG_INVALID` instead of
+     * escaping to a raw ZodError at record construction (pass 1).
+     */
+    authoredAt: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    /** The declared DEFECT the rule targets — the pre-image, not its fix (ADR-110 §4 TP-def). Trimmed. */
+    targetDefect: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    /** The matcher engine the author declares; the eligibility check confirms it can represent the class. */
+    declaredEngine: z.ZodEnum<["regex", "ast", "ast-grep"]>;
+    /**
+     * The structural rule-CLASS the author CLAIMS. Fed to the INDEPENDENT
+     * `evaluateStructuralEligibility` against the DI whitelist; it is NOT stored
+     * verbatim on the record — the *verdict* (`structuralEligibility`, basis
+     * `whitelist:<class>`) is. Naming a class is a claim the check adjudicates,
+     * never a self-certification of `decidable`. Trimmed so a stray space can't
+     * cause an exact-match miss against the registry.
+     */
+    structuralClass: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    /** The human-written matcher (same DSL the compiler accepts from the miner). */
+    dslSource: 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<{
+        pr: z.ZodNumber;
+        preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"lesson">;
+            lessonRef: z.ZodString;
+            badExample: z.ZodEffects<z.ZodString, string, string>;
+            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">;
+            preimageCommitSha: z.ZodString;
+            mergeCommitSha: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        }, {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        }>]>;
+        filePath: z.ZodEffects<z.ZodString, string, string>;
+        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+        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<{
+        pr: z.ZodNumber;
+        preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"lesson">;
+            lessonRef: z.ZodString;
+            badExample: z.ZodEffects<z.ZodString, string, string>;
+            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">;
+            preimageCommitSha: z.ZodString;
+            mergeCommitSha: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        }, {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        }>]>;
+        filePath: z.ZodEffects<z.ZodString, string, string>;
+        matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+        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">>;
+    /**
+     * Accelerant lineage (§7). Optional in the YAML; the reader defaults an
+     * absent value to `{ kind: 'from-scratch' }` when constructing the record, so
+     * the persisted `origin` is always explicit (§7 lineage is never erased).
+     */
+    origin: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"from-scratch">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "from-scratch";
+    }, {
+        kind: "from-scratch";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"mined-accelerant">;
+        sourceRunId: z.ZodEffects<z.ZodString, string, string>;
+        suggestionHash: z.ZodEffects<z.ZodString, string, string>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "mined-accelerant";
+        sourceRunId: string;
+        suggestionHash: string;
+    }, {
+        kind: "mined-accelerant";
+        sourceRunId: string;
+        suggestionHash: string;
+    }>]>>;
+}, "strict", z.ZodTypeAny, {
+    author: string;
+    authoredAt: string;
+    targetDefect: string;
+    positiveFixtures: {
+        pr: number;
+        preimageSource: {
+            kind: "lesson";
+            lessonRef: string;
+            badExample: string;
+            goodExample: string;
+        } | {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        };
+        filePath: string;
+        matchedSpan: string;
+        contentHash: string;
+    }[];
+    dslSource: string;
+    declaredEngine: "regex" | "ast" | "ast-grep";
+    structuralClass: string;
+    negativeFixtures?: {
+        pr: number;
+        preimageSource: {
+            kind: "lesson";
+            lessonRef: string;
+            badExample: string;
+            goodExample: string;
+        } | {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        };
+        filePath: string;
+        matchedSpan: string;
+        contentHash: string;
+    }[] | undefined;
+    origin?: {
+        kind: "from-scratch";
+    } | {
+        kind: "mined-accelerant";
+        sourceRunId: string;
+        suggestionHash: string;
+    } | undefined;
+}, {
+    author: string;
+    authoredAt: string;
+    targetDefect: string;
+    positiveFixtures: {
+        pr: number;
+        preimageSource: {
+            kind: "lesson";
+            lessonRef: string;
+            badExample: string;
+            goodExample: string;
+        } | {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        };
+        filePath: string;
+        matchedSpan: string;
+        contentHash: string;
+    }[];
+    dslSource: string;
+    declaredEngine: "regex" | "ast" | "ast-grep";
+    structuralClass: string;
+    negativeFixtures?: {
+        pr: number;
+        preimageSource: {
+            kind: "lesson";
+            lessonRef: string;
+            badExample: string;
+            goodExample: string;
+        } | {
+            kind: "commit";
+            preimageCommitSha: string;
+            mergeCommitSha: string;
+        };
+        filePath: string;
+        matchedSpan: string;
+        contentHash: string;
+    }[] | undefined;
+    origin?: {
+        kind: "from-scratch";
+    } | {
+        kind: "mined-accelerant";
+        sourceRunId: string;
+        suggestionHash: string;
+    } | undefined;
+}>;
+export type AuthoredRuleInput = z.infer<typeof AuthoredRuleInputSchema>;
+/**
+ * SLICE B — the on-disk shape of `.totem/spine/authored-rules.yaml`. A file-level
+ * authoring header carries the §5/§8 leakage-guard ATTESTATIONS once for the
+ * session (not per-rule, since all rules in one file are authored under one
+ * frozen split), followed by the rules. Slice B RECORDS these faithfully into the
+ * authoring-ledger (strategy's boundary confirm: B records `splitRef` /
+ * `authoredAfterSplit` / `fixturePrs`); the MECHANICAL verification — the split
+ * was frozen BEFORE authoring (§5.1/FM(g)), fixtures resolve train-side (§5.2),
+ * the harness is sandboxed (§5.4) — is the cert-run harness in SLICE C. The
+ * attestations are `literal(true)`: an author who cannot attest them is not
+ * authoring legitimately, so a `false` fails the read rather than recording a
+ * self-defeating attestation. `.strict()` rejects unknown header keys.
+ */
+export declare const AuthoredRulesFileSchema: z.ZodObject<{
+    /** The frozen split (ADR-110 §6) the rules were authored under (recorded; verified in C). Trimmed (GCA) so stray whitespace can't bypass the non-empty check or perturb the revision fingerprint. */
+    splitRef: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    /** §1(g) embargo attestation — authored AFTER the split was frozen. Always `true`; verified in C. */
+    authoredAfterSplit: z.ZodLiteral<true>;
+    /** §5 attestation — the author did not inspect the held-out slice. Always `true`; sandboxed in C. */
+    heldOutNonInspectionAttestation: z.ZodLiteral<true>;
+    /** The authored rules (≥1). */
+    rules: z.ZodArray<z.ZodObject<{
+        /** Agent-id or operator handle — attributable (mirrors the provenance field). Trimmed. */
+        author: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        /**
+         * ISO-8601 authoring date — trimmed + calendar-validated at the INTAKE boundary
+         * (CR diff-review): the same `isIso8601CalendarDate` the record provenance uses,
+         * so a malformed `not-a-date` fails here with a clean `CONFIG_INVALID` instead of
+         * escaping to a raw ZodError at record construction (pass 1).
+         */
+        authoredAt: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        /** The declared DEFECT the rule targets — the pre-image, not its fix (ADR-110 §4 TP-def). Trimmed. */
+        targetDefect: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        /** The matcher engine the author declares; the eligibility check confirms it can represent the class. */
+        declaredEngine: z.ZodEnum<["regex", "ast", "ast-grep"]>;
+        /**
+         * The structural rule-CLASS the author CLAIMS. Fed to the INDEPENDENT
+         * `evaluateStructuralEligibility` against the DI whitelist; it is NOT stored
+         * verbatim on the record — the *verdict* (`structuralEligibility`, basis
+         * `whitelist:<class>`) is. Naming a class is a claim the check adjudicates,
+         * never a self-certification of `decidable`. Trimmed so a stray space can't
+         * cause an exact-match miss against the registry.
+         */
+        structuralClass: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        /** The human-written matcher (same DSL the compiler accepts from the miner). */
+        dslSource: 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<{
+            pr: z.ZodNumber;
+            preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"lesson">;
+                lessonRef: z.ZodString;
+                badExample: z.ZodEffects<z.ZodString, string, string>;
+                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">;
+                preimageCommitSha: z.ZodString;
+                mergeCommitSha: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }>]>;
+            filePath: z.ZodEffects<z.ZodString, string, string>;
+            matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+            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<{
+            pr: z.ZodNumber;
+            preimageSource: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"lesson">;
+                lessonRef: z.ZodString;
+                badExample: z.ZodEffects<z.ZodString, string, string>;
+                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">;
+                preimageCommitSha: z.ZodString;
+                mergeCommitSha: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }, {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            }>]>;
+            filePath: z.ZodEffects<z.ZodString, string, string>;
+            matchedSpan: z.ZodEffects<z.ZodString, string, string>;
+            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">>;
+        /**
+         * Accelerant lineage (§7). Optional in the YAML; the reader defaults an
+         * absent value to `{ kind: 'from-scratch' }` when constructing the record, so
+         * the persisted `origin` is always explicit (§7 lineage is never erased).
+         */
+        origin: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"from-scratch">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "from-scratch";
+        }, {
+            kind: "from-scratch";
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"mined-accelerant">;
+            sourceRunId: z.ZodEffects<z.ZodString, string, string>;
+            suggestionHash: z.ZodEffects<z.ZodString, string, string>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        }, {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        }>]>>;
+    }, "strict", z.ZodTypeAny, {
+        author: string;
+        authoredAt: string;
+        targetDefect: string;
+        positiveFixtures: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[];
+        dslSource: string;
+        declaredEngine: "regex" | "ast" | "ast-grep";
+        structuralClass: string;
+        negativeFixtures?: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[] | undefined;
+        origin?: {
+            kind: "from-scratch";
+        } | {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        } | undefined;
+    }, {
+        author: string;
+        authoredAt: string;
+        targetDefect: string;
+        positiveFixtures: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[];
+        dslSource: string;
+        declaredEngine: "regex" | "ast" | "ast-grep";
+        structuralClass: string;
+        negativeFixtures?: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[] | undefined;
+        origin?: {
+            kind: "from-scratch";
+        } | {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        } | undefined;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    rules: {
+        author: string;
+        authoredAt: string;
+        targetDefect: string;
+        positiveFixtures: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[];
+        dslSource: string;
+        declaredEngine: "regex" | "ast" | "ast-grep";
+        structuralClass: string;
+        negativeFixtures?: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[] | undefined;
+        origin?: {
+            kind: "from-scratch";
+        } | {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        } | undefined;
+    }[];
+    splitRef: string;
+    authoredAfterSplit: true;
+    heldOutNonInspectionAttestation: true;
+}, {
+    rules: {
+        author: string;
+        authoredAt: string;
+        targetDefect: string;
+        positiveFixtures: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[];
+        dslSource: string;
+        declaredEngine: "regex" | "ast" | "ast-grep";
+        structuralClass: string;
+        negativeFixtures?: {
+            pr: number;
+            preimageSource: {
+                kind: "lesson";
+                lessonRef: string;
+                badExample: string;
+                goodExample: string;
+            } | {
+                kind: "commit";
+                preimageCommitSha: string;
+                mergeCommitSha: string;
+            };
+            filePath: string;
+            matchedSpan: string;
+            contentHash: string;
+        }[] | undefined;
+        origin?: {
+            kind: "from-scratch";
+        } | {
+            kind: "mined-accelerant";
+            sourceRunId: string;
+            suggestionHash: string;
+        } | undefined;
+    }[];
+    splitRef: string;
+    authoredAfterSplit: true;
+    heldOutNonInspectionAttestation: true;
+}>;
+export type AuthoredRulesFile = z.infer<typeof AuthoredRulesFileSchema>;
 /**
  * One decidable `(engine, structuralClass)` pair. The whitelist of these lives
  * in the CLI registry (slice B); the registry lists ONLY pairs the engine can