@invinite-org/chartlang-compiler 1.0.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Invinite
+
+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

@@ -0,0 +1,53 @@
+# @invinite-org/chartlang-compiler
+
+`experimental`
+
+TypeScript transformer + bundler for `.chart.ts` files. It builds deterministic
+programs, rejects unsupported language constructs, injects slot ids, extracts
+manifests, bundles ESM, and emits declaration siblings.
+
+## Install
+
+```bash
+pnpm add @invinite-org/chartlang-compiler
+```
+
+## Public surface
+
+- `compile(source, opts)` — compile a script string to module source,
+  sourcemap, manifest, and `.d.ts` text.
+- `compileFile(path, opts)` — compile one `.chart.ts` and atomically write
+  `<base>.chart.js`, `<base>.chart.manifest.json`, and `<base>.chart.d.ts`.
+- `compileProject(rootDir, opts)` — path-sorted in-memory project compile.
+- `transformAndAnalyse(source, opts)` — run AST passes without bundling.
+- Extractors: `extractCapabilities`, `extractInputs`,
+  `extractRequestedIntervals`, `extractRequiresIntervals`, and max-lookback /
+  drawing-budget helpers.
+- Errors and types: `CompileError`, `CompileDiagnostic`,
+  `CompileDiagnosticCode`, `CompiledScript`, `CompileOptions`,
+  `CompileFileOptions`, `BundleModuleOptions`, `EmitTypesOptions`.
+- Phase 4 diagnostics include `input-call-not-literal`,
+  `input-schema-not-literal`, `requires-intervals-not-literal`, and
+  `request-security-interval-not-literal`.
+
+## Minimum-viable API call
+
+```ts
+import { compile } from "@invinite-org/chartlang-compiler";
+
+const result = await compile(source, {
+    apiVersion: 1,
+    sourcePath: "indicator.chart.ts",
+});
+
+console.log(result.manifest.inputs);
+console.log(result.manifest.requestedIntervals);
+```
+
+## Docs
+
+See [`docs/spec/grammar.md`](../../docs/spec/grammar.md).
+
+## License
+
+MIT

package/dist/analysis/extractAlertConditions.d.ts

@@ -0,0 +1,33 @@
+import type { AlertConditionDefinition } from "@invinite-org/chartlang-core";
+import ts from "typescript";
+import { type CompileDiagnostic } from "../diagnostics.js";
+/**
+ * Result of extracting `defineAlertCondition({ conditions })` metadata.
+ *
+ * @since 0.5
+ * @stable
+ * @example
+ *     const r: ExtractAlertConditionsResult = {
+ *         alertConditions: [],
+ *         diagnostics: [],
+ *     };
+ *     void r;
+ */
+export type ExtractAlertConditionsResult = Readonly<{
+    alertConditions: ReadonlyArray<AlertConditionDefinition>;
+    diagnostics: ReadonlyArray<CompileDiagnostic>;
+}>;
+/**
+ * Extract literal `defineAlertCondition({ conditions: { ... } })`
+ * descriptors into manifest-ready metadata. Dynamic condition maps or
+ * dynamic descriptor fields produce error diagnostics and are omitted.
+ *
+ * @since 0.5
+ * @stable
+ * @example
+ *     // const r = extractAlertConditions(sourceFile, checker, "demo.chart.ts");
+ *     const fn: typeof extractAlertConditions = extractAlertConditions;
+ *     void fn;
+ */
+export declare function extractAlertConditions(sourceFile: ts.SourceFile, checker: ts.TypeChecker, sourcePath?: string): ExtractAlertConditionsResult;
+//# sourceMappingURL=extractAlertConditions.d.ts.map

package/dist/analysis/extractAlertConditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractAlertConditions.d.ts","sourceRoot":"","sources":["../../src/analysis/extractAlertConditions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,KAAK,iBAAiB,EAAoB,MAAM,mBAAmB,CAAC;AAG7E;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAChD,eAAe,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAC;IACzD,WAAW,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACjD,CAAC,CAAC;AAkFH;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,GAAE,MAA4B,GACzC,4BAA4B,CAuC9B"}

package/dist/analysis/extractAlertConditions.js

@@ -0,0 +1,118 @@
+// Copyright (c) 2026 Invinite. Licensed under the MIT License.
+// See the LICENSE file in the repo root for full license text.
+import ts from "typescript";
+import { createDiagnostic } from "../diagnostics.js";
+import { resolveCalleeName } from "../transformers/resolveCallee.js";
+function readPropertyName(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name)) {
+        return name.text;
+    }
+    return null;
+}
+function findConditionsInitializer(argument) {
+    for (const property of argument.properties) {
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        if (!ts.isIdentifier(property.name) || property.name.text !== "conditions")
+            continue;
+        return property.initializer;
+    }
+    return null;
+}
+function addNotLiteralDiagnostic(node, context) {
+    context.diagnostics.push(createDiagnostic({
+        severity: "error",
+        code: "alert-condition-not-literal",
+        message: "defineAlertCondition conditions must be an object literal.",
+        file: context.sourcePath,
+        node,
+        sourceFile: context.sourceFile,
+    }));
+}
+function addFieldDiagnostic(node, field, context) {
+    context.diagnostics.push(createDiagnostic({
+        severity: "error",
+        code: "alert-condition-field-not-literal",
+        message: `defineAlertCondition condition field "${field}" must be a string literal.`,
+        file: context.sourcePath,
+        node,
+        sourceFile: context.sourceFile,
+    }));
+}
+function readStringField(object, field, context) {
+    for (const property of object.properties) {
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        if (!ts.isIdentifier(property.name) || property.name.text !== field)
+            continue;
+        if (ts.isStringLiteral(property.initializer))
+            return property.initializer.text;
+        addFieldDiagnostic(property.initializer, field, context);
+        return null;
+    }
+    addFieldDiagnostic(object, field, context);
+    return null;
+}
+function readCondition(id, initializer, context) {
+    if (!ts.isObjectLiteralExpression(initializer)) {
+        addFieldDiagnostic(initializer, id, context);
+        return null;
+    }
+    const title = readStringField(initializer, "title", context);
+    const description = readStringField(initializer, "description", context);
+    const defaultMessage = readStringField(initializer, "defaultMessage", context);
+    if (title === null || description === null || defaultMessage === null)
+        return null;
+    return Object.freeze({ id, title, description, defaultMessage });
+}
+/**
+ * Extract literal `defineAlertCondition({ conditions: { ... } })`
+ * descriptors into manifest-ready metadata. Dynamic condition maps or
+ * dynamic descriptor fields produce error diagnostics and are omitted.
+ *
+ * @since 0.5
+ * @stable
+ * @example
+ *     // const r = extractAlertConditions(sourceFile, checker, "demo.chart.ts");
+ *     const fn: typeof extractAlertConditions = extractAlertConditions;
+ *     void fn;
+ */
+export function extractAlertConditions(sourceFile, checker, sourcePath = sourceFile.fileName) {
+    const alertConditions = [];
+    const diagnostics = [];
+    const context = { sourceFile, sourcePath, diagnostics };
+    const visit = (node) => {
+        if (ts.isCallExpression(node) &&
+            resolveCalleeName(node, checker) === "defineAlertCondition") {
+            const argument = node.arguments[0];
+            if (argument === undefined || !ts.isObjectLiteralExpression(argument)) {
+                addNotLiteralDiagnostic(node, context);
+                return;
+            }
+            const initializer = findConditionsInitializer(argument);
+            if (initializer === null || !ts.isObjectLiteralExpression(initializer)) {
+                addNotLiteralDiagnostic(initializer ?? argument, context);
+                return;
+            }
+            for (const property of initializer.properties) {
+                if (!ts.isPropertyAssignment(property))
+                    continue;
+                const id = readPropertyName(property.name);
+                if (id === null) {
+                    addNotLiteralDiagnostic(property.name, context);
+                    continue;
+                }
+                const condition = readCondition(id, property.initializer, context);
+                if (condition !== null)
+                    alertConditions.push(condition);
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(sourceFile, visit);
+    return Object.freeze({
+        alertConditions: Object.freeze(alertConditions.slice()),
+        diagnostics: Object.freeze(diagnostics.slice()),
+    });
+}
+//# sourceMappingURL=extractAlertConditions.js.map

package/dist/analysis/extractAlertConditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractAlertConditions.js","sourceRoot":"","sources":["../../src/analysis/extractAlertConditions.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAG/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAA0B,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAyBrE,SAAS,gBAAgB,CAAC,IAAqB;IAC3C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAAC,QAAoC;IACnE,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QACrF,OAAO,QAAQ,CAAC,WAAW,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,OAAuB;IACnE,OAAO,CAAC,WAAW,CAAC,IAAI,CACpB,gBAAgB,CAAC;QACb,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,OAAO,CAAC,UAAU;QACxB,IAAI;QACJ,UAAU,EAAE,OAAO,CAAC,UAAU;KACjC,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa,EAAE,KAAa,EAAE,OAAuB;IAC7E,OAAO,CAAC,WAAW,CAAC,IAAI,CACpB,gBAAgB,CAAC;QACb,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE,mCAAmC;QACzC,OAAO,EAAE,yCAAyC,KAAK,6BAA6B;QACpF,IAAI,EAAE,OAAO,CAAC,UAAU;QACxB,IAAI;QACJ,UAAU,EAAE,OAAO,CAAC,UAAU;KACjC,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CACpB,MAAkC,EAClC,KAAiD,EACjD,OAAuB;IAEvB,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC9E,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC;QAC/E,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAClB,EAAU,EACV,WAA0B,EAC1B,OAAuB;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,kBAAkB,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,eAAe,CAAC,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAC/E,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,IAAI,cAAc,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CAClC,UAAyB,EACzB,OAAuB,EACvB,aAAqB,UAAU,CAAC,QAAQ;IAExC,MAAM,eAAe,GAA+B,EAAE,CAAC;IACvD,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAmB,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;IAExE,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QAClC,IACI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,sBAAsB,EAC7D,CAAC;YACC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpE,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACvC,OAAO;YACX,CAAC;YACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;YACxD,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrE,uBAAuB,CAAC,WAAW,IAAI,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC1D,OAAO;YACX,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBAC5C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACjD,MAAM,EAAE,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACd,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAChD,SAAS;gBACb,CAAC;gBACD,MAAM,SAAS,GAAG,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,SAAS,KAAK,IAAI;oBAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC5D,CAAC;QACL,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAEnC,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QACvD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;KAClD,CAAC,CAAC;AACP,CAAC"}

package/dist/analysis/extractCapabilities.d.ts

@@ -0,0 +1,22 @@
+import ts from "typescript";
+type CapabilityId = "indicators" | "drawings" | "alerts" | "alertConditions";
+/**
+ * Derive the manifest `capabilities` array from a script's AST. The seed
+ * capability is determined by the structural script `kind`:
+ * `defineIndicator` → `"indicators"`, `defineDrawing` → `"drawings"`,
+ * `defineAlert` → `"alerts"`. `"alerts"` is added in addition whenever the
+ * script calls `alert(...)` from `@invinite-org/chartlang-core` —
+ * user-shadowed identifiers named `alert` are filtered out via
+ * `resolveCalleeName`. The result is deduplicated and sorted for
+ * deterministic manifest output.
+ *
+ * @since 0.1
+ * @example
+ *     // const caps = extractCapabilities(sourceFile, checker, "indicator");
+ *     // caps === ["alerts", "indicators"]
+ *     const fn: typeof extractCapabilities = extractCapabilities;
+ *     void fn;
+ */
+export declare function extractCapabilities(sourceFile: ts.SourceFile, checker: ts.TypeChecker, kind?: "indicator" | "drawing" | "alert" | "alertCondition"): ReadonlyArray<CapabilityId>;
+export {};
+//# sourceMappingURL=extractCapabilities.d.ts.map

package/dist/analysis/extractCapabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractCapabilities.d.ts","sourceRoot":"","sources":["../../src/analysis/extractCapabilities.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,KAAK,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAE7E;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,GAAE,WAAW,GAAG,SAAS,GAAG,OAAO,GAAG,gBAA8B,GACzE,aAAa,CAAC,YAAY,CAAC,CAyB7B"}

package/dist/analysis/extractCapabilities.js

@@ -0,0 +1,44 @@
+// Copyright (c) 2026 Invinite. Licensed under the MIT License.
+// See the LICENSE file in the repo root for full license text.
+import ts from "typescript";
+import { resolveCalleeName } from "../transformers/resolveCallee.js";
+/**
+ * Derive the manifest `capabilities` array from a script's AST. The seed
+ * capability is determined by the structural script `kind`:
+ * `defineIndicator` → `"indicators"`, `defineDrawing` → `"drawings"`,
+ * `defineAlert` → `"alerts"`. `"alerts"` is added in addition whenever the
+ * script calls `alert(...)` from `@invinite-org/chartlang-core` —
+ * user-shadowed identifiers named `alert` are filtered out via
+ * `resolveCalleeName`. The result is deduplicated and sorted for
+ * deterministic manifest output.
+ *
+ * @since 0.1
+ * @example
+ *     // const caps = extractCapabilities(sourceFile, checker, "indicator");
+ *     // caps === ["alerts", "indicators"]
+ *     const fn: typeof extractCapabilities = extractCapabilities;
+ *     void fn;
+ */
+export function extractCapabilities(sourceFile, checker, kind = "indicator") {
+    const SEED_BY_KIND = {
+        indicator: "indicators",
+        drawing: "drawings",
+        alert: "alerts",
+        alertCondition: "alertConditions",
+    };
+    const seed = SEED_BY_KIND[kind];
+    const found = new Set([seed]);
+    const visit = (node) => {
+        if (ts.isCallExpression(node)) {
+            const calleeName = resolveCalleeName(node, checker);
+            if (calleeName === "alert") {
+                found.add("alerts");
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(sourceFile, visit);
+    const ordered = Array.from(found).sort();
+    return Object.freeze(ordered);
+}
+//# sourceMappingURL=extractCapabilities.js.map

package/dist/analysis/extractCapabilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractCapabilities.js","sourceRoot":"","sources":["../../src/analysis/extractCapabilities.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAE/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAIrE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CAC/B,UAAyB,EACzB,OAAuB,EACvB,OAA6D,WAAW;IAExE,MAAM,YAAY,GAEd;QACA,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,UAAU;QACnB,KAAK,EAAE,QAAQ;QACf,cAAc,EAAE,iBAAiB;KACpC,CAAC;IACF,MAAM,IAAI,GAAiB,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QAClC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACpD,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;gBACzB,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxB,CAAC;QACL,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC"}

package/dist/analysis/extractInputs.d.ts

@@ -0,0 +1,44 @@
+import ts from "typescript";
+import { type CompileDiagnostic } from "../diagnostics.js";
+/**
+ * Frozen, JSON-clean input descriptor extracted from a script's
+ * `define*({ inputs })` object.
+ *
+ * @since 0.4
+ * @example
+ *     const d: ExtractedDescriptor = { kind: "int", defaultValue: 14 };
+ *     void d;
+ */
+export type ExtractedDescriptor = Readonly<Record<string, unknown>>;
+/**
+ * Result of input extraction. Diagnostics are hard errors when the
+ * declaration uses an unknown builder or non-literal descriptor values.
+ *
+ * @since 0.4
+ * @example
+ *     const r: ExtractInputsResult = {
+ *         inputs: { length: { kind: "int", defaultValue: 14 } },
+ *         userPickableInterval: false,
+ *         diagnostics: [],
+ *     };
+ *     void r;
+ */
+export type ExtractInputsResult = Readonly<{
+    inputs: Readonly<Record<string, ExtractedDescriptor>>;
+    userPickableInterval: boolean;
+    diagnostics: ReadonlyArray<CompileDiagnostic>;
+}>;
+/**
+ * Walk a script's AST and serialise every `input.*` call inside
+ * `defineIndicator({ inputs: { ... } })`, `defineAlert`, or
+ * `defineDrawing` into the manifest's `inputs` record.
+ *
+ * @since 0.4
+ * @example
+ *     // const r = extractInputs(sourceFile, checker, "demo.chart.ts");
+ *     // r.inputs.length === { kind: "int", defaultValue: 14 };
+ *     const fn: typeof extractInputs = extractInputs;
+ *     void fn;
+ */
+export declare function extractInputs(sourceFile: ts.SourceFile, checker: ts.TypeChecker, sourcePath?: string): ExtractInputsResult;
+//# sourceMappingURL=extractInputs.d.ts.map

package/dist/analysis/extractInputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractInputs.d.ts","sourceRoot":"","sources":["../../src/analysis/extractInputs.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,KAAK,iBAAiB,EAAoB,MAAM,mBAAmB,CAAC;AA0C7E;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEpE;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACvC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IACtD,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACjD,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CACzB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,GAAE,MAA4B,GACzC,mBAAmB,CAwErB"}

package/dist/analysis/extractInputs.js

@@ -0,0 +1,306 @@
+// Copyright (c) 2026 Invinite. Licensed under the MIT License.
+// See the LICENSE file in the repo root for full license text.
+import ts from "typescript";
+import { createDiagnostic } from "../diagnostics.js";
+import { resolveCalleeName } from "../transformers/resolveCallee.js";
+const DEFINE_CALLS = new Set([
+    "defineIndicator",
+    "defineAlert",
+    "defineDrawing",
+    "defineAlertCondition",
+]);
+/** Names the walker recognises as `input.*` calls. */
+const INPUT_KINDS = new Set([
+    "int",
+    "float",
+    "bool",
+    "string",
+    "enum",
+    "color",
+    "source",
+    "time",
+    "price",
+    "symbol",
+    "interval",
+    "externalSeries",
+]);
+/** Wire-tag mapping — camelCase builder names become kebab-case manifest tags. */
+const KIND_TO_WIRE = Object.freeze({
+    int: "int",
+    float: "float",
+    bool: "bool",
+    string: "string",
+    enum: "enum",
+    color: "color",
+    source: "source",
+    time: "time",
+    price: "price",
+    symbol: "symbol",
+    interval: "interval",
+    externalSeries: "external-series",
+});
+/**
+ * Walk a script's AST and serialise every `input.*` call inside
+ * `defineIndicator({ inputs: { ... } })`, `defineAlert`, or
+ * `defineDrawing` into the manifest's `inputs` record.
+ *
+ * @since 0.4
+ * @example
+ *     // const r = extractInputs(sourceFile, checker, "demo.chart.ts");
+ *     // r.inputs.length === { kind: "int", defaultValue: 14 };
+ *     const fn: typeof extractInputs = extractInputs;
+ *     void fn;
+ */
+export function extractInputs(sourceFile, checker, sourcePath = sourceFile.fileName) {
+    const inputs = {};
+    const diagnostics = [];
+    let userPickableInterval = false;
+    let intervalCount = 0;
+    const visit = (node) => {
+        if (ts.isCallExpression(node) && isDefineCall(node, checker)) {
+            const inputsObject = readInputsArg(node);
+            if (inputsObject !== null) {
+                for (const property of inputsObject.properties) {
+                    if (!ts.isPropertyAssignment(property) || !ts.isIdentifier(property.name)) {
+                        continue;
+                    }
+                    const initializer = property.initializer;
+                    if (!ts.isCallExpression(initializer))
+                        continue;
+                    const callee = resolveCalleeName(initializer, checker);
+                    if (callee === null || !callee.startsWith("input."))
+                        continue;
+                    const kind = callee.slice("input.".length);
+                    if (!INPUT_KINDS.has(kind)) {
+                        diagnostics.push(createDiagnostic({
+                            severity: "error",
+                            code: "unknown-input-kind",
+                            message: `input.${kind} is not a recognised input builder`,
+                            file: sourcePath,
+                            node: initializer.expression,
+                            sourceFile,
+                        }));
+                        continue;
+                    }
+                    const wireKind = KIND_TO_WIRE[kind];
+                    if (wireKind === "interval") {
+                        intervalCount += 1;
+                        userPickableInterval = true;
+                        if (intervalCount > 1) {
+                            diagnostics.push(createDiagnostic({
+                                severity: "error",
+                                code: "multiple-input-interval",
+                                message: "Only one input.interval() per script (PLAN §4.5)",
+                                file: sourcePath,
+                                node: initializer.expression,
+                                sourceFile,
+                            }));
+                        }
+                    }
+                    const descriptor = serialiseDescriptor(wireKind, kind, initializer, {
+                        sourceFile,
+                        sourcePath,
+                        diagnostics,
+                    });
+                    if (descriptor !== null) {
+                        inputs[property.name.text] = descriptor;
+                    }
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(sourceFile, visit);
+    return Object.freeze({
+        inputs: Object.freeze({ ...inputs }),
+        userPickableInterval,
+        diagnostics: Object.freeze(diagnostics.slice()),
+    });
+}
+function isDefineCall(node, checker) {
+    const calleeName = resolveCalleeName(node, checker);
+    return calleeName !== null && DEFINE_CALLS.has(calleeName);
+}
+function readInputsArg(node) {
+    const argument = node.arguments[0];
+    if (argument === undefined || !ts.isObjectLiteralExpression(argument))
+        return null;
+    for (const property of argument.properties) {
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        if (!ts.isIdentifier(property.name) || property.name.text !== "inputs")
+            continue;
+        const initializer = property.initializer;
+        if (ts.isObjectLiteralExpression(initializer))
+            return initializer;
+    }
+    return null;
+}
+function serialiseDescriptor(wireKind, builderKind, call, context) {
+    if (wireKind === "external-series") {
+        return serialiseExternalSeries(call, context);
+    }
+    const defaultArg = call.arguments[0];
+    if (defaultArg === undefined) {
+        addDefaultLiteralDiagnostic(builderKind, call.expression, context);
+        return null;
+    }
+    const defaultValue = readLiteral(defaultArg);
+    if (defaultValue === undefined || Array.isArray(defaultValue)) {
+        addDefaultLiteralDiagnostic(builderKind, defaultArg, context);
+        return null;
+    }
+    const descriptor = {
+        kind: wireKind,
+        defaultValue,
+    };
+    if (wireKind === "enum") {
+        const optionsArg = call.arguments[1];
+        const options = optionsArg === undefined ? null : readStringArray(optionsArg);
+        if (options === null) {
+            addDefaultLiteralDiagnostic(builderKind, optionsArg ?? call.expression, context);
+            return null;
+        }
+        descriptor.options = Object.freeze(options.slice());
+        copyObjectLiteralFields(call.arguments[2], descriptor, builderKind, context);
+    }
+    else {
+        copyObjectLiteralFields(call.arguments[1], descriptor, builderKind, context);
+    }
+    return Object.freeze(descriptor);
+}
+function serialiseExternalSeries(call, context) {
+    const arg = call.arguments[0];
+    if (arg === undefined || !ts.isObjectLiteralExpression(arg)) {
+        addDefaultLiteralDiagnostic("externalSeries", arg ?? call.expression, context);
+        return null;
+    }
+    const descriptor = { kind: "external-series" };
+    let sawName = false;
+    let sawSchema = false;
+    for (const property of arg.properties) {
+        if (ts.isShorthandPropertyAssignment(property) && property.name.text === "schema") {
+            descriptor.schema = Object.freeze({ kind: "external-series-schema" });
+            sawSchema = true;
+            continue;
+        }
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        const key = propertyNameText(property.name);
+        if (key === null)
+            continue;
+        if (key === "name") {
+            const value = readLiteral(property.initializer);
+            if (typeof value !== "string") {
+                addDefaultLiteralDiagnostic("externalSeries", property.initializer, context);
+                return null;
+            }
+            descriptor.name = value;
+            sawName = true;
+        }
+        else if (key === "schema") {
+            descriptor.schema = Object.freeze({ kind: "external-series-schema" });
+            sawSchema = true;
+        }
+        else if (key === "title") {
+            const value = readLiteral(property.initializer);
+            if (typeof value !== "string") {
+                addDefaultLiteralDiagnostic("externalSeries", property.initializer, context);
+                return null;
+            }
+            descriptor.title = value;
+        }
+    }
+    if (!sawName || !sawSchema) {
+        addDefaultLiteralDiagnostic("externalSeries", arg, context);
+        return null;
+    }
+    return Object.freeze(descriptor);
+}
+function copyObjectLiteralFields(arg, descriptor, builderKind, context) {
+    if (arg === undefined)
+        return;
+    const unwrapped = unwrapConstAssertion(arg);
+    if (!ts.isObjectLiteralExpression(unwrapped)) {
+        addDefaultLiteralDiagnostic(builderKind, arg, context);
+        return;
+    }
+    for (const property of unwrapped.properties) {
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        const key = propertyNameText(property.name);
+        if (key === null)
+            continue;
+        const value = readLiteral(property.initializer);
+        if (value === undefined) {
+            addDefaultLiteralDiagnostic(builderKind, property.initializer, context);
+            continue;
+        }
+        descriptor[key] = value;
+    }
+}
+function readLiteral(node) {
+    const unwrapped = unwrapConstAssertion(node);
+    if (ts.isNumericLiteral(unwrapped))
+        return Number(unwrapped.text);
+    if (ts.isPrefixUnaryExpression(unwrapped) &&
+        (unwrapped.operator === ts.SyntaxKind.MinusToken ||
+            unwrapped.operator === ts.SyntaxKind.PlusToken) &&
+        ts.isNumericLiteral(unwrapped.operand)) {
+        const value = Number(unwrapped.operand.text);
+        return unwrapped.operator === ts.SyntaxKind.MinusToken ? -value : value;
+    }
+    if (ts.isStringLiteral(unwrapped) || ts.isNoSubstitutionTemplateLiteral(unwrapped)) {
+        return unwrapped.text;
+    }
+    if (unwrapped.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (unwrapped.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    if (ts.isArrayLiteralExpression(unwrapped)) {
+        const values = [];
+        for (const element of unwrapped.elements) {
+            const literal = readLiteral(element);
+            if (typeof literal !== "string")
+                return undefined;
+            values.push(literal);
+        }
+        return Object.freeze(values);
+    }
+    return undefined;
+}
+function readStringArray(node) {
+    const value = readLiteral(node);
+    if (!Array.isArray(value))
+        return null;
+    return Object.freeze(value.slice());
+}
+function unwrapConstAssertion(node) {
+    let current = node;
+    while (ts.isParenthesizedExpression(current) || ts.isAsExpression(current)) {
+        if (ts.isParenthesizedExpression(current)) {
+            current = current.expression;
+        }
+        else {
+            current = current.expression;
+        }
+    }
+    return current;
+}
+function propertyNameText(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name)) {
+        return name.text;
+    }
+    return null;
+}
+function addDefaultLiteralDiagnostic(kind, node, context) {
+    context.diagnostics.push(createDiagnostic({
+        severity: "error",
+        code: "input-default-not-literal",
+        message: `input.${kind} default must be a literal (number / string / boolean), not a variable reference`,
+        file: context.sourcePath,
+        node,
+        sourceFile: context.sourceFile,
+    }));
+}
+//# sourceMappingURL=extractInputs.js.map