@mmnto/totem 1.82.0 → 1.84.0

package/dist/spine/authored-controls.test.js

@@ -0,0 +1,507 @@
+import { describe, expect, it, vi } from 'vitest';
+import { AuthoredNonEmissionSchema, deriveAuthoredControls, } from './authored-controls.js';
+import { getRulePolicy } from './rule-policy.js';
+import { resolveSplit, SplitCoverError } from './split.js';
+// Wrap the two cross-module seams in pass-through spies (mirrors compile.test.ts):
+//  - `resolveSplit` — to assert deriveAuthoredControls NEVER routes through it (the
+//    train-side controls use a SEPARATE path); the mirror test still calls the real
+//    impl (vi.fn passes through to `actual`).
+//  - `getRulePolicy` — to drive the §9 producer-mismatch fail-loud guards with a
+//    one-shot wrong policy; every other test passes through to the real frozen one.
+vi.mock('./split.js', async (importOriginal) => {
+    const actual = await importOriginal();
+    return { ...actual, resolveSplit: vi.fn(actual.resolveSplit) };
+});
+vi.mock('./rule-policy.js', async (importOriginal) => {
+    const actual = await importOriginal();
+    return { ...actual, getRulePolicy: vi.fn(actual.getRulePolicy) };
+});
+// ─── Constants ──────────────────────────────────────
+/** A 16-hex `hashLesson` codomain id (the lesson preimageSource's immutable ref). */
+const LESSON_REF = 'deadbeefdeadbeef';
+/** Per-index delay unit for the determinism probe (slow-FIRST). */
+const DELAY_UNIT_MS = 4;
+const sha = (n) => String(n).padStart(40, '0');
+// ─── Fixture / rule helpers ─────────────────────────
+function posFixture(pr, contentHash, filePath = 'src/a.ts') {
+    return {
+        pr,
+        preimageSource: {
+            kind: 'lesson',
+            lessonRef: LESSON_REF,
+            badExample: 'bad()',
+            goodExample: 'good()',
+        },
+        filePath,
+        matchedSpan: 'L1-L2',
+        contentHash,
+    };
+}
+function negFixture(filePath, matchedSpan) {
+    return {
+        filePath,
+        matchedSpan,
+        nearMissSource: { kind: 'lesson', example: 'nearMiss()' },
+    };
+}
+function authoredRule(lessonHash, positiveFixtures, negativeFixtures) {
+    const provenance = {
+        kind: 'authored',
+        author: 'agent-x',
+        authoredAt: '2026-06-01',
+        targetDefect: 'a real lc defect',
+        positiveFixtures,
+        ...(negativeFixtures ? { negativeFixtures } : {}),
+    };
+    return {
+        lessonHash,
+        lessonHeading: 'Authored rule',
+        pattern: 'bad',
+        message: 'no bad',
+        engine: 'regex',
+        compiledAt: '2026-06-01T00:00:00Z',
+        legitimacy: { provenance, positiveControl: true, negativeControl: true },
+    };
+}
+/**
+ * Build the SIDECAR `provenanceByRule` map the reshaped builder reads (D1 fold #1):
+ * `lessonHash → provenance`. `authoredRule` still stamps `legitimacy.provenance` (a
+ * convenient carrier for the test's intent), but the FUNCTION reads only this map —
+ * never `rule.legitimacy` — so routing the same provenance through the map keeps the
+ * tests faithful to the real assembly seam (compiled rules carry no legitimacy there).
+ */
+function provBy(rules) {
+    return new Map(rules.map((r) => [r.lessonHash, r.legitimacy.provenance]));
+}
+/**
+ * Test driver: invoke the reshaped builder with the SIDECAR provenance map (D1 fold #1)
+ * derived from each rule's stamped provenance. The builder reads ONLY the map; this keeps
+ * every existing case faithful to the assembly seam (where compiled rules carry no
+ * legitimacy) without threading the map by hand. Cases that need a DIVERGENT map (missing /
+ * mined provenance) call `deriveAuthoredControls` directly instead.
+ */
+function derive(args) {
+    return deriveAuthoredControls({
+        rules: args.rules,
+        split: args.split,
+        provenanceByRule: provBy(args.rules),
+        ...(args.deps ? { deps: args.deps } : {}),
+    });
+}
+/** A minimal valid SplitArtifact — only `trainPrs` is read by the builder. */
+function splitWithTrain(trainPrs, heldOutPrs = []) {
+    return {
+        asOfCommit: sha(999),
+        trainPrs,
+        heldOutPrs,
+        excludedPrs: [],
+        positiveControlPrs: [],
+        negativeControlPrs: [],
+        splitRule: { predicate: 'code-touching non-bot', cutIndex: Math.max(trainPrs.length, 1) },
+    };
+}
+// ─── Differential-evaluator stubs (no git, no engine) ─
+function makeResult(outcome, reason) {
+    return {
+        outcome,
+        sourceKind: 'lesson',
+        firesOnPreimage: null,
+        silentOnPostimage: null,
+        preimageMatchCount: null,
+        postimageMatchCount: null,
+        ...(reason !== undefined ? { reason } : {}),
+    };
+}
+/** Scripts a differential result per fixture (keyed on its unique contentHash). */
+function scriptedDeps(byContentHash) {
+    return {
+        evaluate: (_rule, fixture) => {
+            const result = byContentHash[fixture.contentHash];
+            if (result === undefined) {
+                throw new Error(`test stub: no scripted result for contentHash '${fixture.contentHash}'`);
+            }
+            return Promise.resolve(result);
+        },
+    };
+}
+/** An evaluator that throws if ever invoked — proves negatives never run the differential. */
+const throwingDeps = {
+    evaluate: () => {
+        throw new Error('the §4 differential must not run for negative (silence-only) controls');
+    },
+};
+/** Slow-FIRST delays: the earliest task waits the longest, so a push-on-settle impl would reorder. */
+function slowFirstDeps(total) {
+    let calls = 0;
+    return {
+        evaluate: (_rule, _fixture) => {
+            const idx = calls++;
+            const delayMs = (total - idx) * DELAY_UNIT_MS;
+            return new Promise((resolve) => setTimeout(() => resolve(makeResult('differential-holds')), delayMs));
+        },
+    };
+}
+// ─── 1. Per-outcome matrix (the §4 gate, exact-equality both directions) ─────
+describe('deriveAuthoredControls — per-outcome matrix', () => {
+    it('emits a positive ONLY for differential-holds; the other 5 outcomes become classed non-emissions', async () => {
+        const rule = authoredRule('rule-auth-1', [
+            posFixture(1, 'ch-holds'),
+            posFixture(2, 'ch-fix'),
+            posFixture(3, 'ch-over'),
+            posFixture(4, 'ch-vac'),
+            posFixture(5, 'ch-needs'),
+            posFixture(6, 'ch-unsup'),
+        ]);
+        const deps = scriptedDeps({
+            'ch-holds': makeResult('differential-holds'),
+            'ch-fix': makeResult('fix-shaped'),
+            'ch-over': makeResult('over-match'),
+            'ch-vac': makeResult('vacuous-silent'),
+            'ch-needs': makeResult('needs-adjudication', 'engine refused: invalid regex'),
+            'ch-unsup': makeResult('unsupported-source', 'commit-pair source deferred to a later slice'),
+        });
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([1, 2, 3, 4, 5, 6]),
+            deps,
+        });
+        // Exactly ONE positive — the holds fixture, carrying ITS locus. This kills
+        // the `outcome !== 'fix-shaped'` mutant (which would emit 5 positives).
+        expect(result.positive).toEqual([
+            { pr: 1, targetRuleId: 'rule-auth-1', filePath: 'src/a.ts', matchedSpan: 'L1-L2' },
+        ]);
+        // The other five are KEPT (never silently dropped) with the exact source outcome
+        // + the correct class.
+        expect(result.nonEmissions).toHaveLength(5);
+        const byOutcome = new Map(result.nonEmissions.map((n) => [n.outcome, n]));
+        expect(byOutcome.get('fix-shaped')).toEqual({
+            targetRuleId: 'rule-auth-1',
+            pr: 2,
+            outcome: 'fix-shaped',
+            class: 'illegitimate',
+        });
+        expect(byOutcome.get('over-match')).toEqual({
+            targetRuleId: 'rule-auth-1',
+            pr: 3,
+            outcome: 'over-match',
+            class: 'illegitimate',
+        });
+        expect(byOutcome.get('vacuous-silent')).toEqual({
+            targetRuleId: 'rule-auth-1',
+            pr: 4,
+            outcome: 'vacuous-silent',
+            class: 'illegitimate',
+        });
+        expect(byOutcome.get('needs-adjudication')).toEqual({
+            targetRuleId: 'rule-auth-1',
+            pr: 5,
+            outcome: 'needs-adjudication',
+            class: 'undecidable',
+            reason: 'engine refused: invalid regex',
+        });
+        expect(byOutcome.get('unsupported-source')).toEqual({
+            targetRuleId: 'rule-auth-1',
+            pr: 6,
+            outcome: 'unsupported-source',
+            class: 'deferred',
+            reason: 'commit-pair source deferred to a later slice',
+        });
+        // Exact-equality, the OTHER direction: NONE of the 5 non-holds outcomes leaked
+        // into positives (the holds one is the sole positive).
+        expect(result.positive.map((p) => p.pr)).toEqual([1]);
+    });
+});
+// ─── 2. Two-loci-one-PR disambiguation (strategy#777 Q1(a)) ──────────────────
+describe('deriveAuthoredControls — two-loci-one-PR disambiguation', () => {
+    it('a PR contributing two distinct-locus fixtures emits ONLY the holding one, carrying ITS locus', async () => {
+        const rule = authoredRule('rule-2loci', [
+            posFixture(7, 'ch-A', 'src/a.ts'),
+            posFixture(7, 'ch-B', 'src/b.ts'),
+        ]);
+        const deps = scriptedDeps({
+            'ch-A': makeResult('differential-holds'),
+            'ch-B': makeResult('fix-shaped'),
+        });
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([7]),
+            deps,
+        });
+        // The positive carries the src/a.ts locus (the holding fixture) — NOT src/b.ts; the
+        // locus disambiguator prevents the wrong-exemplar miscert under a shared pr.
+        expect(result.positive).toEqual([
+            { pr: 7, targetRuleId: 'rule-2loci', filePath: 'src/a.ts', matchedSpan: 'L1-L2' },
+        ]);
+        expect(result.nonEmissions).toEqual([
+            { targetRuleId: 'rule-2loci', pr: 7, outcome: 'fix-shaped', class: 'illegitimate' },
+        ]);
+    });
+    // strategy#777 §6: the LOCUS (filePath, matchedSpan) is the disambiguator, so two
+    // HOLDING fixtures in one PR at DISTINCT loci both emit — even with byte-identical
+    // span content (same contentHash). This is the legitimate two-loci-one-PR rule the
+    // old contentHash key wrongly FORBADE; emitting two is the whole point of the fix.
+    it('emits TWO positives for two HOLDING fixtures sharing a PR at distinct loci (even identical content)', async () => {
+        const rule = authoredRule('rule-2loci-hold', [
+            posFixture(7, 'ch-same', 'src/a.ts'),
+            posFixture(7, 'ch-same', 'src/b.ts'),
+        ]);
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([7]),
+            deps: scriptedDeps({ 'ch-same': makeResult('differential-holds') }),
+        });
+        expect(result.positive).toEqual([
+            { pr: 7, targetRuleId: 'rule-2loci-hold', filePath: 'src/a.ts', matchedSpan: 'L1-L2' },
+            { pr: 7, targetRuleId: 'rule-2loci-hold', filePath: 'src/b.ts', matchedSpan: 'L1-L2' },
+        ]);
+    });
+    // A TRUE duplicate — same pr + filePath + matchedSpan — IS an indistinguishable §6
+    // answer-key entry (a real authoring error, not the two-loci rule): fail loud,
+    // regardless of content hash (here the two fixtures even differ in contentHash).
+    it('throws when two HOLDING fixtures share pr AND filePath AND matchedSpan (same locus)', async () => {
+        const rule = authoredRule('rule-dup-pos', [
+            posFixture(7, 'ch-x', 'src/a.ts'),
+            posFixture(7, 'ch-y', 'src/a.ts'),
+        ]);
+        await expect(derive({
+            rules: [rule],
+            split: splitWithTrain([7]),
+            deps: scriptedDeps({
+                'ch-x': makeResult('differential-holds'),
+                'ch-y': makeResult('differential-holds'),
+            }),
+        })).rejects.toThrow(/duplicate positive control/);
+    });
+    it('throws when two near-misses share filePath AND matchedSpan (indistinguishable negative key)', async () => {
+        const rule = authoredRule('rule-dup-neg', [posFixture(1, 'ch-1')], [negFixture('src/a.ts', 'L1-L2'), negFixture('src/a.ts', 'L1-L2')]);
+        await expect(derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        })).rejects.toThrow(/duplicate negative control/);
+    });
+    // greptile P2 regression guard: the join-key is `JSON.stringify([...])`, NOT a
+    // `\0`-joined template — so two DISTINCT loci that merely shift the delimiter
+    // boundary (filePath 'a.ts' + span 'L1\0L2'  vs  filePath 'a.ts\0L1' + span 'L2')
+    // no longer collide into ONE key. Both emit; the old delimited key falsely threw
+    // "duplicate" on a load-bearing D-join target.
+    it('distinct negative loci with an embedded delimiter do NOT collide (injection-proof key)', async () => {
+        const rule = authoredRule('rule-delim-neg', [posFixture(1, 'ch-1')], [negFixture('a.ts', 'L1\0L2'), negFixture('a.ts\0L1', 'L2')]);
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        });
+        expect(result.negative).toEqual([
+            { targetRuleId: 'rule-delim-neg', filePath: 'a.ts', matchedSpan: 'L1\0L2' },
+            { targetRuleId: 'rule-delim-neg', filePath: 'a.ts\0L1', matchedSpan: 'L2' },
+        ]);
+    });
+});
+// ─── 3. Determinism (Tenet-15; slow-first must NOT reorder) ──────────────────
+describe('deriveAuthoredControls — determinism', () => {
+    it('emits in stable declared order regardless of settle timing, byte-identical across re-runs', async () => {
+        const contentHashes = ['ch-0', 'ch-1', 'ch-2', 'ch-3'];
+        const rule = authoredRule('rule-det', contentHashes.map((ch, i) => posFixture(i + 1, ch)));
+        const split = splitWithTrain([1, 2, 3, 4]);
+        const runA = await derive({
+            rules: [rule],
+            split,
+            deps: slowFirstDeps(contentHashes.length),
+        });
+        const runB = await derive({
+            rules: [rule],
+            split,
+            deps: slowFirstDeps(contentHashes.length),
+        });
+        expect(runA).toEqual(runB);
+        // Declared order preserved — a push-on-settle impl with slow-first delays would
+        // invert this to [4, 3, 2, 1].
+        expect(runA.positive.map((p) => p.pr)).toEqual([1, 2, 3, 4]);
+    });
+});
+// ─── 4. Boundary: never routes through resolveSplit ──────────────────────────
+describe('deriveAuthoredControls — boundary vs resolveSplit', () => {
+    it('does NOT invoke resolveSplit (train-side controls use a SEPARATE path)', async () => {
+        vi.mocked(resolveSplit).mockClear();
+        const rule = authoredRule('rule-bnd', [posFixture(1, 'ch-1')]);
+        await derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        });
+        expect(vi.mocked(resolveSplit)).not.toHaveBeenCalled();
+    });
+    it('mirror: a TRAIN pr fed as a resolveSplit positive control throws (controls⊄heldOut) — WHY the separate path exists', () => {
+        const corpus = [1, 2, 3];
+        const mergeCommitByPr = new Map(corpus.map((pr) => [pr, sha(pr)]));
+        // cutIndex 2 → train [1,2], heldOut [3]; pr 1 is TRAIN, so as a positive control
+        // it violates controls ⊆ heldOut — the exact leakage the C2b path sidesteps.
+        expect(() => resolveSplit({
+            asOfCommit: sha(999),
+            corpus,
+            orderedNewestFirst: [3, 2, 1],
+            excludedPrs: [],
+            cutIndex: 2,
+            positiveControlPrs: [1],
+            negativeControlPrs: [],
+            predicate: 'code-touching',
+            mergeCommitByPr,
+        })).toThrow(SplitCoverError);
+    });
+});
+// ─── 5. Fail-loud guards (§5 leakage + §9 producer mismatch) ─────────────────
+describe('deriveAuthoredControls — fail-loud guards', () => {
+    it('throws when a positive fixture pr is held-out (∉ trainPrs) — an ADR-112 §5 leakage violation', async () => {
+        const rule = authoredRule('rule-leak', [posFixture(99, 'ch-leak')]);
+        await expect(derive({
+            rules: [rule],
+            split: splitWithTrain([1, 2], [99]), // 99 is held-out, not train
+            deps: scriptedDeps({ 'ch-leak': makeResult('differential-holds') }),
+        })).rejects.toThrow(/leakage/i);
+    });
+    it('throws when authored policy.positiveControlSide is not train (§6 producer mismatch)', async () => {
+        vi.mocked(getRulePolicy).mockReturnValueOnce({
+            labelScope: 'whole-window',
+            positiveControlSide: 'held-out',
+            exposureControlSide: 'held-out',
+            positiveControlGate: 'preimage-differential',
+        });
+        const rule = authoredRule('rule-pol', [posFixture(1, 'ch-1')]);
+        await expect(derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        })).rejects.toThrow(/positiveControlSide/);
+    });
+    it('throws when authored policy.positiveControlGate is not preimage-differential (§4 producer mismatch)', async () => {
+        vi.mocked(getRulePolicy).mockReturnValueOnce({
+            labelScope: 'whole-window',
+            positiveControlSide: 'train',
+            exposureControlSide: 'train',
+            positiveControlGate: 'none',
+        });
+        const rule = authoredRule('rule-pol2', [posFixture(1, 'ch-1')]);
+        await expect(derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        })).rejects.toThrow(/positiveControlGate/);
+    });
+});
+// ─── 6. Negatives are DECLARATIVE (no differential, no silence gate) ─────────
+describe('deriveAuthoredControls — declarative negatives', () => {
+    it('emits every declared near-miss as {targetRuleId,filePath,matchedSpan} WITHOUT running the evaluator', async () => {
+        const rule = authoredRule('rule-neg', [], // no positive fixtures → the evaluator must never run
+        [negFixture('src/x.ts', 'L5-L9'), negFixture('src/y.ts', 'N[2]')]);
+        // A throwing evaluator proves the §4 differential/smoke-gate is NOT invoked for
+        // negatives — a near-miss is emitted even though no evaluator runs on it.
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: throwingDeps,
+        });
+        expect(result.negative).toEqual([
+            { targetRuleId: 'rule-neg', filePath: 'src/x.ts', matchedSpan: 'L5-L9' },
+            { targetRuleId: 'rule-neg', filePath: 'src/y.ts', matchedSpan: 'N[2]' },
+        ]);
+        expect(result.positive).toEqual([]);
+        expect(result.nonEmissions).toEqual([]);
+    });
+    it('emits negatives alongside positives in stable rule/declared order', async () => {
+        const rule = authoredRule('rule-mixed', [posFixture(1, 'ch-1')], [negFixture('src/n.ts', 'L1')]);
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        });
+        expect(result.positive).toEqual([
+            { pr: 1, targetRuleId: 'rule-mixed', filePath: 'src/a.ts', matchedSpan: 'L1-L2' },
+        ]);
+        expect(result.negative).toEqual([
+            { targetRuleId: 'rule-mixed', filePath: 'src/n.ts', matchedSpan: 'L1' },
+        ]);
+    });
+});
+// ─── 7. positiveControlGate present + frozen on both policies ────────────────
+describe('positiveControlGate — present + frozen (§4 / strategy#777 Q3(ii))', () => {
+    it('mined gate is none, authored gate is preimage-differential', () => {
+        expect(getRulePolicy('mined').positiveControlGate).toBe('none');
+        expect(getRulePolicy('authored').positiveControlGate).toBe('preimage-differential');
+    });
+    it('the policy is frozen — a caller cannot flip the gate process-wide', () => {
+        const policy = getRulePolicy('authored');
+        expect(Object.isFrozen(policy)).toBe(true);
+        expect(() => Object.assign(policy, { positiveControlGate: 'none' })).toThrow();
+    });
+    it('deriveAuthoredControls reads the (real) authored policy and completes on valid input', async () => {
+        const rule = authoredRule('rule-ok', [posFixture(1, 'ch-1')]);
+        const result = await derive({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        });
+        expect(result.positive).toHaveLength(1);
+    });
+});
+// ─── 8. Sidecar provenance (D1 fold #1): the builder reads ONLY provenanceByRule ──
+describe('deriveAuthoredControls — sidecar provenance (D1 fold #1)', () => {
+    it('throws when a rule has no provenance in provenanceByRule (sidecar miss)', async () => {
+        const rule = authoredRule('rule-sidecar-miss', [posFixture(1, 'ch-1')]);
+        await expect(deriveAuthoredControls({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            provenanceByRule: new Map(), // empty: the rule's lessonHash is absent
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        })).rejects.toThrow(/no provenance in provenanceByRule/);
+    });
+    it('throws when the sidecar provenance is MINED, never reading rule.legitimacy', async () => {
+        const rule = authoredRule('rule-sidecar-mined', [posFixture(1, 'ch-1')]);
+        // The sidecar entry is MINED even though the rule's (now-ignored) legitimacy is
+        // authored — proving the function reads the MAP, not rule.legitimacy.
+        const minedProv = { mergedPr: 1, reviewThread: 'pr#1', commitSha: sha(1) };
+        await expect(deriveAuthoredControls({
+            rules: [rule],
+            split: splitWithTrain([1]),
+            provenanceByRule: new Map([[rule.lessonHash, minedProv]]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        })).rejects.toThrow(/is not authored/);
+    });
+    it('emits from a rule with NO legitimacy — the REAL assembly-seam shape (provenance only from the map)', async () => {
+        // The cert-assembly seam passes compiled rules that carry no `legitimacy` (stamped
+        // post-scoring); provenance rides the `c.provenance` sidecar. Drop legitimacy here so
+        // the happy path runs against that exact shape — proving the builder needs only the map.
+        // `ruleNoLegit` is typed `Omit<CompiledRule, 'legitimacy'>` — the field is gone at the
+        // type level (and at runtime), exactly the compiled-rule shape at the assembly seam.
+        const { legitimacy, ...ruleNoLegit } = authoredRule('rule-no-legit', [posFixture(1, 'ch-1')]);
+        const result = await deriveAuthoredControls({
+            rules: [ruleNoLegit],
+            split: splitWithTrain([1]),
+            provenanceByRule: new Map([[ruleNoLegit.lessonHash, legitimacy.provenance]]),
+            deps: scriptedDeps({ 'ch-1': makeResult('differential-holds') }),
+        });
+        expect(result.positive).toEqual([
+            { pr: 1, targetRuleId: 'rule-no-legit', filePath: 'src/a.ts', matchedSpan: 'L1-L2' },
+        ]);
+    });
+});
+// ─── Exported boundary guard (CR outside-diff): the schema must reject what the
+// trichotomy makes structurally impossible, not merely admit any enum member. ──
+describe('AuthoredNonEmissionSchema — outcome/class boundary guard', () => {
+    const base = { targetRuleId: 'rule-x', pr: 1, outcome: 'fix-shaped', class: 'illegitimate' };
+    it('accepts a well-formed non-emission (outcome → its classOf class)', () => {
+        expect(AuthoredNonEmissionSchema.safeParse(base).success).toBe(true);
+    });
+    it('rejects the EMITTING outcome — a non-emission can never carry differential-holds', () => {
+        expect(AuthoredNonEmissionSchema.safeParse({ ...base, outcome: 'differential-holds' }).success).toBe(false);
+    });
+    it('rejects a class that contradicts its outcome (classOf mismatch)', () => {
+        // needs-adjudication is `undecidable`, never `illegitimate`.
+        expect(AuthoredNonEmissionSchema.safeParse({
+            ...base,
+            outcome: 'needs-adjudication',
+            class: 'illegitimate',
+        }).success).toBe(false);
+    });
+});
+//# sourceMappingURL=authored-controls.test.js.map

package/dist/spine/authored-controls.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-controls.test.js","sourceRoot":"","sources":["../../src/spine/authored-controls.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AASlD,OAAO,EAEL,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAsB,eAAe,EAAE,MAAM,YAAY,CAAC;AAE/E,mFAAmF;AACnF,oFAAoF;AACpF,oFAAoF;AACpF,8CAA8C;AAC9C,iFAAiF;AACjF,oFAAoF;AACpF,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE;IAC7C,MAAM,MAAM,GAAG,MAAM,cAAc,EAA+B,CAAC;IACnE,OAAO,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;AACjE,CAAC,CAAC,CAAC;AACH,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE;IACnD,MAAM,MAAM,GAAG,MAAM,cAAc,EAAqC,CAAC;IACzE,OAAO,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,uDAAuD;AAEvD,qFAAqF;AACrF,MAAM,UAAU,GAAG,kBAAkB,CAAC;AACtC,mEAAmE;AACnE,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAE/D,uDAAuD;AAEvD,SAAS,UAAU,CAAC,EAAU,EAAE,WAAmB,EAAE,QAAQ,GAAG,UAAU;IACxE,OAAO;QACL,EAAE;QACF,cAAc,EAAE;YACd,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,UAAU;YACrB,UAAU,EAAE,OAAO;YACnB,WAAW,EAAE,QAAQ;SACtB;QACD,QAAQ;QACR,WAAW,EAAE,OAAO;QACpB,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB,EAAE,WAAmB;IACvD,OAAO;QACL,QAAQ;QACR,WAAW;QACX,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,UAAkB,EAClB,gBAAmC,EACnC,gBAA4C;IAE5C,MAAM,UAAU,GAA6B;QAC3C,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,YAAY;QACxB,YAAY,EAAE,kBAAkB;QAChC,gBAAgB;QAChB,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClD,CAAC;IACF,OAAO;QACL,UAAU;QACV,aAAa,EAAE,eAAe;QAC9B,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,OAAO;QACf,UAAU,EAAE,sBAAsB;QAClC,UAAU,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE;KACzE,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,KAAqB;IACnC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,IAIf;IACC,OAAO,sBAAsB,CAAC;QAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc,CAAC,QAAkB,EAAE,aAAuB,EAAE;IACnE,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;QACpB,QAAQ;QACR,UAAU;QACV,WAAW,EAAE,EAAE;QACf,kBAAkB,EAAE,EAAE;QACtB,kBAAkB,EAAE,EAAE;QACtB,SAAS,EAAE,EAAE,SAAS,EAAE,uBAAuB,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE;KAC1F,CAAC;AACJ,CAAC;AAED,yDAAyD;AAEzD,SAAS,UAAU,CACjB,OAAoC,EACpC,MAAe;IAEf,OAAO;QACL,OAAO;QACP,UAAU,EAAE,QAAQ;QACpB,eAAe,EAAE,IAAI;QACrB,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,IAAI;QACzB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,YAAY,CACnB,aAAyD;IAEzD,OAAO;QACL,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;YAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,kDAAkD,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;YAC5F,CAAC;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,YAAY,GAAyB;IACzC,QAAQ,EAAE,GAAG,EAAE;QACb,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,CAAC;CACF,CAAC;AAEF,sGAAsG;AACtG,SAAS,aAAa,CAAC,KAAa;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO;QACL,QAAQ,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;YAC5B,MAAM,GAAG,GAAG,KAAK,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC;YAC9C,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7B,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,EAAE,OAAO,CAAC,CACrE,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,iGAAiG,EAAE,KAAK,IAAI,EAAE;QAC/G,MAAM,IAAI,GAAG,YAAY,CAAC,aAAa,EAAE;YACvC,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC;YACzB,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC;YACvB,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC;YACxB,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC;YACvB,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC;YACzB,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,YAAY,CAAC;YACxB,UAAU,EAAE,UAAU,CAAC,oBAAoB,CAAC;YAC5C,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC;YAClC,SAAS,EAAE,UAAU,CAAC,YAAY,CAAC;YACnC,QAAQ,EAAE,UAAU,CAAC,gBAAgB,CAAC;YACtC,UAAU,EAAE,UAAU,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;YAC7E,UAAU,EAAE,UAAU,CAAC,oBAAoB,EAAE,8CAA8C,CAAC;SAC7F,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI;SACL,CAAC,CAAC;QAEH,2EAA2E;QAC3E,wEAAwE;QACxE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;SACnF,CAAC,CAAC;QAEH,iFAAiF;QACjF,uBAAuB;QACvB,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1C,YAAY,EAAE,aAAa;YAC3B,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1C,YAAY,EAAE,aAAa;YAC3B,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9C,YAAY,EAAE,aAAa;YAC3B,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,gBAAgB;YACzB,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YAClD,YAAY,EAAE,aAAa;YAC3B,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,+BAA+B;SACxC,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YAClD,YAAY,EAAE,aAAa;YAC3B,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,8CAA8C;SACvD,CAAC,CAAC;QAEH,+EAA+E;QAC/E,uDAAuD;QACvD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,8FAA8F,EAAE,KAAK,IAAI,EAAE;QAC5G,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE;YACtC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC;YACjC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,YAAY,CAAC;YACxB,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC;YACxC,MAAM,EAAE,UAAU,CAAC,YAAY,CAAC;SACjC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI;SACL,CAAC,CAAC;QAEH,oFAAoF;QACpF,6EAA6E;QAC7E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;SAClF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YAClC,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE;SACpF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,kFAAkF;IAClF,mFAAmF;IACnF,mFAAmF;IACnF,mFAAmF;IACnF,EAAE,CAAC,qGAAqG,EAAE,KAAK,IAAI,EAAE;QACnH,MAAM,IAAI,GAAG,YAAY,CAAC,iBAAiB,EAAE;YAC3C,UAAU,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC;YACpC,UAAU,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC;SACrC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACpE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;YACtF,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;SACvF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,mFAAmF;IACnF,+EAA+E;IAC/E,iFAAiF;IACjF,EAAE,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;QACnG,MAAM,IAAI,GAAG,YAAY,CAAC,cAAc,EAAE;YACxC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC;YACjC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,MAAM,CACV,MAAM,CAAC;YACL,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC;gBACjB,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC;gBACxC,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC;aACzC,CAAC;SACH,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,KAAK,IAAI,EAAE;QAC3G,MAAM,IAAI,GAAG,YAAY,CACvB,cAAc,EACd,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACvB,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CACnE,CAAC;QACF,MAAM,MAAM,CACV,MAAM,CAAC;YACL,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,8EAA8E;IAC9E,kFAAkF;IAClF,iFAAiF;IACjF,+CAA+C;IAC/C,EAAE,CAAC,wFAAwF,EAAE,KAAK,IAAI,EAAE;QACtG,MAAM,IAAI,GAAG,YAAY,CACvB,gBAAgB,EAChB,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACvB,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAC7D,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE;YAC3E,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,YAAY,CACvB,UAAU,EACV,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CACpD,CAAC;QACF,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAE3C,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC;YACxB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK;YACL,IAAI,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC;YACxB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK;YACL,IAAI,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,gFAAgF;QAChF,+BAA+B;QAC/B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAE/D,MAAM,MAAM,CAAC;YACX,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oHAAoH,EAAE,GAAG,EAAE;QAC5H,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,iFAAiF;QACjF,6EAA6E;QAC7E,MAAM,CAAC,GAAG,EAAE,CACV,YAAY,CAAC;YACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7B,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,kBAAkB,EAAE,CAAC,CAAC,CAAC;YACvB,kBAAkB,EAAE,EAAE;YACtB,SAAS,EAAE,eAAe;YAC1B,eAAe;SAChB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,8FAA8F,EAAE,KAAK,IAAI,EAAE;QAC5G,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,MAAM,CACV,MAAM,CAAC;YACL,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,4BAA4B;YACjE,IAAI,EAAE,YAAY,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACpE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;QACnG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,mBAAmB,CAAC;YAC3C,UAAU,EAAE,cAAc;YAC1B,mBAAmB,EAAE,UAAU;YAC/B,mBAAmB,EAAE,UAAU;YAC/B,mBAAmB,EAAE,uBAAuB;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,MAAM,CACV,MAAM,CAAC;YACL,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qGAAqG,EAAE,KAAK,IAAI,EAAE;QACnH,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,mBAAmB,CAAC;YAC3C,UAAU,EAAE,cAAc;YAC1B,mBAAmB,EAAE,OAAO;YAC5B,mBAAmB,EAAE,OAAO;YAC5B,mBAAmB,EAAE,MAAM;SAC5B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,MAAM,CACV,MAAM,CAAC;YACL,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,qGAAqG,EAAE,KAAK,IAAI,EAAE;QACnH,MAAM,IAAI,GAAG,YAAY,CACvB,UAAU,EACV,EAAE,EAAE,sDAAsD;QAC1D,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAClE,CAAC;QAEF,gFAAgF;QAChF,0EAA0E;QAC1E,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;YACxE,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE;SACxE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,IAAI,GAAG,YAAY,CACvB,YAAY,EACZ,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACvB,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAC/B,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;SAClF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE;SACxE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,mEAAmE,EAAE,GAAG,EAAE;IACjF,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;QACpG,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC;YAC1B,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,qFAAqF;AAErF,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,IAAI,GAAG,YAAY,CAAC,mBAAmB,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,MAAM,CACV,sBAAsB,CAAC;YACrB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE,EAAE,yCAAyC;YACtE,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,IAAI,GAAG,YAAY,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACzE,gFAAgF;QAChF,sEAAsE;QACtE,MAAM,SAAS,GAAqB,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,MAAM,MAAM,CACV,sBAAsB,CAAC;YACrB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;YACzD,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oGAAoG,EAAE,KAAK,IAAI,EAAE;QAClH,mFAAmF;QACnF,sFAAsF;QACtF,yFAAyF;QACzF,uFAAuF;QACvF,qFAAqF;QACrF,MAAM,EAAE,UAAU,EAAE,GAAG,WAAW,EAAE,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC;YAC1C,KAAK,EAAE,CAAC,WAAW,CAAC;YACpB,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,UAAW,CAAC,UAAU,CAAC,CAAC,CAAC;YAC7E,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;YAC9B,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;SACrF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AACjF,iFAAiF;AAEjF,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,MAAM,IAAI,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAE7F,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,yBAAyB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CACJ,yBAAyB,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,CAAC,OAAO,CACxF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,6DAA6D;QAC7D,MAAM,CACJ,yBAAyB,CAAC,SAAS,CAAC;YAClC,GAAG,IAAI;YACP,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC,OAAO,CACX,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -12,11 +12,19 @@ export type ProducerKind = 'mined' | 'authored';
  *                              authored against the train slice).
  *   - `exposureControlSide`  — §5.3: which slice `positiveControlsExercised`
  *                              counts. Mirrors `positiveControlSide`.
+ *   - `positiveControlGate`  — §4 (strategy#777 Q3(ii)): how a positive control is
+ *                              admitted. Mined controls are corpus-firing evidence
+ *                              (`none`); authored controls must clear the
+ *                              preimage-differential gate (fire-on-preimage /
+ *                              silent-on-postimage). FROZEN-ENUM DATA only — no
+ *                              consumer branches on the table itself (Tenet 9); the
+ *                              authored-controls builder READS it as the §9 home.
  */
 export interface RulePolicy {
     readonly labelScope: 'held-out-only' | 'whole-window';
     readonly positiveControlSide: 'held-out' | 'train';
     readonly exposureControlSide: 'held-out' | 'train';
+    readonly positiveControlGate: 'none' | 'preimage-differential';
 }
 /**
  * ADR-112 §9 — resolve the override config for a producer kind. Pure +

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

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

package/dist/spine/rule-policy.js

@@ -17,11 +17,13 @@ const MINED_POLICY = Object.freeze({
     labelScope: 'held-out-only',
     positiveControlSide: 'held-out',
     exposureControlSide: 'held-out',
+    positiveControlGate: 'none',
 });
 const AUTHORED_POLICY = Object.freeze({
     labelScope: 'whole-window',
     positiveControlSide: 'train',
     exposureControlSide: 'train',
+    positiveControlGate: 'preimage-differential',
 });
 /**
  * ADR-112 §9 — resolve the override config for a producer kind. Pure +

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

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

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

@@ -1,23 +1,29 @@
 import { describe, expect, it } from 'vitest';
 import { getRulePolicy } from './rule-policy.js';
 describe('getRulePolicy (ADR-112 §9 single-home)', () => {
-    it('mined → held-out-only label scope + held-out controls (the LIVE, byte-identical path)', () => {
+    it('mined → held-out-only label scope + held-out controls + no positive-control gate (the LIVE, byte-identical path)', () => {
         expect(getRulePolicy('mined')).toEqual({
             labelScope: 'held-out-only',
             positiveControlSide: 'held-out',
             exposureControlSide: 'held-out',
+            positiveControlGate: 'none',
         });
     });
-    it('authored → whole-window labels + train-side controls (DEFINED for slice D; not yet wired live)', () => {
+    it('authored → whole-window labels + train-side controls + preimage-differential gate (DEFINED for slice C2b/D)', () => {
         expect(getRulePolicy('authored')).toEqual({
             labelScope: 'whole-window',
             positiveControlSide: 'train',
             exposureControlSide: 'train',
+            positiveControlGate: 'preimage-differential',
         });
     });
     it('mined and authored diverge on label scope (the §9 amendment the scorer reads in slice D)', () => {
         expect(getRulePolicy('mined').labelScope).not.toBe(getRulePolicy('authored').labelScope);
     });
+    it('mined and authored diverge on the positive-control gate (§4 — authored is differential-gated)', () => {
+        expect(getRulePolicy('mined').positiveControlGate).toBe('none');
+        expect(getRulePolicy('authored').positiveControlGate).toBe('preimage-differential');
+    });
     it('returns a frozen singleton — a caller cannot mutate policy resolution process-wide (#2259)', () => {
         const policy = getRulePolicy('mined');
         // Frozen ⇒ any property write throws in strict mode (ESM), so policy resolution can't be

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

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