@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.
- package/dist/artifacts/admission.d.ts +12 -12
- package/dist/artifacts/verdict.d.ts +16 -16
- package/dist/compile-manifest.d.ts +89 -0
- package/dist/compile-manifest.d.ts.map +1 -1
- package/dist/compile-manifest.js +180 -31
- package/dist/compile-manifest.js.map +1 -1
- package/dist/compile-manifest.test.js +169 -1
- package/dist/compile-manifest.test.js.map +1 -1
- package/dist/compile-smoke-gate.d.ts +23 -0
- package/dist/compile-smoke-gate.d.ts.map +1 -1
- package/dist/compile-smoke-gate.js +139 -8
- package/dist/compile-smoke-gate.js.map +1 -1
- package/dist/compile-smoke-gate.test.js +431 -0
- package/dist/compile-smoke-gate.test.js.map +1 -1
- package/dist/compiler-schema.d.ts +1067 -0
- package/dist/compiler-schema.d.ts.map +1 -1
- package/dist/compiler-schema.js +204 -1
- package/dist/compiler-schema.js.map +1 -1
- package/dist/compiler-schema.test.js +92 -0
- package/dist/compiler-schema.test.js.map +1 -1
- package/dist/compiler.d.ts +2 -6
- package/dist/compiler.d.ts.map +1 -1
- package/dist/compiler.js +6 -17
- package/dist/compiler.js.map +1 -1
- package/dist/freeze.d.ts +3 -3
- package/dist/index.d.ts +12 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -2
- package/dist/index.js.map +1 -1
- package/dist/ledger.d.ts +12 -12
- package/dist/recurrence-stats.d.ts +10 -10
- package/dist/regex-safety/apply-rules-bounded.d.ts +11 -0
- package/dist/regex-safety/apply-rules-bounded.d.ts.map +1 -1
- package/dist/regex-safety/apply-rules-bounded.js +59 -5
- package/dist/regex-safety/apply-rules-bounded.js.map +1 -1
- package/dist/regex-validation.d.ts +7 -0
- package/dist/regex-validation.d.ts.map +1 -0
- package/dist/regex-validation.js +32 -0
- package/dist/regex-validation.js.map +1 -0
- package/dist/rule-engine.d.ts +11 -1
- package/dist/rule-engine.d.ts.map +1 -1
- package/dist/rule-engine.js +125 -18
- package/dist/rule-engine.js.map +1 -1
- package/dist/spine/authored-rule.d.ts +687 -263
- package/dist/spine/authored-rule.d.ts.map +1 -1
- package/dist/spine/authored-rule.js +113 -27
- package/dist/spine/authored-rule.js.map +1 -1
- package/dist/spine/authored-rule.test.js +170 -4
- package/dist/spine/authored-rule.test.js.map +1 -1
- package/dist/spine/authoring-ledger.d.ts +83 -24
- package/dist/spine/authoring-ledger.d.ts.map +1 -1
- package/dist/spine/authoring-ledger.js +46 -25
- package/dist/spine/authoring-ledger.js.map +1 -1
- package/dist/spine/authoring-ledger.test.js +20 -7
- package/dist/spine/authoring-ledger.test.js.map +1 -1
- package/dist/spine/candidate-rule.d.ts +18 -1
- package/dist/spine/candidate-rule.d.ts.map +1 -1
- package/dist/spine/candidate-rule.js.map +1 -1
- package/dist/spine/cert-corpus-seed.d.ts +14 -14
- package/dist/spine/compile.d.ts +4 -1
- package/dist/spine/compile.d.ts.map +1 -1
- package/dist/spine/compile.js +50 -3
- package/dist/spine/compile.js.map +1 -1
- package/dist/spine/compile.test.js +189 -23
- package/dist/spine/compile.test.js.map +1 -1
- package/dist/spine/frozen-split.d.ts +18 -18
- package/dist/spine/ledgers.d.ts +62 -62
- package/dist/spine/lf-normalize.d.ts +9 -0
- package/dist/spine/lf-normalize.d.ts.map +1 -0
- package/dist/spine/lf-normalize.js +38 -0
- package/dist/spine/lf-normalize.js.map +1 -0
- package/dist/spine/preimage-differential.d.ts +3 -1
- package/dist/spine/preimage-differential.d.ts.map +1 -1
- package/dist/spine/preimage-differential.js +9 -6
- package/dist/spine/preimage-differential.js.map +1 -1
- package/dist/spine/preimage-differential.test.js +59 -0
- package/dist/spine/preimage-differential.test.js.map +1 -1
- package/dist/spine/record-exemplars.fixture.d.ts +5 -0
- package/dist/spine/record-exemplars.fixture.d.ts.map +1 -0
- package/dist/spine/record-exemplars.fixture.js +61 -0
- package/dist/spine/record-exemplars.fixture.js.map +1 -0
- package/dist/spine/record-lower.d.ts +90 -0
- package/dist/spine/record-lower.d.ts.map +1 -0
- package/dist/spine/record-lower.js +418 -0
- package/dist/spine/record-lower.js.map +1 -0
- package/dist/spine/record-lower.test.d.ts +2 -0
- package/dist/spine/record-lower.test.d.ts.map +1 -0
- package/dist/spine/record-lower.test.js +562 -0
- package/dist/spine/record-lower.test.js.map +1 -0
- package/dist/spine/record-runtime.d.ts +215 -0
- package/dist/spine/record-runtime.d.ts.map +1 -0
- package/dist/spine/record-runtime.js +330 -0
- package/dist/spine/record-runtime.js.map +1 -0
- package/dist/spine/record-runtime.test.d.ts +2 -0
- package/dist/spine/record-runtime.test.d.ts.map +1 -0
- package/dist/spine/record-runtime.test.js +814 -0
- package/dist/spine/record-runtime.test.js.map +1 -0
- package/dist/spine/rule-record.d.ts +864 -0
- package/dist/spine/rule-record.d.ts.map +1 -0
- package/dist/spine/rule-record.js +781 -0
- package/dist/spine/rule-record.js.map +1 -0
- package/dist/spine/rule-record.test.d.ts +2 -0
- package/dist/spine/rule-record.test.d.ts.map +1 -0
- package/dist/spine/rule-record.test.js +1262 -0
- package/dist/spine/rule-record.test.js.map +1 -0
- package/dist/spine/windtunnel-firing.d.ts.map +1 -1
- package/dist/spine/windtunnel-firing.js +28 -1
- package/dist/spine/windtunnel-firing.js.map +1 -1
- package/dist/spine/windtunnel-lock.d.ts +26 -26
- package/dist/stage4-verifier.d.ts.map +1 -1
- package/dist/stage4-verifier.js +61 -17
- package/dist/stage4-verifier.js.map +1 -1
- package/dist/sys/glob.d.ts +30 -0
- package/dist/sys/glob.d.ts.map +1 -1
- package/dist/sys/glob.js +62 -1
- package/dist/sys/glob.js.map +1 -1
- package/dist/types.d.ts +1 -1
- 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;
|
package/dist/spine/ledgers.d.ts
CHANGED
|
@@ -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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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" | "
|
|
267
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
268
268
|
sourcePr: number;
|
|
269
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
273
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
274
274
|
sourcePr: number;
|
|
275
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
307
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
308
308
|
sourcePr: number;
|
|
309
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
313
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
314
314
|
sourcePr: number;
|
|
315
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
321
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
322
322
|
sourcePr: number;
|
|
323
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
329
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
330
330
|
sourcePr: number;
|
|
331
|
-
sourceKind?: "bot" | "
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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" | "
|
|
831
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
832
832
|
sourcePr: number;
|
|
833
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
837
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
838
838
|
sourcePr: number;
|
|
839
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
845
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
846
846
|
sourcePr: number;
|
|
847
|
-
sourceKind?: "bot" | "
|
|
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" | "
|
|
853
|
+
reasonCode: "truncated" | "unreachable" | "unparseable" | "incomplete-provenance" | "outdated-rejected" | "no-draft";
|
|
854
854
|
sourcePr: number;
|
|
855
|
-
sourceKind?: "bot" | "
|
|
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
|
-
|
|
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
|
-
|
|
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
|
|
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
|
|
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
|
|
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
|
-
|
|
38
|
-
|
|
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
|
|
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
|
|
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
|
-
|
|
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
|
|
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"}
|