@reactra/babel-plugin 0.1.0-alpha.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Akhil Shastri and the Reactra contributors
+
+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,17 @@
+# @reactra/babel-plugin
+
+> The Reactra compiler — transforms the Reactra DSL into standard React 19 TSX.
+
+**Alpha** — published under the npm dist-tag `alpha`. APIs may change before 1.0.
+
+```bash
+npm install @reactra/babel-plugin@alpha
+```
+
+Part of [Reactra](https://github.com/akhilshastri/reactra) — a compiler-first,
+React-19-compatible framework. See the [documentation](https://reactra-docs.vercel.app) to get
+started.
+
+## License
+
+MIT

package/dist/ast/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./nodes.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ast/index.ts"],"names":[],"mappings":"AACA,cAAc,YAAY,CAAA"}

package/dist/ast/index.js

@@ -0,0 +1,3 @@
+// Re-export Reactra AST node interfaces.
+export * from "./nodes.js";
+//# sourceMappingURL=index.js.map

package/dist/ast/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ast/index.ts"],"names":[],"mappings":"AAAA,yCAAyC;AACzC,cAAc,YAAY,CAAA"}

package/dist/ast/nodes.d.ts

@@ -0,0 +1,437 @@
+import type { CallExpression, Expression, ArrowFunctionExpression } from "@babel/types";
+export type ContainerKind = "component" | "service" | "route-store" | "session-store" | "export-store";
+export interface ContainerNode {
+    kind: ContainerKind;
+    name: string;
+    exported: boolean;
+    /** the __reactra_{kind}__(name, factory) call expression */
+    call: CallExpression;
+    /** the factory arrow whose body holds the body markers */
+    factory: ArrowFunctionExpression;
+    states: StateNode[];
+    deriveds: DerivedNode[];
+    actions: ActionNode[];
+    commands: CommandNode[];
+    resources: ResourceNode[];
+    refs: RefNode[];
+    effects: EffectNode[];
+    mounts: MountNode[];
+    cleanups: CleanupNode[];
+    injects: InjectNode[];
+    provides: ProvideNode[];
+    uses?: UsesNode;
+    view?: ViewNode;
+    params: ParamNode[];
+    queries: QueryNode[];
+    meta?: MetaNode;
+    prefetch?: PrefetchNode;
+    transition?: TransitionNode;
+    storeUses: StoreUseNode[];
+    errorBoundary?: ErrorBoundaryNode;
+    suspense?: SuspenseNode;
+    /**
+     * Day 23 / `#7b`: per-component list of `await(r) { ... } pending { ... }
+     * error(e) { ... }` blocks extracted from the view body. Populated by
+     * a Pass-2 walker after the view is captured. The runtime path is
+     * still Pass-9's inline rewrite (Suspense + ErrorBoundary + use());
+     * this list exists so devtools / LSP / future passes can enumerate
+     * await sites without re-parsing the view AST. Empty for components
+     * without a view OR without any `await(r){...}` calls.
+     */
+    awaitBlocks: AwaitBlockNode[];
+    inputs: InputNode[];
+    preserved?: PreservedNode;
+    subtreePath?: string;
+    keySig?: string;
+    /**
+     * Service-only — Wave 3 §2b. Captures the `scoped` / `server` modifier
+     * on `export service scoped X { ... }` / `export service server X
+     * { ... }`. Mapped from the preprocessor's marker name in Pass 2 —
+     * `__reactra_service_scoped__` → `"scoped"`,
+     * `__reactra_service_server__` → `"server"`. Absent for app-singleton
+     * `export service X` (the default).
+     */
+    serviceModifier?: "scoped" | "server";
+    /**
+     * Component-only — the React-style props parameter (Component DSL §1.1).
+     * `propsParam` is the verbatim parameter text Pass 9 re-emits on the component
+     * arrow (`const X = (<propsParam>) => …`); absent for a bare `component X {`.
+     * `propNames` are the binding names Pass 3 adds to the reactive read-set: each
+     * destructured binding for `({ a, b })`, or the single bag identifier for
+     * `(props)` (a `props.x` member read then resolves to the `props` object).
+     */
+    propsParam?: string;
+    propNames?: string[];
+}
+export interface StateNode {
+    kind: "state";
+    name: string;
+    initializer: Expression;
+    /** original source text of the initializer (for codegen) */
+    initializerText: string;
+    /** the __reactra_state__("name", init) call expression */
+    call: CallExpression;
+}
+export interface DerivedNode {
+    kind: "derived";
+    name: string;
+    /** thunk arrow ()=>(expr); body holds the expression */
+    thunk: ArrowFunctionExpression;
+    /** original source text of the expression */
+    exprText: string;
+    /**
+     * Reactive reads in the expression — the `useMemo` dependency array.
+     * Populated by Pass 3 (read-set analysis); `[]` means no reactive reads.
+     * Without this the emitted `useMemo(fn, [])` would freeze at first render.
+     */
+    deps: string[];
+    call: CallExpression;
+}
+export interface ActionNode {
+    kind: "action";
+    name: string;
+    isAsync: boolean;
+    /** the (args)=>{ body } arrow */
+    arrow: ArrowFunctionExpression;
+    /**
+     * Reactive reads in the body — the `useCallback` dependency array.
+     * Populated by Pass 3 (read-set analysis); `[]` means no reactive reads.
+     * Without this the emitted `useCallback(fn, [])` captures stale state.
+     */
+    deps: string[];
+    call: CallExpression;
+}
+/**
+ * The `command` write primitive (forms / CQRS twin of `resource`). Slice 1: the
+ * BLOCK form `command f(args) { body }` — implicitly async — lowers to React 19
+ * `useActionState` (Pass 9 `emitCommand`), exposing `f.pending`/`f.result`/`f.error`.
+ * The arrow + `optimistic {}` form and the `uses replayable`/`undoable` recording
+ * layer (begin/commit/rollback → the P2 channel) are later slices.
+ */
+export interface CommandNode {
+    kind: "command";
+    name: string;
+    /**
+     * "block" = `command f() { body }` → `useActionState` (Slice 1).
+     * "arrow" = `command f() => fetcher` → `useTransition` (Slice 3a; + `useOptimistic`
+     * once the `optimistic {}` clause lands in Slice 3b).
+     */
+    form: "block" | "arrow";
+    /**
+     * block: the `async (args) => { body }` arrow; arrow: the `async (args) => (fetcher)`
+     * arrow. Emitted verbatim (source-mapped) inside the reducer / transition.
+     */
+    arrow: ArrowFunctionExpression;
+    /**
+     * Arrow form only — the `() => { writes }` arrow from the `optimistic {}` clause
+     * (Slice 3b). Each `X = expr` is lowered to BOTH the optimistic setter (`__setOpt_X`,
+     * applied before the await) and the real setter (`setX`, the commit on success);
+     * React's `useOptimistic` auto-reverts on failure. Absent = no optimistic clause.
+     */
+    optimistic?: ArrowFunctionExpression;
+    /**
+     * Arrow form only — resource names from the `invalidate [a, b]` clause (Slice 4).
+     * After the command settles successfully, each listed resource's cache entry is
+     * invalidated (`__getResourceCache().invalidate([...])`) so it refetches. Absent
+     * = no invalidate clause.
+     */
+    invalidate?: string[];
+    /**
+     * Arrow form only — the `(e) => { body }` arrow from the `rollback(e) {}` clause
+     * (Slice 4). Run in the catch on failure (IIFE-called with the error). When
+     * present the failure is treated as handled (no re-throw); useOptimistic still
+     * auto-reverts. Absent = the error propagates (or, under recording, re-throws).
+     */
+    rollback?: ArrowFunctionExpression;
+    call: CallExpression;
+}
+export interface ResourceNode {
+    kind: "resource";
+    name: string;
+    /** ()=>deps thunk */
+    depsThunk: ArrowFunctionExpression;
+    /** (deps, ctx)=>fn(deps) arrow */
+    fetcher: ArrowFunctionExpression;
+    /**
+     * Compiler stage 3 — opt-in modifier flags from the DSL grammar
+     * (`resource X(deps) [signal] [cache] [swr] [retry] => fn`). Pass 9
+     * merges these into the third `useResource(deps, fn, opts)` argument
+     * and into the route-store warm-companion's `warmResource(name, deps,
+     * fn, signal)` call (warm itself is best-effort; only `signal` affects
+     * the fetcher arrow). Absent = all false → emitted opts stay at just
+     * `{ resourceName: "..." }` (architect Q2 Path B preserved).
+     */
+    optCache?: boolean;
+    optSwr?: boolean;
+    optRetry?: boolean;
+    /**
+     * Parameterized-modifier values (the args inside `swr(…)` / `cache(ttl: …)` /
+     * `retry(…)`). Source text of the value expression, already normalized by the
+     * rewriter (durations → ms). Absent = the modifier was written bare and Pass 9
+     * uses the default (`ttlMs: 60_000`, `retry: 3`). `cacheTtl` applies to whichever
+     * of `swr`/`cache` is set (swr → SWR window; cache → hard-expiry refetch).
+     */
+    cacheTtl?: string;
+    retryCount?: string;
+    /**
+     * The `select(<arrow>)` selector's source text (Option A). Pass 9 emits it as
+     * the `select` ResourceOption; the shadow types `.data` as `ReturnType<typeof
+     * (<select>)>`. Both read this one string → no shadow⇄Pass-9 drift (B1).
+     */
+    select?: string;
+    /**
+     * R028 (advisory) — names of deps that mint a fresh object/array reference per
+     * render: an inline `ObjectExpression`/`ArrayExpression` dep literal, or an
+     * identifier naming a same-container `derived` whose thunk RHS is an object/
+     * array literal. Such a dep never key-equals across renders, so the resource
+     * refetches every render and the `depsToKey` id cache grows unbounded
+     * (Component DSL §2.4). Populated by Pass 3; absent/empty = stable. Pass 9
+     * emits a `console.warn` per offending name. Inline-literal deps have no
+     * identifier name, so they appear as a synthetic `"(inline object literal)"` /
+     * `"(inline array literal)"` marker.
+     */
+    unstableDeps?: string[];
+    call: CallExpression;
+}
+export interface EffectNode {
+    kind: "effect";
+    /** present for `effect on(x)` — null for plain `effect` */
+    watch?: ArrowFunctionExpression;
+    /** ()=>{body} arrow */
+    body: ArrowFunctionExpression;
+    call: CallExpression;
+}
+export interface MountNode {
+    kind: "mount";
+    body: ArrowFunctionExpression;
+    call: CallExpression;
+}
+export interface CleanupNode {
+    kind: "cleanup";
+    body: ArrowFunctionExpression;
+    call: CallExpression;
+}
+export interface RefNode {
+    kind: "ref";
+    name: string;
+    initializer: Expression;
+    initializerText: string;
+    call: CallExpression;
+}
+export interface ViewNode {
+    kind: "view";
+    /** ()=>(<>JSX</>) arrow */
+    body: ArrowFunctionExpression;
+    /**
+     * R029 (advisory) — the number of `.map()` calls in this view whose callback
+     * returns a `JSXElement` with no `key` attribute (and no `JSXSpreadAttribute`,
+     * which may carry a key). Fragment shorthand `<>…</>` returns are excluded
+     * (a fragment cannot take a key). Populated by Pass 3; `0`/absent = clean.
+     * Pass 9 emits one `console.warn` per offending `.map()`. Emission-invisible.
+     */
+    keylessMaps?: number;
+    call: CallExpression;
+}
+export interface ParamNode {
+    kind: "param";
+    name: string;
+    call: CallExpression;
+}
+export interface QueryNode {
+    kind: "query";
+    name: string;
+    /**
+     * The declared TS type text (e.g. `"number"`, `"string"`,
+     * `'"active" | "archived"'`), threaded from the preprocessor so Pass-9 can
+     * emit the right runtime coercion. Defaults to `"string"` when the
+     * declaration omits the annotation.
+     */
+    tsType: string;
+    defaultExpr?: Expression;
+    defaultText?: string;
+    /**
+     * Custom parser identifier from `query foo: T from parseFoo` (Router §3.1).
+     * When present, Pass 9 emits `const foo = parseFoo(__route.query.foo)` instead
+     * of the generic `coerceQuery(...)` — the user's parser owns the conversion.
+     */
+    fromParser?: string;
+    call: CallExpression;
+}
+export interface MetaNode {
+    kind: "meta";
+    /** the meta object literal expression */
+    object: Expression;
+    call: CallExpression;
+}
+export interface PrefetchNode {
+    kind: "prefetch";
+    trigger: "hover" | "visible" | "mount" | "none";
+    call: CallExpression;
+}
+export interface TransitionNode {
+    kind: "transition";
+    name: string;
+    durationMs?: number;
+    call: CallExpression;
+}
+export type StoreUseClassification = "bare" | "argumented" | "keyed";
+/** A renamed field selection — `inject store X { source: local }` (Store v4.7 §2.5). */
+export interface StoreFieldRename {
+    readonly source: string;
+    readonly local: string;
+    /** Set when the user wrote `source as local` — invalid (S017); raised in Pass 9. */
+    readonly as?: boolean;
+}
+/** A field-selection entry: a bare field name, or a `{ source: local }` rename. */
+export type StoreField = string | StoreFieldRename;
+/** The in-scope binding name of a field entry — the rename target, else the field itself. */
+export declare const fieldLocal: (f: StoreField) => string;
+export interface StoreUseNode {
+    kind: "store-use";
+    storeName: string;
+    classification: StoreUseClassification;
+    /** for argumented + keyed: the args object literal `{ input: routeSource }` */
+    args?: Expression;
+    /** for keyed: the key expression */
+    key?: Expression;
+    /**
+     * Explicit field selection from `inject store X { a, b }` (Store §2.5).
+     * Present → codegen destructures exactly these names; absent → namespace
+     * binding (`const X = useReactraStore<X>("X")`, member access). Backlog 1a.
+     * A renamed entry `{ b: localB }` is a {@link StoreFieldRename} (Store v4.7);
+     * the **local** name is the in-scope binding and the Pass-3 read-set key.
+     */
+    fields?: StoreField[];
+    /**
+     * Optional `:Type` override from `inject store X({…}): IFoo { … }` (Store §2.5,
+     * Compiler v14). Present → codegen emits `useReactraStore<IFoo>` so TypeScript
+     * surfaces an incompatible structural subset (S015 is type-level/LSP, not a
+     * Babel-pass check). Independent of `fields` and `classification`. The override
+     * types the value but never binds the store *name* (still `import type { X }`).
+     */
+    typeOverride?: string;
+    /**
+     * Namespace alias from `inject store X as Y` (Store v4.9 §2.5). Present →
+     * Pass 9 binds `const Y = useReactraStore<X>("X")` and Pass 3 keys the
+     * namespace read-set on `Y`. Namespace-only — `alias` + `fields` is S018.
+     */
+    alias?: string;
+    call: CallExpression;
+}
+export interface InjectNode {
+    kind: "inject";
+    name: string;
+    /**
+     * Kind qualifier from `inject service X` (Requirements v14). Absent for the
+     * `inject X from <source>` forms and for a bare `inject X` (the latter is
+     * SVC015 — missing qualifier and no source clause).
+     */
+    serviceKind?: "service";
+    /** `"config"` / `"inject"` when an explicit `from <source>` clause is present. */
+    source?: string;
+    /**
+     * Namespace alias from `inject service X as Y` (Service v2.3 §4.2). Present →
+     * Pass 9 binds `const Y = useService("X")` (or `ServiceRegistry.get`). The
+     * service identity (`name`) is unchanged; only the local binding is renamed.
+     */
+    alias?: string;
+    call: CallExpression;
+}
+export interface ProvideNode {
+    kind: "provide";
+    name: string;
+    /** the value expression after `with` */
+    value: Expression;
+    valueText: string;
+    call: CallExpression;
+}
+export interface UsesNode {
+    kind: "uses";
+    names: string[];
+    call: CallExpression;
+}
+export interface ErrorBoundaryNode {
+    kind: "error-boundary";
+    errorParam: string;
+    body: ArrowFunctionExpression;
+    call: CallExpression;
+}
+/**
+ * One `await(r) { … } pending { … } error(e) { … }` block discovered in
+ * a component's view body. `resourceName` is the text of the resource
+ * expression — typically a bare identifier (e.g. `"customer"`) but can be
+ * any expression (e.g. `"profile.data"`); the sidecar consumer treats
+ * it as opaque. `hasPending` / `hasError` mirror whether the optional
+ * branches are present in the source.
+ */
+export interface AwaitBlockNode {
+    kind: "await-block";
+    resourceName: string;
+    hasPending: boolean;
+    hasError: boolean;
+}
+export interface SuspenseNode {
+    kind: "suspense";
+    body: ArrowFunctionExpression;
+    call: CallExpression;
+}
+export type InputRequired = "required" | "optional" | "default";
+export interface InputNode {
+    kind: "input";
+    name: string;
+    requirement: InputRequired;
+    /** present when requirement === "default" */
+    defaultExpr?: Expression;
+    defaultText?: string;
+    /**
+     * The declared TS type text (e.g. `"string"`, `"Customer"`), threaded from the
+     * preprocessor for the shadow emitter (Run 2 / D3). Pass-9 codegen does NOT read
+     * it — store inputs lower structurally — so adding it is emission-invisible
+     * (golden byte-identical). Absent when unannotated.
+     */
+    tsType?: string;
+    call: CallExpression;
+}
+export interface PreservedNode {
+    kind: "preserved";
+    /** state field names to preserve */
+    fields: string[];
+    call: CallExpression;
+}
+/**
+ * The output of Pass 2 (extraction): a flat list of containers per source
+ * file, each with its body markers fully classified. Later passes consume
+ * this structure.
+ */
+export interface FileGraph {
+    /** original source string — needed by passes to slice expression text */
+    source: string;
+    /** preprocessed source that was actually parsed */
+    preprocessed: string;
+    /** top-level Reactra declarations */
+    containers: ContainerNode[];
+    /**
+     * Verbatim text of every top-level `import …` statement in the source.
+     * The preprocessor never touches module-scope imports, so the slices are
+     * directly equivalent to what the user wrote. Pass 9 re-emits them above
+     * the compiler-injected imports so the user's modules stay reachable
+     * inside container bodies.
+     */
+    userImports: string[];
+    /**
+     * Verbatim text of every top-level `interface` / `type` declaration in the
+     * source (including `export`ed ones). These are pure type-level (hoisted,
+     * zero runtime), so Pass 9 re-emits them after the imports — letting a DSL
+     * file declare its own props types (`interface FieldProps { … }`) in-file
+     * (Component DSL §1.1). Non-type top-level statements (const/function) are
+     * not preserved.
+     */
+    userTypes: string[];
+}
+/**
+ * Marker function name -> ContainerKind for the top-level wrappers.
+ * Used by Pass 2 to recognise the outer-decl markers emitted by the
+ * preprocessor's signature-wrap step.
+ */
+export declare const CONTAINER_MARKERS: Record<string, ContainerKind>;
+//# sourceMappingURL=nodes.d.ts.map

package/dist/ast/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAIvF,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,eAAe,GAAG,cAAc,CAAA;AAEtG,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,4DAA4D;IAC5D,IAAI,EAAE,cAAc,CAAA;IACpB,0DAA0D;IAC1D,OAAO,EAAE,uBAAuB,CAAA;IAGhC,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,OAAO,EAAE,UAAU,EAAE,CAAA;IACrB,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,SAAS,EAAE,YAAY,EAAE,CAAA;IACzB,IAAI,EAAE,OAAO,EAAE,CAAA;IACf,OAAO,EAAE,UAAU,EAAE,CAAA;IACrB,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,OAAO,EAAE,UAAU,EAAE,CAAA;IACrB,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,IAAI,CAAC,EAAE,QAAQ,CAAA;IACf,IAAI,CAAC,EAAE,QAAQ,CAAA;IAGf,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,IAAI,CAAC,EAAE,QAAQ,CAAA;IACf,QAAQ,CAAC,EAAE,YAAY,CAAA;IACvB,UAAU,CAAC,EAAE,cAAc,CAAA;IAC3B,SAAS,EAAE,YAAY,EAAE,CAAA;IACzB,aAAa,CAAC,EAAE,iBAAiB,CAAA;IACjC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAEvB;;;;;;;;OAQG;IACH,WAAW,EAAE,cAAc,EAAE,CAAA;IAG7B,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,SAAS,CAAC,EAAE,aAAa,CAAA;IAGzB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,CAAC,EAAE,MAAM,CAAA;IAEf;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAA;IAErC;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAID,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,UAAU,CAAA;IACvB,4DAA4D;IAC5D,eAAe,EAAE,MAAM,CAAA;IACvB,0DAA0D;IAC1D,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,wDAAwD;IACxD,KAAK,EAAE,uBAAuB,CAAA;IAC9B,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAA;IAChB;;;;OAIG;IACH,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;IAChB,iCAAiC;IACjC,KAAK,EAAE,uBAAuB,CAAA;IAC9B;;;;OAIG;IACH,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ;;;;OAIG;IACH,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;IACvB;;;OAGG;IACH,KAAK,EAAE,uBAAuB,CAAA;IAC9B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,uBAAuB,CAAA;IACpC;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,uBAAuB,CAAA;IAClC,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,qBAAqB;IACrB,SAAS,EAAE,uBAAuB,CAAA;IAClC,kCAAkC;IAClC,OAAO,EAAE,uBAAuB,CAAA;IAChC;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;IACvB,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAA;IACd,2DAA2D;IAC3D,KAAK,CAAC,EAAE,uBAAuB,CAAA;IAC/B,uBAAuB;IACvB,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,UAAU,CAAA;IACvB,eAAe,EAAE,MAAM,CAAA;IACvB,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,2BAA2B;IAC3B,IAAI,EAAE,uBAAuB,CAAA;IAC7B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ;;;;;OAKG;IACH,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,UAAU,CAAA;IACxB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,yCAAyC;IACzC,MAAM,EAAE,UAAU,CAAA;IAClB,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,CAAA;IAC/C,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,YAAY,GAAG,OAAO,CAAA;AAEpE,wFAAwF;AACxF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAA;CACtB;AAED,mFAAmF;AACnF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,gBAAgB,CAAA;AAElD,6FAA6F;AAC7F,eAAO,MAAM,UAAU,GAAI,GAAG,UAAU,KAAG,MAA+C,CAAA;AAE1F,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,WAAW,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,sBAAsB,CAAA;IACtC,+EAA+E;IAC/E,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,oCAAoC;IACpC,GAAG,CAAC,EAAE,UAAU,CAAA;IAChB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,UAAU,EAAE,CAAA;IACrB;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ;;;;OAIG;IACH,WAAW,CAAC,EAAE,SAAS,CAAA;IACvB,kFAAkF;IAClF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,wCAAwC;IACxC,KAAK,EAAE,UAAU,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,gBAAgB,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,cAAc,CAAA;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,aAAa,CAAA;IACnB,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,cAAc,CAAA;CACrB;AAID,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAA;AAE/D,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,aAAa,CAAA;IAC1B,6CAA6C;IAC7C,WAAW,CAAC,EAAE,UAAU,CAAA;IACxB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,CAAA;IACjB,oCAAoC;IACpC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,IAAI,EAAE,cAAc,CAAA;CACrB;AAID;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yEAAyE;IACzE,MAAM,EAAE,MAAM,CAAA;IACd,mDAAmD;IACnD,YAAY,EAAE,MAAM,CAAA;IACpB,qCAAqC;IACrC,UAAU,EAAE,aAAa,EAAE,CAAA;IAC3B;;;;;;OAMG;IACH,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB;;;;;;;OAOG;IACH,SAAS,EAAE,MAAM,EAAE,CAAA;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAiB3D,CAAA"}

package/dist/ast/nodes.js

@@ -0,0 +1,35 @@
+// Reactra AST node interfaces — Compiler v2 §3 (AST Node Catalogue).
+//
+// These are *annotations* attached to the underlying Babel AST during
+// Pass 2 (extraction) and used by Passes 3–9. Each node holds:
+//   - the metadata extracted from the marker call (name, initializer, …)
+//   - a reference back to the Babel CallExpression so later passes can
+//     mutate or rewrite the original node in place.
+//
+// Owner spec: reactra-compiler-spec.md §3.
+/** The in-scope binding name of a field entry — the rename target, else the field itself. */
+export const fieldLocal = (f) => (typeof f === "string" ? f : f.local);
+/**
+ * Marker function name -> ContainerKind for the top-level wrappers.
+ * Used by Pass 2 to recognise the outer-decl markers emitted by the
+ * preprocessor's signature-wrap step.
+ */
+export const CONTAINER_MARKERS = {
+    __reactra_component__: "component",
+    __reactra_service__: "service",
+    __reactra_service_scoped__: "service",
+    __reactra_service_server__: "service",
+    __reactra_route_store__: "route-store",
+    __reactra_route_store_subtree__: "route-store",
+    __reactra_route_store_keyed__: "route-store",
+    __reactra_session_store__: "session-store",
+    __reactra_export_store__: "export-store",
+    /**
+     * DSL v2 — `export app store X { … }` (lifetime word is `app`, separate from
+     * `export`). Safe-default: maps to the existing `"export-store"` kind so sidecar
+     * / emit / extraction are byte-identical. The `kind: "export"` emitted value is
+     * unchanged (renaming to `"app"` is deferred — see plan §5 G2 note).
+     */
+    __reactra_app_store__: "export-store",
+};
+//# sourceMappingURL=nodes.js.map

package/dist/ast/nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,EAAE;AACF,sEAAsE;AACtE,+DAA+D;AAC/D,yEAAyE;AACzE,uEAAuE;AACvE,oDAAoD;AACpD,EAAE;AACF,2CAA2C;AAwU3C,6FAA6F;AAC7F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAqK1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAkC;IAC9D,qBAAqB,EAAE,WAAW;IAClC,mBAAmB,EAAE,SAAS;IAC9B,0BAA0B,EAAE,SAAS;IACrC,0BAA0B,EAAE,SAAS;IACrC,uBAAuB,EAAE,aAAa;IACtC,+BAA+B,EAAE,aAAa;IAC9C,6BAA6B,EAAE,aAAa;IAC5C,yBAAyB,EAAE,eAAe;IAC1C,wBAAwB,EAAE,cAAc;IACxC;;;;;OAKG;IACH,qBAAqB,EAAE,cAAc;CACtC,CAAA"}

package/dist/behaviours/index.d.ts

@@ -0,0 +1,18 @@
+import type { ContainerNode } from "../ast/nodes.ts";
+import type { CompilerNativeBehaviour } from "./types.ts";
+export type { BehaviourEmitCtx, CompilerNativeBehaviour } from "./types.ts";
+/**
+ * The compiler-native behaviours, keyed by `uses` name. Grow this map as native
+ * behaviours ship. Plugin/HOF behaviours are NOT in this map (separate, deferred
+ * Behaviour Plugin spec).
+ */
+export declare const NATIVE_BEHAVIOURS: ReadonlyMap<string, CompilerNativeBehaviour>;
+/**
+ * The registered native behaviours a container `uses`, in `uses` source order
+ * (Component DSL §9: "instrumentation is layered in source order"). Components
+ * only — a store/service carrying a native behaviour is out of Phase-1 scope, so
+ * it matches nothing here and the use-site diagnostic in the owner spec applies.
+ * Unmatched `uses` names are not returned; Pass 9 warns them inert.
+ */
+export declare const matchedNativeBehaviours: (c: ContainerNode) => CompilerNativeBehaviour[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/behaviours/index.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAEpD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAA;AAGzD,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAA;AAE3E;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAGzE,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,GAAI,GAAG,aAAa,KAAG,uBAAuB,EAQjF,CAAA"}

package/dist/behaviours/index.js

@@ -0,0 +1,36 @@
+// @reactra/babel-plugin — compiler-native behaviour registry.
+//
+// Owner spec: reactra-compiler-spec.md §4 Pass 9.1. Maps each `uses` name to the
+// `CompilerNativeBehaviour` that knows how to instrument it. Pass 9 dispatches
+// through this table; a name absent from it stays a code-less `BHV` inert
+// advisory (NOT a silent drop — architect condition 3 / today's BUG-3 path).
+import { replayableBehaviour } from "./replayable.js";
+import { undoableBehaviour } from "./undoable.js";
+/**
+ * The compiler-native behaviours, keyed by `uses` name. Grow this map as native
+ * behaviours ship. Plugin/HOF behaviours are NOT in this map (separate, deferred
+ * Behaviour Plugin spec).
+ */
+export const NATIVE_BEHAVIOURS = new Map([
+    [undoableBehaviour.name, undoableBehaviour],
+    [replayableBehaviour.name, replayableBehaviour],
+]);
+/**
+ * The registered native behaviours a container `uses`, in `uses` source order
+ * (Component DSL §9: "instrumentation is layered in source order"). Components
+ * only — a store/service carrying a native behaviour is out of Phase-1 scope, so
+ * it matches nothing here and the use-site diagnostic in the owner spec applies.
+ * Unmatched `uses` names are not returned; Pass 9 warns them inert.
+ */
+export const matchedNativeBehaviours = (c) => {
+    if (c.kind !== "component")
+        return [];
+    const out = [];
+    for (const name of c.uses?.names ?? []) {
+        const b = NATIVE_BEHAVIOURS.get(name);
+        if (b)
+            out.push(b);
+    }
+    return out;
+};
+//# sourceMappingURL=index.js.map

package/dist/behaviours/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/behaviours/index.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,0EAA0E;AAC1E,6EAA6E;AAG7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAIjD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAiD,IAAI,GAAG,CAAC;IACrF,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,CAAC;CAChD,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAgB,EAA6B,EAAE;IACrF,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,CAAA;IACrC,MAAM,GAAG,GAA8B,EAAE,CAAA;IACzC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA"}

package/dist/behaviours/plugin.d.ts

@@ -0,0 +1,22 @@
+import type { ContainerNode, FileGraph } from "../ast/nodes.ts";
+/** First-party plugin behaviours — DSL vocabulary with a compiler-constant import path (§3 row 2). */
+export declare const FIRST_PARTY_PLUGINS: ReadonlySet<string>;
+/**
+ * Binding names introduced by the file's top-level VALUE imports — named,
+ * default, and namespace forms; `import type` lines are skipped (a type can't
+ * wrap a component). Regex over the preserved user-import lines is sufficient:
+ * Pass 2 stores them verbatim and they are single statements by construction.
+ */
+export declare const importedBindingNames: (userImports: readonly string[]) => Set<string>;
+/** A resolved plugin behaviour: the wrap identifier + whether it auto-imports. */
+export interface ResolvedPlugin {
+    name: string;
+    firstParty: boolean;
+}
+/**
+ * Resolve a component's plugin-class `uses` names (everything not in the
+ * native registry), in source order (Behaviour Plugin §3). Throws R045 for a
+ * name that is neither first-party nor bound by a value import in the file.
+ */
+export declare const resolvePluginBehaviours: (c: ContainerNode, graph: FileGraph) => ResolvedPlugin[];
+//# sourceMappingURL=plugin.d.ts.map

package/dist/behaviours/plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../src/behaviours/plugin.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAG/D,sGAAsG;AACtG,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAIlD,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAAI,aAAa,SAAS,MAAM,EAAE,KAAG,GAAG,CAAC,MAAM,CAsB/E,CAAA;AAED,kFAAkF;AAClF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,OAAO,CAAA;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,GAAG,aAAa,EAAE,OAAO,SAAS,KAAG,cAAc,EAe1F,CAAA"}