@mmnto/totem 1.78.0 → 1.79.0

package/dist/spine/ledgers.d.ts

@@ -5,13 +5,17 @@ export type Routing = z.infer<typeof RoutingSchema>;
 /**
  * Provenance of a classifier-ledger disposition: a genuine classifier judgment
  * (`classified`) vs a safe-default forced by classifier failure (`error-default`,
- * always `behavioral`/RAG-only). Reported in the §8 done-criterion so a flaky
- * classifier's error rate is a NAMED third cause of behavioral-heavy output —
- * never conflated with "lc structural signal is sparse" (a valid HONEST-NEGATIVE)
- * or "the classifier mis-routed everything" (Tenet 19). It is NOT a falsifying
- * condition (no FM clause) — a done-criterion diagnostic, like `stage4Confirmed`.
+ * always `behavioral`/RAG-only) vs an authored rule's INDEPENDENT structural
+ * eligibility verdict (`authored-whitelist`, ADR-112 §3 — judged by the static
+ * decidable-class whitelist, NOT an LLM classifier; named distinctly so the
+ * classifier ledger never claims an LLM classified a human-authored rule —
+ * Tenet-20 honesty). Reported in the §8 done-criterion so a flaky classifier's
+ * error rate is a NAMED cause of behavioral-heavy output — never conflated with
+ * "lc structural signal is sparse" (a valid HONEST-NEGATIVE) or "the classifier
+ * mis-routed everything" (Tenet 19). It is NOT a falsifying condition (no FM
+ * clause) — a done-criterion diagnostic, like `stage4Confirmed`.
  */
-export declare const DispositionSourceSchema: z.ZodEnum<["classified", "error-default"]>;
+export declare const DispositionSourceSchema: z.ZodEnum<["classified", "error-default", "authored-whitelist"]>;
 export type DispositionSource = z.infer<typeof DispositionSourceSchema>;
 /**
  * Compile + Stage-4 disposition of a compile-routed (structural) candidate (slice 4).
@@ -46,6 +50,7 @@ export type DraftSourceKind = z.infer<typeof DraftSourceKindSchema>;
 export declare const EmissionLedgerEntrySchema: z.ZodObject<{
     candidateRef: z.ZodEffects<z.ZodString, string, string>;
     provenance: z.ZodObject<{
+        kind: z.ZodOptional<z.ZodLiteral<"mined">>;
         mergedPr: z.ZodNumber;
         reviewThread: z.ZodEffects<z.ZodString, string, string>;
         commitSha: z.ZodString;
@@ -53,10 +58,12 @@ export declare const EmissionLedgerEntrySchema: z.ZodObject<{
         mergedPr: number;
         reviewThread: string;
         commitSha: string;
+        kind?: "mined" | undefined;
     }, {
         mergedPr: number;
         reviewThread: string;
         commitSha: string;
+        kind?: "mined" | undefined;
     }>;
     classifierDisposition: z.ZodEnum<["structural", "behavioral"]>;
     routing: z.ZodEnum<["compile", "rag-only"]>;
@@ -74,6 +81,7 @@ export declare const EmissionLedgerEntrySchema: z.ZodObject<{
         mergedPr: number;
         reviewThread: string;
         commitSha: string;
+        kind?: "mined" | undefined;
     };
     unverified: true;
     classifierDisposition: "structural" | "behavioral";
@@ -86,6 +94,7 @@ export declare const EmissionLedgerEntrySchema: z.ZodObject<{
         mergedPr: number;
         reviewThread: string;
         commitSha: string;
+        kind?: "mined" | undefined;
     };
     unverified: true;
     classifierDisposition: "structural" | "behavioral";
@@ -99,6 +108,7 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
     entries: z.ZodArray<z.ZodObject<{
         candidateRef: z.ZodEffects<z.ZodString, string, string>;
         provenance: z.ZodObject<{
+            kind: z.ZodOptional<z.ZodLiteral<"mined">>;
             mergedPr: z.ZodNumber;
             reviewThread: z.ZodEffects<z.ZodString, string, string>;
             commitSha: z.ZodString;
@@ -106,10 +116,12 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         }, {
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         }>;
         classifierDisposition: z.ZodEnum<["structural", "behavioral"]>;
         routing: z.ZodEnum<["compile", "rag-only"]>;
@@ -127,6 +139,7 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         };
         unverified: true;
         classifierDisposition: "structural" | "behavioral";
@@ -139,6 +152,7 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         };
         unverified: true;
         classifierDisposition: "structural" | "behavioral";
@@ -164,6 +178,7 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         };
         unverified: true;
         classifierDisposition: "structural" | "behavioral";
@@ -181,6 +196,7 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
             mergedPr: number;
             reviewThread: string;
             commitSha: string;
+            kind?: "mined" | undefined;
         };
         unverified: true;
         classifierDisposition: "structural" | "behavioral";
@@ -343,7 +359,7 @@ export declare const ClassifierLedgerEntrySchema: z.ZodObject<{
      * masquerading as structural-signal sparsity (Tenet 19, panel flag-5). Not an FM
      * condition — a diagnostic, like `stage4Confirmed`.
      */
-    dispositionSource: z.ZodEnum<["classified", "error-default"]>;
+    dispositionSource: z.ZodEnum<["classified", "error-default", "authored-whitelist"]>;
     /**
      * Compile + Stage-4 outcome (slice 4), set by `runCompileStage` on the matched
      * compile-routed entry. OPTIONAL — absent until the compile stage runs (and
@@ -357,13 +373,13 @@ export declare const ClassifierLedgerEntrySchema: z.ZodObject<{
     candidateRef: string;
     disposition: "structural" | "behavioral";
     stage4Confirmed: boolean;
-    dispositionSource: "classified" | "error-default";
+    dispositionSource: "classified" | "error-default" | "authored-whitelist";
     stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
 }, {
     candidateRef: string;
     disposition: "structural" | "behavioral";
     stage4Confirmed: boolean;
-    dispositionSource: "classified" | "error-default";
+    dispositionSource: "classified" | "error-default" | "authored-whitelist";
     stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
 }>;
 export type ClassifierLedgerEntry = z.infer<typeof ClassifierLedgerEntrySchema>;
@@ -393,7 +409,7 @@ export declare const ClassifierLedgerSchema: z.ZodObject<{
          * masquerading as structural-signal sparsity (Tenet 19, panel flag-5). Not an FM
          * condition — a diagnostic, like `stage4Confirmed`.
          */
-        dispositionSource: z.ZodEnum<["classified", "error-default"]>;
+        dispositionSource: z.ZodEnum<["classified", "error-default", "authored-whitelist"]>;
         /**
          * Compile + Stage-4 outcome (slice 4), set by `runCompileStage` on the matched
          * compile-routed entry. OPTIONAL — absent until the compile stage runs (and
@@ -407,13 +423,13 @@ export declare const ClassifierLedgerSchema: z.ZodObject<{
         candidateRef: string;
         disposition: "structural" | "behavioral";
         stage4Confirmed: boolean;
-        dispositionSource: "classified" | "error-default";
+        dispositionSource: "classified" | "error-default" | "authored-whitelist";
         stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
     }, {
         candidateRef: string;
         disposition: "structural" | "behavioral";
         stage4Confirmed: boolean;
-        dispositionSource: "classified" | "error-default";
+        dispositionSource: "classified" | "error-default" | "authored-whitelist";
         stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
     }>, "many">;
 }, "strip", z.ZodTypeAny, {
@@ -421,7 +437,7 @@ export declare const ClassifierLedgerSchema: z.ZodObject<{
         candidateRef: string;
         disposition: "structural" | "behavioral";
         stage4Confirmed: boolean;
-        dispositionSource: "classified" | "error-default";
+        dispositionSource: "classified" | "error-default" | "authored-whitelist";
         stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
     }[];
 }, {
@@ -429,7 +445,7 @@ export declare const ClassifierLedgerSchema: z.ZodObject<{
         candidateRef: string;
         disposition: "structural" | "behavioral";
         stage4Confirmed: boolean;
-        dispositionSource: "classified" | "error-default";
+        dispositionSource: "classified" | "error-default" | "authored-whitelist";
         stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
     }[];
 }>;
@@ -673,6 +689,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
         entries: z.ZodArray<z.ZodObject<{
             candidateRef: z.ZodEffects<z.ZodString, string, string>;
             provenance: z.ZodObject<{
+                kind: z.ZodOptional<z.ZodLiteral<"mined">>;
                 mergedPr: z.ZodNumber;
                 reviewThread: z.ZodEffects<z.ZodString, string, string>;
                 commitSha: z.ZodString;
@@ -680,10 +697,12 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             }, {
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             }>;
             classifierDisposition: z.ZodEnum<["structural", "behavioral"]>;
             routing: z.ZodEnum<["compile", "rag-only"]>;
@@ -701,6 +720,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -713,6 +733,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -738,6 +759,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -755,6 +777,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -849,7 +872,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
              * masquerading as structural-signal sparsity (Tenet 19, panel flag-5). Not an FM
              * condition — a diagnostic, like `stage4Confirmed`.
              */
-            dispositionSource: z.ZodEnum<["classified", "error-default"]>;
+            dispositionSource: z.ZodEnum<["classified", "error-default", "authored-whitelist"]>;
             /**
              * Compile + Stage-4 outcome (slice 4), set by `runCompileStage` on the matched
              * compile-routed entry. OPTIONAL — absent until the compile stage runs (and
@@ -863,13 +886,13 @@ export declare const MinerLedgersSchema: z.ZodObject<{
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }, {
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
@@ -877,7 +900,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }[];
     }, {
@@ -885,7 +908,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }[];
     }>;
@@ -1131,6 +1154,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -1157,7 +1181,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }[];
     };
@@ -1195,6 +1219,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
                 mergedPr: number;
                 reviewThread: string;
                 commitSha: string;
+                kind?: "mined" | undefined;
             };
             unverified: true;
             classifierDisposition: "structural" | "behavioral";
@@ -1221,7 +1246,7 @@ export declare const MinerLedgersSchema: z.ZodObject<{
             candidateRef: string;
             disposition: "structural" | "behavioral";
             stage4Confirmed: boolean;
-            dispositionSource: "classified" | "error-default";
+            dispositionSource: "classified" | "error-default" | "authored-whitelist";
             stage4Outcome?: "confirmed" | "untested-no-matches" | "archived-out-of-scope" | "compile-rejected" | undefined;
         }[];
     };

package/dist/spine/ledgers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ledgers.d.ts","sourceRoot":"","sources":["../../src/spine/ledgers.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAcxB,yGAAyG;AACzG,eAAO,MAAM,aAAa,oCAAkC,CAAC;AAC7D,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,4CAA0C,CAAC;AAC/E,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,yBAAyB,8FAKpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,sCAAoC,CAAC;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAIpE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;IAOpC;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;QAV/B;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;IAOH;;;OAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,oBAAoB,kHA0B/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,kBAAkB,kIAQ7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,qBAAqB;IAChC;;;;;;OAMG;;;;IAIH;;;;;OAKG;;IAEH;;;;;OAKG;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,gBAAgB;;QA3B3B;;;;;;WAMG;;;;QAIH;;;;;WAKG;;QAEH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKgF,CAAC;AACtF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D,eAAO,MAAM,2BAA2B;IACtC;;;;;OAKG;;;IAGH;;;;;;OAMG;;IAEH;;;;;;;OAOG;;IAEH;;;;;;;OAOG;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,sBAAsB;;QArCjC;;;;;WAKG;;;QAGH;;;;;;WAMG;;QAEH;;;;;;;WAOG;;QAEH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK4F,CAAC;AAClG,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAItE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAG1B,oFAAoF;;IAEpF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2CpF,CAAC;AACL,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAI5D,eAAO,MAAM,mBAAmB,iCAA+B,CAAC;AAChE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAIpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;IAE/B,oFAAoF;;;;;;;;;;;;;;;;EAEpF,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;YA1O7B;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;QAOH;;;WAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAwEH;;;;;;eAMG;;;;YAIH;;;;;eAKG;;YAEH;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAWH;;;;;eAKG;;;YAGH;;;;;;eAMG;;YAEH;;;;;;;eAOG;;YAEH;;;;;;;eAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAaD,oFAAoF;;QAEpF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA4DtF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAapF,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}
+{"version":3,"file":"ledgers.d.ts","sourceRoot":"","sources":["../../src/spine/ledgers.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAcxB,yGAAyG;AACzG,eAAO,MAAM,aAAa,oCAAkC,CAAC;AAC7D,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,uBAAuB,kEAIlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,yBAAyB,8FAKpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,sCAAoC,CAAC;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAIpE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;IAOpC;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;QAV/B;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAOH;;;OAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,oBAAoB,kHA0B/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,kBAAkB,kIAQ7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,qBAAqB;IAChC;;;;;;OAMG;;;;IAIH;;;;;OAKG;;IAEH;;;;;OAKG;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,gBAAgB;;QA3B3B;;;;;;WAMG;;;;QAIH;;;;;WAKG;;QAEH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKgF,CAAC;AACtF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D,eAAO,MAAM,2BAA2B;IACtC;;;;;OAKG;;;IAGH;;;;;;OAMG;;IAEH;;;;;;;OAOG;;IAEH;;;;;;;OAOG;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,sBAAsB;;QArCjC;;;;;WAKG;;;QAGH;;;;;;WAMG;;QAEH;;;;;;;WAOG;;QAEH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK4F,CAAC;AAClG,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAItE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAG1B,oFAAoF;;IAEpF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2CpF,CAAC;AACL,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAI5D,eAAO,MAAM,mBAAmB,iCAA+B,CAAC;AAChE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAIpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;IAE/B,oFAAoF;;;;;;;;;;;;;;;;EAEpF,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;YA1O7B;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAOH;;;WAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAwEH;;;;;;eAMG;;;;YAIH;;;;;eAKG;;YAEH;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAWH;;;;;eAKG;;;YAGH;;;;;;eAMG;;YAEH;;;;;;;eAOG;;YAEH;;;;;;;eAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAaD,oFAAoF;;QAEpF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA4DtF,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAapF,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/dist/spine/ledgers.js

@@ -10,7 +10,7 @@
 //   split      → FM(d)/(g) cover + FM(e) split-disjointness
 //   apiUsage   → FM(h) held-out-fetch count MUST be 0
 import { z } from 'zod';
-import { ProvenanceRecordSchema } from '../compiler-schema.js';
+import { MinedProvenanceWireSchema } from '../compiler-schema.js';
 import { ClassifierDispositionSchema } from './candidate-rule.js';
 import { SplitArtifactSchema } from './split.js';
 function nonEmpty(label) {
@@ -24,13 +24,21 @@ export const RoutingSchema = z.enum(['compile', 'rag-only']);
 /**
  * Provenance of a classifier-ledger disposition: a genuine classifier judgment
  * (`classified`) vs a safe-default forced by classifier failure (`error-default`,
- * always `behavioral`/RAG-only). Reported in the §8 done-criterion so a flaky
- * classifier's error rate is a NAMED third cause of behavioral-heavy output —
- * never conflated with "lc structural signal is sparse" (a valid HONEST-NEGATIVE)
- * or "the classifier mis-routed everything" (Tenet 19). It is NOT a falsifying
- * condition (no FM clause) — a done-criterion diagnostic, like `stage4Confirmed`.
+ * always `behavioral`/RAG-only) vs an authored rule's INDEPENDENT structural
+ * eligibility verdict (`authored-whitelist`, ADR-112 §3 — judged by the static
+ * decidable-class whitelist, NOT an LLM classifier; named distinctly so the
+ * classifier ledger never claims an LLM classified a human-authored rule —
+ * Tenet-20 honesty). Reported in the §8 done-criterion so a flaky classifier's
+ * error rate is a NAMED cause of behavioral-heavy output — never conflated with
+ * "lc structural signal is sparse" (a valid HONEST-NEGATIVE) or "the classifier
+ * mis-routed everything" (Tenet 19). It is NOT a falsifying condition (no FM
+ * clause) — a done-criterion diagnostic, like `stage4Confirmed`.
  */
-export const DispositionSourceSchema = z.enum(['classified', 'error-default']);
+export const DispositionSourceSchema = z.enum([
+    'classified',
+    'error-default',
+    'authored-whitelist',
+]);
 /**
  * Compile + Stage-4 disposition of a compile-routed (structural) candidate (slice 4).
  * Recorded additively on the classifier ledger so the §8 done-criterion (which reads
@@ -67,7 +75,7 @@ export const DraftSourceKindSchema = z.enum(['human', 'bot', 'mixed']);
 // ── 1. Emission ledger ──────────────────────────────────────────────────────
 export const EmissionLedgerEntrySchema = z.object({
     candidateRef: nonEmpty('candidateRef'),
-    provenance: ProvenanceRecordSchema,
+    provenance: MinedProvenanceWireSchema,
     classifierDisposition: ClassifierDispositionSchema,
     routing: RoutingSchema,
     classifierLedgerRef: nonEmpty('classifierLedgerRef'),

package/dist/spine/ledgers.js.map

@@ -1 +1 @@
-{"version":3,"file":"ledgers.js","sourceRoot":"","sources":["../../src/spine/ledgers.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAC5E,yDAAyD;AACzD,iDAAiD;AACjD,4DAA4D;AAC5D,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEjD,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE;QACnD,OAAO,EAAE,GAAG,KAAK,gCAAgC;KAClD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;AAE7C,yGAAyG;AACzG,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAG7D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC;AAG/E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC9C,WAAW;IACX,qBAAqB;IACrB,uBAAuB;IACvB,kBAAkB;CACnB,CAAC,CAAC;AAGH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAGvE,+EAA+E;AAE/E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC;IACtC,UAAU,EAAE,sBAAsB;IAClC,qBAAqB,EAAE,2BAA2B;IAClD,OAAO,EAAE,aAAa;IACtB,mBAAmB,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IACpD,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B;;;;;OAKG;IACH,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC3C;;;OAGG;IACH,2BAA2B,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CAC5E,CAAC,CAAC;AAGH,iFAAiF;AAEjF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,aAAa;IACb,WAAW;IACX,aAAa;IACb,uBAAuB;IACvB,uEAAuE;IACvE,8EAA8E;IAC9E,+EAA+E;IAC/E,8EAA8E;IAC9E,iFAAiF;IACjF,kFAAkF;IAClF,+EAA+E;IAC/E,gFAAgF;IAChF,2EAA2E;IAC3E,sEAAsE;IACtE,iFAAiF;IACjF,gFAAgF;IAChF,mBAAmB;IACnB,8EAA8E;IAC9E,iFAAiF;IACjF,8EAA8E;IAC9E,+EAA+E;IAC/E,iFAAiF;IACjF,gFAAgF;IAChF,WAAW;IACX,UAAU;CACX,CAAC,CAAC;AAGH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,cAAc;IACd,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,WAAW;IACX,cAAc;IACd,gBAAgB;CACjB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C;;;;;;OAMG;IACH,QAAQ,EAAE,QAAQ;IAClB,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;OAKG;IACH,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C;;;;;OAKG;IACH,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;AAGtF,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD;;;;;OAKG;IACH,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC;IACtC,WAAW,EAAE,2BAA2B;IACxC;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE;IAC5B;;;;;;;OAOG;IACH,iBAAiB,EAAE,uBAAuB;IAC1C;;;;;;;OAOG;IACH,aAAa,EAAE,yBAAyB,CAAC,QAAQ,EAAE;CACpD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;AAGlG,gFAAgF;AAEhF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,KAAK,EAAE,mBAAmB;IAC1B,oFAAoF;IACpF,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACzB,oFAAoF;IACpF,kBAAkB,EAAE,CAAC,CAAC,KAAK,CACzB,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,QAAQ;QACZ,kFAAkF;QAClF,8EAA8E;QAC9E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,EAAE;YAC9C,OAAO,EAAE,4CAA4C;SACtD,CAAC;KACH,CAAC,CACH;CACF,CAAC;KACD,MAAM,CACL,CAAC,CAAC,EAAE,EAAE;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC,EACD;IACE,6EAA6E;IAC7E,0EAA0E;IAC1E,2DAA2D;IAC3D,OAAO,EAAE,+CAA+C;IACxD,IAAI,EAAE,CAAC,oBAAoB,CAAC;CAC7B,CACF;KACA,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;IACtB,6EAA6E;IAC7E,4EAA4E;IAC5E,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,+BAA+B;YACxC,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;QACrC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,2CAA2C;YACpD,IAAI,EAAE,CAAC,oBAAoB,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,gFAAgF;AAEhF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAGhE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,mBAAmB;IAC1B,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;CACjC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC3C,oFAAoF;IACpF,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAClD,CAAC,CAAC;AAGH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,gBAAgB;IACtB,UAAU,EAAE,sBAAsB;IAClC,KAAK,EAAE,iBAAiB;IACxB,QAAQ,EAAE,oBAAoB;CAC/B,CAAC,CAAC"}
+{"version":3,"file":"ledgers.js","sourceRoot":"","sources":["../../src/spine/ledgers.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAC5E,yDAAyD;AACzD,iDAAiD;AACjD,4DAA4D;AAC5D,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEjD,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE;QACnD,OAAO,EAAE,GAAG,KAAK,gCAAgC;KAClD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;AAE7C,yGAAyG;AACzG,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAG7D;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,YAAY;IACZ,eAAe;IACf,oBAAoB;CACrB,CAAC,CAAC;AAGH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC9C,WAAW;IACX,qBAAqB;IACrB,uBAAuB;IACvB,kBAAkB;CACnB,CAAC,CAAC;AAGH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAGvE,+EAA+E;AAE/E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC;IACtC,UAAU,EAAE,yBAAyB;IACrC,qBAAqB,EAAE,2BAA2B;IAClD,OAAO,EAAE,aAAa;IACtB,mBAAmB,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IACpD,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B;;;;;OAKG;IACH,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC3C;;;OAGG;IACH,2BAA2B,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CAC5E,CAAC,CAAC;AAGH,iFAAiF;AAEjF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,aAAa;IACb,WAAW;IACX,aAAa;IACb,uBAAuB;IACvB,uEAAuE;IACvE,8EAA8E;IAC9E,+EAA+E;IAC/E,8EAA8E;IAC9E,iFAAiF;IACjF,kFAAkF;IAClF,+EAA+E;IAC/E,gFAAgF;IAChF,2EAA2E;IAC3E,sEAAsE;IACtE,iFAAiF;IACjF,gFAAgF;IAChF,mBAAmB;IACnB,8EAA8E;IAC9E,iFAAiF;IACjF,8EAA8E;IAC9E,+EAA+E;IAC/E,iFAAiF;IACjF,gFAAgF;IAChF,WAAW;IACX,UAAU;CACX,CAAC,CAAC;AAGH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,cAAc;IACd,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,WAAW;IACX,cAAc;IACd,gBAAgB;CACjB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C;;;;;;OAMG;IACH,QAAQ,EAAE,QAAQ;IAClB,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;OAKG;IACH,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C;;;;;OAKG;IACH,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;AAGtF,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD;;;;;OAKG;IACH,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC;IACtC,WAAW,EAAE,2BAA2B;IACxC;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE;IAC5B;;;;;;;OAOG;IACH,iBAAiB,EAAE,uBAAuB;IAC1C;;;;;;;OAOG;IACH,aAAa,EAAE,yBAAyB,CAAC,QAAQ,EAAE;CACpD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;AAGlG,gFAAgF;AAEhF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,KAAK,EAAE,mBAAmB;IAC1B,oFAAoF;IACpF,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACzB,oFAAoF;IACpF,kBAAkB,EAAE,CAAC,CAAC,KAAK,CACzB,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,QAAQ;QACZ,kFAAkF;QAClF,8EAA8E;QAC9E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,EAAE;YAC9C,OAAO,EAAE,4CAA4C;SACtD,CAAC;KACH,CAAC,CACH;CACF,CAAC;KACD,MAAM,CACL,CAAC,CAAC,EAAE,EAAE;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC,EACD;IACE,6EAA6E;IAC7E,0EAA0E;IAC1E,2DAA2D;IAC3D,OAAO,EAAE,+CAA+C;IACxD,IAAI,EAAE,CAAC,oBAAoB,CAAC;CAC7B,CACF;KACA,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;IACtB,6EAA6E;IAC7E,4EAA4E;IAC5E,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,+BAA+B;YACxC,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;QACrC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,2CAA2C;YACpD,IAAI,EAAE,CAAC,oBAAoB,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,gFAAgF;AAEhF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAGhE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,mBAAmB;IAC1B,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;CACjC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC3C,oFAAoF;IACpF,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAClD,CAAC,CAAC;AAGH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,gBAAgB;IACtB,UAAU,EAAE,sBAAsB;IAClC,KAAK,EAAE,iBAAiB;IACxB,QAAQ,EAAE,oBAAoB;CAC/B,CAAC,CAAC"}

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

@@ -0,0 +1,27 @@
+/** ADR-112 — a rule's producer kind (the `provenance.kind` discriminator). */
+export type ProducerKind = 'mined' | 'authored';
+/**
+ * The producer-kind override config (ADR-112 §9). Each field is an upstream
+ * contract behaviour that authoring changes relative to mining:
+ *   - `labelScope`           — §9: mined labels the held-out slice only; authored
+ *                              must label EVERY non-control firing across BOTH
+ *                              slices, else a train-slice FP has no label and
+ *                              escapes the precision-1.0 FAIL.
+ *   - `positiveControlSide`  — §6: mined positive controls are held-out; authored
+ *                              positive controls are TRAIN-side (the rule is
+ *                              authored against the train slice).
+ *   - `exposureControlSide`  — §5.3: which slice `positiveControlsExercised`
+ *                              counts. Mirrors `positiveControlSide`.
+ */
+export interface RulePolicy {
+    readonly labelScope: 'held-out-only' | 'whole-window';
+    readonly positiveControlSide: 'held-out' | 'train';
+    readonly exposureControlSide: 'held-out' | 'train';
+}
+/**
+ * ADR-112 §9 — resolve the override config for a producer kind. Pure +
+ * exhaustive over the 2-value union. The MINED branch is the live, byte-identical
+ * path; the AUTHORED branch is defined for slice D's consumers (not yet wired).
+ */
+export declare function getRulePolicy(kind: ProducerKind): RulePolicy;
+//# sourceMappingURL=rule-policy.d.ts.map

package/dist/spine/rule-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-policy.d.ts","sourceRoot":"","sources":["../../src/spine/rule-policy.ts"],"names":[],"mappings":"AAgBA,8EAA8E;AAC9E,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,UAAU,CAAC;AAEhD;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,UAAU;IAIzB,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,cAAc,CAAC;IACtD,QAAQ,CAAC,mBAAmB,EAAE,UAAU,GAAG,OAAO,CAAC;IACnD,QAAQ,CAAC,mBAAmB,EAAE,UAAU,GAAG,OAAO,CAAC;CACpD;AAcD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAa5D"}

package/dist/spine/rule-policy.js

@@ -0,0 +1,43 @@
+// ─── ADR-112 §9 — the producer-kind → override SINGLE HOME ───────────────────
+//
+// The one place behaviour switches on `provenance.kind`. ADR-112 §9 amends the
+// upstream contracts (ADR-110/111) with a table of producer-kind overrides;
+// rather than smear a `switch(kind)` across derive-labels / scorer / materializer
+// (N scattered branches — the gemini break), every consumer asks THIS function
+// "how do I handle a rule of this kind?" (Tenet 20 single-home).
+//
+// SLICE A scope: the home + the MINED policy are wired live (mined behaviour is
+// byte-identical to pre-ADR-112). The AUTHORED policy is DEFINED here (so slice
+// D extends one place, not many) but NO scorer/derive-labels/materializer
+// consumer reads it yet — the operational window-wide label derivation, the
+// train-side control materialization, and the held-out-activation metric are
+// slice D. Until then a run is single-producer (`provenanceKind` on the lock,
+// default `mined`); a mixed-kind corpus is out of scope for the first cert (§7).
+const MINED_POLICY = Object.freeze({
+    labelScope: 'held-out-only',
+    positiveControlSide: 'held-out',
+    exposureControlSide: 'held-out',
+});
+const AUTHORED_POLICY = Object.freeze({
+    labelScope: 'whole-window',
+    positiveControlSide: 'train',
+    exposureControlSide: 'train',
+});
+/**
+ * ADR-112 §9 — resolve the override config for a producer kind. Pure +
+ * exhaustive over the 2-value union. The MINED branch is the live, byte-identical
+ * path; the AUTHORED branch is defined for slice D's consumers (not yet wired).
+ */
+export function getRulePolicy(kind) {
+    switch (kind) {
+        case 'mined':
+            return MINED_POLICY;
+        case 'authored':
+            return AUTHORED_POLICY;
+        default: {
+            const _exhaustive = kind;
+            throw new Error(`[Totem Error] getRulePolicy: unknown producer kind '${String(_exhaustive)}'`);
+        }
+    }
+}
+//# sourceMappingURL=rule-policy.js.map

package/dist/spine/rule-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-policy.js","sourceRoot":"","sources":["../../src/spine/rule-policy.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,kFAAkF;AAClF,+EAA+E;AAC/E,iEAAiE;AACjE,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,0EAA0E;AAC1E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,iFAAiF;AA2BjF,MAAM,YAAY,GAAe,MAAM,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,eAAe;IAC3B,mBAAmB,EAAE,UAAU;IAC/B,mBAAmB,EAAE,UAAU;CAChC,CAAC,CAAC;AAEH,MAAM,eAAe,GAAe,MAAM,CAAC,MAAM,CAAC;IAChD,UAAU,EAAE,cAAc;IAC1B,mBAAmB,EAAE,OAAO;IAC5B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAkB;IAC9C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO;YACV,OAAO,YAAY,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,eAAe,CAAC;QACzB,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,uDAAuD,MAAM,CAAC,WAAW,CAAC,GAAG,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/spine/rule-policy.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rule-policy.test.d.ts.map

package/dist/spine/rule-policy.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-policy.test.d.ts","sourceRoot":"","sources":["../../src/spine/rule-policy.test.ts"],"names":[],"mappings":""}

package/dist/spine/rule-policy.test.js

@@ -0,0 +1,31 @@
+import { describe, expect, it } from 'vitest';
+import { getRulePolicy } from './rule-policy.js';
+describe('getRulePolicy (ADR-112 §9 single-home)', () => {
+    it('mined → held-out-only label scope + held-out controls (the LIVE, byte-identical path)', () => {
+        expect(getRulePolicy('mined')).toEqual({
+            labelScope: 'held-out-only',
+            positiveControlSide: 'held-out',
+            exposureControlSide: 'held-out',
+        });
+    });
+    it('authored → whole-window labels + train-side controls (DEFINED for slice D; not yet wired live)', () => {
+        expect(getRulePolicy('authored')).toEqual({
+            labelScope: 'whole-window',
+            positiveControlSide: 'train',
+            exposureControlSide: 'train',
+        });
+    });
+    it('mined and authored diverge on label scope (the §9 amendment the scorer reads in slice D)', () => {
+        expect(getRulePolicy('mined').labelScope).not.toBe(getRulePolicy('authored').labelScope);
+    });
+    it('returns a frozen singleton — a caller cannot mutate policy resolution process-wide (#2259)', () => {
+        const policy = getRulePolicy('mined');
+        // Frozen ⇒ any property write throws in strict mode (ESM), so policy resolution can't be
+        // mutated process-wide through the shared reference. `Object.assign` exercises that [[Set]].
+        expect(Object.isFrozen(policy)).toBe(true);
+        expect(() => Object.assign(policy, { labelScope: 'whole-window' })).toThrow();
+        // the next resolution is unaffected by the attempted mutation.
+        expect(getRulePolicy('mined').labelScope).toBe('held-out-only');
+    });
+});
+//# sourceMappingURL=rule-policy.test.js.map

package/dist/spine/rule-policy.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-policy.test.js","sourceRoot":"","sources":["../../src/spine/rule-policy.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACrC,UAAU,EAAE,eAAe;YAC3B,mBAAmB,EAAE,UAAU;YAC/B,mBAAmB,EAAE,UAAU;SAChC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;YACxC,UAAU,EAAE,cAAc;YAC1B,mBAAmB,EAAE,OAAO;YAC5B,mBAAmB,EAAE,OAAO;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,yFAAyF;QACzF,6FAA6F;QAC7F,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9E,+DAA+D;QAC/D,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/spine/windtunnel-lock.d.ts

@@ -88,14 +88,14 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             headSha: z.ZodString;
             diffSha: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
         }, {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -120,8 +120,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             } | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -146,8 +146,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             excludeBotPrs?: boolean | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -283,8 +283,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             } | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -349,8 +349,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             excludeBotPrs?: boolean | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -415,8 +415,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             } | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;
@@ -481,8 +481,8 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             excludeBotPrs?: boolean | undefined;
         };
         resolvedPrs: {
-            headSha: string;
             pr: number;
+            headSha: string;
             mergeCommit: string;
             baseSha: string;
             diffSha?: string | undefined;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mmnto/totem",
-  "version": "1.78.0",
+  "version": "1.79.0",
   "description": "Persistent memory and context layer for AI agents",
   "type": "module",
   "engines": {