@mmnto/totem 1.67.1 → 1.68.0

package/dist/spine/compile.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.test.d.ts","sourceRoot":"","sources":["../../src/spine/compile.test.ts"],"names":[],"mappings":""}

package/dist/spine/compile.test.js

@@ -0,0 +1,327 @@
+import { describe, expect, it, vi } from 'vitest';
+import { runClassifyStage, } from './classify.js';
+import { compileCandidate, runCompileStage, } from './compile.js';
+import { runFalsificationHarness } from './miner-harness.js';
+// The frozen LessonInput actuator is wrapped in spies so the call-spy test (agy
+// fold-1) can assert the G-series path NEVER touches it. `validateAstGrepPattern`
+// (the one symbol compile.ts imports from this module) is preserved via `...actual`.
+vi.mock('../compile-lesson.js', async (importOriginal) => {
+    const actual = await importOriginal();
+    return {
+        ...actual,
+        compileLesson: vi.fn(actual.compileLesson),
+        buildCompiledRule: vi.fn(actual.buildCompiledRule),
+        buildManualRule: vi.fn(actual.buildManualRule),
+    };
+});
+import * as frozenActuator from '../compile-lesson.js';
+const sha = (n) => String(n).padStart(40, '0');
+const NOW = '2026-06-19T12:00:00.000Z';
+// ── dslSource fixtures (lesson-markdown bodies the slice-2/3 format produces) ──
+const REGEX_DSL = [
+    '**Pattern:** `forbiddenCall\\(`',
+    '**Engine:** regex',
+    '**Severity:** warning',
+    '',
+    '### Bad Example',
+    '```ts',
+    'forbiddenCall()',
+    '```',
+].join('\n');
+// Same pattern, severity error — used to prove candidate-debt FORCES warning.
+const REGEX_DSL_ERROR = REGEX_DSL.replace('**Severity:** warning', '**Severity:** error');
+// A ReDoS-unsafe pattern — `validateRegex` rejects → compile-rejected.
+const REDOS_DSL = ['**Pattern:** `(a+)+$`', '**Engine:** regex'].join('\n');
+// engine: ast (tree-sitter query) — no ReDoS validator, so it compiles; used to
+// exercise the workingDirectory guard without the ast-grep napi parser.
+const AST_DSL = ['**Pattern:** `(call_expression)`', '**Engine:** ast'].join('\n');
+// A compound ast-grep yaml rule — parse-fidelity check for the yaml engine.
+const ASTGREP_YAML_DSL = [
+    '**Engine:** ast-grep',
+    '**Pattern:**',
+    '```yaml',
+    'rule:',
+    '  pattern: console.log($MSG)',
+    '```',
+].join('\n');
+// No `**Pattern:**` — `extractManualPattern` returns null (a structural candidate
+// here is a producer-contract violation: slice-2 preflight should have dropped it).
+const NO_PATTERN_DSL = 'Prefer composition over inheritance — a behavioral note.';
+// ── Builders ──────────────────────────────────────────────────────────────────
+function candidateRule(pr, dslSource, disposition = 'structural', ordinal = 0) {
+    return {
+        provenance: { mergedPr: pr, reviewThread: `rt-${pr}`, commitSha: sha(pr) },
+        classifierDisposition: disposition,
+        classifierLedgerRef: `clr-${pr}-${ordinal}`,
+        dslSource,
+        unverified: true,
+    };
+}
+/** A minimal ClassifyStageResult with emission + classifier ledgers consistent with the candidates. */
+function classifyResultOf(candidates) {
+    return {
+        candidates,
+        emissionLedger: {
+            entries: candidates.map((c, i) => ({
+                candidateRef: `cand-${c.provenance.mergedPr}-${i}`,
+                provenance: c.provenance,
+                classifierDisposition: c.classifierDisposition,
+                routing: c.classifierDisposition === 'structural' ? 'compile' : 'rag-only',
+                classifierLedgerRef: c.classifierLedgerRef,
+                unverified: true,
+            })),
+            extractionInputsAttestation: { seedClassesProvided: false },
+        },
+        classifierLedger: {
+            entries: candidates.map((c) => ({
+                candidateRef: c.classifierLedgerRef,
+                disposition: c.classifierDisposition,
+                stage4Confirmed: false,
+                dispositionSource: 'classified',
+            })),
+        },
+    };
+}
+/** Stage-4 deps backed by an in-memory file map. `readFile` rejects for a listed-but-absent file. */
+function compileDeps(files, overrides = {}) {
+    return {
+        now: NOW,
+        stage4: {
+            listFiles: () => Promise.resolve(Object.keys(files)),
+            readFile: (f) => f in files ? Promise.resolve(files[f]) : Promise.reject(new Error(`absent ${f}`)),
+            ...overrides.stage4,
+        },
+        ...('baseline' in overrides ? { baseline: overrides.baseline } : {}),
+        ...('now' in overrides ? { now: overrides.now } : {}),
+    };
+}
+const single = (dsl, disp = 'structural') => classifyResultOf([candidateRule(1, dsl, disp)]);
+// ── compileCandidate (pure) ─────────────────────────────────────────────────
+describe('compileCandidate', () => {
+    it('compiles a regex structural candidate: unverified, no legitimacy/ruleClass/manual, injected now', () => {
+        const out = compileCandidate(candidateRule(1, REGEX_DSL), { now: NOW });
+        expect(out.kind).toBe('compiled');
+        if (out.kind !== 'compiled')
+            throw new Error('unreachable');
+        const { rule } = out;
+        expect(rule.engine).toBe('regex');
+        expect(rule.pattern).toBe('forbiddenCall\\(');
+        expect(rule.unverified).toBe(true);
+        expect(rule.legitimacy).toBeUndefined();
+        expect(rule.ruleClass).toBeUndefined();
+        expect(rule.manual).toBeUndefined();
+        expect(rule.badExample).toBe('forbiddenCall()');
+        expect(rule.compiledAt).toBe(NOW);
+        expect(rule.createdAt).toBe(NOW);
+        expect(rule.lessonHeading).toBe('Gate-1 rule candidate (clr-1-0)');
+    });
+    it('throws on a behavioral candidate (FM(c) code backstop)', () => {
+        expect(() => compileCandidate(candidateRule(1, REGEX_DSL, 'behavioral'), { now: NOW })).toThrow(/behavioral candidate .* must never be compiled/);
+    });
+    it('throws on a structural candidate with no usable pattern (preflight↔parser desync)', () => {
+        expect(() => compileCandidate(candidateRule(1, NO_PATTERN_DSL), { now: NOW })).toThrow(/no usable pattern/);
+    });
+    it('rejects (not throws) a ReDoS-unsafe regex → compile-rejected', () => {
+        const out = compileCandidate(candidateRule(1, REDOS_DSL), { now: NOW });
+        expect(out.kind).toBe('rejected');
+    });
+    it('parses a compound ast-grep yaml rule (engine ast-grep, astGrepYamlRule populated)', () => {
+        const out = compileCandidate(candidateRule(1, ASTGREP_YAML_DSL), { now: NOW });
+        expect(out.kind).toBe('compiled');
+        if (out.kind !== 'compiled')
+            throw new Error('unreachable');
+        expect(out.rule.engine).toBe('ast-grep');
+        expect(out.rule.astGrepYamlRule).toBeDefined();
+        expect(out.rule.pattern).toBe('');
+    });
+});
+// ── runCompileStage — the four Stage-4 outcome maps (regex, deterministic) ────
+describe('runCompileStage — Stage-4 outcome → status/ledger maps', () => {
+    it('in-scope-bad-example → active/high/confirmed', async () => {
+        const r = await runCompileStage(single(REGEX_DSL), compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        expect(r.compiled).toHaveLength(1);
+        expect(r.compiled[0]?.stage4.outcome).toBe('in-scope-bad-example');
+        expect(r.compiled[0]?.rule.status).toBe('active');
+        expect(r.compiled[0]?.rule.confidence).toBe('high');
+        expect(r.classifierLedger.entries[0]?.stage4Confirmed).toBe(true);
+        expect(r.classifierLedger.entries[0]?.stage4Outcome).toBe('confirmed');
+    });
+    it('candidate-debt → active, severity FORCED to warning, confirmed', async () => {
+        const r = await runCompileStage(single(REGEX_DSL_ERROR), compileDeps({ 'src/a.ts': 'forbiddenCall(x)' }));
+        expect(r.compiled[0]?.stage4.outcome).toBe('candidate-debt');
+        expect(r.compiled[0]?.rule.status).toBe('active');
+        expect(r.compiled[0]?.rule.severity).toBe('warning'); // forced down from error
+        expect(r.classifierLedger.entries[0]?.stage4Outcome).toBe('confirmed');
+    });
+    it('no-matches → untested-against-codebase, not confirmed', async () => {
+        const r = await runCompileStage(single(REGEX_DSL), compileDeps({ 'src/a.ts': 'const ok = 1;' }));
+        expect(r.compiled[0]?.stage4.outcome).toBe('no-matches');
+        expect(r.compiled[0]?.rule.status).toBe('untested-against-codebase');
+        expect(r.classifierLedger.entries[0]?.stage4Confirmed).toBe(false);
+        expect(r.classifierLedger.entries[0]?.stage4Outcome).toBe('untested-no-matches');
+    });
+    it('out-of-scope (fires on a baseline file) → archived, archivedAt=now, not confirmed', async () => {
+        const r = await runCompileStage(single(REGEX_DSL), compileDeps({ 'src/a.test.ts': 'forbiddenCall()' }));
+        expect(r.compiled[0]?.stage4.outcome).toBe('out-of-scope');
+        expect(r.compiled[0]?.rule.status).toBe('archived');
+        expect(r.compiled[0]?.rule.archivedAt).toBe(NOW);
+        expect(r.compiled[0]?.rule.archivedReason).toMatch(/stage4-out-of-scope-match/);
+        expect(r.classifierLedger.entries[0]?.stage4Outcome).toBe('archived-out-of-scope');
+    });
+});
+// ── runCompileStage — routing, rejection, ledger join, fail-loud ──────────────
+describe('runCompileStage — selection, rejection & fail-loud', () => {
+    it('compiles only structural; skips behavioral (untouched ledger entry)', async () => {
+        const cls = classifyResultOf([
+            candidateRule(1, REGEX_DSL, 'structural'),
+            candidateRule(2, 'prefer X over Y', 'behavioral'),
+        ]);
+        const r = await runCompileStage(cls, compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        expect(r.compiled).toHaveLength(1);
+        expect(r.compiled[0]?.classifierLedgerRef).toBe('clr-1-0');
+        const behavioral = r.classifierLedger.entries.find((e) => e.candidateRef === 'clr-2-0');
+        expect(behavioral?.stage4Confirmed).toBe(false);
+        expect(behavioral?.stage4Outcome).toBeUndefined(); // never compiled
+    });
+    it('records compile-rejected on the ledger and emits no CompiledCandidate', async () => {
+        const r = await runCompileStage(single(REDOS_DSL), compileDeps({ 'src/a.ts': 'aaaa' }));
+        expect(r.compiled).toHaveLength(0);
+        expect(r.classifierLedger.entries[0]?.stage4Confirmed).toBe(false);
+        expect(r.classifierLedger.entries[0]?.stage4Outcome).toBe('compile-rejected');
+    });
+    it('fails loud when a structural candidate has no matching classifier-ledger entry', async () => {
+        const cls = single(REGEX_DSL);
+        cls.classifierLedger.entries = []; // drop the join target
+        await expect(runCompileStage(cls, compileDeps({}))).rejects.toThrow(/matches 0 classifier-ledger entries/);
+    });
+    it('fails loud on a duplicate classifier-ledger ref', async () => {
+        const cls = single(REGEX_DSL);
+        cls.classifierLedger.entries.push({ ...cls.classifierLedger.entries[0] });
+        await expect(runCompileStage(cls, compileDeps({ 'src/a.ts': 'forbiddenCall()' }))).rejects.toThrow(/matches 2 classifier-ledger entries/);
+    });
+    it('throws on an ast rule without a workingDirectory (never degrades to no-matches)', async () => {
+        await expect(runCompileStage(single(AST_DSL), compileDeps({ 'src/a.ts': 'x' }))).rejects.toThrow(/requires deps\.stage4\.workingDirectory/);
+    });
+    it('throws on an ast-grep rule without a workingDirectory too (both tree-sitter engines)', async () => {
+        await expect(runCompileStage(single(ASTGREP_YAML_DSL), compileDeps({ 'src/a.ts': 'x' }))).rejects.toThrow(/requires deps\.stage4\.workingDirectory/);
+    });
+    it('propagates a readFile failure loudly, preserving the original cause', async () => {
+        const deps = {
+            now: NOW,
+            stage4: {
+                listFiles: () => Promise.resolve(['src/a.ts']),
+                readFile: () => Promise.reject(new Error('disk gone')),
+            },
+        };
+        // compile.ts owns "no swallowing catch" — assert the ORIGINAL error survives as
+        // the cause, not the verifier's wrapper message (which compile.ts does not own).
+        const err = await runCompileStage(single(REGEX_DSL), deps).then(() => null, (e) => e);
+        expect(err).toBeInstanceOf(Error);
+        expect(err.cause).toBeInstanceOf(Error);
+        expect(err.cause.message).toBe('disk gone');
+    });
+    it('throws directly on a behavioral candidate handed to compileCandidate via the stage too', async () => {
+        // runCompileStage filters behavioral out, but compileCandidate is the FM(c) backstop.
+        expect(() => compileCandidate(candidateRule(9, REGEX_DSL, 'behavioral'), { now: NOW })).toThrow();
+    });
+});
+// ── Determinism + provenance handoff ──────────────────────────────────────────
+describe('runCompileStage — determinism & handoff', () => {
+    it('is deterministic: identical inputs + fixed now/deps → identical output', async () => {
+        const files = { 'src/b.ts': 'forbiddenCall(y)', 'src/a.ts': 'forbiddenCall()' };
+        const a = await runCompileStage(single(REGEX_DSL), compileDeps(files));
+        const b = await runCompileStage(single(REGEX_DSL), compileDeps(files));
+        expect(JSON.stringify(a)).toBe(JSON.stringify(b));
+    });
+    it('carries provenance forward un-projected onto the CompiledCandidate', async () => {
+        const r = await runCompileStage(single(REGEX_DSL), compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        const cc = r.compiled[0];
+        expect(cc?.provenance).toEqual({ mergedPr: 1, reviewThread: 'rt-1', commitSha: sha(1) });
+        expect(cc?.rule.legitimacy).toBeUndefined(); // slice-5 stamps it
+    });
+    it('never calls the frozen LessonInput actuator (compileLesson/buildCompiledRule/buildManualRule)', async () => {
+        await runCompileStage(single(REGEX_DSL), compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        expect(vi.mocked(frozenActuator.compileLesson)).not.toHaveBeenCalled();
+        expect(vi.mocked(frozenActuator.buildCompiledRule)).not.toHaveBeenCalled();
+        expect(vi.mocked(frozenActuator.buildManualRule)).not.toHaveBeenCalled();
+    });
+});
+// ── End-to-end harness lock (real classify → compile → §8 harness green) ──────
+const asStructural = {
+    disposition: 'structural',
+    dispositionSource: 'classified',
+};
+const structuralClassifier = { classify: () => Promise.resolve(asStructural) };
+function draft(pr, dslSource) {
+    return { provenance: { mergedPr: pr, reviewThread: `rt-${pr}`, commitSha: sha(pr) }, dslSource };
+}
+function extractResultOf(drafts) {
+    const prs = [...new Set(drafts.map((d) => d.provenance.mergedPr))].sort((a, b) => a - b);
+    return {
+        drafts,
+        dropLedger: { entries: [] },
+        apiUsageLedger: {
+            entries: prs.map((pr) => ({
+                targetPr: pr,
+                slice: 'train',
+                fetchKind: 'review-thread',
+            })),
+            heldOutFetchCount: 0,
+        },
+        seedBlindness: { seedClassesProvided: false },
+    };
+}
+function splitLedgerFixture() {
+    return {
+        split: {
+            asOfCommit: sha(100),
+            trainPrs: [1, 2],
+            heldOutPrs: [3, 4],
+            excludedPrs: [],
+            positiveControlPrs: [3],
+            negativeControlPrs: [4],
+            splitRule: { predicate: 'code-touching non-bot', cutIndex: 2 },
+        },
+        corpus: [1, 2, 3, 4],
+        corpusMergeCommits: [1, 2, 3, 4].map((pr) => ({ pr, mergeCommit: sha(pr) })),
+    };
+}
+describe('runCompileStage — end-to-end §8 harness lock', () => {
+    it('real classify → compile output passes runFalsificationHarness green', async () => {
+        const extract = extractResultOf([draft(1, REGEX_DSL), draft(2, REGEX_DSL)]);
+        const split = splitLedgerFixture();
+        const classify = await runClassifyStage(extract, split, { classifier: structuralClassifier });
+        const compileRes = await runCompileStage(classify, compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        const ledgers = {
+            emission: classify.emissionLedger,
+            drop: extract.dropLedger,
+            classifier: compileRes.classifierLedger, // the COMPILE-UPDATED ledger
+            split,
+            apiUsage: extract.apiUsageLedger,
+        };
+        const result = runFalsificationHarness(ledgers);
+        expect(result.ok).toBe(true);
+        expect(result.violations).toEqual([]);
+        // both train PRs confirmed-active
+        expect(compileRes.compiled).toHaveLength(2);
+        expect(compileRes.classifierLedger.entries.every((e) => e.stage4Outcome === 'confirmed')).toBe(true);
+    });
+    it('a desynced stage4Confirmed vs stage4Outcome trips the consistency guard', async () => {
+        const extract = extractResultOf([draft(1, REGEX_DSL), draft(2, REGEX_DSL)]);
+        const split = splitLedgerFixture();
+        const classify = await runClassifyStage(extract, split, { classifier: structuralClassifier });
+        const compileRes = await runCompileStage(classify, compileDeps({ 'src/a.ts': 'forbiddenCall()' }));
+        // Forge a desync: a confirmed outcome whose stage4Confirmed is flipped to false.
+        compileRes.classifierLedger.entries[0].stage4Confirmed = false;
+        const ledgers = {
+            emission: classify.emissionLedger,
+            drop: extract.dropLedger,
+            classifier: compileRes.classifierLedger,
+            split,
+            apiUsage: extract.apiUsageLedger,
+        };
+        const clauses = runFalsificationHarness(ledgers).violations.map((v) => v.clause);
+        expect(clauses).toContain('stage4-consistency');
+    });
+});
+//# sourceMappingURL=compile.test.js.map

package/dist/spine/compile.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.test.js","sourceRoot":"","sources":["../../src/spine/compile.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAGlD,OAAO,EAIL,gBAAgB,GACjB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,gBAAgB,EAGhB,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,gFAAgF;AAChF,kFAAkF;AAClF,qFAAqF;AACrF,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE;IACvD,MAAM,MAAM,GAAG,MAAM,cAAc,EAAyC,CAAC;IAC7E,OAAO;QACL,GAAG,MAAM;QACT,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC;QAC1C,iBAAiB,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAClD,eAAe,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;KAC/C,CAAC;AACJ,CAAC,CAAC,CAAC;AACH,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AAEvD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC/D,MAAM,GAAG,GAAG,0BAA0B,CAAC;AAEvC,kFAAkF;AAElF,MAAM,SAAS,GAAG;IAChB,iCAAiC;IACjC,mBAAmB;IACnB,uBAAuB;IACvB,EAAE;IACF,iBAAiB;IACjB,OAAO;IACP,iBAAiB;IACjB,KAAK;CACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,8EAA8E;AAC9E,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,uBAAuB,EAAE,qBAAqB,CAAC,CAAC;AAE1F,uEAAuE;AACvE,MAAM,SAAS,GAAG,CAAC,uBAAuB,EAAE,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE5E,gFAAgF;AAChF,wEAAwE;AACxE,MAAM,OAAO,GAAG,CAAC,kCAAkC,EAAE,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEnF,4EAA4E;AAC5E,MAAM,gBAAgB,GAAG;IACvB,sBAAsB;IACtB,cAAc;IACd,SAAS;IACT,OAAO;IACP,8BAA8B;IAC9B,KAAK;CACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,kFAAkF;AAClF,oFAAoF;AACpF,MAAM,cAAc,GAAG,0DAA0D,CAAC;AAElF,iFAAiF;AAEjF,SAAS,aAAa,CACpB,EAAU,EACV,SAAiB,EACjB,cAA2C,YAAY,EACvD,OAAO,GAAG,CAAC;IAEX,OAAO;QACL,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE;QAC1E,qBAAqB,EAAE,WAAW;QAClC,mBAAmB,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE;QAC3C,SAAS;QACT,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,uGAAuG;AACvG,SAAS,gBAAgB,CAAC,UAAiC;IACzD,OAAO;QACL,UAAU;QACV,cAAc,EAAE;YACd,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACjC,YAAY,EAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,EAAE;gBAClD,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,qBAAqB,EAAE,CAAC,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,CAAC,CAAC,qBAAqB,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;gBAC1E,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;gBAC1C,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,2BAA2B,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE;SAC5D;QACD,gBAAgB,EAAE;YAChB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC,CAAC,mBAAmB;gBACnC,WAAW,EAAE,CAAC,CAAC,qBAAqB;gBACpC,eAAe,EAAE,KAAK;gBACtB,iBAAiB,EAAE,YAAqB;aACzC,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,SAAS,WAAW,CAClB,KAA6B,EAC7B,YAAuC,EAAE;IAEzC,OAAO;QACL,GAAG,EAAE,GAAG;QACR,MAAM,EAAE;YACN,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpD,QAAQ,EAAE,CAAC,CAAS,EAAE,EAAE,CACtB,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC7F,GAAG,SAAS,CAAC,MAAM;SACpB;QACD,GAAG,CAAC,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,OAAoC,YAAY,EAAE,EAAE,CAC/E,gBAAgB,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAElD,+EAA+E;AAE/E,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,GAAG,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QAC5D,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAC7F,gDAAgD,CACjD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CACpF,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,GAAG,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,CAAC,GAAG,MAAM,eAAe,CAC7B,MAAM,CAAC,SAAS,CAAC,EACjB,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAC/C,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,CAAC,GAAG,MAAM,eAAe,CAC7B,MAAM,CAAC,eAAe,CAAC,EACvB,WAAW,CAAC,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAChD,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,yBAAyB;QAC/E,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,CAAC,GAAG,MAAM,eAAe,CAC7B,MAAM,CAAC,SAAS,CAAC,EACjB,WAAW,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,CAC7C,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACrE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACjG,MAAM,CAAC,GAAG,MAAM,eAAe,CAC7B,MAAM,CAAC,SAAS,CAAC,EACjB,WAAW,CAAC,EAAE,eAAe,EAAE,iBAAiB,EAAE,CAAC,CACpD,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QAChF,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC;YACzC,aAAa,CAAC,CAAC,EAAE,iBAAiB,EAAE,YAAY,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC;QACxF,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,iBAAiB;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACxF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9B,GAAG,CAAC,gBAAgB,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,uBAAuB;QAC1D,MAAM,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACjE,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9B,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;QAC3E,MAAM,MAAM,CACV,eAAe,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC,CACrE,CAAC,OAAO,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,MAAM,MAAM,CACV,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CACnE,CAAC,OAAO,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;QACpG,MAAM,MAAM,CACV,eAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAC5E,CAAC,OAAO,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,IAAI,GAAqB;YAC7B,GAAG,EAAE,GAAG;YACR,MAAM,EAAE;gBACN,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC9C,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC;aACvD;SACF,CAAC;QACF,gFAAgF;QAChF,iFAAiF;QACjF,MAAM,GAAG,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAC7D,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAClB,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAE,GAAa,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAG,GAAa,CAAC,KAAe,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,KAAK,IAAI,EAAE;QACtG,sFAAsF;QACtF,MAAM,CAAC,GAAG,EAAE,CACV,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAC1E,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,KAAK,GAAG,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC;QAChF,MAAM,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,CAAC,GAAG,MAAM,eAAe,CAC7B,MAAM,CAAC,SAAS,CAAC,EACjB,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAC/C,CAAC;QACF,MAAM,EAAE,GAAkC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,oBAAoB;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,KAAK,IAAI,EAAE;QAC7G,MAAM,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC3E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,MAAM,YAAY,GAAqB;IACrC,WAAW,EAAE,YAAY;IACzB,iBAAiB,EAAE,YAAY;CAChC,CAAC;AACF,MAAM,oBAAoB,GAAoB,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;AAEhG,SAAS,KAAK,CAAC,EAAU,EAAE,SAAiB;IAC1C,OAAO,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC;AACnG,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB;IAC/C,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO;QACL,MAAM;QACN,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC3B,cAAc,EAAE;YACd,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACxB,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,OAAgB;gBACvB,SAAS,EAAE,eAAe;aAC3B,CAAC,CAAC;YACH,iBAAiB,EAAE,CAAC;SACrB;QACD,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO;QACL,KAAK,EAAE;YACL,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAChB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,EAAE;YACf,kBAAkB,EAAE,CAAC,CAAC,CAAC;YACvB,kBAAkB,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,EAAE,SAAS,EAAE,uBAAuB,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC/D;QACD,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpB,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,kBAAkB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;QAC9F,MAAM,UAAU,GAAG,MAAM,eAAe,CACtC,QAAQ,EACR,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAC/C,CAAC;QAEF,MAAM,OAAO,GAAiB;YAC5B,QAAQ,EAAE,QAAQ,CAAC,cAAc;YACjC,IAAI,EAAE,OAAO,CAAC,UAAU;YACxB,UAAU,EAAE,UAAU,CAAC,gBAAgB,EAAE,6BAA6B;YACtE,KAAK;YACL,QAAQ,EAAE,OAAO,CAAC,cAAc;SACjC,CAAC;QACF,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,kCAAkC;QAClC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAC5F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,kBAAkB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;QAC9F,MAAM,UAAU,GAAG,MAAM,eAAe,CACtC,QAAQ,EACR,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAC/C,CAAC;QACF,iFAAiF;QACjF,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,eAAe,GAAG,KAAK,CAAC;QAChE,MAAM,OAAO,GAAiB;YAC5B,QAAQ,EAAE,QAAQ,CAAC,cAAc;YACjC,IAAI,EAAE,OAAO,CAAC,UAAU;YACxB,UAAU,EAAE,UAAU,CAAC,gBAAgB;YACvC,KAAK;YACL,QAAQ,EAAE,OAAO,CAAC,cAAc;SACjC,CAAC;QACF,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/spine/extract.d.ts

@@ -0,0 +1,146 @@
+import { type ProvenanceRecord } from '../compiler-schema.js';
+import type { ApiUsageLedger, DropLedger } from './ledgers.js';
+import type { SplitArtifact } from './split.js';
+/** A single parsed review-thread comment (provider-neutral; mirrors the CLI `groupIntoThreads` shape). */
+export interface ReviewThreadComment {
+    author: string;
+    body: string;
+}
+/**
+ * A single review thread on a file path.
+ *
+ * `isResolved` / `isOutdated` (slice 5a, mmnto-ai/totem#2201) are the per-thread
+ * resolution signal the live `ReviewThreadSource` adapter SURFACES from the
+ * GitHub `reviewThreads` payload — it does NOT filter on them. CRITICAL contract
+ * (the contract-owner ruling): the adapter fetches resolved/outdated threads WITH
+ * their flags and hands them to core; CORE decides eligibility + drop-ledgers (so
+ * every resolution rejection is auditable, §8 "every rejection ledgered"). A
+ * server-side / client-side `isResolved:false` pre-filter is FORBIDDEN — it would
+ * make the rejection unledgered (a silenced §6/FM violation).
+ */
+export interface ReviewThread {
+    path: string;
+    comments: ReviewThreadComment[];
+    /** GitHub `reviewThreads.isResolved` — the author marked this thread resolved. */
+    isResolved: boolean;
+    /** GitHub `reviewThreads.isOutdated` — the thread's diff hunk no longer matches HEAD. */
+    isOutdated: boolean;
+}
+/**
+ * The CONTENT side of a train PR, returned by the injected `ReviewThreadSource`.
+ * Content-only (ADR-111 §6): it never influences corpus membership / the split /
+ * control selection — the offline `selectionRule` is the sole membership oracle.
+ */
+export interface ReviewThreadContent {
+    pr: number;
+    /** Lowercase 40-hex merge-commit SHA (lc is squash-merge) — becomes the candidate's `provenance.commitSha`. */
+    mergeCommitSha: string;
+    threads: ReviewThread[];
+}
+/**
+ * The fetch outcome. §6 BINDING: distinguish "never fetched" (`unreachable`)
+ * from "fetched but unusable" (`unparseable`) — they route to different drop
+ * reason codes, so the §8 done-criterion can tell a broken fetch from thin
+ * content. A discriminated result keeps that distinction at the source layer
+ * rather than collapsing both into a `null`.
+ */
+export type FetchResult = {
+    kind: 'ok';
+    content: ReviewThreadContent;
+} | {
+    kind: 'unreachable';
+    detail?: string;
+} | {
+    kind: 'unparseable';
+    detail?: string;
+};
+/**
+ * A transient, stage-internal Extract output — NOT the §3 `CandidateRuleRecord`,
+ * NOT persisted, NOT a ledger row. Slice-3's classifier maps `DraftCandidate →
+ * CandidateRuleRecord` by adding the structural/behavioral disposition + its
+ * classifier-ledger reference. The miner's SOLE OUTPUT envelope remains the
+ * `CandidateRuleRecord`, minted in slice 3 — this is just the funnel value that
+ * flows Extract → Classify.
+ */
+export interface DraftCandidate {
+    provenance: ProvenanceRecord;
+    /**
+     * The LLM-drafted lesson-markdown body (ADR-103 compiler input). `unverified`
+     * and Stage-4-gated downstream — lesson-markdown is the syntax, not a
+     * Pipeline-1 trust class. Guaranteed non-empty and carrying a usable
+     * `**Pattern:**` / yaml rule by the syntactic preflight.
+     */
+    dslSource: string;
+}
+/**
+ * Injected review-thread fetch port (ADR-111 §6 content-only). Core-defined,
+ * CLI-implemented — keeps core network-free. ASYNC: the CLI impl wraps the
+ * GitHub API (network IO). MUST be called for train PRs only; the orchestrator
+ * guarantees that by iterating the train slice.
+ */
+export interface ReviewThreadSource {
+    fetch(pr: number): Promise<FetchResult>;
+}
+/**
+ * Injected draft-DSL extractor port. ASYNC: the CLI impl wraps the LLM call
+ * (network IO). List-shaped (fold 1): one thread can carry multiple structural
+ * invariants, so it returns ZERO-or-more draft bodies. The LLM lives behind this
+ * at the CLI layer (draft-only, Tenet-15); a deterministic fixture impl drives
+ * tests. The miner is BLIND to seed classes (§7 / FM f): the port is never
+ * handed one.
+ *
+ * Error contract: returns `[]` when it cannot draft from the thread — INCLUDING
+ * on its own internal/transient failure (the CLI adapter catches its LLM/network
+ * errors and surfaces `[]`). It MUST NOT throw for a per-PR content failure: an
+ * empty list is a loud drop below (FM-i-creditable), whereas a throw would abort
+ * the whole mining run. Keeping per-PR error handling in the adapter keeps the
+ * core orchestrator Tenet-4-clean (no swallowing catch); a contract-violating
+ * throw therefore propagates loudly rather than being silently absorbed.
+ */
+export interface DraftExtractor {
+    draft(content: ReviewThreadContent): Promise<string[]>;
+}
+/** Dependencies for a single Extract-stage run. */
+export interface ExtractStageDeps {
+    source: ReviewThreadSource;
+    extractor: DraftExtractor;
+    /**
+     * §7 seed-blindness fact, established in-run: `true` iff a seed class WAS
+     * supplied to the extractor (which would falsify FM f). Carried here; slice 3
+     * SERIALIZES it into the §8 emission ledger's `extractionInputsAttestation`
+     * (single persisted home, Tenet 20). Slice 2 establishes the fact; it does not
+     * grow a second store for it.
+     */
+    seedClassesProvided: boolean;
+}
+/** The Extract stage's output: transient drafts + the two ledgers Extract owns. */
+export interface ExtractStageResult {
+    /** Transient draft candidates carried forward to slice-3 Classify. */
+    drafts: DraftCandidate[];
+    /** Drop ledger — the sole disposition for any content/provenance/draft failure (§6). */
+    dropLedger: DropLedger;
+    /** API-usage ledger — every train-slice fetch; `heldOutFetchCount` MUST be 0 (FM h). */
+    apiUsageLedger: ApiUsageLedger;
+    /** In-run seed-blindness fact; slice 3 persists it into the emission ledger. */
+    seedBlindness: {
+        seedClassesProvided: boolean;
+    };
+}
+/**
+ * Run the deterministic Stage-1 Extract over a frozen split. Deterministic given
+ * its deps: identical `split` + deps → identical drafts, drops, and ledgers (the
+ * train slice is awaited sequentially, so ordering is stable). The
+ * live LLM and GitHub IO are injected ports, so this orchestration is fully
+ * CI-locked with a fixture extractor + a strict-spy fetch source.
+ *
+ * Per train PR (and ONLY train PRs): log the fetch → fetch → on unreachable /
+ * unparseable-at-source, loud-drop → resolution-eligibility gate (slice 5a: drop
+ * `resolved-rejected` when the resolution gate empties an otherwise-human thread,
+ * else `truncated` when thin to begin with) → completeness-check (≥1 human
+ * comment on the survivors) → build provenance → draft zero-or-more bodies from
+ * the SURVIVING threads only → preflight each → carry a `DraftCandidate` or
+ * loud-drop. Every train PR ends with at least one draft or one drop (FM i,
+ * slice-2 half).
+ */
+export declare function runExtractStage(split: SplitArtifact, deps: ExtractStageDeps): Promise<ExtractStageResult>;
+//# sourceMappingURL=extract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/spine/extract.ts"],"names":[],"mappings":"AAoCA,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,uBAAuB,CAAC;AAGtF,OAAO,KAAK,EACV,cAAc,EAEd,UAAU,EAGX,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAIhD,0GAA0G;AAC1G,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,kFAAkF;IAClF,UAAU,EAAE,OAAO,CAAC;IACpB,yFAAyF;IACzF,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,+GAA+G;IAC/G,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAI7C;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B;;;;;OAKG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB;AAID;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;CACzC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CACxD;AAED,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,SAAS,EAAE,cAAc,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,mFAAmF;AACnF,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,wFAAwF;IACxF,UAAU,EAAE,UAAU,CAAC;IACvB,wFAAwF;IACxF,cAAc,EAAE,cAAc,CAAC;IAC/B,gFAAgF;IAChF,aAAa,EAAE;QAAE,mBAAmB,EAAE,OAAO,CAAA;KAAE,CAAC;CACjD;AAkFD;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,eAAe,CACnC,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAmH7B"}