@reactra/babel-plugin 0.1.0-alpha.0

package/dist/conventions/index.js

@@ -0,0 +1,193 @@
+// @reactra/babel-plugin — shared emission conventions.
+//
+// Owner: reactra-compiler-spec.md §4 (Pass 9 emission contract).
+//
+// THE single home for the naming + ordering + marker-vocabulary conventions
+// that BOTH emitters depend on: Pass 9 codegen (`passes/pass-9-codegen.ts`)
+// and the language-tools shadow emitter (`@reactra/language-tools`
+// `shadow/emitter.ts`). Before framework-review §B1 these were re-derived
+// independently in each emitter and had already drifted (the shadow's setter
+// rename matched on a bare name across all containers; Pass 9 gates on
+// triviality + state-membership). They agreed on the examples only by luck.
+//
+// Rules for this module (architect B1 conditions):
+//   - PURE. No module-level mutable state. `renamedStates` is computed by
+//     `classifyStateSetters` and passed into `setterNameFor` — the caller owns it.
+//   - babel-plugin owns emission conventions; language-tools imports FROM here
+//     (via `@reactra/babel-plugin/conventions`). This module imports only
+//     `@babel/types` + the same-package AST node types. It must NEVER import
+//     language-tools (no cycle).
+//   - The reconciled setter logic is the GATED (Pass 9) version. The shadow's
+//     looser `resolveSetterName` was deleted.
+import * as t from "@babel/types";
+import { CONTAINER_MARKERS } from "../ast/nodes.js";
+// ---------------------------------------------------------------------------
+// String helpers
+// ---------------------------------------------------------------------------
+/** Capitalise the first letter — used for setter names (`foo` → `Foo`). */
+export const cap = (s) => s.charAt(0).toUpperCase() + s.slice(1);
+// ---------------------------------------------------------------------------
+// `await` argument order
+// ---------------------------------------------------------------------------
+/**
+ * Positional order of the four arrows in a `__reactra_await__(resource,
+ * success, pending, error)` marker call. Both emitters index the call's
+ * `arguments` array via these constants so the resource/success/pending/error
+ * branches can never be wired up inconsistently across the two code paths.
+ *
+ * Pass 9: `pass-9-codegen.ts` await rewrite + the error-branch detector.
+ * Shadow: `shadow/emitter.ts` await lowering.
+ */
+export const AWAIT_ARG_ORDER = {
+    resource: 0,
+    success: 1,
+    pending: 2,
+    error: 3,
+};
+// ---------------------------------------------------------------------------
+// State-setter naming (the reconciled, GATED convention)
+// ---------------------------------------------------------------------------
+/**
+ * The identifier `state X` writes lower to (Component DSL §2.1/§2.3). Normally
+ * the auto-emitted public setter `set<Cap(X)>`; but when a non-trivial
+ * `action set<Cap(X)>` owns that public name, the `useState` setter is renamed
+ * `__set<Cap(X)>` so the action and the real setter don't collide (improvements
+ * #4). `renamedStates` holds the state names in the renamed case — compute it
+ * with {@link classifyStateSetters}.
+ */
+export const setterNameFor = (stateName, renamedStates) => renamedStates.has(stateName) ? `__set${cap(stateName)}` : `set${cap(stateName)}`;
+/**
+ * The state name an `action set<Cap(X)>` targets, or `null` if the action name
+ * isn't of that shape. `setFilter` → `filter` (Pascal → camel: lowercase the
+ * first char after `set`); `set`/`setup-with-no-tail` → `null`.
+ *
+ * Exported because the R016 warning (Pass 9) reports the targeted state name.
+ */
+export const setterActionTarget = (actionName) => {
+    if (!actionName.startsWith("set"))
+        return null;
+    const rest = actionName.slice(3);
+    if (rest.length === 0)
+        return null;
+    return rest[0].toLowerCase() + rest.slice(1);
+};
+/**
+ * True when `action` is the exact identity passthrough for `stateName` —
+ * `action set<Cap(X)>(p) { X = p }` (single param, single statement assigning
+ * that param to that state, with or without a trailing `;`). This duplicates
+ * the auto-emitted setter (§2.1) and is redundant → R016 (improvements #4).
+ * Anything else (compound op, transformation, extra statements, multiple/zero
+ * params, async) is non-trivial and keeps the action.
+ */
+const isTrivialIdentitySetter = (action, stateName) => {
+    if (action.isAsync)
+        return false;
+    const arrow = action.arrow;
+    if (arrow.params.length !== 1)
+        return false;
+    const param = arrow.params[0];
+    if (!t.isIdentifier(param))
+        return false;
+    if (!t.isBlockStatement(arrow.body))
+        return false;
+    const stmts = arrow.body.body.filter((s) => !t.isEmptyStatement(s));
+    if (stmts.length !== 1)
+        return false;
+    const stmt = stmts[0];
+    if (!t.isExpressionStatement(stmt))
+        return false;
+    const expr = stmt.expression;
+    if (!t.isAssignmentExpression(expr) || expr.operator !== "=")
+        return false;
+    return (t.isIdentifier(expr.left) &&
+        expr.left.name === stateName &&
+        t.isIdentifier(expr.right) &&
+        expr.right.name === param.name);
+};
+/**
+ * Classify `action set<Cap(X)>` declarations that name an existing `state X`
+ * (improvements #4, replacing the Day-21 hard R046 collision):
+ *   - **trivial identity passthrough** → action **suppressed** (the auto-emitted
+ *     `setX` already provides it); the caller emits R016 (warning);
+ *   - **non-trivial** → the action **owns** the public `setX`; its state's
+ *     `useState` setter is **renamed** `__setX` so they don't collide, and
+ *     every `X = expr` write (here and elsewhere) lowers to `__setX`.
+ *
+ * Pure — returns the set of state names to rename and the set of action names
+ * to drop; the R016 warning is emitted by the caller (the single per-component
+ * emit point). Components only — store/service `state`/`action` emit through
+ * other paths, so a non-component container yields empty sets.
+ */
+export const classifyStateSetters = (c) => {
+    const renamedStates = new Set();
+    const suppressedActions = new Set();
+    if (c.kind !== "component")
+        return { renamedStates, suppressedActions };
+    const stateNames = new Set(c.states.map((s) => s.name));
+    for (const action of c.actions) {
+        const stateName = setterActionTarget(action.name);
+        if (stateName === null || !stateNames.has(stateName))
+            continue;
+        if (isTrivialIdentitySetter(action, stateName))
+            suppressedActions.add(action.name);
+        else
+            renamedStates.add(stateName);
+    }
+    return { renamedStates, suppressedActions };
+};
+// ---------------------------------------------------------------------------
+// Marker vocabulary (single source of truth)
+// ---------------------------------------------------------------------------
+/**
+ * Top-level container-wrapper markers, keyed to the `ContainerKind` they map to.
+ * Re-exported from `ast/nodes.ts` so there is exactly one home for the marker
+ * vocabulary (the conventions module). Pass 2 recognises these at the
+ * outer-decl level; the shadow emitter and parity test read them from here.
+ */
+export { CONTAINER_MARKERS };
+/**
+ * Body-level markers emitted by the preprocessor inside a container body and
+ * consumed by Pass 2's body-marker switch (`pass-2-extract.ts`). This is the
+ * authoritative list — the convention-parity test (language-tools) asserts that
+ * every key here is handled by BOTH emitters (or explicitly punted), so a NEW
+ * marker can't be added without a human wiring it on both sides (framework
+ * review §B1: stop the two emitters drifting silently).
+ *
+ * Values are the literal marker strings — kept byte-identical to the strings
+ * the preprocessor emits and Pass 2 switches on. The set is `as const` so the
+ * key type is the exact string-literal union.
+ *
+ * `__reactra_await__` is included: it is a body-level marker, but Pass 2
+ * handles it in a dedicated view-walk (not the flat body switch). The parity
+ * manifest classifies it as VIEW-HANDLED rather than switch-handled.
+ */
+export const BODY_MARKERS = {
+    __reactra_state__: "state",
+    __reactra_derived__: "derived",
+    __reactra_action__: "action",
+    __reactra_action_async__: "action",
+    __reactra_resource__: "resource",
+    __reactra_ref__: "ref",
+    __reactra_mount__: "mount",
+    __reactra_cleanup__: "cleanup",
+    __reactra_effect__: "effect",
+    __reactra_effect_on__: "effect",
+    __reactra_view__: "view",
+    __reactra_uses__: "uses",
+    __reactra_inject__: "inject",
+    __reactra_provide__: "provide",
+    __reactra_param__: "param",
+    __reactra_query__: "query",
+    __reactra_meta__: "meta",
+    __reactra_prefetch__: "prefetch",
+    __reactra_transition__: "transition",
+    __reactra_inject_store__: "inject-store",
+    __reactra_inject_store_args__: "inject-store",
+    __reactra_inject_store_keyed__: "inject-store",
+    __reactra_error_boundary__: "errorBoundary",
+    __reactra_suspense__: "suspense",
+    __reactra_input__: "input",
+    __reactra_preserved__: "preserved",
+    __reactra_await__: "await",
+};
+//# sourceMappingURL=index.js.map

package/dist/conventions/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/conventions/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,EAAE;AACF,iEAAiE;AACjE,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,mEAAmE;AACnE,0EAA0E;AAC1E,6EAA6E;AAC7E,uEAAuE;AACvE,4EAA4E;AAC5E,EAAE;AACF,mDAAmD;AACnD,0EAA0E;AAC1E,mFAAmF;AACnF,+EAA+E;AAC/E,0EAA0E;AAC1E,6EAA6E;AAC7E,iCAAiC;AACjC,8EAA8E;AAC9E,8CAA8C;AAE9C,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAEnD,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhF,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;CACA,CAAA;AAEV,8EAA8E;AAC9E,yDAAyD;AACzD,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,aAAkC,EAAU,EAAE,CAC7F,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,EAAE,CAAA;AAElF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAkB,EAAiB,EAAE;IACtE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAC9C,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,uBAAuB,GAAG,CAAC,MAAkB,EAAE,SAAiB,EAAW,EAAE;IACjF,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,KAAK,CAAA;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IAC1B,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;IACtB,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAA;IAC5B,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG;QAAE,OAAO,KAAK,CAAA;IAC1E,OAAO,CACL,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC5B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAC/B,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,CAAgB,EACgD,EAAE;IAClE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAA;IACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACvD,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjD,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAQ;QAC9D,IAAI,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC;YAAE,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;;YAC7E,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAA;AAC7C,CAAC,CAAA;AAED,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,CAAA;AAG5B;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,iBAAiB,EAAE,OAAO;IAC1B,mBAAmB,EAAE,SAAS;IAC9B,kBAAkB,EAAE,QAAQ;IAC5B,wBAAwB,EAAE,QAAQ;IAClC,oBAAoB,EAAE,UAAU;IAChC,eAAe,EAAE,KAAK;IACtB,iBAAiB,EAAE,OAAO;IAC1B,mBAAmB,EAAE,SAAS;IAC9B,kBAAkB,EAAE,QAAQ;IAC5B,qBAAqB,EAAE,QAAQ;IAC/B,gBAAgB,EAAE,MAAM;IACxB,gBAAgB,EAAE,MAAM;IACxB,kBAAkB,EAAE,QAAQ;IAC5B,mBAAmB,EAAE,SAAS;IAC9B,iBAAiB,EAAE,OAAO;IAC1B,iBAAiB,EAAE,OAAO;IAC1B,gBAAgB,EAAE,MAAM;IACxB,oBAAoB,EAAE,UAAU;IAChC,sBAAsB,EAAE,YAAY;IACpC,wBAAwB,EAAE,cAAc;IACxC,6BAA6B,EAAE,cAAc;IAC7C,8BAA8B,EAAE,cAAc;IAC9C,0BAA0B,EAAE,eAAe;IAC3C,oBAAoB,EAAE,UAAU;IAChC,iBAAiB,EAAE,OAAO;IAC1B,qBAAqB,EAAE,WAAW;IAClC,iBAAiB,EAAE,OAAO;CAClB,CAAA"}

package/dist/index.d.ts

@@ -0,0 +1,48 @@
+export { preprocess, lex, skipTrivia, generatePreprocessSourceMap } from "./preprocess/index.ts";
+export { ALL_RESERVED_KEYWORDS, KEYWORDS_BY_SCOPE, CONTAINER_KEYWORDS } from "./preprocess/index.ts";
+export type { RawSourceMap } from "./preprocess/index.ts";
+export type { Token, TokenKind, Rewrite, Span, PreprocessResult, } from "./preprocess/types.ts";
+export { parsePreprocessed, extractGraph, codegen } from "./passes/index.ts";
+export * from "./ast/nodes.ts";
+export { compile, compileToGraph } from "./compile.ts";
+export type { CompileResult, GraphResult } from "./compile.ts";
+export { NATIVE_BEHAVIOURS, matchedNativeBehaviours } from "./behaviours/index.ts";
+export type { BehaviourEmitCtx, CompilerNativeBehaviour } from "./behaviours/types.ts";
+export { buildSidecar, sidecarPathFor } from "./sidecar.ts";
+export type { ReactraSidecar, ComponentMetadata, StoreMetadata, ServiceMetadata, ParamMetadata, QueryMetadata, StateMetadata, DerivedMetadata, ActionMetadata, ResourceMetadata, UsesMetadata, StoreUseMetadata, InjectMetadata, AwaitMetadata, InputMetadata, BuildSidecarOptions, } from "./sidecar.ts";
+/**
+ * Options accepted by the Babel plugin factory. Reserved for Phase 2;
+ * pagesDir / emitSidecars / devtools land with items #5b and #7 of the
+ * Phase 1 plan.
+ */
+export interface ReactraBabelOptions {
+    /** Reserved — no options recognised in Phase 1 MVP. */
+    readonly _reserved?: never;
+}
+/**
+ * Cheap pre-check: does this source look like it contains Reactra DSL?
+ * Exported for the Vite plugin so both code paths share the same gate.
+ */
+export declare const containsReactraDsl: (source: string) => boolean;
+/** Babel plugin shape — what Babel actually receives. */
+export interface ReactraBabelPlugin {
+    readonly name: string;
+    parserOverride(code: string, parserOpts: object, parse: (code: string, opts: object) => unknown): unknown;
+}
+/**
+ * Babel plugin factory. Use from a `.babelrc` / `babel.config.js`:
+ *
+ * ```js
+ * module.exports = { plugins: ["@reactra/babel-plugin"] }
+ * ```
+ *
+ * Implementation: `parserOverride` runs Reactra's `compile()` first, then
+ * feeds the resulting React-19 TSX into Babel's regular parser. Downstream
+ * plugins (e.g. `@babel/preset-react`) see only standard React output.
+ *
+ * Files that don't contain a Reactra container keyword pass through
+ * unmodified — the gate is a single regex test.
+ */
+export declare const reactraBabelPlugin: (_babel: unknown, _options?: ReactraBabelOptions) => ReactraBabelPlugin;
+export default reactraBabelPlugin;
+//# 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":"AAgBA,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AAGhG,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AACpG,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzD,YAAY,EACV,KAAK,EACL,SAAS,EACT,OAAO,EACP,IAAI,EACJ,gBAAgB,GACjB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAC5E,cAAc,gBAAgB,CAAA;AAC9B,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AACtD,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAM9D,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAClF,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAEtF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC3D,YAAY,EACV,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,aAAa,EACb,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,aAAa,EACb,mBAAmB,GACpB,MAAM,cAAc,CAAA;AAErB;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,uDAAuD;IACvD,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,CAAA;CAC3B;AAwBD;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,QAAQ,MAAM,KAAG,OACjB,CAAA;AAEnC,yDAAyD;AACzD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,cAAc,CACZ,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,GAC7C,OAAO,CAAA;CACX;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,OAAO,EACf,WAAU,mBAAwB,KACjC,kBAOD,CAAA;AAEF,eAAe,kBAAkB,CAAA"}

package/dist/index.js

@@ -0,0 +1,77 @@
+// @reactra/babel-plugin — Reactra DSL → React 19 compiler (Phase 1)
+//
+// Owner: reactra-compiler-spec.md (Spec 2.1 / Discussion v3)
+//
+// Public surface:
+//   - compile()           : direct compile API (used by @reactra/vite-plugin)
+//   - reactraBabelPlugin  : Babel plugin factory for standalone .babelrc use
+//   - preprocess(), lex() : pre-processor primitives (Pass 1.1)
+//   - AST node types      : Phase 1 graph nodes
+//
+// The Babel plugin runs the compile pipeline via `parserOverride` so the
+// rest of Babel's pipeline (including @babel/preset-react) sees the
+// React-19 TSX output instead of raw DSL. See Compiler v3 §7.2.
+import { compile } from "./compile.js";
+export { preprocess, lex, skipTrivia, generatePreprocessSourceMap } from "./preprocess/index.js";
+// Canonical keyword sets — single source of truth for tooling (LSP-0 grammar
+// generator + diagnostic-suppression plugin). Requirements §3 owns the count.
+export { ALL_RESERVED_KEYWORDS, KEYWORDS_BY_SCOPE, CONTAINER_KEYWORDS } from "./preprocess/index.js";
+export { parsePreprocessed, extractGraph, codegen } from "./passes/index.js";
+export * from "./ast/nodes.js";
+export { compile, compileToGraph } from "./compile.js";
+// framework-review §B1 / C3: the language-tools shadow emitter reads the
+// behaviour registry. Surface it on the `.` export so language-tools imports
+// `@reactra/babel-plugin` instead of a cross-package relative path. (The shared
+// emission conventions live under the `./conventions` subpath export.)
+export { NATIVE_BEHAVIOURS, matchedNativeBehaviours } from "./behaviours/index.js";
+export { buildSidecar, sidecarPathFor } from "./sidecar.js";
+// Container keywords that signal "this file contains Reactra DSL." Cheap
+// regex gate so plain .tsx/.ts modules skip the compile pass entirely.
+//
+// Anchor: every Reactra container (`export component`, `route store`,
+// `session store`, the v2 `export <lifetime> store` 3-slot form
+// (`export app store`), the v1 bare `export store`, `(export) service`)
+// appears at the TOP LEVEL of the file, so after any leading whitespace
+// the keyword is the very first token on its line. The /m flag makes `^`
+// match at every line start, so the regex naturally skips matches that
+// happen inside comments (`// route store reads…`), inside template
+// literals (`\`it's a route store\``), or inside JSDoc (` * Instantiate
+// a route store…`) — none of those put the keyword at line-start.
+//
+// The store branch accepts an OPTIONAL `export` before the lifetime word
+// (`export app store`) — `export` is a modifier, not a lifetime — plus the
+// v1 bare `export store` form. Missing the export-prefixed lifetime form was
+// a real bug: the Phase-5 codemod's `export store`→`export app store` (T2)
+// produced a valid v2 container the gate didn't recognize, so esbuild's
+// dep-scan saw raw DSL and bailed with "Unexpected app".
+const REACTRA_CONTAINER_RE = /^\s*(?:export\s+component|(?:export\s+)?(?:app|route|session|subtree)\s+store|export\s+store|(?:export\s+)?service)\s/m;
+/**
+ * Cheap pre-check: does this source look like it contains Reactra DSL?
+ * Exported for the Vite plugin so both code paths share the same gate.
+ */
+export const containsReactraDsl = (source) => REACTRA_CONTAINER_RE.test(source);
+/**
+ * Babel plugin factory. Use from a `.babelrc` / `babel.config.js`:
+ *
+ * ```js
+ * module.exports = { plugins: ["@reactra/babel-plugin"] }
+ * ```
+ *
+ * Implementation: `parserOverride` runs Reactra's `compile()` first, then
+ * feeds the resulting React-19 TSX into Babel's regular parser. Downstream
+ * plugins (e.g. `@babel/preset-react`) see only standard React output.
+ *
+ * Files that don't contain a Reactra container keyword pass through
+ * unmodified — the gate is a single regex test.
+ */
+export const reactraBabelPlugin = (_babel, _options = {}) => ({
+    name: "@reactra/babel-plugin",
+    parserOverride(code, parserOpts, parse) {
+        if (!containsReactraDsl(code))
+            return parse(code, parserOpts);
+        const { code: compiled } = compile(code);
+        return parse(compiled, parserOpts);
+    },
+});
+export default reactraBabelPlugin;
+//# 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,oEAAoE;AACpE,EAAE;AACF,6DAA6D;AAC7D,EAAE;AACF,kBAAkB;AAClB,8EAA8E;AAC9E,6EAA6E;AAC7E,gEAAgE;AAChE,gDAAgD;AAChD,EAAE;AACF,yEAAyE;AACzE,oEAAoE;AACpE,gEAAgE;AAEhE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AAChG,6EAA6E;AAC7E,8EAA8E;AAC9E,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAUpG,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAC5E,cAAc,gBAAgB,CAAA;AAC9B,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAGtD,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,uEAAuE;AACvE,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAGlF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AA8B3D,yEAAyE;AACzE,uEAAuE;AACvE,EAAE;AACF,sEAAsE;AACtE,gEAAgE;AAChE,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,uEAAuE;AACvE,oEAAoE;AACpE,wEAAwE;AACxE,kEAAkE;AAClE,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,2EAA2E;AAC3E,wEAAwE;AACxE,yDAAyD;AACzD,MAAM,oBAAoB,GACxB,wHAAwH,CAAA;AAE1H;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAW,EAAE,CAC5D,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAYnC;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAe,EACf,WAAgC,EAAE,EACd,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,uBAAuB;IAC7B,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK;QACpC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QAC7D,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;QACxC,OAAO,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IACpC,CAAC;CACF,CAAC,CAAA;AAEF,eAAe,kBAAkB,CAAA"}

package/dist/passes/index.d.ts

@@ -0,0 +1,5 @@
+export { parsePreprocessed } from "./pass-1-parse.ts";
+export { extractGraph } from "./pass-2-extract.ts";
+export { analyzeReadSets } from "./pass-3-readset.ts";
+export { codegen } from "./pass-9-codegen.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/passes/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/passes/index.js

@@ -0,0 +1,6 @@
+// Pipeline entry points for the per-pass implementations.
+export { parsePreprocessed } from "./pass-1-parse.js";
+export { extractGraph } from "./pass-2-extract.js";
+export { analyzeReadSets } from "./pass-3-readset.js";
+export { codegen } from "./pass-9-codegen.js";
+//# sourceMappingURL=index.js.map

package/dist/passes/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/passes/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAE1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/passes/pass-1-parse.d.ts

@@ -0,0 +1,3 @@
+import type { File } from "@babel/types";
+export declare const parsePreprocessed: (preprocessed: string) => File;
+//# sourceMappingURL=pass-1-parse.d.ts.map

package/dist/passes/pass-1-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass-1-parse.d.ts","sourceRoot":"","sources":["../../src/passes/pass-1-parse.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAExC,eAAO,MAAM,iBAAiB,GAAI,cAAc,MAAM,KAAG,IAQxD,CAAA"}

package/dist/passes/pass-1-parse.js

@@ -0,0 +1,21 @@
+// Pass 1 — parse the preprocessed source with @babel/parser.
+//
+// Input:  preprocessed TSX/TS source (output of the preprocess pass).
+// Output: Babel `File` AST node.
+//
+// The preprocessor wrap from Day 5a means the input is valid TSX, so we
+// can feed it directly to @babel/parser with the `jsx` + `typescript`
+// plugins enabled.
+//
+// Owner spec: reactra-compiler-spec.md §4 Pass 1.
+import { parse } from "@babel/parser";
+export const parsePreprocessed = (preprocessed) => {
+    return parse(preprocessed, {
+        sourceType: "module",
+        allowImportExportEverywhere: false,
+        allowReturnOutsideFunction: false,
+        plugins: ["jsx", "typescript"],
+        tokens: false,
+    });
+};
+//# sourceMappingURL=pass-1-parse.js.map

package/dist/passes/pass-1-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass-1-parse.js","sourceRoot":"","sources":["../../src/passes/pass-1-parse.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,sEAAsE;AACtE,iCAAiC;AACjC,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,mBAAmB;AACnB,EAAE;AACF,kDAAkD;AAElD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAGrC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,YAAoB,EAAQ,EAAE;IAC9D,OAAO,KAAK,CAAC,YAAY,EAAE;QACzB,UAAU,EAAE,QAAQ;QACpB,2BAA2B,EAAE,KAAK;QAClC,0BAA0B,EAAE,KAAK;QACjC,OAAO,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC;QAC9B,MAAM,EAAE,KAAK;KACd,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/passes/pass-2-extract.d.ts

@@ -0,0 +1,4 @@
+import * as t from "@babel/types";
+import type { FileGraph } from "../ast/nodes.ts";
+export declare const extractGraph: (source: string, preprocessed: string, ast: t.File) => FileGraph;
+//# sourceMappingURL=pass-2-extract.d.ts.map

package/dist/passes/pass-2-extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass-2-extract.d.ts","sourceRoot":"","sources":["../../src/passes/pass-2-extract.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,EASV,SAAS,EAqBV,MAAM,iBAAiB,CAAA;AA6CxB,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,EAAE,cAAc,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,KAAG,SAuHhF,CAAA"}