d365fo-mcp 1.0.0

package/dist/eval/audit/knowledgeRefs.js

@@ -0,0 +1,150 @@
+/**
+ * Knowledge-base reference extraction (ROADMAP P1).
+ *
+ * Pulls every *named AOT type / API* out of the embedded KNOWLEDGE_BASE
+ * (src/tools/xppKnowledge.ts) so it can be resolved against the real symbol
+ * index. Rationale: generated code is gated fail-closed by validate_code and
+ * the build, but knowledge content shipped to the model was never gated at
+ * all — that asymmetry is what the public review of the part-4 article
+ * exposed (a `SysRunnable::run()` that does not exist in the AOT).
+ *
+ * Extraction is deliberately *conservative*: only shapes where a PascalCase
+ * token is unambiguously an AOT element reference are emitted, so an
+ * unresolved reference is a real defect rather than prose noise. Everything
+ * this module does is pure string work — no DB, no VM — so it is unit
+ * testable and runs anywhere.
+ */
+/**
+ * X++ primitives, keywords and framework pseudo-types that are NOT AOT
+ * elements and therefore never resolve against `symbols`. Lowercase.
+ */
+const NON_AOT = new Set([
+    // primitives / built-in types
+    'str', 'int', 'int64', 'real', 'date', 'utcdatetime', 'boolean', 'container',
+    'anytype', 'guid', 'void', 'timeofday', 'enum', 'class', 'interface', 'table',
+    'common', 'blob', 'varstring',
+    // control-flow / statement keywords that can precede an identifier
+    'if', 'else', 'while', 'for', 'switch', 'case', 'return', 'throw', 'new',
+    'select', 'firstonly', 'from', 'where', 'join', 'order', 'group', 'by',
+    'public', 'private', 'protected', 'static', 'final', 'abstract', 'extends',
+    'implements', 'using', 'true', 'false', 'null', 'this', 'super', 'next',
+    'ttsbegin', 'ttscommit', 'ttsabort', 'changecompany', 'delete_from',
+    'insert_recordset', 'update_recordset', 'validtimestate', 'crosscompany',
+    'display', 'edit', 'client', 'server', 'internal', 'const', 'var',
+    // Prose placeholders and grammar terms the knowledge text uses to stand in
+    // for a name the reader supplies. Not AOT elements by construction.
+    'target', 'classname', 'tablename', 'formname', 'enumname', 'methodname',
+    'findoptions', 'fieldlist', 'tablebuffer',
+]);
+/** PascalCase-ish AOT element name. */
+const IDENT = '[A-Z][A-Za-z0-9_]*';
+/**
+ * Intrinsic functions whose first argument is an AOT element name.
+ * `methodStr` is handled separately (two args → type + method).
+ */
+const INTRINSICS = [
+    'classStr', 'tableStr', 'formStr', 'enumStr', 'queryStr', 'reportStr',
+    'extendedTypeStr', 'menuItemDisplayStr', 'menuItemActionStr',
+    'menuItemOutputStr', 'classNum', 'tableNum', 'enumNum', 'delegateStr',
+    'staticMethodStr', 'formControlStr', 'formDataSourceStr', 'dataEntityDataSourceStr',
+];
+/**
+ * Illustrative placeholder names. The knowledge base writes hypothetical
+ * elements as `MyFoo` / `IMyFoo` (an existing, consistent convention), so
+ * these are *supposed* not to resolve — flagging them would bury the real
+ * defects. Anything outside this convention must be a real AOT element.
+ */
+const PLACEHOLDER = /^I?My[A-Z0-9]/;
+/** `class Foo`, `interface Foo` etc. declared inside the example itself. */
+function locallyDeclared(texts) {
+    const out = new Set();
+    for (const text of texts) {
+        for (const m of text.matchAll(new RegExp(`\\b(?:class|interface)\\s+(${IDENT})`, 'g'))) {
+            out.add(m[1]);
+        }
+    }
+    return out;
+}
+function entrySources(entry) {
+    const out = [
+        { field: 'summary', text: entry.summary },
+        ...entry.rules.map((r, i) => ({ field: `rules[${i}]`, text: r })),
+    ];
+    if (entry.migration) {
+        out.push({ field: 'migration.ax2012', text: entry.migration.ax2012 });
+        out.push({ field: 'migration.d365fo', text: entry.migration.d365fo });
+    }
+    for (const [i, ex] of (entry.examples ?? []).entries()) {
+        out.push({ field: `examples[${i}].code`, text: ex.code });
+    }
+    return out;
+}
+function push(acc, entryId, field, kind, name, member) {
+    if (NON_AOT.has(name.toLowerCase()))
+        return;
+    if (name.length < 3)
+        return;
+    const key = `${entryId}|${kind}|${name}${member ? `::${member}` : ''}`;
+    // First occurrence wins — keeps the reported field stable across edits
+    // elsewhere in the same entry.
+    if (!acc.has(key))
+        acc.set(key, { entryId, name, member, kind, field, key });
+}
+/** Extract every AOT reference from one knowledge entry. */
+export function extractEntryRefs(entry) {
+    const acc = new Map();
+    const sources = entrySources(entry);
+    const local = locallyDeclared(sources.map(s => s.text));
+    for (const { field, text } of sources) {
+        if (!text)
+            continue;
+        // Foo::bar(  — static call / member reference
+        for (const m of text.matchAll(new RegExp(`\\b(${IDENT})::([A-Za-z_][A-Za-z0-9_]*)`, 'g'))) {
+            push(acc, entry.id, field, 'static-call', m[1], m[2]);
+        }
+        // extends Foo / implements Foo (implements may list several)
+        for (const m of text.matchAll(new RegExp(`\\b(?:extends|implements)\\s+(${IDENT}(?:\\s*,\\s*${IDENT})*)`, 'g'))) {
+            for (const one of m[1].split(','))
+                push(acc, entry.id, field, 'extends', one.trim());
+        }
+        // new Foo(
+        for (const m of text.matchAll(new RegExp(`\\bnew\\s+(${IDENT})\\s*\\(`, 'g'))) {
+            push(acc, entry.id, field, 'new', m[1]);
+        }
+        // [FooAttribute] / [FooAttribute(...)]. Only the *leading* token of the
+        // bracket is the attribute; brackets containing `::` are X++ container
+        // literals (`[NoYes::Yes, NoYes::No]`), not attributes at all.
+        for (const m of text.matchAll(/\[([^\]]+)\]/g)) {
+            if (m[1].includes('::'))
+                continue;
+            const attr = m[1].match(new RegExp(`^\\s*(${IDENT})\\s*(?:\\(|$)`));
+            if (attr)
+                push(acc, entry.id, field, 'attribute', attr[1]);
+        }
+        // classStr(Foo), tableStr(Foo), ...
+        for (const fn of INTRINSICS) {
+            for (const m of text.matchAll(new RegExp(`\\b${fn}\\s*\\(\\s*(${IDENT})`, 'g'))) {
+                push(acc, entry.id, field, 'intrinsic', m[1]);
+            }
+        }
+        // methodStr(Foo, bar) — type + method
+        for (const m of text.matchAll(new RegExp(`\\bmethodStr\\s*\\(\\s*(${IDENT})\\s*,\\s*([A-Za-z_][A-Za-z0-9_]*)`, 'g'))) {
+            push(acc, entry.id, field, 'static-call', m[1], m[2]);
+        }
+        // Declarations at the start of a code line: `Foo fooVar;` / `Foo fooVar =`
+        // Only inside code examples — prose sentences produce false positives.
+        if (field.endsWith('.code')) {
+            for (const line of text.split('\n')) {
+                const m = line.match(new RegExp(`^\\s{0,8}(${IDENT})\\s+([a-z_][A-Za-z0-9_]*)\\s*(;|=[^=])`));
+                if (m)
+                    push(acc, entry.id, field, 'declaration', m[1]);
+            }
+        }
+    }
+    return [...acc.values()].filter(r => !local.has(r.name) && !PLACEHOLDER.test(r.name));
+}
+/** Extract references from the whole knowledge base, in entry order. */
+export function extractKnowledgeRefs(base) {
+    return base.flatMap(extractEntryRefs);
+}
+//# sourceMappingURL=knowledgeRefs.js.map

package/dist/eval/audit/knowledgeRefs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledgeRefs.js","sourceRoot":"","sources":["../../../src/eval/audit/knowledgeRefs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AA2BH;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;IACtB,8BAA8B;IAC9B,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW;IAC5E,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO;IAC7E,QAAQ,EAAE,MAAM,EAAE,WAAW;IAC7B,mEAAmE;IACnE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;IACxE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI;IACtE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS;IAC1E,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IACvE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa;IACnE,kBAAkB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,cAAc;IACxE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK;IACjE,2EAA2E;IAC3E,oEAAoE;IACpE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY;IACxE,aAAa,EAAE,WAAW,EAAE,aAAa;CAC1C,CAAC,CAAC;AAEH,uCAAuC;AACvC,MAAM,KAAK,GAAG,oBAAoB,CAAC;AAEnC;;;GAGG;AACH,MAAM,UAAU,GAAG;IACjB,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW;IACrE,iBAAiB,EAAE,oBAAoB,EAAE,mBAAmB;IAC5D,mBAAmB,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa;IACrE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,yBAAyB;CACpF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,eAAe,CAAC;AAEpC,4EAA4E;AAC5E,SAAS,eAAe,CAAC,KAAe;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,8BAA8B,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YACvF,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAID,SAAS,YAAY,CAAC,KAAqB;IACzC,MAAM,GAAG,GAAa;QACpB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE;QACzC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;KAClE,CAAC;IACF,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACtE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CACX,GAA8B,EAC9B,OAAe,EACf,KAAa,EACb,IAAa,EACb,IAAY,EACZ,MAAe;IAEf,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO;IAC5C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAC5B,MAAM,GAAG,GAAG,GAAG,OAAO,IAAI,IAAI,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACvE,uEAAuE;IACvE,+BAA+B;IAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,gBAAgB,CAAC,KAAqB;IACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,8CAA8C;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,6BAA6B,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1F,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,6DAA6D;QAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,iCAAiC,KAAK,eAAe,KAAK,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAChH,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,WAAW;QACX,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,cAAc,KAAK,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9E,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,wEAAwE;QACxE,uEAAuE;QACvE,+DAA+D;QAC/D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACpE,IAAI,IAAI;gBAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,oCAAoC;QACpC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,eAAe,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChF,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QACD,sCAAsC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,2BAA2B,KAAK,oCAAoC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YACrH,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,2EAA2E;QAC3E,uEAAuE;QACvE,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,KAAK,yCAAyC,CAAC,CAAC,CAAC;gBAC9F,IAAI,CAAC;oBAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,oBAAoB,CAAC,IAAsB;IACzD,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AACxC,CAAC"}

package/dist/eval/audit/symbolLookup.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Shared symbol-index lookup for the knowledge audit (ROADMAP P1).
+ *
+ * Extracted from knowledgeAuditCli so the CLI (`--capture`) and the CI test
+ * (tests/knowledge/apiSymbols.test.ts) resolve knowledge references through the
+ * exact same query logic — a single source of truth for "does this AOT element
+ * exist". Pure I/O: opens the read-only 2 GB SQLite index and returns a
+ * {@link SymbolLookup} plus the index's `last_indexed_at` stamp.
+ */
+import type { SymbolLookup } from './knowledgeAudit.js';
+/** AOT element types worth resolving a knowledge reference against. */
+export declare const ELEMENT_TYPES: string[];
+/**
+ * Loads the whole element-name table into memory once (~135k rows). A
+ * per-name `COLLATE NOCASE` query would full-scan the 2 GB index for every
+ * lookup (see memory/sqlite-query-antipatterns); one sequential pass over the
+ * indexed `type` column is both correct and ~1000x cheaper here.
+ */
+export declare function openSymbolLookup(dbPath: string): Promise<{
+    lookup: SymbolLookup;
+    indexedAt: string;
+}>;
+//# sourceMappingURL=symbolLookup.d.ts.map

package/dist/eval/audit/symbolLookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolLookup.d.ts","sourceRoot":"","sources":["../../../src/eval/audit/symbolLookup.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,uEAAuE;AACvE,eAAO,MAAM,aAAa,UAIzB,CAAC;AAEF;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CA6DtD"}

package/dist/eval/audit/symbolLookup.js

@@ -0,0 +1,80 @@
+/**
+ * Shared symbol-index lookup for the knowledge audit (ROADMAP P1).
+ *
+ * Extracted from knowledgeAuditCli so the CLI (`--capture`) and the CI test
+ * (tests/knowledge/apiSymbols.test.ts) resolve knowledge references through the
+ * exact same query logic — a single source of truth for "does this AOT element
+ * exist". Pure I/O: opens the read-only 2 GB SQLite index and returns a
+ * {@link SymbolLookup} plus the index's `last_indexed_at` stamp.
+ */
+import * as fs from 'fs';
+/** AOT element types worth resolving a knowledge reference against. */
+export const ELEMENT_TYPES = [
+    'class', 'table', 'enum', 'edt', 'interface', 'form', 'view', 'query', 'map',
+    'report', 'macro', 'data-entity', 'service', 'configuration-key',
+    'menu-item-display', 'menu-item-action', 'menu-item-output',
+];
+/**
+ * Loads the whole element-name table into memory once (~135k rows). A
+ * per-name `COLLATE NOCASE` query would full-scan the 2 GB index for every
+ * lookup (see memory/sqlite-query-antipatterns); one sequential pass over the
+ * indexed `type` column is both correct and ~1000x cheaper here.
+ */
+export async function openSymbolLookup(dbPath) {
+    if (!fs.existsSync(dbPath)) {
+        throw new Error(`symbol index not found at ${dbPath} (set DB_PATH).`);
+    }
+    const { default: Database } = await import('better-sqlite3');
+    const db = new Database(dbPath, { readonly: true });
+    const byLower = new Map();
+    const placeholders = ELEMENT_TYPES.map(() => '?').join(',');
+    const rows = db
+        .prepare(`SELECT name, type FROM symbols WHERE type IN (${placeholders})`)
+        .all(...ELEMENT_TYPES);
+    for (const r of rows) {
+        const key = r.name.toLowerCase();
+        const hit = byLower.get(key);
+        if (hit)
+            hit.types.add(r.type);
+        else
+            byLower.set(key, { canonical: r.name, types: new Set([r.type]) });
+    }
+    // Tier-2 evidence: names that no symbol row owns, but real elements declare
+    // as their base/interface. Scanned off the indexed `type` column, never a
+    // full table scan.
+    const referenced = new Set();
+    const baseRows = db
+        .prepare(`SELECT extends_class, implements_interfaces FROM symbols WHERE type IN ('class','interface','table','form','view','map','query')`)
+        .all();
+    for (const r of baseRows) {
+        if (r.extends_class)
+            referenced.add(r.extends_class.trim().toLowerCase());
+        for (const i of (r.implements_interfaces ?? '').split(',')) {
+            const t = i.trim().toLowerCase();
+            if (t)
+                referenced.add(t);
+        }
+    }
+    const memberStmt = db.prepare(`SELECT name FROM symbols WHERE parent_name = ? AND type = 'method'`);
+    const memberCache = new Map();
+    const lookup = {
+        resolve(name) {
+            const hit = byLower.get(name.toLowerCase());
+            return hit ? { canonical: hit.canonical, types: [...hit.types] } : null;
+        },
+        isReferencedBase(name) {
+            return referenced.has(name.toLowerCase());
+        },
+        hasMember(canonical, member) {
+            let set = memberCache.get(canonical);
+            if (!set) {
+                set = new Set(memberStmt.all(canonical).map(r => r.name.toLowerCase()));
+                memberCache.set(canonical, set);
+            }
+            return set.has(member.toLowerCase());
+        },
+    };
+    const meta = db.prepare(`SELECT value FROM _index_meta WHERE key = 'last_indexed_at'`).get();
+    return { lookup, indexedAt: meta?.value ?? 'unknown' };
+}
+//# sourceMappingURL=symbolLookup.js.map

package/dist/eval/audit/symbolLookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolLookup.js","sourceRoot":"","sources":["../../../src/eval/audit/symbolLookup.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAGzB,uEAAuE;AACvE,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK;IAC5E,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB;IAChE,mBAAmB,EAAE,kBAAkB,EAAE,kBAAkB;CAC5D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAAc;IAEd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,iBAAiB,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAC7D,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAEpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqD,CAAC;IAC7E,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CAAC,iDAAiD,YAAY,GAAG,CAAC;SACzE,GAAG,CAAC,GAAG,aAAa,CAA0C,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG;YAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;;YAC1B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,mBAAmB;IACnB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,kIAAkI,CAAC;SAC3I,GAAG,EAAmF,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,aAAa;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAC3B,oEAAoE,CACrE,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEnD,MAAM,MAAM,GAAiB;QAC3B,OAAO,CAAC,IAAI;YACV,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC5C,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,CAAC;QACD,gBAAgB,CAAC,IAAI;YACnB,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,SAAS,CAAC,SAAS,EAAE,MAAM;YACzB,IAAI,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,GAAG,GAAG,IAAI,GAAG,CAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;gBACrG,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACvC,CAAC;KACF,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC,GAAG,EAE7E,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,IAAI,SAAS,EAAE,CAAC;AACzD,CAAC"}

package/dist/eval/coverage/coverage.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Coverage computation (ROADMAP P3) — derive the K/E/T matrix from reality,
+ * not by hand.
+ *
+ * Inputs are the live sources: KNOWLEDGE_BASE entry ids, the eval case
+ * catalog, and the set of object types the tool path can actually create.
+ * A taxonomy leaf's flags are therefore only as green as the repo really is —
+ * deleting a case or renaming a knowledge entry turns a leaf red instead of
+ * quietly leaving a stale table behind.
+ *
+ * The module is pure so it runs in CI with no VM and no symbol index.
+ */
+import type { CoverageLeaf, CoverageTier } from './taxonomy.js';
+export interface EvalCaseSummary {
+    id: string;
+    tags: string[];
+    /** Cases whose golden has not been captured yet do not prove anything. */
+    goldenPending: boolean;
+}
+export interface CoverageInputs {
+    /** Every KNOWLEDGE_BASE entry id present in the shipped build. */
+    knowledgeIds: Set<string>;
+    /** Every eval case in eval/cases. */
+    cases: EvalCaseSummary[];
+    /** Object types the tool path can create (d365fo_file / generate_object). */
+    toolTypes: Set<string>;
+}
+export interface LeafCoverage {
+    leaf: CoverageLeaf;
+    k: boolean;
+    e: boolean;
+    t: boolean;
+    covered: boolean;
+    /** Case ids that actually matched (evidence for E). */
+    matchedCases: string[];
+    /** Knowledge ids declared by the leaf that do not exist (spec rot). */
+    danglingKnowledge: string[];
+    /** Case ids declared by the leaf that do not exist (spec rot). */
+    danglingCases: string[];
+}
+export interface CoverageOrphans {
+    /** Knowledge entries no taxonomy leaf claims — unproven knowledge. */
+    knowledge: string[];
+    /** Eval cases no taxonomy leaf claims — unmapped proof. */
+    cases: string[];
+}
+export interface TierSummary {
+    tier: CoverageTier | 'all';
+    total: number;
+    covered: number;
+    percent: number;
+}
+export interface CoverageReport {
+    leaves: LeafCoverage[];
+    orphans: CoverageOrphans;
+    core: TierSummary;
+    total: TierSummary;
+    /** Uncovered leaves ordered by weight — the P7 closure queue. */
+    queue: LeafCoverage[];
+}
+export declare function computeCoverage(taxonomy: CoverageLeaf[], inputs: CoverageInputs): CoverageReport;
+export declare function renderMarkdown(report: CoverageReport, generatedAt: string): string;
+/** Spec rot: a leaf pointing at a knowledge entry or case that no longer exists. */
+export declare function danglingReferences(report: CoverageReport): string[];
+//# sourceMappingURL=coverage.d.ts.map

package/dist/eval/coverage/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../../src/eval/coverage/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEhE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0EAA0E;IAC1E,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,qCAAqC;IACrC,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,6EAA6E;IAC7E,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,CAAC,EAAE,OAAO,CAAC;IACX,CAAC,EAAE,OAAO,CAAC;IACX,CAAC,EAAE,OAAO,CAAC;IACX,OAAO,EAAE,OAAO,CAAC;IACjB,uDAAuD;IACvD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kEAAkE;IAClE,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,sEAAsE;IACtE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,GAAG,KAAK,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,OAAO,EAAE,eAAe,CAAC;IACzB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,WAAW,CAAC;IACnB,iEAAiE;IACjE,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB;AAYD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,MAAM,EAAE,cAAc,GAAG,cAAc,CA+ChG;AAMD,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAsElF;AAOD,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,EAAE,CAKnE"}

package/dist/eval/coverage/coverage.js

@@ -0,0 +1,136 @@
+/**
+ * Coverage computation (ROADMAP P3) — derive the K/E/T matrix from reality,
+ * not by hand.
+ *
+ * Inputs are the live sources: KNOWLEDGE_BASE entry ids, the eval case
+ * catalog, and the set of object types the tool path can actually create.
+ * A taxonomy leaf's flags are therefore only as green as the repo really is —
+ * deleting a case or renaming a knowledge entry turns a leaf red instead of
+ * quietly leaving a stale table behind.
+ *
+ * The module is pure so it runs in CI with no VM and no symbol index.
+ */
+function summarise(tier, leaves) {
+    const covered = leaves.filter(l => l.covered).length;
+    return {
+        tier,
+        total: leaves.length,
+        covered,
+        percent: leaves.length === 0 ? 0 : Math.round((covered / leaves.length) * 1000) / 10,
+    };
+}
+export function computeCoverage(taxonomy, inputs) {
+    const caseById = new Map(inputs.cases.map(c => [c.id, c]));
+    const claimedKnowledge = new Set();
+    const claimedCases = new Set();
+    const leaves = taxonomy.map(leaf => {
+        const declaredKnowledge = leaf.knowledgeIds ?? [];
+        const danglingKnowledge = declaredKnowledge.filter(id => !inputs.knowledgeIds.has(id));
+        for (const id of declaredKnowledge)
+            claimedKnowledge.add(id);
+        const declaredCases = leaf.caseIds ?? [];
+        const danglingCases = declaredCases.filter(id => !caseById.has(id));
+        // A case proves the leaf only once its golden exists — a golden_pending
+        // case is an authored intention, not evidence.
+        const byId = declaredCases.filter(id => caseById.get(id)?.goldenPending === false);
+        const byTag = leaf.caseTags?.length
+            ? inputs.cases
+                .filter(c => !c.goldenPending && leaf.caseTags.every(t => c.tags.includes(t)))
+                .map(c => c.id)
+            : [];
+        const matchedCases = [...new Set([...byId, ...byTag])].sort();
+        for (const id of [...declaredCases, ...byTag])
+            claimedCases.add(id);
+        const k = declaredKnowledge.some(id => inputs.knowledgeIds.has(id));
+        const e = matchedCases.length > 0;
+        const t = (leaf.aotTypes ?? []).some(type => inputs.toolTypes.has(type));
+        return { leaf, k, e, t, covered: k && e && t, matchedCases, danglingKnowledge, danglingCases };
+    });
+    const orphans = {
+        knowledge: [...inputs.knowledgeIds].filter(id => !claimedKnowledge.has(id)).sort(),
+        cases: inputs.cases.map(c => c.id).filter(id => !claimedCases.has(id)).sort(),
+    };
+    const queue = leaves
+        .filter(l => !l.covered)
+        .sort((a, b) => b.leaf.weight - a.leaf.weight || a.leaf.id.localeCompare(b.leaf.id));
+    return {
+        leaves,
+        orphans,
+        core: summarise('core', leaves.filter(l => l.leaf.tier === 'core')),
+        total: summarise('all', leaves),
+        queue,
+    };
+}
+// ─── Rendering ──────────────────────────────────────────────────────────────
+const flag = (on) => (on ? '✅' : '—');
+export function renderMarkdown(report, generatedAt) {
+    const out = [];
+    out.push('# Coverage — what "100%" means');
+    out.push('');
+    out.push('<!-- GENERATED FILE — edit src/eval/coverage/taxonomy.ts, then run `npm run eval:coverage`. -->');
+    out.push('');
+    out.push('A taxonomy leaf counts as covered only when all three hold: **K** a knowledge entry ' +
+        'teaches it · **E** an eval case with a captured golden proves it · **T** the tool path ' +
+        'can create/validate the artifact. Flags are derived from the live sources ' +
+        '(`KNOWLEDGE_BASE`, `eval/cases`, the create/scaffold registry), so a deleted case or a ' +
+        'renamed entry drops the number.');
+    out.push('');
+    out.push('**core** = anything done at least once per project — the hard commitment. ' +
+        '**total** = core plus exotics (license codes, XDS, aggregate measurements), a visible ' +
+        'asymptote rather than a target.');
+    out.push('');
+    out.push(`| Tier | Covered | Leaves | % |`);
+    out.push(`| --- | ---: | ---: | ---: |`);
+    out.push(`| core | ${report.core.covered} | ${report.core.total} | **${report.core.percent}%** |`);
+    out.push(`| total | ${report.total.covered} | ${report.total.total} | ${report.total.percent}% |`);
+    out.push('');
+    const domains = [...new Set(report.leaves.map(l => l.leaf.domain))];
+    for (const domain of domains) {
+        const rows = report.leaves.filter(l => l.leaf.domain === domain);
+        const cov = rows.filter(r => r.covered).length;
+        out.push(`## ${domain} (${cov}/${rows.length})`);
+        out.push('');
+        out.push('| Leaf | Tier | K | E | T | Evidence / gap |');
+        out.push('| --- | --- | :-: | :-: | :-: | --- |');
+        for (const r of rows) {
+            const evidence = r.covered
+                ? r.matchedCases.slice(0, 3).join(', ') + (r.matchedCases.length > 3 ? ` +${r.matchedCases.length - 3}` : '')
+                : r.leaf.note ?? missingLabel(r);
+            out.push(`| ${r.leaf.label} | ${r.leaf.tier} | ${flag(r.k)} | ${flag(r.e)} | ${flag(r.t)} | ${evidence} |`);
+        }
+        out.push('');
+    }
+    out.push('## Closure queue (uncovered, by frequency weight)');
+    out.push('');
+    if (report.queue.length === 0) {
+        out.push('Nothing uncovered.');
+    }
+    else {
+        out.push('| Weight | Leaf | Missing |');
+        out.push('| ---: | --- | --- |');
+        for (const r of report.queue) {
+            out.push(`| ${r.leaf.weight} | ${r.leaf.label} | ${missingLabel(r)} |`);
+        }
+    }
+    out.push('');
+    out.push('## Orphans');
+    out.push('');
+    out.push(`- Knowledge entries no leaf claims (**unproven knowledge**): ${report.orphans.knowledge.length ? report.orphans.knowledge.join(', ') : 'none'}`);
+    out.push(`- Eval cases no leaf claims (**unmapped proof**): ${report.orphans.cases.length ? report.orphans.cases.join(', ') : 'none'}`);
+    out.push('');
+    out.push(`_Generated ${generatedAt}._`);
+    out.push('');
+    return out.join('\n');
+}
+function missingLabel(r) {
+    const missing = [!r.k && 'K', !r.e && 'E', !r.t && 'T'].filter(Boolean);
+    return missing.length ? `missing ${missing.join('+')}` : '—';
+}
+/** Spec rot: a leaf pointing at a knowledge entry or case that no longer exists. */
+export function danglingReferences(report) {
+    return report.leaves.flatMap(l => [
+        ...l.danglingKnowledge.map(id => `${l.leaf.id}: knowledge "${id}" does not exist`),
+        ...l.danglingCases.map(id => `${l.leaf.id}: eval case "${id}" does not exist`),
+    ]);
+}
+//# sourceMappingURL=coverage.js.map

package/dist/eval/coverage/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/eval/coverage/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAyDH,SAAS,SAAS,CAAC,IAA0B,EAAE,MAAsB;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE;KACrF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAwB,EAAE,MAAsB;IAC9E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,MAAM,MAAM,GAAmB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACjD,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;QAClD,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACvF,KAAK,MAAM,EAAE,IAAI,iBAAiB;YAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAE7D,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAEpE,wEAAwE;QACxE,+CAA+C;QAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,aAAa,KAAK,KAAK,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM;YACjC,CAAC,CAAC,MAAM,CAAC,KAAK;iBACT,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,IAAI,CAAC,QAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC9E,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9D,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,aAAa,EAAE,GAAG,KAAK,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEpE,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAEzE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAoB;QAC/B,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;QAClF,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;KAC9E,CAAC;IAEF,MAAM,KAAK,GAAG,MAAM;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SACvB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM;QACN,OAAO;QACP,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACnE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;QAC/B,KAAK;KACN,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E,MAAM,IAAI,GAAG,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAE/C,MAAM,UAAU,cAAc,CAAC,MAAsB,EAAE,WAAmB;IACxE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC3C,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,iGAAiG,CAAC,CAAC;IAC5G,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CACN,sFAAsF;QACtF,yFAAyF;QACzF,4EAA4E;QAC5E,yFAAyF;QACzF,iCAAiC,CAClC,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CACN,4EAA4E;QAC5E,wFAAwF;QACxF,iCAAiC,CAClC,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC5C,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACzC,GAAG,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC;IACnG,GAAG,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,KAAK,CAAC,OAAO,MAAM,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;IACnG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAC/C,GAAG,CAAC,IAAI,CAAC,MAAM,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACjD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO;gBACxB,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7G,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,IAAI,CAAC,CAAC;QAC9G,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAC9D,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CACN,gEACE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CACnF,CAAC;IACF,GAAG,CAAC,IAAI,CACN,qDACE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAC3E,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,cAAc,WAAW,IAAI,CAAC,CAAC;IACxC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,YAAY,CAAC,CAAe;IACnC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/D,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,kBAAkB,CAAC,MAAsB;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,GAAG,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;QAClF,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;KAC/E,CAAC,CAAC;AACL,CAAC"}

package/dist/eval/coverage/coverageCli.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Coverage CLI (ROADMAP P3/P4) — VM-free.
+ *
+ *   npm run eval:coverage            # regenerate eval/COVERAGE.md + eval/coverage.json
+ *   npm run eval:coverage -- --check # CI gate: fail if the artifacts are stale or a leaf points at something that no longer exists
+ *   npm run eval:coverage -- --json  # print the report, write nothing
+ *
+ * The T flag comes from the real `d365fo_file` objectType enum, so a new tool
+ * capability moves the number without anyone editing a table by hand; adding a
+ * new AOT type or topic to the taxonomy without K/E/T visibly drops it.
+ */
+export {};
+//# sourceMappingURL=coverageCli.d.ts.map

package/dist/eval/coverage/coverageCli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverageCli.d.ts","sourceRoot":"","sources":["../../../src/eval/coverage/coverageCli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/eval/coverage/coverageCli.js

@@ -0,0 +1,106 @@
+/**
+ * Coverage CLI (ROADMAP P3/P4) — VM-free.
+ *
+ *   npm run eval:coverage            # regenerate eval/COVERAGE.md + eval/coverage.json
+ *   npm run eval:coverage -- --check # CI gate: fail if the artifacts are stale or a leaf points at something that no longer exists
+ *   npm run eval:coverage -- --json  # print the report, write nothing
+ *
+ * The T flag comes from the real `d365fo_file` objectType enum, so a new tool
+ * capability moves the number without anyone editing a table by hand; adding a
+ * new AOT type or topic to the taxonomy without K/E/T visibly drops it.
+ */
+import * as fs from 'fs';
+import { renderMarkdown, danglingReferences } from './coverage.js';
+import { buildReport, JSON_PATH, MD_PATH, README_PATH } from './sources.js';
+const BADGE_START = '<!-- coverage-badge:start -->';
+const BADGE_END = '<!-- coverage-badge:end -->';
+/**
+ * Rewrites the README badge block from the report. The badge is the public
+ * reliability number promised in the LinkedIn thread — it is generated, never
+ * hand-edited, so it cannot quietly disagree with eval/coverage.json.
+ */
+function withBadge(readme, report) {
+    const colour = report.core.percent >= 90 ? 'brightgreen' : report.core.percent >= 70 ? 'yellow' : 'orange';
+    const badge = `[![Core coverage](https://img.shields.io/badge/core_coverage-${report.core.percent}%25-${colour}.svg)](eval/COVERAGE.md) ` +
+        `[![Total coverage](https://img.shields.io/badge/total_coverage-${report.total.percent}%25-lightgrey.svg)](eval/COVERAGE.md)`;
+    const start = readme.indexOf(BADGE_START);
+    const end = readme.indexOf(BADGE_END);
+    if (start < 0 || end < 0)
+        return readme;
+    return `${readme.slice(0, start + BADGE_START.length)}\n${badge}\n${readme.slice(end)}`;
+}
+/** Machine-readable artifact — the shape the README badge and CI read. */
+function toJson(report) {
+    return {
+        core: report.core,
+        total: report.total,
+        leaves: report.leaves.map(l => ({
+            id: l.leaf.id,
+            label: l.leaf.label,
+            domain: l.leaf.domain,
+            tier: l.leaf.tier,
+            weight: l.leaf.weight,
+            k: l.k,
+            e: l.e,
+            t: l.t,
+            covered: l.covered,
+            cases: l.matchedCases,
+        })),
+        orphans: report.orphans,
+    };
+}
+/** The generation timestamp must not make --check fail on an unchanged run. */
+function stripGeneratedAt(md) {
+    return md.replace(/^_Generated .*_$/m, '');
+}
+function main() {
+    const argv = process.argv.slice(2);
+    const check = argv.includes('--check');
+    const asJson = argv.includes('--json');
+    const report = buildReport();
+    const dangling = danglingReferences(report);
+    if (dangling.length > 0) {
+        console.error('❌ taxonomy references things that no longer exist:');
+        for (const d of dangling)
+            console.error(`   ${d}`);
+        return 1;
+    }
+    const json = `${JSON.stringify(toJson(report), null, 2)}\n`;
+    const markdown = renderMarkdown(report, new Date().toISOString().slice(0, 10));
+    if (asJson) {
+        console.log(json);
+        return 0;
+    }
+    const readme = fs.readFileSync(README_PATH, 'utf8');
+    const readmeNext = withBadge(readme, report);
+    if (check) {
+        const stale = [];
+        if (!fs.existsSync(JSON_PATH) || fs.readFileSync(JSON_PATH, 'utf8') !== json)
+            stale.push('eval/coverage.json');
+        if (!fs.existsSync(MD_PATH) || stripGeneratedAt(fs.readFileSync(MD_PATH, 'utf8')) !== stripGeneratedAt(markdown)) {
+            stale.push('eval/COVERAGE.md');
+        }
+        if (readme !== readmeNext)
+            stale.push('README.md (coverage badge)');
+        if (stale.length > 0) {
+            console.error(`❌ stale coverage artifact(s): ${stale.join(', ')} — run \`npm run eval:coverage\` and commit.`);
+            return 1;
+        }
+        console.log(`✅ coverage up to date — core ${report.core.covered}/${report.core.total} (${report.core.percent}%), ` +
+            `total ${report.total.covered}/${report.total.total} (${report.total.percent}%).`);
+        return 0;
+    }
+    fs.writeFileSync(JSON_PATH, json, 'utf8');
+    fs.writeFileSync(MD_PATH, markdown, 'utf8');
+    if (readme !== readmeNext)
+        fs.writeFileSync(README_PATH, readmeNext, 'utf8');
+    console.log(`core ${report.core.covered}/${report.core.total} (${report.core.percent}%) · ` +
+        `total ${report.total.covered}/${report.total.total} (${report.total.percent}%)`);
+    console.log(`Wrote eval/COVERAGE.md + eval/coverage.json. Closure queue: ${report.queue.length} leaf/leaves.`);
+    for (const r of report.queue.slice(0, 5)) {
+        console.log(`   w${r.leaf.weight} ${r.leaf.label}`);
+    }
+    return 0;
+}
+process.exit(main());
+//# sourceMappingURL=coverageCli.js.map

package/dist/eval/coverage/coverageCli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverageCli.js","sourceRoot":"","sources":["../../../src/eval/coverage/coverageCli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAuB,MAAM,eAAe,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE5E,MAAM,WAAW,GAAG,+BAA+B,CAAC;AACpD,MAAM,SAAS,GAAG,6BAA6B,CAAC;AAEhD;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAc,EAAE,MAAsB;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC3G,MAAM,KAAK,GACT,gEAAgE,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,MAAM,2BAA2B;QAC3H,kEAAkE,MAAM,CAAC,KAAK,CAAC,OAAO,uCAAuC,CAAC;IAChI,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED,0EAA0E;AAC1E,SAAS,MAAM,CAAC,MAAsB;IACpC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE;YACb,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK;YACnB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM;YACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;YACjB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM;YACrB,CAAC,EAAE,CAAC,CAAC,CAAC;YACN,CAAC,EAAE,CAAC,CAAC,CAAC;YACN,CAAC,EAAE,CAAC,CAAC,CAAC;YACN,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,CAAC,CAAC,YAAY;SACtB,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,gBAAgB,CAAC,EAAU;IAClC,OAAO,EAAE,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;IAE7B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE/E,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE7C,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/G,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,KAAK,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjH,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,iCAAiC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAC/G,OAAO,CAAC,CAAC;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CACT,gCAAgC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM;YACtG,SAAS,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,CAClF,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,UAAU;QAAE,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7E,OAAO,CAAC,GAAG,CACT,QAAQ,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO;QAC/E,SAAS,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,CACjF,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,+DAA+D,MAAM,CAAC,KAAK,CAAC,MAAM,eAAe,CAAC,CAAC;IAC/G,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC"}