@logixjs/core 0.0.1 → 1.0.0

package/dist/{State-CU50R26M.d.cts → State-rNFsFPTl.d.cts}

@@ -1,4 +1,4 @@
-import { Context, Layer as Layer$1 } from 'effect';
+import { ServiceMap, Layer as Layer$1 } from 'effect';
 
 /**
  * State namespace (module-level):
@@ -7,7 +7,7 @@ import { Context, Layer as Layer$1 } from 'effect';
  *
  * Type-level only; no additional runtime dependency.
  */
-type Tag<S> = Context.Tag<any, S>;
+type Tag<S> = ServiceMap.Key<any, S>;
 type Layer<S> = Layer$1.Layer<Tag<S>, never, never>;
 
 type State_Layer<S> = Layer<S>;

package/dist/{State-CU50R26M.d.ts → State-rNFsFPTl.d.ts}

@@ -1,4 +1,4 @@
-import { Context, Layer as Layer$1 } from 'effect';
+import { ServiceMap, Layer as Layer$1 } from 'effect';
 
 /**
  * State namespace (module-level):
@@ -7,7 +7,7 @@ import { Context, Layer as Layer$1 } from 'effect';
  *
  * Type-level only; no additional runtime dependency.
  */
-type Tag<S> = Context.Tag<any, S>;
+type Tag<S> = ServiceMap.Key<any, S>;
 type Layer<S> = Layer$1.Layer<Tag<S>, never, never>;
 
 type State_Layer<S> = Layer<S>;

package/dist/State.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/State.ts"],"sourcesContent":["import type { Context, Layer as EffectLayer } from 'effect'\n\n/**\n * State namespace (module-level):\n * - Provides State.Tag<S>: marks a state type in Env.\n * - Provides State.Layer<S>: builds a Layer that only carries State.Tag<S>.\n *\n * Type-level only; no additional runtime dependency.\n */\nexport type Tag<S> = Context.Tag<any, S>\nexport type Layer<S> = EffectLayer.Layer<Tag<S>, never, never>\n"],"mappings":";;;;;;;;;;;;;;;;AAAA;AAAA;","names":[]}
+{"version":3,"sources":["../src/State.ts"],"sourcesContent":["import type { Layer as EffectLayer, ServiceMap } from 'effect'\n\n/**\n * State namespace (module-level):\n * - Provides State.Tag<S>: marks a state type in Env.\n * - Provides State.Layer<S>: builds a Layer that only carries State.Tag<S>.\n *\n * Type-level only; no additional runtime dependency.\n */\nexport type Tag<S> = ServiceMap.Key<any, S>\nexport type Layer<S> = EffectLayer.Layer<Tag<S>, never, never>\n"],"mappings":";;;;;;;;;;;;;;;;AAAA;AAAA;","names":[]}

package/dist/State.d.cts

@@ -1,2 +1,2 @@
 import 'effect';
-export { L as Layer, T as Tag } from './State-CU50R26M.cjs';
+export { L as Layer, T as Tag } from './State-rNFsFPTl.cjs';

package/dist/State.d.ts

@@ -1,2 +1,2 @@
 import 'effect';
-export { L as Layer, T as Tag } from './State-CU50R26M.js';
+export { L as Layer, T as Tag } from './State-rNFsFPTl.js';

package/dist/State.js

@@ -1,2 +1,2 @@
-import "./chunk-TQOBJYDP.js";
+import "./chunk-CD4N74YC.js";
 //# sourceMappingURL=State.js.map

package/dist/{StateTrait-BGsZghTz.d.ts → StateTrait-CijdwNb6.d.ts}

@@ -1,7 +1,8 @@
 import { Schema, Effect } from 'effect';
-import { a as BoundApi } from './Bound-BN1DQ_lM.js';
-import { a1 as StateTraitProgram$1, a2 as StateTraitGraph$1, a3 as StateTraitPlan$1, a4 as StateTraitSpec$1, a5 as StateTraitEntry$1, a6 as StateTraitNode$1, a7 as StateTraitList$1, a8 as CheckRule$1, a9 as StateFieldPath$1, aa as StateAtPath$1, ab as TraitConvergeScheduling } from './module-k7m3txak.js';
-import { S as StaticIr$1 } from './ir-DUOz6H-5.js';
+import { a as BoundApi } from './Bound-1OJLzVIS.js';
+import { a as ExternalStore } from './ExternalStore-DqJKKRJ4.js';
+import { ag as StateTraitProgram$1, ah as StateTraitGraph$1, ai as StateTraitPlan$1, aj as StateTraitSpec$1, ak as StateTraitEntry$1, al as StateTraitNode$1, am as StateTraitList$1, an as CheckRule$1, ao as TraitMeta$1, ap as StateFieldPath$1, aq as StateAtPath$1, ar as TraitConvergeScheduling, as as TraitLane } from './module-Zd1Gn-Nj.js';
+import { S as StaticIr$1 } from './ir-D-uqwL_4.js';
 
 type StateTraitSpec<S> = StateTraitSpec$1<S>;
 type StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry$1<S, P>;
@@ -11,6 +12,7 @@ type StateTraitPlan = StateTraitPlan$1;
 type StateTraitNode<Input = unknown, Ctx = unknown> = StateTraitNode$1<Input, Ctx>;
 type StateTraitList<Item = unknown> = StateTraitList$1<Item>;
 type CheckRule<Input = unknown, Ctx = unknown> = CheckRule$1<Input, Ctx>;
+type TraitMeta = TraitMeta$1;
 type StateFieldPath<S> = StateFieldPath$1<S>;
 type StateAtPath<S, P> = StateAtPath$1<S, P>;
 declare const $root: "$root";
@@ -22,7 +24,7 @@ type DepsArgs<S extends object, Deps extends ReadonlyArray<StateFieldPath<S>>> =
  * - Narrows available field paths based on the state Schema, adding type constraints to trait specs.
  * - At runtime this returns the raw spec object; normalization is handled by internal layers.
  */
-declare const from: <S extends object, I>(_schema: Schema.Schema<S, I>) => (spec: StateTraitSpec<S>) => StateTraitSpec<S>;
+declare const from: <S extends object>(_schema: Schema.Schema<S>) => (spec: StateTraitSpec<S>) => StateTraitSpec<S>;
 declare const node: <Input = unknown, Ctx = unknown>(spec: Omit<StateTraitNode$1<Input, Ctx>, "_tag">) => StateTraitNode$1<Input, Ctx>;
 declare const list: <Item = unknown>(spec: Omit<StateTraitList$1<Item>, "_tag">) => StateTraitList$1<Item>;
 /**
@@ -56,7 +58,20 @@ declare const source: <S extends object, P extends StateFieldPath<S>, const Deps
     /**
      * Serializable metadata for Devtools/docs (whitelisted fields are extracted during build).
      */
-    readonly meta?: Record<string, unknown>;
+    readonly meta?: TraitMeta;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.externalStore:
+ * - Declares that a field is written back from an ExternalStore (external input or Module-as-Source).
+ * - The field is treated as external-owned: do not write to it from reducers/computed/link/source; use separate fields + derived traits.
+ */
+declare const externalStore: <S extends object, P extends StateFieldPath<S>, T = StateAtPath<S, P>>(input: {
+    readonly store: ExternalStore<T>;
+    readonly select?: (snapshot: T) => StateAtPath<S, P>;
+    readonly equals?: (prev: StateAtPath<S, P>, next: StateAtPath<S, P>) => boolean;
+    readonly coalesceWindowMs?: number;
+    readonly priority?: TraitLane;
+    readonly meta?: TraitMeta;
 }) => StateTraitEntry<S, P>;
 /**
  * StateTrait.link:
@@ -77,7 +92,7 @@ declare const link: <S extends object, P extends StateFieldPath<S>>(meta: {
  * - Normalizes the spec into an executable Program (including Graph/Plan).
  * - When DSL and build constraints differ, build is the final authority (e.g. requiring explicit deps).
  */
-declare const build: <S extends object>(stateSchema: Schema.Schema<S, any>, spec: StateTraitSpec<S>) => StateTraitProgram<S>;
+declare const build: <S extends object>(stateSchema: Schema.Schema<S>, spec: StateTraitSpec<S>) => StateTraitProgram<S>;
 /**
  * StateTrait.install:
  * - Installs Program-defined behavior (computed/link/source/check, etc.) on top of a Bound API.
@@ -106,9 +121,11 @@ type StateTrait_StateTraitPlan = StateTraitPlan;
 type StateTrait_StateTraitProgram<S> = StateTraitProgram<S>;
 type StateTrait_StateTraitSpec<S> = StateTraitSpec<S>;
 type StateTrait_StaticIr = StaticIr;
+type StateTrait_TraitMeta = TraitMeta;
 declare const StateTrait_build: typeof build;
 declare const StateTrait_computed: typeof computed;
 declare const StateTrait_exportStaticIr: typeof exportStaticIr;
+declare const StateTrait_externalStore: typeof externalStore;
 declare const StateTrait_from: typeof from;
 declare const StateTrait_install: typeof install;
 declare const StateTrait_link: typeof link;
@@ -116,7 +133,7 @@ declare const StateTrait_list: typeof list;
 declare const StateTrait_node: typeof node;
 declare const StateTrait_source: typeof source;
 declare namespace StateTrait {
-  export { StateTrait_$root as $root, type StateTrait_CheckRule as CheckRule, type StateTrait_StateAtPath as StateAtPath, type StateTrait_StateFieldPath as StateFieldPath, type StateTrait_StateTraitEntry as StateTraitEntry, type StateTrait_StateTraitGraph as StateTraitGraph, type StateTrait_StateTraitList as StateTraitList, type StateTrait_StateTraitNode as StateTraitNode, type StateTrait_StateTraitPlan as StateTraitPlan, type StateTrait_StateTraitProgram as StateTraitProgram, type StateTrait_StateTraitSpec as StateTraitSpec, type StateTrait_StaticIr as StaticIr, StateTrait_build as build, StateTrait_computed as computed, StateTrait_exportStaticIr as exportStaticIr, StateTrait_from as from, StateTrait_install as install, StateTrait_link as link, StateTrait_list as list, StateTrait_node as node, StateTrait_source as source };
+  export { StateTrait_$root as $root, type StateTrait_CheckRule as CheckRule, type StateTrait_StateAtPath as StateAtPath, type StateTrait_StateFieldPath as StateFieldPath, type StateTrait_StateTraitEntry as StateTraitEntry, type StateTrait_StateTraitGraph as StateTraitGraph, type StateTrait_StateTraitList as StateTraitList, type StateTrait_StateTraitNode as StateTraitNode, type StateTrait_StateTraitPlan as StateTraitPlan, type StateTrait_StateTraitProgram as StateTraitProgram, type StateTrait_StateTraitSpec as StateTraitSpec, type StateTrait_StaticIr as StaticIr, type StateTrait_TraitMeta as TraitMeta, StateTrait_build as build, StateTrait_computed as computed, StateTrait_exportStaticIr as exportStaticIr, StateTrait_externalStore as externalStore, StateTrait_from as from, StateTrait_install as install, StateTrait_link as link, StateTrait_list as list, StateTrait_node as node, StateTrait_source as source };
 }
 
-export { $root as $, type CheckRule as C, StateTrait as S, type StateTraitProgram as a, type StateTraitGraph as b, type StateTraitPlan as c, type StateTraitSpec as d, type StateTraitEntry as e, type StateTraitNode as f, type StateTraitList as g, type StateFieldPath as h, type StateAtPath as i, from as j, computed as k, list as l, link as m, node as n, build as o, install as p, type StaticIr as q, exportStaticIr as r, source as s };
+export { $root as $, type CheckRule as C, StateTrait as S, type TraitMeta as T, type StateTraitProgram as a, type StateTraitGraph as b, type StateTraitPlan as c, type StateTraitSpec as d, type StateTraitEntry as e, type StateTraitNode as f, type StateTraitList as g, type StateFieldPath as h, type StateAtPath as i, from as j, computed as k, list as l, externalStore as m, node as n, link as o, build as p, install as q, type StaticIr as r, source as s, exportStaticIr as t };

package/dist/{StateTrait-OWhbj12c.d.cts → StateTrait-Dltto6PU.d.cts}

@@ -1,7 +1,8 @@
 import { Schema, Effect } from 'effect';
-import { a as BoundApi } from './Bound-BPIfH9SS.cjs';
-import { a1 as StateTraitProgram$1, a2 as StateTraitGraph$1, a3 as StateTraitPlan$1, a4 as StateTraitSpec$1, a5 as StateTraitEntry$1, a6 as StateTraitNode$1, a7 as StateTraitList$1, a8 as CheckRule$1, a9 as StateFieldPath$1, aa as StateAtPath$1, ab as TraitConvergeScheduling } from './module-B8CBqIZ_.cjs';
-import { S as StaticIr$1 } from './ir-BMP7yxJJ.cjs';
+import { a as BoundApi } from './Bound-BMLrtQ1V.cjs';
+import { a as ExternalStore } from './ExternalStore-JC-gAgEI.cjs';
+import { ag as StateTraitProgram$1, ah as StateTraitGraph$1, ai as StateTraitPlan$1, aj as StateTraitSpec$1, ak as StateTraitEntry$1, al as StateTraitNode$1, am as StateTraitList$1, an as CheckRule$1, ao as TraitMeta$1, ap as StateFieldPath$1, aq as StateAtPath$1, ar as TraitConvergeScheduling, as as TraitLane } from './module-Ds4tarcI.cjs';
+import { S as StaticIr$1 } from './ir-BSosEwc8.cjs';
 
 type StateTraitSpec<S> = StateTraitSpec$1<S>;
 type StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry$1<S, P>;
@@ -11,6 +12,7 @@ type StateTraitPlan = StateTraitPlan$1;
 type StateTraitNode<Input = unknown, Ctx = unknown> = StateTraitNode$1<Input, Ctx>;
 type StateTraitList<Item = unknown> = StateTraitList$1<Item>;
 type CheckRule<Input = unknown, Ctx = unknown> = CheckRule$1<Input, Ctx>;
+type TraitMeta = TraitMeta$1;
 type StateFieldPath<S> = StateFieldPath$1<S>;
 type StateAtPath<S, P> = StateAtPath$1<S, P>;
 declare const $root: "$root";
@@ -22,7 +24,7 @@ type DepsArgs<S extends object, Deps extends ReadonlyArray<StateFieldPath<S>>> =
  * - Narrows available field paths based on the state Schema, adding type constraints to trait specs.
  * - At runtime this returns the raw spec object; normalization is handled by internal layers.
  */
-declare const from: <S extends object, I>(_schema: Schema.Schema<S, I>) => (spec: StateTraitSpec<S>) => StateTraitSpec<S>;
+declare const from: <S extends object>(_schema: Schema.Schema<S>) => (spec: StateTraitSpec<S>) => StateTraitSpec<S>;
 declare const node: <Input = unknown, Ctx = unknown>(spec: Omit<StateTraitNode$1<Input, Ctx>, "_tag">) => StateTraitNode$1<Input, Ctx>;
 declare const list: <Item = unknown>(spec: Omit<StateTraitList$1<Item>, "_tag">) => StateTraitList$1<Item>;
 /**
@@ -56,7 +58,20 @@ declare const source: <S extends object, P extends StateFieldPath<S>, const Deps
     /**
      * Serializable metadata for Devtools/docs (whitelisted fields are extracted during build).
      */
-    readonly meta?: Record<string, unknown>;
+    readonly meta?: TraitMeta;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.externalStore:
+ * - Declares that a field is written back from an ExternalStore (external input or Module-as-Source).
+ * - The field is treated as external-owned: do not write to it from reducers/computed/link/source; use separate fields + derived traits.
+ */
+declare const externalStore: <S extends object, P extends StateFieldPath<S>, T = StateAtPath<S, P>>(input: {
+    readonly store: ExternalStore<T>;
+    readonly select?: (snapshot: T) => StateAtPath<S, P>;
+    readonly equals?: (prev: StateAtPath<S, P>, next: StateAtPath<S, P>) => boolean;
+    readonly coalesceWindowMs?: number;
+    readonly priority?: TraitLane;
+    readonly meta?: TraitMeta;
 }) => StateTraitEntry<S, P>;
 /**
  * StateTrait.link:
@@ -77,7 +92,7 @@ declare const link: <S extends object, P extends StateFieldPath<S>>(meta: {
  * - Normalizes the spec into an executable Program (including Graph/Plan).
  * - When DSL and build constraints differ, build is the final authority (e.g. requiring explicit deps).
  */
-declare const build: <S extends object>(stateSchema: Schema.Schema<S, any>, spec: StateTraitSpec<S>) => StateTraitProgram<S>;
+declare const build: <S extends object>(stateSchema: Schema.Schema<S>, spec: StateTraitSpec<S>) => StateTraitProgram<S>;
 /**
  * StateTrait.install:
  * - Installs Program-defined behavior (computed/link/source/check, etc.) on top of a Bound API.
@@ -106,9 +121,11 @@ type StateTrait_StateTraitPlan = StateTraitPlan;
 type StateTrait_StateTraitProgram<S> = StateTraitProgram<S>;
 type StateTrait_StateTraitSpec<S> = StateTraitSpec<S>;
 type StateTrait_StaticIr = StaticIr;
+type StateTrait_TraitMeta = TraitMeta;
 declare const StateTrait_build: typeof build;
 declare const StateTrait_computed: typeof computed;
 declare const StateTrait_exportStaticIr: typeof exportStaticIr;
+declare const StateTrait_externalStore: typeof externalStore;
 declare const StateTrait_from: typeof from;
 declare const StateTrait_install: typeof install;
 declare const StateTrait_link: typeof link;
@@ -116,7 +133,7 @@ declare const StateTrait_list: typeof list;
 declare const StateTrait_node: typeof node;
 declare const StateTrait_source: typeof source;
 declare namespace StateTrait {
-  export { StateTrait_$root as $root, type StateTrait_CheckRule as CheckRule, type StateTrait_StateAtPath as StateAtPath, type StateTrait_StateFieldPath as StateFieldPath, type StateTrait_StateTraitEntry as StateTraitEntry, type StateTrait_StateTraitGraph as StateTraitGraph, type StateTrait_StateTraitList as StateTraitList, type StateTrait_StateTraitNode as StateTraitNode, type StateTrait_StateTraitPlan as StateTraitPlan, type StateTrait_StateTraitProgram as StateTraitProgram, type StateTrait_StateTraitSpec as StateTraitSpec, type StateTrait_StaticIr as StaticIr, StateTrait_build as build, StateTrait_computed as computed, StateTrait_exportStaticIr as exportStaticIr, StateTrait_from as from, StateTrait_install as install, StateTrait_link as link, StateTrait_list as list, StateTrait_node as node, StateTrait_source as source };
+  export { StateTrait_$root as $root, type StateTrait_CheckRule as CheckRule, type StateTrait_StateAtPath as StateAtPath, type StateTrait_StateFieldPath as StateFieldPath, type StateTrait_StateTraitEntry as StateTraitEntry, type StateTrait_StateTraitGraph as StateTraitGraph, type StateTrait_StateTraitList as StateTraitList, type StateTrait_StateTraitNode as StateTraitNode, type StateTrait_StateTraitPlan as StateTraitPlan, type StateTrait_StateTraitProgram as StateTraitProgram, type StateTrait_StateTraitSpec as StateTraitSpec, type StateTrait_StaticIr as StaticIr, type StateTrait_TraitMeta as TraitMeta, StateTrait_build as build, StateTrait_computed as computed, StateTrait_exportStaticIr as exportStaticIr, StateTrait_externalStore as externalStore, StateTrait_from as from, StateTrait_install as install, StateTrait_link as link, StateTrait_list as list, StateTrait_node as node, StateTrait_source as source };
 }
 
-export { $root as $, type CheckRule as C, StateTrait as S, type StateTraitProgram as a, type StateTraitGraph as b, type StateTraitPlan as c, type StateTraitSpec as d, type StateTraitEntry as e, type StateTraitNode as f, type StateTraitList as g, type StateFieldPath as h, type StateAtPath as i, from as j, computed as k, list as l, link as m, node as n, build as o, install as p, type StaticIr as q, exportStaticIr as r, source as s };
+export { $root as $, type CheckRule as C, StateTrait as S, type TraitMeta as T, type StateTraitProgram as a, type StateTraitGraph as b, type StateTraitPlan as c, type StateTraitSpec as d, type StateTraitEntry as e, type StateTraitNode as f, type StateTraitList as g, type StateFieldPath as h, type StateAtPath as i, from as j, computed as k, list as l, externalStore as m, node as n, link as o, build as p, install as q, type StaticIr as r, source as s, exportStaticIr as t };