@ouispec/cli 0.1.0

package/dist/program.js

@@ -0,0 +1,302 @@
+/**
+ * The app's source as the TypeScript compiler sees it, and what can be read
+ * from it without running it: literals, constants, JSX text.
+ */
+import { dirname, relative } from 'node:path';
+import ts from 'typescript';
+/**
+ * The app's program. `overlay` holds files the generator is about to emit (a
+ * tier 2 bound module), by absolute path: the program reads them as written
+ * now, not as they are on disk, so a page's imports of them resolve and type
+ * against the output of this run, in `--check` too.
+ */
+export function loadSource(root, tsconfig, rootNames, overlay = new Map()) {
+    const read = ts.readConfigFile(tsconfig, ts.sys.readFile);
+    if (read.error)
+        throw new Error(ts.flattenDiagnosticMessageText(read.error.messageText, '\n'));
+    const parsed = ts.parseJsonConfigFileContent(read.config, ts.sys, dirname(tsconfig));
+    const options = { ...parsed.options, noEmit: true };
+    const host = ts.createCompilerHost(options);
+    if (overlay.size) {
+        const dirs = new Set([...overlay.keys()].map(f => dirname(f)));
+        const { fileExists, readFile, getSourceFile, directoryExists } = host;
+        host.fileExists = file => overlay.has(file) || fileExists.call(host, file);
+        host.readFile = file => overlay.get(file) ?? readFile.call(host, file);
+        host.directoryExists = dir => dirs.has(dir) || (directoryExists ? directoryExists.call(host, dir) : ts.sys.directoryExists(dir));
+        host.getSourceFile = (file, languageVersion, onError, shouldCreate) => {
+            const text = overlay.get(file);
+            return text !== undefined
+                ? ts.createSourceFile(file, text, languageVersion, true)
+                : getSourceFile.call(host, file, languageVersion, onError, shouldCreate);
+        };
+    }
+    const program = ts.createProgram({
+        rootNames: [...(rootNames ?? parsed.fileNames), ...[...overlay.keys()].filter(f => /\.[cm]?tsx?$/.test(f))],
+        options,
+        projectReferences: parsed.projectReferences,
+        host,
+    });
+    const checker = program.getTypeChecker();
+    const src = `${root}/`;
+    return {
+        program,
+        checker,
+        root,
+        isAppFile: file => !file.isDeclarationFile && file.fileName.startsWith(src) && !file.fileName.includes('/node_modules/'),
+        rel: file => relative(root, typeof file === 'string' ? file : file.fileName),
+    };
+}
+/** A value that cannot be known without running the app. */
+export const UNKNOWN = Symbol('unknown');
+/** Strip `as`, `satisfies`, `!` and parentheses. */
+export function unwrap(expr) {
+    let e = expr;
+    while (ts.isParenthesizedExpression(e) ||
+        ts.isAsExpression(e) ||
+        ts.isSatisfiesExpression(e) ||
+        ts.isNonNullExpression(e) ||
+        ts.isTypeAssertionExpression(e)) {
+        e = e.expression;
+    }
+    return e;
+}
+/** The declaration a symbol finally stands for, through imports and re-exports. */
+export function resolveSymbol(checker, node) {
+    let symbol = checker.getSymbolAtLocation(node);
+    if (symbol && symbol.flags & ts.SymbolFlags.Alias)
+        symbol = checker.getAliasedSymbol(symbol);
+    return symbol;
+}
+/** The initializer of the constant an identifier names, if it is one. */
+export function constInitializer(checker, id) {
+    const symbol = resolveSymbol(checker, id);
+    const decl = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+    if (decl && ts.isVariableDeclaration(decl) && decl.initializer) {
+        const list = decl.parent;
+        if (ts.isVariableDeclarationList(list) && list.flags & ts.NodeFlags.Const)
+            return decl.initializer;
+    }
+    return undefined;
+}
+/** Arithmetic on numbers the evaluator reads, other than `+` (which also joins text). */
+const ARITHMETIC = new Map([
+    [ts.SyntaxKind.AsteriskToken, (a, b) => a * b],
+    [ts.SyntaxKind.MinusToken, (a, b) => a - b],
+    [ts.SyntaxKind.SlashToken, (a, b) => a / b],
+]);
+/**
+ * The value an expression has without running anything: literals, arrays and
+ * objects of them, constants (imported ones too), properties of constant
+ * objects, arithmetic on known numbers, and strings built only from those — a template literal or a `+`
+ * whose every part is itself known. Anything else, a call above all, is
+ * `UNKNOWN` (inside objects and arrays too, so a partly-known value keeps what
+ * is known). A text written once as a constant can so be a binding's
+ * description without being copied into it.
+ */
+export function evaluate(checker, expr, depth = 0) {
+    // Deep enough for a text built from constants built from constants.
+    if (!expr || depth > 16)
+        return UNKNOWN;
+    const e = unwrap(expr);
+    if (ts.isStringLiteral(e) || ts.isNoSubstitutionTemplateLiteral(e))
+        return e.text;
+    if (ts.isNumericLiteral(e))
+        return Number(e.text);
+    if (e.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (e.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    if (e.kind === ts.SyntaxKind.NullKeyword)
+        return null;
+    if (ts.isIdentifier(e) && e.text === 'undefined')
+        return undefined;
+    if (ts.isPrefixUnaryExpression(e) && e.operator === ts.SyntaxKind.MinusToken) {
+        const v = evaluate(checker, e.operand, depth + 1);
+        return typeof v === 'number' ? -v : UNKNOWN;
+    }
+    if (ts.isArrayLiteralExpression(e)) {
+        const out = [];
+        for (const el of e.elements) {
+            if (ts.isSpreadElement(el)) {
+                const spread = evaluate(checker, el.expression, depth + 1);
+                if (Array.isArray(spread))
+                    out.push(...spread);
+                else
+                    return UNKNOWN;
+            }
+            else {
+                out.push(evaluate(checker, el, depth + 1));
+            }
+        }
+        return out;
+    }
+    if (ts.isObjectLiteralExpression(e)) {
+        const out = {};
+        for (const prop of e.properties) {
+            if (ts.isPropertyAssignment(prop)) {
+                const name = propertyName(prop.name);
+                if (name !== null)
+                    out[name] = evaluate(checker, prop.initializer, depth + 1);
+            }
+            else if (ts.isShorthandPropertyAssignment(prop)) {
+                out[prop.name.text] = evaluate(checker, prop.name, depth + 1);
+            }
+            else if (ts.isSpreadAssignment(prop)) {
+                const spread = evaluate(checker, prop.expression, depth + 1);
+                if (spread && typeof spread === 'object')
+                    Object.assign(out, spread);
+            }
+        }
+        return out;
+    }
+    if (ts.isIdentifier(e)) {
+        const init = constInitializer(checker, e);
+        return init ? evaluate(checker, init, depth + 1) : literalType(checker, e);
+    }
+    if (ts.isPropertyAccessExpression(e)) {
+        const base = evaluate(checker, e.expression, depth + 1);
+        if (base && typeof base === 'object' && e.name.text in base) {
+            return base[e.name.text];
+        }
+        return literalType(checker, e);
+    }
+    if (ts.isTemplateExpression(e)) {
+        let text = e.head.text;
+        for (const span of e.templateSpans) {
+            const part = evaluate(checker, span.expression, depth + 1);
+            if (!isTextPart(part))
+                return UNKNOWN;
+            text += String(part) + span.literal.text;
+        }
+        return text;
+    }
+    // A number built from constants: `30 * 60_000`, `HOUR - MINUTE`.
+    if (ts.isBinaryExpression(e) && ARITHMETIC.has(e.operatorToken.kind)) {
+        const left = evaluate(checker, e.left, depth + 1);
+        const right = evaluate(checker, e.right, depth + 1);
+        if (typeof left !== 'number' || typeof right !== 'number')
+            return UNKNOWN;
+        const value = ARITHMETIC.get(e.operatorToken.kind)(left, right);
+        return Number.isFinite(value) ? value : UNKNOWN;
+    }
+    if (ts.isBinaryExpression(e) && e.operatorToken.kind === ts.SyntaxKind.PlusToken) {
+        const left = evaluate(checker, e.left, depth + 1);
+        const right = evaluate(checker, e.right, depth + 1);
+        if (typeof left === 'number' && typeof right === 'number')
+            return left + right;
+        if (isTextPart(left) && isTextPart(right) && (typeof left === 'string' || typeof right === 'string')) {
+            return String(left) + String(right);
+        }
+        return UNKNOWN;
+    }
+    return UNKNOWN;
+}
+/**
+ * The one value a name's type allows, when its type is a single string or
+ * number literal: a declared constant with no initializer to read, such as a
+ * generated API schema's `readonly description: "…"` in a `.d.ts`.
+ */
+function literalType(checker, e) {
+    const type = checker.getTypeAtLocation(e);
+    if (type.isStringLiteral() || type.isNumberLiteral())
+        return type.value;
+    return UNKNOWN;
+}
+/** A value a template or a `+` can put in a string as JavaScript would, and the same on every build. */
+function isTextPart(v) {
+    return typeof v === 'string' || typeof v === 'number' || typeof v === 'boolean';
+}
+export function propertyName(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name))
+        return name.text;
+    return null;
+}
+/** An object literal's property, by name. */
+export function objectProperty(obj, name) {
+    for (const prop of obj.properties) {
+        if (ts.isPropertyAssignment(prop) && propertyName(prop.name) === name)
+            return prop.initializer;
+        if (ts.isShorthandPropertyAssignment(prop) && prop.name.text === name)
+            return prop.name;
+    }
+    return undefined;
+}
+/** A JSX element's attribute expression (`true` for a bare attribute), by name. */
+export function jsxAttribute(el, name) {
+    for (const attr of el.attributes.properties) {
+        if (ts.isJsxAttribute(attr) && attr.name.getText() === name) {
+            if (!attr.initializer)
+                return true;
+            if (ts.isStringLiteral(attr.initializer))
+                return attr.initializer;
+            if (ts.isJsxExpression(attr.initializer))
+                return attr.initializer.expression;
+            return undefined;
+        }
+    }
+    return undefined;
+}
+export function hasJsxAttribute(el, name) {
+    return el.attributes.properties.some(a => ts.isJsxAttribute(a) && a.name.getText() === name);
+}
+/**
+ * The label a JSX element's own children show: its direct text, and for an
+ * expression that is not static (`{busy ? 'Saving…' : 'Save'}`) its resting
+ * label, the last alternative. Nested elements (icons, badges) are not read:
+ * their text is not the control's name.
+ */
+export function jsxText(checker, node) {
+    const parts = [];
+    const children = ts.isJsxElement(node) ? node.children : ts.isJsxFragment(node) ? node.children : [];
+    for (const n of children) {
+        if (ts.isJsxText(n))
+            parts.push(n.text);
+        else if (ts.isJsxExpression(n) && n.expression) {
+            const v = evaluate(checker, n.expression);
+            if (typeof v === 'string' || typeof v === 'number')
+                parts.push(String(v));
+            else {
+                const literals = stringLiterals(n.expression);
+                if (literals.length)
+                    parts.push(literals[literals.length - 1]);
+            }
+        }
+        else if (ts.isJsxFragment(n))
+            parts.push(jsxText(checker, n));
+    }
+    return parts.join(' ').replace(/\s+/g, ' ').trim();
+}
+/** `voices.detail.preview-save-sound` → `Preview save sound`: a name when the code gives none. */
+export function humanizeId(id) {
+    const last = id.split('.').pop() ?? id;
+    const words = last
+        .replace(/([a-z0-9])([A-Z])/g, '$1 $2')
+        .replace(/[-_]/g, ' ')
+        .trim()
+        .toLowerCase();
+    return words ? words[0].toUpperCase() + words.slice(1) : id;
+}
+/** Every string literal in an expression: the words a conditional title or description can show. */
+export function stringLiterals(expr) {
+    const out = [];
+    const visit = (n) => {
+        if (ts.isStringLiteral(n) || ts.isNoSubstitutionTemplateLiteral(n)) {
+            // Not a comparison operand (`scope === 'extended'`): only the values shown.
+            const parent = n.parent;
+            if (parent && ts.isBinaryExpression(parent) && isComparison(parent.operatorToken.kind))
+                return;
+            out.push(n.text);
+        }
+        ts.forEachChild(n, visit);
+    };
+    if (expr)
+        visit(expr);
+    return [...new Set(out.map(s => s.trim()).filter(Boolean))];
+}
+export function isComparison(kind) {
+    return (kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+        kind === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+        kind === ts.SyntaxKind.EqualsEqualsToken ||
+        kind === ts.SyntaxKind.ExclamationEqualsToken);
+}
+//# sourceMappingURL=program.js.map

package/dist/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,QAAgB,EAChB,SAA6B,EAC7B,UAAuC,IAAI,GAAG,EAAE;IAEhD,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC;QACtE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;QACjI,IAAI,CAAC,aAAa,GAAG,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE;YACpE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,IAAI,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC;gBACxD,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAC7E,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;QAC/B,SAAS,EAAE,CAAC,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,OAAO;QACP,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,IAAI;KACL,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC;IACvB,OAAO;QACL,OAAO;QACP,OAAO;QACP,IAAI;QACJ,SAAS,EAAE,IAAI,CAAC,EAAE,CAChB,CAAC,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QACvG,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,CAAC,SAAS,CAAC,CAAC;AAGxD,oDAAoD;AACpD,MAAM,UAAU,MAAM,CAAC,IAAmB;IACxC,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/B,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QACpB,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC3B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACzB,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAC/B,CAAC;QACD,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,aAAa,CAAC,OAAuB,EAAE,IAAa;IAClE,IAAI,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,MAAM,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,gBAAgB,CAAC,OAAuB,EAAE,EAAiB;IACzE,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACrG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAkD;IAC1E,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;CAC5C,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAuB,EAAE,IAA+B,EAAE,KAAK,GAAG,CAAC;IAC1F,oEAAoE;IACpE,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClF,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IACnE,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;;oBAC1C,OAAO,OAAO,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,IAAI,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChF,CAAC;iBAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChE,CAAC;iBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7D,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;oBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YAC5D,OAAQ,IAAgC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC;YACtC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,iEAAiE;IACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC;QAC1E,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IAClD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QACjF,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,GAAG,KAAK,CAAC;QAC/E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;YACrG,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,OAAuB,EAAE,CAAgB;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,eAAe,EAAE,IAAI,IAAI,CAAC,eAAe,EAAE;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACxE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wGAAwG;AACxG,SAAS,UAAU,CAAC,CAAY;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAqB;IAChD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,cAAc,CAAC,GAA+B,EAAE,IAAY;IAC1E,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QAC/F,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC1F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAID,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,EAAc,EAAE,IAAY;IACvD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,IAAI,CAAC,IAAI,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YACnC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC,WAAW,CAAC;YAClE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;YAC7E,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAc,EAAE,IAAY;IAC1D,OAAO,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,OAAuB,EAAE,IAAa;IAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACnC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;iBACrE,CAAC;gBACJ,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC9C,IAAI,QAAQ,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,UAAU,CAAC,EAAU;IACnC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI;SACf,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE;SACN,WAAW,EAAE,CAAC;IACjB,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,cAAc,CAAC,IAAyB;IACtD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,4EAA4E;YAC5E,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YACxB,IAAI,MAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC/F,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,IAAI,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAmB;IAC9C,OAAO,CACL,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAC9C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;QACnD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QACxC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAC9C,CAAC;AACJ,CAAC"}

package/dist/recipes.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Recipes a room declares (`RoomCatalog.recipes`, ADR-0226 §2.6): tasks only
+ * the room knows, written in its own words, whose references to its entries
+ * become the tools that carry each step out. The generator infers no recipe
+ * from what entries are called.
+ */
+import { type KnowledgeRecipe, type RoomCatalogData, type RoomRecipe } from '@ouispec/bindings';
+/** A room entry's tool name: `<room>_<entry>`. */
+export declare const roomToolName: (room: string, entry: string) => string;
+/** A declared recipe with its references resolved, or what it names that the room does not have. */
+export declare function resolveRecipe(catalog: RoomCatalogData, recipe: RoomRecipe): {
+    recipe: KnowledgeRecipe;
+    problems: string[];
+};
+/** Every declared recipe's problems. */
+export declare function recipeProblems(catalog: RoomCatalogData): string[];
+//# sourceMappingURL=recipes.d.ts.map

package/dist/recipes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recipes.d.ts","sourceRoot":"","sources":["../src/recipes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAKL,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAI3B,kDAAkD;AAClD,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,EAAE,OAAO,MAAM,WAAiC,CAAC;AAE1F,oGAAoG;AACpG,wBAAgB,aAAa,CAC3B,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,UAAU,GACjB;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAoCjD;AAED,wCAAwC;AACxC,wBAAgB,cAAc,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,EAAE,CAEjE"}

package/dist/recipes.js

@@ -0,0 +1,48 @@
+/**
+ * Recipes a room declares (`RoomCatalog.recipes`, ADR-0226 §2.6): tasks only
+ * the room knows, written in its own words, whose references to its entries
+ * become the tools that carry each step out. The generator infers no recipe
+ * from what entries are called.
+ */
+import { isKeyframeable, ROOM_RUN_COMMAND_ID, ROOM_SET_PROPERTIES_ID, toolName, } from '@ouispec/bindings';
+const REFERENCE = /\{(room|keyframeable|action:[^}]+|command:[^}]+|field:[^}]+)\}/g;
+/** A room entry's tool name: `<room>_<entry>`. */
+export const roomToolName = (room, entry) => toolName(`${room}.${entry}`);
+/** A declared recipe with its references resolved, or what it names that the room does not have. */
+export function resolveRecipe(catalog, recipe) {
+    const problems = [];
+    const has = (kind, id) => kind === 'action'
+        ? catalog.actions.some(a => a.id === id)
+        : kind === 'command'
+            ? catalog.commands.some(c => c.id === id && c.status === 'available')
+            : catalog.fields.some(f => f.id === id);
+    const missing = (kind, id) => problems.push(`${catalog.room}’s recipe "${recipe.name}" names ${kind} ${id}, which the room does not have`);
+    const resolve = (text) => text.replace(REFERENCE, (_, ref) => {
+        if (ref === 'room')
+            return catalog.title;
+        if (ref === 'keyframeable')
+            return catalog.fields
+                .filter(isKeyframeable)
+                .map(f => f.id)
+                .join(', ');
+        const [kind, id] = [ref.slice(0, ref.indexOf(':')), ref.slice(ref.indexOf(':') + 1)];
+        if (!has(kind, id)) {
+            missing(kind === 'command' ? 'available command' : kind, id);
+            return ref;
+        }
+        if (kind === 'action')
+            return roomToolName(catalog.room, id);
+        if (kind === 'command')
+            return `${roomToolName(catalog.room, ROOM_RUN_COMMAND_ID)} ${id}`;
+        return `${roomToolName(catalog.room, ROOM_SET_PROPERTIES_ID)} ${id}`;
+    });
+    return {
+        recipe: { name: resolve(recipe.name), trigger: resolve(recipe.trigger), steps: recipe.steps.map(resolve) },
+        problems,
+    };
+}
+/** Every declared recipe's problems. */
+export function recipeProblems(catalog) {
+    return (catalog.recipes ?? []).flatMap(r => resolveRecipe(catalog, r).problems);
+}
+//# sourceMappingURL=recipes.js.map

package/dist/recipes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recipes.js","sourceRoot":"","sources":["../src/recipes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,sBAAsB,EACtB,QAAQ,GAIT,MAAM,mBAAmB,CAAC;AAE3B,MAAM,SAAS,GAAG,iEAAiE,CAAC;AAEpF,kDAAkD;AAClD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;AAE1F,oGAAoG;AACpG,MAAM,UAAU,aAAa,CAC3B,OAAwB,EACxB,MAAkB;IAElB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,IAAoC,EAAE,EAAU,EAAE,EAAE,CAC/D,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACxC,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;YACrE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE,CAC3C,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,cAAc,MAAM,CAAC,IAAI,WAAW,IAAI,IAAI,EAAE,gCAAgC,CAAC,CAAC;IAE/G,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAC/B,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAW,EAAE,EAAE;QACzC,IAAI,GAAG,KAAK,MAAM;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC;QACzC,IAAI,GAAG,KAAK,cAAc;YACxB,OAAO,OAAO,CAAC,MAAM;iBAClB,MAAM,CAAC,cAAc,CAAC;iBACtB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACd,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAGlF,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7D,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1F,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEL,OAAO;QACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;QAC1G,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,cAAc,CAAC,OAAwB;IACrD,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAClF,CAAC"}

package/dist/tier2.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Tier 2 (ADR-0226 §2.3): each mapping of a third-party design system the app
+ * does not own becomes a bound module in `<out>/bound/`, and the generator
+ * reads every use of a bound control as it reads a tier 1 control.
+ *
+ * - `loadMappings` reads and checks each mapping the config names.
+ * - `boundModuleSource` is the module emitted for one: a wrapper per mapped
+ *   control, built from `@ouispec/bindings/react`, under the
+ *   package's own export names, with every other member of a namespace kept.
+ * - `checkMappingTypes` holds each mapping to the package's types: every
+ *   export it names exists, and every prop it names is one the component takes.
+ */
+import { type ControlDescriptor, type Tier2Control, type Tier2Mapping } from '@ouispec/bindings';
+import type { Finding } from './analyze.js';
+import { type GeneratorConfig } from './config.js';
+import type { Source } from './program.js';
+/** Where the bound wrappers' runtime is imported from, in every emitted module. */
+export declare const BINDINGS_REACT_MODULE = "@ouispec/bindings/react";
+/** What adds `agent` to JSX for an app with bound modules, imported by every emitted module. */
+export declare const BINDINGS_JSX_MODULE = "@ouispec/bindings/jsx";
+/** The directory under `out` the bound modules go in. */
+export declare const BOUND_DIR = "bound";
+/** One part of a mapped control, as the analyzer reads a use of it. */
+export interface Tier2PartInfo {
+    /** The mapped control's name in the mapping (`Select`). */
+    control: string;
+    part: 'root' | 'item';
+    /** The control's mapping. */
+    mapping: Tier2Control;
+}
+export interface LoadedMapping {
+    /** The mapping file, relative to the app root, for messages. */
+    file: string;
+    package: string;
+    /** How the analyzer names the bound module, where a tier 1 package name would be. */
+    key: string;
+    /** The bound module's file name, without extension (`mantine-core`). */
+    slug: string;
+    /** The bound module, absolute. */
+    module: string;
+    /** Its control table, absolute. */
+    table: string;
+    mapping: Tier2Mapping;
+    /** Each part's export path (`Select`, `Select.Root`, `Tabs.Tab`) → how the analyzer reads its uses. */
+    descriptors: ReadonlyMap<string, ControlDescriptor>;
+    parts: ReadonlyMap<string, Tier2PartInfo>;
+    /** The package's exports an app must import from the bound module instead: each part's first segment. */
+    exports: ReadonlySet<string>;
+}
+/** `@mantine/core` → `mantine-core`: the bound module's name. */
+export declare function boundModuleSlug(pkg: string): string;
+/**
+ * Every mapping `oui.config.json` names, read and checked against the
+ * contract and against each other: one mapping per package, never a package
+ * also listed as a tier 1 design system, and every kind a built-in one or
+ * one a design system registers.
+ */
+export declare function loadMappings(config: GeneratorConfig): {
+    mappings: LoadedMapping[];
+    errors: Finding[];
+};
+/** The bound module emitted for one mapping: deterministic, the same mapping always gives the same bytes. */
+export declare function boundModuleSource(loaded: LoadedMapping): string;
+/** The control table emitted beside the bound module: it ships as a tier 1 package's does. */
+export declare function boundTableSource(loaded: LoadedMapping): string;
+/**
+ * Each mapping held to its package's types, through its bound module as the
+ * app compiles it: every diagnostic in the module (an export the package does
+ * not have, a package the app cannot resolve), and every prop the mapping
+ * names that its component does not take. A prop the types cannot decide (a
+ * polymorphic component's) is left to the conformance kit.
+ */
+export declare function checkMappingTypes(source: Source, mappings: readonly LoadedMapping[]): Finding[];
+//# sourceMappingURL=tier2.d.ts.map

package/dist/tier2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tier2.d.ts","sourceRoot":"","sources":["../src/tier2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,OAAO,EAQL,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,YAAY,EAClB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAe,KAAK,eAAe,EAAE,MAAM,aAAa,CAAC;AAEhE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,mFAAmF;AACnF,eAAO,MAAM,qBAAqB,4BAA4B,CAAC;AAE/D,gGAAgG;AAChG,eAAO,MAAM,mBAAmB,0BAA0B,CAAC;AAE3D,yDAAyD;AACzD,eAAO,MAAM,SAAS,UAAU,CAAC;AAEjC,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,6BAA6B;IAC7B,OAAO,EAAE,YAAY,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,qFAAqF;IACrF,GAAG,EAAE,MAAM,CAAC;IACZ,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,YAAY,CAAC;IACtB,uGAAuG;IACvG,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACpD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1C,yGAAyG;IACzG,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9B;AAED,iEAAiE;AACjE,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMnD;AAMD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG;IAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAA;CAAE,CA0FtG;AASD,6GAA6G;AAC7G,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAkE/D;AAED,8FAA8F;AAC9F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAE9D;AAkCD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,aAAa,EAAE,GAAG,OAAO,EAAE,CAmE/F"}