@mmnto/totem 1.67.0 → 1.68.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/selection-rule.d.ts

@@ -16,7 +16,10 @@ export interface SelectionRuleConfig {
     excludeBotPrs: boolean;
     /**
      * Corpus window. `all` = every qualifying PR reachable from `asOfCommit`;
-     * `bounded` = the `n` MOST-RECENT qualifying PRs (newest-first by merge order).
+     * `bounded` = the `n` MOST-RECENT qualifying PRs. "Most recent" is by ANCESTRY
+     * (topological) order, NOT commit-date (ADR-110 §6 ancestry-not-timestamp): the
+     * caller enumerates `metas` newest-first via `git log --topo-order`, and this
+     * function takes the first `n` qualifying — see `resolveSelectionRule`.
      */
     window: {
         type: 'all';

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

@@ -1 +1 @@
-{"version":3,"file":"selection-rule.d.ts","sourceRoot":"","sources":["../../src/spine/selection-rule.ts"],"names":[],"mappings":"AAYA;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,0EAA0E;AAC1E,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,gFAAgF;IAChF,kBAAkB,EAAE,OAAO,CAAC;IAC5B,iEAAiE;IACjE,aAAa,EAAE,OAAO,CAAC;IACvB;;;OAGG;IACH,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1D;AAED,kFAAkF;AAClF,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,WAAW,EAAE,OAAO,CAAC;IACrB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,qFAAqF;AACrF,MAAM,WAAW,SAAS;IACxB,wCAAwC;IACxC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wCAAwC;IACxC,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wFAAwF;AACxF,qBAAa,uBAAwB,SAAQ,KAAK;aACpB,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAM5C;AAuED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,kBAAkB,GAAG,OAAO,CAQ9F;AAID;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAIrD;AAID,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGrE;AAOD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAY5D;AAID;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAKzF;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,mBAAmB,GAAG,MAAM,EAAE,CAwB3F;AAID,mFAAmF;AACnF,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAM1E;AAED,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAGzE"}
+{"version":3,"file":"selection-rule.d.ts","sourceRoot":"","sources":["../../src/spine/selection-rule.ts"],"names":[],"mappings":"AAYA;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,0EAA0E;AAC1E,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,gFAAgF;IAChF,kBAAkB,EAAE,OAAO,CAAC;IAC5B,iEAAiE;IACjE,aAAa,EAAE,OAAO,CAAC;IACvB;;;;;;OAMG;IACH,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1D;AAED,kFAAkF;AAClF,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,WAAW,EAAE,OAAO,CAAC;IACrB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,qFAAqF;AACrF,MAAM,WAAW,SAAS;IACxB,wCAAwC;IACxC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wCAAwC;IACxC,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wFAAwF;AACxF,qBAAa,uBAAwB,SAAQ,KAAK;aACpB,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAM5C;AAuED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,kBAAkB,GAAG,OAAO,CAQ9F;AAID;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAIrD;AAID,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGrE;AAOD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAY5D;AAID;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAKzF;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,mBAAmB,GAAG,MAAM,EAAE,CAyB3F;AAID,mFAAmF;AACnF,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAM1E;AAED,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAGzE"}

package/dist/spine/selection-rule.js

@@ -182,8 +182,9 @@ export function resolveSelectionRule(metas, config) {
         }
     }
     const isRevertedTarget = (mergeCommit) => revertedTargetShas.some((t) => mergeCommit.toLowerCase().startsWith(t));
-    // Qualifying PRs in INPUT order — the caller passes them in git-log order
-    // (newest-first), so a bounded window's "most recent N" is the first N here.
+    // Qualifying PRs in INPUT order — the caller passes them in `git log --topo-order`
+    // order (ancestry newest-first, NOT commit-date; ADR-110 §6 ancestry-not-timestamp),
+    // so a bounded window's "most recent N" is the first N here.
     const qualifying = [];
     const seen = new Set();
     for (const m of metas) {

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

@@ -1 +1 @@
-{"version":3,"file":"selection-rule.js","sourceRoot":"","sources":["../../src/spine/selection-rule.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,kDAAkD;AAmDlD,wFAAwF;AACxF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACpB;IAA5B,YAA4B,OAAe;QACzC,KAAK,CACH,6FAA6F,OAAO,EAAE,CACvG,CAAC;QAHwB,YAAO,GAAP,OAAO,CAAQ;QAIzC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,gFAAgF;AAEhF,SAAS,eAAe,CAAC,EAAU;IACjC,OAAO,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACxD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACrB,EAAE,IAAI,aAAa,CAAC,CAAC,yDAAyD;oBAC9E,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,CAAC;oBACN,EAAE,IAAI,IAAI,CAAC,CAAC,6CAA6C;oBACzD,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,EAAE,IAAI,OAAO,CAAC,CAAC,mCAAmC;gBAClD,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,EAAE,IAAI,MAAM,CAAC;YACb,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,CAAC;qBACX,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;qBACjB,KAAK,CAAC,GAAG,CAAC;qBACV,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,4BAA4B;gBACzF,EAAE,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,4BAA4B;gBAC3D,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;gBACpD,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC5C,SAAS,SAAS,CAAC,QAAgB,EAAE,IAAY;IAC/C,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACxB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,YAAsB,EAAE,UAA8B;IACnF,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,iBAAiB,GAAG,2CAA2C,CAAC;AAEtE,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,gFAAgF;AAEhF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC;AAC3C,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;IAC5D,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,gCAAgC;IAC9E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,MAA2B;IAC9E,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,kBAAkB,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,IAAI,MAAM,CAAC,aAAa,IAAI,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,kBAAkB,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,MAA2B;IAC/E,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,UAAU;gBAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,MAAM,gBAAgB,GAAG,CAAC,WAAmB,EAAW,EAAE,CACxD,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1E,0EAA0E;IAC1E,6EAA6E;IAC7E,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,MAAM,CAAC;YAAE,SAAS;QACjD,IAAI,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC;YAAE,SAAS;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,QAAQ,GACZ,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACvF,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,iFAAiF;AAEjF,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,QAAkB,EAAE,MAAgB;IAC7D,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,QAAkB,EAAE,MAAgB;IAC9D,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AACxD,CAAC"}
+{"version":3,"file":"selection-rule.js","sourceRoot":"","sources":["../../src/spine/selection-rule.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,kDAAkD;AAsDlD,wFAAwF;AACxF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACpB;IAA5B,YAA4B,OAAe;QACzC,KAAK,CACH,6FAA6F,OAAO,EAAE,CACvG,CAAC;QAHwB,YAAO,GAAP,OAAO,CAAQ;QAIzC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,gFAAgF;AAEhF,SAAS,eAAe,CAAC,EAAU;IACjC,OAAO,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACxD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACrB,EAAE,IAAI,aAAa,CAAC,CAAC,yDAAyD;oBAC9E,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,CAAC;oBACN,EAAE,IAAI,IAAI,CAAC,CAAC,6CAA6C;oBACzD,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,EAAE,IAAI,OAAO,CAAC,CAAC,mCAAmC;gBAClD,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,EAAE,IAAI,MAAM,CAAC;YACb,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,CAAC;qBACX,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;qBACjB,KAAK,CAAC,GAAG,CAAC;qBACV,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,4BAA4B;gBACzF,EAAE,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,4BAA4B;gBAC3D,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;gBACpD,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC5C,SAAS,SAAS,CAAC,QAAgB,EAAE,IAAY;IAC/C,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACxB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,YAAsB,EAAE,UAA8B;IACnF,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,iBAAiB,GAAG,2CAA2C,CAAC;AAEtE,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,gFAAgF;AAEhF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC;AAC3C,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;IAC5D,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,gCAAgC;IAC9E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,MAA2B;IAC9E,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,kBAAkB,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,IAAI,MAAM,CAAC,aAAa,IAAI,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,kBAAkB,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,MAA2B;IAC/E,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,UAAU;gBAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,MAAM,gBAAgB,GAAG,CAAC,WAAmB,EAAW,EAAE,CACxD,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1E,mFAAmF;IACnF,qFAAqF;IACrF,6DAA6D;IAC7D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,MAAM,CAAC;YAAE,SAAS;QACjD,IAAI,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC;YAAE,SAAS;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,QAAQ,GACZ,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACvF,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,iFAAiF;AAEjF,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,QAAkB,EAAE,MAAgB;IAC7D,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,QAAkB,EAAE,MAAgB;IAC9D,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AACxD,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"}