@ifc-lite/ids-authoring 0.0.0-stage → 0.2.1

package/dist/lint/docs.js

@@ -0,0 +1,117 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export const LINT_DOCS_DIR = 'docs/guide/ids-lint';
+export const NAV_BEGIN = '# BEGIN GENERATED ids-lint-nav';
+export const NAV_END = '# END GENERATED ids-lint-nav';
+const BANNER = '<!-- Generated from the rule metadata in packages/ids-authoring/src/lint/rules by packages/ids-authoring/scripts/generate-lint-docs.mjs. Do not edit by hand. -->';
+const AREA_NAMES = {
+    ENT: 'Entities',
+    PDT: 'Predefined types',
+    ATT: 'Attributes',
+    PSET: 'Property sets',
+    PROP: 'Properties',
+    VAL: 'Values',
+    UNIT: 'Units',
+    REGEX: 'Patterns',
+    CARD: 'Cardinality',
+    SPEC: 'Specifications',
+    DOC: 'Document',
+    VER: 'IFC versions',
+    PART: 'partOf relations',
+    BSDD: 'bSDD references',
+};
+/** Severity as the catalogue tables show it: `info (opt-in)` for rules that are off by default. */
+export function severityLabel(rule) {
+    return rule.optIn ? `${rule.defaultSeverity} (opt-in)` : rule.defaultSeverity;
+}
+export function pageName(code) {
+    return `${code.toLowerCase()}.md`;
+}
+function rulePage(rule) {
+    const lines = [
+        BANNER,
+        '',
+        `# ${rule.code}: ${rule.title}`,
+        '',
+        '| Default severity | Kind | Scope | Quick fix |',
+        '|---|---|---|---|',
+        `| ${severityLabel(rule)} | ${rule.kind} | ${rule.scope === 'spec' ? 'specification' : 'document'} | ${rule.fix ? 'yes' : 'no'} |`,
+        '',
+        rule.rationale,
+        '',
+    ];
+    if (rule.optIn) {
+        lines.push('## Enabling', '', `This rule is off by default. Enable it in the linter config, at its default severity or another one: \`createLinter(ctx, { severity: { '${rule.code}': '${rule.defaultSeverity}' } })\`. Naming it in \`rules\` also enables it.`, '');
+    }
+    if (rule.example)
+        lines.push('## Example', '', '```xml', rule.example, '```', '');
+    if (rule.fix)
+        lines.push('## Quick fix', '', `${rule.fix} Quick fixes are proposals: they are op batches that pass the grounding gate and are never applied automatically.`, '');
+    if (rule.assumptions?.length) {
+        lines.push('## Verified assumptions', '');
+        for (const a of rule.assumptions)
+            lines.push(`- **${a.id}**: ${a.verified}`);
+        lines.push('');
+    }
+    if (rule.references?.length) {
+        lines.push('## References', '');
+        for (const r of rule.references)
+            lines.push(`- <${r}>`);
+        lines.push('');
+    }
+    lines.push('## Suppressing', '', `Add a suppression with a reason for \`${rule.code}\` (or \`IDSL-${rule.area}-*\`) to the node, its facet, its specification or the document in the Studio sidecar (\`meta.suppressions\`).`, '', '[All lint rules](index.md)', '');
+    return lines.join('\n');
+}
+function indexPage(rules) {
+    const lines = [
+        BANNER,
+        '',
+        '# IDS lint rules',
+        '',
+        'The IDS audit answers "is this a valid IDS 1.0 file?". Lint answers "does this IDS mean what the author intends, and will it behave well?": abstract entities that match nothing, `^` in XSD patterns, millimetres where metres are expected, requirements that can never fail or never pass. Lint runs on a `StudioDocument` from `@ifc-lite/ids-authoring` and returns diagnostics with stable codes.',
+        '',
+        '```ts',
+        "import { createLintContext, createLinter, fromIdsDocument } from '@ifc-lite/ids-authoring';",
+        "import { parseIDS } from '@ifc-lite/ids';",
+        '',
+        'declare const xml: string;',
+        'const linter = createLinter(await createLintContext());',
+        'const { diagnostics } = linter.lint(fromIdsDocument(parseIDS(xml)));',
+        'for (const d of diagnostics) console.log(d.code, d.severity, d.message, d.fixes?.map((f) => f.label));',
+        '```',
+        '',
+        'Keep one linter per open document: specification-level findings are cached and only changed specifications are re-checked. A quick fix is a batch of Studio ops; check it with `checkQuickFix` (the grounding gate) and commit it like any other edit. A suppression in the sidecar (`meta.suppressions`, with a reason) silences a rule on a node and everything below it.',
+        '',
+        'Rules that depend on an IDS semantic the standard leaves open ship at `info` until the semantic is verified against the buildingSMART test cases; each rule page lists what was verified.',
+        '',
+        'Rules marked *opt-in* are off by default because they fire on most real documents. Enable one by giving it a severity in the linter config (`severity: { \'IDSL-SPEC-008\': \'info\' }`) or by naming it in `rules`.',
+        '',
+    ];
+    const areas = [...new Set(rules.map((r) => r.area))];
+    for (const area of areas) {
+        lines.push(`## ${AREA_NAMES[area] ?? area}`, '', '| Code | Severity | Rule | Quick fix |', '|---|---|---|---|');
+        for (const r of rules.filter((x) => x.area === area))
+            lines.push(`| [${r.code}](${pageName(r.code)}) | ${severityLabel(r)} | ${r.title} | ${r.fix ? 'yes' : 'no'} |`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+/** Every page of `docs/guide/ids-lint/`, keyed by file name. */
+export function renderLintDocs(rules) {
+    const pages = new Map([['index.md', indexPage(rules)]]);
+    for (const r of rules)
+        pages.set(pageName(r.code), rulePage(r));
+    return pages;
+}
+/** The generated block of the mkdocs nav (indented for its place under "User Guide"). */
+export function renderLintNav(rules, indent = '      ') {
+    const yamlString = (s) => JSON.stringify(s);
+    return [
+        `${indent}${NAV_BEGIN} (packages/ids-authoring/scripts/generate-lint-docs.mjs)`,
+        `${indent}- Overview: guide/ids-lint/index.md`,
+        ...rules.map((r) => `${indent}- ${yamlString(`${r.code} ${r.title}`)}: guide/ids-lint/${pageName(r.code)}`),
+        `${indent}${NAV_END}`,
+    ].join('\n');
+}
+//# sourceMappingURL=docs.js.map

package/dist/lint/docs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"docs.js","sourceRoot":"","sources":["../../src/lint/docs.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAW/D,MAAM,CAAC,MAAM,aAAa,GAAG,qBAAqB,CAAC;AACnD,MAAM,CAAC,MAAM,SAAS,GAAG,gCAAgC,CAAC;AAC1D,MAAM,CAAC,MAAM,OAAO,GAAG,8BAA8B,CAAC;AAEtD,MAAM,MAAM,GAAG,mKAAmK,CAAC;AAEnL,MAAM,UAAU,GAAqC;IACnD,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,kBAAkB;IACvB,GAAG,EAAE,YAAY;IACjB,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,YAAY;IAClB,GAAG,EAAE,QAAQ;IACb,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,gBAAgB;IACtB,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,cAAc;IACnB,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,iBAAiB;CACxB,CAAC;AAEF,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,eAAe,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;AACpC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,MAAM,KAAK,GAAG;QACZ,MAAM;QACN,EAAE;QACF,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE;QAC/B,EAAE;QACF,iDAAiD;QACjD,mBAAmB;QACnB,KAAK,aAAa,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI;QAClI,EAAE;QACF,IAAI,CAAC,SAAS;QACd,EAAE;KACH,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CACR,aAAa,EACb,EAAE,EACF,2IAA2I,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,eAAe,mDAAmD,EAClO,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAClF,IAAI,IAAI,CAAC,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,mHAAmH,EAAE,EAAE,CAAC,CAAC;IACjL,IAAI,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,EAAE,yCAAyC,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,IAAI,gHAAgH,EAAE,EAAE,EAAE,4BAA4B,EAAE,EAAE,CAAC,CAAC;IACrQ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,KAA0B;IAC3C,MAAM,KAAK,GAAG;QACZ,MAAM;QACN,EAAE;QACF,kBAAkB;QAClB,EAAE;QACF,yYAAyY;QACzY,EAAE;QACF,OAAO;QACP,6FAA6F;QAC7F,2CAA2C;QAC3C,EAAE;QACF,4BAA4B;QAC5B,yDAAyD;QACzD,sEAAsE;QACtE,wGAAwG;QACxG,KAAK;QACL,EAAE;QACF,6WAA6W;QAC7W,EAAE;QACF,2LAA2L;QAC3L,EAAE;QACF,sNAAsN;QACtN,EAAE;KACH,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,EAAE,EAAE,wCAAwC,EAAE,mBAAmB,CAAC,CAAC;QAChH,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QACtK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,KAA0B,EAAE,MAAM,GAAG,QAAQ;IACzE,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO;QACL,GAAG,MAAM,GAAG,SAAS,0DAA0D;QAC/E,GAAG,MAAM,qCAAqC;QAC9C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,oBAAoB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3G,GAAG,MAAM,GAAG,OAAO,EAAE;KACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/lint/engine.d.ts

@@ -0,0 +1,21 @@
+import type { StudioDocument } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+import type { LintContext, LintOptions, LintResult, LintRule } from './types.js';
+export declare const LINT_DOCS_BASE = "https://ifclite.dev/docs/guide/ids-lint/";
+export declare function lintDocsUrl(code: string): string;
+export interface Linter {
+    /** The active rules, in registry order. */
+    readonly rules: readonly LintRule[];
+    lint(doc: StudioDocument, hint?: {
+        touched?: Iterable<Uuid>;
+    }): LintResult;
+}
+export interface LinterOptions extends LintOptions {
+    /** The rule registry to draw from (default: the full catalogue). */
+    registry?: readonly LintRule[];
+}
+/** Create an incremental linter. Keep one per open document. */
+export declare function createLinter(ctx: LintContext, options?: LinterOptions): Linter;
+/** One-shot lint of a whole document (no cache reuse). */
+export declare function lintDocument(doc: StudioDocument, ctx: LintContext, options?: LinterOptions): LintResult;
+//# sourceMappingURL=engine.d.ts.map

package/dist/lint/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/lint/engine.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAyB,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAGvC,OAAO,KAAK,EAIV,WAAW,EACX,WAAW,EACX,UAAU,EACV,QAAQ,EAGT,MAAM,YAAY,CAAC;AAGpB,eAAO,MAAM,cAAc,6CAA6C,CAAC;AAIzE,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAWD,MAAM,WAAW,MAAM;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;KAAE,GAAG,UAAU,CAAC;CAC5E;AAED,MAAM,WAAW,aAAc,SAAQ,WAAW;IAChD,oEAAoE;IACpE,QAAQ,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAChC;AAsBD,gEAAgE;AAChE,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,GAAE,aAAkB,GAAG,MAAM,CAwElF;AAMD,0DAA0D;AAC1D,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,GAAE,aAAkB,GAAG,UAAU,CAE3G"}

package/dist/lint/engine.js

@@ -0,0 +1,123 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { LINT_RULES } from './rules/index.js';
+import { applySuppressions } from './suppress.js';
+import { specView } from './walk.js';
+export const LINT_DOCS_BASE = 'https://ifclite.dev/docs/guide/ids-lint/';
+const CODE = /^IDSL-[A-Z]+-\d{3}$/;
+export function lintDocsUrl(code) {
+    return `${LINT_DOCS_BASE}${code.toLowerCase()}/`;
+}
+function validateRegistry(registry) {
+    const seen = new Set();
+    for (const r of registry) {
+        if (!CODE.test(r.code))
+            throw new Error(`lint rule code "${r.code}" does not match IDSL-<AREA>-<nnn>`);
+        if (!r.code.startsWith(`IDSL-${r.area}-`))
+            throw new Error(`lint rule ${r.code} is filed under area ${r.area}`);
+        if (seen.has(r.code))
+            throw new Error(`duplicate lint rule code ${r.code}`);
+        seen.add(r.code);
+    }
+}
+function specTouched(nodes, touched) {
+    if (touched.size === 0)
+        return false;
+    if (touched.has(nodes.id))
+        return true;
+    for (const f of [...nodes.applicability, ...nodes.requirements]) {
+        if (touched.has(f.id))
+            return true;
+        for (const c of Object.values(f.constraints))
+            if (c && touched.has(c))
+                return true;
+    }
+    return false;
+}
+/** Create an incremental linter. Keep one per open document. */
+export function createLinter(ctx, options = {}) {
+    const registry = options.registry ?? LINT_RULES;
+    validateRegistry(registry);
+    const only = options.rules ? new Set(options.rules) : undefined;
+    const severityOf = (r) => options.severity?.[r.code] ?? r.defaultSeverity;
+    const enabled = (r) => {
+        if (severityOf(r) === 'off')
+            return false;
+        if (only)
+            return only.has(r.code);
+        return !r.optIn || options.severity?.[r.code] !== undefined;
+    };
+    const rules = registry.filter(enabled);
+    const specRules = rules.filter((r) => r.scope === 'spec');
+    const docRules = rules.filter((r) => r.scope === 'document');
+    const cache = new Map();
+    const stamp = (rule, f, specId) => {
+        const d = {
+            code: rule.code,
+            severity: options.severity?.[rule.code] ? severityOf(rule) : (f.severity ?? rule.defaultSeverity),
+            nodeId: f.nodeId,
+            message: f.message,
+            why: rule.rationale,
+            docsUrl: lintDocsUrl(rule.code),
+        };
+        if (specId)
+            d.specId = specId;
+        if (f.field)
+            d.field = f.field;
+        if (f.fixes?.length)
+            d.fixes = f.fixes;
+        return d;
+    };
+    return {
+        rules,
+        lint(doc, hint = {}) {
+            const touched = new Set(hint.touched ?? []);
+            const input = { ctx, doc };
+            const views = doc.ids.specifications.map((s, i) => specView(s, doc.nodes.specs[i], i));
+            const next = new Map();
+            const diagnostics = [];
+            let specsLinted = 0;
+            for (const view of views) {
+                const prior = cache.get(view.specId);
+                const reusable = prior &&
+                    prior.spec === view.spec &&
+                    prior.nodes === view.nodes &&
+                    prior.custom === doc.meta.custom &&
+                    prior.bsddRevision === ctx.bsdd?.revision &&
+                    !specTouched(view.nodes, touched);
+                let entry;
+                if (reusable) {
+                    entry = prior;
+                }
+                else {
+                    specsLinted++;
+                    const found = specRules.flatMap((r) => r.check(view, input).map((f) => stamp(r, f, view.specId)));
+                    entry = { spec: view.spec, nodes: view.nodes, custom: doc.meta.custom, bsddRevision: ctx.bsdd?.revision, diagnostics: found };
+                }
+                next.set(view.specId, entry);
+                diagnostics.push(...entry.diagnostics);
+            }
+            cache.clear();
+            for (const [k, v] of next)
+                cache.set(k, v);
+            const specOf = new Map(views.map((v) => [v.specId, v.specId]));
+            for (const r of docRules) {
+                for (const f of r.check(views, input)) {
+                    const owner = specOf.get(f.nodeId) ?? views.find((v) => ownsNode(v.nodes, f.nodeId))?.specId;
+                    diagnostics.push(stamp(r, f, owner));
+                }
+            }
+            const { active, suppressed } = applySuppressions(doc, diagnostics);
+            return { diagnostics: active, suppressed, stats: { specsLinted, specsReused: views.length - specsLinted } };
+        },
+    };
+}
+function ownsNode(nodes, id) {
+    return specTouched(nodes, new Set([id]));
+}
+/** One-shot lint of a whole document (no cache reuse). */
+export function lintDocument(doc, ctx, options = {}) {
+    return createLinter(ctx, options).lint(doc);
+}
+//# sourceMappingURL=engine.js.map

package/dist/lint/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/lint/engine.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAwB/D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAYlD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,MAAM,CAAC,MAAM,cAAc,GAAG,0CAA0C,CAAC;AAEzE,MAAM,IAAI,GAAG,qBAAqB,CAAC;AAEnC,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,GAAG,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;AACnD,CAAC;AAsBD,SAAS,gBAAgB,CAAC,QAA6B;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,oCAAoC,CAAC,CAAC;QACvG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChH,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAgB,EAAE,OAA0B;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;YAAE,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,GAAgB,EAAE,UAAyB,EAAE;IACxE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,UAAU,CAAC;IAChD,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,MAAM,UAAU,GAAG,CAAC,CAAW,EAAwB,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC;IAC1G,MAAM,OAAO,GAAG,CAAC,CAAW,EAAW,EAAE;QACvC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;IAC9D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAqB,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE1C,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,CAAU,EAAE,MAAwB,EAAc,EAAE;QACjF,MAAM,CAAC,GAAe;YACpB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,UAAU,CAAC,IAAI,CAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,eAAe,CAAC;YACnH,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,GAAG,EAAE,IAAI,CAAC,SAAS;YACnB,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;SAChC,CAAC;QACF,IAAI,MAAM;YAAE,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;QAC9B,IAAI,CAAC,CAAC,KAAK;YAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAC/B,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM;YAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACvC,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,OAAO;QACL,KAAK;QACL,IAAI,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;YACzC,MAAM,WAAW,GAAiB,EAAE,CAAC;YACrC,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,QAAQ,GACZ,KAAK;oBACL,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBACxB,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;oBAC1B,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM;oBAChC,KAAK,CAAC,YAAY,KAAK,GAAG,CAAC,IAAI,EAAE,QAAQ;oBACzC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACpC,IAAI,KAAiB,CAAC;gBACtB,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,GAAG,KAAK,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACN,WAAW,EAAE,CAAC;oBACd,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAClG,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;gBAChI,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;YACzC,CAAC;YACD,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;oBACtC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC;oBAC7F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;YACD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACnE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,WAAW,EAAE,EAAE,CAAC;QAC9G,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgB,EAAE,EAAQ;IAC1C,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,GAAgB,EAAE,UAAyB,EAAE;IAC7F,OAAO,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC"}

package/dist/lint/fix.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Quick-fix contract helpers.
+ *
+ * A quick fix is a labelled op batch. Its op ids (and any node ids it
+ * mints) are derived deterministically from the rule code, the node and a
+ * variant tag, so the same document always yields byte-identical
+ * diagnostics; that keeps the engine cache and snapshot tests stable.
+ *
+ * `checkQuickFix` runs the batch through the grounding gate. Every fix the
+ * catalogue emits passes the gate on the document it was computed for
+ * (enforced by the rule tests).
+ */
+import type { StudioDocument } from '../document/types.js';
+import type { GateContext } from '../gate/context.js';
+import type { GateResult } from '../gate/types.js';
+import type { PrimitiveOp } from '../ops/types.js';
+import { type Uuid } from '../uuid.js';
+import type { QuickFix } from './types.js';
+/** Deterministic id source for one fix. */
+export declare function fixIds(code: string, nodeId: Uuid, variant?: string): () => Uuid;
+/** A primitive op without its `opId` (distributes over the union). */
+export type OpBody = PrimitiveOp extends infer O ? (O extends PrimitiveOp ? Omit<O, 'opId'> : never) : never;
+/** Build a quick fix from op bodies; op ids are derived. */
+export declare function quickFix(label: string, code: string, nodeId: Uuid, variant: string, bodies: readonly OpBody[]): QuickFix;
+/** Check a quick fix against the document it was computed for. */
+export declare function checkQuickFix(doc: StudioDocument, fix: QuickFix, gate: GateContext): GateResult;
+//# sourceMappingURL=fix.d.ts.map

package/dist/lint/fix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix.d.ts","sourceRoot":"","sources":["../../src/lint/fix.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAY,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAY,KAAK,IAAI,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,2CAA2C;AAC3C,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,SAAK,GAAG,MAAM,IAAI,CAI3E;AAED,sEAAsE;AACtE,MAAM,MAAM,MAAM,GAAG,WAAW,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,WAAW,GAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAE7G,4DAA4D;AAC5D,wBAAgB,QAAQ,CACtB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,IAAI,EACZ,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,QAAQ,CAIV;AAED,kEAAkE;AAClE,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,GAAG,UAAU,CAE/F"}

package/dist/lint/fix.js

@@ -0,0 +1,22 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { checkOps } from '../gate/check.js';
+import { deriveId } from '../uuid.js';
+/** Deterministic id source for one fix. */
+export function fixIds(code, nodeId, variant = '') {
+    let n = 0;
+    const seed = `lint|${code}|${nodeId}|${variant}`;
+    return () => deriveId(seed, `#${n++}`);
+}
+/** Build a quick fix from op bodies; op ids are derived. */
+export function quickFix(label, code, nodeId, variant, bodies) {
+    const next = fixIds(code, nodeId, `${variant}|ops`);
+    const ops = bodies.map((b) => ({ ...b, opId: next() }));
+    return { label, ops };
+}
+/** Check a quick fix against the document it was computed for. */
+export function checkQuickFix(doc, fix, gate) {
+    return checkOps(fix.ops, doc, gate);
+}
+//# sourceMappingURL=fix.js.map

package/dist/lint/fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix.js","sourceRoot":"","sources":["../../src/lint/fix.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgB/D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAI5C,OAAO,EAAE,QAAQ,EAAa,MAAM,YAAY,CAAC;AAGjD,2CAA2C;AAC3C,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,MAAY,EAAE,OAAO,GAAG,EAAE;IAC7D,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,QAAQ,IAAI,IAAI,MAAM,IAAI,OAAO,EAAE,CAAC;IACjD,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;AACzC,CAAC;AAKD,4DAA4D;AAC5D,MAAM,UAAU,QAAQ,CACtB,KAAa,EACb,IAAY,EACZ,MAAY,EACZ,OAAe,EACf,MAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,MAAM,CAAC,CAAC;IACpD,MAAM,GAAG,GAAe,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,GAAa,EAAE,IAAiB;IACjF,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;AACtC,CAAC"}

package/dist/lint/precision.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Lint precision measurement (IDS-054, FR-C05).
+ *
+ * Every finding on a labelled corpus file must be explained by a label:
+ * either a per-finding verdict (`file|code|message`) or, for `info` rules
+ * whose condition is a plain fact about the document (no description, an
+ * exact real comparison, …), a rule-level verdict. Unlabelled findings
+ * count as false positives, so a new rule cannot raise precision by
+ * staying silent about its findings.
+ *
+ * precision = justified / (justified + falsePositive + unlabelled)
+ */
+import type { IDSDocument } from '@ifc-lite/ids';
+import type { LintContext, LintSeverity } from './types.js';
+export interface Verdict {
+    verdict: 'justified' | 'false-positive';
+    reason: string;
+}
+export interface PrecisionLabels {
+    /** Rule-level verdicts, allowed for `info` rules only. */
+    rules: Record<string, Verdict>;
+    /** Per-finding verdicts keyed `file|code|message`. */
+    findings: Record<string, Verdict>;
+}
+export interface PrecisionCase {
+    file: string;
+    ids: IDSDocument;
+}
+/** Findings of one rule at one severity (a rule may demote individual findings). */
+export interface RuleTally {
+    code: string;
+    severity: LintSeverity;
+    justified: number;
+    falsePositive: number;
+    unlabelled: number;
+}
+export interface PrecisionReport {
+    files: number;
+    findings: number;
+    precision: number;
+    /** Precision over warning and error findings only. */
+    precisionWarnError: number;
+    rules: RuleTally[];
+    unlabelled: string[];
+    falsePositives: string[];
+    /** Labels that matched no finding (stale). */
+    unusedLabels: string[];
+}
+export declare function findingKey(file: string, code: string, message: string): string;
+export declare function measurePrecision(cases: readonly PrecisionCase[], labels: PrecisionLabels, ctx: LintContext): PrecisionReport;
+//# sourceMappingURL=precision.d.ts.map

package/dist/lint/precision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"precision.d.ts","sourceRoot":"","sources":["../../src/lint/precision.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAIjD,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE5D,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;CAClB;AAED,oFAAoF;AACpF,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAMD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAE9E;AAOD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,WAAW,GAAG,eAAe,CA4C5H"}

package/dist/lint/precision.js

@@ -0,0 +1,64 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { fromIdsDocument } from '../document/from-ids.js';
+import { lintDocument } from './engine.js';
+import { LINT_RULES } from './rules/index.js';
+function ratio(good, all) {
+    return all === 0 ? 1 : good / all;
+}
+export function findingKey(file, code, message) {
+    return `${file}|${code}|${message}`;
+}
+/** Precision covers the whole catalogue, so opt-in rules are switched on at their default severity. */
+const ALL_RULES_ON = Object.fromEntries(LINT_RULES.filter((r) => r.optIn).map((r) => [r.code, r.defaultSeverity]));
+export function measurePrecision(cases, labels, ctx) {
+    const tallies = new Map();
+    const unlabelled = [];
+    const falsePositives = [];
+    const used = new Set();
+    let findings = 0;
+    for (const c of cases) {
+        const { diagnostics } = lintDocument(fromIdsDocument(c.ids), ctx, { severity: ALL_RULES_ON });
+        for (const d of diagnostics) {
+            findings++;
+            const key = findingKey(c.file, d.code, d.message);
+            const tallyKey = `${d.code}|${d.severity}`;
+            const t = tallies.get(tallyKey) ?? { code: d.code, severity: d.severity, justified: 0, falsePositive: 0, unlabelled: 0 };
+            tallies.set(tallyKey, t);
+            const ruleLevel = d.severity === 'info' ? labels.rules[d.code] : undefined;
+            const v = labels.findings[key] ?? ruleLevel;
+            if (labels.findings[key])
+                used.add(key);
+            else if (ruleLevel)
+                used.add(`rule:${d.code}`);
+            if (!v) {
+                t.unlabelled++;
+                unlabelled.push(key);
+            }
+            else if (v.verdict === 'justified') {
+                t.justified++;
+            }
+            else {
+                t.falsePositive++;
+                falsePositives.push(key);
+            }
+        }
+    }
+    const rules = [...tallies.values()].sort((a, b) => a.code.localeCompare(b.code) || a.severity.localeCompare(b.severity));
+    const sum = (list, k) => list.reduce((n, t) => n + t[k], 0);
+    const all = (list) => sum(list, 'justified') + sum(list, 'falsePositive') + sum(list, 'unlabelled');
+    const we = rules.filter((t) => t.severity !== 'info');
+    const unusedLabels = [...Object.keys(labels.findings).filter((k) => !used.has(k)), ...Object.keys(labels.rules).filter((k) => !used.has(`rule:${k}`)).map((k) => `rule:${k}`)];
+    return {
+        files: cases.length,
+        findings,
+        precision: ratio(sum(rules, 'justified'), all(rules)),
+        precisionWarnError: ratio(sum(we, 'justified'), all(we)),
+        rules,
+        unlabelled,
+        falsePositives,
+        unusedLabels,
+    };
+}
+//# sourceMappingURL=precision.js.map

package/dist/lint/precision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"precision.js","sourceRoot":"","sources":["../../src/lint/precision.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgB/D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA0C9C,SAAS,KAAK,CAAC,IAAY,EAAE,GAAW;IACtC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe;IACpE,OAAO,GAAG,IAAI,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;AACtC,CAAC;AAED,uGAAuG;AACvG,MAAM,YAAY,GAAiC,MAAM,CAAC,WAAW,CACnE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAC1E,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,KAA+B,EAAE,MAAuB,EAAE,GAAgB;IACzG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,QAAQ,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACzH,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC;YAC5C,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;iBACnC,IAAI,SAAS;gBAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/C,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,CAAC,CAAC,UAAU,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;iBAAM,IAAI,CAAC,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;gBACrC,CAAC,CAAC,SAAS,EAAE,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,aAAa,EAAE,CAAC;gBAClB,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzH,MAAM,GAAG,GAAG,CAAC,IAAiB,EAAE,CAA+C,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvH,MAAM,GAAG,GAAG,CAAC,IAAiB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACjH,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/K,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,MAAM;QACnB,QAAQ;QACR,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACrD,kBAAkB,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACxD,KAAK;QACL,UAAU;QACV,cAAc;QACd,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/lint/rules/bsdd.d.ts

@@ -0,0 +1,5 @@
+import type { SpecRule } from '../types.js';
+export declare const BSDD_001: SpecRule;
+export declare const BSDD_002: SpecRule;
+export declare const BSDD_003: SpecRule;
+//# sourceMappingURL=bsdd.d.ts.map

package/dist/lint/rules/bsdd.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bsdd.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/bsdd.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAsB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAgBhE,eAAO,MAAM,QAAQ,EAAE,QAkCtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QA4BtB,CAAC;AAOF,eAAO,MAAM,QAAQ,EAAE,QAoCtB,CAAC"}

package/dist/lint/rules/bsdd.js

@@ -0,0 +1,123 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { quickFix } from '../fix.js';
+import { allFacets, at, where } from '../walk.js';
+import { gated, literals, single } from './util.js';
+function uriOf(view) {
+    const f = view.facet;
+    return f.type === 'property' || f.type === 'classification' || f.type === 'material' ? f.uri : undefined;
+}
+function recordOf(view, ctx) {
+    const uri = uriOf(view);
+    return uri ? ctx.bsdd?.get(uri) : undefined;
+}
+const lastSegment = (uri) => decodeURIComponent(uri.slice(uri.lastIndexOf('/') + 1));
+export const BSDD_001 = {
+    code: 'IDSL-BSDD-001',
+    area: 'BSDD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'bSDD URI not found or inactive',
+    rationale: 'The facet points at a bSDD class or property that bSDD does not know (any more), or that its owner has deprecated. Tools that follow the URI find nothing or an outdated definition, and the classification or property the requirement asks for may no longer be maintained. URIs are checked in the background (rate-limited, cached for 24 hours); an unchecked URI is not reported.',
+    fix: 'Point the facet at the replacement bSDD publishes (and, for a classification, its code).',
+    example: '<classification uri="https://identifier.buildingsmart.org/uri/…/class/OLD-CODE" cardinality="required"> … </classification>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of allFacets(spec)) {
+            const record = recordOf(view, ctx);
+            if (!record || (record.state !== 'notFound' && record.state !== 'inactive'))
+                continue;
+            const replacement = record.replacedBy?.length === 1 ? record.replacedBy[0] : undefined;
+            const message = record.state === 'notFound'
+                ? `${where(view)}: bSDD does not know ${record.uri}`
+                : `${where(view)}: ${record.uri} is inactive in bSDD${record.replacedBy?.length ? `; replaced by ${record.replacedBy.join(', ')}` : ''}`;
+            let fixes;
+            if (replacement) {
+                const bodies = [{ kind: 'facet.setUri', payload: { facetId: view.facetId, uri: replacement } }];
+                const f = view.facet;
+                if (f.type === 'classification' && single(f.value) === lastSegment(record.uri)) {
+                    bodies.push({ kind: 'value.set', payload: { facetId: view.facetId, field: 'classification.value', value: { kind: 'equals', value: lastSegment(replacement) } } });
+                }
+                fixes = gated(doc, ctx, [quickFix('Use the replacement', this.code, view.facetId, replacement, bodies)]);
+            }
+            out.push({ nodeId: view.facetId, message, ...(fixes ? { fixes } : {}) });
+        }
+        return out;
+    },
+};
+export const BSDD_002 = {
+    code: 'IDSL-BSDD-002',
+    area: 'BSDD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Classification system differs from the bSDD dictionary name',
+    rationale: 'IDS checks a classification by its system name and code. When the facet references a bSDD class, the system should be the name of the dictionary that publishes the class, as bSDD gives it; authoring tools that write classifications from bSDD use that name, so a different or missing system name may match nothing.',
+    fix: 'Use the bSDD dictionary name as the system.',
+    example: '<classification uri="https://identifier.buildingsmart.org/uri/…/class/EW"><value><simpleValue>EW</simpleValue></value><system><simpleValue>My system</simpleValue></system></classification>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of allFacets(spec)) {
+            const f = view.facet;
+            const record = recordOf(view, ctx);
+            const name = record?.dictionaryName;
+            if (f.type !== 'classification' || !name)
+                continue;
+            const system = f.system ? literals(f.system) : [];
+            if (system.includes(name) || (f.system && f.system.type === 'pattern'))
+                continue;
+            const fix = quickFix(`Use "${name}"`, this.code, view.facetId, name, [{ kind: 'value.set', payload: { facetId: view.facetId, field: 'classification.system', value: { kind: 'equals', value: name } } }]);
+            const message = system.length
+                ? `${where(view)}: system "${system.join('", "')}" differs from the bSDD dictionary name "${name}"`
+                : `${where(view)}: no system; the bSDD dictionary is "${name}"`;
+            out.push({ ...at(view, 'classification.system'), message, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+/** Literal values of a value constraint, or undefined when it is not a literal/enumeration. */
+function valueLiterals(c) {
+    return c && (c.type === 'simpleValue' || c.type === 'enumeration') ? literals(c) : undefined;
+}
+export const BSDD_003 = {
+    code: 'IDSL-BSDD-003',
+    area: 'BSDD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Value outside the allowed values bSDD publishes',
+    rationale: 'The property requirement references a bSDD property with a list of allowed values, but its value (or enumeration) contains values that list does not have (neither as a code nor as a label). A model filled from bSDD can then never pass, or the IDS has drifted from the dictionary. Allowing fewer values than bSDD (a project narrowing) is fine and not reported.',
+    fix: 'Keep the values bSDD allows, or take its full list.',
+    example: '<property uri="https://identifier.buildingsmart.org/uri/…/prop/FireRating"> … <value><simpleValue>EI 60</simpleValue></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of allFacets(spec)) {
+            const f = view.facet;
+            const record = recordOf(view, ctx);
+            const allowed = record?.allowedValues;
+            if (f.type !== 'property' || !allowed?.length)
+                continue;
+            const values = valueLiterals(f.value);
+            if (!values)
+                continue;
+            // A value may be written as the bSDD code or as its label.
+            const accepted = new Set([...allowed, ...(record?.allowedLabels ?? [])]);
+            const outside = values.filter((v) => !accepted.has(v));
+            if (!outside.length)
+                continue;
+            const kept = values.filter((v) => accepted.has(v));
+            const base = f.value && 'base' in f.value && f.value.base ? f.value.base : undefined;
+            const fixes = [
+                kept.length
+                    ? quickFix('Keep the allowed values', this.code, view.facetId, 'keep', [{ kind: 'value.set', payload: { facetId: view.facetId, field: 'property.value', value: { kind: 'raw', constraint: kept.length === 1 ? { type: 'simpleValue', value: kept[0] } : { type: 'enumeration', values: kept, ...(base ? { base } : {}) } } } }])
+                    : undefined,
+                quickFix('Use the bSDD values', this.code, view.facetId, 'all', [{ kind: 'value.set', payload: { facetId: view.facetId, field: 'property.value', value: { kind: 'raw', constraint: { type: 'enumeration', values: [...allowed], ...(base ? { base } : {}) } } } }]),
+            ];
+            out.push({ ...at(view, 'property.value'), message: `${where(view)}: ${outside.map((v) => `"${v}"`).join(', ')} not among the bSDD values (${allowed.join(', ')})`, fixes: gated(doc, ctx, fixes) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=bsdd.js.map

package/dist/lint/rules/bsdd.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bsdd.js","sourceRoot":"","sources":["../../../src/lint/rules/bsdd.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAW/D,OAAO,EAAE,QAAQ,EAAe,MAAM,WAAW,CAAC;AAElD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEpD,SAAS,KAAK,CAAC,IAAe;IAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3G,CAAC;AAED,SAAS,QAAQ,CAAC,IAAe,EAAE,GAA+D;IAChG,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAErG,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,gCAAgC;IACvC,SAAS,EACP,yXAAyX;IAC3X,GAAG,EAAE,0FAA0F;IAC/F,OAAO,EAAE,6HAA6H;IACtI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC;gBAAE,SAAS;YACtF,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvF,MAAM,OAAO,GACX,MAAM,CAAC,KAAK,KAAK,UAAU;gBACzB,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,GAAG,EAAE;gBACpD,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,uBAAuB,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC7I,IAAI,KAAK,CAAC;YACV,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAa,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;gBAC1G,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACpK,CAAC;gBACD,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3G,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,6DAA6D;IACpE,SAAS,EACP,2TAA2T;IAC7T,GAAG,EAAE,6CAA6C;IAClD,OAAO,EAAE,8LAA8L;IACvM,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,EAAE,cAAc,CAAC;YACpC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,IAAI;gBAAE,SAAS;YACnD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC;gBAAE,SAAS;YACjF,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,IAAI,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1M,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM;gBAC3B,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,4CAA4C,IAAI,GAAG;gBACnG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,wCAAwC,IAAI,GAAG,CAAC;YAClE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,uBAAuB,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+FAA+F;AAC/F,SAAS,aAAa,CAAC,CAA4B;IACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,iDAAiD;IACxD,SAAS,EACP,yWAAyW;IAC3W,GAAG,EAAE,qDAAqD;IAC1D,OAAO,EAAE,0IAA0I;IACnJ,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,EAAE,aAAa,CAAC;YACtC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,OAAO,EAAE,MAAM;gBAAE,SAAS;YACxD,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,2DAA2D;YAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACzE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,CAAC,MAAM;gBAAE,SAAS;YAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACrF,MAAM,KAAK,GAAG;gBACZ,IAAI,CAAC,MAAM;oBACT,CAAC,CAAC,QAAQ,CAAC,yBAAyB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;oBAChU,CAAC,CAAC,SAAS;gBACb,QAAQ,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;aACpQ,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACtM,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}