@mmnto/cli 1.69.0 → 1.70.1

package/dist/commands/spine-llm-adapters.test.js

@@ -0,0 +1,395 @@
+import { afterEach, describe, expect, it, vi } from 'vitest';
+import { wrapUntrustedXml } from '@mmnto/totem';
+import { assertLiveLlmAllowed, assertPipelineProductive, buildClassifyUserPrompt, buildExtractUserPrompt, buildReplayProvenance, LiveDraftClassifier, LiveDraftExtractor, LiveLlmInCiError, LlmAdapterConfigError, MINER_CLASSIFY_SYSTEM_PROMPT, MINER_EXTRACT_SYSTEM_PROMPT, parseClassifierOutput, parseExtractorOutput, SystemicPipelineError, verifyLlmAdapterConfig, wrapUntrusted, } from './spine-llm-adapters.js';
+import { ClassifierResultLocalSchema, computeArtifactHash, RecordingDraftClassifier, RecordingDraftExtractor, ReplayArtifactSchema, ReplayDraftClassifier, ReplayDraftExtractor, ReplayProvenanceSchema, ReplayRecordSink, } from './spine-llm-replay.js';
+const MERGE_SHA = 'a'.repeat(40);
+// ─── Stub LLM seam (deterministic; NO network, NO real LLM) ──────────────────
+function stubInvoke(content) {
+    return () => Promise.resolve({ content, inputTokens: null, outputTokens: null, durationMs: 0 });
+}
+/** A seam that throws — models a dead provider / network failure on every call. */
+function throwingInvoke() {
+    return () => Promise.reject(new Error('boom: provider unreachable'));
+}
+/** A seam whose output depends on the prompt — lets one stub serve many inputs. */
+function routedInvoke(route) {
+    return (opts) => Promise.resolve({
+        content: route(opts.prompt),
+        inputTokens: null,
+        outputTokens: null,
+        durationMs: 0,
+    });
+}
+// Construct live adapters with a NON-CI env by default so the fold-H guard does
+// not trip when this very suite runs under CI.
+const NO_CI = {};
+function makeExtractor(invoke, env = NO_CI) {
+    return new LiveDraftExtractor({
+        invoke,
+        model: 'test-model',
+        cwd: '/tmp',
+        totemDir: '.totem',
+        provider: 'anthropic',
+        credentialPresent: true,
+        env,
+    });
+}
+function makeClassifier(invoke, env = NO_CI) {
+    return new LiveDraftClassifier({
+        invoke,
+        model: 'test-model',
+        cwd: '/tmp',
+        totemDir: '.totem',
+        provider: 'anthropic',
+        credentialPresent: true,
+        env,
+    });
+}
+function content(opts) {
+    return {
+        pr: opts?.pr ?? 100,
+        mergeCommitSha: MERGE_SHA,
+        threads: opts?.threads ?? [
+            {
+                path: 'a.ts',
+                isResolved: false,
+                isOutdated: false,
+                comments: [{ author: 'jane', body: 'no exec' }],
+            },
+        ],
+    };
+}
+function draft(dslSource = '**Pattern:** no-foo') {
+    return {
+        provenance: { mergedPr: 100, reviewThread: 'pulls/100/comments', commitSha: MERGE_SHA },
+        dslSource,
+    };
+}
+// ─── 1. Extractor output parse ────────────────────────
+describe('parseExtractorOutput', () => {
+    it('parses a JSON array of DSL bodies', () => {
+        expect(parseExtractorOutput('["**Pattern:** a", "**Pattern:** b"]')).toEqual([
+            '**Pattern:** a',
+            '**Pattern:** b',
+        ]);
+    });
+    it('treats the NONE sentinel (any case) as an empty draft', () => {
+        expect(parseExtractorOutput('NONE')).toEqual([]);
+        expect(parseExtractorOutput('  none  ')).toEqual([]);
+    });
+    it('returns [] on empty / non-JSON / non-array output (fail-soft, never throws)', () => {
+        expect(parseExtractorOutput('')).toEqual([]);
+        expect(parseExtractorOutput('here are some lessons:')).toEqual([]);
+        expect(parseExtractorOutput('{"disposition":"structural"}')).toEqual([]);
+        expect(parseExtractorOutput('42')).toEqual([]);
+    });
+    it('strips a markdown code fence and parses the inner JSON', () => {
+        expect(parseExtractorOutput('```json\n["**Pattern:** x"]\n```')).toEqual(['**Pattern:** x']);
+    });
+    it('filters non-string / empty / whitespace elements and trims', () => {
+        expect(parseExtractorOutput('["**Pattern:** a", 7, "", "   ", "  **Pattern:** b  "]')).toEqual([
+            '**Pattern:** a',
+            '**Pattern:** b',
+        ]);
+    });
+});
+// ─── 2. Classifier output parse (fold G — closed set) ─
+describe('parseClassifierOutput (fold G)', () => {
+    it('returns classified for a single unambiguous structural/behavioral label', () => {
+        expect(parseClassifierOutput('{"disposition":"structural"}')).toEqual({
+            disposition: 'structural',
+            dispositionSource: 'classified',
+        });
+        expect(parseClassifierOutput('```json\n{"disposition":"behavioral"}\n```')).toEqual({
+            disposition: 'behavioral',
+            dispositionSource: 'classified',
+        });
+    });
+    it('safe-defaults on refusal / invalid JSON / prose', () => {
+        expect(parseClassifierOutput('I cannot classify this.')).toEqual({
+            disposition: 'behavioral',
+            dispositionSource: 'error-default',
+        });
+        expect(parseClassifierOutput('')).toEqual({
+            disposition: 'behavioral',
+            dispositionSource: 'error-default',
+        });
+    });
+    it('safe-defaults on missing / out-of-set / wrong-typed / multi-valued label', () => {
+        const sd = { disposition: 'behavioral', dispositionSource: 'error-default' };
+        expect(parseClassifierOutput('{"foo":"bar"}')).toEqual(sd); // missing label
+        expect(parseClassifierOutput('{"disposition":"maybe"}')).toEqual(sd); // out of set
+        expect(parseClassifierOutput('{"disposition":["structural","behavioral"]}')).toEqual(sd); // multi
+        expect(parseClassifierOutput('["structural"]')).toEqual(sd); // array, not object
+        expect(parseClassifierOutput('null')).toEqual(sd);
+    });
+    it('never mints the illegal {structural, error-default} pair (the local schema rejects it)', () => {
+        expect(() => ClassifierResultLocalSchema.parse({
+            disposition: 'structural',
+            dispositionSource: 'error-default',
+        })).toThrow();
+    });
+});
+// ─── 2b. Fail-loud on UNEXPECTED parse errors (Tenet 4) ──────────────────────
+describe('fail-loud on unexpected (non-SyntaxError) parse errors', () => {
+    afterEach(() => vi.restoreAllMocks());
+    it('parseExtractorOutput rethrows a non-SyntaxError (a real bug fails loud, not fail-soft)', () => {
+        vi.spyOn(JSON, 'parse').mockImplementationOnce(() => {
+            throw new TypeError('unexpected non-syntax failure');
+        });
+        expect(() => parseExtractorOutput('["**Pattern:** a"]')).toThrow(TypeError);
+    });
+    it('parseClassifierOutput rethrows a non-SyntaxError', () => {
+        vi.spyOn(JSON, 'parse').mockImplementationOnce(() => {
+            throw new TypeError('unexpected non-syntax failure');
+        });
+        expect(() => parseClassifierOutput('{"disposition":"structural"}')).toThrow(TypeError);
+    });
+    it('an unexpected parser error propagates out of draft (fail-loud on a bug; the per-PR catch covers the INVOKE only)', async () => {
+        const ext = makeExtractor(stubInvoke('["**Pattern:** a"]'));
+        vi.spyOn(JSON, 'parse').mockImplementationOnce(() => {
+            throw new TypeError('unexpected non-syntax failure');
+        });
+        await expect(ext.draft(content())).rejects.toThrow(TypeError);
+        // the invoke SUCCEEDED — it is not miscounted as a dead-provider failure.
+        expect(ext.succeeded).toBe(1);
+    });
+});
+// ─── 3. Live extractor (stubbed seam) ─────────────────
+describe('LiveDraftExtractor', () => {
+    it('drafts parsed DSL bodies from the LLM and counts a success', async () => {
+        const ext = makeExtractor(stubInvoke('["**Pattern:** no-exec"]'));
+        await expect(ext.draft(content())).resolves.toEqual(['**Pattern:** no-exec']);
+        expect(ext.attempts).toBe(1);
+        expect(ext.succeeded).toBe(1);
+    });
+    it('returns [] and counts a failure when the live invoke throws (per-PR fail-soft)', async () => {
+        const ext = makeExtractor(throwingInvoke());
+        await expect(ext.draft(content())).resolves.toEqual([]);
+        expect(ext.attempts).toBe(1);
+        expect(ext.succeeded).toBe(0);
+    });
+    it('a successful-but-empty (NONE) call still counts as succeeded (genuine sparsity ≠ failure)', async () => {
+        const ext = makeExtractor(stubInvoke('NONE'));
+        await expect(ext.draft(content())).resolves.toEqual([]);
+        expect(ext.succeeded).toBe(1);
+    });
+    it('isolates a per-item failure — other items still succeed, no throw', async () => {
+        const ext = makeExtractor(routedInvoke((p) => p.includes('666')
+            ? (() => {
+                throw new Error('x');
+            })()
+            : '["**Pattern:** ok"]'));
+        await expect(ext.draft(content({ pr: 1 }))).resolves.toEqual(['**Pattern:** ok']);
+        await expect(ext.draft(content({ pr: 666 }))).resolves.toEqual([]);
+        expect(ext.attempts).toBe(2);
+        expect(ext.succeeded).toBe(1);
+    });
+});
+// ─── 4. Live classifier (stubbed seam) ────────────────
+describe('LiveDraftClassifier', () => {
+    it('classifies from the LLM and counts a success', async () => {
+        const clf = makeClassifier(stubInvoke('{"disposition":"structural"}'));
+        await expect(clf.classify(draft())).resolves.toEqual({
+            disposition: 'structural',
+            dispositionSource: 'classified',
+        });
+        expect(clf.succeeded).toBe(1);
+    });
+    it('safe-defaults and counts a failure when the invoke throws', async () => {
+        const clf = makeClassifier(throwingInvoke());
+        await expect(clf.classify(draft())).resolves.toEqual({
+            disposition: 'behavioral',
+            dispositionSource: 'error-default',
+        });
+        expect(clf.attempts).toBe(1);
+        expect(clf.succeeded).toBe(0);
+    });
+});
+// ─── 5. Fold H — no live LLM in CI ────────────────────
+describe('assertLiveLlmAllowed (fold H)', () => {
+    it('throws under CI without the explicit override', () => {
+        expect(() => assertLiveLlmAllowed({ CI: 'true' })).toThrow(LiveLlmInCiError);
+    });
+    it('allows CI with ALLOW_LIVE_LLM_IN_CI, and any non-CI env', () => {
+        expect(() => assertLiveLlmAllowed({ CI: 'true', ALLOW_LIVE_LLM_IN_CI: '1' })).not.toThrow();
+        expect(() => assertLiveLlmAllowed({})).not.toThrow();
+    });
+    it('a live adapter refuses to construct under CI (the guard runs at construction)', () => {
+        expect(() => makeExtractor(stubInvoke('NONE'), { CI: 'true' })).toThrow(LiveLlmInCiError);
+        expect(() => makeClassifier(stubInvoke('NONE'), { CI: 'true' })).toThrow(LiveLlmInCiError);
+    });
+});
+// ─── 6. Fold C — construction-time config + end-of-run floor ──────────────────
+describe('verifyLlmAdapterConfig (fold C, construction-time)', () => {
+    const ok = { provider: 'anthropic', model: 'm', credentialPresent: true, systemPrompt: 'sp' };
+    it('passes when all preconditions are present', () => {
+        expect(() => verifyLlmAdapterConfig(ok)).not.toThrow();
+    });
+    it('throws naming every missing precondition (no live call)', () => {
+        try {
+            verifyLlmAdapterConfig({
+                provider: '',
+                model: '',
+                credentialPresent: false,
+                systemPrompt: '',
+            });
+            throw new Error('expected throw');
+        }
+        catch (err) {
+            expect(err).toBeInstanceOf(LlmAdapterConfigError);
+            expect(err.problems).toHaveLength(4);
+        }
+    });
+    it('throws on a missing credential alone (the dead-provider precursor)', () => {
+        expect(() => verifyLlmAdapterConfig({ ...ok, credentialPresent: false })).toThrow(LlmAdapterConfigError);
+    });
+    it('the live adapter constructor enforces the FULL check (greptile #2211) — credential-absent throws AT construction', () => {
+        const deps = {
+            invoke: stubInvoke('NONE'),
+            model: 'm',
+            cwd: '/tmp',
+            totemDir: '.totem',
+            provider: 'anthropic',
+            credentialPresent: false,
+            env: NO_CI,
+        };
+        expect(() => new LiveDraftExtractor(deps)).toThrow(LlmAdapterConfigError);
+        expect(() => new LiveDraftClassifier(deps)).toThrow(LlmAdapterConfigError);
+    });
+});
+describe('assertPipelineProductive (fold C, end-of-run floor)', () => {
+    it('throws when ≥1 attempted and 0 succeeded (dead provider)', () => {
+        expect(() => assertPipelineProductive({ attempted: 5, succeeded: 0 })).toThrow(SystemicPipelineError);
+    });
+    it('does NOT throw on genuine sparsity (calls succeeded, just empty)', () => {
+        expect(() => assertPipelineProductive({ attempted: 5, succeeded: 5 })).not.toThrow();
+        expect(() => assertPipelineProductive({ attempted: 5, succeeded: 1 })).not.toThrow();
+    });
+    it('does NOT throw when nothing was attempted', () => {
+        expect(() => assertPipelineProductive({ attempted: 0, succeeded: 0 })).not.toThrow();
+    });
+    it('integrates: an all-failing extractor trips the floor; an all-empty one does not', async () => {
+        const dead = makeExtractor(throwingInvoke());
+        for (const pr of [1, 2, 3])
+            await dead.draft(content({ pr }));
+        expect(() => assertPipelineProductive({ attempted: dead.attempts, succeeded: dead.succeeded })).toThrow(SystemicPipelineError);
+        const sparse = makeExtractor(stubInvoke('NONE'));
+        for (const pr of [1, 2, 3])
+            await sparse.draft(content({ pr }));
+        expect(() => assertPipelineProductive({ attempted: sparse.attempts, succeeded: sparse.succeeded })).not.toThrow();
+    });
+});
+// ─── 7. Fold F — provenance + integrity coupling ──────
+describe('buildReplayProvenance (fold F)', () => {
+    const input = {
+        extractSystemPrompt: MINER_EXTRACT_SYSTEM_PROMPT,
+        classifySystemPrompt: MINER_CLASSIFY_SYSTEM_PROMPT,
+        provider: 'anthropic',
+        model: 'claude-x',
+        temperature: 0,
+        orchestratorVersion: 'orch-1',
+        totemVersion: '1.69.0',
+    };
+    it('is deterministic and schema-valid', () => {
+        const a = buildReplayProvenance(input);
+        const b = buildReplayProvenance(input);
+        expect(a).toEqual(b);
+        expect(() => ReplayProvenanceSchema.parse(a)).not.toThrow();
+        expect(a.provider).toBe('anthropic');
+        expect(a.adapterKind).toBe('extractor+classifier');
+    });
+    it('a prompt edit flips both prompt hashes (forces a re-record)', () => {
+        const base = buildReplayProvenance(input);
+        const edited = buildReplayProvenance({
+            ...input,
+            extractSystemPrompt: MINER_EXTRACT_SYSTEM_PROMPT + ' edit',
+        });
+        expect(edited.promptTemplateHash).not.toBe(base.promptTemplateHash);
+        expect(edited.systemPromptHash).not.toBe(base.systemPromptHash);
+    });
+    it('a provenance edit flips the whole-artifact integrity hash (fold F gate)', () => {
+        const sink = new ReplayRecordSink();
+        const base = computeArtifactHash(sink.freeze(buildReplayProvenance(input)));
+        const edited = computeArtifactHash(sink.freeze(buildReplayProvenance({ ...input, model: 'claude-y' })));
+        expect(edited).not.toBe(base);
+    });
+});
+// ─── 8. End-to-end: live adapter composes with the 5b-i record/replay scaffold ─
+describe('live adapter ∘ 5b-i record/replay', () => {
+    it('records a live draft then replays it byte-identically, zero further LLM calls', async () => {
+        const sink = new ReplayRecordSink();
+        const live = makeExtractor(stubInvoke('["**Pattern:** no-exec"]'));
+        const recording = new RecordingDraftExtractor(live, sink);
+        const recorded = await recording.draft(content());
+        const provenance = buildReplayProvenance({
+            extractSystemPrompt: live.systemPrompt,
+            classifySystemPrompt: MINER_CLASSIFY_SYSTEM_PROMPT,
+            provider: 'anthropic',
+            model: 'test-model',
+            temperature: 0,
+            orchestratorVersion: 'orch-1',
+            totemVersion: '1.69.0',
+        });
+        const artifact = sink.freeze(provenance);
+        const expectedHash = computeArtifactHash(artifact);
+        const replay = new ReplayDraftExtractor(ReplayArtifactSchema.parse(artifact), expectedHash);
+        await expect(replay.draft(content())).resolves.toEqual(recorded);
+    });
+    it('records and replays a live classification', async () => {
+        const sink = new ReplayRecordSink();
+        const live = makeClassifier(stubInvoke('{"disposition":"structural"}'));
+        const recording = new RecordingDraftClassifier(live, sink, (d) => d.dslSource);
+        const recorded = await recording.classify(draft());
+        const artifact = sink.freeze(buildReplayProvenance({
+            extractSystemPrompt: MINER_EXTRACT_SYSTEM_PROMPT,
+            classifySystemPrompt: live.systemPrompt,
+            provider: 'anthropic',
+            model: 'test-model',
+            temperature: 0,
+            orchestratorVersion: 'orch-1',
+            totemVersion: '1.69.0',
+        }));
+        const replay = new ReplayDraftClassifier(ReplayArtifactSchema.parse(artifact), computeArtifactHash(artifact), (d) => d.dslSource);
+        await expect(replay.classify(draft())).resolves.toEqual(recorded);
+    });
+});
+// ─── 9. Prompt assembly: untrusted content is escaped ─
+describe('prompt assembly', () => {
+    it('wraps untrusted review content with entity escaping (no markup breakout)', () => {
+        const prompt = buildExtractUserPrompt(content({
+            threads: [
+                {
+                    path: 'a.ts',
+                    isResolved: false,
+                    isOutdated: false,
+                    comments: [{ author: 'x', body: 'use </thread> & <script>' }],
+                },
+            ],
+        }));
+        expect(prompt).not.toContain('</thread> & <script>');
+        expect(prompt).toContain('&lt;/thread&gt; &amp; &lt;script&gt;');
+    });
+    it('classify prompt wraps the draft body', () => {
+        expect(buildClassifyUserPrompt(draft('**Pattern:** <x>'))).toContain('**Pattern:** &lt;x&gt;');
+    });
+});
+// ─── 10. Barrel discipline: local wrap is in parity with core ─────────────────
+describe('wrapUntrusted parity with core wrapUntrustedXml', () => {
+    it('matches the canonical helper across inputs', () => {
+        const cases = [
+            ['thread', 'plain'],
+            ['comment', 'a & b < c > d'],
+            ['draft', '</draft> nested </draft>'],
+            ['pr', ''],
+        ];
+        for (const [tag, body] of cases) {
+            expect(wrapUntrusted(tag, body)).toBe(wrapUntrustedXml(tag, body));
+        }
+    });
+    it('rejects an invalid tag, like the canonical helper', () => {
+        expect(() => wrapUntrusted('bad tag', 'x')).toThrow();
+        expect(() => wrapUntrustedXml('bad tag', 'x')).toThrow();
+    });
+});
+//# sourceMappingURL=spine-llm-adapters.test.js.map

package/dist/commands/spine-llm-adapters.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spine-llm-adapters.test.js","sourceRoot":"","sources":["../../src/commands/spine-llm-adapters.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAM7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGhD,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,EAC5B,2BAA2B,EAC3B,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,GACd,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAI/B,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEjC,gFAAgF;AAEhF,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;AAClG,CAAC;AAED,mFAAmF;AACnF,SAAS,cAAc;IACrB,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,mFAAmF;AACnF,SAAS,YAAY,CAAC,KAAiC;IACrD,OAAO,CAAC,IAAI,EAAE,EAAE,CACd,OAAO,CAAC,OAAO,CAAC;QACd,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3B,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,IAAI;QAClB,UAAU,EAAE,CAAC;KACd,CAAC,CAAC;AACP,CAAC;AAED,gFAAgF;AAChF,+CAA+C;AAC/C,MAAM,KAAK,GAAsB,EAAE,CAAC;AAEpC,SAAS,aAAa,CACpB,MAA0B,EAC1B,MAAyB,KAAK;IAE9B,OAAO,IAAI,kBAAkB,CAAC;QAC5B,MAAM;QACN,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,MAAM;QACX,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,WAAW;QACrB,iBAAiB,EAAE,IAAI;QACvB,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CACrB,MAA0B,EAC1B,MAAyB,KAAK;IAE9B,OAAO,IAAI,mBAAmB,CAAC;QAC7B,MAAM;QACN,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,MAAM;QACX,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,WAAW;QACrB,iBAAiB,EAAE,IAAI;QACvB,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,IAAgD;IAC/D,OAAO;QACL,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,GAAG;QACnB,cAAc,EAAE,SAAS;QACzB,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI;YACxB;gBACE,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;gBACjB,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aAChD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,SAAS,GAAG,qBAAqB;IAC9C,OAAO;QACL,UAAU,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACvF,SAAS;KACV,CAAC;AACJ,CAAC;AAED,yDAAyD;AAEzD,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,oBAAoB,CAAC,sCAAsC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC3E,gBAAgB;YAChB,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,oBAAoB,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,oBAAoB,CAAC,8BAA8B,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,oBAAoB,CAAC,kCAAkC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,oBAAoB,CAAC,wDAAwD,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7F,gBAAgB;YAChB,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,YAAY;SAChC,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,4CAA4C,CAAC,CAAC,CAAC,OAAO,CAAC;YAClF,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,YAAY;SAChC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/D,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,eAAe;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACxC,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,eAAe;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC;QAC7E,MAAM,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB;QAC5E,MAAM,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa;QACnF,MAAM,CAAC,qBAAqB,CAAC,6CAA6C,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ;QAClG,MAAM,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB;QACjF,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,CAAC,GAAG,EAAE,CACV,2BAA2B,CAAC,KAAK,CAAC;YAChC,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,eAAe;SACnC,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;IAEtC,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,sBAAsB,CAAC,GAAG,EAAE;YAClD,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,sBAAsB,CAAC,GAAG,EAAE;YAClD,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kHAAkH,EAAE,KAAK,IAAI,EAAE;QAChI,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC5D,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,sBAAsB,CAAC,GAAG,EAAE;YAClD,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9D,0EAA0E;QAC1E,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAClE,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,GAAG,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,GAAG,GAAG,aAAa,CACvB,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YACf,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,qBAAqB,CAC1B,CACF,CAAC;QACF,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAClF,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,CAAC;QACvE,MAAM,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YACnD,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,YAAY;SAChC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,GAAG,GAAG,cAAc,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7C,MAAM,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YACnD,WAAW,EAAE,YAAY;YACzB,iBAAiB,EAAE,eAAe;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5F,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IAE9F,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAI,CAAC;YACH,sBAAsB,CAAC;gBACrB,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,EAAE;gBACT,iBAAiB,EAAE,KAAK;gBACxB,YAAY,EAAE,EAAE;aACjB,CAAC,CAAC;YACH,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,qBAAqB,CAAC,CAAC;YAClD,MAAM,CAAE,GAA6B,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,EAAE,GAAG,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAC/E,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kHAAkH,EAAE,GAAG,EAAE;QAC1H,MAAM,IAAI,GAAG;YACX,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;YAC1B,KAAK,EAAE,GAAG;YACV,GAAG,EAAE,MAAM;YACX,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,WAAW;YACrB,iBAAiB,EAAE,KAAK;YACxB,GAAG,EAAE,KAAK;SACX,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAC5E,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACrF,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvF,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,MAAM,IAAI,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,EAAE,CACV,wBAAwB,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAClF,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,EAAE,CACV,wBAAwB,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CACtF,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAClB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,KAAK,GAAG;QACZ,mBAAmB,EAAE,2BAA2B;QAChD,oBAAoB,EAAE,4BAA4B;QAClD,QAAQ,EAAE,WAAW;QACrB,KAAK,EAAE,UAAU;QACjB,WAAW,EAAE,CAAC;QACd,mBAAmB,EAAE,QAAQ;QAC7B,YAAY,EAAE,QAAQ;KACvB,CAAC;IAEF,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,GAAG,KAAK;YACR,mBAAmB,EAAE,2BAA2B,GAAG,OAAO;SAC3D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,IAAI,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,mBAAmB,CAChC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CACpE,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kFAAkF;AAElF,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,IAAI,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,IAAI,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAElD,MAAM,UAAU,GAAG,qBAAqB,CAAC;YACvC,mBAAmB,EAAE,IAAI,CAAC,YAAY;YACtC,oBAAoB,EAAE,4BAA4B;YAClD,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,CAAC;YACd,mBAAmB,EAAE,QAAQ;YAC7B,YAAY,EAAE,QAAQ;SACvB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;QAC5F,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,IAAI,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,CAAC;QACxE,MAAM,SAAS,GAAG,IAAI,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAEnD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAC1B,qBAAqB,CAAC;YACpB,mBAAmB,EAAE,2BAA2B;YAChD,oBAAoB,EAAE,IAAI,CAAC,YAAY;YACvC,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,CAAC;YACd,mBAAmB,EAAE,QAAQ;YAC7B,YAAY,EAAE,QAAQ;SACvB,CAAC,CACH,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,qBAAqB,CACtC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,EACpC,mBAAmB,CAAC,QAAQ,CAAC,EAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CACnB,CAAC;QACF,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AAEzD,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAG,sBAAsB,CACnC,OAAO,CAAC;YACN,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,0BAA0B,EAAE,CAAC;iBAC9D;aACF;SACF,CAAC,CACH,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,uBAAuB,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAA4B;YACrC,CAAC,QAAQ,EAAE,OAAO,CAAC;YACnB,CAAC,SAAS,EAAE,eAAe,CAAC;YAC5B,CAAC,OAAO,EAAE,0BAA0B,CAAC;YACrC,CAAC,IAAI,EAAE,EAAE,CAAC;SACX,CAAC;QACF,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YAChC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/commands/spine-windtunnel.d.ts

@@ -20,6 +20,40 @@ export interface RunOptions {
     lcDir?: string;
     lockPath?: string;
     phase?: string;
+    /**
+     * 5c-ii injection seam (out of 5c-i scope to populate): the certifying corpus
+     * — resolved-PR diffs (corpus + controls), the active compiled rules, and the
+     * frozen ground-truth labels. When omitted on a certifying run, the real
+     * engine path throws a structured "corpus provider not wired" error rather
+     * than silently scoring an empty set. 5c-ii (the orchestrator) supplies the
+     * live-recorded corpus here; 5c-i unit tests supply a deterministic fixture.
+     */
+    certifyingCorpus?: CertifyingCorpusProvider;
+}
+/**
+ * The certifying corpus the real engine scores (5c-ii supplies this; 5c-i
+ * defines the seam + the deterministic engine that consumes it). Returns the
+ * active compiled rules (archived MUST be excluded — fold-F throws otherwise),
+ * the resolved-PR diffs (corpus + positive/negative controls), and the frozen
+ * ground-truth labels keyed by firingLabelId.
+ */
+export type CertifyingCorpusProvider = (lock: WindtunnelLock) => Promise<CertifyingCorpus> | CertifyingCorpus;
+export interface CertifyingCorpus {
+    rules: import('@mmnto/totem').CompiledRule[];
+    prDiffs: import('@mmnto/totem').ResolvedPrDiff[];
+    groundTruth: Map<string, import('@mmnto/totem').GroundTruthLabel>;
+}
+/** Internal shape the run command's scorer consumes (engine-agnostic). */
+interface EngineResult {
+    mintedRuleIds: string[];
+    firings: import('@mmnto/totem').RuleFiring[];
+    groundTruth: Map<string, import('@mmnto/totem').GroundTruthLabel>;
+    positiveControlTargets: Array<{
+        pr: number;
+        targetRuleId: string;
+    }>;
+    /** C2 — real touched-file exposure (0 for the harness mock). */
+    filesTouchedInWindow: number;
 }
 /**
  * `totem spine windtunnel run`
@@ -92,5 +126,25 @@ export declare function enumeratePrMetas(asOfCommit: string, lcDir: string, safe
     parseRevertSha: (body: string) => string | undefined;
     isBotIdentity: (author: string) => boolean;
 }): PrMeta[];
+/**
+ * Run the REAL engine for the certifying phase (5c-i — #2189 item 1).
+ *
+ * Replaces the mock for `--phase certifying`: drives each resolved-PR diff
+ * through `buildFirings` (core), which runs `enrichWithAstContext` +
+ * `applyAstRulesToAdditions` with the shared post-image `readStrategy` (S1/C1)
+ * and maps every violation to a `RuleFiring` (content-based labelId). Then:
+ *  - **fold-F**: `buildFirings` throws if any archived rule is in the scored set
+ *    (the engine never runs on an archived rule).
+ *  - **A1 (fold-D)**: `assertUniqueFiringLabels` hard-gates labelId uniqueness
+ *    BEFORE scoring (throws on collision, surfacing the offending refs).
+ *  - **C2**: `filesTouchedInWindow` is the real distinct-file exposure.
+ *  - **fold-H**: neg-control firings flow through as `controlKind:'negative'`;
+ *    unlabeled firings route to needsAdjudication via the scorer.
+ *
+ * The corpus itself (resolved-PR diffs + active rules + frozen ground truth) is
+ * supplied by the 5c-ii orchestrator via the `certifyingCorpus` seam. 5c-i owns
+ * the deterministic engine; it does NOT fetch/compile live data (out of scope).
+ */
+export declare function runCertifyingEngine(lock: WindtunnelLock, readStrategy: (file: string) => Promise<string | null>, corpusProvider?: CertifyingCorpusProvider): Promise<EngineResult>;
 export {};
 //# sourceMappingURL=spine-windtunnel.d.ts.map

package/dist/commands/spine-windtunnel.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spine-windtunnel.d.ts","sourceRoot":"","sources":["../../src/commands/spine-windtunnel.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAuB,cAAc,EAAE,MAAM,cAAc,CAAC;AAShF,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAoFtE;AAID,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;GASG;AACH,wBAAsB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAmKhE;AAID,KAAK,UAAU,GAAG,cAAc,cAAc,EAAE,QAAQ,CAAC;AAEzD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,UAAU,GACnB,OAAO,CAWT;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,UAAU,GACnB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAkB1C;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,GAAG,IAAI,CA0DhG;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,MAAM,EAAE,EACrB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,MAAM,GAAG,IAAI,CA+Cf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EAAE,EACrB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,IAAI,CAmBN;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,IAAI,CAAC,CAqGf;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,UAAU,EACpB,OAAO,EAAE;IACP,aAAa,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IAClD,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACrD,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;CAC5C,GACA,MAAM,EAAE,CA+DV"}
+{"version":3,"file":"spine-windtunnel.d.ts","sourceRoot":"","sources":["../../src/commands/spine-windtunnel.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAuB,cAAc,EAAE,MAAM,cAAc,CAAC;AAShF,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAoFtE;AAID,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,wBAAwB,CAAC;CAC7C;AAED;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,GAAG,CACrC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,gBAAgB,CAAC,GAAG,gBAAgB,CAAC;AAElD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,cAAc,EAAE,YAAY,EAAE,CAAC;IAC7C,OAAO,EAAE,OAAO,cAAc,EAAE,cAAc,EAAE,CAAC;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,cAAc,EAAE,gBAAgB,CAAC,CAAC;CACnE;AAED,0EAA0E;AAC1E,UAAU,YAAY;IACpB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,OAAO,cAAc,EAAE,UAAU,EAAE,CAAC;IAC7C,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAClE,sBAAsB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,gEAAgE;IAChE,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;GASG;AACH,wBAAsB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAsKhE;AAID,KAAK,UAAU,GAAG,cAAc,cAAc,EAAE,QAAQ,CAAC;AAEzD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,UAAU,GACnB,OAAO,CAWT;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,UAAU,GACnB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAkB1C;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,GAAG,IAAI,CA0DhG;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,MAAM,EAAE,EACrB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,MAAM,GAAG,IAAI,CA+Cf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EAAE,EACrB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,IAAI,CAmBN;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,IAAI,CAAC,CAqGf;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,UAAU,EACpB,OAAO,EAAE;IACP,aAAa,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IAClD,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACrD,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;CAC5C,GACA,MAAM,EAAE,CA+DV;AAsDD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,cAAc,EACpB,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,EACtD,cAAc,CAAC,EAAE,wBAAwB,GACxC,OAAO,CAAC,YAAY,CAAC,CA4EvB"}

package/dist/commands/spine-windtunnel.js

@@ -149,12 +149,16 @@ export async function runCommand(opts) {
     // simple null-returning strategy (all files → skip classification = fail-open).
     // When lcDir is provided, resolve post-image blobs from the lc clone.
     const readStrategy = buildReadStrategy(lcDir, lock.corpus.selectionRule.asOfCommit, safeExec);
-    // Enrich with AST context for any additions (harness: no diff, so no additions).
-    // In the real certifying run, the caller would build additions from PR diffs
-    // and pass them through enrichWithAstContext + applyAstRulesToAdditions with
-    // the shared readStrategy (S1/C1 — same content for regex astContext + AST).
-    // Run the engine — harness phase uses mock engines.
-    const { mintedRuleIds, firings, groundTruth, positiveControlTargets } = await runMockEngine(lock, readStrategy);
+    // Run the engine. Harness phase → mock engine (no real rules yet). Certifying
+    // phase → the REAL engine path (5c-i): build additions from each resolved-PR
+    // diff → enrichWithAstContext + applyAstRulesToAdditions with the shared
+    // post-image readStrategy → RuleFiring[] → A1 unique-label hard-gate → score.
+    // C2: filesTouchedInWindow is the real exposure computed from the diffs (no
+    // longer the hard-coded 0).
+    const engineResult = lock.phase === 'certifying'
+        ? await runCertifyingEngine(lock, readStrategy, opts.certifyingCorpus)
+        : await runMockEngineAdapter(lock, readStrategy);
+    const { mintedRuleIds, firings, groundTruth, positiveControlTargets, filesTouchedInWindow } = engineResult;
     // Score
     const verdict = scoreWindtunnel({
         firings,
@@ -169,7 +173,7 @@ export async function runCommand(opts) {
         },
         actualExposure: {
             activeRulesEvaluated: mintedRuleIds.length,
-            filesTouchedInWindow: 0,
+            filesTouchedInWindow,
             positiveControlsExercised: positiveControlTargets.length,
         },
     });
@@ -531,4 +535,84 @@ async function runMockEngine(lock, _readStrategy) {
     }
     return { mintedRuleIds, firings, groundTruth, positiveControlTargets };
 }
+/** Adapt the harness mock engine to the EngineResult shape (filesTouched = 0). */
+async function runMockEngineAdapter(lock, readStrategy) {
+    const mock = await runMockEngine(lock, readStrategy);
+    return { ...mock, filesTouchedInWindow: 0 };
+}
+// ─── Real engine (certifying phase, 5c-i) ────────────
+/**
+ * Run the REAL engine for the certifying phase (5c-i — #2189 item 1).
+ *
+ * Replaces the mock for `--phase certifying`: drives each resolved-PR diff
+ * through `buildFirings` (core), which runs `enrichWithAstContext` +
+ * `applyAstRulesToAdditions` with the shared post-image `readStrategy` (S1/C1)
+ * and maps every violation to a `RuleFiring` (content-based labelId). Then:
+ *  - **fold-F**: `buildFirings` throws if any archived rule is in the scored set
+ *    (the engine never runs on an archived rule).
+ *  - **A1 (fold-D)**: `assertUniqueFiringLabels` hard-gates labelId uniqueness
+ *    BEFORE scoring (throws on collision, surfacing the offending refs).
+ *  - **C2**: `filesTouchedInWindow` is the real distinct-file exposure.
+ *  - **fold-H**: neg-control firings flow through as `controlKind:'negative'`;
+ *    unlabeled firings route to needsAdjudication via the scorer.
+ *
+ * The corpus itself (resolved-PR diffs + active rules + frozen ground truth) is
+ * supplied by the 5c-ii orchestrator via the `certifyingCorpus` seam. 5c-i owns
+ * the deterministic engine; it does NOT fetch/compile live data (out of scope).
+ */
+export async function runCertifyingEngine(lock, readStrategy, corpusProvider) {
+    const { buildFirings, assertUniqueFiringLabels, resolveGitRoot, TotemError, FiringLabelCollisionError, } = await import('@mmnto/totem');
+    if (!corpusProvider) {
+        // No silent empty-set scoring: a certifying run with no corpus provider is a
+        // wiring error (5c-ii supplies it). Fail loud + actionable (Tenet 4).
+        throw new TotemError('CONFIG_INVALID', 'Wind-tunnel certifying run: no certifying-corpus provider wired (5c-ii orchestration).', 'The deterministic real-engine firing path (5c-i) is in place, but the corpus ' +
+            '(resolved-PR diffs + compiled rules + ground truth) is supplied by the 5c-ii ' +
+            'orchestrator. Run via the certifying orchestrator once it lands.');
+    }
+    const corpus = await corpusProvider(lock);
+    const cwd = resolveGitRoot(process.cwd()) ?? process.cwd();
+    const ruleEngineCtx = {
+        logger: { warn: (msg) => console.error(`[WindtunnelRun] ${msg}`) },
+        state: { hasWarnedShieldContext: false },
+    };
+    // buildFirings runs fold-F (archived assert) internally before the engine; its
+    // only throw is ArchivedRuleInScopeError, which propagates. A1 (labelId
+    // collision) is deliberately NOT raised here — it is the caller's pre-score gate
+    // below (assertUniqueFiringLabels), so the structured per-collision report is
+    // threaded there rather than swallowed at construction. (greptile #2215 P2.)
+    const built = await buildFirings({
+        rules: corpus.rules,
+        prDiffs: corpus.prDiffs,
+        cwd,
+        readStrategy,
+        ruleEngineCtx,
+        onWarn: (msg) => console.error(`[WindtunnelRun] ${msg}`),
+    });
+    // A1 (fold-D): hard-gate labelId uniqueness BEFORE scoring (Tenet 4).
+    try {
+        assertUniqueFiringLabels(built.firings);
+    }
+    catch (err) {
+        if (err instanceof FiringLabelCollisionError) {
+            console.error(`[WindtunnelRun] A1 firing-label collision (fold-D):`);
+            for (const c of err.collisions) {
+                console.error(`  • ${c.labelId.slice(0, 12)}… ×${c.evidenceRefs.length}`);
+            }
+            throw new TotemError('CONFIG_INVALID', err.message, 'A firing-label collision voids the run — the labelId→evidenceRef join would overwrite. ' +
+                'Measure on the frozen corpus; if collisions occur, extend the label with a diff-hunk span (NOT an ordinal).', err);
+        }
+        throw err;
+    }
+    const mintedRuleIds = corpus.rules.map((r) => r.lessonHash);
+    console.error(`[WindtunnelRun] Certifying engine: ${mintedRuleIds.length} rule(s), ` +
+        `${corpus.prDiffs.length} PR diff(s), ${built.firings.length} firing(s), ` +
+        `${built.filesTouchedInWindow} file(s) touched.`);
+    return {
+        mintedRuleIds,
+        firings: built.firings,
+        groundTruth: corpus.groundTruth,
+        positiveControlTargets: built.positiveControlTargets,
+        filesTouchedInWindow: built.filesTouchedInWindow,
+    };
+}
 //# sourceMappingURL=spine-windtunnel.js.map