@mmnto/totem 1.67.1 → 1.69.0

package/dist/spine/miner-harness.test.js

@@ -0,0 +1,231 @@
+import { describe, expect, it } from 'vitest';
+import { runFalsificationHarness } from './miner-harness.js';
+const sha = (n) => String(n).padStart(40, '0');
+/**
+ * A contract-clean miner run: corpus [1,2,3,4], train [1,2] (both emitted),
+ * heldOut [3,4] (controls 3/4), no drops, no held-out fetches, seed-blind.
+ */
+function greenLedgers() {
+    return {
+        emission: {
+            entries: [
+                {
+                    candidateRef: 'c1',
+                    provenance: { mergedPr: 1, reviewThread: 'rt-1', commitSha: sha(1) },
+                    classifierDisposition: 'structural',
+                    routing: 'compile',
+                    classifierLedgerRef: 'cl-1',
+                    unverified: true,
+                },
+                {
+                    candidateRef: 'c2',
+                    provenance: { mergedPr: 2, reviewThread: 'rt-2', commitSha: sha(2) },
+                    classifierDisposition: 'structural',
+                    routing: 'compile',
+                    classifierLedgerRef: 'cl-2',
+                    unverified: true,
+                },
+            ],
+            extractionInputsAttestation: { seedClassesProvided: false },
+        },
+        drop: { entries: [] },
+        classifier: {
+            entries: [
+                {
+                    candidateRef: 'cl-1',
+                    disposition: 'structural',
+                    stage4Confirmed: true,
+                    dispositionSource: 'classified',
+                    stage4Outcome: 'confirmed',
+                },
+                {
+                    candidateRef: 'cl-2',
+                    disposition: 'structural',
+                    stage4Confirmed: true,
+                    dispositionSource: 'classified',
+                    stage4Outcome: 'confirmed',
+                },
+            ],
+        },
+        split: {
+            split: {
+                asOfCommit: sha(100),
+                trainPrs: [1, 2],
+                heldOutPrs: [3, 4],
+                excludedPrs: [],
+                positiveControlPrs: [3],
+                negativeControlPrs: [4],
+                splitRule: { predicate: 'code-touching non-bot', cutIndex: 2 },
+            },
+            corpus: [1, 2, 3, 4],
+            corpusMergeCommits: [1, 2, 3, 4].map((pr) => ({ pr, mergeCommit: sha(pr) })),
+        },
+        apiUsage: {
+            entries: [
+                { targetPr: 1, slice: 'train', fetchKind: 'review-thread' },
+                { targetPr: 2, slice: 'train', fetchKind: 'review-thread' },
+            ],
+            heldOutFetchCount: 0,
+        },
+    };
+}
+// Deep clone via JSON so mutations don't bleed across cases (no Dates/fns here).
+function clone(x) {
+    return JSON.parse(JSON.stringify(x));
+}
+/** Distinct FM clauses the harness reports for a raw ledger object, sorted. */
+function clauses(raw) {
+    const r = runFalsificationHarness(raw);
+    return [...new Set(r.violations.map((v) => v.clause))].sort();
+}
+describe('runFalsificationHarness — green', () => {
+    it('passes a contract-clean miner run (no FM clause holds)', () => {
+        const r = runFalsificationHarness(greenLedgers());
+        expect(r.ok).toBe(true);
+        expect(r.violations).toEqual([]);
+    });
+    it('allows a train PR in BOTH the emission and drop ledgers (FM(i) is at-least-one, not XOR)', () => {
+        const g = clone(greenLedgers());
+        // PR 2 already has an emitted candidate (c2); a second candidate from the same
+        // PR's review thread is dropped — in-both is legitimate, not a violation.
+        g.drop.entries.push({ sourcePr: 2, reasonCode: 'truncated' });
+        expect(runFalsificationHarness(g).ok).toBe(true);
+    });
+});
+describe('runFalsificationHarness — each red fixture fails on EXACTLY its clause', () => {
+    it('(a) incomplete provenance tuple', () => {
+        const g = clone(greenLedgers());
+        delete g.emission.entries[0].provenance.commitSha;
+        expect(clauses(g)).toEqual(['a']);
+    });
+    it('(b) candidate minted non-unverified', () => {
+        const g = clone(greenLedgers());
+        g.emission.entries[0].unverified = false;
+        expect(clauses(g)).toEqual(['b']);
+    });
+    it('(c) behavioral candidate routed to compile', () => {
+        const g = clone(greenLedgers());
+        g.emission.entries[0].classifierDisposition = 'behavioral';
+        expect(clauses(g)).toEqual(['c']);
+    });
+    it('(c) emission disposition disagrees with the classifier ledger', () => {
+        const g = clone(greenLedgers());
+        g.classifier.entries[0].disposition = 'behavioral'; // emission cl-1 attests structural
+        g.emission.entries[0].routing = 'rag-only'; // isolate the mismatch from compile-routing
+        expect(clauses(g)).toEqual(['c']);
+    });
+    it('(d) out-of-corpus split member', () => {
+        const g = clone(greenLedgers());
+        g.split.split.heldOutPrs = [3, 4, 99];
+        g.split.corpusMergeCommits.push({ pr: 99, mergeCommit: sha(99) });
+        expect(clauses(g)).toEqual(['d']);
+    });
+    it('(e-split) control outside heldOut (slice disjointness)', () => {
+        const g = clone(greenLedgers());
+        g.split.split.positiveControlPrs = [1]; // a train PR, not in heldOut
+        expect(clauses(g)).toEqual(['e-split']);
+    });
+    it('(e-split) a PR tagged as both positive and negative control', () => {
+        const g = clone(greenLedgers());
+        g.split.split.negativeControlPrs = [3, 4]; // 3 is already a positive control
+        expect(clauses(g)).toEqual(['e-split']);
+    });
+    it('(e-emission) candidate sourced from a held-out PR', () => {
+        const g = clone(greenLedgers());
+        g.emission.entries.push({
+            candidateRef: 'c3',
+            provenance: { mergedPr: 3, reviewThread: 'rt-3', commitSha: sha(3) }, // PR 3 is held-out
+            classifierDisposition: 'structural',
+            routing: 'compile',
+            classifierLedgerRef: 'cl-3',
+            unverified: true,
+        });
+        g.classifier.entries.push({
+            candidateRef: 'cl-3',
+            disposition: 'structural',
+            stage4Confirmed: true,
+            dispositionSource: 'classified',
+            stage4Outcome: 'confirmed',
+        });
+        expect(clauses(g)).toEqual(['e-emission']);
+    });
+    it('(e-emission) provenance commitSha does not match the PR frozen merge commit', () => {
+        const g = clone(greenLedgers());
+        g.emission.entries[0].provenance.commitSha = sha(99); // PR 1's frozen merge commit is sha(1)
+        expect(clauses(g)).toEqual(['e-emission']);
+    });
+    it('(f) seed class supplied to extraction', () => {
+        const g = clone(greenLedgers());
+        g.emission.extractionInputsAttestation.seedClassesProvided = true;
+        expect(clauses(g)).toEqual(['f']);
+    });
+    it('(g) silent corpus drop', () => {
+        const g = clone(greenLedgers());
+        g.split.split.heldOutPrs = [3];
+        g.split.split.negativeControlPrs = [];
+        expect(clauses(g)).toEqual(['g']);
+    });
+    it('(h) held-out content fetch', () => {
+        const g = clone(greenLedgers());
+        g.apiUsage.heldOutFetchCount = 1;
+        expect(clauses(g)).toEqual(['h']);
+    });
+    it('(h) a held-out PR fetched under a mislabeled slice:train', () => {
+        const g = clone(greenLedgers());
+        // PR 3 is held-out; labeling the fetch "train" must NOT hide it (partition is derived).
+        g.apiUsage.entries.push({ targetPr: 3, slice: 'train', fetchKind: 'review-thread' });
+        expect(clauses(g)).toEqual(['h']);
+    });
+    it('(i) train PR processed by neither emission nor drop', () => {
+        const g = clone(greenLedgers());
+        g.emission.entries.pop(); // remove the PR 2 candidate, do not drop it either
+        g.classifier.entries.pop();
+        expect(clauses(g)).toEqual(['i']);
+    });
+});
+describe('runFalsificationHarness — stage4 consistency (slice 4; NOT an FM letter)', () => {
+    it('flags a confirmed outcome whose stage4Confirmed is false (the OQ4 red craft)', () => {
+        const g = clone(greenLedgers());
+        g.classifier.entries[0].stage4Confirmed = false; // still stage4Outcome: 'confirmed'
+        expect(clauses(g)).toEqual(['stage4-consistency']);
+    });
+    it('flags stage4Confirmed:true with no recorded outcome (cannot be confirmed without evidence)', () => {
+        const g = clone(greenLedgers());
+        delete g.classifier.entries[0].stage4Outcome;
+        expect(clauses(g)).toEqual(['stage4-consistency']);
+    });
+    it('flags a compile-rejected outcome marked stage4Confirmed:true', () => {
+        const g = clone(greenLedgers());
+        g.classifier.entries[0].stage4Outcome = 'compile-rejected'; // stage4Confirmed still true
+        expect(clauses(g)).toEqual(['stage4-consistency']);
+    });
+    it('passes archived-out-of-scope with stage4Confirmed:false (legitimately unconfirmed — agy fold-3)', () => {
+        const g = clone(greenLedgers());
+        g.classifier.entries[0].stage4Confirmed = false;
+        g.classifier.entries[0].stage4Outcome = 'archived-out-of-scope';
+        expect(runFalsificationHarness(g).ok).toBe(true);
+    });
+    it('passes untested-no-matches with stage4Confirmed:false (legitimately unconfirmed)', () => {
+        const g = clone(greenLedgers());
+        g.classifier.entries[0].stage4Confirmed = false;
+        g.classifier.entries[0].stage4Outcome = 'untested-no-matches';
+        expect(runFalsificationHarness(g).ok).toBe(true);
+    });
+});
+describe('runFalsificationHarness — schema completeness', () => {
+    it('rejects a split ledger whose corpusMergeCommits omits a corpus PR', () => {
+        const g = clone(greenLedgers());
+        g.split.corpusMergeCommits = g.split.corpusMergeCommits.filter((e) => e.pr !== 3);
+        const r = runFalsificationHarness(g);
+        expect(r.ok).toBe(false);
+        expect(r.violations.some((v) => v.clause === 'schema')).toBe(true);
+    });
+    it('rejects a non-SHA mergeCommit in the split ledger', () => {
+        const g = clone(greenLedgers());
+        g.split.corpusMergeCommits[0].mergeCommit = 'not-a-sha';
+        const r = runFalsificationHarness(g);
+        expect(r.ok).toBe(false);
+        expect(r.violations.some((v) => v.clause === 'schema')).toBe(true);
+    });
+});
+//# sourceMappingURL=miner-harness.test.js.map

package/dist/spine/miner-harness.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"miner-harness.test.js","sourceRoot":"","sources":["../../src/spine/miner-harness.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAiB,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE5E,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAE/D;;;GAGG;AACH,SAAS,YAAY;IACnB,OAAO;QACL,QAAQ,EAAE;YACR,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE,IAAI;oBAClB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;oBACpE,qBAAqB,EAAE,YAAY;oBACnC,OAAO,EAAE,SAAS;oBAClB,mBAAmB,EAAE,MAAM;oBAC3B,UAAU,EAAE,IAAI;iBACjB;gBACD;oBACE,YAAY,EAAE,IAAI;oBAClB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;oBACpE,qBAAqB,EAAE,YAAY;oBACnC,OAAO,EAAE,SAAS;oBAClB,mBAAmB,EAAE,MAAM;oBAC3B,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,2BAA2B,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE;SAC5D;QACD,IAAI,EAAE,EAAE,OAAO,EAAE,EAAoC,EAAE;QACvD,UAAU,EAAE;YACV,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE,MAAM;oBACpB,WAAW,EAAE,YAAY;oBACzB,eAAe,EAAE,IAAI;oBACrB,iBAAiB,EAAE,YAAY;oBAC/B,aAAa,EAAE,WAAW;iBAC3B;gBACD;oBACE,YAAY,EAAE,MAAM;oBACpB,WAAW,EAAE,YAAY;oBACzB,eAAe,EAAE,IAAI;oBACrB,iBAAiB,EAAE,YAAY;oBAC/B,aAAa,EAAE,WAAW;iBAC3B;aACF;SACF;QACD,KAAK,EAAE;YACL,KAAK,EAAE;gBACL,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;gBACpB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAClB,WAAW,EAAE,EAAE;gBACf,kBAAkB,EAAE,CAAC,CAAC,CAAC;gBACvB,kBAAkB,EAAE,CAAC,CAAC,CAAC;gBACvB,SAAS,EAAE,EAAE,SAAS,EAAE,uBAAuB,EAAE,QAAQ,EAAE,CAAC,EAAE;aAC/D;YACD,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACpB,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAC7E;QACD,QAAQ,EAAE;YACR,OAAO,EAAE;gBACP,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE;gBAC3D,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE;aAC5D;YACD,iBAAiB,EAAE,CAAC;SACrB;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,KAAK,CAAI,CAAI;IACpB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAM,CAAC;AAC5C,CAAC;AAED,+EAA+E;AAC/E,SAAS,OAAO,CAAC,GAAY;IAC3B,MAAM,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChE,CAAC;AAED,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,uBAAuB,CAAC,YAAY,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,+EAA+E;QAC/E,0EAA0E;QAC1E,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wEAAwE,EAAE,GAAG,EAAE;IACtF,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,OAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAsC,CAAC,SAAS,CAAC;QAC/E,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC;QACzC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,qBAAqB,GAAG,YAAY,CAAC;QAC3D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,YAAY,CAAC,CAAC,mCAAmC;QACvF,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,UAAU,CAAC,CAAC,4CAA4C;QACxF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,6BAA6B;QACrE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kCAAkC;QAC7E,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YACtB,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,mBAAmB;YACzF,qBAAqB,EAAE,YAAY;YACnC,OAAO,EAAE,SAAS;YAClB,mBAAmB,EAAE,MAAM;YAC3B,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;QACH,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;YACxB,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,YAAY;YACzB,eAAe,EAAE,IAAI;YACrB,iBAAiB,EAAE,YAAY;YAC/B,aAAa,EAAE,WAAW;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,uCAAuC;QAC7F,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC,mBAAmB,GAAG,IAAI,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,GAAG,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,wFAAwF;QACxF,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,mDAAmD;QAC7E,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACxF,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,KAAK,CAAC,CAAC,mCAAmC;QACpF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,OAAQ,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAA6B,CAAC,aAAa,CAAC;QAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,kBAAkB,CAAC,CAAC,6BAA6B;QACzF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,KAAK,CAAC;QAChD,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,uBAAuB,CAAC;QAChE,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,KAAK,CAAC;QAChD,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,qBAAqB,CAAC;QAC9D,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,WAAW,CAAC;QACxD,MAAM,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/spine/split.d.ts

@@ -0,0 +1,149 @@
+import { z } from 'zod';
+import { type PrMeta, type PrSetDiff } from './selection-rule.js';
+/**
+ * ADR-111 §5 — the frozen split artifact, committed before extraction. The
+ * concrete `cutIndex` is the deferred window-open scalar (Deferred Decisions);
+ * the field is required in the committed artifact, only its value is deferred.
+ */
+export declare const SplitArtifactSchema: z.ZodEffects<z.ZodObject<{
+    asOfCommit: z.ZodString;
+    /** The OLDER ancestry segment — the mining slice. */
+    trainPrs: z.ZodArray<z.ZodNumber, "many">;
+    /** The NEWER held-out segment — control evaluation. Controls are tags within this. */
+    heldOutPrs: z.ZodArray<z.ZodNumber, "many">;
+    /** Explicitly enumerated drops (the atomic revert pairs). */
+    excludedPrs: z.ZodArray<z.ZodNumber, "many">;
+    /** Positive controls — a designated subset (tag) of `heldOutPrs`, never a separate cover bucket. */
+    positiveControlPrs: z.ZodArray<z.ZodNumber, "many">;
+    /** Negative controls — a designated subset (tag) of `heldOutPrs`. */
+    negativeControlPrs: z.ZodArray<z.ZodNumber, "many">;
+    splitRule: z.ZodObject<{
+        /** Human-readable predicate expression that generated the corpus (mirrors the windtunnel lock's `selectionRule.predicate`). */
+        predicate: z.ZodEffects<z.ZodString, string, string>;
+        /**
+         * Forward-chronological ancestry cut: `trainPrs` = the `cutIndex` OLDEST
+         * corpus PRs (ancestry order), `heldOutPrs` = the newer remainder. Concrete
+         * value deferred to window-open (ADR-111 Deferred Decisions).
+         */
+        cutIndex: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        predicate: string;
+        cutIndex: number;
+    }, {
+        predicate: string;
+        cutIndex: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    asOfCommit: string;
+    trainPrs: number[];
+    heldOutPrs: number[];
+    excludedPrs: number[];
+    positiveControlPrs: number[];
+    negativeControlPrs: number[];
+    splitRule: {
+        predicate: string;
+        cutIndex: number;
+    };
+}, {
+    asOfCommit: string;
+    trainPrs: number[];
+    heldOutPrs: number[];
+    excludedPrs: number[];
+    positiveControlPrs: number[];
+    negativeControlPrs: number[];
+    splitRule: {
+        predicate: string;
+        cutIndex: number;
+    };
+}>, {
+    asOfCommit: string;
+    trainPrs: number[];
+    heldOutPrs: number[];
+    excludedPrs: number[];
+    positiveControlPrs: number[];
+    negativeControlPrs: number[];
+    splitRule: {
+        predicate: string;
+        cutIndex: number;
+    };
+}, {
+    asOfCommit: string;
+    trainPrs: number[];
+    heldOutPrs: number[];
+    excludedPrs: number[];
+    positiveControlPrs: number[];
+    negativeControlPrs: number[];
+    splitRule: {
+        predicate: string;
+        cutIndex: number;
+    };
+}>;
+export type SplitArtifact = z.infer<typeof SplitArtifactSchema>;
+/** Thrown when `resolveSplit` cannot produce a clean three-way disjoint cover (Tenet 4, fail-loud). */
+export declare class SplitCoverError extends Error {
+    readonly result: SplitCoverResult;
+    constructor(result: SplitCoverResult);
+}
+/** Structured result of the §5/§8 split-ledger mechanical check. `ok` iff every diagnostic list is empty. */
+export interface SplitCoverResult {
+    ok: boolean;
+    /**
+     * Cover vs the frozen corpus, direction-disambiguated so each side falsifies
+     * its own clause: `missing` = a corpus PR assigned to no slice (FM(g), silent
+     * drop); `extra` = a slice PR outside the corpus (FM(d), out-of-corpus member).
+     */
+    cover: PrSetDiff;
+    /** Pairwise PR# intersections of {train, heldOut, excluded} that must be empty (the `⊎` disjointness). */
+    overlaps: {
+        trainHeldOut: number[];
+        trainExcluded: number[];
+        heldOutExcluded: number[];
+    };
+    /** Control PRs not contained in `heldOutPrs` — controls must be tags WITHIN heldOut, not a separate bucket. */
+    controlsOutsideHeldOut: number[];
+    /** PRs tagged as BOTH a positive and a negative control — a PR cannot be both (per-rule control coherence). */
+    controlOverlap: number[];
+    /** Merge-commit SHAs appearing in more than one slice — disjoint by merge-commit, not only PR# (revert/target straddle guard). */
+    mergeCommitCollisions: string[];
+}
+/**
+ * The §8 split-ledger check: verifies the split is a three-way disjoint cover of
+ * `corpus` (= `selectionRule(asOfCommit)`), that the controls are tags within
+ * `heldOutPrs`, and that the slices are disjoint by merge-commit (not only PR#).
+ * Pure; the harness asserts `ok` and reads the per-field diffs to pin the exact
+ * Falsifying-Metric clause (FM(d) extra / FM(g) missing).
+ */
+export declare function validateSplitCover(split: SplitArtifact, corpus: number[], mergeCommitByPr: ReadonlyMap<number, string>): SplitCoverResult;
+/**
+ * Produce a frozen split from the resolved corpus by the forward-chronological
+ * ancestry cut. `corpus` is `selectionRule(asOfCommit)` (the cover base);
+ * `orderedNewestFirst` is the same ancestry enumeration `resolveSelectionRule`
+ * consumes (`git log --topo-order`, newest-first) and MUST cover the corpus.
+ * `excludedPrs` (the atomic revert pairs) are removed from train/heldOut but
+ * remain in the cover. Validates the result and throws `SplitCoverError` on any
+ * cover/disjointness violation (Tenet 4) — a malformed split never freezes.
+ *
+ * CONTRACT (corpus-scope model A, confirmed by totem-codex's #2200 review; pending
+ * strategy-claude's final §5 word): `corpus` is the cover BASE that INCLUDES the
+ * PRs later assigned to `excludedPrs` — i.e. `selectionRule` is resolved here with
+ * reverts retained, and `excludedPrs` enumerates them explicitly, so
+ * `train ⊎ heldOut ⊎ excluded == corpus` holds and every `excludedPr` is a corpus
+ * member. (The alternative — `selectionRule(asOfCommit)` pre-excludes reverts yet
+ * the split still records them in `excludedPrs` — is NOT supported by the current
+ * schema, which rejects excluded PRs outside the corpus; revisit only if strategy
+ * pins that model.) The fail-loud `excludedPrs ⊆ corpus` guard below enforces this.
+ */
+export declare function resolveSplit(params: {
+    asOfCommit: string;
+    corpus: number[];
+    orderedNewestFirst: number[];
+    excludedPrs: number[];
+    cutIndex: number;
+    positiveControlPrs?: number[];
+    negativeControlPrs?: number[];
+    predicate: string;
+    mergeCommitByPr: ReadonlyMap<number, string>;
+}): SplitArtifact;
+/** Re-export for callers building the `mergeCommitByPr` map from enumerated metas. */
+export declare function mergeCommitMap(metas: PrMeta[]): Map<number, string>;
+//# sourceMappingURL=split.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/spine/split.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAc,KAAK,MAAM,EAAE,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAO9E;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;;IAG5B,qDAAqD;;IAErD,sFAAsF;;IAEtF,6DAA6D;;IAE7D,oGAAoG;;IAEpG,qEAAqE;;;QAGnE,+HAA+H;;QAI/H;;;;WAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwBL,CAAC;AAEL,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,uGAAuG;AACvG,qBAAa,eAAgB,SAAQ,KAAK;aACZ,MAAM,EAAE,gBAAgB;gBAAxB,MAAM,EAAE,gBAAgB;CAMrD;AAED,6GAA6G;AAC7G,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ;;;;OAIG;IACH,KAAK,EAAE,SAAS,CAAC;IACjB,0GAA0G;IAC1G,QAAQ,EAAE;QAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACzF,+GAA+G;IAC/G,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,+GAA+G;IAC/G,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,kIAAkI;IAClI,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AA0BD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,MAAM,EAAE,EAChB,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3C,gBAAgB,CA6BlB;AAuBD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C,GAAG,aAAa,CAiEhB;AAED,sFAAsF;AACtF,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAEnE"}

package/dist/spine/split.js

@@ -0,0 +1,235 @@
+// ─── ADR-111 §5 Gate-1 train/test split — frozen, ancestry-ordered ──────────
+//
+// The mining/control split over the frozen corpus `selectionRule(asOfCommit)`
+// (ADR-110 §6). Committed as a lock BEFORE extraction; `trainPrs` = the OLDER
+// ancestry segment (mining), `heldOutPrs` = the NEWER held-out segment
+// (control) — forward-chronological, never a random shuffle (reverse-causality
+// leakage) and never commit-date (rebase-rewritable; the same `--topo-order`
+// invariant as #2197). The split is a THREE-WAY DISJOINT COVER of the corpus:
+// `trainPrs ⊎ heldOutPrs ⊎ excludedPrs == selectionRule(asOfCommit)`, with the
+// positive/negative controls as designated tags WITHIN `heldOutPrs` (never a
+// separate cover bucket). Total accounting (FM (d)/(g)): a corpus PR in no slice
+// is a silent drop; a slice PR outside the corpus is an out-of-corpus member.
+//
+// This module is the pure schema + the deterministic cover validator (the §8
+// split-ledger check) + the forward-ancestry-cut producer. IO (git enumeration
+// → PrMeta) lives in the cli layer, as with `selection-rule.ts`.
+import { z } from 'zod';
+import { diffPrSets } from './selection-rule.js';
+/** Lowercase 40-hex git commit SHA — canonical git form (cf. compiler-schema `COMMIT_SHA_RE`). */
+const COMMIT_SHA_RE = /^[0-9a-f]{40}$/;
+const PrNumber = z.number().int().positive();
+/**
+ * ADR-111 §5 — the frozen split artifact, committed before extraction. The
+ * concrete `cutIndex` is the deferred window-open scalar (Deferred Decisions);
+ * the field is required in the committed artifact, only its value is deferred.
+ */
+export const SplitArtifactSchema = z
+    .object({
+    asOfCommit: z.string().regex(COMMIT_SHA_RE),
+    /** The OLDER ancestry segment — the mining slice. */
+    trainPrs: z.array(PrNumber),
+    /** The NEWER held-out segment — control evaluation. Controls are tags within this. */
+    heldOutPrs: z.array(PrNumber),
+    /** Explicitly enumerated drops (the atomic revert pairs). */
+    excludedPrs: z.array(PrNumber),
+    /** Positive controls — a designated subset (tag) of `heldOutPrs`, never a separate cover bucket. */
+    positiveControlPrs: z.array(PrNumber),
+    /** Negative controls — a designated subset (tag) of `heldOutPrs`. */
+    negativeControlPrs: z.array(PrNumber),
+    splitRule: z.object({
+        /** Human-readable predicate expression that generated the corpus (mirrors the windtunnel lock's `selectionRule.predicate`). */
+        predicate: z.string().refine((s) => s.trim().length > 0, {
+            message: 'splitRule.predicate must be a non-empty expression',
+        }),
+        /**
+         * Forward-chronological ancestry cut: `trainPrs` = the `cutIndex` OLDEST
+         * corpus PRs (ancestry order), `heldOutPrs` = the newer remainder. Concrete
+         * value deferred to window-open (ADR-111 Deferred Decisions).
+         */
+        cutIndex: z.number().int().nonnegative(),
+    }),
+})
+    .superRefine((s, ctx) => {
+    // Disjoint cover is a BAG/ROW property, but the cover/overlap checks dedupe via
+    // Set semantics — so a duplicate row (e.g. trainPrs [1,1,2]) would slip through.
+    // Reject duplicates within each slice/control list at the schema boundary.
+    const lists = [
+        ['trainPrs', s.trainPrs],
+        ['heldOutPrs', s.heldOutPrs],
+        ['excludedPrs', s.excludedPrs],
+        ['positiveControlPrs', s.positiveControlPrs],
+        ['negativeControlPrs', s.negativeControlPrs],
+    ];
+    for (const [field, arr] of lists) {
+        if (new Set(arr).size !== arr.length) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `${field} contains duplicate PRs`,
+                path: [field],
+            });
+        }
+    }
+});
+/** Thrown when `resolveSplit` cannot produce a clean three-way disjoint cover (Tenet 4, fail-loud). */
+export class SplitCoverError extends Error {
+    result;
+    constructor(result) {
+        super(`[Totem Error] split is not a valid disjoint cover of selectionRule(asOfCommit): ${summarizeCover(result)}`);
+        this.result = result;
+        this.name = 'SplitCoverError';
+    }
+}
+function uniqueSorted(xs) {
+    return [...new Set(xs)].sort((a, b) => a - b);
+}
+function intersect(a, b) {
+    const bs = new Set(b);
+    return uniqueSorted(a.filter((x) => bs.has(x)));
+}
+function summarizeCover(r) {
+    const parts = [];
+    if (r.cover.missing.length)
+        parts.push(`missing(FM-g)=[${r.cover.missing}]`);
+    if (r.cover.extra.length)
+        parts.push(`extra(FM-d)=[${r.cover.extra}]`);
+    if (r.overlaps.trainHeldOut.length)
+        parts.push(`train∩heldOut=[${r.overlaps.trainHeldOut}]`);
+    if (r.overlaps.trainExcluded.length)
+        parts.push(`train∩excluded=[${r.overlaps.trainExcluded}]`);
+    if (r.overlaps.heldOutExcluded.length)
+        parts.push(`heldOut∩excluded=[${r.overlaps.heldOutExcluded}]`);
+    if (r.controlsOutsideHeldOut.length)
+        parts.push(`controls⊄heldOut=[${r.controlsOutsideHeldOut}]`);
+    if (r.controlOverlap.length)
+        parts.push(`pos∩neg=[${r.controlOverlap}]`);
+    if (r.mergeCommitCollisions.length)
+        parts.push(`mergeCommitCollisions=[${r.mergeCommitCollisions}]`);
+    return parts.join(' ');
+}
+/**
+ * The §8 split-ledger check: verifies the split is a three-way disjoint cover of
+ * `corpus` (= `selectionRule(asOfCommit)`), that the controls are tags within
+ * `heldOutPrs`, and that the slices are disjoint by merge-commit (not only PR#).
+ * Pure; the harness asserts `ok` and reads the per-field diffs to pin the exact
+ * Falsifying-Metric clause (FM(d) extra / FM(g) missing).
+ */
+export function validateSplitCover(split, corpus, mergeCommitByPr) {
+    const union = [...split.trainPrs, ...split.heldOutPrs, ...split.excludedPrs];
+    const cover = diffPrSets(corpus, union); // missing ⇒ FM(g), extra ⇒ FM(d)
+    const overlaps = {
+        trainHeldOut: intersect(split.trainPrs, split.heldOutPrs),
+        trainExcluded: intersect(split.trainPrs, split.excludedPrs),
+        heldOutExcluded: intersect(split.heldOutPrs, split.excludedPrs),
+    };
+    const heldOutSet = new Set(split.heldOutPrs);
+    const controlsOutsideHeldOut = uniqueSorted([...split.positiveControlPrs, ...split.negativeControlPrs].filter((pr) => !heldOutSet.has(pr)));
+    const controlOverlap = intersect(split.positiveControlPrs, split.negativeControlPrs);
+    const mergeCommitCollisions = mergeCommitCollisionsAcrossSlices(split, mergeCommitByPr);
+    const ok = cover.missing.length === 0 &&
+        cover.extra.length === 0 &&
+        overlaps.trainHeldOut.length === 0 &&
+        overlaps.trainExcluded.length === 0 &&
+        overlaps.heldOutExcluded.length === 0 &&
+        controlsOutsideHeldOut.length === 0 &&
+        controlOverlap.length === 0 &&
+        mergeCommitCollisions.length === 0;
+    return { ok, cover, overlaps, controlsOutsideHeldOut, controlOverlap, mergeCommitCollisions };
+}
+/** SHAs whose owning PRs land in >1 slice. With 1:1 PR→SHA this also catches a malformed straddle. */
+function mergeCommitCollisionsAcrossSlices(split, mergeCommitByPr) {
+    const slices = [split.trainPrs, split.heldOutPrs, split.excludedPrs];
+    const shaSliceCount = new Map();
+    for (const slice of slices) {
+        const shasInSlice = new Set();
+        for (const pr of slice) {
+            const sha = mergeCommitByPr.get(pr);
+            if (sha !== undefined)
+                shasInSlice.add(sha);
+        }
+        for (const sha of shasInSlice)
+            shaSliceCount.set(sha, (shaSliceCount.get(sha) ?? 0) + 1);
+    }
+    return [...shaSliceCount.entries()]
+        .filter(([, n]) => n > 1)
+        .map(([sha]) => sha)
+        .sort();
+}
+/**
+ * Produce a frozen split from the resolved corpus by the forward-chronological
+ * ancestry cut. `corpus` is `selectionRule(asOfCommit)` (the cover base);
+ * `orderedNewestFirst` is the same ancestry enumeration `resolveSelectionRule`
+ * consumes (`git log --topo-order`, newest-first) and MUST cover the corpus.
+ * `excludedPrs` (the atomic revert pairs) are removed from train/heldOut but
+ * remain in the cover. Validates the result and throws `SplitCoverError` on any
+ * cover/disjointness violation (Tenet 4) — a malformed split never freezes.
+ *
+ * CONTRACT (corpus-scope model A, confirmed by totem-codex's #2200 review; pending
+ * strategy-claude's final §5 word): `corpus` is the cover BASE that INCLUDES the
+ * PRs later assigned to `excludedPrs` — i.e. `selectionRule` is resolved here with
+ * reverts retained, and `excludedPrs` enumerates them explicitly, so
+ * `train ⊎ heldOut ⊎ excluded == corpus` holds and every `excludedPr` is a corpus
+ * member. (The alternative — `selectionRule(asOfCommit)` pre-excludes reverts yet
+ * the split still records them in `excludedPrs` — is NOT supported by the current
+ * schema, which rejects excluded PRs outside the corpus; revisit only if strategy
+ * pins that model.) The fail-loud `excludedPrs ⊆ corpus` guard below enforces this.
+ */
+export function resolveSplit(params) {
+    const corpusSet = new Set(params.corpus);
+    const excludedSet = new Set(params.excludedPrs);
+    // Corpus PRs in ancestry order, newest-first, deduped — then reversed to oldest-first.
+    const seen = new Set();
+    const newestFirstCorpus = [];
+    for (const pr of params.orderedNewestFirst) {
+        if (!corpusSet.has(pr) || seen.has(pr))
+            continue;
+        seen.add(pr);
+        newestFirstCorpus.push(pr);
+    }
+    const ordering = diffPrSets(params.corpus, newestFirstCorpus);
+    if (ordering.missing.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: orderedNewestFirst does not cover the corpus (missing ancestry order for [${ordering.missing}])`);
+    }
+    // The merge-commit collision check silently skips PRs absent from the map, so a
+    // partial map would weaken the disjoint-by-merge-commit guard — require coverage.
+    const missingMergeCommits = params.corpus.filter((pr) => !params.mergeCommitByPr.has(pr));
+    if (missingMergeCommits.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: mergeCommitByPr does not cover the corpus (missing merge commits for [${missingMergeCommits}])`);
+    }
+    // excludedPrs MUST be corpus-scoped revert pairs (ADR-111 §5: every listed PR is
+    // a corpus member). A non-corpus entry is a caller contract violation — fail loud
+    // (NOT silently filtered, which would hide the error and break total accounting).
+    const nonCorpusExcluded = params.excludedPrs.filter((pr) => !corpusSet.has(pr));
+    if (nonCorpusExcluded.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: excludedPrs contains PRs outside the corpus [${nonCorpusExcluded}] — excludedPrs must be corpus-scoped (ADR-111 §5)`);
+    }
+    const oldestFirstNonExcluded = [...newestFirstCorpus]
+        .reverse()
+        .filter((pr) => !excludedSet.has(pr));
+    // A certifying split needs BOTH a non-empty train slice and a non-empty held-out
+    // slice — cutIndex 0 (empty train) or == size (empty held-out, which `slice`
+    // reaches by silent clamp) makes the train/test contract vacuous. Fail loud.
+    if (params.cutIndex <= 0 || params.cutIndex >= oldestFirstNonExcluded.length) {
+        throw new Error(`[Totem Error] resolveSplit: cutIndex ${params.cutIndex} must be strictly between 0 and the non-excluded corpus size ${oldestFirstNonExcluded.length} (non-empty train + held-out)`);
+    }
+    const trainPrs = uniqueSorted(oldestFirstNonExcluded.slice(0, params.cutIndex));
+    const heldOutPrs = uniqueSorted(oldestFirstNonExcluded.slice(params.cutIndex));
+    const split = SplitArtifactSchema.parse({
+        asOfCommit: params.asOfCommit,
+        trainPrs,
+        heldOutPrs,
+        excludedPrs: uniqueSorted(params.excludedPrs),
+        positiveControlPrs: uniqueSorted(params.positiveControlPrs ?? []),
+        negativeControlPrs: uniqueSorted(params.negativeControlPrs ?? []),
+        splitRule: { predicate: params.predicate, cutIndex: params.cutIndex },
+    });
+    const validation = validateSplitCover(split, params.corpus, params.mergeCommitByPr);
+    if (!validation.ok)
+        throw new SplitCoverError(validation);
+    return split;
+}
+/** Re-export for callers building the `mergeCommitByPr` map from enumerated metas. */
+export function mergeCommitMap(metas) {
+    return new Map(metas.map((m) => [m.pr, m.mergeCommit]));
+}
+//# sourceMappingURL=split.js.map

package/dist/spine/split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../src/spine/split.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,8EAA8E;AAC9E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,iEAAiE;AAEjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAA+B,MAAM,qBAAqB,CAAC;AAE9E,kGAAkG;AAClG,MAAM,aAAa,GAAG,gBAAgB,CAAC;AAEvC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;AAE7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC;IAC3C,qDAAqD;IACrD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC3B,sFAAsF;IACtF,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC7B,6DAA6D;IAC7D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC9B,oGAAoG;IACpG,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACrC,qEAAqE;IACrE,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;QAClB,+HAA+H;QAC/H,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE;YACvD,OAAO,EAAE,oDAAoD;SAC9D,CAAC;QACF;;;;WAIG;QACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KACzC,CAAC;CACH,CAAC;KACD,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;IACtB,gFAAgF;IAChF,iFAAiF;IACjF,2EAA2E;IAC3E,MAAM,KAAK,GAA+C;QACxD,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;QACxB,CAAC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC;QAC5B,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC;QAC9B,CAAC,oBAAoB,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC5C,CAAC,oBAAoB,EAAE,CAAC,CAAC,kBAAkB,CAAC;KAC7C,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;YACrC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,GAAG,KAAK,yBAAyB;gBAC1C,IAAI,EAAE,CAAC,KAAK,CAAC;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,uGAAuG;AACvG,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACZ;IAA5B,YAA4B,MAAwB;QAClD,KAAK,CACH,mFAAmF,cAAc,CAAC,MAAM,CAAC,EAAE,CAC5G,CAAC;QAHwB,WAAM,GAAN,MAAM,CAAkB;QAIlD,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAqBD,SAAS,YAAY,CAAC,EAAY;IAChC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,CAAW,EAAE,CAAW;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,cAAc,CAAC,CAAmB;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAC;IAC7F,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,aAAa,GAAG,CAAC,CAAC;IAChG,IAAI,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM;QACnC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,eAAe,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,sBAAsB,GAAG,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC;IACzE,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM;QAChC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAoB,EACpB,MAAgB,EAChB,eAA4C;IAE5C,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,iCAAiC;IAE1E,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;QACzD,aAAa,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC;QAC3D,eAAe,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC;KAChE,CAAC;IAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,sBAAsB,GAAG,YAAY,CACzC,CAAC,GAAG,KAAK,CAAC,kBAAkB,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC/F,CAAC;IAEF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACrF,MAAM,qBAAqB,GAAG,iCAAiC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAExF,MAAM,EAAE,GACN,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC1B,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAClC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACnC,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACrC,sBAAsB,CAAC,MAAM,KAAK,CAAC;QACnC,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3B,qBAAqB,CAAC,MAAM,KAAK,CAAC,CAAC;IAErC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,sBAAsB,EAAE,cAAc,EAAE,qBAAqB,EAAE,CAAC;AAChG,CAAC;AAED,sGAAsG;AACtG,SAAS,iCAAiC,CACxC,KAAoB,EACpB,eAA4C;IAE5C,MAAM,MAAM,GAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACjF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,GAAG,KAAK,SAAS;gBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW;YAAE,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;SACnB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAAC,MAU5B;IACC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAEhD,uFAAuF;IACvF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,yGAAyG,QAAQ,CAAC,OAAO,IAAI,CAC9H,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,kFAAkF;IAClF,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,qGAAqG,mBAAmB,IAAI,CAC7H,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,kFAAkF;IAClF,kFAAkF;IAClF,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,4EAA4E,iBAAiB,oDAAoD,CAClJ,CAAC;IACJ,CAAC;IAED,MAAM,sBAAsB,GAAG,CAAC,GAAG,iBAAiB,CAAC;SAClD,OAAO,EAAE;SACT,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,iFAAiF;IACjF,6EAA6E;IAC7E,6EAA6E;IAC7E,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,IAAI,sBAAsB,CAAC,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CACb,wCAAwC,MAAM,CAAC,QAAQ,gEAAgE,sBAAsB,CAAC,MAAM,+BAA+B,CACpL,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE/E,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC;QACtC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ;QACR,UAAU;QACV,WAAW,EAAE,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;QAC7C,kBAAkB,EAAE,YAAY,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACjE,kBAAkB,EAAE,YAAY,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACjE,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;KACtE,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;IACpF,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,MAAM,IAAI,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,cAAc,CAAC,KAAe;IAC5C,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC"}