code-auditor-mcp 4.1.1 → 5.0.2

package/dist/phase/phaseModel.js

@@ -0,0 +1,491 @@
+/**
+ * Spec 68 §11.1 — the general phase-model runner behind the both-paths split.
+ *
+ * `runPhaseModel` drives Parse → Process → Analyze over `MIGRATED_RULES`. The
+ * three-phase ordering and the "rules read facts, never ASTs" property are
+ * fixed here; §6's fan-out is realized as a bounded in-process work queue over
+ * one task per file (`workerCount` on {@link PhaseInfra}), with a deterministic
+ * file-sorted fact merge so `workerCount` is a tuning threshold, never a source
+ * of output reordering (§6.4). Tree-sitter `parse()` is synchronous CPU-bound
+ * work in one JS thread, so the queue is a structural unit rather than a
+ * wall-clock parallelizer; the guarantees §6 exists to deliver — per-file
+ * isolation (§3.3), byte-identical output across worker counts (§6.4), and a
+ * bounded in-flight window (§6.5) — are what land here.
+ *
+ * The fact set is *derived* from the migrated rules' `needs`: the union of every
+ * declared fact kind, transitively widened by corpus processors' upstream
+ * `needs` (today that is the one `ddl-declarations → resolution` edge). File
+ * facts are built by parsing each file once and running every matching
+ * per-(kind, format) producer over it; corpus facts are reduced in dependency
+ * order. Each rule then runs against exactly the facts it declared — no more,
+ * no less — which is what makes a rule's coverage state computable (§8).
+ *
+ * Thresholds are resolved by the caller (§10's config surface) and passed as a
+ * per-rule map; a rule with no entry reads its documented fallback. The rule's
+ * own `analyze` never reaches a tree, an adapter, or a source string.
+ */
+import { promises as fs } from 'fs';
+import { MIGRATED_RULES } from './rules/registry.js';
+import { fileProducerFor, PRODUCERS, CORPUS_PRODUCERS } from './producers.js';
+import { oracleShortfall } from './oracles.js';
+import { formatFor, parseOne } from './runner.js';
+import { loadTailwindConfig, tokensToStyleTokens } from '../styles/tailwindConfigLoader.js';
+import { findFiles, UNREAD_STYLE_EXTENSIONS, getSourceExtensions } from '../utils/fileDiscovery.js';
+import { classifyUnprovenQueryReceivers, classifyUnresolvedQuerySites, classifyUnparseableSql } from './receiverConsumers.js';
+import { computeAmbientInterfaceFields } from './receiverProvenance.js';
+import { withRuleTiming, withRuleTimingAsync } from '../analyzers/ruleTiming.js';
+/**
+ * Run the full phase model over the given absolute file paths and return the
+ * migrated rules' findings. A no-op while `MIGRATED_RULES` is empty (the legacy
+ * pipeline serves everything, so the tool is functionally unchanged).
+ *
+ * @param filePaths - The absolute file paths to read and run through the model.
+ * @param thresholdsByRule - The resolved per-rule threshold map.
+ * @param infra - The optional corpus-level inputs (project root, index, workers).
+ * @returns The migrated rules' findings and the per-file fact completeness map.
+ */
+export async function runPhaseModel(filePaths, thresholdsByRule, infra) {
+    if (MIGRATED_RULES.length === 0)
+        return { findings: [], incompleteFacts: new Map(), oracleShortfalls: [], unprovenQueryReceivers: [], unresolvedImports: [], unresolvedQuerySites: [], unparseableSql: [] };
+    const active = activeRules(infra?.enabledRules);
+    if (active.length === 0)
+        return { findings: [], incompleteFacts: new Map(), oracleShortfalls: [], unprovenQueryReceivers: [], unresolvedImports: [], unresolvedQuerySites: [], unparseableSql: [] };
+    const neededFormats = new Set();
+    for (const rule of active) {
+        for (const f of rule.needs.formats)
+            neededFormats.add(f);
+    }
+    // Widen to the formats that supply the transitively-needed *file* facts: a
+    // rule names only the formats it evaluates (`needs.formats`), not the formats
+    // its facts come from. `unknown-table` declares `resolution`, whose
+    // upstream `ddl-declarations` is supplied by `sql` (migration files) as well
+    // as TS/JS — so `.sql` files must be read even though no rule declares `sql`.
+    const neededKinds = neededFactKinds(active);
+    for (const kind of neededKinds) {
+        const producers = PRODUCERS[kind];
+        if (producers)
+            for (const format of Object.keys(producers))
+                neededFormats.add(format);
+    }
+    // Spec 70 — the traverse phase is now the source of the three *walk-level*
+    // unread reasons (`unsupported style dialect`, `read failed`, `unsupported
+    // source extension`), each byte-identical to the legacy string it replaces.
+    // The content-level `<style lang="…">` reason still comes from the index
+    // table (via the corpus producer), so the fact is their merge in `buildFacts`.
+    const unread = [];
+    // Dialect walk (`.less`/`.styl`/`.sass`) — full runs only, matching the legacy
+    // `if (!scoped)` around `findUnreadStyleFiles`.
+    if (infra?.projectRoot && !infra.scoped && neededKinds.has('unread-style-sources')) {
+        for (const p of await findFiles(infra.projectRoot, { extensions: UNREAD_STYLE_EXTENSIONS })) {
+            const ext = p.slice(p.lastIndexOf('.') + 1);
+            unread.push({ filePath: p, reason: `unsupported style dialect: ${ext}` });
+        }
+    }
+    const files = [];
+    for (const p of filePaths) {
+        // Unknown source extension → unread (the legacy `extractForFile` backstop),
+        // and skip the parse — `formatFor` would map it to `typescript` and mis-parse
+        // it as TS rather than leaving it unhandled.
+        const ext = p.includes('.') ? p.slice(p.lastIndexOf('.')) : '';
+        if (ext && !getSourceExtensions().has(ext)) {
+            unread.push({ filePath: p, reason: `unsupported source extension: ${ext}` });
+            continue;
+        }
+        if (!neededFormats.has(formatFor(p)))
+            continue;
+        try {
+            files.push({ path: p, content: await fs.readFile(p, 'utf8') });
+        }
+        catch (err) {
+            // Unreadable — the traverse's own read attempt records the reason (the
+            // legacy read-failure push moved here); skip, don't fail.
+            unread.push({ filePath: p, reason: `read failed: ${err instanceof Error ? err.message : String(err)}` });
+        }
+    }
+    return runPhaseModelOverFiles(files, thresholdsByRule, infra, unread);
+}
+/**
+ * The file/corpus-pipeline half, exposed for the slice tests.
+ *
+ * @param files - The already-read input files to parse, process, and analyze.
+ * @param thresholdsByRule - The resolved per-rule threshold map.
+ * @param infra - The optional corpus-level inputs (project root, index, workers).
+ * @param unread - The traverse phase's walk-level unread-source reasons (dialect,
+ *   read-failure, unknown-extension), merged into the `unread-style-sources`
+ *   fact ahead of the corpus producer's table-derived content-level reasons.
+ * @returns The migrated rules' findings and the per-file fact completeness map.
+ */
+export async function runPhaseModelOverFiles(files, thresholdsByRule, infra, unread = []) {
+    const { facts, incompleteFacts, oracleShortfalls, unprovenQueryReceivers, unresolvedImports, unresolvedQuerySites, unparseableSql } = await buildFacts(files, infra, unread);
+    const findings = await analyzeAll(facts, thresholdsByRule, infra);
+    return {
+        findings,
+        incompleteFacts,
+        oracleShortfalls,
+        unprovenQueryReceivers,
+        unresolvedImports,
+        unresolvedQuerySites,
+        unparseableSql,
+    };
+}
+/** The migrated rules this run should serve: all, or the enabled subset. */
+function activeRules(enabledRules) {
+    if (!enabledRules)
+        return MIGRATED_RULES;
+    return MIGRATED_RULES.filter((r) => enabledRules.has(r.id));
+}
+/** The fact kinds the migrated rules read, transitively closed over corpus `needs`. */
+function neededFactKinds(active = MIGRATED_RULES) {
+    const needed = new Set();
+    for (const rule of active) {
+        for (const f of rule.needs.facts)
+            needed.add(f);
+    }
+    // Corpus producers pull in their upstream facts (ddl-declarations → resolution).
+    let grew = true;
+    while (grew) {
+        grew = false;
+        for (const producer of Object.values(CORPUS_PRODUCERS)) {
+            if (!needed.has(producer.produces))
+                continue;
+            for (const upstream of producer.needs) {
+                if (!needed.has(upstream)) {
+                    needed.add(upstream);
+                    grew = true;
+                }
+            }
+        }
+    }
+    // Spec 70 2c — `classifyUnprovenQueryReceivers` (the fifth receiver consumer)
+    // reads the raw `data-access-calls-candidates` fact, which is only an upstream
+    // of `data-access-calls`. When `receiver-provenance` is needed through another
+    // consumer (e.g. a `loop-queries`-only run) but `data-access-calls` is not, that
+    // candidate fact would be absent and the cannot-fire surface would silently read
+    // empty — matching the pre-pass, which always scanned for unproven receivers
+    // whenever any receiver consumer was present.
+    if (needed.has('receiver-provenance'))
+        needed.add('data-access-calls-candidates');
+    return needed;
+}
+/** Process: build every needed fact kind (file facts, then corpus facts in order). */
+async function buildFacts(files, infra, unread = []) {
+    const projectRoot = infra?.projectRoot;
+    const active = activeRules(infra?.enabledRules);
+    const needed = neededFactKinds(active);
+    const facts = new Map();
+    const incompleteFacts = new Map();
+    const oracleShortfalls = [];
+    const fileKinds = [...needed].filter((k) => Object.prototype.hasOwnProperty.call(PRODUCERS, k));
+    // Every needed file fact starts empty so a corpus producer whose upstream
+    // no file produced sees `[]`, not `undefined` (resolution's
+    // ddl-declarations edge on a corpus with no code DDL — e.g. a styles-only
+    // audit, or DDL declared in .sql migrations the code parser never sees).
+    for (const kind of fileKinds) {
+        facts.set(kind, []);
+    }
+    /** Record `file` against `kind` in the per-file completeness map (§3.3). */
+    const markIncomplete = (kind, file) => {
+        let set = incompleteFacts.get(kind);
+        if (!set) {
+            set = new Set();
+            incompleteFacts.set(kind, set);
+        }
+        set.add(file);
+    };
+    // §6.1 — one parse + per-file process is a single task per file. Each task
+    // returns that file's fact fragments (and its incomplete (kind) list); the
+    // parent merges them in file order. A bounded queue runs at most `workerCount`
+    // files in flight (§6.5). `workerCount` is a threshold, not a selection gate:
+    // the merge is file-sorted, so the fact arrays — and every finding derived
+    // from them — are byte-identical regardless of how wide the queue is (§6.4).
+    //
+    // §3.3 per-file failure isolation: a failed parse marks every file fact kind
+    // that would have been produced from this file's format `incomplete`; a
+    // throwing producer marks just that (kind, file) pair. Either way the run
+    // continues — the failure is observable in §8's coverage, not a dropped file
+    // (which would read `clean`, a false negative) and not an aborted run.
+    const workerCount = Math.max(1, infra?.workerCount ?? 1);
+    const perFile = await mapWithConcurrency(files, (input) => processFile(input, fileKinds, projectRoot, infra), workerCount);
+    // Deterministic merge: file-sorted so the parent's write order (and thus every
+    // rule's input and output) never depends on completion order.
+    const ordered = [...perFile].sort((a, b) => (a.file < b.file ? -1 : a.file > b.file ? 1 : 0));
+    for (const r of ordered) {
+        for (const [kind, items] of r.fragments) {
+            const acc = facts.get(kind) ?? [];
+            acc.push(...items);
+            facts.set(kind, acc);
+        }
+        for (const kind of r.incomplete)
+            markIncomplete(kind, r.file);
+        oracleShortfalls.push(...r.shortfalls);
+    }
+    // Corpus-level Tailwind theme tokens (Spec 68 §3.2): the legacy pipeline
+    // stores these in `style_tokens` alongside the per-file CSS custom properties
+    // during index sync. The phase fact has no index, so merge them here as a
+    // synthetic declaration-free fragment. `tokensToStyleTokens` on a project with
+    // no Tailwind config yields `filePath: 'built-in defaults'`, which
+    // `buildTokenValueMap` / `buildDeclaredScale` both exclude — so the merge is a
+    // no-op for plain-CSS projects and load-bearing only when a real config
+    // declares a color/spacing/font-size scale.
+    if (projectRoot && needed.has('style-declarations')) {
+        const twTokens = tokensToStyleTokens(loadTailwindConfig(projectRoot), projectRoot);
+        if (twTokens.length > 0) {
+            const acc = facts.get('style-declarations') ?? [];
+            acc.push({ declarations: [], tokens: twTokens, classUsage: [], unreadSources: [] });
+            facts.set('style-declarations', acc);
+        }
+    }
+    // Spec 70 2b — the dry-pair seed write: after the file facts are merged (the
+    // `code-block` fact is complete) but before the corpus facts reduce (so
+    // `clone-pair-history` reads the freshly-written `dry_pair_history` rows, the
+    // same write-before-read ordering `persistDryPairs`-then-`runPhaseModel` had).
+    await infra?.persistDryPairHistory?.(facts);
+    // Corpus facts, reduced from upstream facts (single shallow level today).
+    const corpusKinds = [...needed].filter((k) => Object.prototype.hasOwnProperty.call(CORPUS_PRODUCERS, k));
+    // Shared `identifyHandle` verdict cache (Spec 70) — one map per `buildFacts`
+    // pass, threaded through `corpusCtx` to the four receiver consumers and reused
+    // by the post-loop classifiers below. The verdict is a pure function of
+    // (file, handle identity) within a single pass, so a cache hit is byte-identical
+    // to a re-fold; it just avoids folding `data-access-calls-candidates` twice
+    // (once in `data-access-calls`, once in the cannot-fire reduction).
+    const handleVerdictCache = new Map();
+    // Spec 70 criterion 9 (Item 4) — the ambient interface-field map (global script
+    // interfaces) is computed once here, where the import/export facts are present,
+    // and threaded through `corpusCtx` to the receiver consumers and the cannot-fire
+    // reduction below. This is what lets a Workers `env: Env` resolve `Env` from
+    // `worker-configuration.d.ts` (a global script) even though the handler file
+    // itself never declares the interface.
+    const ambientInterfaceFields = computeAmbientInterfaceFields(facts.get('within-file-provenance') ?? [], facts.get('import-specifiers') ?? [], facts.get('export-symbols') ?? []);
+    const corpusCtx = {
+        projectRoot: infra?.projectRoot,
+        corpusFiles: infra?.corpusFiles,
+        virtualModules: infra?.importVirtualModules,
+        tsconfigAliases: infra?.tsconfigAliases,
+        packageEntryPoints: infra?.packageEntryPoints,
+        indexHandle: infra?.indexHandle,
+        externalTables: infra?.externalTables,
+        sqlDialect: infra?.sqlDialect,
+        declaredTypePackages: infra?.declaredTypePackages,
+        ambientInterfaceFields,
+        handleVerdictCache,
+    };
+    // §5 DAG — topological sort. A corpus producer's `needs` may reference other
+    // corpus kinds (e.g. the four receiver consumers depend on `receiver-provenance`,
+    // which itself depends on file facts). File-fact needs are already satisfied by
+    // the per-file pass above; only the corpus→corpus edges require ordering, so the
+    // sort runs over `corpusKinds` alone (a `needs` entry naming a file fact is
+    // simply already present in `facts`). Kahn's algorithm; a cycle falls back to
+    // the unsorted order rather than looping (no cycle exists in the declared DAG).
+    const sortedCorpusKinds = topoSortCorpusKinds(corpusKinds);
+    for (const kind of sortedCorpusKinds) {
+        const producer = CORPUS_PRODUCERS[kind];
+        const upstream = Object.fromEntries(producer.needs.map((n) => [n, facts.get(n)]));
+        facts.set(kind, withRuleTiming(`producer:${producer.id}`, () => producer.process(upstream, corpusCtx)));
+    }
+    // Spec 70 — merge the traverse phase's walk-level unread reasons ahead of the
+    // corpus producer's fact-derived content-level reasons (`<style lang>`). The
+    // walk-level half is the traverse's own read/dialect record; the content-level
+    // half is what the `unread-style-sources` producer flattens from the markup
+    // `style-declarations` fact (`extractStylesMarkup` collects it during its
+    // `extractDeclarations` pass — no `style_unread_sources` table re-read).
+    if (needed.has('unread-style-sources')) {
+        const content = facts.get('unread-style-sources') ?? [];
+        facts.set('unread-style-sources', [...unread, ...content]);
+    }
+    const coverage = deriveCoverageDiagnostics(facts, infra, handleVerdictCache, ambientInterfaceFields);
+    return {
+        facts,
+        incompleteFacts,
+        oracleShortfalls,
+        unprovenQueryReceivers: coverage.unprovenQueryReceivers,
+        unresolvedImports: coverage.unresolvedImports,
+        unresolvedQuerySites: coverage.unresolvedQuerySites,
+        unparseableSql: coverage.unparseableSql,
+    };
+}
+/**
+ * Spec 70 2c — the fifth receiver consumer (a plain reduction, not a registry
+ * fact kind): re-derive the coverage diagnostics from the raw facts + the
+ * `receiver-provenance` fixed point. All four halves exist only to feed the
+ * `cannot-fire` coverage diagnostic (re-homed in the caller), never a rule's
+ * declared facts.
+ */
+function deriveCoverageDiagnostics(facts, infra, handleVerdictCache, ambientInterfaceFields) {
+    let unprovenQueryReceivers = [];
+    let unresolvedImports = [];
+    let unresolvedQuerySites = [];
+    let unparseableSql = [];
+    const receiverProvenanceFact = facts.get('receiver-provenance');
+    if (!receiverProvenanceFact) {
+        return { unprovenQueryReceivers, unresolvedImports, unresolvedQuerySites, unparseableSql };
+    }
+    unresolvedImports = [...receiverProvenanceFact.unresolvedImports];
+    // The shared resolution tail the three corpus reductions below rehydrate from.
+    const resolutionBase = {
+        withinFacts: facts.get('within-file-provenance') ?? [],
+        provenance: receiverProvenanceFact,
+        activityFacts: facts.get('receiver-activity') ?? [],
+        sqlDialect: infra?.sqlDialect ?? null,
+        declaredTypePackages: infra?.declaredTypePackages,
+        ambientInterfaceFields,
+        projectRoot: infra?.projectRoot,
+        tsconfig: infra?.tsconfigAliases,
+    };
+    unprovenQueryReceivers = classifyUnprovenQueryReceivers(facts.get('data-access-calls-candidates') ?? [], { ...resolutionBase, verdictCache: handleVerdictCache });
+    // Spec 70 1b — the `unresolved-query` half (a third coverage signal, alongside
+    // the two above): re-derive the re-admitted unresolvable-SQL DB-calls from the
+    // raw `schema-usage-candidates` fact + the provenance fixed point. Only runs
+    // when `schema-usage` was needed (its raw fact is present); otherwise empty.
+    const schemaUsageCandidates = facts.get('schema-usage-candidates');
+    if (schemaUsageCandidates) {
+        unresolvedQuerySites = classifyUnresolvedQuerySites(schemaUsageCandidates, resolutionBase);
+        // Spec 70 R2 — the `unparseable` half (the `unresolved-query` sibling):
+        // re-derive the re-admitted static-SQL arguments the named dialect could not
+        // parse, from the same raw fact + fixed point. Threads `sqlDialectReason` so
+        // a dialect-undetermined corpus reports the legacy `why`, not the generic
+        // fallback string.
+        unparseableSql = classifyUnparseableSql(schemaUsageCandidates, {
+            ...resolutionBase,
+            sqlDialectReason: infra?.sqlDialectReason ?? null,
+        });
+    }
+    return { unprovenQueryReceivers, unresolvedImports, unresolvedQuerySites, unparseableSql };
+}
+/**
+ * §5 DAG — topological sort over the corpus kinds requested, so a corpus producer
+ * whose `needs` names another corpus kind runs after it. A `needs` entry naming a
+ * file fact is ignored here (file facts are already in `facts` by the time corpus
+ * producers run). Kahn's algorithm keyed on the `CORPUS_PRODUCERS[].needs` edges;
+ * the result preserves the input order among independent kinds (the determinism
+ * anchor), and a cycle (none exists in the declared DAG) falls back to the input
+ * order rather than looping forever.
+ */
+function topoSortCorpusKinds(kinds) {
+    const corpusSet = new Set(kinds);
+    const inDegree = new Map();
+    const dependents = new Map();
+    for (const kind of kinds)
+        inDegree.set(kind, 0);
+    for (const kind of kinds) {
+        for (const need of CORPUS_PRODUCERS[kind].needs) {
+            if (!corpusSet.has(need))
+                continue; // file fact — already satisfied.
+            inDegree.set(kind, (inDegree.get(kind) ?? 0) + 1);
+            const list = dependents.get(need) ?? [];
+            list.push(kind);
+            dependents.set(need, list);
+        }
+    }
+    // Seed the queue with the zero-in-degree kinds in input order (stability).
+    const queue = kinds.filter((k) => (inDegree.get(k) ?? 0) === 0);
+    const sorted = [];
+    while (queue.length > 0) {
+        const kind = queue.shift();
+        sorted.push(kind);
+        for (const dep of dependents.get(kind) ?? []) {
+            const next = (inDegree.get(dep) ?? 1) - 1;
+            inDegree.set(dep, next);
+            if (next === 0)
+                queue.push(dep);
+        }
+    }
+    // A cycle leaves some kinds unsorted; fall back to the input order for them.
+    if (sorted.length !== kinds.length)
+        return [...kinds];
+    return sorted;
+}
+/** §6.5 — bounded work queue: run `fn` over `items` with at most `limit` in
+ *  flight, returning results in input order. With `limit === 1` this is exactly
+ *  a serial loop; with `limit > 1` the queue never holds more than `limit`
+ *  in-flight tasks, so a huge repository does not materialize a wall of
+ *  concurrent parses. Input order is preserved in the result array, so the
+ *  caller's file-sorted merge is the single determinism anchor. */
+async function mapWithConcurrency(items, fn, limit) {
+    const results = new Array(items.length);
+    let next = 0;
+    const workers = Array.from({ length: Math.min(limit, items.length) }, async () => {
+        while (next < items.length) {
+            const i = next++;
+            results[i] = await fn(items[i]);
+        }
+    });
+    await Promise.all(workers);
+    return results;
+}
+/** §6.1 — one task per file: parse once, run every matching per-(kind, format)
+ *  producer, free the tree, and return the file's fact fragments plus its
+ *  incomplete (kind) list. The tree never leaves this function (Fact 8), and a
+ *  parse failure or throwing producer is scoped to this file — the parent
+ *  records `incomplete` rather than aborting (§3.3). */
+async function processFile(input, fileKinds, projectRoot, infra) {
+    let parsed = await parseOne(input, projectRoot);
+    // Spec 70 R1 — attach the corpus dialect to the parsed file so the
+    // data-access producer's SQL facts parse rather than regex.
+    if (parsed && infra?.sqlDialect) {
+        parsed = { ...parsed, sqlDialect: infra.sqlDialect };
+    }
+    const fragments = new Map();
+    const incomplete = [];
+    const shortfalls = [];
+    if (!parsed) {
+        const format = formatFor(input.path);
+        for (const kind of fileKinds) {
+            if (fileProducerFor(kind, format))
+                incomplete.push(kind);
+        }
+        return { file: input.path, fragments, incomplete, shortfalls };
+    }
+    try {
+        for (const kind of fileKinds) {
+            const producer = fileProducerFor(kind, parsed.format);
+            if (!producer)
+                continue;
+            try {
+                await infra?.beforeProcess?.(kind, input.path);
+                // Spec 38 R2 — per-producer timing on the phase path. The legacy
+                // `withRuleTiming` only wrapped the `Universal*Analyzer` visitors, so
+                // after the migration the gate's per-rule breakdown reported rule cost
+                // (~20 ms) against a ~320 ms gate with the producer cost invisible.
+                // Timing each producer's `process` under `producer:<id>` surfaces the
+                // fact-build cost in the same slowest-first breakdown as the rules.
+                const emitted = withRuleTiming(`producer:${producer.id}`, () => producer.process(parsed));
+                const acc = fragments.get(kind) ?? [];
+                acc.push(...emitted);
+                fragments.set(kind, acc);
+                const sf = oracleShortfall(producer.oracle, parsed, emitted, producer.id);
+                if (sf)
+                    shortfalls.push(sf);
+            }
+            catch {
+                incomplete.push(kind);
+            }
+        }
+    }
+    finally {
+        parsed.ast?.dispose?.();
+    }
+    return { file: input.path, fragments, incomplete, shortfalls };
+}
+/** Analyze: run every active migrated rule against exactly its declared facts.
+ *  `beforeAnalyze` fires once before the first rule, after `buildFacts` has
+ *  completed for every file and every processor level — the §16.5 ordering
+ *  observation point. */
+async function analyzeAll(facts, thresholdsByRule, infra) {
+    await infra?.beforeAnalyze?.();
+    const findings = [];
+    for (const rule of activeRules(infra?.enabledRules)) {
+        const ruleFacts = Object.fromEntries(rule.needs.facts.map((f) => [f, facts.get(f)]));
+        const ctx = {
+            facts: ruleFacts,
+            formats: rule.needs.formats,
+            thresholds: thresholdsByRule.get(rule.id) ?? {},
+        };
+        // Spec 38 R2 — per-rule timing on the phase path (the legacy `withRuleTiming`
+        // wrappers no longer run for migrated rules). Records the full async analyze
+        // under the rule's ID so the gate's per-rule breakdown reports the dominant
+        // rule again, not `(no rules recorded)`.
+        findings.push(...await withRuleTimingAsync(rule.id, () => rule.analyze(ctx)));
+    }
+    return findings;
+}
+//# sourceMappingURL=phaseModel.js.map

package/dist/phase/phaseModel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phaseModel.js","sourceRoot":"","sources":["../../src/phase/phaseModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,IAAI,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAkB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AA2BpG,OAAO,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9H,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAoIjF;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,SAA4B,EAC5B,gBAAsD,EACtD,KAAkB;IAElB,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAE5M,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAEpM,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,2EAA2E;IAC3E,8EAA8E;IAC9E,oEAAoE;IACpE,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAI,SAAgE,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,SAAS;YAAE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxF,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,+EAA+E;IAC/E,MAAM,MAAM,GAA4B,EAAE,CAAC;IAE3C,+EAA+E;IAC/E,gDAAgD;IAChD,IAAI,KAAK,EAAE,WAAW,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,MAAM,SAAS,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAC;YAC5F,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,8BAA8B,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,4EAA4E;QAC5E,8EAA8E;QAC9E,6CAA6C;QAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,IAAI,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,iCAAiC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAC/C,IAAI,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,uEAAuE;YACvE,0DAA0D;YAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IAED,OAAO,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,KAA2B,EAC3B,gBAAsD,EACtD,KAAkB,EAClB,SAA2C,EAAE;IAE7C,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7K,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAClE,OAAO;QACL,QAAQ;QACR,eAAe;QACf,gBAAgB;QAChB,sBAAsB;QACtB,iBAAiB;QACjB,oBAAoB;QACpB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,WAAW,CAAC,YAAkC;IACrD,IAAI,CAAC,YAAY;QAAE,OAAO,cAAc,CAAC;IACzC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,uFAAuF;AACvF,SAAS,eAAe,CAAC,SAAyC,cAAc;IAC9E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAY,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,iFAAiF;IACjF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC7C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACrB,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,iFAAiF;IACjF,iFAAiF;IACjF,6EAA6E;IAC7E,8CAA8C;IAC9C,IAAI,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAClF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sFAAsF;AACtF,KAAK,UAAU,UAAU,CACvB,KAA2B,EAC3B,KAAkB,EAClB,SAA2C,EAAE;IAE7C,MAAM,WAAW,GAAG,KAAK,EAAE,WAAW,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAE/C,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAClC,CAAC,CAAC,EAAqB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAC7E,CAAC;IAEF,0EAA0E;IAC1E,4DAA4D;IAC5D,0EAA0E;IAC1E,yEAAyE;IACzE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,CAAC;IAED,4EAA4E;IAC5E,MAAM,cAAc,GAAG,CAAC,IAAc,EAAE,IAAY,EAAE,EAAE;QACtD,IAAI,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;YAChB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC,CAAC;IAEF,2EAA2E;IAC3E,2EAA2E;IAC3E,+EAA+E;IAC/E,8EAA8E;IAC9E,2EAA2E;IAC3E,6EAA6E;IAC7E,EAAE;IACF,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CACtC,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,EAC5D,WAAW,CACZ,CAAC;IAEF,+EAA+E;IAC/E,8DAA8D;IAC9D,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACxC,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAA2B,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACnB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU;YAAE,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,yEAAyE;IACzE,8EAA8E;IAC9E,0EAA0E;IAC1E,+EAA+E;IAC/E,mEAAmE;IACnE,+EAA+E;IAC/E,wEAAwE;IACxE,4CAA4C;IAC5C,IAAI,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;QACnF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAyC,IAAI,EAAE,CAAC;YAC3F,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;YACpF,KAAK,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,wEAAwE;IACxE,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,KAAK,EAAE,qBAAqB,EAAE,CAAC,KAAK,CAAC,CAAC;IAE5C,0EAA0E;IAC1E,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CACpC,CAAC,CAAC,EAAsC,EAAE,CACxC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAC5D,CAAC;IACF,6EAA6E;IAC7E,+EAA+E;IAC/E,wEAAwE;IACxE,iFAAiF;IACjF,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAgC,CAAC;IAEnE,gFAAgF;IAChF,gFAAgF;IAChF,iFAAiF;IACjF,6EAA6E;IAC7E,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,sBAAsB,GAAG,6BAA6B,CACzD,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAA4C,IAAI,EAAE,EACpF,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAwC,IAAI,EAAE,EAC3E,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAoC,IAAI,EAAE,CACtE,CAAC;IAEF,MAAM,SAAS,GAAkB;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,cAAc,EAAE,KAAK,EAAE,oBAAoB;QAC3C,eAAe,EAAE,KAAK,EAAE,eAAe;QACvC,kBAAkB,EAAE,KAAK,EAAE,kBAAkB;QAC7C,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,cAAc,EAAE,KAAK,EAAE,cAAc;QACrC,UAAU,EAAE,KAAK,EAAE,UAAU;QAC7B,oBAAoB,EAAE,KAAK,EAAE,oBAAoB;QACjD,sBAAsB;QACtB,kBAAkB;KACnB,CAAC;IACF,6EAA6E;IAC7E,kFAAkF;IAClF,gFAAgF;IAChF,iFAAiF;IACjF,4EAA4E;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAiB,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,4EAA4E;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACvC,MAAM,OAAO,GAAI,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAyC,IAAI,EAAE,CAAC;QACjG,KAAK,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,sBAAsB,CAAC,CAAC;IAErG,OAAO;QACL,KAAK;QACL,eAAe;QACf,gBAAgB;QAChB,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB;QACvD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,cAAc,EAAE,QAAQ,CAAC,cAAc;KACxC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,yBAAyB,CAChC,KAA6B,EAC7B,KAA6B,EAC7B,kBAAqD,EACrD,sBAAoF;IAOpF,IAAI,sBAAsB,GAA4B,EAAE,CAAC;IACzD,IAAI,iBAAiB,GAA2B,EAAE,CAAC;IACnD,IAAI,oBAAoB,GAA0B,EAAE,CAAC;IACrD,IAAI,cAAc,GAA6C,EAAE,CAAC;IAClE,MAAM,sBAAsB,GAAG,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAuC,CAAC;IACtG,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC5B,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,CAAC;IAC7F,CAAC;IACD,iBAAiB,GAAG,CAAC,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,CAAC;IAClE,+EAA+E;IAC/E,MAAM,cAAc,GAAG;QACrB,WAAW,EAAG,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAA4C,IAAI,EAAE;QAClG,UAAU,EAAE,sBAAsB;QAClC,aAAa,EAAG,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAwC,IAAI,EAAE;QAC3F,UAAU,EAAE,KAAK,EAAE,UAAU,IAAI,IAAI;QACrC,oBAAoB,EAAE,KAAK,EAAE,oBAAoB;QACjD,sBAAsB;QACtB,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,QAAQ,EAAE,KAAK,EAAE,eAAe;KACjC,CAAC;IACF,sBAAsB,GAAG,8BAA8B,CACpD,KAAK,CAAC,GAAG,CAAC,8BAA8B,CAA2C,IAAI,EAAE,EAC1F,EAAE,GAAG,cAAc,EAAE,YAAY,EAAE,kBAAkB,EAAE,CACxD,CAAC;IACF,+EAA+E;IAC/E,+EAA+E;IAC/E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,qBAAqB,GAAG,KAAK,CAAC,GAAG,CAAC,yBAAyB,CAA4C,CAAC;IAC9G,IAAI,qBAAqB,EAAE,CAAC;QAC1B,oBAAoB,GAAG,4BAA4B,CAAC,qBAAqB,EAAE,cAAc,CAAC,CAAC;QAC3F,wEAAwE;QACxE,6EAA6E;QAC7E,6EAA6E;QAC7E,0EAA0E;QAC1E,mBAAmB;QACnB,cAAc,GAAG,sBAAsB,CAAC,qBAAqB,EAAE;YAC7D,GAAG,cAAc;YACjB,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,IAAI,IAAI;SAClD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,CAAC;AAC7F,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,mBAAmB,CAC1B,KAAiD;IAEjD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,KAA0B,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,iCAAiC;YACrE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,KAAK,GAAa,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,IAAI,IAAI,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,6EAA6E;IAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACtD,OAAO,MAA2C,CAAC;AACrD,CAAC;AAED;;;;;mEAKmE;AACnE,KAAK,UAAU,kBAAkB,CAC/B,KAAmB,EACnB,EAA2B,EAC3B,KAAa;IAEb,MAAM,OAAO,GAAG,IAAI,KAAK,CAAI,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE;QAC/E,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;wDAIwD;AACxD,KAAK,UAAU,WAAW,CACxB,KAAgB,EAChB,SAAkC,EAClC,WAA+B,EAC/B,KAAkB;IAElB,IAAI,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAChD,mEAAmE;IACnE,4DAA4D;IAC5D,IAAI,MAAM,IAAI,KAAK,EAAE,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YACtD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,CAAC;gBACH,MAAM,KAAK,EAAE,aAAa,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/C,iEAAiE;gBACjE,sEAAsE;gBACtE,uEAAuE;gBACvE,oEAAoE;gBACpE,sEAAsE;gBACtE,oEAAoE;gBACpE,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAc,CAAC;gBACvG,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtC,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;gBACrB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACzB,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC1E,IAAI,EAAE;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED;;;yBAGyB;AACzB,KAAK,UAAU,UAAU,CACvB,KAA6B,EAC7B,gBAAsD,EACtD,KAAkB;IAElB,MAAM,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD,CAAC;QACF,MAAM,GAAG,GAAG;YACV,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;YAC3B,UAAU,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;SAChD,CAAC;QACF,8EAA8E;QAC9E,6EAA6E;QAC7E,4EAA4E;QAC5E,yCAAyC;QACzC,QAAQ,CAAC,IAAI,CAAC,GAAI,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAY,CAAC,CAAwB,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}