@mmnto/totem 1.118.1 → 1.119.0

package/dist/spine/record-lower.test.js

@@ -0,0 +1,562 @@
+// ─── Prop 310 § Design 14 — conformance suite, slice 2: LOWERING ─────────────
+//
+// Slice 1's suite pins what the parser ADMITS; this one pins what lowering DOES
+// with what was admitted. The § Design 12 obligation under test is total
+// lowering: "every construct the parser admits either lands on the compiled
+// record or fails compile LOUD — no construct is accepted at parse and dropped at
+// compile." Each cannot-lower construct class gets a negative fixture, each
+// verbatim carry gets a positive one, and the freeze boundary gets a guard that
+// fails the moment the record path starts sanitizing (or the legacy path stops).
+import * as fs from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { describe, expect, it } from 'vitest';
+import { stringify as yamlStringify } from 'yaml';
+import { extensionToLanguage } from '../ast-classifier.js';
+import { extensionToLang, resolveAstGrepLangs } from '../ast-grep-query.js';
+import { canonicalStringify } from '../compile-manifest.js';
+import { fileMatchesGlobs, sanitizeFileGlobs } from '../compiler.js';
+import { CompiledRuleSchema, CompiledRulesFileSchema } from '../compiler-schema.js';
+import { design4ExemplarRecord, design8ExemplarRecord } from './record-exemplars.fixture.js';
+import { compileRuleRecord, languageProbeGlobs, resolveRecordLanguage, V1_INEXPRESSIBLE_NAPI_KEYS, } from './record-lower.js';
+import { isRecordPathRule, RECORD_COMPILED_HOME_KEYS, ruleAppliesToFile, } from './record-runtime.js';
+import { parseRuleRecord, RequiresScopeSchema, RuleCurationSchema, RuleRecordExampleSchema, } from './rule-record.js';
+const FILE = '.totem/rules/fail-open-catch.rule.yaml';
+/**
+ * The size of the shipped legacy corpus. A CONSTANT, not a floor, because the
+ * `rule-compilation` freeze means nothing regenerates `.totem/compiled-rules.json`
+ * — so this number cannot drift while the freeze stands. When the freeze lifts and
+ * the corpus is regenerated or migrated, this updates ONCE, deliberately, and the
+ * update is the signal that the corpus moved.
+ */
+const SHIPPED_RULE_COUNT = 485;
+/** A well-formed ADR-112 §8 minted id (16 lowercase hex, no collision suffix). */
+const RULE_ID = '0123456789abcdef';
+const NOW = '2026-08-21T00:00:00.000Z';
+function lower(record, ruleId = RULE_ID) {
+    const parsed = parseRuleRecord(yamlStringify(record), FILE);
+    return compileRuleRecord(parsed, { ruleId, now: NOW });
+}
+/** Lower and assert success, returning the compiled rule (a rejection fails loudly, with its reason). */
+function lowerOk(record, ruleId = RULE_ID) {
+    const outcome = lower(record, ruleId);
+    if (outcome.kind !== 'compiled') {
+        throw new Error(`expected a compiled outcome, got rejected: ${outcome.reason}`);
+    }
+    return outcome.rule;
+}
+/** Lower and assert rejection, returning the reason (a compile fails loudly). */
+function lowerRejected(record) {
+    const outcome = lower(record);
+    if (outcome.kind !== 'rejected') {
+        throw new Error('expected a rejected outcome, got a compiled rule');
+    }
+    return outcome.reason;
+}
+/** A minimal dialect-clean ast-grep record (compound tree payload). */
+function astGrepRecord() {
+    return {
+        schemaVersion: 1,
+        severity: 'error',
+        message: 'Catch blocks must re-throw or route the error.',
+        target: {
+            type: 'ast-grep',
+            language: 'typescript',
+            rule: { kind: 'catch_clause' },
+            scope: { fileGlobs: ['packages/**/*.ts'] },
+        },
+        examples: [
+            {
+                bad: 'try { risky() } catch (e) { log(e) }',
+                good: 'try { risky() } catch (e) { throw e }',
+            },
+        ],
+    };
+}
+/** A minimal dialect-clean regex record. */
+function regexRecord() {
+    return {
+        schemaVersion: 1,
+        severity: 'warning',
+        message: 'git output-consuming commands must pin LC_ALL=C on the same line.',
+        target: {
+            type: 'regex',
+            pattern: '\\bgit\\s+(log|diff|status)\\b',
+            scope: { fileGlobs: ['**/*.sh'] },
+        },
+        examples: [{ bad: 'git log --oneline', good: 'LC_ALL=C git log --oneline' }],
+    };
+}
+// ─── A. The compiled homes (§ Design 12) + mined-path byte identity ──────────
+describe('CompiledRuleSchema additions — the § Design 12 compiled homes', () => {
+    const repoRoot = fileURLToPath(new URL('../../../../', import.meta.url));
+    const manifestPath = `${repoRoot}.totem/compiled-rules.json`;
+    const rawManifest = JSON.parse(fs.readFileSync(manifestPath, 'utf-8'));
+    it('reads a NON-EMPTY corpus at the expected size (the floor the sweeps stand on)', () => {
+        // Without this, every assertion below is self-referentially vacuous: an empty
+        // or truncated `rules` array satisfies "all rules re-validate", "no rule
+        // carries a record field", and "every rule scopes identically" trivially, and
+        // the suite would go green on a corpus that had silently disappeared.
+        expect(rawManifest.rules.length).toBe(SHIPPED_RULE_COUNT);
+    });
+    it('re-validates the shipped 485-rule manifest BYTE-IDENTICALLY under the extended schema', () => {
+        // The freeze-compatibility proof (Amendment R11 / § Data model deltas): the
+        // additions are optional, so the frozen corpus parses unchanged — and
+        // "unchanged" is checked on the MANIFEST-HASH basis (canonical, key-sorted),
+        // which is the identity that actually matters to `verify-manifest`. A
+        // required addition, or one that introduced a default, would move every hash.
+        const parsed = CompiledRulesFileSchema.parse(rawManifest);
+        expect(parsed.rules.length).toBe(SHIPPED_RULE_COUNT);
+        expect(canonicalStringify(parsed.rules)).toBe(canonicalStringify(rawManifest.rules));
+    });
+    it('leaves every legacy rule OUTSIDE the record path — the discriminator cannot flip one', () => {
+        // The runtime reads field PRESENCE as the record-path discriminator, so this
+        // is what makes "legacy rules keep their matching behaviour byte-for-byte" a
+        // fact rather than an intention. If a future writer ever puts one of these
+        // fields on a mined rule, this fails before the matcher silently changes.
+        expect(rawManifest.rules.length).toBe(SHIPPED_RULE_COUNT);
+        const carriers = rawManifest.rules.filter((rule) => RECORD_COMPILED_HOME_KEYS.some((key) => rule[key] !== undefined));
+        expect(carriers).toEqual([]);
+        const compiled = CompiledRulesFileSchema.parse(rawManifest).rules;
+        expect(compiled.filter(isRecordPathRule)).toEqual([]);
+    });
+    it('keys the record path on `examples` ALONE — a cosmetic field never flips a matcher', () => {
+        // `examples` is the EXACT discriminator: § Design 5 makes it non-omittable
+        // and the lowering emits it unconditionally. A wider "any compiled home"
+        // test would let a legacy-shaped rule that merely gained a `recoveryHint`
+        // silently switch matchers — flipping the same `*.ts` glob from the shipped
+        // tree-wide reading to the record dialect's root-only one.
+        const base = {
+            lessonHash: 'fedcba9876543210',
+            lessonHeading: 'legacy',
+            pattern: 'x',
+            message: 'm',
+            engine: 'regex',
+            compiledAt: NOW,
+            fileGlobs: ['*.ts'],
+        };
+        expect(isRecordPathRule(CompiledRuleSchema.parse(base))).toBe(false);
+        expect(isRecordPathRule(CompiledRuleSchema.parse({ ...base, recoveryHint: 'try harder' }))).toBe(false);
+        expect(isRecordPathRule(CompiledRuleSchema.parse({ ...base, verificationShadow: { type: 'rego', source: 'p' } }))).toBe(false);
+        // The deliberate contract: `examples` present ⇒ record path.
+        expect(isRecordPathRule(CompiledRuleSchema.parse({ ...base, examples: [{ bad: 'b', good: 'g' }] }))).toBe(true);
+        // And every rule this slice lowers carries it.
+        expect(isRecordPathRule(lowerOk(regexRecord()))).toBe(true);
+    });
+    it('CORPUS SWEEP: every legacy rule scopes IDENTICALLY under the shared predicate', () => {
+        // The reviewer's sweep, promoted to a standing test. `ruleAppliesToFile` is
+        // now the single scope predicate for both lint dispatchers, Stage 4, and the
+        // wind tunnel, so "legacy behaviour is byte-identical" has to be a measured
+        // property of the whole shipped corpus, not a claim about one code path.
+        const compiled = CompiledRulesFileSchema.parse(rawManifest).rules;
+        expect(compiled.length).toBe(SHIPPED_RULE_COUNT);
+        const paths = [
+            'a.ts',
+            'src/a.ts',
+            'packages/core/src/a.ts',
+            'packages/core/src/a.test.ts',
+            'scripts/x.sh',
+            'deep/nest/mod.rs',
+            'README.md',
+            'src/a.tsx',
+            '.github/workflows/ci.yml',
+            'packages/cli/src/index.cjs',
+        ];
+        let compared = 0;
+        for (const rule of compiled) {
+            for (const filePath of paths) {
+                const shipped = rule.fileGlobs && rule.fileGlobs.length > 0
+                    ? fileMatchesGlobs(filePath, rule.fileGlobs)
+                    : true;
+                expect(ruleAppliesToFile(rule, filePath)).toBe(shipped);
+                compared += 1;
+            }
+        }
+        expect(compared).toBe(compiled.length * paths.length);
+    });
+    it('accepts a rule carrying NONE of the additions (every one is optional)', () => {
+        const minimal = CompiledRuleSchema.parse({
+            lessonHash: 'abcdef0123456789',
+            lessonHeading: 'legacy',
+            pattern: 'foo',
+            message: 'no',
+            engine: 'regex',
+            compiledAt: NOW,
+        });
+        for (const key of RECORD_COMPILED_HOME_KEYS) {
+            expect(minimal[key]).toBeUndefined();
+        }
+    });
+    it('couples the compiled `requires.scope` enum to the grammar’s RequiresScopeSchema', () => {
+        // `compiler-schema.ts` is an import-graph leaf and cannot import the grammar
+        // (it would close a cycle), so the two enums are mirrored in source and
+        // COUPLED here. `block` stays reserved-unimplemented on both sides.
+        const rule = lowerOk({ ...regexRecord(), requires: { pattern: 'x', scope: 'file' } });
+        expect(RequiresScopeSchema.options).toEqual(['line', 'file']);
+        expect(rule.requires?.scope).toBe('file');
+        for (const scope of RequiresScopeSchema.options) {
+            expect(CompiledRuleSchema.safeParse({
+                lessonHash: RULE_ID,
+                lessonHeading: 'h',
+                pattern: 'p',
+                message: 'm',
+                engine: 'regex',
+                compiledAt: NOW,
+                requires: { pattern: 'x', scope },
+            }).success).toBe(true);
+        }
+        expect(CompiledRuleSchema.safeParse({
+            lessonHash: RULE_ID,
+            lessonHeading: 'h',
+            pattern: 'p',
+            message: 'm',
+            engine: 'regex',
+            compiledAt: NOW,
+            requires: { pattern: 'x', scope: 'block' },
+        }).success).toBe(false);
+    });
+    it('couples the compiled `examples` and `curation` shapes to the grammar’s schemas', () => {
+        expect(Object.keys(RuleRecordExampleSchema.shape).sort()).toEqual(['bad', 'good']);
+        expect(Object.keys(RuleCurationSchema.innerType().shape).sort()).toEqual([
+            'baseline5Phase',
+            'curatedAt',
+            'curatedBy',
+            'sourceLesson',
+        ]);
+        const rule = lowerOk(design4ExemplarRecord());
+        expect(Object.keys(rule.examples[0]).sort()).toEqual(['bad', 'good']);
+        expect(Object.keys(rule.curation).sort()).toEqual([
+            'baseline5Phase',
+            'curatedAt',
+            'curatedBy',
+            'sourceLesson',
+        ]);
+    });
+});
+// ─── B. The freeze boundary (§ Design 7 conformance scope) ───────────────────
+describe('freeze guard — sanitizeFileGlobs is untouched and never runs on the record path', () => {
+    it('keeps the legacy brace EXPANSION byte-for-byte', () => {
+        expect(sanitizeFileGlobs(['**/*.{ts,js}'])).toEqual(['**/*.ts', '**/*.js']);
+        expect(sanitizeFileGlobs(['src/*.{ts,tsx,js}'])).toEqual(['src/*.ts', 'src/*.tsx', 'src/*.js']);
+    });
+    it('keeps the legacy shallow-glob PROMOTION byte-for-byte', () => {
+        expect(sanitizeFileGlobs(['*.ts'])).toEqual(['**/*.ts']);
+        expect(sanitizeFileGlobs(['*'])).toEqual(['**/*']);
+        expect(sanitizeFileGlobs(['!*.ts'])).toEqual(['!**/*.ts']);
+        expect(sanitizeFileGlobs(['src/*.ts'])).toEqual(['src/*.ts']);
+    });
+    it('carries record globs VERBATIM — no promotion, no expansion, no trimming', () => {
+        // The negative half of the two guards above: the same `*.ts` the sanitizer
+        // promotes tree-wide survives lowering unchanged. Braces never reach here
+        // (a parse error), so the only observable transform would be promotion.
+        const record = regexRecord();
+        record.target.scope = {
+            fileGlobs: ['*.ts', 'src/*.ts', '**/*.sh'],
+            excludeGlobs: ['**/*.test.ts'],
+        };
+        const rule = lowerOk(record);
+        expect(rule.fileGlobs).toEqual(['*.ts', 'src/*.ts', '**/*.sh']);
+        expect(rule.excludeGlobs).toEqual(['**/*.test.ts']);
+    });
+});
+// ─── C. § Design 6 — language resolution moves to the declared language ──────
+describe('§ Design 6 — the declared language resolves against the registry', () => {
+    it('resolves a registered language and reports its representative extension', () => {
+        const resolution = resolveRecordLanguage('typescript');
+        expect(resolution.resolved).toBe(true);
+        if (!resolution.resolved)
+            return;
+        expect(resolution.language).toBe('typescript');
+        expect(['.cts', '.mts', '.ts']).toContain(resolution.extension);
+    });
+    it('fails loud on an unresolvable language, naming the registry as the authority', () => {
+        const resolution = resolveRecordLanguage('rust');
+        expect(resolution.resolved).toBe(false);
+        if (resolution.resolved)
+            return;
+        expect(resolution.reason).toContain('§ Design 6');
+        expect(resolution.reason).toContain('extensionToLanguage registry');
+        expect(resolution.reason).toContain('typescript');
+    });
+    it('pins the validator probe to EXACTLY one Lang (coupling guard on resolveAstGrepLangs)', () => {
+        // The record path pins `validateAstGrepPattern` to one grammar by handing it
+        // a probe glob carrying one registered extension. That indirection is only
+        // safe while the shipped derivation still maps one extension to one Lang —
+        // so this asserts the coupling instead of trusting it.
+        for (const language of ['typescript', 'tsx', 'javascript']) {
+            const resolution = resolveRecordLanguage(language);
+            expect(resolution.resolved).toBe(true);
+            if (!resolution.resolved)
+                continue;
+            const langs = resolveAstGrepLangs(languageProbeGlobs(resolution.extension));
+            expect(langs).toEqual([extensionToLang(resolution.extension)]);
+            expect(langs).toHaveLength(1);
+        }
+    });
+    it('validates under the DECLARED language, not a permissive fallback (the “moves” row)', () => {
+        // `type_alias_declaration` exists in the TypeScript/TSX grammars and not in
+        // JavaScript. The shipped validator falls back to `Lang.Tsx` — its most
+        // permissive parser — whenever a glob carries no registered extension, and
+        // accepts a pattern under ANY resolved Lang; the record path resolves ONLY
+        // the declared language and validates under exactly it. Since the language⇄
+        // glob floor now requires the scope to agree with the declaration, the globs
+        // co-vary — but they never reach the validator, which sees only the
+        // language-derived probe.
+        const typescript = astGrepRecord();
+        const tsTarget = typescript.target;
+        tsTarget.rule = { kind: 'type_alias_declaration' };
+        tsTarget.scope = { fileGlobs: ['**/*.ts'] };
+        expect(lower(typescript).kind).toBe('compiled');
+        const javascript = astGrepRecord();
+        const jsTarget = javascript.target;
+        jsTarget.language = 'javascript';
+        jsTarget.rule = { kind: 'type_alias_declaration' };
+        jsTarget.scope = { fileGlobs: ['**/*.js'] };
+        const reason = lowerRejected(javascript);
+        // The PAYLOAD gate rejected it — not the consistency floor. That distinction
+        // is what makes this a language-pinning test rather than a scope test.
+        expect(reason).toContain('target.rule failed ast-grep validation');
+        expect(reason).toContain("declared language 'javascript'");
+        expect(reason).toContain('try-each-glob-derived-Lang');
+    });
+});
+// ─── § Design 6 — the language⇄glob consistency floor ────────────────────────
+describe('§ Design 6 — an ast-grep scope must agree with its declared language', () => {
+    function astGrepScoped(language, fileGlobs, excludeGlobs) {
+        const record = astGrepRecord();
+        const target = record.target;
+        target.language = language;
+        target.scope = { fileGlobs, ...(excludeGlobs ? { excludeGlobs } : {}) };
+        return record;
+    }
+    it('rejects a scope whose extension resolves to a DIFFERENT language', () => {
+        // The demonstrated gap: this lowered clean before the floor, and the runtime
+        // — which dispatches ast-grep by file extension — would then evaluate a
+        // TypeScript-validated payload under the JavaScript grammar.
+        const reason = lowerRejected(astGrepScoped('typescript', ['**/*.js']));
+        expect(reason).toContain('§ Design 6');
+        expect(reason).toContain("targets language 'javascript'");
+        expect(reason).toContain("declares 'typescript'");
+        expect(reason).toContain('N records');
+    });
+    it('rejects `.tsx` under `language: typescript` — the registry says they are different grammars', () => {
+        // `extensionToLanguage('.tsx')` is `'tsx'`, a distinct SupportedLanguage with
+        // its own WASM loader and its own napi `Lang`. Admitting it under
+        // `typescript` would reopen exactly the gap this floor closes, so the
+        // mechanical rule governs: a `.tsx` scope declares `language: tsx`.
+        expect(extensionToLanguage('.tsx')).toBe('tsx');
+        const reason = lowerRejected(astGrepScoped('typescript', ['**/*.ts', '**/*.tsx']));
+        expect(reason).toContain("targets language 'tsx'");
+        expect(lower(astGrepScoped('tsx', ['**/*.tsx', '**/*.jsx'])).kind).toBe('compiled');
+    });
+    it('accepts MULTIPLE globs that all resolve to the declared language', () => {
+        expect(lower(astGrepScoped('typescript', ['**/*.ts', '**/*.mts', 'packages/**/*.cts'])).kind).toBe('compiled');
+    });
+    it('rejects an EXTENSION-LESS glob on an ast-grep target', () => {
+        const reason = lowerRejected(astGrepScoped('typescript', ['packages/**']));
+        expect(reason).toContain('carries no file extension');
+        expect(reason).toContain('§ Design 6');
+    });
+    it('rejects an UNREGISTERED extension it cannot confirm', () => {
+        const reason = lowerRejected(astGrepScoped('typescript', ['**/*.rs']));
+        expect(reason).toContain("extension '.rs', which is not registered");
+    });
+    it('EXEMPTS excludeGlobs — an exclusion only ever narrows', () => {
+        const outcome = lower(astGrepScoped('typescript', ['packages/**/*.ts'], ['**/*.test.js', 'vendor/**']));
+        expect(outcome.kind).toBe('compiled');
+    });
+    it('leaves REGEX targets unchecked — a regex payload has no grammar binding', () => {
+        const record = regexRecord();
+        record.target.scope = {
+            fileGlobs: ['**/*.js', 'packages/**', '**/*.rs'],
+        };
+        expect(lower(record).kind).toBe('compiled');
+    });
+});
+// ─── D. Cannot-lower negatives, one per construct class ──────────────────────
+describe('§ Design 12 — a construct that cannot lower fails compile LOUD', () => {
+    it('rejects a bad regex in `requires.pattern` (gated on EVERY engine)', () => {
+        const reason = lowerRejected({
+            ...regexRecord(),
+            requires: { pattern: '(a+)+$', scope: 'line' },
+        });
+        expect(reason).toContain('§ Design 8');
+        expect(reason).toContain('requires.pattern');
+        expect(reason).toContain('ReDoS');
+    });
+    it('gates `requires.pattern` on an ast-grep rule too — the check is engine-independent', () => {
+        const reason = lowerRejected({
+            ...astGrepRecord(),
+            requires: { pattern: '(a+)+$', scope: 'file' },
+        });
+        expect(reason).toContain('§ Design 8');
+        expect(reason).toContain('independent of target.type');
+    });
+    it('rejects `requires.scope: line` on an ast-grep target (span-vs-line ruling)', () => {
+        // An ast-grep match is a SPAN. Reading it as its start line makes the verdict
+        // depend on how the author wrapped the source, and § Design 8 reserves
+        // `block` — the span's natural unit — as unimplemented, so V1 rejects rather
+        // than shipping a formatting-dependent semantic.
+        const reason = lowerRejected({
+            ...astGrepRecord(),
+            requires: { pattern: 'LC_ALL=C', scope: 'line' },
+        });
+        expect(reason).toContain('§ Design 8');
+        expect(reason).toContain('an ast-grep match is a SPAN');
+        expect(reason).toContain('`block`');
+    });
+    it('keeps `line` valid on regex and `file` valid on BOTH engines', () => {
+        expect(lower({ ...regexRecord(), requires: { pattern: 'x', scope: 'line' } }).kind).toBe('compiled');
+        expect(lower({ ...regexRecord(), requires: { pattern: 'x', scope: 'file' } }).kind).toBe('compiled');
+        expect(lower({ ...astGrepRecord(), requires: { pattern: 'x', scope: 'file' } }).kind).toBe('compiled');
+    });
+    it('rejects an unresolvable `language`', () => {
+        const record = astGrepRecord();
+        record.target.language = 'brainfuck';
+        const reason = lowerRejected(record);
+        expect(reason).toContain('§ Design 6');
+        expect(reason).toContain("'brainfuck' is not registered");
+    });
+    it('rejects a malformed ast-grep tree at the engine gate', () => {
+        const record = astGrepRecord();
+        record.target.rule = { notARule: 1 };
+        const reason = lowerRejected(record);
+        expect(reason).toContain('§ Design 6');
+        expect(reason).toContain('target.rule failed ast-grep validation');
+    });
+    it('rejects a bad regex in `target.pattern`', () => {
+        const record = regexRecord();
+        record.target.pattern = '(';
+        const reason = lowerRejected(record);
+        expect(reason).toContain('§ Design 6');
+        expect(reason).toContain('invalid syntax');
+    });
+    it('rejects V1-inexpressible NapiConfig siblings smuggled into the rule tree', () => {
+        for (const key of V1_INEXPRESSIBLE_NAPI_KEYS) {
+            const record = astGrepRecord();
+            record.target.rule = { kind: 'catch_clause', [key]: {} };
+            const reason = lowerRejected(record);
+            expect(reason).toContain('operator ruling 2026-08-21');
+            expect(reason).toContain(`'${key}' is a NapiConfig SIBLING`);
+            expect(reason).toContain('construct-gap');
+        }
+    });
+    it('THROWS on a malformed ruleId — identity is a producer contract, not authored content', () => {
+        expect(() => lower(regexRecord(), 'not-a-minted-id')).toThrow(/malformed ruleId/);
+        expect(() => lower(regexRecord(), '')).toThrow(/malformed ruleId/);
+        // A 16-hex base with the mint's own collision suffix is well-formed.
+        expect(lowerOk(regexRecord(), '0123456789abcdef-2').lessonHash).toBe('0123456789abcdef-2');
+    });
+    it('THROWS on a record key with no defined lowering (the runtime totality check)', () => {
+        // A key that got past the parser — via a cast, a schema/table desync, or a
+        // future grammar edit that forgot this file — must never be silently dropped.
+        const parsed = parseRuleRecord(yamlStringify(regexRecord()), FILE);
+        const smuggled = {
+            ...parsed,
+            record: { ...parsed.record, futureConstruct: 'x' },
+        };
+        expect(() => compileRuleRecord(smuggled, { ruleId: RULE_ID, now: NOW })).toThrow(/record key 'futureConstruct' has no defined lowering/);
+    });
+    it('THROWS on an engine-binding divergence — the tamper guard fires (defence in depth)', () => {
+        // Honest scope, per the falsification round: this divergence is UNREACHABLE
+        // from any parse-valid record, because slice 1's `RuleTargetSchema` already
+        // kills the payload/type mismatch class at parse (pattern XOR rule, per
+        // type). The assert is therefore defence in depth against a future lowering
+        // edit or a hand-built `ParsedRuleRecord`, NOT a live § Design 3 gate — and
+        // what this test demonstrates is that the guard fires on tampered input.
+        const parsed = parseRuleRecord(yamlStringify(regexRecord()), FILE);
+        const tampered = { ...parsed, derivedEngine: 'ast-grep' };
+        expect(() => compileRuleRecord(tampered, { ruleId: RULE_ID, now: NOW })).toThrow(/declared target.type 'ast-grep' but its payload compiled as 'regex'/);
+    });
+});
+// ─── E. Identity, verbatim carries, and the tree-form ruling ─────────────────
+describe('lowering — identity, verbatim carries, and the derived NapiConfig wrapper', () => {
+    it('takes identity as an INPUT: lessonHash ← ruleId, never a dslSource hash', () => {
+        const rule = lowerOk(regexRecord());
+        expect(rule.lessonHash).toBe(RULE_ID);
+        expect(rule.lessonHeading).toBe(`Prop 310 rule record (${RULE_ID})`);
+        // The heading is NOT a copy of the author's message (Tenet 20 — one home).
+        expect(rule.lessonHeading).not.toBe(rule.message);
+    });
+    it('mints Yellow: unverified true, legitimacy and ruleClass absent', () => {
+        const rule = lowerOk(regexRecord());
+        expect(rule.unverified).toBe(true);
+        expect(rule.legitimacy).toBeUndefined();
+        expect(rule.ruleClass).toBeUndefined();
+        expect(rule.compiledAt).toBe(NOW);
+        expect(rule.createdAt).toBe(NOW);
+    });
+    it('carries every § Design 4 construct verbatim onto the compiled rule', () => {
+        const record = design4ExemplarRecord();
+        const rule = lowerOk(record);
+        expect(rule.severity).toBe('error');
+        expect(rule.message).toBe(record.message);
+        expect(rule.recoveryHint).toBe(record.recoveryHint);
+        expect(rule.examples).toEqual(record.examples);
+        expect(rule.curation).toEqual(record.curation);
+        expect(rule.fileGlobs).toEqual(['packages/**/*.ts']);
+        expect(rule.excludeGlobs).toEqual(['**/*.test.ts']);
+        expect(rule.language).toBe('typescript');
+        expect(rule.engine).toBe('ast-grep');
+    });
+    it('renames `verification_shadow` → `verificationShadow` exactly once, verbatim', () => {
+        const record = design4ExemplarRecord();
+        const rule = lowerOk(record);
+        expect(rule.verificationShadow).toEqual(record.verification_shadow);
+        // The snake_case record key never survives onto the compiled artifact.
+        expect(rule.verification_shadow).toBeUndefined();
+    });
+    it('derives the NapiConfig wrapper from the rule TREE (operator ruling 2026-08-21)', () => {
+        const record = design4ExemplarRecord();
+        const rule = lowerOk(record);
+        const tree = record.target.rule;
+        // `{rule: <tree>}` plus the napi language derived from the RESOLVED
+        // `target.language` — so the record carries no duplicate language home.
+        expect(rule.astGrepYamlRule).toEqual({ rule: tree, language: extensionToLang('.ts') });
+        expect(rule.astGrepPattern).toBeUndefined();
+        expect(rule.pattern).toBe('');
+    });
+    it('routes a FLAT ast-grep payload to astGrepPattern, still language-pinned', () => {
+        const record = astGrepRecord();
+        const target = record.target;
+        delete target.rule;
+        target.pattern = 'console.log($A)';
+        const rule = lowerOk(record);
+        expect(rule.astGrepPattern).toBe('console.log($A)');
+        expect(rule.astGrepYamlRule).toBeUndefined();
+        expect(rule.language).toBe('typescript');
+    });
+    it('omits `language` for a regex rule — the grammar forbids it there', () => {
+        const rule = lowerOk(regexRecord());
+        expect(rule.language).toBeUndefined();
+        expect(rule.pattern).toBe('\\bgit\\s+(log|diff|status)\\b');
+    });
+    it('omits every optional home the record did not declare', () => {
+        const rule = lowerOk(regexRecord());
+        expect(rule.excludeGlobs).toBeUndefined();
+        expect(rule.requires).toBeUndefined();
+        expect(rule.curation).toBeUndefined();
+        expect(rule.verificationShadow).toBeUndefined();
+        expect(rule.recoveryHint).toBeUndefined();
+    });
+    it('does NOT mirror examples onto the legacy badExample/goodExample pair', () => {
+        // Amendment 1 makes the record's `examples` the single hand-editable home;
+        // projecting it onto the legacy pair would be a second copy (Tenet 20).
+        const rule = lowerOk(design4ExemplarRecord());
+        expect(rule.badExample).toBeUndefined();
+        expect(rule.goodExample).toBeUndefined();
+        expect(rule.examples).toHaveLength(1);
+    });
+    it('is deterministic — the same record and inputs lower to a deep-equal rule', () => {
+        expect(lowerOk(design4ExemplarRecord())).toEqual(lowerOk(design4ExemplarRecord()));
+    });
+    it('lowers BOTH Prop 310 exemplars (slice 1 parse → slice 2 compile)', () => {
+        const design4 = lowerOk(design4ExemplarRecord());
+        expect(design4.engine).toBe('ast-grep');
+        const design8 = lowerOk(design8ExemplarRecord());
+        expect(design8.engine).toBe('regex');
+        expect(design8.requires).toEqual({ pattern: 'LC_ALL=C', scope: 'line' });
+        expect(design8.fileGlobs).toEqual(['**/*.sh', '**/*.cjs']);
+        expect(design8.severity).toBe('warning');
+    });
+});
+//# sourceMappingURL=record-lower.test.js.map

package/dist/spine/record-lower.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-lower.test.js","sourceRoot":"","sources":["../../src/spine/record-lower.test.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,yEAAyE;AACzE,4EAA4E;AAC5E,kFAAkF;AAClF,4EAA4E;AAC5E,gFAAgF;AAChF,iFAAiF;AAEjF,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC7F,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAEL,eAAe,EACf,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,IAAI,GAAG,wCAAwC,CAAC;AACtD;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAC/B,kFAAkF;AAClF,MAAM,OAAO,GAAG,kBAAkB,CAAC;AACnC,MAAM,GAAG,GAAG,0BAA0B,CAAC;AAEvC,SAAS,KAAK,CAAC,MAA+B,EAAE,MAAM,GAAG,OAAO;IAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,iBAAiB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,yGAAyG;AACzG,SAAS,OAAO,CAAC,MAA+B,EAAE,MAAM,GAAG,OAAO;IAChE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,8CAA8C,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC;AACtB,CAAC;AAED,iFAAiF;AACjF,SAAS,aAAa,CAAC,MAA+B;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC;AACxB,CAAC;AAED,uEAAuE;AACvE,SAAS,aAAa;IACpB,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE;YACN,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;YAC9B,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,kBAAkB,CAAC,EAAE;SAC3C;QACD,QAAQ,EAAE;YACR;gBACE,GAAG,EAAE,sCAAsC;gBAC3C,IAAI,EAAE,uCAAuC;aAC9C;SACF;KACF,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,SAAS,WAAW;IAClB,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,mEAAmE;QAC5E,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,gCAAgC;YACzC,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE;SAClC;QACD,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,YAAY,GAAG,GAAG,QAAQ,4BAA4B,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAEpE,CAAC;IAEF,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,8EAA8E;QAC9E,yEAAyE;QACzE,8EAA8E;QAC9E,sEAAsE;QACtE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,4EAA4E;QAC5E,sEAAsE;QACtE,6EAA6E;QAC7E,sEAAsE;QACtE,8EAA8E;QAC9E,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrD,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,6EAA6E;QAC7E,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACjD,yBAAyB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CACjE,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;QAClE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,2EAA2E;QAC3E,yEAAyE;QACzE,0EAA0E;QAC1E,4EAA4E;QAC5E,2DAA2D;QAC3D,MAAM,IAAI,GAAG;YACX,UAAU,EAAE,kBAAkB;YAC9B,aAAa,EAAE,QAAQ;YACvB,OAAO,EAAE,GAAG;YACZ,OAAO,EAAE,GAAG;YACZ,MAAM,EAAE,OAAgB;YACxB,UAAU,EAAE,GAAG;YACf,SAAS,EAAE,CAAC,MAAM,CAAC;SACpB,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,CACJ,gBAAgB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,CACpF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,gBAAgB,CACd,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CACzF,CACF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,6DAA6D;QAC7D,MAAM,CACJ,gBAAgB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAC7F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,+CAA+C;QAC/C,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,4EAA4E;QAC5E,6EAA6E;QAC7E,4EAA4E;QAC5E,yEAAyE;QACzE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;QAClE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG;YACZ,MAAM;YACN,UAAU;YACV,wBAAwB;YACxB,6BAA6B;YAC7B,cAAc;YACd,kBAAkB;YAClB,WAAW;YACX,WAAW;YACX,0BAA0B;YAC1B,4BAA4B;SAC7B,CAAC;QACF,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;gBAC7B,MAAM,OAAO,GACX,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;oBACzC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC;oBAC5C,CAAC,CAAC,IAAI,CAAC;gBACX,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,QAAQ,IAAI,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC;YACvC,UAAU,EAAE,kBAAkB;YAC9B,aAAa,EAAE,QAAQ;YACvB,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,yBAAyB,EAAE,CAAC;YAC5C,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,6EAA6E;QAC7E,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,GAAG,WAAW,EAAE,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,OAAO,EAAE,CAAC;YAChD,MAAM,CACJ,kBAAkB,CAAC,SAAS,CAAC;gBAC3B,UAAU,EAAE,OAAO;gBACnB,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG;gBACZ,MAAM,EAAE,OAAO;gBACf,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;aAClC,CAAC,CAAC,OAAO,CACX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,MAAM,CACJ,kBAAkB,CAAC,SAAS,CAAC;YAC3B,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,GAAG;YAClB,OAAO,EAAE,GAAG;YACZ,OAAO,EAAE,GAAG;YACZ,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE;SAC3C,CAAC,CAAC,OAAO,CACX,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YACvE,gBAAgB;YAChB,WAAW;YACX,WAAW;YACX,cAAc;SACf,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAS,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YACjD,gBAAgB;YAChB,WAAW;YACX,WAAW;YACX,cAAc;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC/F,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,iBAAiB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,iBAAiB,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,iBAAiB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,2EAA2E;QAC3E,0EAA0E;QAC1E,wEAAwE;QACxE,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,MAAkC,CAAC,KAAK,GAAG;YACjD,SAAS,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC;YAC1C,YAAY,EAAE,CAAC,cAAc,CAAC;SAC/B,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAChF,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;QACvD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,QAAQ;YAAE,OAAO;QACjC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,UAAU,CAAC,QAAQ;YAAE,OAAO;QAChC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;QACpE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,6EAA6E;QAC7E,2EAA2E;QAC3E,2EAA2E;QAC3E,uDAAuD;QACvD,KAAK,MAAM,QAAQ,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;YAC3D,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACnD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,SAAS;YACnC,MAAM,KAAK,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,4EAA4E;QAC5E,wEAAwE;QACxE,2EAA2E;QAC3E,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,oEAAoE;QACpE,0BAA0B;QAC1B,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAiC,CAAC;QAC9D,QAAQ,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;QACnD,QAAQ,CAAC,KAAK,GAAG,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAiC,CAAC;QAC9D,QAAQ,CAAC,QAAQ,GAAG,YAAY,CAAC;QACjC,QAAQ,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;QACnD,QAAQ,CAAC,KAAK,GAAG,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QACzC,6EAA6E;QAC7E,uEAAuE;QACvE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wCAAwC,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,sEAAsE,EAAE,GAAG,EAAE;IACpF,SAAS,aAAa,CAAC,QAAgB,EAAE,SAAmB,EAAE,YAAuB;QACnF,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAiC,CAAC;QACxD,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC3B,MAAM,CAAC,KAAK,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,6EAA6E;QAC7E,wEAAwE;QACxE,6DAA6D;QAC7D,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,8EAA8E;QAC9E,kEAAkE;QAClE,sEAAsE;QACtE,oEAAoE;QACpE,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CACJ,KAAK,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CACtF,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,KAAK,CACnB,aAAa,CAAC,YAAY,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,CACjF,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,MAAkC,CAAC,KAAK,GAAG;YACjD,SAAS,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC;SACjD,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAG,aAAa,CAAC;YAC3B,GAAG,WAAW,EAAE;YAChB,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;SAC/C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,MAAM,GAAG,aAAa,CAAC;YAC3B,GAAG,aAAa,EAAE;YAClB,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;SAC/C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,8EAA8E;QAC9E,uEAAuE;QACvE,6EAA6E;QAC7E,iDAAiD;QACjD,MAAM,MAAM,GAAG,aAAa,CAAC;YAC3B,GAAG,aAAa,EAAE;YAClB,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,WAAW,EAAE,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACtF,UAAU,CACX,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,WAAW,EAAE,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACtF,UAAU,CACX,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,aAAa,EAAE,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACxF,UAAU,CACX,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAkC,CAAC,QAAQ,GAAG,WAAW,CAAC;QAClE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAkC,CAAC,IAAI,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wCAAwC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,MAAkC,CAAC,OAAO,GAAG,GAAG,CAAC;QACzD,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,KAAK,MAAM,GAAG,IAAI,0BAA0B,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAkC,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC;YACtF,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,2BAA2B,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACnE,qEAAqE;QACrE,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,oBAAoB,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,2EAA2E;QAC3E,8EAA8E;QAC9E,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG;YACf,GAAG,MAAM;YACT,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE;SACpB,CAAC;QACjC,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAC9E,sDAAsD,CACvD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,4EAA4E;QAC5E,4EAA4E;QAC5E,wEAAwE;QACxE,4EAA4E;QAC5E,4EAA4E;QAC5E,yEAAyE;QACzE,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,UAAU,EAAiC,CAAC;QACzF,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAC9E,qEAAqE,CACtE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACzF,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,yBAAyB,OAAO,GAAG,CAAC,CAAC;QACrE,2EAA2E;QAC3E,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QACpC,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,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACpE,uEAAuE;QACvE,MAAM,CAAE,IAAgC,CAAC,mBAAmB,CAAC,CAAC,aAAa,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAI,MAAM,CAAC,MAAkC,CAAC,IAAI,CAAC;QAC7D,oEAAoE;QACpE,wEAAwE;QACxE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvF,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAiC,CAAC;QACxD,OAAO,MAAM,CAAC,IAAI,CAAC;QACnB,MAAM,CAAC,OAAO,GAAG,iBAAiB,CAAC;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,aAAa,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,2EAA2E;QAC3E,wEAAwE;QACxE,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,aAAa,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}