@avijs/compiler 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Christopher Robin Chase
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,13 @@
-# Temporary Holding Version
+# @avijs/compiler
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Optional build-time checks and manifests for Avi.js apps (avi-compile).
+
+```sh
+npm install @avijs/compiler
+```
+
+Part of [Avi.js](https://github.com/chrischase011/avi-js), a TypeScript framework for Node.js with
+modules, controllers and dependency injection, without `reflect-metadata`. See the
+[tutorial](https://github.com/chrischase011/avi-js/blob/main/docs/tutorial/README.md) to get started.
+
+Requires Node.js 22.12 or newer. MIT licensed.

package/dist/bin.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=bin.d.ts.map

package/dist/bin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bin.d.ts","sourceRoot":"","sources":["../src/bin.ts"],"names":[],"mappings":""}

package/dist/bin.js

@@ -0,0 +1,4 @@
+#!/usr/bin/env node
+import { main } from './cli.js';
+process.exitCode = await main(process.argv.slice(2));
+//# sourceMappingURL=bin.js.map

package/dist/bin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bin.js","sourceRoot":"","sources":["../src/bin.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,OAAO,CAAC,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/check.d.ts

@@ -0,0 +1,15 @@
+export interface Diagnostic {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+    readonly severity: 'error' | 'warning';
+    /** AVI001 too few, AVI002 not checkable, AVI003 unknown token, AVI004 wrong type. */
+    readonly code: string;
+    readonly message: string;
+}
+/**
+ * Type-checks every `static inject` list in a TypeScript project against its class constructor.
+ * Decorated classes get this from the compiler already; this covers undecorated ones too.
+ */
+export declare function checkInjectLists(project: string): Diagnostic[];
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,EAAE,CA0B9D"}

package/dist/check.js

@@ -0,0 +1,102 @@
+import path from 'node:path';
+import ts from 'typescript';
+/**
+ * Type-checks every `static inject` list in a TypeScript project against its class constructor.
+ * Decorated classes get this from the compiler already; this covers undecorated ones too.
+ */
+export function checkInjectLists(project) {
+    const config = ts.getParsedCommandLineOfConfigFile(path.resolve(project), undefined, {
+        ...ts.sys,
+        onUnRecoverableConfigFileDiagnostic: (diagnostic) => {
+            throw new Error(ts.flattenDiagnosticMessageText(diagnostic.messageText, '\n'));
+        },
+    });
+    if (!config)
+        throw new Error(`Cannot read ${project}`);
+    const program = ts.createProgram({ rootNames: config.fileNames, options: config.options });
+    const checker = program.getTypeChecker();
+    const roots = new Set(config.fileNames.map((file) => path.resolve(file)));
+    const diagnostics = [];
+    for (const source of program.getSourceFiles()) {
+        if (source.isDeclarationFile || !roots.has(path.resolve(source.fileName)))
+            continue;
+        const visit = (node) => {
+            if (ts.isClassLike(node))
+                checkClass(node, source, checker, diagnostics);
+            ts.forEachChild(node, visit);
+        };
+        visit(source);
+    }
+    return diagnostics.sort((a, b) => a.file === b.file ? a.line - b.line || a.column - b.column : a.file.localeCompare(b.file));
+}
+function checkClass(node, source, checker, out) {
+    const inject = node.members.find((member) => ts.isPropertyDeclaration(member) &&
+        (ts.getCombinedModifierFlags(member) & ts.ModifierFlags.Static) !== 0 &&
+        member.name.getText(source) === 'inject');
+    if (!inject)
+        return;
+    const className = node.name?.text ?? '(anonymous class)';
+    const report = (at, severity, code, message) => {
+        const { line, character } = source.getLineAndCharacterOfPosition(at.getStart(source));
+        out.push({
+            file: source.fileName,
+            line: line + 1,
+            column: character + 1,
+            severity,
+            code,
+            message,
+        });
+    };
+    const list = unwrap(inject.initializer);
+    if (!list || !ts.isArrayLiteralExpression(list)) {
+        report(inject, 'warning', 'AVI002', `${className}.inject is not an array literal and cannot be checked`);
+        return;
+    }
+    if (list.elements.some(ts.isSpreadElement)) {
+        report(list, 'warning', 'AVI002', `${className}.inject uses a spread and cannot be checked`);
+        return;
+    }
+    const ctor = node.members.find(ts.isConstructorDeclaration);
+    const params = ctor?.parameters ?? ts.factory.createNodeArray();
+    const required = params.filter((p) => !p.questionToken && !p.initializer && !p.dotDotDotToken).length;
+    if (list.elements.length < required) {
+        report(list, 'error', 'AVI001', `${className} needs ${String(required)} constructor arguments but inject lists ${String(list.elements.length)}`);
+    }
+    params.forEach((param, i) => {
+        const element = list.elements[i];
+        if (!element || param.dotDotDotToken)
+            return;
+        const provided = tokenType(element, checker);
+        if (!provided) {
+            report(element, 'warning', 'AVI003', `Cannot tell what ${element.getText(source)} resolves to`);
+            return;
+        }
+        const expected = checker.getTypeAtLocation(param);
+        if (!checker.isTypeAssignableTo(provided, expected)) {
+            report(element, 'error', 'AVI004', `${className}.inject[${String(i)}] provides ${checker.typeToString(provided)}, but parameter "${param.name.getText(source)}" expects ${checker.typeToString(expected)}`);
+        }
+    });
+}
+function unwrap(expression) {
+    let current = expression;
+    while (current &&
+        (ts.isAsExpression(current) ||
+            ts.isSatisfiesExpression(current) ||
+            ts.isParenthesizedExpression(current) ||
+            ts.isTypeAssertionExpression(current))) {
+        current = current.expression;
+    }
+    return current;
+}
+/** A class token resolves to its instance type; an `InjectionToken<T>` to `T`. */
+function tokenType(element, checker) {
+    const type = checker.getTypeAtLocation(element);
+    const construct = type.getConstructSignatures()[0];
+    if (construct)
+        return construct.getReturnType();
+    if (type.getSymbol()?.getName() === 'InjectionToken') {
+        return checker.getTypeArguments(type)[0];
+    }
+    return undefined;
+}
+//# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,MAAM,GAAG,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE;QACnF,GAAG,EAAE,CAAC,GAAG;QACT,mCAAmC,EAAE,CAAC,UAAU,EAAE,EAAE;YAClD,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QACjF,CAAC;KACF,CAAC,CAAC;IACH,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,OAAO,EAAE,CAAC,CAAC;IAEvD,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAS;QACpF,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;YACzE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,MAAM,CAAC,CAAC;IAChB,CAAC;IAED,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/B,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAA6B,EAC7B,MAAqB,EACrB,OAAuB,EACvB,GAAiB;IAEjB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAM,EAAoC,EAAE,CAC3C,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CAC3C,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO;IAEpB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,mBAAmB,CAAC;IACzD,MAAM,MAAM,GAAG,CAAC,EAAW,EAAE,QAAgC,EAAE,IAAY,EAAE,OAAe,EAAE,EAAE;QAC9F,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,6BAA6B,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACtF,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,MAAM,CAAC,QAAQ;YACrB,IAAI,EAAE,IAAI,GAAG,CAAC;YACd,MAAM,EAAE,SAAS,GAAG,CAAC;YACrB,QAAQ;YACR,IAAI;YACJ,OAAO;SACR,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,CACJ,MAAM,EACN,SAAS,EACT,QAAQ,EACR,GAAG,SAAS,uDAAuD,CACpE,CAAC;QACF,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,SAAS,6CAA6C,CAAC,CAAC;QAC7F,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,OAAO,CAAC,eAAe,EAA2B,CAAC;IACzF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,cAAc,CAC/D,CAAC,MAAM,CAAC;IACT,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;QACpC,MAAM,CACJ,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,GAAG,SAAS,UAAU,MAAM,CAAC,QAAQ,CAAC,2CAA2C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAChH,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,cAAc;YAAE,OAAO;QAC7C,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CACJ,OAAO,EACP,SAAS,EACT,QAAQ,EACR,oBAAoB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAC1D,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;YACpD,MAAM,CACJ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,GAAG,SAAS,WAAW,MAAM,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CACxK,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,UAAqC;IACnD,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OACE,OAAO;QACP,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;YACrC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,EACxC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kFAAkF;AAClF,SAAS,SAAS,CAAC,OAAsB,EAAE,OAAuB;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,aAAa,EAAE,CAAC;IAChD,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,gBAAgB,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+export declare function main(argv: readonly string[]): Promise<number>;
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAUA,wBAAsB,IAAI,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAuCnE"}

package/dist/cli.js

@@ -0,0 +1,46 @@
+import { parseArgs } from 'node:util';
+import { checkInjectLists } from './check.js';
+import { writeManifest } from './manifest.js';
+const USAGE = `Usage:
+  avi-compile check [--project tsconfig.json]
+      Type-check every static inject list against its constructor.
+  avi-compile manifest <entry.js> [--export AppModule] [--out avi.manifest.json]
+      Describe the app's modules, providers and routes without starting it.`;
+export async function main(argv) {
+    const [command, ...rest] = argv;
+    const { values, positionals } = parseArgs({
+        args: [...rest],
+        allowPositionals: true,
+        options: {
+            project: { type: 'string', default: 'tsconfig.json' },
+            export: { type: 'string', default: 'AppModule' },
+            out: { type: 'string', default: 'avi.manifest.json' },
+        },
+    });
+    if (command === 'check') {
+        const diagnostics = checkInjectLists(values.project);
+        for (const d of diagnostics)
+            console.log(format(d));
+        const errors = diagnostics.filter((d) => d.severity === 'error').length;
+        console.log(`${String(errors)} error(s), ${String(diagnostics.length - errors)} warning(s) in static inject lists`);
+        return errors > 0 ? 1 : 0;
+    }
+    if (command === 'manifest' && positionals[0]) {
+        const description = await writeManifest({
+            entry: positionals[0],
+            exportName: values.export,
+            out: values.out,
+        });
+        console.log(`Wrote ${values.out}: ${String(description.modules.length)} modules, ${String(description.routes.length)} routes`);
+        for (const controller of description.dynamic) {
+            console.log(`note: ${controller} creates its routes at runtime; they are not listed`);
+        }
+        return 0;
+    }
+    console.error(USAGE);
+    return 2;
+}
+function format(d) {
+    return `${d.file}:${String(d.line)}:${String(d.column)} ${d.severity} ${d.code}: ${d.message}`;
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,KAAK,GAAG;;;;4EAI8D,CAAC;AAE7E,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,IAAuB;IAChD,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;QACxC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QACf,gBAAgB,EAAE,IAAI;QACtB,OAAO,EAAE;YACP,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE;YACrD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE;YAChD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE;SACtD;KACF,CAAC,CAAC;IAEH,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,WAAW;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QACxE,OAAO,CAAC,GAAG,CACT,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,oCAAoC,CACvG,CAAC;QACF,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,OAAO,KAAK,UAAU,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC;YACtC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;YACrB,UAAU,EAAE,MAAM,CAAC,MAAM;YACzB,GAAG,EAAE,MAAM,CAAC,GAAG;SAChB,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CACT,SAAS,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAClH,CAAC;QACF,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,SAAS,UAAU,qDAAqD,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,CAAa;IAC3B,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;AACjG,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+export { checkInjectLists } from './check.js';
+export type { Diagnostic } from './check.js';
+export { main } from './cli.js';
+export { serializeManifest, writeManifest } from './manifest.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { checkInjectLists } from './check.js';
+export { main } from './cli.js';
+export { serializeManifest, writeManifest } from './manifest.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC"}

package/dist/manifest.d.ts

@@ -0,0 +1,13 @@
+import { type AppDescription } from '@avijs/core';
+/** Serializes a description the same way every time, so manifests diff cleanly. */
+export declare function serializeManifest(description: AppDescription): string;
+/**
+ * Imports the compiled entry module, describes the exported root module and writes the
+ * manifest. Importing runs the module's top-level code, but no provider is created.
+ */
+export declare function writeManifest(options: {
+    entry: string;
+    exportName?: string;
+    out: string;
+}): Promise<AppDescription>;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,cAAc,EAAkB,MAAM,aAAa,CAAC;AAK/E,mFAAmF;AACnF,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,cAAc,GAAG,MAAM,CAErE;AAED;;;GAGG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,OAAO,CAAC,cAAc,CAAC,CAa1B"}

package/dist/manifest.js

@@ -0,0 +1,24 @@
+import { describeApp } from '@avijs/core';
+import { writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { pathToFileURL } from 'node:url';
+/** Serializes a description the same way every time, so manifests diff cleanly. */
+export function serializeManifest(description) {
+    return `${JSON.stringify(description, null, 2)}\n`;
+}
+/**
+ * Imports the compiled entry module, describes the exported root module and writes the
+ * manifest. Importing runs the module's top-level code, but no provider is created.
+ */
+export async function writeManifest(options) {
+    const exportName = options.exportName ?? 'AppModule';
+    const loaded = (await import(pathToFileURL(path.resolve(options.entry)).href));
+    const root = loaded[exportName];
+    if (root === undefined) {
+        throw new Error(`${options.entry} has no export named ${exportName}`);
+    }
+    const description = describeApp(root);
+    await writeFile(options.out, serializeManifest(description));
+    return description;
+}
+//# sourceMappingURL=manifest.js.map

package/dist/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAuC,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,mFAAmF;AACnF,MAAM,UAAU,iBAAiB,CAAC,WAA2B;IAC3D,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAInC;IACC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,WAAW,CAAC;IACrD,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAG5E,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,wBAAwB,UAAU,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,WAAW,GAAG,WAAW,CAAC,IAAiB,CAAC,CAAC;IACnD,MAAM,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/package.json

@@ -1,6 +1,56 @@
 {
   "name": "@avijs/compiler",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "description": "Optional build-time checks and manifests for Avi.js apps.",
+  "keywords": [
+    "avi",
+    "avi.js",
+    "compiler",
+    "typescript",
+    "manifest"
+  ],
+  "license": "MIT",
+  "author": "Christopher Robin Chase",
+  "homepage": "https://github.com/chrischase011/avi-js#readme",
+  "bugs": {
+    "url": "https://github.com/chrischase011/avi-js/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/chrischase011/avi-js.git",
+    "directory": "packages/compiler"
+  },
+  "type": "module",
+  "engines": {
+    "node": ">=22.12"
+  },
+  "sideEffects": false,
+  "bin": {
+    "avi-compile": "./dist/bin.js"
+  },
+  "exports": {
+    ".": {
+      "@avijs/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@avijs/core": "0.1.0"
+  },
+  "peerDependencies": {
+    "typescript": ">=5.8"
+  },
+  "scripts": {
+    "typecheck": "tsc -p tsconfig.json"
+  }
 }

package/src/bin.ts

@@ -0,0 +1,4 @@
+#!/usr/bin/env node
+import { main } from './cli.js';
+
+process.exitCode = await main(process.argv.slice(2));

package/src/check.ts

@@ -0,0 +1,150 @@
+import path from 'node:path';
+import ts from 'typescript';
+
+export interface Diagnostic {
+  readonly file: string;
+  readonly line: number;
+  readonly column: number;
+  readonly severity: 'error' | 'warning';
+  /** AVI001 too few, AVI002 not checkable, AVI003 unknown token, AVI004 wrong type. */
+  readonly code: string;
+  readonly message: string;
+}
+
+/**
+ * Type-checks every `static inject` list in a TypeScript project against its class constructor.
+ * Decorated classes get this from the compiler already; this covers undecorated ones too.
+ */
+export function checkInjectLists(project: string): Diagnostic[] {
+  const config = ts.getParsedCommandLineOfConfigFile(path.resolve(project), undefined, {
+    ...ts.sys,
+    onUnRecoverableConfigFileDiagnostic: (diagnostic) => {
+      throw new Error(ts.flattenDiagnosticMessageText(diagnostic.messageText, '\n'));
+    },
+  });
+  if (!config) throw new Error(`Cannot read ${project}`);
+
+  const program = ts.createProgram({ rootNames: config.fileNames, options: config.options });
+  const checker = program.getTypeChecker();
+  const roots = new Set(config.fileNames.map((file) => path.resolve(file)));
+  const diagnostics: Diagnostic[] = [];
+
+  for (const source of program.getSourceFiles()) {
+    if (source.isDeclarationFile || !roots.has(path.resolve(source.fileName))) continue;
+    const visit = (node: ts.Node): void => {
+      if (ts.isClassLike(node)) checkClass(node, source, checker, diagnostics);
+      ts.forEachChild(node, visit);
+    };
+    visit(source);
+  }
+
+  return diagnostics.sort((a, b) =>
+    a.file === b.file ? a.line - b.line || a.column - b.column : a.file.localeCompare(b.file),
+  );
+}
+
+function checkClass(
+  node: ts.ClassLikeDeclaration,
+  source: ts.SourceFile,
+  checker: ts.TypeChecker,
+  out: Diagnostic[],
+): void {
+  const inject = node.members.find(
+    (member): member is ts.PropertyDeclaration =>
+      ts.isPropertyDeclaration(member) &&
+      (ts.getCombinedModifierFlags(member) & ts.ModifierFlags.Static) !== 0 &&
+      member.name.getText(source) === 'inject',
+  );
+  if (!inject) return;
+
+  const className = node.name?.text ?? '(anonymous class)';
+  const report = (at: ts.Node, severity: Diagnostic['severity'], code: string, message: string) => {
+    const { line, character } = source.getLineAndCharacterOfPosition(at.getStart(source));
+    out.push({
+      file: source.fileName,
+      line: line + 1,
+      column: character + 1,
+      severity,
+      code,
+      message,
+    });
+  };
+
+  const list = unwrap(inject.initializer);
+  if (!list || !ts.isArrayLiteralExpression(list)) {
+    report(
+      inject,
+      'warning',
+      'AVI002',
+      `${className}.inject is not an array literal and cannot be checked`,
+    );
+    return;
+  }
+  if (list.elements.some(ts.isSpreadElement)) {
+    report(list, 'warning', 'AVI002', `${className}.inject uses a spread and cannot be checked`);
+    return;
+  }
+
+  const ctor = node.members.find(ts.isConstructorDeclaration);
+  const params = ctor?.parameters ?? ts.factory.createNodeArray<ts.ParameterDeclaration>();
+  const required = params.filter(
+    (p) => !p.questionToken && !p.initializer && !p.dotDotDotToken,
+  ).length;
+  if (list.elements.length < required) {
+    report(
+      list,
+      'error',
+      'AVI001',
+      `${className} needs ${String(required)} constructor arguments but inject lists ${String(list.elements.length)}`,
+    );
+  }
+
+  params.forEach((param, i) => {
+    const element = list.elements[i];
+    if (!element || param.dotDotDotToken) return;
+    const provided = tokenType(element, checker);
+    if (!provided) {
+      report(
+        element,
+        'warning',
+        'AVI003',
+        `Cannot tell what ${element.getText(source)} resolves to`,
+      );
+      return;
+    }
+    const expected = checker.getTypeAtLocation(param);
+    if (!checker.isTypeAssignableTo(provided, expected)) {
+      report(
+        element,
+        'error',
+        'AVI004',
+        `${className}.inject[${String(i)}] provides ${checker.typeToString(provided)}, but parameter "${param.name.getText(source)}" expects ${checker.typeToString(expected)}`,
+      );
+    }
+  });
+}
+
+function unwrap(expression: ts.Expression | undefined): ts.Expression | undefined {
+  let current = expression;
+  while (
+    current &&
+    (ts.isAsExpression(current) ||
+      ts.isSatisfiesExpression(current) ||
+      ts.isParenthesizedExpression(current) ||
+      ts.isTypeAssertionExpression(current))
+  ) {
+    current = current.expression;
+  }
+  return current;
+}
+
+/** A class token resolves to its instance type; an `InjectionToken<T>` to `T`. */
+function tokenType(element: ts.Expression, checker: ts.TypeChecker): ts.Type | undefined {
+  const type = checker.getTypeAtLocation(element);
+  const construct = type.getConstructSignatures()[0];
+  if (construct) return construct.getReturnType();
+  if (type.getSymbol()?.getName() === 'InjectionToken') {
+    return checker.getTypeArguments(type as ts.TypeReference)[0];
+  }
+  return undefined;
+}

package/src/cli.ts

@@ -0,0 +1,54 @@
+import { parseArgs } from 'node:util';
+import { checkInjectLists, type Diagnostic } from './check.js';
+import { writeManifest } from './manifest.js';
+
+const USAGE = `Usage:
+  avi-compile check [--project tsconfig.json]
+      Type-check every static inject list against its constructor.
+  avi-compile manifest <entry.js> [--export AppModule] [--out avi.manifest.json]
+      Describe the app's modules, providers and routes without starting it.`;
+
+export async function main(argv: readonly string[]): Promise<number> {
+  const [command, ...rest] = argv;
+  const { values, positionals } = parseArgs({
+    args: [...rest],
+    allowPositionals: true,
+    options: {
+      project: { type: 'string', default: 'tsconfig.json' },
+      export: { type: 'string', default: 'AppModule' },
+      out: { type: 'string', default: 'avi.manifest.json' },
+    },
+  });
+
+  if (command === 'check') {
+    const diagnostics = checkInjectLists(values.project);
+    for (const d of diagnostics) console.log(format(d));
+    const errors = diagnostics.filter((d) => d.severity === 'error').length;
+    console.log(
+      `${String(errors)} error(s), ${String(diagnostics.length - errors)} warning(s) in static inject lists`,
+    );
+    return errors > 0 ? 1 : 0;
+  }
+
+  if (command === 'manifest' && positionals[0]) {
+    const description = await writeManifest({
+      entry: positionals[0],
+      exportName: values.export,
+      out: values.out,
+    });
+    console.log(
+      `Wrote ${values.out}: ${String(description.modules.length)} modules, ${String(description.routes.length)} routes`,
+    );
+    for (const controller of description.dynamic) {
+      console.log(`note: ${controller} creates its routes at runtime; they are not listed`);
+    }
+    return 0;
+  }
+
+  console.error(USAGE);
+  return 2;
+}
+
+function format(d: Diagnostic): string {
+  return `${d.file}:${String(d.line)}:${String(d.column)} ${d.severity} ${d.code}: ${d.message}`;
+}

package/src/index.ts

@@ -0,0 +1,4 @@
+export { checkInjectLists } from './check.js';
+export type { Diagnostic } from './check.js';
+export { main } from './cli.js';
+export { serializeManifest, writeManifest } from './manifest.js';

package/src/manifest.ts

@@ -0,0 +1,32 @@
+import { describeApp, type AppDescription, type ModuleRef } from '@avijs/core';
+import { writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { pathToFileURL } from 'node:url';
+
+/** Serializes a description the same way every time, so manifests diff cleanly. */
+export function serializeManifest(description: AppDescription): string {
+  return `${JSON.stringify(description, null, 2)}\n`;
+}
+
+/**
+ * Imports the compiled entry module, describes the exported root module and writes the
+ * manifest. Importing runs the module's top-level code, but no provider is created.
+ */
+export async function writeManifest(options: {
+  entry: string;
+  exportName?: string;
+  out: string;
+}): Promise<AppDescription> {
+  const exportName = options.exportName ?? 'AppModule';
+  const loaded = (await import(pathToFileURL(path.resolve(options.entry)).href)) as Record<
+    string,
+    unknown
+  >;
+  const root = loaded[exportName];
+  if (root === undefined) {
+    throw new Error(`${options.entry} has no export named ${exportName}`);
+  }
+  const description = describeApp(root as ModuleRef);
+  await writeFile(options.out, serializeManifest(description));
+  return description;
+}