@logixjs/core 0.0.1 → 0.0.2

package/dist/chunk-ZFLHVFUC.js

@@ -1,192 +0,0 @@
-import {
-  isDevEnv
-} from "./chunk-3QMIVH35.js";
-import {
-  record
-} from "./chunk-DMBALCE2.js";
-
-// src/internal/runtime/core/TaskRunner.ts
-import { Cause, Effect, Fiber, FiberRef, Ref, Stream } from "effect";
-var inSyncTransactionFiber = FiberRef.unsafeMake(false);
-var forceSourceRefresh = FiberRef.unsafeMake(false);
-var inSyncTransactionGlobalDepth = 0;
-var enterSyncTransaction = () => {
-  inSyncTransactionGlobalDepth += 1;
-};
-var exitSyncTransaction = () => {
-  inSyncTransactionGlobalDepth = Math.max(0, inSyncTransactionGlobalDepth - 1);
-};
-var isInSyncTransaction = () => inSyncTransactionGlobalDepth > 0;
-var resolve = (eff, payload) => typeof eff === "function" ? eff(payload) : eff;
-var defaultOrigins = (triggerName) => ({
-  pending: {
-    kind: "task:pending",
-    name: triggerName
-  },
-  success: {
-    kind: "service-callback",
-    name: "task:success"
-  },
-  failure: {
-    kind: "service-callback",
-    name: "task:failure"
-  }
-});
-var shouldNoopInSyncTransactionFiber = (options) => Effect.gen(function* () {
-  const inTxn = yield* FiberRef.get(inSyncTransactionFiber);
-  if (!inTxn) {
-    return false;
-  }
-  if (isDevEnv()) {
-    yield* record({
-      type: "diagnostic",
-      moduleId: options.moduleId,
-      instanceId: options.instanceId,
-      code: options.code,
-      severity: options.severity,
-      message: options.message,
-      hint: options.hint,
-      actionTag: options.actionTag,
-      kind: options.kind
-    });
-  }
-  return true;
-});
-var resolveConcurrencyLimit = (runtime) => runtime.resolveConcurrencyPolicy ? runtime.resolveConcurrencyPolicy().pipe(Effect.map((p) => p.concurrencyLimit)) : Effect.succeed(16);
-var runTaskLifecycle = (payload, runtime, config, getCanWriteBack) => Effect.gen(function* () {
-  const noop = yield* shouldNoopInSyncTransactionFiber({
-    moduleId: runtime.moduleId,
-    instanceId: runtime.instanceId,
-    code: "logic::invalid_usage",
-    severity: "error",
-    message: "run*Task is not allowed inside a synchronous StateTransaction body (it may deadlock the txnQueue).",
-    hint: "Call run*Task from the run section of a watcher (e.g. $.onAction/$.onState/$.on); do not call it directly inside a reducer / trait.run / synchronous transaction body. For long-lived flows, use a multi-entry pattern (pending \u2192 IO \u2192 writeback).",
-    kind: "run_task_in_transaction"
-  });
-  if (noop) {
-    return;
-  }
-  const defaults = defaultOrigins(config.triggerName);
-  const origins = {
-    pending: config.origin?.pending ?? defaults.pending,
-    success: config.origin?.success ?? defaults.success,
-    failure: config.origin?.failure ?? defaults.failure
-  };
-  const pending = config.pending;
-  if (pending) {
-    yield* Effect.uninterruptible(
-      runtime.runWithStateTransaction(origins.pending, () => Effect.asVoid(resolve(pending, payload)))
-    );
-  }
-  const io = resolve(config.effect, payload);
-  const exit = yield* Effect.exit(io);
-  if (getCanWriteBack) {
-    const ok = yield* getCanWriteBack;
-    if (!ok) {
-      return;
-    }
-  }
-  if (exit._tag === "Success") {
-    const success = config.success;
-    if (success) {
-      yield* runtime.runWithStateTransaction(origins.success, () => Effect.asVoid(success(exit.value, payload)));
-    }
-    return;
-  }
-  const cause = exit.cause;
-  if (Cause.isInterrupted(cause)) {
-    return;
-  }
-  const failure = config.failure;
-  if (failure) {
-    yield* runtime.runWithStateTransaction(origins.failure, () => Effect.asVoid(failure(cause, payload)));
-  }
-}).pipe(
-  // Watchers must not crash as a whole due to a single task failure: swallow errors, but keep them diagnosable.
-  Effect.catchAllCause(
-    (cause) => record({
-      type: "diagnostic",
-      moduleId: runtime.moduleId,
-      instanceId: runtime.instanceId,
-      code: "task_runner::unhandled_failure",
-      severity: "error",
-      message: "TaskRunner encountered an unhandled failure (pending/IO/writeback).",
-      hint: "Add a failure writeback for this task or handle errors explicitly upstream; avoid fire-and-forget swallowing errors.",
-      actionTag: config.triggerName,
-      kind: "task_runner_unhandled_failure",
-      trigger: {
-        kind: "task",
-        name: config.triggerName
-      }
-    }).pipe(Effect.zipRight(Effect.logError("TaskRunner error", cause)))
-  )
-);
-var makeTaskRunner = (stream, mode, runtime, config) => {
-  if (mode === "latest") {
-    return Effect.gen(function* () {
-      const taskIdRef = yield* Ref.make(0);
-      const currentFiberRef = yield* Ref.make(void 0);
-      const start = (payload) => Effect.gen(function* () {
-        const taskId = yield* Ref.updateAndGet(taskIdRef, (n) => n + 1);
-        const prev = yield* Ref.get(currentFiberRef);
-        if (prev) {
-          yield* Fiber.interruptFork(prev);
-        }
-        const canWriteBack = Ref.get(taskIdRef).pipe(Effect.map((current) => current === taskId));
-        const fiber = yield* Effect.fork(
-          runTaskLifecycle(payload, runtime, config, canWriteBack)
-        );
-        yield* Ref.set(currentFiberRef, fiber);
-      });
-      return yield* Stream.runForEach(stream, start);
-    });
-  }
-  if (mode === "exhaust") {
-    return Effect.gen(function* () {
-      const concurrency = yield* resolveConcurrencyLimit(runtime);
-      const busyRef = yield* Ref.make(false);
-      const mapper = (payload) => Effect.gen(function* () {
-        const acquired = yield* Ref.modify(
-          busyRef,
-          (busy) => busy ? [false, busy] : [true, true]
-        );
-        if (!acquired) {
-          return;
-        }
-        try {
-          yield* runTaskLifecycle(payload, runtime, config);
-        } finally {
-          yield* Ref.set(busyRef, false);
-        }
-      });
-      return yield* Stream.runDrain(stream.pipe(Stream.mapEffect(mapper, { concurrency })));
-    });
-  }
-  if (mode === "parallel") {
-    return Effect.gen(function* () {
-      const concurrency = yield* resolveConcurrencyLimit(runtime);
-      return yield* Stream.runDrain(
-        stream.pipe(
-          Stream.mapEffect((payload) => runTaskLifecycle(payload, runtime, config), {
-            concurrency
-          })
-        )
-      );
-    });
-  }
-  return Stream.runForEach(
-    stream,
-    (payload) => runTaskLifecycle(payload, runtime, config)
-  );
-};
-
-export {
-  inSyncTransactionFiber,
-  forceSourceRefresh,
-  enterSyncTransaction,
-  exitSyncTransaction,
-  isInSyncTransaction,
-  shouldNoopInSyncTransactionFiber,
-  makeTaskRunner
-};
-//# sourceMappingURL=chunk-ZFLHVFUC.js.map

package/dist/chunk-ZFLHVFUC.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/internal/runtime/core/TaskRunner.ts"],"sourcesContent":["import { Cause, Effect, Fiber, FiberRef, Ref, Stream } from 'effect'\nimport * as Debug from './DebugSink.js'\nimport { isDevEnv } from './env.js'\nimport type * as Logic from './LogicMiddleware.js'\nimport type { AnyModuleShape } from './module.js'\nimport type { RuntimeInternalsResolvedConcurrencyPolicy } from './RuntimeInternals.js'\nimport type { StateTxnOrigin } from './StateTransaction.js'\n\n/**\n * Prevents calling run*Task inside a \"synchronous transaction execution fiber\" (it would deadlock the txnQueue).\n *\n * - ModuleRuntime locally marks it as true while executing each transaction (dispatch/source-refresh/devtools/...).\n * - run*Task checks the flag on start: when true, it emits diagnostics only in dev/test and then no-ops.\n */\nexport const inSyncTransactionFiber = FiberRef.unsafeMake(false)\n\n/**\n * Force source.refresh:\n * - Default: when snapshot keyHash is unchanged and a non-idle snapshot already exists, refresh SHOULD be a no-op\n *   (avoid redundant IO/writeback).\n * - Exception: explicit refresh (manual refresh) / invalidation-driven refresh needs to \"re-fetch even with the same keyHash\".\n *\n * Note: use a FiberRef to locally pass \"whether this refresh is forced\", avoiding expanding the source refresh handler signature.\n */\nexport const forceSourceRefresh = FiberRef.unsafeMake(false)\n\n/**\n * Synchronous transaction window (process-level) marker:\n * - Used as a hard guard in \"non-Effect API\" entry points (e.g. Promise/async functions).\n * - FiberRef cannot reliably read the \"current fiber\" in such entry points, so we need a synchronous callstack-level marker.\n *\n * Note: if a transaction body incorrectly crosses async boundaries, this marker will be held longer; that is a severe violation.\n */\nlet inSyncTransactionGlobalDepth = 0\n\nexport const enterSyncTransaction = (): void => {\n  inSyncTransactionGlobalDepth += 1\n}\n\nexport const exitSyncTransaction = (): void => {\n  inSyncTransactionGlobalDepth = Math.max(0, inSyncTransactionGlobalDepth - 1)\n}\n\nexport const isInSyncTransaction = (): boolean => inSyncTransactionGlobalDepth > 0\n\nexport type TaskRunnerMode =\n  | 'task' // sequential\n  | 'parallel'\n  | 'latest'\n  | 'exhaust'\n\nexport type TaskStatus = 'idle' | 'pending' | 'running' | 'success' | 'failure' | 'interrupted'\n\nexport interface TaskExecution {\n  readonly taskId: number\n  readonly status: TaskStatus\n  readonly acceptedAt: number\n  readonly startedAt?: number\n  readonly endedAt?: number\n}\n\nexport interface TaskRunnerOrigins {\n  readonly pending?: StateTxnOrigin\n  readonly success?: StateTxnOrigin\n  readonly failure?: StateTxnOrigin\n}\n\ntype TaskHandler<Payload, Sh extends AnyModuleShape, R> =\n  | Logic.Of<Sh, R, void, never>\n  | ((payload: Payload) => Logic.Of<Sh, R, void, never>)\n\ntype TaskEffect<Payload, Sh extends AnyModuleShape, R, A, E> =\n  | Logic.Of<Sh, R, A, E>\n  | ((payload: Payload) => Logic.Of<Sh, R, A, E>)\n\nexport interface TaskRunnerConfig<Payload, Sh extends AnyModuleShape, R, A = void, E = never> {\n  /**\n   * Optional: trigger source name (e.g. actionTag / fieldPath), used as the default pending origin.name.\n   * - BoundApiRuntime may fill this in for onAction(\"xxx\") / traits.source.refresh(\"field\"), etc.\n   * - Other callers are not required to provide it.\n   */\n  readonly triggerName?: string\n\n  /**\n   * pending: synchronous state writes (loading=true / clearing errors, etc.), always a separate transaction entry.\n   * - Only executed for tasks that are accepted and actually started (ignored triggers in runExhaustTask do not run pending).\n   */\n  readonly pending?: TaskHandler<Payload, Sh, R>\n\n  /**\n   * effect: real IO / async work (must run outside the transaction window).\n   */\n  readonly effect: TaskEffect<Payload, Sh, R, A, E>\n\n  /**\n   * success: success writeback (separate transaction entry).\n   */\n  readonly success?: (result: A, payload: Payload) => Logic.Of<Sh, R, void, never>\n\n  /**\n   * failure: failure writeback (separate transaction entry).\n   *\n   * Note: takes a Cause to preserve defect/interrupt semantics; interrupts do not trigger failure writeback by default.\n   */\n  readonly failure?: (cause: Cause.Cause<E>, payload: Payload) => Logic.Of<Sh, R, void, never>\n\n  /**\n   * origin: optional override for the three transaction origins.\n   * - Default: pending.kind=\"task:pending\"; success/failure.kind=\"service-callback\".\n   */\n  readonly origin?: TaskRunnerOrigins\n\n  /**\n   * priority: reserved for future debugging/sorting; does not change transaction boundaries or concurrency semantics.\n   */\n  readonly priority?: number\n}\n\nexport interface TaskRunnerRuntime {\n  readonly moduleId?: string\n  readonly instanceId?: string\n  readonly runWithStateTransaction: (\n    origin: StateTxnOrigin,\n    body: () => Effect.Effect<void, never, any>,\n  ) => Effect.Effect<void, never, any>\n  readonly resolveConcurrencyPolicy?: () => Effect.Effect<RuntimeInternalsResolvedConcurrencyPolicy, never, any>\n}\n\nconst resolve = <Payload, Sh extends AnyModuleShape, R, A, E>(\n  eff: TaskEffect<Payload, Sh, R, A, E> | TaskHandler<Payload, Sh, R>,\n  payload: Payload,\n): any => (typeof eff === 'function' ? (eff as any)(payload) : eff)\n\nconst defaultOrigins = (triggerName: string | undefined): Required<TaskRunnerOrigins> => ({\n  pending: {\n    kind: 'task:pending',\n    name: triggerName,\n  },\n  success: {\n    kind: 'service-callback',\n    name: 'task:success',\n  },\n  failure: {\n    kind: 'service-callback',\n    name: 'task:failure',\n  },\n})\n\nexport const shouldNoopInSyncTransactionFiber = (options: {\n  readonly moduleId?: string\n  readonly instanceId?: string\n  readonly code: string\n  readonly severity: 'error' | 'warning' | 'info'\n  readonly message: string\n  readonly hint?: string\n  readonly actionTag?: string\n  readonly kind?: string\n}): Effect.Effect<boolean> =>\n  Effect.gen(function* () {\n    const inTxn = yield* FiberRef.get(inSyncTransactionFiber)\n    if (!inTxn) {\n      return false\n    }\n    // Always no-op regardless of env (otherwise we may deadlock); diagnostics are emitted only in dev/test.\n    if (isDevEnv()) {\n      yield* Debug.record({\n        type: 'diagnostic',\n        moduleId: options.moduleId,\n        instanceId: options.instanceId,\n        code: options.code,\n        severity: options.severity,\n        message: options.message,\n        hint: options.hint,\n        actionTag: options.actionTag,\n        kind: options.kind,\n      })\n    }\n    return true\n  })\n\nconst resolveConcurrencyLimit = (runtime: TaskRunnerRuntime): Effect.Effect<number | 'unbounded', never, any> =>\n  runtime.resolveConcurrencyPolicy\n    ? runtime.resolveConcurrencyPolicy().pipe(Effect.map((p) => p.concurrencyLimit))\n    : Effect.succeed(16)\n\nconst runTaskLifecycle = <Payload, Sh extends AnyModuleShape, R, A, E>(\n  payload: Payload,\n  runtime: TaskRunnerRuntime,\n  config: TaskRunnerConfig<Payload, Sh, R, A, E>,\n  getCanWriteBack?: Effect.Effect<boolean>,\n): Effect.Effect<void, never, Logic.Env<Sh, R>> =>\n  Effect.gen(function* () {\n    const noop = yield* shouldNoopInSyncTransactionFiber({\n      moduleId: runtime.moduleId,\n      instanceId: runtime.instanceId,\n      code: 'logic::invalid_usage',\n      severity: 'error',\n      message: 'run*Task is not allowed inside a synchronous StateTransaction body (it may deadlock the txnQueue).',\n      hint:\n        'Call run*Task from the run section of a watcher (e.g. $.onAction/$.onState/$.on); ' +\n        'do not call it directly inside a reducer / trait.run / synchronous transaction body. For long-lived flows, use a multi-entry pattern (pending → IO → writeback).',\n      kind: 'run_task_in_transaction',\n    })\n    if (noop) {\n      return\n    }\n\n    const defaults = defaultOrigins(config.triggerName)\n    const origins: Required<TaskRunnerOrigins> = {\n      pending: config.origin?.pending ?? defaults.pending,\n      success: config.origin?.success ?? defaults.success,\n      failure: config.origin?.failure ?? defaults.failure,\n    }\n\n    // 1) pending: separate transaction entry; once started it should not be interrupted by runLatest.\n    const pending = config.pending\n    if (pending) {\n      yield* Effect.uninterruptible(\n        runtime.runWithStateTransaction(origins.pending, () => Effect.asVoid(resolve(pending, payload))),\n      )\n    }\n\n    // 2) IO: runs outside the transaction window.\n    const io = resolve(config.effect, payload) as Effect.Effect<A, E, Logic.Env<Sh, R>>\n    const exit = yield* Effect.exit(io)\n\n    // 3) writeback: use the guard to confirm it's still the current task (runLatestTask).\n    if (getCanWriteBack) {\n      const ok = yield* getCanWriteBack\n      if (!ok) {\n        return\n      }\n    }\n\n    if (exit._tag === 'Success') {\n      const success = config.success\n      if (success) {\n        yield* runtime.runWithStateTransaction(origins.success, () => Effect.asVoid(success(exit.value, payload)))\n      }\n      return\n    }\n\n    // Failure: interruptions do not trigger failure writeback (e.g. runLatestTask cancellation, Scope ending).\n    const cause = exit.cause as Cause.Cause<E>\n    if (Cause.isInterrupted(cause)) {\n      return\n    }\n\n    const failure = config.failure\n    if (failure) {\n      yield* runtime.runWithStateTransaction(origins.failure, () => Effect.asVoid(failure(cause, payload)))\n    }\n  }).pipe(\n    // Watchers must not crash as a whole due to a single task failure: swallow errors, but keep them diagnosable.\n    Effect.catchAllCause((cause) =>\n      Debug.record({\n        type: 'diagnostic',\n        moduleId: runtime.moduleId,\n        instanceId: runtime.instanceId,\n        code: 'task_runner::unhandled_failure',\n        severity: 'error',\n        message: 'TaskRunner encountered an unhandled failure (pending/IO/writeback).',\n        hint: 'Add a failure writeback for this task or handle errors explicitly upstream; avoid fire-and-forget swallowing errors.',\n        actionTag: config.triggerName,\n        kind: 'task_runner_unhandled_failure',\n        trigger: {\n          kind: 'task',\n          name: config.triggerName,\n        },\n      }).pipe(Effect.zipRight(Effect.logError('TaskRunner error', cause))),\n    ),\n  ) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n\n/**\n * makeTaskRunner：\n * - Reuses FlowRuntime concurrency semantics (sequential/parallel/latest/exhaust).\n * - Splits a single trigger into: pending (separate txn) → IO → success/failure (separate txn).\n */\nexport const makeTaskRunner = <Payload, Sh extends AnyModuleShape, R, A = void, E = never>(\n  stream: Stream.Stream<Payload>,\n  mode: TaskRunnerMode,\n  runtime: TaskRunnerRuntime,\n  config: TaskRunnerConfig<Payload, Sh, R, A, E>,\n): Effect.Effect<void, never, Logic.Env<Sh, R>> => {\n  if (mode === 'latest') {\n    return Effect.gen(function* () {\n      const taskIdRef = yield* Ref.make(0)\n      const currentFiberRef = yield* Ref.make<Fiber.RuntimeFiber<void, never> | undefined>(undefined)\n\n      const start = (payload: Payload) =>\n        Effect.gen(function* () {\n          const taskId = yield* Ref.updateAndGet(taskIdRef, (n) => n + 1)\n\n          const prev = yield* Ref.get(currentFiberRef)\n          if (prev) {\n            // Do not wait for the old fiber to fully end (avoid blocking new triggers); writeback is guarded by taskId.\n            yield* Fiber.interruptFork(prev)\n          }\n\n          const canWriteBack = Ref.get(taskIdRef).pipe(Effect.map((current) => current === taskId))\n\n          const fiber = yield* Effect.fork(\n            runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config, canWriteBack),\n          )\n\n          yield* Ref.set(currentFiberRef, fiber)\n        })\n\n      return yield* Stream.runForEach(stream, start)\n    })\n  }\n\n  if (mode === 'exhaust') {\n    return Effect.gen(function* () {\n      const concurrency = yield* resolveConcurrencyLimit(runtime)\n      const busyRef = yield* Ref.make(false)\n\n      const mapper = (payload: Payload) =>\n        Effect.gen(function* () {\n          const acquired = yield* Ref.modify(busyRef, (busy) =>\n            busy ? ([false, busy] as const) : ([true, true] as const),\n          )\n          if (!acquired) {\n            // Ignore trigger: no pending transaction is produced.\n            return\n          }\n          try {\n            yield* runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config)\n          } finally {\n            yield* Ref.set(busyRef, false)\n          }\n        })\n\n      return yield* Stream.runDrain(stream.pipe(Stream.mapEffect(mapper, { concurrency })))\n    }) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n  }\n\n  if (mode === 'parallel') {\n    return Effect.gen(function* () {\n      const concurrency = yield* resolveConcurrencyLimit(runtime)\n\n      return yield* Stream.runDrain(\n        stream.pipe(\n          Stream.mapEffect((payload) => runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config), {\n            concurrency,\n          }),\n        ),\n      )\n    }) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n  }\n\n  // mode === \"task\"（sequential）\n  return Stream.runForEach(stream, (payload) =>\n    runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config),\n  ) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n}\n"],"mappings":";;;;;;;;AAAA,SAAS,OAAO,QAAQ,OAAO,UAAU,KAAK,cAAc;AAcrD,IAAM,yBAAyB,SAAS,WAAW,KAAK;AAUxD,IAAM,qBAAqB,SAAS,WAAW,KAAK;AAS3D,IAAI,+BAA+B;AAE5B,IAAM,uBAAuB,MAAY;AAC9C,kCAAgC;AAClC;AAEO,IAAM,sBAAsB,MAAY;AAC7C,iCAA+B,KAAK,IAAI,GAAG,+BAA+B,CAAC;AAC7E;AAEO,IAAM,sBAAsB,MAAe,+BAA+B;AAqFjF,IAAM,UAAU,CACd,KACA,YACS,OAAO,QAAQ,aAAc,IAAY,OAAO,IAAI;AAE/D,IAAM,iBAAiB,CAAC,iBAAkE;AAAA,EACxF,SAAS;AAAA,IACP,MAAM;AAAA,IACN,MAAM;AAAA,EACR;AAAA,EACA,SAAS;AAAA,IACP,MAAM;AAAA,IACN,MAAM;AAAA,EACR;AAAA,EACA,SAAS;AAAA,IACP,MAAM;AAAA,IACN,MAAM;AAAA,EACR;AACF;AAEO,IAAM,mCAAmC,CAAC,YAU/C,OAAO,IAAI,aAAa;AACtB,QAAM,QAAQ,OAAO,SAAS,IAAI,sBAAsB;AACxD,MAAI,CAAC,OAAO;AACV,WAAO;AAAA,EACT;AAEA,MAAI,SAAS,GAAG;AACd,WAAa,OAAO;AAAA,MAClB,MAAM;AAAA,MACN,UAAU,QAAQ;AAAA,MAClB,YAAY,QAAQ;AAAA,MACpB,MAAM,QAAQ;AAAA,MACd,UAAU,QAAQ;AAAA,MAClB,SAAS,QAAQ;AAAA,MACjB,MAAM,QAAQ;AAAA,MACd,WAAW,QAAQ;AAAA,MACnB,MAAM,QAAQ;AAAA,IAChB,CAAC;AAAA,EACH;AACA,SAAO;AACT,CAAC;AAEH,IAAM,0BAA0B,CAAC,YAC/B,QAAQ,2BACJ,QAAQ,yBAAyB,EAAE,KAAK,OAAO,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,IAC7E,OAAO,QAAQ,EAAE;AAEvB,IAAM,mBAAmB,CACvB,SACA,SACA,QACA,oBAEA,OAAO,IAAI,aAAa;AACtB,QAAM,OAAO,OAAO,iCAAiC;AAAA,IACnD,UAAU,QAAQ;AAAA,IAClB,YAAY,QAAQ;AAAA,IACpB,MAAM;AAAA,IACN,UAAU;AAAA,IACV,SAAS;AAAA,IACT,MACE;AAAA,IAEF,MAAM;AAAA,EACR,CAAC;AACD,MAAI,MAAM;AACR;AAAA,EACF;AAEA,QAAM,WAAW,eAAe,OAAO,WAAW;AAClD,QAAM,UAAuC;AAAA,IAC3C,SAAS,OAAO,QAAQ,WAAW,SAAS;AAAA,IAC5C,SAAS,OAAO,QAAQ,WAAW,SAAS;AAAA,IAC5C,SAAS,OAAO,QAAQ,WAAW,SAAS;AAAA,EAC9C;AAGA,QAAM,UAAU,OAAO;AACvB,MAAI,SAAS;AACX,WAAO,OAAO;AAAA,MACZ,QAAQ,wBAAwB,QAAQ,SAAS,MAAM,OAAO,OAAO,QAAQ,SAAS,OAAO,CAAC,CAAC;AAAA,IACjG;AAAA,EACF;AAGA,QAAM,KAAK,QAAQ,OAAO,QAAQ,OAAO;AACzC,QAAM,OAAO,OAAO,OAAO,KAAK,EAAE;AAGlC,MAAI,iBAAiB;AACnB,UAAM,KAAK,OAAO;AAClB,QAAI,CAAC,IAAI;AACP;AAAA,IACF;AAAA,EACF;AAEA,MAAI,KAAK,SAAS,WAAW;AAC3B,UAAM,UAAU,OAAO;AACvB,QAAI,SAAS;AACX,aAAO,QAAQ,wBAAwB,QAAQ,SAAS,MAAM,OAAO,OAAO,QAAQ,KAAK,OAAO,OAAO,CAAC,CAAC;AAAA,IAC3G;AACA;AAAA,EACF;AAGA,QAAM,QAAQ,KAAK;AACnB,MAAI,MAAM,cAAc,KAAK,GAAG;AAC9B;AAAA,EACF;AAEA,QAAM,UAAU,OAAO;AACvB,MAAI,SAAS;AACX,WAAO,QAAQ,wBAAwB,QAAQ,SAAS,MAAM,OAAO,OAAO,QAAQ,OAAO,OAAO,CAAC,CAAC;AAAA,EACtG;AACF,CAAC,EAAE;AAAA;AAAA,EAED,OAAO;AAAA,IAAc,CAAC,UACd,OAAO;AAAA,MACX,MAAM;AAAA,MACN,UAAU,QAAQ;AAAA,MAClB,YAAY,QAAQ;AAAA,MACpB,MAAM;AAAA,MACN,UAAU;AAAA,MACV,SAAS;AAAA,MACT,MAAM;AAAA,MACN,WAAW,OAAO;AAAA,MAClB,MAAM;AAAA,MACN,SAAS;AAAA,QACP,MAAM;AAAA,QACN,MAAM,OAAO;AAAA,MACf;AAAA,IACF,CAAC,EAAE,KAAK,OAAO,SAAS,OAAO,SAAS,oBAAoB,KAAK,CAAC,CAAC;AAAA,EACrE;AACF;AAOK,IAAM,iBAAiB,CAC5B,QACA,MACA,SACA,WACiD;AACjD,MAAI,SAAS,UAAU;AACrB,WAAO,OAAO,IAAI,aAAa;AAC7B,YAAM,YAAY,OAAO,IAAI,KAAK,CAAC;AACnC,YAAM,kBAAkB,OAAO,IAAI,KAAkD,MAAS;AAE9F,YAAM,QAAQ,CAAC,YACb,OAAO,IAAI,aAAa;AACtB,cAAM,SAAS,OAAO,IAAI,aAAa,WAAW,CAAC,MAAM,IAAI,CAAC;AAE9D,cAAM,OAAO,OAAO,IAAI,IAAI,eAAe;AAC3C,YAAI,MAAM;AAER,iBAAO,MAAM,cAAc,IAAI;AAAA,QACjC;AAEA,cAAM,eAAe,IAAI,IAAI,SAAS,EAAE,KAAK,OAAO,IAAI,CAAC,YAAY,YAAY,MAAM,CAAC;AAExF,cAAM,QAAQ,OAAO,OAAO;AAAA,UAC1B,iBAAuC,SAAS,SAAS,QAAQ,YAAY;AAAA,QAC/E;AAEA,eAAO,IAAI,IAAI,iBAAiB,KAAK;AAAA,MACvC,CAAC;AAEH,aAAO,OAAO,OAAO,WAAW,QAAQ,KAAK;AAAA,IAC/C,CAAC;AAAA,EACH;AAEA,MAAI,SAAS,WAAW;AACtB,WAAO,OAAO,IAAI,aAAa;AAC7B,YAAM,cAAc,OAAO,wBAAwB,OAAO;AAC1D,YAAM,UAAU,OAAO,IAAI,KAAK,KAAK;AAErC,YAAM,SAAS,CAAC,YACd,OAAO,IAAI,aAAa;AACtB,cAAM,WAAW,OAAO,IAAI;AAAA,UAAO;AAAA,UAAS,CAAC,SAC3C,OAAQ,CAAC,OAAO,IAAI,IAAe,CAAC,MAAM,IAAI;AAAA,QAChD;AACA,YAAI,CAAC,UAAU;AAEb;AAAA,QACF;AACA,YAAI;AACF,iBAAO,iBAAuC,SAAS,SAAS,MAAM;AAAA,QACxE,UAAE;AACA,iBAAO,IAAI,IAAI,SAAS,KAAK;AAAA,QAC/B;AAAA,MACF,CAAC;AAEH,aAAO,OAAO,OAAO,SAAS,OAAO,KAAK,OAAO,UAAU,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AAAA,IACtF,CAAC;AAAA,EACH;AAEA,MAAI,SAAS,YAAY;AACvB,WAAO,OAAO,IAAI,aAAa;AAC7B,YAAM,cAAc,OAAO,wBAAwB,OAAO;AAE1D,aAAO,OAAO,OAAO;AAAA,QACnB,OAAO;AAAA,UACL,OAAO,UAAU,CAAC,YAAY,iBAAuC,SAAS,SAAS,MAAM,GAAG;AAAA,YAC9F;AAAA,UACF,CAAC;AAAA,QACH;AAAA,MACF;AAAA,IACF,CAAC;AAAA,EACH;AAGA,SAAO,OAAO;AAAA,IAAW;AAAA,IAAQ,CAAC,YAChC,iBAAuC,SAAS,SAAS,MAAM;AAAA,EACjE;AACF;","names":[]}

package/dist/chunk-ZFY7U2FR.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/internal/state-trait/ir.ts"],"sourcesContent":["import type { StateTraitEntry, StateTraitPlanStep, StateTraitProgram } from './model.js'\nimport * as CanonicalFieldPath from '../field-path.js'\nimport { fnv1a32, stableStringify } from '../digest.js'\n\nexport type FieldPath = CanonicalFieldPath.FieldPath\n\nexport interface StaticIrNode {\n  readonly nodeId: string\n  readonly kind: string\n  readonly reads: ReadonlyArray<FieldPath>\n  readonly writes: ReadonlyArray<FieldPath>\n  readonly writesUnknown?: boolean\n  readonly policy?: Record<string, unknown>\n  readonly meta?: {\n    readonly label?: string\n    readonly description?: string\n    readonly tags?: ReadonlyArray<string>\n    readonly group?: string\n    readonly docsUrl?: string\n    readonly cacheGroup?: string\n    readonly annotations?: Record<string, unknown>\n  }\n}\n\nexport interface StaticIrEdge {\n  readonly edgeId: string\n  readonly from: string\n  readonly to: string\n  readonly kind: string\n}\n\nexport interface StaticIr {\n  readonly version: string\n  readonly moduleId: string\n  /**\n   * Stable digest (for drift detection / diffing): determined solely by the current export structure.\n   */\n  readonly digest: string\n  readonly nodes: ReadonlyArray<StaticIrNode>\n  readonly edges: ReadonlyArray<StaticIrEdge>\n  readonly conflicts?: ReadonlyArray<unknown>\n}\n\nconst normalizeFieldPaths = (paths: ReadonlyArray<string> | undefined): ReadonlyArray<FieldPath> => {\n  if (!paths || paths.length === 0) return []\n  const out: Array<FieldPath> = []\n  for (const path of paths) {\n    const normalized = CanonicalFieldPath.normalizeFieldPath(path)\n    if (normalized) out.push(normalized)\n  }\n  return out\n}\n\nconst normalizeFieldPath = (path: string | undefined): FieldPath | undefined =>\n  path ? CanonicalFieldPath.normalizeFieldPath(path) : undefined\n\nconst toNodeKind = (step: StateTraitPlanStep): string => {\n  switch (step.kind) {\n    case 'computed-update':\n      return 'computed'\n    case 'link-propagate':\n      return 'link'\n    case 'source-refresh':\n      return 'source'\n    case 'check-validate':\n      return 'check'\n  }\n}\n\nconst findEntryForStep = (\n  program: StateTraitProgram<any>,\n  step: StateTraitPlanStep,\n): StateTraitEntry<any, string> | undefined => {\n  const fieldPath = step.targetFieldPath\n  if (!fieldPath) return undefined\n  const kind = toNodeKind(step)\n  return program.entries.find(\n    (e) =>\n      e.fieldPath === fieldPath &&\n      (e.kind === kind ||\n        (kind === 'check' && e.kind === 'check') ||\n        (kind === 'source' && e.kind === 'source') ||\n        (kind === 'link' && e.kind === 'link') ||\n        (kind === 'computed' && e.kind === 'computed')),\n  )\n}\n\nconst getReadsForEntry = (entry: StateTraitEntry<any, string> | undefined): ReadonlyArray<string> | undefined => {\n  if (!entry) return undefined\n  if (entry.kind === 'computed') {\n    return (entry.meta as any).deps as ReadonlyArray<string> | undefined\n  }\n  if (entry.kind === 'source') {\n    return (entry.meta as any).deps as ReadonlyArray<string> | undefined\n  }\n  if (entry.kind === 'link') {\n    const from = (entry.meta as any).from as string | undefined\n    return from ? [from] : []\n  }\n  if (entry.kind === 'check') {\n    const rules = ((entry.meta as any)?.rules ?? {}) as Record<string, any>\n    const out: Array<string> = []\n    for (const name of Object.keys(rules)) {\n      const rule = rules[name]\n      const deps = rule?.deps as ReadonlyArray<string> | undefined\n      if (deps) out.push(...deps)\n    }\n    return out\n  }\n  return undefined\n}\n\nexport const exportStaticIr = (params: {\n  readonly program: StateTraitProgram<any>\n  readonly moduleId: string\n  readonly version?: string\n}): StaticIr => {\n  const moduleId = params.moduleId\n  const version = params.version ?? '009'\n\n  const metaByField = new Map<\n    string,\n    {\n      readonly label?: string\n      readonly description?: string\n      readonly tags?: ReadonlyArray<string>\n      readonly group?: string\n      readonly docsUrl?: string\n      readonly cacheGroup?: string\n      readonly annotations?: Record<string, unknown>\n    }\n  >()\n  for (const node of params.program.graph.nodes) {\n    const meta = node.meta as any\n    if (!meta || typeof meta !== 'object') continue\n    const label = typeof meta.label === 'string' ? meta.label : undefined\n    const description = typeof meta.description === 'string' ? meta.description : undefined\n    const tags =\n      Array.isArray(meta.tags) && meta.tags.every((t: unknown) => typeof t === 'string')\n        ? (meta.tags as ReadonlyArray<string>)\n        : undefined\n    const group = typeof meta.group === 'string' ? meta.group : undefined\n    const docsUrl = typeof meta.docsUrl === 'string' ? meta.docsUrl : undefined\n    const cacheGroup = typeof meta.cacheGroup === 'string' ? meta.cacheGroup : undefined\n\n    const annotationsRaw = meta.annotations\n    const annotations =\n      annotationsRaw && typeof annotationsRaw === 'object' && !Array.isArray(annotationsRaw)\n        ? (annotationsRaw as Record<string, unknown>)\n        : undefined\n\n    if (label || description || tags || group || docsUrl || cacheGroup || annotations) {\n      metaByField.set(node.id, {\n        label,\n        description,\n        tags,\n        group,\n        docsUrl,\n        cacheGroup,\n        annotations,\n      })\n    }\n  }\n\n  const nodes: Array<StaticIrNode> = params.program.plan.steps.map((step) => {\n    const kind = toNodeKind(step)\n    const entry = findEntryForStep(params.program, step)\n    const reads = normalizeFieldPaths(getReadsForEntry(entry))\n\n    const target = step.targetFieldPath\n    const write = normalizeFieldPath(target)\n    const writes = write ? [write] : []\n\n    const meta = target ? metaByField.get(target) : undefined\n\n    const base: StaticIrNode = {\n      nodeId: step.id,\n      kind,\n      reads,\n      writes: kind === 'check' ? [] : writes,\n      meta,\n    }\n\n    if (kind !== 'check' && target && !write) {\n      return { ...base, writesUnknown: true }\n    }\n    return base\n  })\n\n  const edges: Array<StaticIrEdge> = params.program.graph.edges.map((edge) => ({\n    edgeId: edge.id,\n    from: edge.from,\n    to: edge.to,\n    kind: edge.kind,\n  }))\n\n  const base = {\n    version,\n    moduleId,\n    nodes,\n    edges,\n  } as const\n\n  const digest = `stir:${version}:${fnv1a32(stableStringify(base))}`\n\n  return {\n    ...base,\n    digest,\n  }\n}\n"],"mappings":";;;;;;;;;AA2CA,IAAM,sBAAsB,CAAC,UAAuE;AAClG,MAAI,CAAC,SAAS,MAAM,WAAW,EAAG,QAAO,CAAC;AAC1C,QAAM,MAAwB,CAAC;AAC/B,aAAW,QAAQ,OAAO;AACxB,UAAM,aAAgC,mBAAmB,IAAI;AAC7D,QAAI,WAAY,KAAI,KAAK,UAAU;AAAA,EACrC;AACA,SAAO;AACT;AAEA,IAAMA,sBAAqB,CAAC,SAC1B,OAA0B,mBAAmB,IAAI,IAAI;AAEvD,IAAM,aAAa,CAAC,SAAqC;AACvD,UAAQ,KAAK,MAAM;AAAA,IACjB,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,EACX;AACF;AAEA,IAAM,mBAAmB,CACvB,SACA,SAC6C;AAC7C,QAAM,YAAY,KAAK;AACvB,MAAI,CAAC,UAAW,QAAO;AACvB,QAAM,OAAO,WAAW,IAAI;AAC5B,SAAO,QAAQ,QAAQ;AAAA,IACrB,CAAC,MACC,EAAE,cAAc,cACf,EAAE,SAAS,QACT,SAAS,WAAW,EAAE,SAAS,WAC/B,SAAS,YAAY,EAAE,SAAS,YAChC,SAAS,UAAU,EAAE,SAAS,UAC9B,SAAS,cAAc,EAAE,SAAS;AAAA,EACzC;AACF;AAEA,IAAM,mBAAmB,CAAC,UAAuF;AAC/G,MAAI,CAAC,MAAO,QAAO;AACnB,MAAI,MAAM,SAAS,YAAY;AAC7B,WAAQ,MAAM,KAAa;AAAA,EAC7B;AACA,MAAI,MAAM,SAAS,UAAU;AAC3B,WAAQ,MAAM,KAAa;AAAA,EAC7B;AACA,MAAI,MAAM,SAAS,QAAQ;AACzB,UAAM,OAAQ,MAAM,KAAa;AACjC,WAAO,OAAO,CAAC,IAAI,IAAI,CAAC;AAAA,EAC1B;AACA,MAAI,MAAM,SAAS,SAAS;AAC1B,UAAM,QAAU,MAAM,MAAc,SAAS,CAAC;AAC9C,UAAM,MAAqB,CAAC;AAC5B,eAAW,QAAQ,OAAO,KAAK,KAAK,GAAG;AACrC,YAAM,OAAO,MAAM,IAAI;AACvB,YAAM,OAAO,MAAM;AACnB,UAAI,KAAM,KAAI,KAAK,GAAG,IAAI;AAAA,IAC5B;AACA,WAAO;AAAA,EACT;AACA,SAAO;AACT;AAEO,IAAM,iBAAiB,CAAC,WAIf;AACd,QAAM,WAAW,OAAO;AACxB,QAAM,UAAU,OAAO,WAAW;AAElC,QAAM,cAAc,oBAAI,IAWtB;AACF,aAAW,QAAQ,OAAO,QAAQ,MAAM,OAAO;AAC7C,UAAM,OAAO,KAAK;AAClB,QAAI,CAAC,QAAQ,OAAO,SAAS,SAAU;AACvC,UAAM,QAAQ,OAAO,KAAK,UAAU,WAAW,KAAK,QAAQ;AAC5D,UAAM,cAAc,OAAO,KAAK,gBAAgB,WAAW,KAAK,cAAc;AAC9E,UAAM,OACJ,MAAM,QAAQ,KAAK,IAAI,KAAK,KAAK,KAAK,MAAM,CAAC,MAAe,OAAO,MAAM,QAAQ,IAC5E,KAAK,OACN;AACN,UAAM,QAAQ,OAAO,KAAK,UAAU,WAAW,KAAK,QAAQ;AAC5D,UAAM,UAAU,OAAO,KAAK,YAAY,WAAW,KAAK,UAAU;AAClE,UAAM,aAAa,OAAO,KAAK,eAAe,WAAW,KAAK,aAAa;AAE3E,UAAM,iBAAiB,KAAK;AAC5B,UAAM,cACJ,kBAAkB,OAAO,mBAAmB,YAAY,CAAC,MAAM,QAAQ,cAAc,IAChF,iBACD;AAEN,QAAI,SAAS,eAAe,QAAQ,SAAS,WAAW,cAAc,aAAa;AACjF,kBAAY,IAAI,KAAK,IAAI;AAAA,QACvB;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AAEA,QAAM,QAA6B,OAAO,QAAQ,KAAK,MAAM,IAAI,CAAC,SAAS;AACzE,UAAM,OAAO,WAAW,IAAI;AAC5B,UAAM,QAAQ,iBAAiB,OAAO,SAAS,IAAI;AACnD,UAAM,QAAQ,oBAAoB,iBAAiB,KAAK,CAAC;AAEzD,UAAM,SAAS,KAAK;AACpB,UAAM,QAAQA,oBAAmB,MAAM;AACvC,UAAM,SAAS,QAAQ,CAAC,KAAK,IAAI,CAAC;AAElC,UAAM,OAAO,SAAS,YAAY,IAAI,MAAM,IAAI;AAEhD,UAAMC,QAAqB;AAAA,MACzB,QAAQ,KAAK;AAAA,MACb;AAAA,MACA;AAAA,MACA,QAAQ,SAAS,UAAU,CAAC,IAAI;AAAA,MAChC;AAAA,IACF;AAEA,QAAI,SAAS,WAAW,UAAU,CAAC,OAAO;AACxC,aAAO,EAAE,GAAGA,OAAM,eAAe,KAAK;AAAA,IACxC;AACA,WAAOA;AAAA,EACT,CAAC;AAED,QAAM,QAA6B,OAAO,QAAQ,MAAM,MAAM,IAAI,CAAC,UAAU;AAAA,IAC3E,QAAQ,KAAK;AAAA,IACb,MAAM,KAAK;AAAA,IACX,IAAI,KAAK;AAAA,IACT,MAAM,KAAK;AAAA,EACb,EAAE;AAEF,QAAM,OAAO;AAAA,IACX;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,IAAI,QAAQ,gBAAgB,IAAI,CAAC,CAAC;AAEhE,SAAO;AAAA,IACL,GAAG;AAAA,IACH;AAAA,EACF;AACF;","names":["normalizeFieldPath","base"]}