@invinite-org/chartlang-compiler 1.0.1

package/dist/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAE/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAE3D;;;;;;;;;GASG;AACH,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0wCzB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuB;IAChD,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;IAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;IAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;IACjD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,CAAC,iBAAiB,CAAC;IACxB,YAAY,EAAE,IAAI;IAClB,eAAe,EAAE,IAAI;IACrB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,KAAK;IAC3B,OAAO,EAAE,KAAK;CACjB,CAAC;AAyBF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,sBAAsB,CAClC,MAAc,EACd,IAAqC;IAErC,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAClC,UAAU,EACV,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACnB,CAAC;IACF,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAChC,gBAAgB,EAChB,iBAAiB,EACjB,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACnB,CAAC;IAEF,MAAM,YAAY,GAAG,EAAE,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAEnE,MAAM,IAAI,GAAoB;QAC1B,GAAG,YAAY;QACf,aAAa,CACT,QAAQ,EACR,wBAAwB,EACxB,OAAO,EACP,yBAAyB;YAEzB,IAAI,QAAQ,KAAK,UAAU;gBAAE,OAAO,UAAU,CAAC;YAC/C,IAAI,QAAQ,KAAK,gBAAgB;gBAAE,OAAO,QAAQ,CAAC;YACnD,OAAO,YAAY,CAAC,aAAa,CAC7B,QAAQ,EACR,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC5B,CAAC;QACN,CAAC;QACD,UAAU,CAAC,QAAQ;YACf,OAAO,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/E,CAAC;KACJ,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;QAC7B,SAAS,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC;QACzC,OAAO,EAAE,gBAAgB;QACzB,IAAI;KACP,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;KACpC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACtD,CAAC"}

package/dist/transformers/callsiteIdInjection.d.ts

@@ -0,0 +1,48 @@
+import type { StatefulPrimitiveEntry } from "@invinite-org/chartlang-core";
+import ts from "typescript";
+import { type CompileDiagnostic } from "../diagnostics.js";
+/**
+ * Output of `injectCallsiteIds` — the rewritten source file plus any
+ * diagnostics produced during the rewrite. Only `callsite-id-conflict`
+ * surfaces here; every other transformer-related check lives in the
+ * `analysis/` modules.
+ *
+ * @since 0.1
+ * @example
+ *     // const { transformed, diagnostics } = injectCallsiteIds(src, checker, opts);
+ *     const shape: { transformed: unknown; diagnostics: ReadonlyArray<unknown> } = {
+ *         transformed: null,
+ *         diagnostics: [],
+ *     };
+ *     void shape;
+ */
+export type InjectCallsiteIdsResult = Readonly<{
+    transformed: ts.SourceFile;
+    diagnostics: ReadonlyArray<CompileDiagnostic>;
+}>;
+/**
+ * Inject a `__slot` string-literal first argument into every stateful
+ * primitive call. Slot id format per PLAN.md §5.5:
+ * `<sourcePath>:<line>:<col>#<callIndex>`. `callIndex` is hardcoded to `0`
+ * for hand-written code (Phase 1 reserves non-zero for future macros).
+ *
+ * The transformer is a pure rewrite — input nodes are never mutated. Lines
+ * and columns are 1-based and read from the **input** source file before
+ * any rewrite happens. Duplicate ids at the same `(line, col)` (impossible
+ * in hand-written TS but reachable by future macros) trigger a
+ * `callsite-id-conflict` diagnostic; only the first call at the duplicated
+ * position gets the slot.
+ *
+ * @since 0.1
+ * @example
+ *     // Input:  ta.ema(close, 20)
+ *     // Output: ta.ema("demo.chart.ts:5:13#0", close, 20)
+ *     const fn: typeof injectCallsiteIds = injectCallsiteIds;
+ *     void fn;
+ */
+export declare function injectCallsiteIds(sourceFile: ts.SourceFile, checker: ts.TypeChecker, opts: {
+    readonly sourcePath: string;
+    readonly statefulByName: ReadonlyMap<string, StatefulPrimitiveEntry>;
+    readonly slotsSeen?: Map<string, ts.CallExpression>;
+}): InjectCallsiteIdsResult;
+//# sourceMappingURL=callsiteIdInjection.d.ts.map

package/dist/transformers/callsiteIdInjection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsiteIdInjection.d.ts","sourceRoot":"","sources":["../../src/transformers/callsiteIdInjection.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,KAAK,iBAAiB,EAAoB,MAAM,mBAAmB,CAAC;AAG7E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC3C,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;IAC3B,WAAW,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACjD,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE;IACF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACrE,QAAQ,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;CACvD,GACF,uBAAuB,CAiFzB"}

package/dist/transformers/callsiteIdInjection.js

@@ -0,0 +1,91 @@
+// 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, resolveCoreSymbolForElementAccess } from "./resolveCallee.js";
+/**
+ * Inject a `__slot` string-literal first argument into every stateful
+ * primitive call. Slot id format per PLAN.md §5.5:
+ * `<sourcePath>:<line>:<col>#<callIndex>`. `callIndex` is hardcoded to `0`
+ * for hand-written code (Phase 1 reserves non-zero for future macros).
+ *
+ * The transformer is a pure rewrite — input nodes are never mutated. Lines
+ * and columns are 1-based and read from the **input** source file before
+ * any rewrite happens. Duplicate ids at the same `(line, col)` (impossible
+ * in hand-written TS but reachable by future macros) trigger a
+ * `callsite-id-conflict` diagnostic; only the first call at the duplicated
+ * position gets the slot.
+ *
+ * @since 0.1
+ * @example
+ *     // Input:  ta.ema(close, 20)
+ *     // Output: ta.ema("demo.chart.ts:5:13#0", close, 20)
+ *     const fn: typeof injectCallsiteIds = injectCallsiteIds;
+ *     void fn;
+ */
+export function injectCallsiteIds(sourceFile, checker, opts) {
+    const { sourcePath, statefulByName } = opts;
+    const slotsSeen = opts.slotsSeen ?? new Map();
+    const diagnostics = [];
+    const factory = (context) => {
+        const visit = (node) => {
+            if (ts.isCallExpression(node)) {
+                // Element-access calls (`ta["ema"](...)`, `alert?.[chan](...)`)
+                // bypass slot-id injection because the property name is not
+                // statically known. Detecting these explicitly turns the
+                // silent-state-corruption footgun into a compile-time error.
+                if (ts.isElementAccessExpression(node.expression)) {
+                    const coreName = resolveCoreSymbolForElementAccess(node.expression, checker);
+                    if (coreName !== null) {
+                        diagnostics.push(createDiagnostic({
+                            severity: "error",
+                            code: "stateful-call-element-access",
+                            message: `Element-access calls on the \`${coreName}\` namespace bypass callsite-id injection. Use the property-access form (\`${coreName}.<name>(...)\`).`,
+                            file: sourcePath,
+                            node,
+                            sourceFile,
+                        }));
+                        return ts.visitEachChild(node, visit, context);
+                    }
+                }
+                const calleeName = resolveCalleeName(node, checker);
+                const entry = calleeName === null ? undefined : statefulByName.get(calleeName);
+                if (entry?.slot) {
+                    const start = node.getStart(sourceFile);
+                    const { line, character } = sourceFile.getLineAndCharacterOfPosition(start);
+                    const slotId = `${sourcePath}:${line + 1}:${character + 1}#0`;
+                    const existing = slotsSeen.get(slotId);
+                    if (existing !== undefined) {
+                        diagnostics.push(createDiagnostic({
+                            severity: "error",
+                            code: "callsite-id-conflict",
+                            message: `Two stateful calls share the same slot id "${slotId}".`,
+                            file: sourcePath,
+                            node,
+                            sourceFile,
+                        }));
+                        return ts.visitEachChild(node, visit, context);
+                    }
+                    slotsSeen.set(slotId, node);
+                    const visitedArguments = node.arguments.map((argument) => ts.visitNode(argument, visit, ts.isExpression));
+                    const updatedArguments = ts.factory.createNodeArray([
+                        ts.factory.createStringLiteral(slotId),
+                        ...visitedArguments,
+                    ]);
+                    const visitedCallee = ts.visitNode(node.expression, visit, ts.isExpression);
+                    return ts.factory.updateCallExpression(node, visitedCallee, node.typeArguments, updatedArguments);
+                }
+            }
+            return ts.visitEachChild(node, visit, context);
+        };
+        return (file) => ts.visitNode(file, visit, ts.isSourceFile);
+    };
+    const result = ts.transform(sourceFile, [factory]);
+    const transformed = result.transformed[0];
+    result.dispose();
+    return Object.freeze({
+        transformed,
+        diagnostics: Object.freeze(diagnostics.slice()),
+    });
+}
+//# sourceMappingURL=callsiteIdInjection.js.map

package/dist/transformers/callsiteIdInjection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsiteIdInjection.js","sourceRoot":"","sources":["../../src/transformers/callsiteIdInjection.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,iCAAiC,EAAE,MAAM,oBAAoB,CAAC;AAsB1F;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC7B,UAAyB,EACzB,OAAuB,EACvB,IAIC;IAED,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAA6B,CAAC;IACzE,MAAM,WAAW,GAAwB,EAAE,CAAC;IAE5C,MAAM,OAAO,GAAyC,CAAC,OAAO,EAAE,EAAE;QAC9D,MAAM,KAAK,GAAe,CAAC,IAAI,EAAE,EAAE;YAC/B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,gEAAgE;gBAChE,4DAA4D;gBAC5D,yDAAyD;gBACzD,6DAA6D;gBAC7D,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBAC7E,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;wBACpB,WAAW,CAAC,IAAI,CACZ,gBAAgB,CAAC;4BACb,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,8BAA8B;4BACpC,OAAO,EAAE,iCAAiC,QAAQ,8EAA8E,QAAQ,kBAAkB;4BAC1J,IAAI,EAAE,UAAU;4BAChB,IAAI;4BACJ,UAAU;yBACb,CAAC,CACL,CAAC;wBACF,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;oBACnD,CAAC;gBACL,CAAC;gBACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,KAAK,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC/E,IAAI,KAAK,EAAE,IAAI,EAAE,CAAC;oBACd,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;oBACxC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;oBAC5E,MAAM,MAAM,GAAG,GAAG,UAAU,IAAI,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC;oBAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACzB,WAAW,CAAC,IAAI,CACZ,gBAAgB,CAAC;4BACb,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,sBAAsB;4BAC5B,OAAO,EAAE,8CAA8C,MAAM,IAAI;4BACjE,IAAI,EAAE,UAAU;4BAChB,IAAI;4BACJ,UAAU;yBACb,CAAC,CACL,CAAC;wBACF,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;oBACnD,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBAC5B,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrD,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,CACjB,CAAC;oBAClC,MAAM,gBAAgB,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,CAAgB;wBAC/D,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC;wBACtC,GAAG,gBAAgB;qBACtB,CAAC,CAAC;oBACH,MAAM,aAAa,GAAG,EAAE,CAAC,SAAS,CAC9B,IAAI,CAAC,UAAU,EACf,KAAK,EACL,EAAE,CAAC,YAAY,CACD,CAAC;oBACnB,OAAO,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,IAAI,EACJ,aAAa,EACb,IAAI,CAAC,aAAa,EAClB,gBAAgB,CACnB,CAAC;gBACN,CAAC;YACL,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC,CAAC;QACF,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAkB,CAAC;IACjF,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,OAAO,EAAE,CAAC;IACjB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,WAAW;QACX,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;KAClD,CAAC,CAAC;AACP,CAAC"}

package/dist/transformers/index.d.ts

@@ -0,0 +1,4 @@
+export { resolveCalleeName } from "./resolveCallee.js";
+export { injectCallsiteIds } from "./callsiteIdInjection.js";
+export type { InjectCallsiteIdsResult } from "./callsiteIdInjection.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/transformers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transformers/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/transformers/index.js

@@ -0,0 +1,5 @@
+// Copyright (c) 2026 Invinite. Licensed under the MIT License.
+// See the LICENSE file in the repo root for full license text.
+export { resolveCalleeName } from "./resolveCallee.js";
+export { injectCallsiteIds } from "./callsiteIdInjection.js";
+//# sourceMappingURL=index.js.map

package/dist/transformers/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/transformers/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAE/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/transformers/resolveCallee.d.ts

@@ -0,0 +1,39 @@
+import ts from "typescript";
+/**
+ * Resolve a `CallExpression`'s callee to its fully-qualified name. Returns
+ * one of `"ta.<method>"`, `"plot"`, `"hline"`, `"alert"`,
+ * `"defineIndicator"`, `"defineAlert"` for calls whose target comes from
+ * `@invinite-org/chartlang-core`; returns `null` for everything else
+ * (user-shadowed identifiers, computed access, optional chains, calls on
+ * call results).
+ *
+ * Identifier callees are gated on the symbol's declaration source file
+ * matching the core ambient module path so a user's `const plot = (x) => x;
+ * plot(42);` is not mistaken for the core `plot` primitive.
+ *
+ * @since 0.1
+ * @example
+ *     // const fqn = resolveCalleeName(callNode, checker);
+ *     // fqn === "ta.ema" | "plot" | "alert" | ... | null
+ *     const fn: typeof resolveCalleeName = resolveCalleeName;
+ *     void fn;
+ */
+export declare function resolveCalleeName(node: ts.CallExpression, checker: ts.TypeChecker): string | null;
+/**
+ * Resolve the canonical core-export name for the *object* of an
+ * `ElementAccessExpression` (`obj[...]`). Used by the callsite-id
+ * transformer to detect element-access calls on core namespaces
+ * (`ta["ema"](...)`, `state["foo"]?.()`) that would otherwise silently
+ * skip slot-id injection. Returns the canonical name (e.g. `"ta"`) when
+ * the object identifier resolves to a core symbol, or `null` when it
+ * does not (user-shadowed identifier, non-core object, computed receiver).
+ *
+ * @since 0.1
+ * @example
+ *     // const name = resolveCoreSymbolForElementAccess(node, checker);
+ *     // name === "ta" | null
+ *     const fn: typeof resolveCoreSymbolForElementAccess = resolveCoreSymbolForElementAccess;
+ *     void fn;
+ */
+export declare function resolveCoreSymbolForElementAccess(node: ts.ElementAccessExpression, checker: ts.TypeChecker): string | null;
+//# sourceMappingURL=resolveCallee.d.ts.map

package/dist/transformers/resolveCallee.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolveCallee.d.ts","sourceRoot":"","sources":["../../src/transformers/resolveCallee.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,GAAG,MAAM,GAAG,IAAI,CAWjG;AAkBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iCAAiC,CAC7C,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAChC,OAAO,EAAE,EAAE,CAAC,WAAW,GACxB,MAAM,GAAG,IAAI,CAIf"}

package/dist/transformers/resolveCallee.js

@@ -0,0 +1,136 @@
+// 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 { CORE_MODULE_PATH } from "../program.js";
+/**
+ * Resolve a `CallExpression`'s callee to its fully-qualified name. Returns
+ * one of `"ta.<method>"`, `"plot"`, `"hline"`, `"alert"`,
+ * `"defineIndicator"`, `"defineAlert"` for calls whose target comes from
+ * `@invinite-org/chartlang-core`; returns `null` for everything else
+ * (user-shadowed identifiers, computed access, optional chains, calls on
+ * call results).
+ *
+ * Identifier callees are gated on the symbol's declaration source file
+ * matching the core ambient module path so a user's `const plot = (x) => x;
+ * plot(42);` is not mistaken for the core `plot` primitive.
+ *
+ * @since 0.1
+ * @example
+ *     // const fqn = resolveCalleeName(callNode, checker);
+ *     // fqn === "ta.ema" | "plot" | "alert" | ... | null
+ *     const fn: typeof resolveCalleeName = resolveCalleeName;
+ *     void fn;
+ */
+export function resolveCalleeName(node, checker) {
+    const expression = node.expression;
+    if (ts.isPropertyAccessExpression(expression)) {
+        return resolvePropertyAccessName(expression, checker);
+    }
+    if (ts.isIdentifier(expression)) {
+        const canonical = resolveCoreSymbolName(checker, expression);
+        if (canonical === null)
+            return null;
+        return canonical;
+    }
+    return null;
+}
+function resolvePropertyAccessName(expression, checker) {
+    const segments = [expression.name.text];
+    let current = expression.expression;
+    while (ts.isPropertyAccessExpression(current)) {
+        segments.unshift(current.name.text);
+        current = current.expression;
+    }
+    if (!ts.isIdentifier(current))
+        return null;
+    const canonical = resolveCoreSymbolName(checker, current);
+    if (canonical === null)
+        return null;
+    return [canonical, ...segments].join(".");
+}
+/**
+ * Resolve the canonical core-export name for the *object* of an
+ * `ElementAccessExpression` (`obj[...]`). Used by the callsite-id
+ * transformer to detect element-access calls on core namespaces
+ * (`ta["ema"](...)`, `state["foo"]?.()`) that would otherwise silently
+ * skip slot-id injection. Returns the canonical name (e.g. `"ta"`) when
+ * the object identifier resolves to a core symbol, or `null` when it
+ * does not (user-shadowed identifier, non-core object, computed receiver).
+ *
+ * @since 0.1
+ * @example
+ *     // const name = resolveCoreSymbolForElementAccess(node, checker);
+ *     // name === "ta" | null
+ *     const fn: typeof resolveCoreSymbolForElementAccess = resolveCoreSymbolForElementAccess;
+ *     void fn;
+ */
+export function resolveCoreSymbolForElementAccess(node, checker) {
+    const obj = node.expression;
+    if (!ts.isIdentifier(obj))
+        return null;
+    return resolveCoreSymbolName(checker, obj);
+}
+/**
+ * Return the canonical core-export name for `identifier`, or `null` if
+ * the identifier does not resolve to a `@invinite-org/chartlang-core`
+ * symbol. Renamed imports (`import { ta as TA } from "core"; TA.ema(...)`)
+ * map back to their export name (`"ta"`) so the resulting slot-id
+ * matches what `STATEFUL_PRIMITIVES` expects.
+ */
+function resolveCoreSymbolName(checker, identifier) {
+    const localSymbol = checker.getSymbolAtLocation(identifier);
+    if (!localSymbol)
+        return null;
+    const target = localSymbol.flags & ts.SymbolFlags.Alias
+        ? checker.getAliasedSymbol(localSymbol)
+        : localSymbol;
+    const declarations = target.declarations ?? [];
+    if (declarations.some((d) => d.getSourceFile().fileName === CORE_MODULE_PATH)) {
+        return target.getName();
+    }
+    // Destructured `compute({ ta, plot, ... })` binding: the symbol's
+    // declaration is the binding element, not the core module. The
+    // identifier's *type*, however, comes from `ComputeContext` (core)
+    // — so a binding element whose type declaration originates in core
+    // counts as a core symbol for the callsite-id transformer. The
+    // canonical name is the binding's property name (or, when the
+    // binding is renamed `{ ta: TA }`, the original property name).
+    for (const declaration of declarations) {
+        if (!ts.isBindingElement(declaration))
+            continue;
+        // `{ ta }` → propertyName is undefined, fall back to identifier.
+        // `{ ta: TA }` → propertyName is `ta`, identifier is `TA`.
+        const propertyName = declaration.propertyName;
+        const canonicalName = propertyName !== undefined && ts.isIdentifier(propertyName)
+            ? propertyName.text
+            : identifier.text;
+        if (bindingElementComesFromCoreContext(checker, declaration, canonicalName)) {
+            return canonicalName;
+        }
+        const type = checker.getTypeAtLocation(identifier);
+        const typeSymbol = type.getSymbol();
+        /* v8 ignore next */
+        if (typeSymbol === undefined)
+            continue;
+        /* v8 ignore next */
+        const typeDecls = typeSymbol.declarations ?? [];
+        if (!typeDecls.some((d) => d.getSourceFile().fileName === CORE_MODULE_PATH))
+            continue;
+        if (propertyName !== undefined && ts.isIdentifier(propertyName)) {
+            return propertyName.text;
+        }
+        return identifier.text;
+    }
+    return null;
+}
+function bindingElementComesFromCoreContext(checker, declaration, canonicalName) {
+    const bindingPattern = declaration.parent;
+    const bindingOwner = bindingPattern.parent;
+    if (!ts.isObjectBindingPattern(bindingPattern) || !ts.isParameter(bindingOwner))
+        return false;
+    const parameterType = checker.getTypeAtLocation(bindingOwner);
+    const property = parameterType.getProperty(canonicalName);
+    const propertyDecls = property?.declarations ?? [];
+    return propertyDecls.some((d) => d.getSourceFile().fileName === CORE_MODULE_PATH);
+}
+//# sourceMappingURL=resolveCallee.js.map

package/dist/transformers/resolveCallee.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolveCallee.js","sourceRoot":"","sources":["../../src/transformers/resolveCallee.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAE/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAuB,EAAE,OAAuB;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAC9B,UAAuC,EACvC,OAAuB;IAEvB,MAAM,QAAQ,GAAa,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,GAAkB,UAAU,CAAC,UAAU,CAAC;IACnD,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,CAAC,SAAS,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iCAAiC,CAC7C,IAAgC,EAChC,OAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,OAAuB,EAAE,UAAyB;IAC7E,MAAM,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,MAAM,GACR,WAAW,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QACpC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACvC,CAAC,CAAC,WAAW,CAAC;IACtB,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/C,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,KAAK,gBAAgB,CAAC,EAAE,CAAC;QAC5E,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;IAC5B,CAAC;IACD,kEAAkE;IAClE,+DAA+D;IAC/D,mEAAmE;IACnE,mEAAmE;IACnE,+DAA+D;IAC/D,8DAA8D;IAC9D,gEAAgE;IAChE,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAAE,SAAS;QAChD,iEAAiE;QACjE,2DAA2D;QAC3D,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC;QAC9C,MAAM,aAAa,GACf,YAAY,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;YACvD,CAAC,CAAC,YAAY,CAAC,IAAI;YACnB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAC1B,IAAI,kCAAkC,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;YAC1E,OAAO,aAAa,CAAC;QACzB,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QACpC,oBAAoB;QACpB,IAAI,UAAU,KAAK,SAAS;YAAE,SAAS;QACvC,oBAAoB;QACpB,MAAM,SAAS,GAAG,UAAU,CAAC,YAAY,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,KAAK,gBAAgB,CAAC;YAAE,SAAS;QACtF,IAAI,YAAY,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9D,OAAO,YAAY,CAAC,IAAI,CAAC;QAC7B,CAAC;QACD,OAAO,UAAU,CAAC,IAAI,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,kCAAkC,CACvC,OAAuB,EACvB,WAA8B,EAC9B,aAAqB;IAErB,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC;IAC1C,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC;IAC3C,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,MAAM,aAAa,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;IACnD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,KAAK,gBAAgB,CAAC,CAAC;AACtF,CAAC"}

package/dist/typesEmit.d.ts

@@ -0,0 +1,35 @@
+import type { ScriptManifest } from "@invinite-org/chartlang-core";
+/**
+ * Options accepted by `emitTypes`. `manifest` is the frozen script manifest
+ * the runtime will consume; `sourcePath` is reserved so a future generator can
+ * embed it into the declarations as a comment when source navigation surfaces
+ * land. Phase 1 emits the same minimal `.d.ts` for every script.
+ *
+ * @since 0.1
+ * @example
+ *     const opts: EmitTypesOptions = {
+ *         manifest: { } as never,
+ *         sourcePath: "demo.chart.ts",
+ *     };
+ *     void opts;
+ */
+export type EmitTypesOptions = Readonly<{
+    manifest: ScriptManifest;
+    sourcePath: string;
+}>;
+/**
+ * Generate the Phase-1 minimal `.d.ts` sibling for a compiled script. The
+ * declarations mirror the runtime expectation in §5.2 — a default-exported
+ * `CompiledScriptObject` plus the `__manifest` symbol the bundler emits at
+ * the bottom of the JS. Identical content for every script in Phase 1;
+ * Phase 4+ specialises per-script inputs / outputs.
+ *
+ * @since 0.1
+ * @example
+ *     // const dts = emitTypes({ manifest, sourcePath: "demo.chart.ts" });
+ *     // dts.includes("export default script");
+ *     const fn: typeof emitTypes = emitTypes;
+ *     void fn;
+ */
+export declare function emitTypes(_opts: EmitTypesOptions): string;
+//# sourceMappingURL=typesEmit.d.ts.map

package/dist/typesEmit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typesEmit.d.ts","sourceRoot":"","sources":["../src/typesEmit.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEnE;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACpC,QAAQ,EAAE,cAAc,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;CACtB,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CASzD"}

package/dist/typesEmit.js

@@ -0,0 +1,27 @@
+// Copyright (c) 2026 Invinite. Licensed under the MIT License.
+// See the LICENSE file in the repo root for full license text.
+/**
+ * Generate the Phase-1 minimal `.d.ts` sibling for a compiled script. The
+ * declarations mirror the runtime expectation in §5.2 — a default-exported
+ * `CompiledScriptObject` plus the `__manifest` symbol the bundler emits at
+ * the bottom of the JS. Identical content for every script in Phase 1;
+ * Phase 4+ specialises per-script inputs / outputs.
+ *
+ * @since 0.1
+ * @example
+ *     // const dts = emitTypes({ manifest, sourcePath: "demo.chart.ts" });
+ *     // dts.includes("export default script");
+ *     const fn: typeof emitTypes = emitTypes;
+ *     void fn;
+ */
+export function emitTypes(_opts) {
+    return `// auto-generated by @invinite-org/chartlang-compiler
+import type { CompiledScriptObject, ScriptManifest } from "@invinite-org/chartlang-core";
+
+declare const script: CompiledScriptObject;
+export default script;
+
+export declare const __manifest: ScriptManifest;
+`;
+}
+//# sourceMappingURL=typesEmit.js.map

package/dist/typesEmit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typesEmit.js","sourceRoot":"","sources":["../src/typesEmit.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAuB/D;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,KAAuB;IAC7C,OAAO;;;;;;;CAOV,CAAC;AACF,CAAC"}

package/package.json

@@ -0,0 +1,48 @@
+{
+  "name": "@invinite-org/chartlang-compiler",
+  "version": "1.0.1",
+  "type": "module",
+  "license": "MIT",
+  "description": "TypeScript transformer + bundler for .chart.ts files",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "CHANGELOG.md",
+    "LICENSE"
+  ],
+  "dependencies": {
+    "esbuild": "^0.24.0",
+    "typescript": "^5.6.0",
+    "@invinite-org/chartlang-core": "1.0.1"
+  },
+  "devDependencies": {
+    "@types/node": "^20.0.0",
+    "fast-check": "^3.20.0"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "engines": {
+    "node": ">=20"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/outraday-org/chartlang.git",
+    "directory": "packages/compiler"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run --coverage",
+    "bench": "vitest bench --run"
+  }
+}