@mmnto/totem 1.118.1 → 1.120.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (118) hide show
  1. package/dist/artifacts/admission.d.ts +12 -12
  2. package/dist/artifacts/verdict.d.ts +16 -16
  3. package/dist/compile-manifest.d.ts +89 -0
  4. package/dist/compile-manifest.d.ts.map +1 -1
  5. package/dist/compile-manifest.js +180 -31
  6. package/dist/compile-manifest.js.map +1 -1
  7. package/dist/compile-manifest.test.js +169 -1
  8. package/dist/compile-manifest.test.js.map +1 -1
  9. package/dist/compile-smoke-gate.d.ts +23 -0
  10. package/dist/compile-smoke-gate.d.ts.map +1 -1
  11. package/dist/compile-smoke-gate.js +139 -8
  12. package/dist/compile-smoke-gate.js.map +1 -1
  13. package/dist/compile-smoke-gate.test.js +431 -0
  14. package/dist/compile-smoke-gate.test.js.map +1 -1
  15. package/dist/compiler-schema.d.ts +1067 -0
  16. package/dist/compiler-schema.d.ts.map +1 -1
  17. package/dist/compiler-schema.js +204 -1
  18. package/dist/compiler-schema.js.map +1 -1
  19. package/dist/compiler-schema.test.js +92 -0
  20. package/dist/compiler-schema.test.js.map +1 -1
  21. package/dist/compiler.d.ts +2 -6
  22. package/dist/compiler.d.ts.map +1 -1
  23. package/dist/compiler.js +6 -17
  24. package/dist/compiler.js.map +1 -1
  25. package/dist/freeze.d.ts +3 -3
  26. package/dist/index.d.ts +12 -3
  27. package/dist/index.d.ts.map +1 -1
  28. package/dist/index.js +6 -2
  29. package/dist/index.js.map +1 -1
  30. package/dist/ledger.d.ts +12 -12
  31. package/dist/recurrence-stats.d.ts +10 -10
  32. package/dist/regex-safety/apply-rules-bounded.d.ts +11 -0
  33. package/dist/regex-safety/apply-rules-bounded.d.ts.map +1 -1
  34. package/dist/regex-safety/apply-rules-bounded.js +59 -5
  35. package/dist/regex-safety/apply-rules-bounded.js.map +1 -1
  36. package/dist/regex-validation.d.ts +7 -0
  37. package/dist/regex-validation.d.ts.map +1 -0
  38. package/dist/regex-validation.js +32 -0
  39. package/dist/regex-validation.js.map +1 -0
  40. package/dist/rule-engine.d.ts +11 -1
  41. package/dist/rule-engine.d.ts.map +1 -1
  42. package/dist/rule-engine.js +125 -18
  43. package/dist/rule-engine.js.map +1 -1
  44. package/dist/spine/authored-rule.d.ts +687 -263
  45. package/dist/spine/authored-rule.d.ts.map +1 -1
  46. package/dist/spine/authored-rule.js +113 -27
  47. package/dist/spine/authored-rule.js.map +1 -1
  48. package/dist/spine/authored-rule.test.js +170 -4
  49. package/dist/spine/authored-rule.test.js.map +1 -1
  50. package/dist/spine/authoring-ledger.d.ts +83 -24
  51. package/dist/spine/authoring-ledger.d.ts.map +1 -1
  52. package/dist/spine/authoring-ledger.js +46 -25
  53. package/dist/spine/authoring-ledger.js.map +1 -1
  54. package/dist/spine/authoring-ledger.test.js +20 -7
  55. package/dist/spine/authoring-ledger.test.js.map +1 -1
  56. package/dist/spine/candidate-rule.d.ts +18 -1
  57. package/dist/spine/candidate-rule.d.ts.map +1 -1
  58. package/dist/spine/candidate-rule.js.map +1 -1
  59. package/dist/spine/cert-corpus-seed.d.ts +14 -14
  60. package/dist/spine/compile.d.ts +4 -1
  61. package/dist/spine/compile.d.ts.map +1 -1
  62. package/dist/spine/compile.js +50 -3
  63. package/dist/spine/compile.js.map +1 -1
  64. package/dist/spine/compile.test.js +189 -23
  65. package/dist/spine/compile.test.js.map +1 -1
  66. package/dist/spine/frozen-split.d.ts +18 -18
  67. package/dist/spine/ledgers.d.ts +62 -62
  68. package/dist/spine/lf-normalize.d.ts +9 -0
  69. package/dist/spine/lf-normalize.d.ts.map +1 -0
  70. package/dist/spine/lf-normalize.js +38 -0
  71. package/dist/spine/lf-normalize.js.map +1 -0
  72. package/dist/spine/preimage-differential.d.ts +3 -1
  73. package/dist/spine/preimage-differential.d.ts.map +1 -1
  74. package/dist/spine/preimage-differential.js +9 -6
  75. package/dist/spine/preimage-differential.js.map +1 -1
  76. package/dist/spine/preimage-differential.test.js +59 -0
  77. package/dist/spine/preimage-differential.test.js.map +1 -1
  78. package/dist/spine/record-exemplars.fixture.d.ts +5 -0
  79. package/dist/spine/record-exemplars.fixture.d.ts.map +1 -0
  80. package/dist/spine/record-exemplars.fixture.js +61 -0
  81. package/dist/spine/record-exemplars.fixture.js.map +1 -0
  82. package/dist/spine/record-lower.d.ts +90 -0
  83. package/dist/spine/record-lower.d.ts.map +1 -0
  84. package/dist/spine/record-lower.js +418 -0
  85. package/dist/spine/record-lower.js.map +1 -0
  86. package/dist/spine/record-lower.test.d.ts +2 -0
  87. package/dist/spine/record-lower.test.d.ts.map +1 -0
  88. package/dist/spine/record-lower.test.js +562 -0
  89. package/dist/spine/record-lower.test.js.map +1 -0
  90. package/dist/spine/record-runtime.d.ts +215 -0
  91. package/dist/spine/record-runtime.d.ts.map +1 -0
  92. package/dist/spine/record-runtime.js +330 -0
  93. package/dist/spine/record-runtime.js.map +1 -0
  94. package/dist/spine/record-runtime.test.d.ts +2 -0
  95. package/dist/spine/record-runtime.test.d.ts.map +1 -0
  96. package/dist/spine/record-runtime.test.js +814 -0
  97. package/dist/spine/record-runtime.test.js.map +1 -0
  98. package/dist/spine/rule-record.d.ts +864 -0
  99. package/dist/spine/rule-record.d.ts.map +1 -0
  100. package/dist/spine/rule-record.js +781 -0
  101. package/dist/spine/rule-record.js.map +1 -0
  102. package/dist/spine/rule-record.test.d.ts +2 -0
  103. package/dist/spine/rule-record.test.d.ts.map +1 -0
  104. package/dist/spine/rule-record.test.js +1262 -0
  105. package/dist/spine/rule-record.test.js.map +1 -0
  106. package/dist/spine/windtunnel-firing.d.ts.map +1 -1
  107. package/dist/spine/windtunnel-firing.js +28 -1
  108. package/dist/spine/windtunnel-firing.js.map +1 -1
  109. package/dist/spine/windtunnel-lock.d.ts +26 -26
  110. package/dist/stage4-verifier.d.ts.map +1 -1
  111. package/dist/stage4-verifier.js +61 -17
  112. package/dist/stage4-verifier.js.map +1 -1
  113. package/dist/sys/glob.d.ts +30 -0
  114. package/dist/sys/glob.d.ts.map +1 -1
  115. package/dist/sys/glob.js +62 -1
  116. package/dist/sys/glob.js.map +1 -1
  117. package/dist/types.d.ts +1 -1
  118. package/package.json +1 -1
@@ -31,11 +31,11 @@ export declare const SelectionPinsSchema: z.ZodObject<{
31
31
  includeGlobs: z.ZodArray<z.ZodString, "many">;
32
32
  excludeGlobs: z.ZodArray<z.ZodString, "many">;
33
33
  }, "strip", z.ZodTypeAny, {
34
- includeGlobs: string[];
35
34
  excludeGlobs: string[];
36
- }, {
37
35
  includeGlobs: string[];
36
+ }, {
38
37
  excludeGlobs: string[];
38
+ includeGlobs: string[];
39
39
  }>;
40
40
  excludeRevertPairs: z.ZodBoolean;
41
41
  excludeBotPrs: z.ZodBoolean;
@@ -48,8 +48,8 @@ export declare const SelectionPinsSchema: z.ZodObject<{
48
48
  n: number;
49
49
  };
50
50
  codePathClassifier: {
51
- includeGlobs: string[];
52
51
  excludeGlobs: string[];
52
+ includeGlobs: string[];
53
53
  };
54
54
  excludeRevertPairs: boolean;
55
55
  excludeBotPrs: boolean;
@@ -62,8 +62,8 @@ export declare const SelectionPinsSchema: z.ZodObject<{
62
62
  n: number;
63
63
  };
64
64
  codePathClassifier: {
65
- includeGlobs: string[];
66
65
  excludeGlobs: string[];
66
+ includeGlobs: string[];
67
67
  };
68
68
  excludeRevertPairs: boolean;
69
69
  excludeBotPrs: boolean;
@@ -101,11 +101,11 @@ export declare const FreezeSplitParamsSchema: z.ZodObject<{
101
101
  includeGlobs: z.ZodArray<z.ZodString, "many">;
102
102
  excludeGlobs: z.ZodArray<z.ZodString, "many">;
103
103
  }, "strip", z.ZodTypeAny, {
104
- includeGlobs: string[];
105
104
  excludeGlobs: string[];
106
- }, {
107
105
  includeGlobs: string[];
106
+ }, {
108
107
  excludeGlobs: string[];
108
+ includeGlobs: string[];
109
109
  }>;
110
110
  excludeRevertPairs: z.ZodBoolean;
111
111
  excludeBotPrs: z.ZodBoolean;
@@ -118,8 +118,8 @@ export declare const FreezeSplitParamsSchema: z.ZodObject<{
118
118
  n: number;
119
119
  };
120
120
  codePathClassifier: {
121
- includeGlobs: string[];
122
121
  excludeGlobs: string[];
122
+ includeGlobs: string[];
123
123
  };
124
124
  excludeRevertPairs: boolean;
125
125
  excludeBotPrs: boolean;
@@ -132,8 +132,8 @@ export declare const FreezeSplitParamsSchema: z.ZodObject<{
132
132
  n: number;
133
133
  };
134
134
  codePathClassifier: {
135
- includeGlobs: string[];
136
135
  excludeGlobs: string[];
136
+ includeGlobs: string[];
137
137
  };
138
138
  excludeRevertPairs: boolean;
139
139
  excludeBotPrs: boolean;
@@ -165,8 +165,8 @@ export declare const FreezeSplitParamsSchema: z.ZodObject<{
165
165
  n: number;
166
166
  };
167
167
  codePathClassifier: {
168
- includeGlobs: string[];
169
168
  excludeGlobs: string[];
169
+ includeGlobs: string[];
170
170
  };
171
171
  excludeRevertPairs: boolean;
172
172
  excludeBotPrs: boolean;
@@ -188,8 +188,8 @@ export declare const FreezeSplitParamsSchema: z.ZodObject<{
188
188
  n: number;
189
189
  };
190
190
  codePathClassifier: {
191
- includeGlobs: string[];
192
191
  excludeGlobs: string[];
192
+ includeGlobs: string[];
193
193
  };
194
194
  excludeRevertPairs: boolean;
195
195
  excludeBotPrs: boolean;
@@ -229,11 +229,11 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
229
229
  includeGlobs: z.ZodArray<z.ZodString, "many">;
230
230
  excludeGlobs: z.ZodArray<z.ZodString, "many">;
231
231
  }, "strip", z.ZodTypeAny, {
232
- includeGlobs: string[];
233
232
  excludeGlobs: string[];
234
- }, {
235
233
  includeGlobs: string[];
234
+ }, {
236
235
  excludeGlobs: string[];
236
+ includeGlobs: string[];
237
237
  }>;
238
238
  excludeRevertPairs: z.ZodBoolean;
239
239
  excludeBotPrs: z.ZodBoolean;
@@ -246,8 +246,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
246
246
  n: number;
247
247
  };
248
248
  codePathClassifier: {
249
- includeGlobs: string[];
250
249
  excludeGlobs: string[];
250
+ includeGlobs: string[];
251
251
  };
252
252
  excludeRevertPairs: boolean;
253
253
  excludeBotPrs: boolean;
@@ -260,8 +260,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
260
260
  n: number;
261
261
  };
262
262
  codePathClassifier: {
263
- includeGlobs: string[];
264
263
  excludeGlobs: string[];
264
+ includeGlobs: string[];
265
265
  };
266
266
  excludeRevertPairs: boolean;
267
267
  excludeBotPrs: boolean;
@@ -377,8 +377,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
377
377
  n: number;
378
378
  };
379
379
  codePathClassifier: {
380
- includeGlobs: string[];
381
380
  excludeGlobs: string[];
381
+ includeGlobs: string[];
382
382
  };
383
383
  excludeRevertPairs: boolean;
384
384
  excludeBotPrs: boolean;
@@ -414,8 +414,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
414
414
  n: number;
415
415
  };
416
416
  codePathClassifier: {
417
- includeGlobs: string[];
418
417
  excludeGlobs: string[];
418
+ includeGlobs: string[];
419
419
  };
420
420
  excludeRevertPairs: boolean;
421
421
  excludeBotPrs: boolean;
@@ -451,8 +451,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
451
451
  n: number;
452
452
  };
453
453
  codePathClassifier: {
454
- includeGlobs: string[];
455
454
  excludeGlobs: string[];
455
+ includeGlobs: string[];
456
456
  };
457
457
  excludeRevertPairs: boolean;
458
458
  excludeBotPrs: boolean;
@@ -488,8 +488,8 @@ export declare const FrozenSplitArtifactSchema: z.ZodEffects<z.ZodObject<{
488
488
  n: number;
489
489
  };
490
490
  codePathClassifier: {
491
- includeGlobs: string[];
492
491
  excludeGlobs: string[];
492
+ includeGlobs: string[];
493
493
  };
494
494
  excludeRevertPairs: boolean;
495
495
  excludeBotPrs: boolean;
@@ -85,10 +85,10 @@ export declare const EmissionLedgerEntrySchema: z.ZodObject<{
85
85
  };
86
86
  unverified: true;
87
87
  classifierDisposition: "structural" | "behavioral";
88
+ routing: "compile" | "rag-only";
88
89
  classifierLedgerRef: string;
89
90
  candidateRef: string;
90
- routing: "compile" | "rag-only";
91
- sourceKind?: "bot" | "mixed" | "human" | undefined;
91
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
92
92
  }, {
93
93
  provenance: {
94
94
  mergedPr: number;
@@ -98,10 +98,10 @@ export declare const EmissionLedgerEntrySchema: z.ZodObject<{
98
98
  };
99
99
  unverified: true;
100
100
  classifierDisposition: "structural" | "behavioral";
101
+ routing: "compile" | "rag-only";
101
102
  classifierLedgerRef: string;
102
103
  candidateRef: string;
103
- routing: "compile" | "rag-only";
104
- sourceKind?: "bot" | "mixed" | "human" | undefined;
104
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
105
105
  }>;
106
106
  export type EmissionLedgerEntry = z.infer<typeof EmissionLedgerEntrySchema>;
107
107
  export declare const EmissionLedgerSchema: z.ZodObject<{
@@ -143,10 +143,10 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
143
143
  };
144
144
  unverified: true;
145
145
  classifierDisposition: "structural" | "behavioral";
146
+ routing: "compile" | "rag-only";
146
147
  classifierLedgerRef: string;
147
148
  candidateRef: string;
148
- routing: "compile" | "rag-only";
149
- sourceKind?: "bot" | "mixed" | "human" | undefined;
149
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
150
150
  }, {
151
151
  provenance: {
152
152
  mergedPr: number;
@@ -156,10 +156,10 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
156
156
  };
157
157
  unverified: true;
158
158
  classifierDisposition: "structural" | "behavioral";
159
+ routing: "compile" | "rag-only";
159
160
  classifierLedgerRef: string;
160
161
  candidateRef: string;
161
- routing: "compile" | "rag-only";
162
- sourceKind?: "bot" | "mixed" | "human" | undefined;
162
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
163
163
  }>, "many">;
164
164
  /**
165
165
  * Run-level seed-blindness attestation (§7). `false` = no seed class was
@@ -182,10 +182,10 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
182
182
  };
183
183
  unverified: true;
184
184
  classifierDisposition: "structural" | "behavioral";
185
+ routing: "compile" | "rag-only";
185
186
  classifierLedgerRef: string;
186
187
  candidateRef: string;
187
- routing: "compile" | "rag-only";
188
- sourceKind?: "bot" | "mixed" | "human" | undefined;
188
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
189
189
  }[];
190
190
  extractionInputsAttestation: {
191
191
  seedClassesProvided: boolean;
@@ -200,10 +200,10 @@ export declare const EmissionLedgerSchema: z.ZodObject<{
200
200
  };
201
201
  unverified: true;
202
202
  classifierDisposition: "structural" | "behavioral";
203
+ routing: "compile" | "rag-only";
203
204
  classifierLedgerRef: string;
204
205
  candidateRef: string;
205
- routing: "compile" | "rag-only";
206
- sourceKind?: "bot" | "mixed" | "human" | undefined;
206
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
207
207
  }[];
208
208
  extractionInputsAttestation: {
209
209
  seedClassesProvided: boolean;
@@ -264,15 +264,15 @@ export declare const DropLedgerEntrySchema: z.ZodObject<{
264
264
  */
265
265
  sourceKind: z.ZodOptional<z.ZodEnum<["human", "bot", "mixed"]>>;
266
266
  }, "strip", z.ZodTypeAny, {
267
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
267
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
268
268
  sourcePr: number;
269
- sourceKind?: "bot" | "mixed" | "human" | undefined;
269
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
270
270
  detail?: string | undefined;
271
271
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
272
272
  }, {
273
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
273
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
274
274
  sourcePr: number;
275
- sourceKind?: "bot" | "mixed" | "human" | undefined;
275
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
276
276
  detail?: string | undefined;
277
277
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
278
278
  }>;
@@ -304,31 +304,31 @@ export declare const DropLedgerSchema: z.ZodObject<{
304
304
  */
305
305
  sourceKind: z.ZodOptional<z.ZodEnum<["human", "bot", "mixed"]>>;
306
306
  }, "strip", z.ZodTypeAny, {
307
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
307
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
308
308
  sourcePr: number;
309
- sourceKind?: "bot" | "mixed" | "human" | undefined;
309
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
310
310
  detail?: string | undefined;
311
311
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
312
312
  }, {
313
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
313
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
314
314
  sourcePr: number;
315
- sourceKind?: "bot" | "mixed" | "human" | undefined;
315
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
316
316
  detail?: string | undefined;
317
317
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
318
318
  }>, "many">;
319
319
  }, "strip", z.ZodTypeAny, {
320
320
  entries: {
321
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
321
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
322
322
  sourcePr: number;
323
- sourceKind?: "bot" | "mixed" | "human" | undefined;
323
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
324
324
  detail?: string | undefined;
325
325
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
326
326
  }[];
327
327
  }, {
328
328
  entries: {
329
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
329
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
330
330
  sourcePr: number;
331
- sourceKind?: "bot" | "mixed" | "human" | undefined;
331
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
332
332
  detail?: string | undefined;
333
333
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
334
334
  }[];
@@ -735,10 +735,10 @@ export declare const MinerLedgersSchema: z.ZodObject<{
735
735
  };
736
736
  unverified: true;
737
737
  classifierDisposition: "structural" | "behavioral";
738
+ routing: "compile" | "rag-only";
738
739
  classifierLedgerRef: string;
739
740
  candidateRef: string;
740
- routing: "compile" | "rag-only";
741
- sourceKind?: "bot" | "mixed" | "human" | undefined;
741
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
742
742
  }, {
743
743
  provenance: {
744
744
  mergedPr: number;
@@ -748,10 +748,10 @@ export declare const MinerLedgersSchema: z.ZodObject<{
748
748
  };
749
749
  unverified: true;
750
750
  classifierDisposition: "structural" | "behavioral";
751
+ routing: "compile" | "rag-only";
751
752
  classifierLedgerRef: string;
752
753
  candidateRef: string;
753
- routing: "compile" | "rag-only";
754
- sourceKind?: "bot" | "mixed" | "human" | undefined;
754
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
755
755
  }>, "many">;
756
756
  /**
757
757
  * Run-level seed-blindness attestation (§7). `false` = no seed class was
@@ -774,10 +774,10 @@ export declare const MinerLedgersSchema: z.ZodObject<{
774
774
  };
775
775
  unverified: true;
776
776
  classifierDisposition: "structural" | "behavioral";
777
+ routing: "compile" | "rag-only";
777
778
  classifierLedgerRef: string;
778
779
  candidateRef: string;
779
- routing: "compile" | "rag-only";
780
- sourceKind?: "bot" | "mixed" | "human" | undefined;
780
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
781
781
  }[];
782
782
  extractionInputsAttestation: {
783
783
  seedClassesProvided: boolean;
@@ -792,10 +792,10 @@ export declare const MinerLedgersSchema: z.ZodObject<{
792
792
  };
793
793
  unverified: true;
794
794
  classifierDisposition: "structural" | "behavioral";
795
+ routing: "compile" | "rag-only";
795
796
  classifierLedgerRef: string;
796
797
  candidateRef: string;
797
- routing: "compile" | "rag-only";
798
- sourceKind?: "bot" | "mixed" | "human" | undefined;
798
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
799
799
  }[];
800
800
  extractionInputsAttestation: {
801
801
  seedClassesProvided: boolean;
@@ -828,31 +828,31 @@ export declare const MinerLedgersSchema: z.ZodObject<{
828
828
  */
829
829
  sourceKind: z.ZodOptional<z.ZodEnum<["human", "bot", "mixed"]>>;
830
830
  }, "strip", z.ZodTypeAny, {
831
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
831
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
832
832
  sourcePr: number;
833
- sourceKind?: "bot" | "mixed" | "human" | undefined;
833
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
834
834
  detail?: string | undefined;
835
835
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
836
836
  }, {
837
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
837
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
838
838
  sourcePr: number;
839
- sourceKind?: "bot" | "mixed" | "human" | undefined;
839
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
840
840
  detail?: string | undefined;
841
841
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
842
842
  }>, "many">;
843
843
  }, "strip", z.ZodTypeAny, {
844
844
  entries: {
845
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
845
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
846
846
  sourcePr: number;
847
- sourceKind?: "bot" | "mixed" | "human" | undefined;
847
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
848
848
  detail?: string | undefined;
849
849
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
850
850
  }[];
851
851
  }, {
852
852
  entries: {
853
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
853
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
854
854
  sourcePr: number;
855
- sourceKind?: "bot" | "mixed" | "human" | undefined;
855
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
856
856
  detail?: string | undefined;
857
857
  noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
858
858
  }[];
@@ -1171,15 +1171,6 @@ export declare const MinerLedgersSchema: z.ZodObject<{
1171
1171
  mergeCommit: string;
1172
1172
  }[];
1173
1173
  };
1174
- drop: {
1175
- entries: {
1176
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
1177
- sourcePr: number;
1178
- sourceKind?: "bot" | "mixed" | "human" | undefined;
1179
- detail?: string | undefined;
1180
- noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
1181
- }[];
1182
- };
1183
1174
  emission: {
1184
1175
  entries: {
1185
1176
  provenance: {
@@ -1190,15 +1181,24 @@ export declare const MinerLedgersSchema: z.ZodObject<{
1190
1181
  };
1191
1182
  unverified: true;
1192
1183
  classifierDisposition: "structural" | "behavioral";
1184
+ routing: "compile" | "rag-only";
1193
1185
  classifierLedgerRef: string;
1194
1186
  candidateRef: string;
1195
- routing: "compile" | "rag-only";
1196
- sourceKind?: "bot" | "mixed" | "human" | undefined;
1187
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
1197
1188
  }[];
1198
1189
  extractionInputsAttestation: {
1199
1190
  seedClassesProvided: boolean;
1200
1191
  };
1201
1192
  };
1193
+ drop: {
1194
+ entries: {
1195
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
1196
+ sourcePr: number;
1197
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
1198
+ detail?: string | undefined;
1199
+ noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
1200
+ }[];
1201
+ };
1202
1202
  classifier: {
1203
1203
  entries: {
1204
1204
  disposition: "structural" | "behavioral";
@@ -1237,15 +1237,6 @@ export declare const MinerLedgersSchema: z.ZodObject<{
1237
1237
  mergeCommit: string;
1238
1238
  }[];
1239
1239
  };
1240
- drop: {
1241
- entries: {
1242
- reasonCode: "truncated" | "unparseable" | "unreachable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
1243
- sourcePr: number;
1244
- sourceKind?: "bot" | "mixed" | "human" | undefined;
1245
- detail?: string | undefined;
1246
- noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
1247
- }[];
1248
- };
1249
1240
  emission: {
1250
1241
  entries: {
1251
1242
  provenance: {
@@ -1256,15 +1247,24 @@ export declare const MinerLedgersSchema: z.ZodObject<{
1256
1247
  };
1257
1248
  unverified: true;
1258
1249
  classifierDisposition: "structural" | "behavioral";
1250
+ routing: "compile" | "rag-only";
1259
1251
  classifierLedgerRef: string;
1260
1252
  candidateRef: string;
1261
- routing: "compile" | "rag-only";
1262
- sourceKind?: "bot" | "mixed" | "human" | undefined;
1253
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
1263
1254
  }[];
1264
1255
  extractionInputsAttestation: {
1265
1256
  seedClassesProvided: boolean;
1266
1257
  };
1267
1258
  };
1259
+ drop: {
1260
+ entries: {
1261
+ reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
1262
+ sourcePr: number;
1263
+ sourceKind?: "bot" | "human" | "mixed" | undefined;
1264
+ detail?: string | undefined;
1265
+ noDraftCause?: "legacy-unknown" | "invoke-error" | "empty-output" | "none-sentinel" | "unparseable-shape" | "non-array" | "all-filtered" | undefined;
1266
+ }[];
1267
+ };
1268
1268
  classifier: {
1269
1269
  entries: {
1270
1270
  disposition: "structural" | "behavioral";
@@ -0,0 +1,9 @@
1
+ /**
2
+ * Recursively LF-normalize every string in a value. Keeps material-hash
3
+ * determinism SINGLE-HOMED in the hash (Tenet-20, gemini diff-review): a hash
4
+ * built on this is CRLF-invariant regardless of whether the caller pre-normalized,
5
+ * so a future caller cannot silently produce a divergent hash by passing
6
+ * un-normalized CRLF input.
7
+ */
8
+ export declare function lfDeepNormalize(value: unknown): unknown;
9
+ //# sourceMappingURL=lf-normalize.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lf-normalize.d.ts","sourceRoot":"","sources":["../../src/spine/lf-normalize.ts"],"names":[],"mappings":"AAkBA;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAYvD"}
@@ -0,0 +1,38 @@
1
+ // ─── The LF-image primitive, single-homed at a LEAF ──────────────────────────
2
+ //
3
+ // Two distinct hash-material edges normalize newlines the same way — the ADR-112
4
+ // §8 authoring-ledger's `authoringContentHash` material and Prop 310 § Design 10's
5
+ // example-pair hash (Amendment 1 item 3's "different edge" note distinguishes the
6
+ // CALL SITES, not the normalizer). Tenet 20 says they share the primitive rather
7
+ // than mirroring it.
8
+ //
9
+ // It lives in its OWN module, not beside either caller, purely for the module
10
+ // graph: `authoring-ledger.ts` builds its Zod schemas from `authored-rule.ts` at
11
+ // top level, and since Prop 310 slice 3 `authored-rule.ts` builds ITS schemas from
12
+ // `rule-record.ts`. Had `rule-record.ts` kept importing the normalizer from the
13
+ // ledger, that would close a runtime cycle whose top-level Zod construction hits a
14
+ // TDZ `ReferenceError` depending only on which module an entry point loads first —
15
+ // a latent, import-order-dependent crash. A leaf with no imports of its own cannot
16
+ // participate in one. `authoring-ledger.ts` re-exports the symbol, so every
17
+ // existing import path and the package barrel are unchanged.
18
+ /**
19
+ * Recursively LF-normalize every string in a value. Keeps material-hash
20
+ * determinism SINGLE-HOMED in the hash (Tenet-20, gemini diff-review): a hash
21
+ * built on this is CRLF-invariant regardless of whether the caller pre-normalized,
22
+ * so a future caller cannot silently produce a divergent hash by passing
23
+ * un-normalized CRLF input.
24
+ */
25
+ export function lfDeepNormalize(value) {
26
+ if (typeof value === 'string')
27
+ return value.replace(/\r\n/g, '\n');
28
+ if (Array.isArray(value))
29
+ return value.map(lfDeepNormalize);
30
+ // `typeof` first, then the null guard: `typeof null === 'object'`, so both
31
+ // conjuncts are load-bearing and this is the order the codebase's own
32
+ // object-narrowing rule expects.
33
+ if (typeof value === 'object' && value !== null) {
34
+ return Object.fromEntries(Object.entries(value).map(([k, v]) => [k, lfDeepNormalize(v)]));
35
+ }
36
+ return value;
37
+ }
38
+ //# sourceMappingURL=lf-normalize.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lf-normalize.js","sourceRoot":"","sources":["../../src/spine/lf-normalize.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,iFAAiF;AACjF,mFAAmF;AACnF,kFAAkF;AAClF,iFAAiF;AACjF,qBAAqB;AACrB,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,mFAAmF;AACnF,gFAAgF;AAChF,mFAAmF;AACnF,mFAAmF;AACnF,mFAAmF;AACnF,4EAA4E;AAC5E,6DAA6D;AAE7D;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC5D,2EAA2E;IAC3E,sEAAsE;IACtE,iCAAiC;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -8,7 +8,9 @@
8
8
  * legitimate control (Falsifying Metric §1(i)).
9
9
  *
10
10
  * This module evaluates that differential against a fixture's declared
11
- * `preimageSource` (lesson-anchored PRIMARY / commit-pair FALLBACK) and reports
11
+ * `preimageSource` (lesson-anchored PRIMARY / Prop 310 record-derived / commit-pair
12
+ * FALLBACK — the record source is classified EXACTLY as `lesson`, since both carry
13
+ * their exemplars inline and differ only in the join key) and reports
12
14
  * the raw evidence + a differential-level classification. It is deliberately
13
15
  * INERT: it wires nothing into the cert path, mints no §5 run verdict, and emits
14
16
  * no controls. Slice C2 consumes this to gate control emission; slice D maps the
@@ -1 +1 @@
1
- {"version":3,"file":"preimage-differential.d.ts","sourceRoot":"","sources":["../../src/spine/preimage-differential.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAI3F;;;;GAIG;AACH,MAAM,MAAM,2BAA2B;AACrC,6FAA6F;AAC3F,oBAAoB;AACtB;;;GAGG;GACD,YAAY;AACd;;;;;;;GAOG;GACD,YAAY;AACd,+EAA+E;GAC7E,gBAAgB;AAClB;;;;;GAKG;GACD,oBAAoB;AACtB;;;;GAIG;GACD,oBAAoB,CAAC;AAEzB,MAAM,WAAW,0BAA0B;IACzC,iFAAiF;IACjF,OAAO,EAAE,2BAA2B,CAAC;IACrC,mDAAmD;IACnD,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACnC;;;OAGG;IACH,eAAe,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC;;;OAGG;IACH,iBAAiB,EAAE,OAAO,GAAG,IAAI,CAAC;IAClC,yFAAyF;IACzF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,0FAA0F;IAC1F,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,gGAAgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,wBAAwB;IACvC,oFAAoF;IACpF,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACxE;AAkFD;;;;;;;;;;;;GAYG;AACH,wBAAsB,4BAA4B,CAChD,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,0BAA0B,CAAC,CAgBrC"}
1
+ {"version":3,"file":"preimage-differential.d.ts","sourceRoot":"","sources":["../../src/spine/preimage-differential.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAI3F;;;;GAIG;AACH,MAAM,MAAM,2BAA2B;AACrC,6FAA6F;AAC3F,oBAAoB;AACtB;;;GAGG;GACD,YAAY;AACd;;;;;;;GAOG;GACD,YAAY;AACd,+EAA+E;GAC7E,gBAAgB;AAClB;;;;;GAKG;GACD,oBAAoB;AACtB;;;;GAIG;GACD,oBAAoB,CAAC;AAEzB,MAAM,WAAW,0BAA0B;IACzC,iFAAiF;IACjF,OAAO,EAAE,2BAA2B,CAAC;IACrC,mDAAmD;IACnD,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACnC;;;OAGG;IACH,eAAe,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC;;;OAGG;IACH,iBAAiB,EAAE,OAAO,GAAG,IAAI,CAAC;IAClC,yFAAyF;IACzF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,0FAA0F;IAC1F,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,gGAAgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,wBAAwB;IACvC,oFAAoF;IACpF,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACxE;AA4FD;;;;;;;;;;;;GAYG;AACH,wBAAsB,4BAA4B,CAChD,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,0BAA0B,CAAC,CAiBrC"}
@@ -8,7 +8,9 @@
8
8
  * legitimate control (Falsifying Metric §1(i)).
9
9
  *
10
10
  * This module evaluates that differential against a fixture's declared
11
- * `preimageSource` (lesson-anchored PRIMARY / commit-pair FALLBACK) and reports
11
+ * `preimageSource` (lesson-anchored PRIMARY / Prop 310 record-derived / commit-pair
12
+ * FALLBACK — the record source is classified EXACTLY as `lesson`, since both carry
13
+ * their exemplars inline and differ only in the join key) and reports
12
14
  * the raw evidence + a differential-level classification. It is deliberately
13
15
  * INERT: it wires nothing into the cert path, mints no §5 run verdict, and emits
14
16
  * no controls. Slice C2 consumes this to gate control emission; slice D maps the
@@ -34,8 +36,8 @@ function classifyDifferential(firesOnPreimage, silentOnPostimage) {
34
36
  return 'vacuous-silent';
35
37
  return 'fix-shaped';
36
38
  }
37
- // ─── Lesson-anchored differential (C1) ──────────────
38
- function evaluateLessonDifferential(rule, source) {
39
+ function evaluateInlineExemplarDifferential(rule, source) {
40
+ const sourceKind = source.kind;
39
41
  const pre = runSmokeGate(rule, source.badExample);
40
42
  const post = runSmokeGate(rule, source.goodExample);
41
43
  // An exemplar with no evaluable code cannot establish a differential. Two
@@ -60,7 +62,7 @@ function evaluateLessonDifferential(rule, source) {
60
62
  : post.reason);
61
63
  return {
62
64
  outcome: 'needs-adjudication',
63
- sourceKind: 'lesson',
65
+ sourceKind,
64
66
  firesOnPreimage: preUnevaluable ? null : pre.matched,
65
67
  silentOnPostimage: postUnevaluable ? null : !post.matched,
66
68
  preimageMatchCount: preUnevaluable ? null : pre.matchCount,
@@ -72,7 +74,7 @@ function evaluateLessonDifferential(rule, source) {
72
74
  const silentOnPostimage = !post.matched;
73
75
  return {
74
76
  outcome: classifyDifferential(firesOnPreimage, silentOnPostimage),
75
- sourceKind: 'lesson',
77
+ sourceKind,
76
78
  firesOnPreimage,
77
79
  silentOnPostimage,
78
80
  preimageMatchCount: pre.matchCount,
@@ -108,7 +110,8 @@ export async function evaluatePreimageDifferential(rule, fixture) {
108
110
  const source = fixture.preimageSource;
109
111
  switch (source.kind) {
110
112
  case 'lesson':
111
- return evaluateLessonDifferential(rule, source);
113
+ case 'record':
114
+ return evaluateInlineExemplarDifferential(rule, source);
112
115
  case 'commit':
113
116
  return deferredCommitResult();
114
117
  default: {
@@ -1 +1 @@
1
- {"version":3,"file":"preimage-differential.js","sourceRoot":"","sources":["../../src/spine/preimage-differential.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AA+ExD,uDAAuD;AAEvD,SAAS,oBAAoB,CAC3B,eAAwB,EACxB,iBAA0B;IAE1B,IAAI,eAAe,IAAI,iBAAiB;QAAE,OAAO,oBAAoB,CAAC;IACtE,IAAI,eAAe,IAAI,CAAC,iBAAiB;QAAE,OAAO,YAAY,CAAC;IAC/D,IAAI,CAAC,eAAe,IAAI,iBAAiB;QAAE,OAAO,gBAAgB,CAAC;IACnE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,uDAAuD;AAEvD,SAAS,0BAA0B,CACjC,IAAkB,EAClB,MAAmD;IAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAEpD,0EAA0E;IAC1E,6EAA6E;IAC7E,+EAA+E;IAC/E,+EAA+E;IAC/E,kEAAkE;IAClE,+EAA+E;IAC/E,8EAA8E;IAC9E,yEAAyE;IACzE,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;IACzF,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IAC5F,IAAI,cAAc,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,MAAM,GACV,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YACpC,CAAC,CAAC,gHAAgH;YAClH,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YACf,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBACrC,CAAC,CAAC,iHAAiH;gBACnH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,oBAAoB;YAC7B,UAAU,EAAE,QAAQ;YACpB,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;YACpD,iBAAiB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO;YACzD,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU;YAC1D,mBAAmB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;YAC7D,MAAM;SACP,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,CAAC,OAAO,CAAC;IACpC,MAAM,iBAAiB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;IACxC,OAAO;QACL,OAAO,EAAE,oBAAoB,CAAC,eAAe,EAAE,iBAAiB,CAAC;QACjE,UAAU,EAAE,QAAQ;QACpB,eAAe;QACf,iBAAiB;QACjB,kBAAkB,EAAE,GAAG,CAAC,UAAU;QAClC,mBAAmB,EAAE,IAAI,CAAC,UAAU;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO;QACL,OAAO,EAAE,oBAAoB;QAC7B,UAAU,EAAE,QAAQ;QACpB,eAAe,EAAE,IAAI;QACrB,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,IAAI;QACzB,MAAM,EACJ,6GAA6G;KAChH,CAAC;AACJ,CAAC;AAED,uDAAuD;AAEvD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,IAAkB,EAClB,OAAwB;IAExB,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC;IACtC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,QAAQ;YACX,OAAO,oBAAoB,EAAE,CAAC;QAChC,OAAO,CAAC,CAAC,CAAC;YACR,0EAA0E;YAC1E,4DAA4D;YAC5D,MAAM,WAAW,GAAU,MAAM,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,4EAA4E,MAAM,CAAE,WAA8B,CAAC,IAAI,CAAC,GAAG,CAC5H,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"preimage-differential.js","sourceRoot":"","sources":["../../src/spine/preimage-differential.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AA+ExD,uDAAuD;AAEvD,SAAS,oBAAoB,CAC3B,eAAwB,EACxB,iBAA0B;IAE1B,IAAI,eAAe,IAAI,iBAAiB;QAAE,OAAO,oBAAoB,CAAC;IACtE,IAAI,eAAe,IAAI,CAAC,iBAAiB;QAAE,OAAO,YAAY,CAAC;IAC/D,IAAI,CAAC,eAAe,IAAI,iBAAiB;QAAE,OAAO,gBAAgB,CAAC;IACnE,OAAO,YAAY,CAAC;AACtB,CAAC;AAaD,SAAS,kCAAkC,CACzC,IAAkB,EAClB,MAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAEpD,0EAA0E;IAC1E,6EAA6E;IAC7E,+EAA+E;IAC/E,+EAA+E;IAC/E,kEAAkE;IAClE,+EAA+E;IAC/E,8EAA8E;IAC9E,yEAAyE;IACzE,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;IACzF,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IAC5F,IAAI,cAAc,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,MAAM,GACV,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YACpC,CAAC,CAAC,gHAAgH;YAClH,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YACf,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBACrC,CAAC,CAAC,iHAAiH;gBACnH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,oBAAoB;YAC7B,UAAU;YACV,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;YACpD,iBAAiB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO;YACzD,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU;YAC1D,mBAAmB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;YAC7D,MAAM;SACP,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,CAAC,OAAO,CAAC;IACpC,MAAM,iBAAiB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;IACxC,OAAO;QACL,OAAO,EAAE,oBAAoB,CAAC,eAAe,EAAE,iBAAiB,CAAC;QACjE,UAAU;QACV,eAAe;QACf,iBAAiB;QACjB,kBAAkB,EAAE,GAAG,CAAC,UAAU;QAClC,mBAAmB,EAAE,IAAI,CAAC,UAAU;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO;QACL,OAAO,EAAE,oBAAoB;QAC7B,UAAU,EAAE,QAAQ;QACpB,eAAe,EAAE,IAAI;QACrB,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,IAAI;QACzB,MAAM,EACJ,6GAA6G;KAChH,CAAC;AACJ,CAAC;AAED,uDAAuD;AAEvD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,IAAkB,EAClB,OAAwB;IAExB,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC;IACtC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,kCAAkC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,KAAK,QAAQ;YACX,OAAO,oBAAoB,EAAE,CAAC;QAChC,OAAO,CAAC,CAAC,CAAC;YACR,0EAA0E;YAC1E,4DAA4D;YAC5D,MAAM,WAAW,GAAU,MAAM,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,4EAA4E,MAAM,CAAE,WAA8B,CAAC,IAAI,CAAC,GAAG,CAC5H,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}