@logixjs/core 0.0.1

package/dist/StateTrait-BGsZghTz.d.ts

@@ -0,0 +1,122 @@
+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';
+
+type StateTraitSpec<S> = StateTraitSpec$1<S>;
+type StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry$1<S, P>;
+type StateTraitProgram<S> = StateTraitProgram$1<S>;
+type StateTraitGraph = StateTraitGraph$1;
+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 StateFieldPath<S> = StateFieldPath$1<S>;
+type StateAtPath<S, P> = StateAtPath$1<S, P>;
+declare const $root: "$root";
+type DepsArgs<S extends object, Deps extends ReadonlyArray<StateFieldPath<S>>> = {
+    readonly [K in keyof Deps]: StateAtPath<S, Deps[K]>;
+};
+/**
+ * StateTrait.from:
+ * - 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 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>;
+/**
+ * StateTrait.computed:
+ * - Declares computed semantics for a field.
+ * - Uses explicit deps as the single source of truth for dependencies (diagnostics / reverse-closure / incremental sched).
+ */
+declare const computed: <S extends object, P extends StateFieldPath<S>, const Deps extends ReadonlyArray<StateFieldPath<S>>>(input: {
+    readonly deps: Deps;
+    readonly get: (...depsValues: DepsArgs<S, Deps>) => StateAtPath<S, P>;
+    readonly equals?: (prev: StateAtPath<S, P>, next: StateAtPath<S, P>) => boolean;
+    /**
+     * 043: explicit converge time-slicing scheduling.
+     * - unset: immediate (default behavior unchanged)
+     * - deferred: can be postponed and merged into later windows (requires runtime time-slicing enabled)
+     */
+    readonly scheduling?: TraitConvergeScheduling;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.source:
+ * - Declares an external resource source for a field (Resource / Query integration is implemented in later phases).
+ * - The kernel owns keyHash gating / concurrency / ReplayMode behavior.
+ */
+declare const source: <S extends object, P extends StateFieldPath<S>, const Deps extends ReadonlyArray<StateFieldPath<S>>>(input: {
+    readonly resource: string;
+    readonly deps: Deps;
+    readonly key: (...depsValues: DepsArgs<S, Deps>) => unknown;
+    readonly triggers?: ReadonlyArray<"onMount" | "onKeyChange" | "manual">;
+    readonly debounceMs?: number;
+    readonly concurrency?: "switch" | "exhaust-trailing";
+    /**
+     * Serializable metadata for Devtools/docs (whitelisted fields are extracted during build).
+     */
+    readonly meta?: Record<string, unknown>;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.link:
+ * - Declares a linkage from another field into the target field.
+ * - `meta.from` is also constrained by `StateFieldPath<S>`.
+ */
+declare const link: <S extends object, P extends StateFieldPath<S>>(meta: {
+    from: StateFieldPath<S>;
+    /**
+     * 043: explicit converge time-slicing scheduling.
+     * - unset: immediate (default behavior unchanged)
+     * - deferred: can be postponed and merged into later windows (requires runtime time-slicing enabled)
+     */
+    scheduling?: TraitConvergeScheduling;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.build:
+ * - 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>;
+/**
+ * StateTrait.install:
+ * - Installs Program-defined behavior (computed/link/source/check, etc.) on top of a Bound API.
+ * - Each PlanStep corresponds to a long-lived Effect mounted into the runtime Scope.
+ */
+declare const install: <S extends object>(bound: BoundApi<any, any>, program: StateTraitProgram<S>) => Effect.Effect<void, never, any>;
+/**
+ * StateTrait.exportStaticIr:
+ * - Exports minimal Static IR (aligned with 009 canonical FieldPath constraints) for Devtools / Alignment Lab.
+ * - The return value must be JSON-stringifiable (evidence packages / replay pipeline).
+ */
+type StaticIr = StaticIr$1;
+declare const exportStaticIr: (program: StateTraitProgram<any>, moduleId: string, options?: {
+    readonly version?: string;
+}) => StaticIr;
+
+declare const StateTrait_$root: typeof $root;
+type StateTrait_CheckRule<Input = unknown, Ctx = unknown> = CheckRule<Input, Ctx>;
+type StateTrait_StateAtPath<S, P> = StateAtPath<S, P>;
+type StateTrait_StateFieldPath<S> = StateFieldPath<S>;
+type StateTrait_StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry<S, P>;
+type StateTrait_StateTraitGraph = StateTraitGraph;
+type StateTrait_StateTraitList<Item = unknown> = StateTraitList<Item>;
+type StateTrait_StateTraitNode<Input = unknown, Ctx = unknown> = StateTraitNode<Input, Ctx>;
+type StateTrait_StateTraitPlan = StateTraitPlan;
+type StateTrait_StateTraitProgram<S> = StateTraitProgram<S>;
+type StateTrait_StateTraitSpec<S> = StateTraitSpec<S>;
+type StateTrait_StaticIr = StaticIr;
+declare const StateTrait_build: typeof build;
+declare const StateTrait_computed: typeof computed;
+declare const StateTrait_exportStaticIr: typeof exportStaticIr;
+declare const StateTrait_from: typeof from;
+declare const StateTrait_install: typeof install;
+declare const StateTrait_link: typeof link;
+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 { $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 };

package/dist/StateTrait-OWhbj12c.d.cts

@@ -0,0 +1,122 @@
+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';
+
+type StateTraitSpec<S> = StateTraitSpec$1<S>;
+type StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry$1<S, P>;
+type StateTraitProgram<S> = StateTraitProgram$1<S>;
+type StateTraitGraph = StateTraitGraph$1;
+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 StateFieldPath<S> = StateFieldPath$1<S>;
+type StateAtPath<S, P> = StateAtPath$1<S, P>;
+declare const $root: "$root";
+type DepsArgs<S extends object, Deps extends ReadonlyArray<StateFieldPath<S>>> = {
+    readonly [K in keyof Deps]: StateAtPath<S, Deps[K]>;
+};
+/**
+ * StateTrait.from:
+ * - 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 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>;
+/**
+ * StateTrait.computed:
+ * - Declares computed semantics for a field.
+ * - Uses explicit deps as the single source of truth for dependencies (diagnostics / reverse-closure / incremental sched).
+ */
+declare const computed: <S extends object, P extends StateFieldPath<S>, const Deps extends ReadonlyArray<StateFieldPath<S>>>(input: {
+    readonly deps: Deps;
+    readonly get: (...depsValues: DepsArgs<S, Deps>) => StateAtPath<S, P>;
+    readonly equals?: (prev: StateAtPath<S, P>, next: StateAtPath<S, P>) => boolean;
+    /**
+     * 043: explicit converge time-slicing scheduling.
+     * - unset: immediate (default behavior unchanged)
+     * - deferred: can be postponed and merged into later windows (requires runtime time-slicing enabled)
+     */
+    readonly scheduling?: TraitConvergeScheduling;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.source:
+ * - Declares an external resource source for a field (Resource / Query integration is implemented in later phases).
+ * - The kernel owns keyHash gating / concurrency / ReplayMode behavior.
+ */
+declare const source: <S extends object, P extends StateFieldPath<S>, const Deps extends ReadonlyArray<StateFieldPath<S>>>(input: {
+    readonly resource: string;
+    readonly deps: Deps;
+    readonly key: (...depsValues: DepsArgs<S, Deps>) => unknown;
+    readonly triggers?: ReadonlyArray<"onMount" | "onKeyChange" | "manual">;
+    readonly debounceMs?: number;
+    readonly concurrency?: "switch" | "exhaust-trailing";
+    /**
+     * Serializable metadata for Devtools/docs (whitelisted fields are extracted during build).
+     */
+    readonly meta?: Record<string, unknown>;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.link:
+ * - Declares a linkage from another field into the target field.
+ * - `meta.from` is also constrained by `StateFieldPath<S>`.
+ */
+declare const link: <S extends object, P extends StateFieldPath<S>>(meta: {
+    from: StateFieldPath<S>;
+    /**
+     * 043: explicit converge time-slicing scheduling.
+     * - unset: immediate (default behavior unchanged)
+     * - deferred: can be postponed and merged into later windows (requires runtime time-slicing enabled)
+     */
+    scheduling?: TraitConvergeScheduling;
+}) => StateTraitEntry<S, P>;
+/**
+ * StateTrait.build:
+ * - 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>;
+/**
+ * StateTrait.install:
+ * - Installs Program-defined behavior (computed/link/source/check, etc.) on top of a Bound API.
+ * - Each PlanStep corresponds to a long-lived Effect mounted into the runtime Scope.
+ */
+declare const install: <S extends object>(bound: BoundApi<any, any>, program: StateTraitProgram<S>) => Effect.Effect<void, never, any>;
+/**
+ * StateTrait.exportStaticIr:
+ * - Exports minimal Static IR (aligned with 009 canonical FieldPath constraints) for Devtools / Alignment Lab.
+ * - The return value must be JSON-stringifiable (evidence packages / replay pipeline).
+ */
+type StaticIr = StaticIr$1;
+declare const exportStaticIr: (program: StateTraitProgram<any>, moduleId: string, options?: {
+    readonly version?: string;
+}) => StaticIr;
+
+declare const StateTrait_$root: typeof $root;
+type StateTrait_CheckRule<Input = unknown, Ctx = unknown> = CheckRule<Input, Ctx>;
+type StateTrait_StateAtPath<S, P> = StateAtPath<S, P>;
+type StateTrait_StateFieldPath<S> = StateFieldPath<S>;
+type StateTrait_StateTraitEntry<S = unknown, P extends string = string> = StateTraitEntry<S, P>;
+type StateTrait_StateTraitGraph = StateTraitGraph;
+type StateTrait_StateTraitList<Item = unknown> = StateTraitList<Item>;
+type StateTrait_StateTraitNode<Input = unknown, Ctx = unknown> = StateTraitNode<Input, Ctx>;
+type StateTrait_StateTraitPlan = StateTraitPlan;
+type StateTrait_StateTraitProgram<S> = StateTraitProgram<S>;
+type StateTrait_StateTraitSpec<S> = StateTraitSpec<S>;
+type StateTrait_StaticIr = StaticIr;
+declare const StateTrait_build: typeof build;
+declare const StateTrait_computed: typeof computed;
+declare const StateTrait_exportStaticIr: typeof exportStaticIr;
+declare const StateTrait_from: typeof from;
+declare const StateTrait_install: typeof install;
+declare const StateTrait_link: typeof link;
+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 { $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 };