@xenos1996/usa 2.25.3 → 2.26.2

package/dist/engine/docs-audit.js

@@ -0,0 +1,405 @@
+/**
+ * Documentation universe audit — orchestration.
+ *
+ * `runDocAudit` is the single deterministic computation behind three surfaces
+ * that must never disagree (AC-8):
+ *   1. `usa docs audit`          — standalone report (DOC-AUDIT.md / JSON)
+ *   2. `usa audit --docs-universe` — DOCU-* findings inside the main report
+ *   3. the `--fail-on` gate on either surface (same findings object)
+ *
+ * It composes:
+ *   - the taxonomy (rules/docs-taxonomy.yaml, 14 categories / 220 artifacts)
+ *   - the inventory (presence per artifact, tier expectation per maturity)
+ *   - the invariants (src/engine/docs-invariants.ts)
+ *   - the impact analysis (src/engine/docs-impact.ts, when --changed)
+ */
+import path from 'node:path';
+import { Project } from '../util/project.js';
+import { detect, loadDetectorFile } from '../detect/index.js';
+import { EXPECTED_TIERS, TIER_SEVERITY, artifactApplies, loadDocTaxonomy, matchPatterns, } from './docs-taxonomy.js';
+import { checkBrokenLinks, checkChangelogConsistency, checkDocstringCoverage, checkEnvVarCoverage, checkGeneratedProvenance, checkRouteCoverage, invariantToFinding, } from './docs-invariants.js';
+import { analyzeImpact } from './docs-impact.js';
+/** Static limitations, reported honestly in every report. */
+export const DOC_LIMITATIONS = [
+    'Presence is pattern-based: an artifact can exist under a name no pattern covers (reported as MANUAL when no pattern is defined, otherwise as MISSING).',
+    'Impact sources are declarative globs plus any-source; a change whose invalidation path is not declared in rules/docs-taxonomy.yaml is not flagged.',
+    'Route and env-var extraction are framework-broad heuristics (Express/FastAPI/Flask/chi-style signatures); exotic routers may be missed, so undetected surfaces are the only blind spot.',
+    'USA is a read-only auditor: it reports remediation but never rewrites the target repository (the sync half of the contract is the agent/human job).',
+    'Cross-references are checked for file existence, not for semantic correctness of the reference.',
+];
+/* --------------------------------------------------------------- inventory -- */
+export function buildInventory(project, taxonomy, facts, expectedTiers) {
+    const entries = new Map();
+    const byCat = new Map();
+    for (const a of taxonomy.artifacts) {
+        const applies = artifactApplies(a, facts);
+        let status;
+        let files = [];
+        if (!applies)
+            status = 'NOT_APPLICABLE';
+        else if (a.patterns.length === 0)
+            status = 'MANUAL';
+        else {
+            files = matchPatterns(project.files, a.patterns);
+            status = files.length > 0 ? 'PRESENT' : 'MISSING';
+        }
+        const entry = {
+            artifact: a,
+            status,
+            expected: applies && expectedTiers.includes(a.tier),
+            files,
+            aliasRule: status === 'MISSING' ? a.aliasRule : undefined,
+        };
+        entries.set(a.id, entry);
+        const list = byCat.get(a.cat) ?? [];
+        list.push(entry);
+        byCat.set(a.cat, list);
+    }
+    const inventory = taxonomy.categories.map((c) => {
+        const list = byCat.get(c.id) ?? [];
+        return {
+            id: c.id,
+            name: c.name,
+            entries: list,
+            present: list.filter((e) => e.status === 'PRESENT').length,
+            missing: list.filter((e) => e.status === 'MISSING').length,
+            manual: list.filter((e) => e.status === 'MANUAL').length,
+        };
+    });
+    const coverage = [0, 1, 2, 3, 4].map((tier) => {
+        const list = [...entries.values()].filter((e) => e.artifact.tier === tier && e.status !== 'NOT_APPLICABLE');
+        return {
+            tier,
+            applicable: list.length,
+            present: list.filter((e) => e.status === 'PRESENT').length,
+            missing: list.filter((e) => e.status === 'MISSING').length,
+            manual: list.filter((e) => e.status === 'MANUAL').length,
+        };
+    });
+    return { inventory, coverage, entries };
+}
+/* --------------------------------------------------------------- invariants -- */
+export function runInvariants(project, facts, gitTags) {
+    return [
+        checkEnvVarCoverage(project),
+        checkRouteCoverage(project),
+        checkDocstringCoverage(project, facts),
+        checkBrokenLinks(project),
+        checkGeneratedProvenance(project),
+        checkChangelogConsistency(project, gitTags),
+    ];
+}
+/**
+ * The DOCU finding set: one finding per missing-expected artifact (aliased
+ * absences suppressed per options) plus one finding per failing invariant.
+ * Pure function of the audit state → deterministic (AC-2) and shared by the
+ * standalone report and the main audit injection (AC-8).
+ */
+export function docFindings(result, opts) {
+    const catName = new Map(result.inventory.map((c) => [c.id, c.name]));
+    const findings = [];
+    for (const e of collectEntries(result)) {
+        const f = missingArtifactFinding(e, catName.get(e.artifact.cat) ?? '', result, opts);
+        if (f)
+            findings.push(f);
+    }
+    for (const r of result.invariants) {
+        if (r.status !== 'FAIL')
+            continue;
+        const { severity, dampened } = opts.dampen('LOW', null);
+        findings.push(invariantToFinding(r, severity, dampened));
+    }
+    return findings;
+}
+function collectEntries(result) {
+    const entries = new Map();
+    for (const cat of result.inventory)
+        for (const e of cat.entries)
+            entries.set(e.artifact.id, e);
+    return [...entries.values()].sort((a, b) => a.artifact.id - b.artifact.id);
+}
+function missingArtifactFinding(e, catLabel, result, opts) {
+    if (e.status !== 'MISSING' || !e.expected)
+        return null;
+    if (e.aliasRule && opts.suppressAliasedRules?.has(e.aliasRule))
+        return null;
+    const base = TIER_SEVERITY[e.artifact.tier] ?? 'LOW';
+    const { severity, dampened } = opts.dampen(base, null);
+    const a = e.artifact;
+    return {
+        ruleId: `DOCU-${a.id}`,
+        title: `${a.name} is missing`,
+        section: 'S12',
+        sectionTitle: 'Documentation & Knowledge',
+        severity,
+        baseSeverity: base,
+        status: 'MISSING',
+        ruleClass: 'documentation',
+        dampened,
+        message: `Artifact "${a.name}" (${a.cat} ${catLabel} #${a.id}, tier ${a.tier}, ` +
+            `${a.kind}) is expected at ${result.maturity} stage but no matching file was found.`,
+        locations: [],
+        why: 'Documentation is a first-class correctness contract: a missing expected artifact is a silent obligation, ' +
+            'and the contract is tiered so young projects are not graded against launch bars.',
+        remediation: remediationHint(a),
+        references: ['Docs-as-Code'],
+        automatability: 'full',
+        tags: [`doc-cat:${a.cat}`, `doc-tier:${a.tier}`, `doc-kind:${a.kind}`],
+    };
+}
+function remediationHint(a) {
+    const positive = a.patterns.filter((p) => !p.startsWith('!'));
+    const hint = positive.length > 0
+        ? `Add the artifact (looked for: ${positive.slice(0, 5).join(', ')}).`
+        : 'Add the artifact (not mechanically trackable — record where it lives).';
+    return a.notes ? `${hint} ${a.notes}` : hint;
+}
+/* ------------------------------------------------------------------ render -- */
+const STATUS_ICON = {
+    PRESENT: '✅',
+    MISSING: '🚫',
+    MANUAL: '🖐️',
+    NOT_APPLICABLE: '➖',
+};
+/** Standalone markdown report (DOC-AUDIT.md). Deterministic except the date. */
+export function renderDocAuditMd(result, today) {
+    return [
+        renderHeader(result, today),
+        renderVerificationTable(result),
+        renderTierTable(result),
+        renderUniverse(result),
+        renderInvariants(result),
+        result.impact ? renderImpact(result.impact) : '',
+        renderFindings(result),
+        renderLimitations(result),
+    ]
+        .filter((s) => s.length > 0)
+        .join('\n');
+}
+function renderHeader(result, today) {
+    const L = [];
+    L.push(`# Documentation audit — ${result.target}`);
+    L.push('');
+    L.push(`> USA ${result.usaVersion} · taxonomy ${result.taxonomy.schema} ` +
+        `(${result.taxonomy.artifacts} artifacts, ${result.taxonomy.categories} categories)`);
+    if (result.commit)
+        L.push(`> Baseline: \`${result.commit}\``);
+    L.push(`> Maturity: **${result.maturity}** · expected tiers: ${result.expectedTiers.join(', ')} · ${today}`);
+    return L.join('\n');
+}
+function renderVerificationTable(result) {
+    const L = ['## Verification report', '', '| Metric | Value |', '| ------ | ----- |'];
+    L.push(`| Baseline | ${result.commit ?? 'not a git repo'} |`);
+    L.push(`| Categories covered | ${result.taxonomy.categories}/14 |`);
+    for (const c of result.coverage) {
+        L.push(`| Tier ${c.tier} artifacts | ${c.present} present / ${c.applicable} applicable ` +
+            `(missing ${c.missing}, manual ${c.manual}) |`);
+    }
+    const failing = result.invariants.filter((i) => i.status === 'FAIL').length;
+    L.push(`| Invariants | ${result.invariants.length - failing}/${result.invariants.length} passing |`);
+    const crossCats = result.impact?.affected.filter((a) => a.crossCategory).length ?? 0;
+    L.push(`| Impact mechanism | taxonomy sources + derives_from/syncs_with edges` +
+        (result.impact
+            ? ` (this run: ${result.impact.affected.length} affected, ${crossCats} cross-category)`
+            : '') +
+        ' |');
+    L.push(`| Local commands | \`usa docs audit\`, \`usa docs impact\`, \`usa docs coverage\`, \`usa audit --docs-universe\` |`);
+    L.push(`| Gate | \`usa docs audit --fail-on <sev>\` (same findings as CI) |`);
+    L.push(`| Open findings | ${result.findings.length} |`);
+    return L.join('\n');
+}
+function renderTierTable(result) {
+    const L = [
+        '## Tier coverage',
+        '',
+        '| Tier | Applicable | Present | Missing | Manual | Expected |',
+        '| ---- | ---------- | ------- | ------- | ------ | -------- |',
+    ];
+    for (const c of result.coverage) {
+        L.push(`| ${c.tier} | ${c.applicable} | ${c.present} | ${c.missing} | ${c.manual} | ` +
+            `${result.expectedTiers.includes(c.tier) ? 'yes' : 'no'} |`);
+    }
+    const t = result.totals;
+    L.push('');
+    L.push(`Totals: ${t.present} present, ${t.missing} missing, ${t.manual} manual, ` +
+        `${t.notApplicable} not applicable (of ${t.applicable} applicable).`);
+    return L.join('\n');
+}
+function renderUniverse(result) {
+    const L = ['## Documentation universe'];
+    for (const cat of result.inventory) {
+        L.push('');
+        L.push(`### ${cat.id} · ${cat.name} — ${cat.present} present / ${cat.missing} missing / ${cat.manual} manual`);
+        L.push('');
+        L.push('| # | Artifact | Tier | Kind | Status | Evidence |');
+        L.push('| - | -------- | ---- | ---- | ------ | -------- |');
+        for (const e of cat.entries)
+            L.push(universeRow(e));
+    }
+    return L.join('\n');
+}
+function universeRow(e) {
+    const a = e.artifact;
+    const icon = STATUS_ICON[e.status];
+    const flag = e.expected && e.status === 'MISSING' ? ' **(expected)**' : '';
+    const alias = e.aliasRule ? ` _alias: ${e.aliasRule}_` : '';
+    const evidence = e.status === 'PRESENT'
+        ? e.files.slice(0, 3).join(', ') + (e.files.length > 3 ? ` (+${e.files.length - 3})` : '')
+        : e.status === 'MANUAL'
+            ? 'manual'
+            : e.status === 'MISSING'
+                ? '—'
+                : 'n/a';
+    return `| ${a.id} | ${a.name} | ${a.tier} | ${a.kind} | ${icon} ${e.status}${flag}${alias} | ${evidence} |`;
+}
+function renderInvariants(result) {
+    const L = [
+        '## Invariants',
+        '',
+        '| Invariant | Status | Detail |',
+        '| --------- | ------ | ------ |',
+    ];
+    for (const r of result.invariants) {
+        const icon = r.status === 'PASS' ? '✅' : r.status === 'FAIL' ? '❌' : '➖';
+        L.push(`| ${r.id} — ${r.title} | ${icon} ${r.status} | ${r.detail} |`);
+    }
+    return L.join('\n');
+}
+function renderImpact(impact) {
+    const L = [
+        '## Impact analysis',
+        '',
+        `Changed files: ${impact.changed.length} · affected artifacts: ${impact.affected.length} · ` +
+            `edges traversed: ${impact.edgesTraversed}`,
+        '',
+    ];
+    if (impact.affected.length > 0) {
+        L.push('| Artifact | Category | Tier | Cross-category | Reason |');
+        L.push('| -------- | -------- | ---- | -------------- | ------ |');
+        for (const e of impact.affected) {
+            L.push(`| #${e.artifact.id} ${e.artifact.name} | ${e.artifact.cat} | ${e.artifact.tier} | ` +
+                `${e.crossCategory ? 'yes' : 'no'} | ${e.reasons.join('; ')} |`);
+        }
+    }
+    if (impact.noImpact.length > 0) {
+        L.push('');
+        L.push(`No documentation impact detected for: ${impact.noImpact.join(', ')}`);
+    }
+    return L.join('\n');
+}
+function renderFindings(result) {
+    const L = ['## Open findings', ''];
+    if (result.findings.length === 0) {
+        L.push('No open findings.');
+    }
+    else {
+        for (const f of result.findings)
+            L.push(findingBlock(f));
+    }
+    return L.join('\n');
+}
+function findingBlock(f) {
+    const L = [`- **${f.severity} ${f.ruleId}** — ${f.title}`, `  ${f.message}`];
+    for (const loc of f.locations.slice(0, 10)) {
+        L.push(`    - ${loc.file}${loc.line ? `:${loc.line}` : ''}${loc.excerpt ? ` — ${loc.excerpt}` : ''}`);
+    }
+    if (f.locations.length > 10)
+        L.push(`    - … and ${f.locations.length - 10} more`);
+    if (f.remediation)
+        L.push(`  _Repair: ${f.remediation}_`);
+    return L.join('\n');
+}
+function renderLimitations(result) {
+    const L = ['## Known limitations', ''];
+    for (const lim of result.limitations)
+        L.push(`- ${lim}`);
+    return L.join('\n');
+}
+/* ------------------------------------------------------------------ driver -- */
+/** The one deterministic computation (see module doc). */
+export function runDocAudit(input) {
+    const expectedTiers = input.tiers ?? EXPECTED_TIERS[input.maturity];
+    const { inventory, coverage, entries } = buildInventory(input.project, input.taxonomy, input.facts, expectedTiers);
+    const invariants = runInvariants(input.project, input.facts, input.gitTags ?? []);
+    const impact = input.changedFiles && input.changedFiles.length > 0
+        ? analyzeImpact(input.taxonomy, input.facts, input.changedFiles)
+        : undefined;
+    const totals = {
+        artifacts: input.taxonomy.artifacts.length,
+        applicable: 0,
+        present: 0,
+        missing: 0,
+        manual: 0,
+        notApplicable: 0,
+    };
+    for (const e of entries.values()) {
+        if (e.status === 'NOT_APPLICABLE') {
+            totals.notApplicable++;
+            continue;
+        }
+        totals.applicable++;
+        if (e.status === 'PRESENT')
+            totals.present++;
+        else if (e.status === 'MISSING')
+            totals.missing++;
+        else
+            totals.manual++;
+    }
+    const result = {
+        schema: 'usa-doc-audit-v1',
+        target: input.target,
+        commit: input.commit,
+        usaVersion: input.usaVersion,
+        taxonomy: {
+            schema: input.taxonomy.schema,
+            categories: input.taxonomy.categories.length,
+            artifacts: input.taxonomy.artifacts.length,
+        },
+        maturity: input.maturity,
+        expectedTiers,
+        inventory,
+        coverage,
+        totals,
+        invariants,
+        impact,
+        findings: [],
+        limitations: [...DOC_LIMITATIONS],
+    };
+    // Identity dampening here; the main audit re-derives findings with its own
+    // profile via `docFindings` — same inputs, same outputs (AC-8).
+    result.findings = docFindings(result, {
+        dampen: (base) => ({ severity: base, dampened: false }),
+    });
+    return result;
+}
+/**
+ * Shared load: project index + detection + taxonomy. Used by the CLI so the
+ * three `usa docs` subcommands and `usa audit --docs-universe` share one
+ * loading path (single source of truth for the inputs, AC-8).
+ */
+export function loadDocAuditContext(target, rulesDir, extraFacts = []) {
+    const warnings = [];
+    const project = new Project(target);
+    const git = project.gitInfo();
+    const detection = detect(project, loadDetectorFile(rulesDir), git, extraFacts);
+    const { taxonomy, warnings: taxWarnings } = loadDocTaxonomy(rulesDir);
+    warnings.push(...taxWarnings);
+    if (!taxonomy)
+        return { context: null, taxonomy: null, warnings };
+    return {
+        context: {
+            project,
+            facts: detection.facts,
+            maturity: detection.maturity,
+            warnings,
+            commit: git.commit,
+            gitTags: project.gitTags(),
+        },
+        taxonomy,
+        warnings,
+    };
+}
+export function resolveTargetLabel(target) {
+    return path.basename(path.resolve(target)) || target;
+}
+//# sourceMappingURL=docs-audit.js.map

package/dist/engine/docs-audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"docs-audit.js","sourceRoot":"","sources":["../../src/engine/docs-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EACL,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,EACf,aAAa,GAGd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,sBAAsB,EACtB,mBAAmB,EACnB,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAqB,MAAM,kBAAkB,CAAC;AA0EpE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,wJAAwJ;IACxJ,oJAAoJ;IACpJ,yLAAyL;IACzL,qJAAqJ;IACrJ,iGAAiG;CAClG,CAAC;AAEF,kFAAkF;AAElF,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,QAAqB,EACrB,KAAY,EACZ,aAAuB;IAMvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,IAAI,MAAiB,CAAC;QACtB,IAAI,KAAK,GAAa,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO;YAAE,MAAM,GAAG,gBAAgB,CAAC;aACnC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,GAAG,QAAQ,CAAC;aAC/C,CAAC;YACJ,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACpD,CAAC;QACD,MAAM,KAAK,GAAsB;YAC/B,QAAQ,EAAE,CAAC;YACX,MAAM;YACN,QAAQ,EAAE,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YACnD,KAAK;YACL,SAAS,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SAC1D,CAAC;QACF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,SAAS,GAAwB,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YAC1D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YAC1D,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,CACjE,CAAC;QACF,OAAO;YACL,IAAI;YACJ,UAAU,EAAE,IAAI,CAAC,MAAM;YACvB,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YAC1D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YAC1D,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AAED,mFAAmF;AAEnF,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,KAAY,EACZ,OAAiB;IAEjB,OAAO;QACL,mBAAmB,CAAC,OAAO,CAAC;QAC5B,kBAAkB,CAAC,OAAO,CAAC;QAC3B,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC;QACtC,gBAAgB,CAAC,OAAO,CAAC;QACzB,wBAAwB,CAAC,OAAO,CAAC;QACjC,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC;KAC5C,CAAC;AACJ,CAAC;AAeD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAsB,EAAE,IAAwB;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,sBAAsB,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrF,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,SAAS;QAClC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS;QAAE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/F,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAC7B,CAAoB,EACpB,QAAgB,EAChB,MAAsB,EACtB,IAAwB;IAExB,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IACrD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACrB,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE;QACtB,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,aAAa;QAC7B,OAAO,EAAE,KAAK;QACd,YAAY,EAAE,2BAA2B;QACzC,QAAQ;QACR,YAAY,EAAE,IAAI;QAClB,MAAM,EAAE,SAAS;QACjB,SAAS,EAAE,eAAe;QAC1B,QAAQ;QACR,OAAO,EACL,aAAa,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,IAAI;YACvE,GAAG,CAAC,CAAC,IAAI,oBAAoB,MAAM,CAAC,QAAQ,wCAAwC;QACtF,SAAS,EAAE,EAAE;QACb,GAAG,EACD,2GAA2G;YAC3G,kFAAkF;QACpF,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;QAC/B,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,MAAM;QACtB,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,EAAE,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,CAAc;IACrC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,IAAI,GACR,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,iCAAiC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACtE,CAAC,CAAC,wEAAwE,CAAC;IAC/E,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,kFAAkF;AAElF,MAAM,WAAW,GAA8B;IAC7C,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,KAAK;IACb,cAAc,EAAE,GAAG;CACpB,CAAC;AAEF,gFAAgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,MAAsB,EAAE,KAAa;IACpE,OAAO;QACL,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3B,uBAAuB,CAAC,MAAM,CAAC;QAC/B,eAAe,CAAC,MAAM,CAAC;QACvB,cAAc,CAAC,MAAM,CAAC;QACtB,gBAAgB,CAAC,MAAM,CAAC;QACxB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QAChD,cAAc,CAAC,MAAM,CAAC;QACtB,iBAAiB,CAAC,MAAM,CAAC;KAC1B;SACE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,MAAsB,EAAE,KAAa;IACzD,MAAM,CAAC,GAAa,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,CAAC,CAAC,IAAI,CACJ,SAAS,MAAM,CAAC,UAAU,eAAe,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG;QAChE,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,eAAe,MAAM,CAAC,QAAQ,CAAC,UAAU,cAAc,CACvF,CAAC;IACF,IAAI,MAAM,CAAC,MAAM;QAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,IAAI,CACJ,iBAAiB,MAAM,CAAC,QAAQ,wBAAwB,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CACrG,CAAC;IACF,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAsB;IACrD,MAAM,CAAC,GAAa,CAAC,wBAAwB,EAAE,EAAE,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;IAC/F,CAAC,CAAC,IAAI,CAAC,gBAAgB,MAAM,CAAC,MAAM,IAAI,gBAAgB,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,IAAI,CAAC,0BAA0B,MAAM,CAAC,QAAQ,CAAC,UAAU,OAAO,CAAC,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,IAAI,CACJ,UAAU,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,UAAU,cAAc;YAC/E,YAAY,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,KAAK,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC5E,CAAC,CAAC,IAAI,CACJ,kBAAkB,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,YAAY,CAC7F,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,IAAI,CACJ,uEAAuE;QACrE,CAAC,MAAM,CAAC,MAAM;YACZ,CAAC,CAAC,eAAe,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,cAAc,SAAS,kBAAkB;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,IAAI,CACP,CAAC;IACF,CAAC,CAAC,IAAI,CACJ,oHAAoH,CACrH,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,qEAAqE,CAAC,CAAC;IAC9E,CAAC,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;IACxD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CAAC,MAAsB;IAC7C,MAAM,CAAC,GAAa;QAClB,kBAAkB;QAClB,EAAE;QACF,+DAA+D;QAC/D,+DAA+D;KAChE,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,IAAI,CACJ,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,KAAK;YAC5E,GAAG,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAC9D,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,CAAC,CAAC,IAAI,CACJ,WAAW,CAAC,CAAC,OAAO,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,WAAW;QACxE,GAAG,CAAC,CAAC,aAAa,uBAAuB,CAAC,CAAC,UAAU,eAAe,CACvE,CAAC;IACF,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,CAAC,GAAa,CAAC,2BAA2B,CAAC,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CACJ,OAAO,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,OAAO,cAAc,GAAG,CAAC,OAAO,cAAc,GAAG,CAAC,MAAM,SAAS,CACvG,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QAC7D,CAAC,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;YAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,WAAW,CAAC,CAAoB;IACvC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACrB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,MAAM,QAAQ,GACZ,CAAC,CAAC,MAAM,KAAK,SAAS;QACpB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ;YACrB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS;gBACtB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,KAAK,CAAC;IAChB,OAAO,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,GAAG,KAAK,MAAM,QAAQ,IAAI,CAAC;AAC9G,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAsB;IAC9C,MAAM,CAAC,GAAa;QAClB,eAAe;QACf,EAAE;QACF,iCAAiC;QACjC,iCAAiC;KAClC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB;IACxC,MAAM,CAAC,GAAa;QAClB,oBAAoB;QACpB,EAAE;QACF,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,0BAA0B,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK;YAC1F,oBAAoB,MAAM,CAAC,cAAc,EAAE;QAC7C,EAAE;KACH,CAAC;IACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QACnE,CAAC,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,CAAC,CAAC,IAAI,CACJ,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK;gBAClF,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAClE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CAAC,yCAAyC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,CAAC,GAAa,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,MAAM,CAAC,GAAa,CAAC,OAAO,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACvF,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC,IAAI,CACJ,SAAS,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE;QAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,OAAO,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC,WAAW;QAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC;IAC1D,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAsB;IAC/C,MAAM,CAAC,GAAa,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW;QAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,kFAAkF;AAElF,0DAA0D;AAC1D,MAAM,UAAU,WAAW,CAAC,KAAuB;IACjD,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,IAAI,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CACrD,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,KAAK,EACX,aAAa,CACd,CAAC;IACF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAClF,MAAM,MAAM,GACV,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,MAAM,GAAG;QACb,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM;QAC1C,UAAU,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,CAAC;QACT,aAAa,EAAE,CAAC;KACjB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,UAAU,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,EAAE,CAAC;aACxC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,EAAE,CAAC;;YAC7C,MAAM,CAAC,MAAM,EAAE,CAAC;IACvB,CAAC;IAED,MAAM,MAAM,GAAmB;QAC7B,MAAM,EAAE,kBAAkB;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE;YACR,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;YAC7B,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM;YAC5C,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM;SAC3C;QACD,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,aAAa;QACb,SAAS;QACT,QAAQ;QACR,MAAM;QACN,UAAU;QACV,MAAM;QACN,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,CAAC,GAAG,eAAe,CAAC;KAClC,CAAC;IACF,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,CAAC,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE;QACpC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;KACxD,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAaD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,QAAgB,EAChB,aAAuB,EAAE;IAEzB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAC/E,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACtE,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAC9B,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAClE,OAAO;QACL,OAAO,EAAE;YACP,OAAO;YACP,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,QAAQ;YACR,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;SAC3B;QACD,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC;AACvD,CAAC"}

package/dist/engine/docs-impact.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Documentation impact analysis — semantic dependency model.
+ *
+ * Answers the Phase 3 questions with deterministic mechanisms:
+ *   - What docs (across all 14 categories) are affected by changing file X?
+ *   - Which sources does document Y describe?
+ *
+ * Impact classes, all computed from the taxonomy's declarative edges:
+ *   direct          source → its documentation (artifact.sources match)
+ *   transitive      source → intermediate artifact → downstream docs
+ *                   (BFS over derives_from edges, bounded)
+ *   cross-category  any edge that crosses a category boundary is flagged
+ *   sync            peers declared in syncs_with must move together
+ *
+ * Conservative by construction (AC-11): `any-source` artifacts (README,
+ * changelog, user guide) are hit by every non-document change, and a changed
+ * document invalidates its sync partners and everything that derives from it.
+ * Uncertainty resolves to "affected", never to "fine".
+ */
+import type { Facts } from '../types.js';
+import { type DocArtifact, type DocTaxonomy } from './docs-taxonomy.js';
+export interface ImpactEntry {
+    artifact: DocArtifact;
+    /** Human-readable reasons, sorted (deterministic). */
+    reasons: string[];
+    /** Changed files that triggered the impact, sorted. */
+    triggeredBy: string[];
+    /** True when at least one traversed edge crossed a category boundary. */
+    crossCategory: boolean;
+}
+export interface ImpactResult {
+    changed: string[];
+    affected: ImpactEntry[];
+    /** Changed files with no detected documentation impact. */
+    noImpact: string[];
+    /** Number of dependency edges traversed during the transitive walk. */
+    edgesTraversed: number;
+}
+/**
+ * Compute the documentation impact of a set of changed files.
+ *
+ * Pure function of (project index, taxonomy, facts, changed files) — the
+ * same change set always yields the same impact report (AC-2), and the
+ * computation is O(artifacts × changed × globs): bounded and fast.
+ */
+export declare function analyzeImpact(taxonomy: DocTaxonomy, facts: Facts, changedFiles: string[]): ImpactResult;
+export interface DescribeResult {
+    file: string;
+    /** Artifacts whose source globs this file can invalidate. */
+    invalidates: DocArtifact[];
+    /** Artifacts this file is a document of (its own presence patterns). */
+    documents: DocArtifact[];
+    /** Downstream artifacts that derive from documents of this file. */
+    downstream: DocArtifact[];
+}
+/**
+ * Reverse query: for one file, which documentation relationship exists?
+ * "Which sources does document Y describe?" is `invalidates`; "what does Y
+ * feed?" is `downstream`.
+ */
+export declare function describeFile(taxonomy: DocTaxonomy, facts: Facts, file: string): DescribeResult;
+//# sourceMappingURL=docs-impact.d.ts.map

package/dist/engine/docs-impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"docs-impact.d.ts","sourceRoot":"","sources":["../../src/engine/docs-impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,WAAW,EACjB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,WAAW,CAAC;IACtB,sDAAsD;IACtD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,uDAAuD;IACvD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,yEAAyE;IACzE,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,uEAAuE;IACvE,cAAc,EAAE,MAAM,CAAC;CACxB;AAqJD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,WAAW,EACrB,KAAK,EAAE,KAAK,EACZ,YAAY,EAAE,MAAM,EAAE,GACrB,YAAY,CAQd;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,WAAW,EAAE,WAAW,EAAE,CAAC;IAC3B,wEAAwE;IACxE,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,oEAAoE;IACpE,UAAU,EAAE,WAAW,EAAE,CAAC;CAC3B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,CAwB9F"}

package/dist/engine/docs-impact.js

@@ -0,0 +1,165 @@
+import { matchesGlob } from '../util/glob.js';
+import { artifactApplies, matchPatterns, } from './docs-taxonomy.js';
+const DOC_FILE_RE = /\.(md|mdx|rst|txt|adoc)$/i;
+function isDocFile(file) {
+    return DOC_FILE_RE.test(file) || /^README/i.test(basename(file)) || file.startsWith('docs/');
+}
+function basename(p) {
+    const i = p.lastIndexOf('/');
+    return i === -1 ? p : p.slice(i + 1);
+}
+/** True when a changed file matches any of the artifact's presence globs. */
+function changedDocOf(file, a) {
+    return matchPatterns([file], a.patterns).length > 0;
+}
+/** Adjacency: upstream id → dependents (D derives_from A ⇒ A's change hits D). */
+function buildDependents(taxonomy) {
+    const dependents = new Map();
+    for (const a of taxonomy.artifacts) {
+        for (const up of a.derivesFrom) {
+            const arr = dependents.get(up) ?? [];
+            arr.push(a.id);
+            dependents.set(up, arr);
+        }
+    }
+    return dependents;
+}
+function makeTouch(hit) {
+    return (id, reason, file, cross = false) => {
+        const e = hit.get(id) ?? {
+            reasons: new Set(),
+            triggeredBy: new Set(),
+            crossCategory: false,
+        };
+        e.reasons.add(reason);
+        if (file)
+            e.triggeredBy.add(file);
+        e.crossCategory = e.crossCategory || cross;
+        hit.set(id, e);
+    };
+}
+/** Pass 1 · direct impact: source globs and self-changed documents. */
+function directHits(changed, applicable, hit) {
+    const touch = makeTouch(hit);
+    const directIds = new Set();
+    for (const f of changed) {
+        const doc = isDocFile(f);
+        for (const a of applicable) {
+            for (const g of a.sources ?? []) {
+                if (g === 'any-source') {
+                    if (!doc)
+                        touch(a.id, 'any source change invalidates this artifact', f);
+                    continue;
+                }
+                if (matchesGlob(f, g))
+                    touch(a.id, `source pattern ${g} matches ${f}`, f);
+            }
+            if (changedDocOf(f, a))
+                touch(a.id, `the document itself changed (${f})`, f);
+            directIds.add(a.id);
+        }
+    }
+    return directIds;
+}
+/** Follow one neighbor edge: record it, queue the target if new. */
+function followEdge(state, from, to, label, queue) {
+    const t = state.byId.get(to);
+    if (!t)
+        return;
+    state.edges++;
+    const existed = state.hit.has(to);
+    makeTouch(state.hit)(to, `${label} ${from.name} (#${from.id})`, undefined, t.cat !== from.cat);
+    if (!existed && !state.queued.has(to)) {
+        state.queued.add(to);
+        queue.push(to);
+    }
+}
+/** Pass 2 · transitive closure over derives_from + syncs_with (bounded BFS). */
+function expandClosure(taxonomy, dependents, hit, seed) {
+    const queue = [...seed].sort();
+    const state = {
+        byId: taxonomy.byId,
+        dependents,
+        hit,
+        queued: new Set(queue),
+        edges: 0,
+    };
+    while (queue.length > 0) {
+        const a = state.byId.get(queue.shift());
+        if (!a)
+            continue;
+        for (const dep of dependents.get(a.id) ?? [])
+            followEdge(state, a, dep, 'derives from', queue);
+        for (const partner of a.syncsWith)
+            followEdge(state, a, partner, 'syncs with', queue);
+    }
+    return state.edges;
+}
+function assemble(byId, hit, changed, edges) {
+    const affected = [...hit.entries()]
+        .map(([id, e]) => ({
+        artifact: byId.get(id),
+        reasons: [...e.reasons].sort(),
+        triggeredBy: [...e.triggeredBy].sort(),
+        crossCategory: e.crossCategory,
+    }))
+        .sort((x, y) => x.artifact.id - y.artifact.id);
+    const impactedFiles = new Set();
+    for (const e of affected)
+        for (const f of e.triggeredBy)
+            impactedFiles.add(f);
+    return {
+        changed,
+        affected,
+        noImpact: changed.filter((f) => !impactedFiles.has(f)),
+        edgesTraversed: edges,
+    };
+}
+/**
+ * Compute the documentation impact of a set of changed files.
+ *
+ * Pure function of (project index, taxonomy, facts, changed files) — the
+ * same change set always yields the same impact report (AC-2), and the
+ * computation is O(artifacts × changed × globs): bounded and fast.
+ */
+export function analyzeImpact(taxonomy, facts, changedFiles) {
+    const changed = [...new Set(changedFiles)].sort();
+    const applicable = taxonomy.artifacts.filter((a) => artifactApplies(a, facts));
+    const hit = new Map();
+    const dependents = buildDependents(taxonomy);
+    const direct = directHits(changed, applicable, hit);
+    const edges = expandClosure(taxonomy, dependents, hit, direct);
+    return assemble(taxonomy.byId, hit, changed, edges);
+}
+/**
+ * Reverse query: for one file, which documentation relationship exists?
+ * "Which sources does document Y describe?" is `invalidates`; "what does Y
+ * feed?" is `downstream`.
+ */
+export function describeFile(taxonomy, facts, file) {
+    const applicable = taxonomy.artifacts.filter((a) => artifactApplies(a, facts));
+    const invalidates = applicable.filter((a) => {
+        if (!a.sources)
+            return false;
+        return a.sources.some((g) => (g === 'any-source' ? !isDocFile(file) : matchesGlob(file, g)));
+    });
+    const documents = applicable.filter((a) => changedDocOf(file, a));
+    const downstream = [];
+    const seen = new Set();
+    for (const d of documents) {
+        const queue = [d.id];
+        while (queue.length > 0) {
+            const id = queue.shift();
+            for (const a of taxonomy.artifacts) {
+                if (a.derivesFrom.includes(id) && !seen.has(a.id)) {
+                    seen.add(a.id);
+                    downstream.push(a);
+                    queue.push(a.id);
+                }
+            }
+        }
+    }
+    downstream.sort((x, y) => x.id - y.id);
+    return { file, invalidates, documents, downstream };
+}
+//# sourceMappingURL=docs-impact.js.map