@logixjs/core 0.0.1 → 0.0.2

package/dist/Reflection.cjs

@@ -31,16 +31,17 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 var Reflection_exports = {};
 __export(Reflection_exports, {
   diffManifest: () => diffManifest2,
+  exportControlSurface: () => exportControlSurface2,
   exportStaticIr: () => exportStaticIr3,
   extractManifest: () => extractManifest2,
   verifyFullCutoverGate: () => verifyFullCutoverGate,
   verifyKernelContract: () => verifyKernelContract2
 });
 module.exports = __toCommonJS(Reflection_exports);
-var import_effect37 = require("effect");
+var import_effect40 = require("effect");
 
 // src/internal/reflection/manifest.ts
-var import_effect3 = require("effect");
+var import_effect10 = require("effect");
 
 // src/internal/action.ts
 var import_effect = require("effect");
@@ -58,7 +59,7 @@ var stableStringify = (value) => {
   }
   if (t === "object") {
     const record2 = value;
-    const keys = Object.keys(record2).sort((a, b) => a.localeCompare(b));
+    const keys = Object.keys(record2).sort();
     return `{${keys.map((k) => `${JSON.stringify(k)}:${stableStringify(record2[k])}`).join(",")}}`;
   }
   return "null";
@@ -195,11 +196,12 @@ var toJsonValueInternal = (input, options, stats, seen, depth) => {
     stats.nonSerializable += 1;
     return truncateString(String(input), options.maxStringLength, stats);
   }
-  const entries = Object.entries(input);
-  const limit = Math.min(entries.length, options.maxObjectKeys);
+  const keys = Object.keys(input).sort();
+  const limit = Math.min(keys.length, options.maxObjectKeys);
   const out = {};
   for (let i = 0; i < limit; i++) {
-    const [rawKey, rawValue] = entries[i];
+    const rawKey = keys[i];
+    const rawValue = input[rawKey];
     const key = truncateString(rawKey, options.maxStringLength, stats);
     if (rawValue === void 0) {
       stats.dropped += 1;
@@ -207,9 +209,9 @@ var toJsonValueInternal = (input, options, stats, seen, depth) => {
     }
     out[key] = toJsonValueInternal(rawValue, options, stats, seen, depth + 1);
   }
-  if (entries.length > limit) {
+  if (keys.length > limit) {
     stats.oversized += 1;
-    out.__truncatedKeys = entries.length - limit;
+    out.__truncatedKeys = keys.length - limit;
   }
   return out;
 };
@@ -268,1519 +270,943 @@ var projectJsonValue = (input, options) => {
 };
 
 // src/internal/runtime/core/env.ts
-var import_effect2 = require("effect");
-var getNodeEnv = () => {
+var import_effect9 = require("effect");
+
+// src/internal/runtime/core/HostScheduler.ts
+var noopCancel = () => {
+};
+var safeNowMs = () => {
+  const perf = globalThis.performance;
+  if (perf && typeof perf.now === "function") {
+    try {
+      const v = perf.now();
+      if (typeof v === "number" && Number.isFinite(v)) return v;
+    } catch {
+    }
+  }
+  return Date.now();
+};
+var safeQueueMicrotask = (cb) => {
+  const qm = globalThis.queueMicrotask;
+  if (typeof qm === "function") {
+    try {
+      qm(cb);
+      return;
+    } catch {
+    }
+  }
   try {
-    const env = globalThis?.process?.env;
-    return typeof env?.NODE_ENV === "string" ? env.NODE_ENV : void 0;
+    Promise.resolve().then(cb);
   } catch {
-    return void 0;
+    setTimeout(cb, 0);
   }
 };
-var isDevEnv = () => getNodeEnv() !== "production";
-var StateTransactionConfigTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/StateTransactionRuntimeConfig")() {
-};
-var ReadQueryStrictGateConfigTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/ReadQueryStrictGateRuntimeConfig")() {
+var safeSetTimeout = (ms, cb) => {
+  const id = setTimeout(cb, ms);
+  return () => {
+    try {
+      clearTimeout(id);
+    } catch {
+    }
+  };
 };
-var ReplayModeConfigTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/ReplayModeConfig")() {
+var makeMessageChannelMacrotask = () => {
+  const MC = globalThis.MessageChannel;
+  if (typeof MC !== "function") return void 0;
+  let channel;
+  try {
+    channel = new MC();
+  } catch {
+    return void 0;
+  }
+  const queue = [];
+  let scheduled = false;
+  const flush = () => {
+    scheduled = false;
+    const tasks = queue.splice(0, queue.length);
+    for (const t of tasks) {
+      if (t.canceled) continue;
+      try {
+        t.cb();
+      } catch {
+      }
+    }
+  };
+  try {
+    channel.port1.onmessage = flush;
+  } catch {
+    return void 0;
+  }
+  const schedule = (cb) => {
+    const task = { canceled: false, cb };
+    queue.push(task);
+    if (!scheduled) {
+      scheduled = true;
+      try {
+        channel.port2.postMessage(void 0);
+      } catch {
+        scheduled = false;
+        return safeSetTimeout(0, cb);
+      }
+    }
+    return () => {
+      task.canceled = true;
+    };
+  };
+  return schedule;
 };
-var StateTransactionOverridesTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/StateTransactionOverrides")() {
+var makeSetImmediateMacrotask = () => {
+  const si = globalThis.setImmediate;
+  const ci = globalThis.clearImmediate;
+  if (typeof si !== "function") return void 0;
+  return (cb) => {
+    let id;
+    try {
+      id = si(cb);
+    } catch {
+      return safeSetTimeout(0, cb);
+    }
+    return () => {
+      if (typeof ci !== "function") return;
+      try {
+        ci(id);
+      } catch {
+      }
+    };
+  };
 };
-var ConcurrencyPolicyTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/ConcurrencyPolicy")() {
+var makeRaf = () => {
+  const raf = globalThis.requestAnimationFrame;
+  const cancel = globalThis.cancelAnimationFrame;
+  if (typeof raf !== "function") return void 0;
+  return (cb) => {
+    let id;
+    try {
+      id = raf(cb);
+    } catch {
+      return noopCancel;
+    }
+    return () => {
+      if (typeof cancel !== "function") return;
+      try {
+        cancel(id);
+      } catch {
+      }
+    };
+  };
 };
-var ConcurrencyPolicyOverridesTagImpl = class extends import_effect2.Context.Tag("@logixjs/core/ConcurrencyPolicyOverrides")() {
+var makeDefaultHostScheduler = () => {
+  const macrotask = makeSetImmediateMacrotask() ?? makeMessageChannelMacrotask() ?? ((cb) => safeSetTimeout(0, cb));
+  const raf = makeRaf();
+  return {
+    nowMs: safeNowMs,
+    scheduleMicrotask: safeQueueMicrotask,
+    scheduleMacrotask: macrotask,
+    scheduleAnimationFrame: (cb) => raf?.(cb) ?? macrotask(cb),
+    scheduleTimeout: safeSetTimeout
+  };
 };
-
-// src/internal/runtime/core/runtimeInternalsAccessor.ts
-var MODULE_TRAITS_PROGRAM = /* @__PURE__ */ Symbol.for("@logixjs/core/moduleTraitsProgram");
-var getModuleTraitsProgram = (module2) => {
-  if (!module2) return void 0;
-  if (typeof module2 !== "object" && typeof module2 !== "function") return void 0;
-  return module2[MODULE_TRAITS_PROGRAM];
+var globalHostScheduler;
+var getGlobalHostScheduler = () => {
+  globalHostScheduler ?? (globalHostScheduler = makeDefaultHostScheduler());
+  return globalHostScheduler;
 };
 
-// src/internal/field-path.ts
-var isFieldPathSegment = (seg) => {
-  if (!seg) return false;
-  if (seg === "*") return false;
-  if (/^\d+$/.test(seg)) return false;
-  if (seg.includes("[") || seg.includes("]")) return false;
-  return true;
-};
-var normalizeFieldPath = (input) => {
-  if (typeof input === "string") {
-    const segs = splitSegments(input);
-    if (!segs || segs.length === 0) return void 0;
-    const normalized2 = segs.filter(isFieldPathSegment);
-    return normalized2.length > 0 ? normalized2 : void 0;
+// src/internal/runtime/core/RuntimeStore.ts
+var parseTopicKey = (topicKey) => {
+  const idx = topicKey.indexOf("::");
+  if (idx <= 0) return void 0;
+  const moduleId = topicKey.slice(0, idx);
+  const rest = topicKey.slice(idx + 2);
+  if (rest.length === 0) return void 0;
+  const idx2 = rest.indexOf("::");
+  if (idx2 < 0) {
+    return { kind: "module", moduleInstanceKey: `${moduleId}::${rest}` };
   }
-  if (input.length === 0) return void 0;
-  let needsFilter = false;
-  for (const seg of input) {
-    if (!isFieldPathSegment(seg)) {
-      needsFilter = true;
-      break;
-    }
+  const instanceId = rest.slice(0, idx2);
+  const suffix = rest.slice(idx2 + 2);
+  if (suffix.startsWith("rq:")) {
+    const selectorId = suffix.slice("rq:".length);
+    if (selectorId.length === 0) return void 0;
+    return {
+      kind: "readQuery",
+      moduleInstanceKey: `${moduleId}::${instanceId}`,
+      selectorId
+    };
   }
-  if (!needsFilter) return input;
-  const normalized = input.filter(isFieldPathSegment);
-  return normalized.length > 0 ? normalized : void 0;
+  return { kind: "module", moduleInstanceKey: `${moduleId}::${instanceId}` };
 };
-var splitSegments = (path) => {
-  if (!path) return void 0;
-  if (path === "*") return void 0;
-  const parts = path.split(".").filter((p) => p.length > 0);
-  const segs = [];
-  for (const part of parts) {
-    if (!part) continue;
-    if (part === "*") {
-      return void 0;
+var makeRuntimeStore = () => {
+  let tickSeq = 0;
+  const moduleStates = /* @__PURE__ */ new Map();
+  const topicVersions = /* @__PURE__ */ new Map();
+  const topicPriorities = /* @__PURE__ */ new Map();
+  const listenersByTopic = /* @__PURE__ */ new Map();
+  const subscriberCountByModule = /* @__PURE__ */ new Map();
+  const getTopicVersion = (topicKey) => topicVersions.get(topicKey) ?? 0;
+  const getTopicPriority = (topicKey) => topicPriorities.get(topicKey) ?? "normal";
+  const commitTopicBump = (topicKey, priority) => {
+    const prev = topicVersions.get(topicKey) ?? 0;
+    topicVersions.set(topicKey, prev + 1);
+    topicPriorities.set(topicKey, priority);
+  };
+  const subscribeTopic = (topicKey, listener) => {
+    const info = parseTopicKey(topicKey);
+    const existing = listenersByTopic.get(topicKey);
+    const set = existing ?? /* @__PURE__ */ new Set();
+    const alreadyHas = set.has(listener);
+    if (!alreadyHas) {
+      set.add(listener);
     }
-    if (part.endsWith("[]")) {
-      const base = part.slice(0, -2);
-      if (base) segs.push(base);
-      continue;
+    if (!existing) {
+      listenersByTopic.set(topicKey, set);
     }
-    const bracket = /^(.+)\[(\d+)\]$/.exec(part);
-    if (bracket) {
-      segs.push(bracket[1]);
-      continue;
+    if (!alreadyHas && info) {
+      const prev = subscriberCountByModule.get(info.moduleInstanceKey) ?? 0;
+      subscriberCountByModule.set(info.moduleInstanceKey, prev + 1);
     }
-    if (/^\d+$/.test(part)) {
-      continue;
+    return () => {
+      const current = listenersByTopic.get(topicKey);
+      if (!current) return;
+      const deleted = current.delete(listener);
+      if (deleted && info) {
+        const prev = subscriberCountByModule.get(info.moduleInstanceKey) ?? 0;
+        const next = prev - 1;
+        if (next <= 0) {
+          subscriberCountByModule.delete(info.moduleInstanceKey);
+        } else {
+          subscriberCountByModule.set(info.moduleInstanceKey, next);
+        }
+      }
+      if (current.size === 0) {
+        listenersByTopic.delete(topicKey);
+      }
+    };
+  };
+  const getTopicSubscriberCount = (topicKey) => listenersByTopic.get(topicKey)?.size ?? 0;
+  const getModuleSubscriberCount = (moduleInstanceKey) => subscriberCountByModule.get(moduleInstanceKey) ?? 0;
+  const registerModuleInstance = (args) => {
+    moduleStates.set(args.moduleInstanceKey, args.initialState);
+    if (!topicVersions.has(args.moduleInstanceKey)) {
+      topicVersions.set(args.moduleInstanceKey, 0);
+      topicPriorities.set(args.moduleInstanceKey, "normal");
     }
-    if (part.includes("[") || part.includes("]")) {
-      return void 0;
+  };
+  const unregisterModuleInstance = (moduleInstanceKey) => {
+    moduleStates.delete(moduleInstanceKey);
+  };
+  const commitTick = (args) => {
+    tickSeq = args.tickSeq;
+    for (const [key, commit] of args.accepted.modules) {
+      moduleStates.set(key, commit.state);
     }
-    segs.push(part);
-  }
-  return segs;
+    const changedTopics = /* @__PURE__ */ new Map();
+    for (const [topicKey, priority] of args.accepted.dirtyTopics) {
+      commitTopicBump(topicKey, priority);
+      const listeners = Array.from(listenersByTopic.get(topicKey) ?? []);
+      if (listeners.length > 0) {
+        changedTopics.set(topicKey, { priority, listeners });
+      }
+    }
+    return { changedTopics };
+  };
+  const getModuleState = (moduleInstanceKey) => moduleStates.get(moduleInstanceKey);
+  const dispose = () => {
+    moduleStates.clear();
+    topicVersions.clear();
+    topicPriorities.clear();
+    listenersByTopic.clear();
+    subscriberCountByModule.clear();
+  };
+  return {
+    getTickSeq: () => tickSeq,
+    getModuleState,
+    getTopicVersion,
+    getTopicPriority,
+    subscribeTopic,
+    getTopicSubscriberCount,
+    getModuleSubscriberCount,
+    registerModuleInstance,
+    unregisterModuleInstance,
+    commitTick,
+    dispose
+  };
 };
 
-// src/internal/state-trait/ir.ts
-var normalizeFieldPaths = (paths) => {
-  if (!paths || paths.length === 0) return [];
-  const out = [];
-  for (const path of paths) {
-    const normalized = normalizeFieldPath(path);
-    if (normalized) out.push(normalized);
-  }
-  return out;
+// src/internal/runtime/core/TickScheduler.ts
+var import_effect7 = require("effect");
+
+// src/internal/runtime/core/DebugSink.record.ts
+var import_effect4 = require("effect");
+
+// src/internal/runtime/core/errorSummary.ts
+var import_effect2 = require("effect");
+var truncate = (value, maxLen) => {
+  if (value.length <= maxLen) return { value, truncated: false };
+  return { value: value.slice(0, maxLen), truncated: true };
 };
-var normalizeFieldPath2 = (path) => path ? normalizeFieldPath(path) : void 0;
-var toNodeKind = (step) => {
-  switch (step.kind) {
-    case "computed-update":
-      return "computed";
-    case "link-propagate":
-      return "link";
-    case "source-refresh":
-      return "source";
-    case "check-validate":
-      return "check";
+var safeStringify = (value) => {
+  try {
+    return { ok: true, json: JSON.stringify(value) };
+  } catch {
+    return { ok: false };
   }
 };
-var findEntryForStep = (program, step) => {
-  const fieldPath = step.targetFieldPath;
-  if (!fieldPath) return void 0;
-  const kind = toNodeKind(step);
-  return program.entries.find(
-    (e) => e.fieldPath === fieldPath && (e.kind === kind || kind === "check" && e.kind === "check" || kind === "source" && e.kind === "source" || kind === "link" && e.kind === "link" || kind === "computed" && e.kind === "computed")
-  );
+var getMessageFromUnknown = (cause) => {
+  if (typeof cause === "string") return cause;
+  if (typeof cause === "number" || typeof cause === "boolean" || typeof cause === "bigint") return String(cause);
+  if (cause instanceof Error) return cause.message || cause.name || "Error";
+  if (cause && typeof cause === "object" && "message" in cause && typeof cause.message === "string") {
+    return cause.message;
+  }
+  try {
+    const pretty = import_effect2.Cause.pretty(cause, { renderErrorCause: true });
+    if (typeof pretty === "string" && pretty.length > 0) return pretty;
+  } catch {
+  }
+  return "Unknown error";
 };
-var getReadsForEntry = (entry) => {
-  if (!entry) return void 0;
-  if (entry.kind === "computed") {
-    return entry.meta.deps;
+var toSerializableErrorSummary = (cause, options) => {
+  const maxMessageLength = options?.maxMessageLength ?? 256;
+  const messageRaw = getMessageFromUnknown(cause);
+  const { value: message, truncated } = truncate(messageRaw, maxMessageLength);
+  const summary = {
+    message
+  };
+  if (cause instanceof Error) {
+    if (cause.name && cause.name !== "Error") summary.name = cause.name;
+    const anyCause = cause;
+    if (typeof anyCause.code === "string" && anyCause.code.length > 0) summary.code = anyCause.code;
+    else if (typeof anyCause.code === "number" && Number.isFinite(anyCause.code)) summary.code = String(anyCause.code);
+    if (typeof anyCause.hint === "string" && anyCause.hint.length > 0) summary.hint = anyCause.hint;
+    return {
+      errorSummary: summary,
+      downgrade: truncated ? "oversized" : void 0
+    };
   }
-  if (entry.kind === "source") {
-    return entry.meta.deps;
+  if (cause && typeof cause === "object") {
+    const anyCause = cause;
+    if (typeof anyCause.name === "string" && anyCause.name.length > 0) summary.name = anyCause.name;
+    if (typeof anyCause.code === "string" && anyCause.code.length > 0) summary.code = anyCause.code;
+    if (typeof anyCause.hint === "string" && anyCause.hint.length > 0) summary.hint = anyCause.hint;
   }
-  if (entry.kind === "link") {
-    const from = entry.meta.from;
-    return from ? [from] : [];
+  const stringifyResult = safeStringify(cause);
+  if (!stringifyResult.ok) {
+    return {
+      errorSummary: summary,
+      downgrade: "non_serializable"
+    };
   }
-  if (entry.kind === "check") {
-    const rules = entry.meta?.rules ?? {};
-    const out = [];
-    for (const name of Object.keys(rules)) {
-      const rule = rules[name];
-      const deps = rule?.deps;
-      if (deps) out.push(...deps);
-    }
-    return out;
+  if (truncated) {
+    return {
+      errorSummary: summary,
+      downgrade: "oversized"
+    };
   }
-  return void 0;
+  if (message === "Unknown error") {
+    return {
+      errorSummary: summary,
+      downgrade: "unknown"
+    };
+  }
+  return { errorSummary: summary };
 };
-var exportStaticIr = (params) => {
-  const moduleId = params.moduleId;
-  const version = params.version ?? "009";
-  const metaByField = /* @__PURE__ */ new Map();
-  for (const node of params.program.graph.nodes) {
-    const meta = node.meta;
-    if (!meta || typeof meta !== "object") continue;
-    const label = typeof meta.label === "string" ? meta.label : void 0;
-    const description = typeof meta.description === "string" ? meta.description : void 0;
-    const tags = Array.isArray(meta.tags) && meta.tags.every((t) => typeof t === "string") ? meta.tags : void 0;
-    const group = typeof meta.group === "string" ? meta.group : void 0;
-    const docsUrl = typeof meta.docsUrl === "string" ? meta.docsUrl : void 0;
-    const cacheGroup = typeof meta.cacheGroup === "string" ? meta.cacheGroup : void 0;
-    const annotationsRaw = meta.annotations;
-    const annotations = annotationsRaw && typeof annotationsRaw === "object" && !Array.isArray(annotationsRaw) ? annotationsRaw : void 0;
-    if (label || description || tags || group || docsUrl || cacheGroup || annotations) {
-      metaByField.set(node.id, {
-        label,
-        description,
-        tags,
-        group,
-        docsUrl,
-        cacheGroup,
-        annotations
-      });
-    }
-  }
-  const nodes = params.program.plan.steps.map((step) => {
-    const kind = toNodeKind(step);
-    const entry = findEntryForStep(params.program, step);
-    const reads = normalizeFieldPaths(getReadsForEntry(entry));
-    const target = step.targetFieldPath;
-    const write = normalizeFieldPath2(target);
-    const writes = write ? [write] : [];
-    const meta = target ? metaByField.get(target) : void 0;
-    const base2 = {
-      nodeId: step.id,
-      kind,
-      reads,
-      writes: kind === "check" ? [] : writes,
-      meta
-    };
-    if (kind !== "check" && target && !write) {
-      return { ...base2, writesUnknown: true };
-    }
-    return base2;
-  });
-  const edges = params.program.graph.edges.map((edge) => ({
-    edgeId: edge.id,
-    from: edge.from,
-    to: edge.to,
-    kind: edge.kind
-  }));
-  const base = {
-    version,
-    moduleId,
-    nodes,
-    edges
-  };
-  const digest = `stir:${version}:${fnv1a32(stableStringify(base))}`;
-  return {
-    ...base,
-    digest
-  };
+
+// src/internal/runtime/core/EffectOpCore.ts
+var import_effect3 = require("effect");
+var currentLinkId = import_effect3.FiberRef.unsafeMake(void 0);
+var EffectOpMiddlewareTag = class extends import_effect3.Context.Tag("Logix/EffectOpMiddleware")() {
 };
 
-// src/internal/reflection/staticIr.ts
-var isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
-var isModuleImpl = (value) => isRecord(value) && value._tag === "ModuleImpl" && isRecord(value.module);
-var resolveModuleId = (input) => {
-  if (isModuleImpl(input)) {
-    const id = input.module.id;
-    return typeof id === "string" && id.length > 0 ? id : "unknown";
-  }
-  if (isRecord(input)) {
-    const id = input.id;
-    if (typeof id === "string" && id.length > 0) return id;
-    const tag = input.tag;
-    if (tag && (typeof tag === "object" || typeof tag === "function")) {
-      const tagId = tag.id;
-      if (typeof tagId === "string" && tagId.length > 0) return tagId;
-    }
-  }
-  return "unknown";
+// src/internal/runtime/core/DebugSink.record.ts
+var currentDebugSinks = import_effect4.FiberRef.unsafeMake([]);
+var currentRuntimeLabel = import_effect4.FiberRef.unsafeMake(void 0);
+var currentTxnId = import_effect4.FiberRef.unsafeMake(void 0);
+var currentOpSeq = import_effect4.FiberRef.unsafeMake(void 0);
+var currentDiagnosticsLevel = import_effect4.FiberRef.unsafeMake("off");
+var diagnosticsLevel = (level) => import_effect4.Layer.fiberRefLocallyScopedWith(currentDiagnosticsLevel, () => level);
+var currentTraitConvergeDiagnosticsSampling = import_effect4.FiberRef.unsafeMake({
+  sampleEveryN: 32,
+  topK: 3
+});
+var appendSinks = (sinks) => import_effect4.Layer.fiberRefLocallyScopedWith(currentDebugSinks, (current) => [...current, ...sinks]);
+var nextGlobalEventSeq = 0;
+var nextEventSeq = () => {
+  nextGlobalEventSeq += 1;
+  return nextGlobalEventSeq;
 };
-var resolveModuleTag = (input) => {
-  if (isModuleImpl(input)) return input.module;
-  if (isRecord(input) && input.tag) return input.tag;
-  return void 0;
+var makeEventId = (instanceId, eventSeq) => `${instanceId}::e${eventSeq}`;
+var mergeDowngrade2 = (current, next) => {
+  if (!current) return next;
+  if (!next) return current;
+  if (current === "non_serializable" || next === "non_serializable") return "non_serializable";
+  if (current === "oversized" || next === "oversized") return "oversized";
+  return "unknown";
 };
-var exportStaticIr2 = (module2) => {
-  const tag = resolveModuleTag(module2);
-  if (!tag) return void 0;
-  const program = getModuleTraitsProgram(tag);
-  if (!program) return void 0;
-  return exportStaticIr({
-    program,
-    moduleId: resolveModuleId(module2)
-  });
+var browserLifecycleSeen = /* @__PURE__ */ new Set();
+var browserDiagnosticSeen = /* @__PURE__ */ new Set();
+var lastTxnByInstance = /* @__PURE__ */ new Map();
+var pendingTxnAlignmentByInstance = /* @__PURE__ */ new Map();
+var enqueuePendingTxnAlignment = (instanceId, ref) => {
+  const list = pendingTxnAlignmentByInstance.get(instanceId);
+  if (!list) {
+    pendingTxnAlignmentByInstance.set(instanceId, [ref]);
+    return;
+  }
+  list.push(ref);
+  if (list.length > 64) {
+    list.shift();
+  }
 };
-
-// src/internal/reflection/manifest.ts
-var isRecord2 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
-var isModuleImpl2 = (value) => isRecord2(value) && value._tag === "ModuleImpl" && isRecord2(value.module);
-var resolveModuleId2 = (input) => {
-  if (isModuleImpl2(input)) {
-    const id = input.module.id;
-    return typeof id === "string" && id.length > 0 ? id : "unknown";
+var backfillPendingTxnAlignment = (instanceId, txn) => {
+  const pending = pendingTxnAlignmentByInstance.get(instanceId);
+  if (!pending || pending.length === 0) {
+    pendingTxnAlignmentByInstance.delete(instanceId);
+    return;
   }
-  if (isRecord2(input)) {
-    const id = input.id;
-    if (typeof id === "string" && id.length > 0) return id;
-    const tag = input.tag;
-    if (tag && (typeof tag === "object" || typeof tag === "function")) {
-      const tagId = tag.id;
-      if (typeof tagId === "string" && tagId.length > 0) return tagId;
+  for (const ref of pending) {
+    const anyRef = ref;
+    if (anyRef.txnId == null) {
+      anyRef.txnId = txn.txnId;
+    }
+    if (typeof anyRef.txnSeq !== "number" || anyRef.txnSeq <= 0) {
+      anyRef.txnSeq = txn.txnSeq;
     }
   }
-  return "unknown";
+  pendingTxnAlignmentByInstance.delete(instanceId);
 };
-var resolveActionKeys = (input) => {
-  const tag = isModuleImpl2(input) ? input.module : input?.tag;
-  const actionMap = tag?.shape?.actionMap;
-  if (!isRecord2(actionMap)) return [];
-  return Object.keys(actionMap).sort();
+var lifecycleErrorLog = (event) => {
+  const moduleId = event.moduleId ?? "unknown";
+  const causePretty = (() => {
+    try {
+      return import_effect4.Cause.pretty(event.cause, {
+        renderErrorCause: true
+      });
+    } catch {
+      try {
+        return JSON.stringify(event.cause, null, 2);
+      } catch {
+        return String(event.cause);
+      }
+    }
+  })();
+  const message = `[Logix][module=${moduleId}] lifecycle:error
+${causePretty}`;
+  return import_effect4.Effect.logError(message).pipe(
+    import_effect4.Effect.annotateLogs({
+      "logix.moduleId": moduleId,
+      "logix.event": "lifecycle:error",
+      "logix.cause": causePretty
+    })
+  );
 };
-var resolveDevSource = (input) => {
-  if (!isRecord2(input)) return void 0;
-  const file = input.file;
-  const line = input.line;
-  const column = input.column;
-  if (typeof file !== "string" || file.length === 0) return void 0;
-  if (typeof line !== "number" || !Number.isInteger(line) || line < 1) return void 0;
-  if (typeof column !== "number" || !Number.isInteger(column) || column < 1) return void 0;
-  return { file, line, column };
+var diagnosticLog = (event) => {
+  const moduleId = event.moduleId ?? "unknown";
+  const header = `[Logix][module=${moduleId}] diagnostic(${event.severity})`;
+  const detail = `code=${event.code} message=${event.message}${event.actionTag ? ` action=${event.actionTag}` : ""}${event.hint ? `
+hint: ${event.hint}` : ""}`;
+  const msg = `${header}
+${detail}`;
+  const base = event.severity === "warning" ? import_effect4.Effect.logWarning(msg) : event.severity === "info" ? import_effect4.Effect.logInfo(msg) : import_effect4.Effect.logError(msg);
+  const annotations = {
+    "logix.moduleId": moduleId,
+    "logix.event": `diagnostic(${event.severity})`,
+    "logix.diagnostic.code": event.code,
+    "logix.diagnostic.message": event.message
+  };
+  if (event.hint) {
+    annotations["logix.diagnostic.hint"] = event.hint;
+  }
+  if (event.actionTag) {
+    annotations["logix.diagnostic.actionTag"] = event.actionTag;
+  }
+  return base.pipe(import_effect4.Effect.annotateLogs(annotations));
 };
-var resolveTokenSource = (token) => {
-  if (!token || typeof token !== "object" && typeof token !== "function") return void 0;
-  return resolveDevSource(token.source);
+var noopLayer = import_effect4.Layer.locallyScoped(currentDebugSinks, []);
+var errorOnlySink = {
+  record: (event) => event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" && event.severity !== "info" ? diagnosticLog(event) : import_effect4.Effect.void
 };
-var resolveActions = (input) => {
-  const tag = isModuleImpl2(input) ? input.module : input?.tag;
-  const actionMap = tag?.shape?.actionMap;
-  if (!isRecord2(actionMap)) return [];
-  const moduleSource = resolveSource(input);
-  const reducers = isRecord2(tag?.reducers) ? tag.reducers : void 0;
-  const actionTags = Object.keys(actionMap).sort();
-  const out = [];
-  for (const actionTag of actionTags) {
-    const token = actionMap[actionTag];
-    const source = resolveTokenSource(token) ?? moduleSource;
-    const payloadKind = isActionToken(token) && import_effect3.Schema.isSchema(token.schema) ? token.schema === import_effect3.Schema.Void ? "void" : "nonVoid" : "unknown";
-    const primaryReducer = reducers && typeof reducers[actionTag] === "function" ? { kind: "declared" } : void 0;
-    out.push({
-      actionTag,
-      payload: { kind: payloadKind },
-      ...primaryReducer ? { primaryReducer } : {},
-      ...source ? { source } : {}
+var errorOnlyLayer = import_effect4.Layer.locallyScoped(currentDebugSinks, [errorOnlySink]);
+var isErrorOnlyOnlySinks = (sinks) => sinks.length === 1 && sinks[0] === errorOnlySink;
+var consoleSink = {
+  record: (event) => event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" ? diagnosticLog(event) : import_effect4.Effect.logDebug({ debugEvent: event })
+};
+var consoleLayer = import_effect4.Layer.locallyScoped(currentDebugSinks, [consoleSink]);
+var isBrowser = typeof window !== "undefined" && typeof document !== "undefined";
+var renderBrowserConsoleEvent = (event) => {
+  if (typeof event.type === "string" && event.type.startsWith("trace:")) {
+    const moduleId = event.moduleId ?? "unknown";
+    const type = event.type;
+    return import_effect4.Effect.sync(() => {
+      console.groupCollapsed(
+        "%c[Logix]%c trace %c" + moduleId + "%c " + String(type),
+        "color:#6b7280;font-weight:bold",
+        // tag
+        "color:#3b82f6",
+        // label
+        "color:#9ca3af",
+        // module id
+        "color:#6b7280"
+        // type
+      );
+      console.log(event);
+      console.groupEnd();
     });
   }
-  return out;
-};
-var MODULE_DECLARED_EFFECTS = /* @__PURE__ */ Symbol.for("logix.module.effects.declared");
-var resolveEffects = (input) => {
-  const tag = isModuleImpl2(input) ? input.module : input?.tag;
-  const actionMap = tag?.shape?.actionMap;
-  if (!isRecord2(actionMap)) return void 0;
-  const effectsRaw = tag?.[MODULE_DECLARED_EFFECTS];
-  if (!isRecord2(effectsRaw)) return void 0;
-  const source = resolveSource(input);
-  const logicUnitId = "__logix_internal:effects:declared";
-  const handlerIds = /* @__PURE__ */ new WeakMap();
-  let nextHandlerSeq = 0;
-  const out = [];
-  for (const actionTag of Object.keys(effectsRaw).sort()) {
-    if (!(actionTag in actionMap)) continue;
-    const handlers = effectsRaw[actionTag];
-    if (!Array.isArray(handlers)) continue;
-    for (const handler of handlers) {
-      if (typeof handler !== "function") continue;
-      let handlerId = handlerIds.get(handler);
-      if (!handlerId) {
-        nextHandlerSeq += 1;
-        handlerId = `h${nextHandlerSeq}`;
-        handlerIds.set(handler, handlerId);
+  if (event.type === "lifecycle:error") {
+    const moduleId = event.moduleId ?? "unknown";
+    const causePretty = (() => {
+      try {
+        return import_effect4.Cause.pretty(event.cause, { renderErrorCause: true });
+      } catch {
+        try {
+          return JSON.stringify(event.cause, null, 2);
+        } catch {
+          return String(event.cause);
+        }
       }
-      const sourceKey = `${logicUnitId}::${handlerId}`;
-      out.push({
-        actionTag,
-        sourceKey,
-        kind: "declared",
-        ...source ? { source } : {}
-      });
+    })();
+    const key = `${moduleId}|${causePretty}`;
+    if (browserLifecycleSeen.has(key)) {
+      return import_effect4.Effect.void;
     }
+    browserLifecycleSeen.add(key);
+    return import_effect4.Effect.sync(() => {
+      console.groupCollapsed(
+        "%c[Logix]%c lifecycle:error %c" + moduleId,
+        "color:#ef4444;font-weight:bold",
+        // tag
+        "color:#ef4444",
+        // label
+        "color:#9ca3af"
+        // module id
+      );
+      console.error(causePretty);
+      console.groupEnd();
+    });
   }
-  const seen = /* @__PURE__ */ new Set();
-  const deduped = [];
-  for (const item of out) {
-    const key = `${item.actionTag}\0${item.sourceKey}`;
-    if (seen.has(key)) continue;
-    seen.add(key);
-    deduped.push(item);
-  }
-  deduped.sort(
-    (a, b) => a.actionTag < b.actionTag ? -1 : a.actionTag > b.actionTag ? 1 : a.sourceKey.localeCompare(b.sourceKey)
-  );
-  return deduped.length > 0 ? deduped : void 0;
-};
-var resolveSchemaKeys = (input) => {
-  if (!isRecord2(input)) return void 0;
-  const schemas = input.schemas;
-  if (!isRecord2(schemas)) return void 0;
-  return Object.keys(schemas).sort();
-};
-var resolveSource = (input) => {
-  if (!isRecord2(input)) return void 0;
-  const dev = input.dev;
-  return resolveDevSource(dev?.source);
-};
-var resolveMeta = (input) => {
-  if (!isRecord2(input)) return void 0;
-  const meta = input.meta;
-  if (!isRecord2(meta)) return void 0;
-  const out = {};
-  for (const key of Object.keys(meta).sort()) {
-    const value = meta[key];
-    if (isJsonValue(value)) {
-      out[key] = value;
+  if (event.type === "diagnostic") {
+    const moduleId = event.moduleId ?? "unknown";
+    const detail = `code=${event.code} message=${event.message}${event.actionTag ? ` action=${event.actionTag}` : ""}${event.hint ? `
+hint: ${event.hint}` : ""}`;
+    const color = event.severity === "warning" ? "color:#d97706" : event.severity === "info" ? "color:#3b82f6" : "color:#ef4444";
+    const label = event.severity === "warning" ? "diagnostic(warning)" : event.severity === "info" ? "diagnostic(info)" : "diagnostic(error)";
+    const key = `${moduleId}|${event.code}|${event.message}`;
+    if (browserDiagnosticSeen.has(key)) {
+      return import_effect4.Effect.void;
     }
+    browserDiagnosticSeen.add(key);
+    return import_effect4.Effect.sync(() => {
+      console.groupCollapsed(
+        "%c[Logix]%c " + label + "%c module=" + moduleId,
+        "color:#6b7280;font-weight:bold",
+        color,
+        "color:#9ca3af"
+      );
+      if (event.severity === "warning") {
+        console.warn(detail);
+      } else if (event.severity === "info") {
+        console.info(detail);
+      } else {
+        console.error(detail);
+      }
+      console.groupEnd();
+    });
   }
-  return Object.keys(out).length > 0 ? out : void 0;
+  return import_effect4.Effect.void;
 };
-var MODULE_INTERNAL = /* @__PURE__ */ Symbol.for("logix.module.internal");
-var resolveLogicUnits = (input) => {
-  if (!isRecord2(input)) return void 0;
-  const internal = input[MODULE_INTERNAL];
-  const mounted = internal?.mounted;
-  if (!Array.isArray(mounted)) return void 0;
-  const out = [];
-  for (const unit of mounted) {
-    if (!isRecord2(unit)) continue;
-    const kind = unit.kind;
-    const id = unit.id;
-    if (typeof kind !== "string" || kind.length === 0) continue;
-    if (typeof id !== "string" || id.length === 0) continue;
-    const derived = unit.derived === true ? true : void 0;
-    const name = typeof unit.name === "string" ? unit.name : void 0;
-    out.push({ kind, id, derived, name });
+var browserConsoleSink = {
+  record: (event) => {
+    if (!isBrowser) {
+      return event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" ? diagnosticLog(event) : import_effect4.Effect.logDebug({ debugEvent: event });
+    }
+    return renderBrowserConsoleEvent(event);
   }
-  out.sort((a, b) => a.id < b.id ? -1 : a.id > b.id ? 1 : a.kind.localeCompare(b.kind));
-  return out.length > 0 ? out : void 0;
 };
-var digestOf = (base) => `manifest:067:${fnv1a32(stableStringify(base))}`;
-var utf8ByteLength = (value) => {
-  const json = JSON.stringify(value);
-  if (typeof TextEncoder !== "undefined") {
-    return new TextEncoder().encode(json).length;
+var browserConsoleLayer = import_effect4.Layer.locallyScoped(currentDebugSinks, [browserConsoleSink]);
+var browserDiagnosticConsoleSink = {
+  record: (event) => {
+    if (!isBrowser) {
+      return event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" && event.severity !== "info" ? diagnosticLog(event) : import_effect4.Effect.void;
+    }
+    return event.type === "lifecycle:error" || event.type === "diagnostic" && event.severity !== "info" ? renderBrowserConsoleEvent(event) : import_effect4.Effect.void;
   }
-  return json.length;
 };
-var applyMaxBytes = (manifest, maxBytes) => {
-  const originalBytes = utf8ByteLength(manifest);
-  if (originalBytes <= maxBytes) return manifest;
-  const dropped = [];
-  const truncatedArrays = [];
-  const baseMarker = () => ({
-    truncated: true,
-    maxBytes,
-    originalBytes,
-    dropped,
-    truncatedArrays
-  });
-  const withMarker = (next2) => {
-    const meta = {
-      __logix: baseMarker()
-    };
-    return { ...next2, meta };
-  };
-  let next = withMarker(manifest);
-  const markTruncatedArray = (name) => {
-    if (!truncatedArrays.includes(name)) {
-      truncatedArrays.push(name);
-    }
-  };
-  const dropField = (field) => {
-    if (next[field] !== void 0) {
-      dropped.push(String(field));
-      next = withMarker({ ...next, [field]: void 0 });
+var browserDiagnosticConsoleLayer = import_effect4.Layer.locallyScoped(currentDebugSinks, [browserDiagnosticConsoleSink]);
+var browserPrettyLoggerLayer = import_effect4.Logger.replace(
+  import_effect4.Logger.defaultLogger,
+  import_effect4.Logger.prettyLogger({ mode: "browser", colors: true })
+);
+var record = (event) => import_effect4.Effect.gen(function* () {
+  const sinks = yield* import_effect4.FiberRef.get(currentDebugSinks);
+  if (isErrorOnlyOnlySinks(sinks)) {
+    if (event.type === "lifecycle:error") {
+      yield* lifecycleErrorLog(event);
+      return;
     }
-  };
-  dropField("meta");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  dropField("source");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  dropField("staticIr");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  dropField("logicUnits");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  dropField("schemaKeys");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  dropField("effects");
-  if (utf8ByteLength(next) <= maxBytes) return next;
-  const truncateActionsToFit = () => {
-    const total = next.actions.length;
-    if (total <= 1) return;
-    let lo = 1;
-    let hi = total;
-    let best = 1;
-    while (lo <= hi) {
-      const mid = Math.floor((lo + hi) / 2);
-      const candidate = withMarker({
-        ...next,
-        actions: next.actions.slice(0, mid),
-        actionKeys: next.actionKeys.slice(0, mid)
-      });
-      if (utf8ByteLength(candidate) <= maxBytes) {
-        best = mid;
-        lo = mid + 1;
+    if (event.type === "diagnostic") {
+      if (event.severity !== "info") {
+        yield* diagnosticLog(event);
       } else {
-        hi = mid - 1;
+        yield* import_effect4.Effect.void;
       }
+      return;
     }
-    if (best < total) {
-      markTruncatedArray("actions");
-      markTruncatedArray("actionKeys");
-      next = withMarker({
-        ...next,
-        actions: next.actions.slice(0, best),
-        actionKeys: next.actionKeys.slice(0, best)
-      });
+    yield* import_effect4.Effect.void;
+    return;
+  }
+  if (sinks.length === 0) {
+    if (isBrowser) {
+      if (event.type === "lifecycle:error" || event.type === "diagnostic") {
+        yield* renderBrowserConsoleEvent(event);
+        return;
+      }
+      yield* import_effect4.Effect.void;
+      return;
+    }
+    if (event.type === "lifecycle:error") {
+      yield* lifecycleErrorLog(event);
+      return;
+    }
+    if (event.type === "diagnostic") {
+      yield* diagnosticLog(event);
+      return;
     }
+    yield* import_effect4.Effect.void;
+    return;
+  }
+  const enriched = event;
+  const diagnosticsLevel2 = yield* import_effect4.FiberRef.get(currentDiagnosticsLevel);
+  let now;
+  const getNow = () => {
+    if (now === void 0) now = Date.now();
+    return now;
   };
-  while (utf8ByteLength(next) > maxBytes) {
-    const beforeLen = next.actions.length;
-    truncateActionsToFit();
-    if (next.actions.length === beforeLen) {
-      break;
+  if (enriched.timestamp === void 0 && (diagnosticsLevel2 !== "off" || enriched.type === "lifecycle:error" || enriched.type === "diagnostic")) {
+    ;
+    enriched.timestamp = getNow();
+  }
+  if (diagnosticsLevel2 !== "off" && enriched.runtimeLabel === void 0) {
+    const runtimeLabel = yield* import_effect4.FiberRef.get(currentRuntimeLabel);
+    if (runtimeLabel) {
+      ;
+      enriched.runtimeLabel = runtimeLabel;
     }
   }
-  return next;
-};
-var extractManifest = (module2, options) => {
-  const manifestVersion = "067";
-  const moduleId = resolveModuleId2(module2);
-  const actionKeys = resolveActionKeys(module2);
-  const actions = resolveActions(module2);
-  const effects = resolveEffects(module2);
-  const schemaKeys = resolveSchemaKeys(module2);
-  const logicUnits = resolveLogicUnits(module2);
-  const source = resolveSource(module2);
-  const meta = resolveMeta(module2);
-  const staticIr = options?.includeStaticIr ? exportStaticIr2(module2) : void 0;
-  const digestBase = {
-    manifestVersion,
-    moduleId,
-    actionKeys,
-    actions,
-    effects,
-    schemaKeys,
-    logicUnits,
-    staticIrDigest: staticIr?.digest
-  };
-  const digest = digestOf(digestBase);
-  const manifest = {
-    manifestVersion,
-    moduleId,
-    actionKeys,
-    actions,
-    effects,
-    schemaKeys,
-    logicUnits,
-    source,
-    meta,
-    staticIr,
-    digest
-  };
-  const maxBytes = options?.budgets?.maxBytes;
-  if (typeof maxBytes === "number" && Number.isFinite(maxBytes) && maxBytes > 0) {
-    return applyMaxBytes(manifest, maxBytes);
-  }
-  return manifest;
-};
-
-// src/internal/reflection/diff.ts
-var SEVERITY_RANK = {
-  BREAKING: 0,
-  RISKY: 1,
-  INFO: 2
-};
-var uniqSorted = (input) => {
-  const out = Array.from(new Set(input.filter((x) => typeof x === "string" && x.length > 0)));
-  out.sort((a, b) => a.localeCompare(b));
-  return out;
-};
-var diffStringKeys = (before, after) => {
-  const beforeSet = new Set(uniqSorted(before ?? []));
-  const afterSet = new Set(uniqSorted(after ?? []));
-  const removed = [];
-  for (const k of beforeSet) {
-    if (!afterSet.has(k)) removed.push(k);
-  }
-  removed.sort((a, b) => a.localeCompare(b));
-  const added = [];
-  for (const k of afterSet) {
-    if (!beforeSet.has(k)) added.push(k);
-  }
-  added.sort((a, b) => a.localeCompare(b));
-  return { removed, added };
-};
-var eqJsonValue = (a, b) => stableStringify(a) === stableStringify(b);
-var indexLogicUnits = (input) => {
-  const map = /* @__PURE__ */ new Map();
-  for (const unit of input ?? []) {
-    if (!unit || typeof unit !== "object") continue;
-    const id = unit.id;
-    if (typeof id !== "string" || id.length === 0) continue;
-    map.set(id, unit);
-  }
-  return map;
-};
-var diffManifest = (before, after, options) => {
-  const changes = [];
-  if (before.moduleId !== after.moduleId) {
-    changes.push({
-      severity: "BREAKING",
-      code: "moduleId.changed",
-      message: `moduleId changed (${before.moduleId} -> ${after.moduleId})`,
-      pointer: "/moduleId",
-      details: {
-        before: before.moduleId,
-        after: after.moduleId
-      }
-    });
-  }
-  if (before.manifestVersion !== after.manifestVersion) {
-    changes.push({
-      severity: "INFO",
-      code: "manifestVersion.changed",
-      message: `manifestVersion changed (${before.manifestVersion} -> ${after.manifestVersion})`,
-      pointer: "/manifestVersion",
-      details: {
-        before: before.manifestVersion,
-        after: after.manifestVersion
-      }
-    });
-  }
-  {
-    const { removed, added } = diffStringKeys(before.actionKeys, after.actionKeys);
-    if (removed.length > 0 || added.length > 0) {
-      changes.push({
-        severity: removed.length > 0 ? "BREAKING" : "INFO",
-        code: "actionKeys.changed",
-        message: removed.length > 0 ? `actionKeys removed: ${removed.join(", ")}` : `actionKeys added: ${added.join(", ")}`,
-        pointer: "/actionKeys",
-        details: { removed, added }
-      });
+  if (enriched.type === "diagnostic" && enriched.txnId === void 0) {
+    const txnId = yield* import_effect4.FiberRef.get(currentTxnId);
+    if (txnId) {
+      ;
+      enriched.txnId = txnId;
     }
   }
-  {
-    const { removed, added } = diffStringKeys(before.schemaKeys, after.schemaKeys);
-    if (removed.length > 0 || added.length > 0) {
-      changes.push({
-        severity: removed.length > 0 ? "BREAKING" : "INFO",
-        code: "schemaKeys.changed",
-        message: removed.length > 0 ? `schemaKeys removed: ${removed.join(", ")}` : `schemaKeys added: ${added.join(", ")}`,
-        pointer: "/schemaKeys",
-        details: { removed, added }
-      });
+  if (diagnosticsLevel2 !== "off" && enriched.type === "trace:effectop" && enriched.linkId === void 0) {
+    const linkId = yield* import_effect4.FiberRef.get(currentLinkId);
+    if (linkId) {
+      ;
+      enriched.linkId = linkId;
     }
   }
-  {
-    const beforeById = indexLogicUnits(before.logicUnits);
-    const afterById = indexLogicUnits(after.logicUnits);
-    const removed = [];
-    const added = [];
-    const kindChanged = [];
-    const riskyChanged = [];
-    for (const id of beforeById.keys()) {
-      if (!afterById.has(id)) removed.push(id);
-    }
-    for (const id of afterById.keys()) {
-      if (!beforeById.has(id)) added.push(id);
-    }
-    removed.sort((a, b) => a.localeCompare(b));
-    added.sort((a, b) => a.localeCompare(b));
-    for (const id of beforeById.keys()) {
-      const b = beforeById.get(id);
-      const a = afterById.get(id);
-      if (!b || !a) continue;
-      const fields = [];
-      if (b.kind !== a.kind) {
-        kindChanged.push({ id, before: b.kind, after: a.kind });
-        continue;
-      }
-      if (b.name !== a.name) fields.push("name");
-      if (b.derived !== a.derived) fields.push("derived");
-      if (fields.length > 0) riskyChanged.push({ id, fields });
+  if (sinks.length === 1) {
+    yield* sinks[0].record(enriched);
+    return;
+  }
+  yield* import_effect4.Effect.forEach(sinks, (sink) => sink.record(enriched), { discard: true });
+});
+var toRuntimeDebugEventRef = (event, options) => {
+  const diagnosticsLevel2 = options?.diagnosticsLevel ?? "full";
+  if (diagnosticsLevel2 === "off") {
+    return void 0;
+  }
+  const isLightLike = diagnosticsLevel2 === "light" || diagnosticsLevel2 === "sampled";
+  const timestamp = typeof event.timestamp === "number" && Number.isFinite(event.timestamp) ? event.timestamp : Date.now();
+  const moduleIdRaw = event.moduleId;
+  const moduleId = typeof moduleIdRaw === "string" && moduleIdRaw.length > 0 ? moduleIdRaw : "unknown";
+  const instanceIdRaw = event.instanceId;
+  const instanceId = typeof instanceIdRaw === "string" && instanceIdRaw.length > 0 ? instanceIdRaw : "unknown";
+  const runtimeLabelRaw = event.runtimeLabel;
+  const runtimeLabel = typeof runtimeLabelRaw === "string" && runtimeLabelRaw.length > 0 ? runtimeLabelRaw : void 0;
+  const txnSeqRaw = event.txnSeq;
+  const txnSeq = typeof txnSeqRaw === "number" && Number.isFinite(txnSeqRaw) && txnSeqRaw >= 0 ? Math.floor(txnSeqRaw) : 0;
+  const txnIdRaw = event.txnId;
+  const txnId = typeof txnIdRaw === "string" && txnIdRaw.length > 0 ? txnIdRaw : txnSeq > 0 ? `${instanceId}::t${txnSeq}` : void 0;
+  const linkId = (() => {
+    const linkIdRaw = event.linkId;
+    if (typeof linkIdRaw === "string" && linkIdRaw.length > 0) return linkIdRaw;
+    if (typeof event.type !== "string" || !event.type.startsWith("trace:")) {
+      return void 0;
     }
-    kindChanged.sort((x, y) => x.id.localeCompare(y.id));
-    riskyChanged.sort((x, y) => x.id.localeCompare(y.id));
-    if (removed.length > 0) {
-      changes.push({
-        severity: "BREAKING",
-        code: "logicUnits.removed",
-        message: `logicUnits removed: ${removed.join(", ")}`,
-        pointer: "/logicUnits",
-        details: { removed }
+    const data = event.data;
+    const meta = data?.meta;
+    const linkIdFromMeta = meta?.linkId;
+    if (typeof linkIdFromMeta === "string" && linkIdFromMeta.length > 0) return linkIdFromMeta;
+    return void 0;
+  })();
+  const eventSeqRaw = options?.eventSeq;
+  const eventSeq = typeof eventSeqRaw === "number" && Number.isFinite(eventSeqRaw) && eventSeqRaw > 0 ? Math.floor(eventSeqRaw) : nextEventSeq();
+  const eventId = makeEventId(instanceId, eventSeq);
+  const base = {
+    eventId,
+    eventSeq,
+    moduleId,
+    instanceId,
+    runtimeLabel,
+    txnSeq,
+    txnId,
+    linkId,
+    timestamp
+  };
+  let downgrade;
+  const withDowngrade = (ref) => {
+    if (!downgrade) return ref;
+    return { ...ref, downgrade: { reason: downgrade } };
+  };
+  switch (event.type) {
+    case "module:init":
+      return withDowngrade({
+        ...base,
+        kind: "lifecycle",
+        label: "module:init"
       });
-    }
-    if (kindChanged.length > 0) {
-      changes.push({
-        severity: "BREAKING",
-        code: "logicUnits.kindChanged",
-        message: `logicUnits kind changed: ${kindChanged.map((x) => x.id).join(", ")}`,
-        pointer: "/logicUnits",
-        details: { kindChanged }
+    case "module:destroy":
+      return withDowngrade({
+        ...base,
+        kind: "lifecycle",
+        label: "module:destroy"
       });
-    }
-    if (added.length > 0) {
-      changes.push({
-        severity: "INFO",
-        code: "logicUnits.added",
-        message: `logicUnits added: ${added.join(", ")}`,
-        pointer: "/logicUnits",
-        details: { added }
+    case "lifecycle:phase": {
+      const e = event;
+      const metaInput = isLightLike ? { type: "lifecycle:phase", phase: e.phase, name: e.name } : { type: "lifecycle:phase", phase: e.phase, name: e.name, payload: e.payload };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
       });
-    }
-    if (riskyChanged.length > 0) {
-      changes.push({
-        severity: "RISKY",
-        code: "logicUnits.changed",
-        message: `logicUnits changed: ${riskyChanged.map((x) => x.id).join(", ")}`,
-        pointer: "/logicUnits",
-        details: { changed: riskyChanged }
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      return withDowngrade({
+        ...base,
+        kind: "lifecycle",
+        label: e.name,
+        meta: metaProjection.value
       });
     }
-  }
-  {
-    const beforeDigest = before.staticIr?.digest;
-    const afterDigest = after.staticIr?.digest;
-    if (beforeDigest !== afterDigest) {
-      changes.push({
-        severity: "RISKY",
-        code: "staticIr.digestChanged",
-        message: "staticIr.digest changed",
-        pointer: "/staticIr/digest",
-        details: {
-          before: beforeDigest ?? null,
-          after: afterDigest ?? null
-        }
+    case "action:dispatch": {
+      const action = event.action;
+      const actionTagRaw = event.actionTag;
+      const tag = typeof actionTagRaw === "string" && actionTagRaw.length > 0 ? actionTagRaw : action?._tag ?? action?.type;
+      const label = String(tag ?? "action:dispatch");
+      const labelNormalized = label.length > 0 ? label : "unknown";
+      const unknownAction = event.unknownAction === true ? true : void 0;
+      const metaInput = isLightLike ? { actionTag: labelNormalized, ...unknownAction ? { unknownAction: true } : {} } : { action, ...unknownAction ? { unknownAction: true } : {} };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
       });
-    }
-  }
-  {
-    const metaBefore = before.meta ?? {};
-    const metaAfter = after.meta ?? {};
-    const allowlist = options?.metaAllowlist;
-    const keys = allowlist != null ? uniqSorted(allowlist) : uniqSorted([...Object.keys(metaBefore), ...Object.keys(metaAfter)]);
-    const changed = [];
-    for (const key of keys) {
-      const b = key in metaBefore ? metaBefore[key] : void 0;
-      const a = key in metaAfter ? metaAfter[key] : void 0;
-      if (!eqJsonValue(b, a)) {
-        changed.push({
-          key,
-          before: b ?? null,
-          after: a ?? null
-        });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      if (unknownAction) {
+        downgrade = mergeDowngrade2(downgrade, "unknown");
       }
+      return withDowngrade({
+        ...base,
+        kind: "action",
+        label: labelNormalized,
+        meta: metaProjection.value
+      });
     }
-    if (changed.length > 0) {
-      changes.push({
-        severity: "RISKY",
-        code: "meta.changed",
-        message: "meta changed",
-        pointer: "/meta",
-        details: {
-          keys: changed.map((x) => x.key),
-          changed
+    case "state:update": {
+      const e = event;
+      const resolveDirtySetRootPaths = () => {
+        const resolve2 = options?.resolveConvergeStaticIr;
+        if (!resolve2) return void 0;
+        const digest = e.staticIrDigest;
+        if (typeof digest !== "string" || digest.length === 0) return void 0;
+        const dirtySet = e.dirtySet;
+        if (!dirtySet || typeof dirtySet !== "object" || Array.isArray(dirtySet)) return void 0;
+        const rootIds = dirtySet.rootIds;
+        if (!Array.isArray(rootIds) || rootIds.length === 0) return void 0;
+        const ir = resolve2(digest);
+        const fieldPaths = ir?.fieldPaths;
+        if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return void 0;
+        const out = [];
+        for (const rawId of rootIds) {
+          if (typeof rawId !== "number" || !Number.isFinite(rawId)) continue;
+          const id = Math.floor(rawId);
+          if (id < 0) continue;
+          const path = fieldPaths[id];
+          if (!Array.isArray(path) || path.length === 0) continue;
+          if (!path.every((seg) => typeof seg === "string" && seg.length > 0)) continue;
+          out.push(path);
         }
+        return out.length > 0 ? out : void 0;
+      };
+      const dirtySetWithRootPaths = (() => {
+        const rootPaths = resolveDirtySetRootPaths();
+        if (!rootPaths) return e.dirtySet;
+        const dirtySet = e.dirtySet;
+        if (!dirtySet || typeof dirtySet !== "object" || Array.isArray(dirtySet)) return e.dirtySet;
+        return { ...dirtySet, rootPaths };
+      })();
+      const metaInput = isLightLike ? {
+        state: e.state,
+        dirtySet: dirtySetWithRootPaths,
+        patchCount: e.patchCount,
+        patchesTruncated: e.patchesTruncated,
+        patchesTruncatedReason: e.patchesTruncatedReason,
+        staticIrDigest: e.staticIrDigest,
+        commitMode: e.commitMode,
+        priority: e.priority,
+        originKind: e.originKind,
+        originName: e.originName
+      } : {
+        state: e.state,
+        dirtySet: dirtySetWithRootPaths,
+        patchCount: e.patchCount,
+        patchesTruncated: e.patchesTruncated,
+        patchesTruncatedReason: e.patchesTruncatedReason,
+        staticIrDigest: e.staticIrDigest,
+        commitMode: e.commitMode,
+        priority: e.priority,
+        originKind: e.originKind,
+        originName: e.originName,
+        traitSummary: e.traitSummary,
+        replayEvent: e.replayEvent
+      };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
+      });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      if (txnId) {
+        lastTxnByInstance.set(instanceId, { txnId, txnSeq });
+        backfillPendingTxnAlignment(instanceId, { txnId, txnSeq });
+      }
+      return withDowngrade({
+        ...base,
+        kind: "state",
+        label: "state:update",
+        meta: metaProjection.value
       });
     }
-  }
-  {
-    const b = before.source;
-    const a = after.source;
-    if (!eqJsonValue(b ?? null, a ?? null)) {
-      changes.push({
-        severity: "INFO",
-        code: "source.changed",
-        message: "source changed",
-        pointer: "/source",
-        details: {
-          before: b ?? null,
-          after: a ?? null
-        }
+    case "process:start":
+    case "process:stop":
+    case "process:restart":
+    case "process:trigger":
+    case "process:dispatch":
+    case "process:error": {
+      const e = event;
+      const ts2 = typeof e.timestampMs === "number" && Number.isFinite(e.timestampMs) ? e.timestampMs : timestamp;
+      const metaInput = {
+        identity: e.identity,
+        severity: e.severity,
+        eventSeq: e.eventSeq,
+        timestampMs: e.timestampMs,
+        trigger: e.trigger,
+        dispatch: e.dispatch,
+        error: e.error
+      };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
+      });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      const errorSummary = e.type === "process:error" || e.type === "process:restart" ? e.error : void 0;
+      return withDowngrade({
+        ...base,
+        timestamp: ts2,
+        kind: "process",
+        label: e.type,
+        meta: metaProjection.value,
+        errorSummary
       });
     }
-  }
-  changes.sort((a, b) => {
-    const ra = SEVERITY_RANK[a.severity];
-    const rb = SEVERITY_RANK[b.severity];
-    if (ra !== rb) return ra - rb;
-    const ca = a.code.localeCompare(b.code);
-    if (ca !== 0) return ca;
-    const pa = a.pointer ?? "";
-    const pb = b.pointer ?? "";
-    return pa.localeCompare(pb);
-  });
-  const summary = {
-    breaking: changes.filter((c) => c.severity === "BREAKING").length,
-    risky: changes.filter((c) => c.severity === "RISKY").length,
-    info: changes.filter((c) => c.severity === "INFO").length
-  };
-  const verdict = summary.breaking > 0 ? "FAIL" : summary.risky > 0 ? "WARN" : "PASS";
-  return {
-    version: "025",
-    moduleId: after.moduleId,
-    before: {
-      digest: before.digest,
-      manifestVersion: before.manifestVersion
-    },
-    after: {
-      digest: after.digest,
-      manifestVersion: after.manifestVersion
-    },
-    verdict,
-    changes,
-    summary
-  };
-};
-
-// src/internal/reflection/kernelContract.ts
-var import_effect34 = require("effect");
-
-// src/internal/observability/trialRun.ts
-var import_effect33 = require("effect");
-
-// src/internal/observability/evidenceCollector.ts
-var import_effect8 = require("effect");
-
-// src/internal/observability/runSession.ts
-var import_effect4 = require("effect");
-
-// src/internal/observability/evidence.ts
-var OBSERVABILITY_PROTOCOL_VERSION = "v1";
-var exportEvidencePackage = (options) => {
-  const protocolVersion = options.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION;
-  return {
-    protocolVersion,
-    runId: options.runId,
-    createdAt: options.createdAt ?? Date.now(),
-    source: options.source,
-    events: options.events.slice().sort((a, b) => a.seq - b.seq),
-    summary: options.summary
-  };
-};
-
-// src/internal/observability/runSession.ts
-var RunSessionTagImpl = class extends import_effect4.Context.Tag("@logixjs/core/RunSession")() {
-};
-var RunSessionTag = RunSessionTagImpl;
-var NEXT_RUN_SEQ_KEY = /* @__PURE__ */ Symbol.for("@logixjs/core/runSession/nextRunSeq");
-var fallbackNextRunSeq = 0;
-var nextRunSeq = () => {
-  try {
-    const g = globalThis;
-    const prev = typeof g[NEXT_RUN_SEQ_KEY] === "number" ? g[NEXT_RUN_SEQ_KEY] : 0;
-    const next = prev + 1;
-    g[NEXT_RUN_SEQ_KEY] = next;
-    return next;
-  } catch {
-    fallbackNextRunSeq += 1;
-    return fallbackNextRunSeq;
-  }
-};
-var makeRunId = (startedAt) => `run-${startedAt}.${nextRunSeq()}`;
-var makeRunSessionLocalState = () => {
-  const onceKeys = /* @__PURE__ */ new Set();
-  const seqByNamespace = /* @__PURE__ */ new Map();
-  return {
-    once: (key) => {
-      if (onceKeys.has(key)) return false;
-      onceKeys.add(key);
-      return true;
-    },
-    nextSeq: (namespace, key) => {
-      const byKey = seqByNamespace.get(namespace) ?? /* @__PURE__ */ new Map();
-      if (!seqByNamespace.has(namespace)) seqByNamespace.set(namespace, byKey);
-      const prev = byKey.get(key) ?? 0;
-      const next = prev + 1;
-      byKey.set(key, next);
-      return next;
-    },
-    clear: () => {
-      onceKeys.clear();
-      seqByNamespace.clear();
-    }
-  };
-};
-var makeRunSession = (options) => {
-  const startedAt = options?.startedAt ?? Date.now();
-  return {
-    runId: options?.runId ?? makeRunId(startedAt),
-    source: options?.source ?? { host: "unknown" },
-    startedAt,
-    local: options?.local ?? makeRunSessionLocalState()
-  };
-};
-var makeEvidenceSink = (session) => {
-  const events = [];
-  let nextSeq = 1;
-  return {
-    record: (type, payload, options) => {
-      events.push({
-        protocolVersion: OBSERVABILITY_PROTOCOL_VERSION,
-        runId: session.runId,
-        seq: nextSeq++,
-        timestamp: options?.timestamp ?? Date.now(),
-        type,
-        payload
+    case "lifecycle:error": {
+      const e = event;
+      const summary = toSerializableErrorSummary(e.cause);
+      downgrade = mergeDowngrade2(downgrade, summary.downgrade);
+      const metaInput = isLightLike ? { type: "lifecycle:error", phase: e.phase, name: e.hook } : {
+        type: "lifecycle:error",
+        phase: e.phase,
+        name: e.hook,
+        hook: e.hook,
+        taskId: e.taskId,
+        origin: e.origin,
+        txnSeq: e.txnSeq,
+        opSeq: e.opSeq
+      };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
       });
-    },
-    export: (options) => {
-      const protocolVersion = options?.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION;
-      const maxEvents = options?.maxEvents;
-      const selected = typeof maxEvents === "number" && Number.isFinite(maxEvents) && maxEvents > 0 ? events.slice(Math.max(0, events.length - Math.floor(maxEvents))) : events.slice();
-      return exportEvidencePackage({
-        protocolVersion,
-        runId: session.runId,
-        source: session.source,
-        createdAt: options?.createdAt,
-        events: selected,
-        summary: options?.summary
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      return withDowngrade({
+        ...base,
+        kind: "lifecycle",
+        label: "lifecycle:error",
+        meta: metaProjection.value,
+        errorSummary: summary.errorSummary
       });
-    },
-    clear: () => {
-      events.length = 0;
-      nextSeq = 1;
-    }
-  };
-};
-var runSessionLayer = (session) => import_effect4.Layer.succeed(RunSessionTag, session ?? makeRunSession());
-
-// src/internal/runtime/core/DebugSink.ts
-var import_effect7 = require("effect");
-
-// src/internal/runtime/core/errorSummary.ts
-var import_effect5 = require("effect");
-var truncate = (value, maxLen) => {
-  if (value.length <= maxLen) return { value, truncated: false };
-  return { value: value.slice(0, maxLen), truncated: true };
-};
-var safeStringify = (value) => {
-  try {
-    return { ok: true, json: JSON.stringify(value) };
-  } catch {
-    return { ok: false };
-  }
-};
-var getMessageFromUnknown = (cause) => {
-  if (typeof cause === "string") return cause;
-  if (typeof cause === "number" || typeof cause === "boolean" || typeof cause === "bigint") return String(cause);
-  if (cause instanceof Error) return cause.message || cause.name || "Error";
-  if (cause && typeof cause === "object" && "message" in cause && typeof cause.message === "string") {
-    return cause.message;
-  }
-  try {
-    const pretty = import_effect5.Cause.pretty(cause, { renderErrorCause: true });
-    if (typeof pretty === "string" && pretty.length > 0) return pretty;
-  } catch {
-  }
-  return "Unknown error";
-};
-var toSerializableErrorSummary = (cause, options) => {
-  const maxMessageLength = options?.maxMessageLength ?? 256;
-  const messageRaw = getMessageFromUnknown(cause);
-  const { value: message, truncated } = truncate(messageRaw, maxMessageLength);
-  const summary = {
-    message
-  };
-  if (cause instanceof Error) {
-    if (cause.name && cause.name !== "Error") summary.name = cause.name;
-    const anyCause = cause;
-    if (typeof anyCause.code === "string" && anyCause.code.length > 0) summary.code = anyCause.code;
-    else if (typeof anyCause.code === "number" && Number.isFinite(anyCause.code)) summary.code = String(anyCause.code);
-    if (typeof anyCause.hint === "string" && anyCause.hint.length > 0) summary.hint = anyCause.hint;
-    return {
-      errorSummary: summary,
-      downgrade: truncated ? "oversized" : void 0
-    };
-  }
-  if (cause && typeof cause === "object") {
-    const anyCause = cause;
-    if (typeof anyCause.name === "string" && anyCause.name.length > 0) summary.name = anyCause.name;
-    if (typeof anyCause.code === "string" && anyCause.code.length > 0) summary.code = anyCause.code;
-    if (typeof anyCause.hint === "string" && anyCause.hint.length > 0) summary.hint = anyCause.hint;
-  }
-  const stringifyResult = safeStringify(cause);
-  if (!stringifyResult.ok) {
-    return {
-      errorSummary: summary,
-      downgrade: "non_serializable"
-    };
-  }
-  if (truncated) {
-    return {
-      errorSummary: summary,
-      downgrade: "oversized"
-    };
-  }
-  if (message === "Unknown error") {
-    return {
-      errorSummary: summary,
-      downgrade: "unknown"
-    };
-  }
-  return { errorSummary: summary };
-};
-
-// src/internal/runtime/core/EffectOpCore.ts
-var import_effect6 = require("effect");
-var currentLinkId = import_effect6.FiberRef.unsafeMake(void 0);
-var EffectOpMiddlewareTag = class extends import_effect6.Context.Tag("Logix/EffectOpMiddleware")() {
-};
-
-// src/internal/runtime/core/DebugSink.ts
-var currentDebugSinks = import_effect7.FiberRef.unsafeMake([]);
-var currentRuntimeLabel = import_effect7.FiberRef.unsafeMake(void 0);
-var currentTxnId = import_effect7.FiberRef.unsafeMake(void 0);
-var currentOpSeq = import_effect7.FiberRef.unsafeMake(void 0);
-var currentDiagnosticsLevel = import_effect7.FiberRef.unsafeMake("off");
-var diagnosticsLevel = (level) => import_effect7.Layer.fiberRefLocallyScopedWith(currentDiagnosticsLevel, () => level);
-var currentTraitConvergeDiagnosticsSampling = import_effect7.FiberRef.unsafeMake({
-  sampleEveryN: 32,
-  topK: 3
-});
-var appendSinks = (sinks) => import_effect7.Layer.fiberRefLocallyScopedWith(currentDebugSinks, (current) => [...current, ...sinks]);
-var nextGlobalEventSeq = 0;
-var nextEventSeq = () => {
-  nextGlobalEventSeq += 1;
-  return nextGlobalEventSeq;
-};
-var makeEventId = (instanceId, eventSeq) => `${instanceId}::e${eventSeq}`;
-var mergeDowngrade2 = (current, next) => {
-  if (!current) return next;
-  if (!next) return current;
-  if (current === "non_serializable" || next === "non_serializable") return "non_serializable";
-  if (current === "oversized" || next === "oversized") return "oversized";
-  return "unknown";
-};
-var browserLifecycleSeen = /* @__PURE__ */ new Set();
-var browserDiagnosticSeen = /* @__PURE__ */ new Set();
-var lastTxnByInstance = /* @__PURE__ */ new Map();
-var pendingTxnAlignmentByInstance = /* @__PURE__ */ new Map();
-var enqueuePendingTxnAlignment = (instanceId, ref) => {
-  const list = pendingTxnAlignmentByInstance.get(instanceId);
-  if (!list) {
-    pendingTxnAlignmentByInstance.set(instanceId, [ref]);
-    return;
-  }
-  list.push(ref);
-  if (list.length > 64) {
-    list.shift();
-  }
-};
-var backfillPendingTxnAlignment = (instanceId, txn) => {
-  const pending = pendingTxnAlignmentByInstance.get(instanceId);
-  if (!pending || pending.length === 0) {
-    pendingTxnAlignmentByInstance.delete(instanceId);
-    return;
-  }
-  for (const ref of pending) {
-    const anyRef = ref;
-    if (anyRef.txnId == null) {
-      anyRef.txnId = txn.txnId;
     }
-    if (typeof anyRef.txnSeq !== "number" || anyRef.txnSeq <= 0) {
-      anyRef.txnSeq = txn.txnSeq;
+    case "diagnostic": {
+      const e = event;
+      const metaInput = {
+        code: e.code,
+        severity: e.severity,
+        message: e.message,
+        hint: e.hint,
+        actionTag: e.actionTag,
+        kind: e.kind,
+        trigger: e.trigger
+      };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
+      });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      return withDowngrade({
+        ...base,
+        kind: "diagnostic",
+        label: e.code,
+        meta: metaProjection.value
+      });
     }
-  }
-  pendingTxnAlignmentByInstance.delete(instanceId);
-};
-var lifecycleErrorLog = (event) => {
-  const moduleId = event.moduleId ?? "unknown";
-  const causePretty = (() => {
-    try {
-      return import_effect7.Cause.pretty(event.cause, {
-        renderErrorCause: true
+    case "warn:priority-inversion": {
+      const e = event;
+      const metaInput = isLightLike ? {
+        tickSeq: e.tickSeq,
+        reason: e.reason,
+        selectorId: e.selectorId
+      } : {
+        tickSeq: e.tickSeq,
+        reason: e.reason,
+        selectorId: e.selectorId
+      };
+      const metaProjection = projectJsonValue(metaInput);
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
+      });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      return withDowngrade({
+        ...base,
+        kind: "diagnostic",
+        label: e.type,
+        meta: metaProjection.value
       });
-    } catch {
-      try {
-        return JSON.stringify(event.cause, null, 2);
-      } catch {
-        return String(event.cause);
-      }
     }
-  })();
-  const message = `[Logix][module=${moduleId}] lifecycle:error
-${causePretty}`;
-  return import_effect7.Effect.logError(message).pipe(
-    import_effect7.Effect.annotateLogs({
-      "logix.moduleId": moduleId,
-      "logix.event": "lifecycle:error",
-      "logix.cause": causePretty
-    })
-  );
-};
-var diagnosticLog = (event) => {
-  const moduleId = event.moduleId ?? "unknown";
-  const header = `[Logix][module=${moduleId}] diagnostic(${event.severity})`;
-  const detail = `code=${event.code} message=${event.message}${event.actionTag ? ` action=${event.actionTag}` : ""}${event.hint ? `
-hint: ${event.hint}` : ""}`;
-  const msg = `${header}
-${detail}`;
-  const base = event.severity === "warning" ? import_effect7.Effect.logWarning(msg) : event.severity === "info" ? import_effect7.Effect.logInfo(msg) : import_effect7.Effect.logError(msg);
-  const annotations = {
-    "logix.moduleId": moduleId,
-    "logix.event": `diagnostic(${event.severity})`,
-    "logix.diagnostic.code": event.code,
-    "logix.diagnostic.message": event.message
-  };
-  if (event.hint) {
-    annotations["logix.diagnostic.hint"] = event.hint;
-  }
-  if (event.actionTag) {
-    annotations["logix.diagnostic.actionTag"] = event.actionTag;
-  }
-  return base.pipe(import_effect7.Effect.annotateLogs(annotations));
-};
-var noopLayer = import_effect7.Layer.locallyScoped(currentDebugSinks, []);
-var errorOnlySink = {
-  record: (event) => event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" && event.severity !== "info" ? diagnosticLog(event) : import_effect7.Effect.void
-};
-var errorOnlyLayer = import_effect7.Layer.locallyScoped(currentDebugSinks, [errorOnlySink]);
-var isErrorOnlyOnlySinks = (sinks) => sinks.length === 1 && sinks[0] === errorOnlySink;
-var consoleSink = {
-  record: (event) => event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" ? diagnosticLog(event) : import_effect7.Effect.logDebug({ debugEvent: event })
-};
-var consoleLayer = import_effect7.Layer.locallyScoped(currentDebugSinks, [consoleSink]);
-var isBrowser = typeof window !== "undefined" && typeof document !== "undefined";
-var renderBrowserConsoleEvent = (event) => {
-  if (typeof event.type === "string" && event.type.startsWith("trace:")) {
-    const moduleId = event.moduleId ?? "unknown";
-    const type = event.type;
-    return import_effect7.Effect.sync(() => {
-      console.groupCollapsed(
-        "%c[Logix]%c trace %c" + moduleId + "%c " + String(type),
-        "color:#6b7280;font-weight:bold",
-        // tag
-        "color:#3b82f6",
-        // label
-        "color:#9ca3af",
-        // module id
-        "color:#6b7280"
-        // type
-      );
-      console.log(event);
-      console.groupEnd();
-    });
-  }
-  if (event.type === "lifecycle:error") {
-    const moduleId = event.moduleId ?? "unknown";
-    const causePretty = (() => {
-      try {
-        return import_effect7.Cause.pretty(event.cause, { renderErrorCause: true });
-      } catch {
-        try {
-          return JSON.stringify(event.cause, null, 2);
-        } catch {
-          return String(event.cause);
-        }
-      }
-    })();
-    const key = `${moduleId}|${causePretty}`;
-    if (browserLifecycleSeen.has(key)) {
-      return import_effect7.Effect.void;
-    }
-    browserLifecycleSeen.add(key);
-    return import_effect7.Effect.sync(() => {
-      console.groupCollapsed(
-        "%c[Logix]%c lifecycle:error %c" + moduleId,
-        "color:#ef4444;font-weight:bold",
-        // tag
-        "color:#ef4444",
-        // label
-        "color:#9ca3af"
-        // module id
-      );
-      console.error(causePretty);
-      console.groupEnd();
-    });
-  }
-  if (event.type === "diagnostic") {
-    const moduleId = event.moduleId ?? "unknown";
-    const detail = `code=${event.code} message=${event.message}${event.actionTag ? ` action=${event.actionTag}` : ""}${event.hint ? `
-hint: ${event.hint}` : ""}`;
-    const color = event.severity === "warning" ? "color:#d97706" : event.severity === "info" ? "color:#3b82f6" : "color:#ef4444";
-    const label = event.severity === "warning" ? "diagnostic(warning)" : event.severity === "info" ? "diagnostic(info)" : "diagnostic(error)";
-    const key = `${moduleId}|${event.code}|${event.message}`;
-    if (browserDiagnosticSeen.has(key)) {
-      return import_effect7.Effect.void;
-    }
-    browserDiagnosticSeen.add(key);
-    return import_effect7.Effect.sync(() => {
-      console.groupCollapsed(
-        "%c[Logix]%c " + label + "%c module=" + moduleId,
-        "color:#6b7280;font-weight:bold",
-        color,
-        "color:#9ca3af"
-      );
-      if (event.severity === "warning") {
-        console.warn(detail);
-      } else if (event.severity === "info") {
-        console.info(detail);
-      } else {
-        console.error(detail);
-      }
-      console.groupEnd();
-    });
-  }
-  return import_effect7.Effect.void;
-};
-var browserConsoleSink = {
-  record: (event) => {
-    if (!isBrowser) {
-      return event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" ? diagnosticLog(event) : import_effect7.Effect.logDebug({ debugEvent: event });
-    }
-    return renderBrowserConsoleEvent(event);
-  }
-};
-var browserConsoleLayer = import_effect7.Layer.locallyScoped(currentDebugSinks, [browserConsoleSink]);
-var browserDiagnosticConsoleSink = {
-  record: (event) => {
-    if (!isBrowser) {
-      return event.type === "lifecycle:error" ? lifecycleErrorLog(event) : event.type === "diagnostic" && event.severity !== "info" ? diagnosticLog(event) : import_effect7.Effect.void;
-    }
-    return event.type === "lifecycle:error" || event.type === "diagnostic" && event.severity !== "info" ? renderBrowserConsoleEvent(event) : import_effect7.Effect.void;
-  }
-};
-var browserDiagnosticConsoleLayer = import_effect7.Layer.locallyScoped(currentDebugSinks, [browserDiagnosticConsoleSink]);
-var browserPrettyLoggerLayer = import_effect7.Logger.replace(
-  import_effect7.Logger.defaultLogger,
-  import_effect7.Logger.prettyLogger({ mode: "browser", colors: true })
-);
-var record = (event) => import_effect7.Effect.gen(function* () {
-  const sinks = yield* import_effect7.FiberRef.get(currentDebugSinks);
-  if (isErrorOnlyOnlySinks(sinks)) {
-    if (event.type === "lifecycle:error") {
-      yield* lifecycleErrorLog(event);
-      return;
-    }
-    if (event.type === "diagnostic") {
-      if (event.severity !== "info") {
-        yield* diagnosticLog(event);
-      } else {
-        yield* import_effect7.Effect.void;
-      }
-      return;
-    }
-    yield* import_effect7.Effect.void;
-    return;
-  }
-  if (sinks.length === 0) {
-    if (isBrowser) {
-      if (event.type === "lifecycle:error" || event.type === "diagnostic") {
-        yield* renderBrowserConsoleEvent(event);
-        return;
-      }
-      yield* import_effect7.Effect.void;
-      return;
-    }
-    if (event.type === "lifecycle:error") {
-      yield* lifecycleErrorLog(event);
-      return;
-    }
-    if (event.type === "diagnostic") {
-      yield* diagnosticLog(event);
-      return;
-    }
-    yield* import_effect7.Effect.void;
-    return;
-  }
-  const enriched = event;
-  const diagnosticsLevel2 = yield* import_effect7.FiberRef.get(currentDiagnosticsLevel);
-  let now;
-  const getNow = () => {
-    if (now === void 0) now = Date.now();
-    return now;
-  };
-  if (enriched.timestamp === void 0 && (diagnosticsLevel2 !== "off" || enriched.type === "lifecycle:error" || enriched.type === "diagnostic")) {
-    ;
-    enriched.timestamp = getNow();
-  }
-  if (diagnosticsLevel2 !== "off" && enriched.runtimeLabel === void 0) {
-    const runtimeLabel = yield* import_effect7.FiberRef.get(currentRuntimeLabel);
-    if (runtimeLabel) {
-      ;
-      enriched.runtimeLabel = runtimeLabel;
-    }
-  }
-  if (enriched.type === "diagnostic" && enriched.txnId === void 0) {
-    const txnId = yield* import_effect7.FiberRef.get(currentTxnId);
-    if (txnId) {
-      ;
-      enriched.txnId = txnId;
-    }
-  }
-  if (diagnosticsLevel2 !== "off" && enriched.type === "trace:effectop" && enriched.linkId === void 0) {
-    const linkId = yield* import_effect7.FiberRef.get(currentLinkId);
-    if (linkId) {
-      ;
-      enriched.linkId = linkId;
-    }
-  }
-  if (sinks.length === 1) {
-    yield* sinks[0].record(enriched);
-    return;
-  }
-  yield* import_effect7.Effect.forEach(sinks, (sink) => sink.record(enriched), { discard: true });
-});
-var toRuntimeDebugEventRef = (event, options) => {
-  const diagnosticsLevel2 = options?.diagnosticsLevel ?? "full";
-  if (diagnosticsLevel2 === "off") {
-    return void 0;
-  }
-  const isLightLike = diagnosticsLevel2 === "light" || diagnosticsLevel2 === "sampled";
-  const timestamp = typeof event.timestamp === "number" && Number.isFinite(event.timestamp) ? event.timestamp : Date.now();
-  const moduleIdRaw = event.moduleId;
-  const moduleId = typeof moduleIdRaw === "string" && moduleIdRaw.length > 0 ? moduleIdRaw : "unknown";
-  const instanceIdRaw = event.instanceId;
-  const instanceId = typeof instanceIdRaw === "string" && instanceIdRaw.length > 0 ? instanceIdRaw : "unknown";
-  const runtimeLabelRaw = event.runtimeLabel;
-  const runtimeLabel = typeof runtimeLabelRaw === "string" && runtimeLabelRaw.length > 0 ? runtimeLabelRaw : void 0;
-  const txnSeqRaw = event.txnSeq;
-  const txnSeq = typeof txnSeqRaw === "number" && Number.isFinite(txnSeqRaw) && txnSeqRaw >= 0 ? Math.floor(txnSeqRaw) : 0;
-  const txnIdRaw = event.txnId;
-  const txnId = typeof txnIdRaw === "string" && txnIdRaw.length > 0 ? txnIdRaw : txnSeq > 0 ? `${instanceId}::t${txnSeq}` : void 0;
-  const linkId = (() => {
-    const linkIdRaw = event.linkId;
-    if (typeof linkIdRaw === "string" && linkIdRaw.length > 0) return linkIdRaw;
-    if (typeof event.type !== "string" || !event.type.startsWith("trace:")) {
-      return void 0;
-    }
-    const data = event.data;
-    const meta = data?.meta;
-    const linkIdFromMeta = meta?.linkId;
-    if (typeof linkIdFromMeta === "string" && linkIdFromMeta.length > 0) return linkIdFromMeta;
-    return void 0;
-  })();
-  const eventSeqRaw = options?.eventSeq;
-  const eventSeq = typeof eventSeqRaw === "number" && Number.isFinite(eventSeqRaw) && eventSeqRaw > 0 ? Math.floor(eventSeqRaw) : nextEventSeq();
-  const eventId = makeEventId(instanceId, eventSeq);
-  const base = {
-    eventId,
-    eventSeq,
-    moduleId,
-    instanceId,
-    runtimeLabel,
-    txnSeq,
-    txnId,
-    linkId,
-    timestamp
-  };
-  let downgrade;
-  const withDowngrade = (ref) => {
-    if (!downgrade) return ref;
-    return { ...ref, downgrade: { reason: downgrade } };
-  };
-  switch (event.type) {
-    case "module:init":
-      return withDowngrade({
-        ...base,
-        kind: "lifecycle",
-        label: "module:init"
-      });
-    case "module:destroy":
-      return withDowngrade({
-        ...base,
-        kind: "lifecycle",
-        label: "module:destroy"
-      });
-    case "lifecycle:phase": {
+    case "warn:microtask-starvation": {
       const e = event;
-      const metaInput = isLightLike ? { type: "lifecycle:phase", phase: e.phase, name: e.name } : { type: "lifecycle:phase", phase: e.phase, name: e.name, payload: e.payload };
-      const metaProjection = projectJsonValue(metaInput);
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
-      });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      return withDowngrade({
-        ...base,
-        kind: "lifecycle",
-        label: e.name,
-        meta: metaProjection.value
-      });
-    }
-    case "action:dispatch": {
-      const action = event.action;
-      const actionTagRaw = event.actionTag;
-      const tag = typeof actionTagRaw === "string" && actionTagRaw.length > 0 ? actionTagRaw : action?._tag ?? action?.type;
-      const label = String(tag ?? "action:dispatch");
-      const labelNormalized = label.length > 0 ? label : "unknown";
-      const unknownAction = event.unknownAction === true ? true : void 0;
-      const metaInput = isLightLike ? { actionTag: labelNormalized, ...unknownAction ? { unknownAction: true } : {} } : { action, ...unknownAction ? { unknownAction: true } : {} };
-      const metaProjection = projectJsonValue(metaInput);
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
-      });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      if (unknownAction) {
-        downgrade = mergeDowngrade2(downgrade, "unknown");
-      }
-      return withDowngrade({
-        ...base,
-        kind: "action",
-        label: labelNormalized,
-        meta: metaProjection.value
-      });
-    }
-    case "state:update": {
-      const e = event;
-      const resolveDirtySetRootPaths = () => {
-        const resolve2 = options?.resolveConvergeStaticIr;
-        if (!resolve2) return void 0;
-        const digest = e.staticIrDigest;
-        if (typeof digest !== "string" || digest.length === 0) return void 0;
-        const dirtySet = e.dirtySet;
-        if (!dirtySet || typeof dirtySet !== "object" || Array.isArray(dirtySet)) return void 0;
-        const rootIds = dirtySet.rootIds;
-        if (!Array.isArray(rootIds) || rootIds.length === 0) return void 0;
-        const ir = resolve2(digest);
-        const fieldPaths = ir?.fieldPaths;
-        if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return void 0;
-        const out = [];
-        for (const rawId of rootIds) {
-          if (typeof rawId !== "number" || !Number.isFinite(rawId)) continue;
-          const id = Math.floor(rawId);
-          if (id < 0) continue;
-          const path = fieldPaths[id];
-          if (!Array.isArray(path) || path.length === 0) continue;
-          if (!path.every((seg) => typeof seg === "string" && seg.length > 0)) continue;
-          out.push(path);
-        }
-        return out.length > 0 ? out : void 0;
-      };
-      const dirtySetWithRootPaths = (() => {
-        const rootPaths = resolveDirtySetRootPaths();
-        if (!rootPaths) return e.dirtySet;
-        const dirtySet = e.dirtySet;
-        if (!dirtySet || typeof dirtySet !== "object" || Array.isArray(dirtySet)) return e.dirtySet;
-        return { ...dirtySet, rootPaths };
-      })();
-      const metaInput = isLightLike ? {
-        state: e.state,
-        dirtySet: dirtySetWithRootPaths,
-        patchCount: e.patchCount,
-        patchesTruncated: e.patchesTruncated,
-        patchesTruncatedReason: e.patchesTruncatedReason,
-        staticIrDigest: e.staticIrDigest,
-        commitMode: e.commitMode,
-        priority: e.priority,
-        originKind: e.originKind,
-        originName: e.originName
-      } : {
-        state: e.state,
-        dirtySet: dirtySetWithRootPaths,
-        patchCount: e.patchCount,
-        patchesTruncated: e.patchesTruncated,
-        patchesTruncatedReason: e.patchesTruncatedReason,
-        staticIrDigest: e.staticIrDigest,
-        commitMode: e.commitMode,
-        priority: e.priority,
-        originKind: e.originKind,
-        originName: e.originName,
-        traitSummary: e.traitSummary,
-        replayEvent: e.replayEvent
-      };
-      const metaProjection = projectJsonValue(metaInput);
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
-      });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      if (txnId) {
-        lastTxnByInstance.set(instanceId, { txnId, txnSeq });
-        backfillPendingTxnAlignment(instanceId, { txnId, txnSeq });
-      }
-      return withDowngrade({
-        ...base,
-        kind: "state",
-        label: "state:update",
-        meta: metaProjection.value
-      });
-    }
-    case "process:start":
-    case "process:stop":
-    case "process:restart":
-    case "process:trigger":
-    case "process:dispatch":
-    case "process:error": {
-      const e = event;
-      const ts2 = typeof e.timestampMs === "number" && Number.isFinite(e.timestampMs) ? e.timestampMs : timestamp;
-      const metaInput = {
-        identity: e.identity,
-        severity: e.severity,
-        eventSeq: e.eventSeq,
-        timestampMs: e.timestampMs,
-        trigger: e.trigger,
-        dispatch: e.dispatch,
-        error: e.error
-      };
-      const metaProjection = projectJsonValue(metaInput);
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
-      });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      const errorSummary = e.type === "process:error" || e.type === "process:restart" ? e.error : void 0;
-      return withDowngrade({
-        ...base,
-        timestamp: ts2,
-        kind: "process",
-        label: e.type,
-        meta: metaProjection.value,
-        errorSummary
-      });
-    }
-    case "lifecycle:error": {
-      const e = event;
-      const summary = toSerializableErrorSummary(e.cause);
-      downgrade = mergeDowngrade2(downgrade, summary.downgrade);
-      const metaInput = isLightLike ? { type: "lifecycle:error", phase: e.phase, name: e.hook } : {
-        type: "lifecycle:error",
-        phase: e.phase,
-        name: e.hook,
-        hook: e.hook,
-        taskId: e.taskId,
-        origin: e.origin,
-        txnSeq: e.txnSeq,
-        opSeq: e.opSeq
-      };
-      const metaProjection = projectJsonValue(metaInput);
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
-      });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      return withDowngrade({
-        ...base,
-        kind: "lifecycle",
-        label: "lifecycle:error",
-        meta: metaProjection.value,
-        errorSummary: summary.errorSummary
-      });
-    }
-    case "diagnostic": {
-      const e = event;
-      const metaInput = {
-        code: e.code,
-        severity: e.severity,
-        message: e.message,
-        hint: e.hint,
-        actionTag: e.actionTag,
-        kind: e.kind,
-        trigger: e.trigger
-      };
+      const metaInput = isLightLike ? {
+        tickSeq: e.tickSeq,
+        microtaskChainDepth: e.microtaskChainDepth
+      } : {
+        tickSeq: e.tickSeq,
+        microtaskChainDepth: e.microtaskChainDepth
+      };
       const metaProjection = projectJsonValue(metaInput);
       options?.onMetaProjection?.({
         stats: metaProjection.stats,
@@ -1790,7 +1216,7 @@ var toRuntimeDebugEventRef = (event, options) => {
       return withDowngrade({
         ...base,
         kind: "diagnostic",
-        label: e.code,
+        label: e.type,
         meta: metaProjection.value
       });
     }
@@ -1798,6 +1224,33 @@ var toRuntimeDebugEventRef = (event, options) => {
       if (typeof event.type !== "string" || !event.type.startsWith("trace:")) {
         return void 0;
       }
+      if (event.type === "trace:tick") {
+        const data = event.data;
+        const metaInput = isLightLike ? {
+          tickSeq: data?.tickSeq,
+          phase: data?.phase,
+          schedule: data?.schedule,
+          triggerSummary: data?.triggerSummary,
+          anchors: data?.anchors,
+          budget: data?.budget,
+          backlog: data?.backlog,
+          result: data?.result
+        } : {
+          data
+        };
+        const metaProjection2 = projectJsonValue(metaInput);
+        options?.onMetaProjection?.({
+          stats: metaProjection2.stats,
+          downgrade: metaProjection2.downgrade
+        });
+        downgrade = mergeDowngrade2(downgrade, metaProjection2.downgrade);
+        return withDowngrade({
+          ...base,
+          kind: "devtools",
+          label: event.type,
+          meta: metaProjection2.value
+        });
+      }
       if (event.type === "trace:txn-lane") {
         const data = event.data;
         const evidence = data?.evidence ?? data;
@@ -2144,34 +1597,1965 @@ var toRuntimeDebugEventRef = (event, options) => {
           meta: metaProjection2.value
         });
       }
-      const metaProjection = projectJsonValue(
-        isLightLike ? {
-          data: void 0
-        } : {
-          data: event.data
+      const metaProjection = projectJsonValue(
+        isLightLike ? {
+          data: void 0
+        } : {
+          data: event.data
+        }
+      );
+      options?.onMetaProjection?.({
+        stats: metaProjection.stats,
+        downgrade: metaProjection.downgrade
+      });
+      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
+      return withDowngrade({
+        ...base,
+        kind: "devtools",
+        label: event.type,
+        meta: metaProjection.value
+      });
+    }
+  }
+};
+
+// src/internal/runtime/core/DevtoolsHub.ts
+var import_effect5 = require("effect");
+
+// src/internal/observability/evidence.ts
+var OBSERVABILITY_PROTOCOL_VERSION = "v1";
+var exportEvidencePackage = (options) => {
+  const protocolVersion = options.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION;
+  return {
+    protocolVersion,
+    runId: options.runId,
+    createdAt: options.createdAt ?? Date.now(),
+    source: options.source,
+    events: options.events.slice().sort((a, b) => a.seq - b.seq),
+    summary: options.summary
+  };
+};
+
+// src/internal/runtime/core/DevtoolsHub.ts
+var lastRunTs = 0;
+var lastRunTsSeq = 0;
+var nextRunId = () => {
+  const ts = Date.now();
+  if (ts === lastRunTs) {
+    lastRunTsSeq += 1;
+  } else {
+    lastRunTs = ts;
+    lastRunTsSeq = 0;
+  }
+  return lastRunTsSeq === 0 ? `run-${ts}` : `run-${ts}.${lastRunTsSeq}`;
+};
+var currentRunId = nextRunId();
+
+// src/internal/runtime/core/TaskRunner.ts
+var import_effect6 = require("effect");
+var inSyncTransactionFiber = import_effect6.FiberRef.unsafeMake(false);
+var forceSourceRefresh = import_effect6.FiberRef.unsafeMake(false);
+
+// src/internal/runtime/core/DeclarativeLinkRuntime.ts
+var import_effect8 = require("effect");
+var makeDeclarativeLinkRuntime = () => {
+  const moduleAsSourceById = /* @__PURE__ */ new Map();
+  const moduleAsSourceIdsBySource = /* @__PURE__ */ new Map();
+  const declarativeById = /* @__PURE__ */ new Map();
+  const declarativeReadNodesBySource = /* @__PURE__ */ new Map();
+  const registerModuleAsSourceLink = (link) => {
+    const stored = {
+      ...link,
+      hasValue: false,
+      lastValue: void 0
+    };
+    moduleAsSourceById.set(link.id, stored);
+    const set = moduleAsSourceIdsBySource.get(link.sourceModuleInstanceKey) ?? /* @__PURE__ */ new Set();
+    set.add(link.id);
+    moduleAsSourceIdsBySource.set(link.sourceModuleInstanceKey, set);
+    return () => {
+      moduleAsSourceById.delete(link.id);
+      const current = moduleAsSourceIdsBySource.get(link.sourceModuleInstanceKey);
+      if (!current) return;
+      current.delete(link.id);
+      if (current.size === 0) {
+        moduleAsSourceIdsBySource.delete(link.sourceModuleInstanceKey);
+      }
+    };
+  };
+  const registerDeclarativeLink = (link) => {
+    const readNodeById = /* @__PURE__ */ new Map();
+    for (const n of link.readNodes) {
+      readNodeById.set(n.nodeId, n);
+    }
+    const dispatchNodeById = /* @__PURE__ */ new Map();
+    for (const n of link.dispatchNodes) {
+      dispatchNodeById.set(n.nodeId, n);
+    }
+    const incomingByDispatch = /* @__PURE__ */ new Map();
+    for (const e of link.ir.edges) {
+      const to = e.to;
+      const isDispatch = dispatchNodeById.has(to);
+      if (!isDispatch) continue;
+      incomingByDispatch.set(to, (incomingByDispatch.get(to) ?? 0) + 1);
+      const count = incomingByDispatch.get(to) ?? 0;
+      if (count > 1) {
+        throw new Error(
+          `[DeclarativeLinkRuntime] Invalid DeclarativeLinkIR: dispatch node has multiple incoming edges (linkId=${link.linkId}, nodeId=${to}).`
+        );
+      }
+    }
+    const dispatchTargetsByReadNode = /* @__PURE__ */ new Map();
+    for (const e of link.ir.edges) {
+      const from = e.from;
+      const to = e.to;
+      if (!readNodeById.has(from)) continue;
+      if (!dispatchNodeById.has(to)) continue;
+      const list = dispatchTargetsByReadNode.get(from) ?? [];
+      list.push(to);
+      dispatchTargetsByReadNode.set(from, list);
+    }
+    const stored = {
+      ...link,
+      readNodeById,
+      dispatchNodeById,
+      dispatchTargetsByReadNode,
+      readNodeState: /* @__PURE__ */ new Map()
+    };
+    declarativeById.set(link.linkId, stored);
+    for (const n of link.readNodes) {
+      const list = declarativeReadNodesBySource.get(n.moduleInstanceKey) ?? [];
+      list.push({ linkId: link.linkId, nodeId: n.nodeId });
+      declarativeReadNodesBySource.set(n.moduleInstanceKey, list);
+    }
+    return () => {
+      declarativeById.delete(link.linkId);
+      for (const n of link.readNodes) {
+        const list = declarativeReadNodesBySource.get(n.moduleInstanceKey);
+        if (!list) continue;
+        const next = list.filter((x) => !(x.linkId === link.linkId && x.nodeId === n.nodeId));
+        if (next.length === 0) {
+          declarativeReadNodesBySource.delete(n.moduleInstanceKey);
+        } else {
+          declarativeReadNodesBySource.set(n.moduleInstanceKey, next);
+        }
+      }
+    };
+  };
+  const applyForSources = (args) => import_effect8.Effect.gen(function* () {
+    let scheduled = false;
+    for (const sourceKey of args.changedModuleInstanceKeys) {
+      const ids = moduleAsSourceIdsBySource.get(sourceKey);
+      if (!ids || ids.size === 0) continue;
+      const commit = args.acceptedModules.get(sourceKey);
+      if (!commit) continue;
+      for (const id of ids) {
+        const link = moduleAsSourceById.get(id);
+        if (!link) continue;
+        let selected;
+        try {
+          selected = link.readQuery.select(commit.state);
+        } catch {
+          continue;
+        }
+        const nextValue = link.computeValue(selected);
+        if (link.hasValue && link.equalsValue(link.lastValue, nextValue)) {
+          continue;
+        }
+        link.hasValue = true;
+        link.lastValue = nextValue;
+        scheduled = true;
+        yield* link.applyValue(nextValue);
+      }
+    }
+    for (const sourceKey of args.changedModuleInstanceKeys) {
+      const refs = declarativeReadNodesBySource.get(sourceKey);
+      if (!refs || refs.length === 0) continue;
+      const commit = args.acceptedModules.get(sourceKey);
+      if (!commit) continue;
+      for (const ref of refs) {
+        const link = declarativeById.get(ref.linkId);
+        if (!link) continue;
+        const readNode = link.readNodeById.get(ref.nodeId);
+        if (!readNode) continue;
+        let value;
+        try {
+          value = readNode.readQuery.select(commit.state);
+        } catch {
+          continue;
+        }
+        const state = link.readNodeState.get(ref.nodeId) ?? { hasValue: false, lastValue: void 0 };
+        const changed = !state.hasValue || !Object.is(state.lastValue, value);
+        if (!changed) continue;
+        state.hasValue = true;
+        state.lastValue = value;
+        link.readNodeState.set(ref.nodeId, state);
+        const targets = link.dispatchTargetsByReadNode.get(ref.nodeId) ?? [];
+        for (const dispatchNodeId of targets) {
+          const node = link.dispatchNodeById.get(dispatchNodeId);
+          if (!node) continue;
+          scheduled = true;
+          yield* node.dispatch(value);
+        }
+      }
+    }
+    return { scheduled };
+  });
+  return {
+    registerModuleAsSourceLink,
+    registerDeclarativeLink,
+    applyForSources
+  };
+};
+
+// src/internal/runtime/core/env.ts
+var getNodeEnv = () => {
+  try {
+    const env = globalThis?.process?.env;
+    return typeof env?.NODE_ENV === "string" ? env.NODE_ENV : void 0;
+  } catch {
+    return void 0;
+  }
+};
+var isDevEnv = () => getNodeEnv() !== "production";
+var StateTransactionConfigTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/StateTransactionRuntimeConfig")() {
+};
+var ReadQueryStrictGateConfigTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/ReadQueryStrictGateRuntimeConfig")() {
+};
+var ReplayModeConfigTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/ReplayModeConfig")() {
+};
+var StateTransactionOverridesTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/StateTransactionOverrides")() {
+};
+var ConcurrencyPolicyTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/ConcurrencyPolicy")() {
+};
+var ConcurrencyPolicyOverridesTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/ConcurrencyPolicyOverrides")() {
+};
+var RuntimeStoreTag = class extends import_effect9.Context.Tag("@logixjs/core/RuntimeStore")() {
+};
+var runtimeStoreLayer = import_effect9.Layer.scoped(
+  RuntimeStoreTag,
+  import_effect9.Effect.acquireRelease(
+    import_effect9.Effect.sync(() => makeRuntimeStore()),
+    (store) => import_effect9.Effect.sync(() => store.dispose())
+  )
+);
+var HostSchedulerTag = class extends import_effect9.Context.Tag("@logixjs/core/HostScheduler")() {
+};
+var hostSchedulerLayer = import_effect9.Layer.succeed(
+  HostSchedulerTag,
+  getGlobalHostScheduler()
+);
+var DeclarativeLinkRuntimeTag = class extends import_effect9.Context.Tag("@logixjs/core/DeclarativeLinkRuntime")() {
+};
+var declarativeLinkRuntimeLayer = import_effect9.Layer.succeed(
+  DeclarativeLinkRuntimeTag,
+  makeDeclarativeLinkRuntime()
+);
+var TickSchedulerTag = class extends import_effect9.Context.Tag("@logixjs/core/TickScheduler")() {
+};
+
+// src/internal/runtime/core/runtimeInternalsAccessor.ts
+var MODULE_TRAITS_PROGRAM = /* @__PURE__ */ Symbol.for("@logixjs/core/moduleTraitsProgram");
+var getModuleTraitsProgram = (module2) => {
+  if (!module2) return void 0;
+  if (typeof module2 !== "object" && typeof module2 !== "function") return void 0;
+  return module2[MODULE_TRAITS_PROGRAM];
+};
+
+// src/internal/field-path.ts
+var isFieldPathSegment = (seg) => {
+  if (!seg) return false;
+  if (seg === "*") return false;
+  if (/^\d+$/.test(seg)) return false;
+  if (seg.includes("[") || seg.includes("]")) return false;
+  return true;
+};
+var normalizeFieldPath = (input) => {
+  if (typeof input === "string") {
+    const segs = splitSegments(input);
+    if (!segs || segs.length === 0) return void 0;
+    const normalized2 = segs.filter(isFieldPathSegment);
+    return normalized2.length > 0 ? normalized2 : void 0;
+  }
+  if (input.length === 0) return void 0;
+  let needsFilter = false;
+  for (const seg of input) {
+    if (!isFieldPathSegment(seg)) {
+      needsFilter = true;
+      break;
+    }
+  }
+  if (!needsFilter) return input;
+  const normalized = input.filter(isFieldPathSegment);
+  return normalized.length > 0 ? normalized : void 0;
+};
+var splitSegments = (path) => {
+  if (!path) return void 0;
+  if (path === "*") return void 0;
+  const parts = path.split(".").filter((p) => p.length > 0);
+  const segs = [];
+  for (const part of parts) {
+    if (!part) continue;
+    if (part === "*") {
+      return void 0;
+    }
+    if (part.endsWith("[]")) {
+      const base = part.slice(0, -2);
+      if (base) segs.push(base);
+      continue;
+    }
+    const bracket = /^(.+)\[(\d+)\]$/.exec(part);
+    if (bracket) {
+      segs.push(bracket[1]);
+      continue;
+    }
+    if (/^\d+$/.test(part)) {
+      continue;
+    }
+    if (part.includes("[") || part.includes("]")) {
+      return void 0;
+    }
+    segs.push(part);
+  }
+  return segs;
+};
+
+// src/internal/external-store-descriptor.ts
+var EXTERNAL_STORE_DESCRIPTOR = /* @__PURE__ */ Symbol.for("@logixjs/core/externalStoreDescriptor");
+var getExternalStoreDescriptor = (store) => {
+  if (!store || typeof store !== "object" && typeof store !== "function") return void 0;
+  return store[EXTERNAL_STORE_DESCRIPTOR];
+};
+
+// src/internal/state-trait/meta.ts
+var uniqSortedStrings = (input) => {
+  const set = /* @__PURE__ */ new Set();
+  for (const item of input) {
+    const v = item.trim();
+    if (!v) continue;
+    set.add(v);
+  }
+  return Array.from(set).sort();
+};
+var isPlainRecord2 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var sanitizeJsonValue = (input, depth, stats) => {
+  if (input === null) return null;
+  if (typeof input === "string") return input;
+  if (typeof input === "boolean") return input;
+  if (typeof input === "number") {
+    if (!Number.isFinite(input)) {
+      stats.dropped += 1;
+      stats.nonSerializable += 1;
+      stats.nonFiniteNumber += 1;
+      return void 0;
+    }
+    return input;
+  }
+  if (depth >= 6) {
+    stats.dropped += 1;
+    stats.depthExceeded += 1;
+    return void 0;
+  }
+  if (Array.isArray(input)) {
+    const out = [];
+    for (const item of input) {
+      const v = sanitizeJsonValue(item, depth + 1, stats);
+      if (v !== void 0) out.push(v);
+    }
+    return out;
+  }
+  if (isPlainRecord2(input)) {
+    const keys = Object.keys(input).sort();
+    const out = {};
+    for (const key of keys) {
+      const v = sanitizeJsonValue(input[key], depth + 1, stats);
+      if (v !== void 0) out[key] = v;
+    }
+    return out;
+  }
+  stats.dropped += 1;
+  stats.nonSerializable += 1;
+  return void 0;
+};
+var pushSample = (target, value, limit) => {
+  if (target.length >= limit) return;
+  target.push(value);
+};
+var sanitizeWithReport = (input) => {
+  if (input === null || input === void 0) return {};
+  if (typeof input !== "object" || Array.isArray(input)) {
+    return { report: { invalidInput: true } };
+  }
+  const record2 = input;
+  const out = {};
+  const reportUnknownKeys = [];
+  let unknownKeyCount = 0;
+  const reportDroppedKeys = [];
+  let droppedTagItems = 0;
+  const reportIgnoredAnnotationKeys = [];
+  let ignoredAnnotationKeyCount = 0;
+  const reportDroppedAnnotationKeys = [];
+  let droppedAnnotationKeyCount = 0;
+  const stats = { dropped: 0, nonSerializable: 0, depthExceeded: 0, nonFiniteNumber: 0 };
+  const allowed = /* @__PURE__ */ new Set([
+    "label",
+    "description",
+    "group",
+    "docsUrl",
+    "cacheGroup",
+    "canonical",
+    "tags",
+    "annotations"
+  ]);
+  for (const key of Object.keys(record2)) {
+    if (allowed.has(key) || key.startsWith("x-")) continue;
+    unknownKeyCount += 1;
+    pushSample(reportUnknownKeys, key, 8);
+  }
+  const pickString = (key) => {
+    const value = record2[key];
+    if (typeof value !== "string") return;
+    const trimmed = value.trim();
+    if (!trimmed) return;
+    out[key] = trimmed;
+  };
+  pickString("label");
+  pickString("description");
+  pickString("group");
+  pickString("docsUrl");
+  pickString("cacheGroup");
+  const canonical = record2.canonical;
+  if (canonical !== void 0 && canonical !== null && typeof canonical !== "boolean") {
+    pushSample(reportDroppedKeys, "canonical", 8);
+  } else if (typeof canonical === "boolean") {
+    out.canonical = canonical;
+  }
+  const tagsRaw = record2.tags;
+  if (typeof tagsRaw === "string") {
+    const tags = uniqSortedStrings([tagsRaw]);
+    if (tags.length > 0) out.tags = tags;
+  } else if (Array.isArray(tagsRaw)) {
+    const raw = tagsRaw.filter((x) => typeof x === "string");
+    droppedTagItems += tagsRaw.length - raw.length;
+    const tags = uniqSortedStrings(raw);
+    if (tags.length > 0) out.tags = tags;
+    droppedTagItems += raw.length - tags.length;
+  } else if (tagsRaw !== void 0 && tagsRaw !== null) {
+    pushSample(reportDroppedKeys, "tags", 8);
+  }
+  const annotations = {};
+  const annotationKeys = Object.keys(record2).filter((k) => k.startsWith("x-")).sort();
+  for (const key of annotationKeys) {
+    const v = sanitizeJsonValue(record2[key], 0, stats);
+    if (v !== void 0) {
+      annotations[key] = v;
+    } else {
+      droppedAnnotationKeyCount += 1;
+      pushSample(reportDroppedAnnotationKeys, key, 8);
+    }
+  }
+  const annotationsRaw = record2.annotations;
+  if (annotationsRaw !== void 0 && annotationsRaw !== null && !isPlainRecord2(annotationsRaw)) {
+    pushSample(reportDroppedKeys, "annotations", 8);
+  } else if (isPlainRecord2(annotationsRaw)) {
+    const keys = Object.keys(annotationsRaw).sort();
+    for (const key of keys) {
+      if (!key.startsWith("x-")) {
+        ignoredAnnotationKeyCount += 1;
+        pushSample(reportIgnoredAnnotationKeys, key, 8);
+        continue;
+      }
+      const v = sanitizeJsonValue(annotationsRaw[key], 0, stats);
+      if (v !== void 0) {
+        annotations[key] = v;
+      } else {
+        droppedAnnotationKeyCount += 1;
+        pushSample(reportDroppedAnnotationKeys, key, 8);
+      }
+    }
+  }
+  if (Object.keys(annotations).length > 0) out.annotations = annotations;
+  for (const key of ["label", "description", "group", "docsUrl", "cacheGroup"]) {
+    const value = record2[key];
+    if (value !== void 0 && value !== null && typeof value !== "string") {
+      pushSample(reportDroppedKeys, key, 8);
+    }
+  }
+  const meta = Object.keys(out).length > 0 ? out : void 0;
+  const report = (() => {
+    const hasUnknownKeys = unknownKeyCount > 0;
+    const hasDroppedKeys = reportDroppedKeys.length > 0;
+    const hasDroppedTagItems = droppedTagItems > 0;
+    const hasIgnoredAnnotationKeys = ignoredAnnotationKeyCount > 0;
+    const hasDroppedAnnotations = droppedAnnotationKeyCount > 0 || stats.dropped > 0;
+    if (!hasUnknownKeys && !hasDroppedKeys && !hasDroppedTagItems && !hasIgnoredAnnotationKeys && !hasDroppedAnnotations) {
+      return void 0;
+    }
+    return {
+      ...hasUnknownKeys ? { unknownKeys: reportUnknownKeys, unknownKeyCount } : {},
+      ...hasDroppedKeys ? { droppedKeys: uniqSortedStrings(reportDroppedKeys) } : {},
+      ...hasDroppedTagItems ? { droppedTagItems } : {},
+      ...hasIgnoredAnnotationKeys ? { ignoredAnnotationKeys: uniqSortedStrings(reportIgnoredAnnotationKeys), ignoredAnnotationKeyCount } : {},
+      ...hasDroppedAnnotations ? {
+        droppedAnnotationKeys: uniqSortedStrings(reportDroppedAnnotationKeys),
+        droppedAnnotationKeyCount,
+        droppedAnnotationValues: stats.dropped,
+        droppedAnnotationNonSerializable: stats.nonSerializable,
+        droppedAnnotationDepthExceeded: stats.depthExceeded,
+        droppedAnnotationNonFiniteNumber: stats.nonFiniteNumber
+      } : {}
+    };
+  })();
+  return report ? { meta, report } : { meta };
+};
+var sanitize = (input) => sanitizeWithReport(input).meta;
+
+// src/internal/state-trait/ir.ts
+var normalizeFieldPaths = (paths) => {
+  if (!paths || paths.length === 0) return [];
+  const out = [];
+  for (const path of paths) {
+    const normalized = normalizeFieldPath(path);
+    if (normalized) out.push(normalized);
+  }
+  return out;
+};
+var normalizeFieldPath2 = (path) => path ? normalizeFieldPath(path) : void 0;
+var toNodeKind = (step) => {
+  switch (step.kind) {
+    case "computed-update":
+      return "computed";
+    case "link-propagate":
+      return "link";
+    case "source-refresh":
+      return "source";
+    case "external-store-sync":
+      return "externalStore";
+    case "check-validate":
+      return "check";
+  }
+};
+var findEntryForStep = (program, step) => {
+  const fieldPath = step.targetFieldPath;
+  if (!fieldPath) return void 0;
+  const kind = toNodeKind(step);
+  return program.entries.find(
+    (e) => e.fieldPath === fieldPath && (e.kind === kind || kind === "check" && e.kind === "check" || kind === "source" && e.kind === "source" || kind === "link" && e.kind === "link" || kind === "computed" && e.kind === "computed")
+  );
+};
+var getReadsForEntry = (entry) => {
+  if (!entry) return void 0;
+  if (entry.kind === "computed") {
+    return entry.meta.deps;
+  }
+  if (entry.kind === "source") {
+    return entry.meta.deps;
+  }
+  if (entry.kind === "link") {
+    const from = entry.meta.from;
+    return from ? [from] : [];
+  }
+  if (entry.kind === "externalStore") {
+    return [];
+  }
+  if (entry.kind === "check") {
+    const rules = entry.meta?.rules ?? {};
+    const out = [];
+    for (const name of Object.keys(rules)) {
+      const rule = rules[name];
+      const deps = rule?.deps;
+      if (deps) out.push(...deps);
+    }
+    return out;
+  }
+  return void 0;
+};
+var exportStaticIr = (params) => {
+  const moduleId = params.moduleId;
+  const version = params.version ?? "009";
+  const metaByField = /* @__PURE__ */ new Map();
+  for (const node of params.program.graph.nodes) {
+    const meta = node.meta;
+    if (!meta || typeof meta !== "object") continue;
+    const label = typeof meta.label === "string" ? meta.label : void 0;
+    const description = typeof meta.description === "string" ? meta.description : void 0;
+    const tags = Array.isArray(meta.tags) && meta.tags.every((t) => typeof t === "string") ? meta.tags : void 0;
+    const group = typeof meta.group === "string" ? meta.group : void 0;
+    const docsUrl = typeof meta.docsUrl === "string" ? meta.docsUrl : void 0;
+    const cacheGroup = typeof meta.cacheGroup === "string" ? meta.cacheGroup : void 0;
+    const annotationsRaw = meta.annotations;
+    const annotations = annotationsRaw && typeof annotationsRaw === "object" && !Array.isArray(annotationsRaw) ? annotationsRaw : void 0;
+    if (label || description || tags || group || docsUrl || cacheGroup || annotations) {
+      metaByField.set(node.id, {
+        label,
+        description,
+        tags,
+        group,
+        docsUrl,
+        cacheGroup,
+        annotations
+      });
+    }
+  }
+  const nodes = params.program.plan.steps.map((step) => {
+    const kind = toNodeKind(step);
+    const entry = findEntryForStep(params.program, step);
+    const reads = normalizeFieldPaths(getReadsForEntry(entry));
+    const target = step.targetFieldPath;
+    const write = normalizeFieldPath2(target);
+    const writes = write ? [write] : [];
+    const meta = target ? metaByField.get(target) : void 0;
+    const externalStorePolicy = () => {
+      if (kind !== "externalStore") return void 0;
+      if (!entry || entry.kind !== "externalStore") return void 0;
+      const descriptor = getExternalStoreDescriptor(entry.meta.store);
+      const storeId = descriptor?.storeId;
+      const priorityRaw = entry.meta?.priority;
+      const lane = priorityRaw === "nonUrgent" ? "nonUrgent" : "urgent";
+      const meta2 = sanitize(entry.meta.meta);
+      const source = descriptor?.kind === "module" ? {
+        kind: "module",
+        storeId,
+        moduleId: descriptor.moduleId,
+        ...descriptor.instanceId ? { instanceKey: descriptor.instanceId } : {},
+        selectorId: descriptor.readQuery.staticIr.selectorId,
+        readsDigest: descriptor.readQuery.staticIr.readsDigest,
+        fallbackReason: descriptor.readQuery.staticIr.fallbackReason
+      } : descriptor ? { kind: "external", storeId } : { kind: "external", storeId: "unknown" };
+      const coalesceWindowMs = entry.meta?.coalesceWindowMs;
+      return {
+        traitId: step.id,
+        storeId: storeId ?? "unknown",
+        source,
+        ownership: "external-owned",
+        lane,
+        ...typeof coalesceWindowMs === "number" && Number.isFinite(coalesceWindowMs) && coalesceWindowMs > 0 ? { coalesceWindowMs } : {},
+        ...meta2 ? { meta: meta2 } : {}
+      };
+    };
+    const base2 = {
+      nodeId: step.id,
+      kind,
+      reads,
+      writes: kind === "check" ? [] : writes,
+      ...kind === "externalStore" ? { policy: externalStorePolicy() } : {},
+      meta
+    };
+    if (kind !== "check" && target && !write) {
+      return { ...base2, writesUnknown: true };
+    }
+    return base2;
+  });
+  const edges = params.program.graph.edges.map((edge) => ({
+    edgeId: edge.id,
+    from: edge.from,
+    to: edge.to,
+    kind: edge.kind
+  }));
+  const base = {
+    version,
+    moduleId,
+    nodes,
+    edges
+  };
+  const digest = `stir:${version}:${fnv1a32(stableStringify(base))}`;
+  return {
+    ...base,
+    digest
+  };
+};
+
+// src/internal/reflection/staticIr.ts
+var isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isModuleImpl = (value) => isRecord(value) && value._tag === "ModuleImpl" && isRecord(value.module);
+var resolveModuleId = (input) => {
+  if (isModuleImpl(input)) {
+    const id = input.module.id;
+    return typeof id === "string" && id.length > 0 ? id : "unknown";
+  }
+  if (isRecord(input)) {
+    const id = input.id;
+    if (typeof id === "string" && id.length > 0) return id;
+    const tag = input.tag;
+    if (tag && (typeof tag === "object" || typeof tag === "function")) {
+      const tagId = tag.id;
+      if (typeof tagId === "string" && tagId.length > 0) return tagId;
+    }
+  }
+  return "unknown";
+};
+var resolveModuleTag = (input) => {
+  if (isModuleImpl(input)) return input.module;
+  if (isRecord(input) && input.tag) return input.tag;
+  return void 0;
+};
+var exportStaticIr2 = (module2) => {
+  const tag = resolveModuleTag(module2);
+  if (!tag) return void 0;
+  const program = getModuleTraitsProgram(tag);
+  if (!program) return void 0;
+  return exportStaticIr({
+    program,
+    moduleId: resolveModuleId(module2)
+  });
+};
+
+// src/internal/reflection/manifest.ts
+var isRecord2 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isModuleImpl2 = (value) => isRecord2(value) && value._tag === "ModuleImpl" && isRecord2(value.module);
+var resolveModuleId2 = (input) => {
+  if (isModuleImpl2(input)) {
+    const id = input.module.id;
+    return typeof id === "string" && id.length > 0 ? id : "unknown";
+  }
+  if (isRecord2(input)) {
+    const id = input.id;
+    if (typeof id === "string" && id.length > 0) return id;
+    const tag = input.tag;
+    if (tag && (typeof tag === "object" || typeof tag === "function")) {
+      const tagId = tag.id;
+      if (typeof tagId === "string" && tagId.length > 0) return tagId;
+    }
+  }
+  return "unknown";
+};
+var resolveActionKeys = (input) => {
+  const tag = isModuleImpl2(input) ? input.module : input?.tag;
+  const actionMap = tag?.shape?.actionMap;
+  if (!isRecord2(actionMap)) return [];
+  return Object.keys(actionMap).sort();
+};
+var resolveDevSource = (input) => {
+  if (!isRecord2(input)) return void 0;
+  const file = input.file;
+  const line = input.line;
+  const column = input.column;
+  if (typeof file !== "string" || file.length === 0) return void 0;
+  if (typeof line !== "number" || !Number.isInteger(line) || line < 1) return void 0;
+  if (typeof column !== "number" || !Number.isInteger(column) || column < 1) return void 0;
+  return { file, line, column };
+};
+var resolveTokenSource = (token) => {
+  if (!token || typeof token !== "object" && typeof token !== "function") return void 0;
+  return resolveDevSource(token.source);
+};
+var resolveActions = (input) => {
+  const tag = isModuleImpl2(input) ? input.module : input?.tag;
+  const actionMap = tag?.shape?.actionMap;
+  if (!isRecord2(actionMap)) return [];
+  const moduleSource = resolveSource(input);
+  const reducers = isRecord2(tag?.reducers) ? tag.reducers : void 0;
+  const actionTags = Object.keys(actionMap).sort();
+  const out = [];
+  for (const actionTag of actionTags) {
+    const token = actionMap[actionTag];
+    const source = resolveTokenSource(token) ?? moduleSource;
+    const payloadKind = isActionToken(token) && import_effect10.Schema.isSchema(token.schema) ? token.schema === import_effect10.Schema.Void ? "void" : "nonVoid" : "unknown";
+    const primaryReducer = reducers && typeof reducers[actionTag] === "function" ? { kind: "declared" } : void 0;
+    out.push({
+      actionTag,
+      payload: { kind: payloadKind },
+      ...primaryReducer ? { primaryReducer } : {},
+      ...source ? { source } : {}
+    });
+  }
+  return out;
+};
+var MODULE_DECLARED_EFFECTS = /* @__PURE__ */ Symbol.for("logix.module.effects.declared");
+var resolveEffects = (input) => {
+  const tag = isModuleImpl2(input) ? input.module : input?.tag;
+  const actionMap = tag?.shape?.actionMap;
+  if (!isRecord2(actionMap)) return void 0;
+  const effectsRaw = tag?.[MODULE_DECLARED_EFFECTS];
+  if (!isRecord2(effectsRaw)) return void 0;
+  const source = resolveSource(input);
+  const logicUnitId = "__logix_internal:effects:declared";
+  const handlerIds = /* @__PURE__ */ new WeakMap();
+  let nextHandlerSeq = 0;
+  const out = [];
+  for (const actionTag of Object.keys(effectsRaw).sort()) {
+    if (!(actionTag in actionMap)) continue;
+    const handlers = effectsRaw[actionTag];
+    if (!Array.isArray(handlers)) continue;
+    for (const handler of handlers) {
+      if (typeof handler !== "function") continue;
+      let handlerId = handlerIds.get(handler);
+      if (!handlerId) {
+        nextHandlerSeq += 1;
+        handlerId = `h${nextHandlerSeq}`;
+        handlerIds.set(handler, handlerId);
+      }
+      const sourceKey = `${logicUnitId}::${handlerId}`;
+      out.push({
+        actionTag,
+        sourceKey,
+        kind: "declared",
+        ...source ? { source } : {}
+      });
+    }
+  }
+  const seen = /* @__PURE__ */ new Set();
+  const deduped = [];
+  for (const item of out) {
+    const key = `${item.actionTag}\0${item.sourceKey}`;
+    if (seen.has(key)) continue;
+    seen.add(key);
+    deduped.push(item);
+  }
+  deduped.sort(
+    (a, b) => a.actionTag < b.actionTag ? -1 : a.actionTag > b.actionTag ? 1 : a.sourceKey < b.sourceKey ? -1 : a.sourceKey > b.sourceKey ? 1 : 0
+  );
+  return deduped.length > 0 ? deduped : void 0;
+};
+var resolveSchemaKeys = (input) => {
+  if (!isRecord2(input)) return void 0;
+  const schemas = input.schemas;
+  if (!isRecord2(schemas)) return void 0;
+  return Object.keys(schemas).sort();
+};
+var resolveSource = (input) => {
+  if (!isRecord2(input)) return void 0;
+  const dev = input.dev;
+  return resolveDevSource(dev?.source);
+};
+var resolveMeta = (input) => {
+  if (!isRecord2(input)) return void 0;
+  const meta = input.meta;
+  if (!isRecord2(meta)) return void 0;
+  const out = {};
+  for (const key of Object.keys(meta).sort()) {
+    const value = meta[key];
+    if (isJsonValue(value)) {
+      out[key] = value;
+    }
+  }
+  return Object.keys(out).length > 0 ? out : void 0;
+};
+var MODULE_INTERNAL = /* @__PURE__ */ Symbol.for("logix.module.internal");
+var resolveLogicUnits = (input) => {
+  if (!isRecord2(input)) return void 0;
+  const internal = input[MODULE_INTERNAL];
+  const mounted = internal?.mounted;
+  if (!Array.isArray(mounted)) return void 0;
+  const out = [];
+  for (const unit of mounted) {
+    if (!isRecord2(unit)) continue;
+    const kind = unit.kind;
+    const id = unit.id;
+    if (typeof kind !== "string" || kind.length === 0) continue;
+    if (typeof id !== "string" || id.length === 0) continue;
+    const derived = unit.derived === true ? true : void 0;
+    const name = typeof unit.name === "string" ? unit.name : void 0;
+    out.push({ kind, id, derived, name });
+  }
+  out.sort((a, b) => a.id < b.id ? -1 : a.id > b.id ? 1 : a.kind < b.kind ? -1 : a.kind > b.kind ? 1 : 0);
+  return out.length > 0 ? out : void 0;
+};
+var digestOf = (base) => `manifest:067:${fnv1a32(stableStringify(base))}`;
+var utf8ByteLength = (value) => {
+  const json = JSON.stringify(value);
+  if (typeof TextEncoder !== "undefined") {
+    return new TextEncoder().encode(json).length;
+  }
+  return json.length;
+};
+var applyMaxBytes = (manifest, maxBytes) => {
+  const originalBytes = utf8ByteLength(manifest);
+  if (originalBytes <= maxBytes) return manifest;
+  const dropped = [];
+  const truncatedArrays = [];
+  const baseMarker = () => ({
+    truncated: true,
+    maxBytes,
+    originalBytes,
+    dropped,
+    truncatedArrays
+  });
+  const withMarker = (next2) => {
+    const meta = {
+      __logix: baseMarker()
+    };
+    return { ...next2, meta };
+  };
+  let next = withMarker(manifest);
+  const markTruncatedArray = (name) => {
+    if (!truncatedArrays.includes(name)) {
+      truncatedArrays.push(name);
+    }
+  };
+  const dropField = (field) => {
+    if (next[field] !== void 0) {
+      dropped.push(String(field));
+      next = withMarker({ ...next, [field]: void 0 });
+    }
+  };
+  dropField("meta");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  dropField("source");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  dropField("staticIr");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  dropField("logicUnits");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  dropField("schemaKeys");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  dropField("effects");
+  if (utf8ByteLength(next) <= maxBytes) return next;
+  const truncateActionsToFit = () => {
+    const total = next.actions.length;
+    if (total <= 1) return;
+    let lo = 1;
+    let hi = total;
+    let best = 1;
+    while (lo <= hi) {
+      const mid = Math.floor((lo + hi) / 2);
+      const candidate = withMarker({
+        ...next,
+        actions: next.actions.slice(0, mid),
+        actionKeys: next.actionKeys.slice(0, mid)
+      });
+      if (utf8ByteLength(candidate) <= maxBytes) {
+        best = mid;
+        lo = mid + 1;
+      } else {
+        hi = mid - 1;
+      }
+    }
+    if (best < total) {
+      markTruncatedArray("actions");
+      markTruncatedArray("actionKeys");
+      next = withMarker({
+        ...next,
+        actions: next.actions.slice(0, best),
+        actionKeys: next.actionKeys.slice(0, best)
+      });
+    }
+  };
+  while (utf8ByteLength(next) > maxBytes) {
+    const beforeLen = next.actions.length;
+    truncateActionsToFit();
+    if (next.actions.length === beforeLen) {
+      break;
+    }
+  }
+  return next;
+};
+var extractManifest = (module2, options) => {
+  const manifestVersion = "067";
+  const moduleId = resolveModuleId2(module2);
+  const actionKeys = resolveActionKeys(module2);
+  const actions = resolveActions(module2);
+  const effects = resolveEffects(module2);
+  const schemaKeys = resolveSchemaKeys(module2);
+  const logicUnits = resolveLogicUnits(module2);
+  const source = resolveSource(module2);
+  const meta = resolveMeta(module2);
+  const staticIr = options?.includeStaticIr ? exportStaticIr2(module2) : void 0;
+  const digestBase = {
+    manifestVersion,
+    moduleId,
+    actionKeys,
+    actions,
+    effects,
+    schemaKeys,
+    logicUnits,
+    staticIrDigest: staticIr?.digest
+  };
+  const digest = digestOf(digestBase);
+  const manifest = {
+    manifestVersion,
+    moduleId,
+    actionKeys,
+    actions,
+    effects,
+    schemaKeys,
+    logicUnits,
+    source,
+    meta,
+    staticIr,
+    digest
+  };
+  const maxBytes = options?.budgets?.maxBytes;
+  if (typeof maxBytes === "number" && Number.isFinite(maxBytes) && maxBytes > 0) {
+    return applyMaxBytes(manifest, maxBytes);
+  }
+  return manifest;
+};
+
+// src/internal/workflow/errors.ts
+var toJsonValue = (detail) => {
+  if (isJsonValue(detail)) return detail;
+  return projectJsonValue(detail).value;
+};
+var makeWorkflowError = (args) => {
+  const detailJson = args.detail !== void 0 ? toJsonValue(args.detail) : void 0;
+  const msg = args.detail !== void 0 ? `${args.message}
+(detail=${stableStringify(detailJson)})` : args.message;
+  return Object.assign(new Error(msg), {
+    _tag: "WorkflowError",
+    code: args.code,
+    programId: args.programId,
+    source: args.source,
+    detail: detailJson
+  });
+};
+
+// src/internal/workflow/compiler.ts
+var isRecord3 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var asNonEmptyString = (value) => typeof value === "string" && value.trim().length > 0 ? value.trim() : void 0;
+var asNonNegInt = (value) => {
+  if (typeof value !== "number" || !Number.isFinite(value)) return void 0;
+  const n = Math.floor(value);
+  return n >= 0 ? n : void 0;
+};
+var asPosInt = (value) => {
+  if (typeof value !== "number" || !Number.isFinite(value)) return void 0;
+  const n = Math.floor(value);
+  return n > 0 ? n : void 0;
+};
+var normalizeWorkflowDefV1 = (input) => {
+  const normalizeStep = (step) => {
+    if (!isRecord3(step)) return step;
+    if (step.kind !== "call") return step;
+    const raw = step;
+    const onSuccessRaw = Array.isArray(raw.onSuccess) ? raw.onSuccess : [];
+    const onFailureRaw = Array.isArray(raw.onFailure) ? raw.onFailure : [];
+    return {
+      ...step,
+      onSuccess: onSuccessRaw.map(normalizeStep),
+      onFailure: onFailureRaw.map(normalizeStep)
+    };
+  };
+  const normalizeSteps = (steps) => steps.map(normalizeStep);
+  return {
+    ...input,
+    steps: normalizeSteps(input.steps)
+  };
+};
+function validateWorkflowDefV1(def, options) {
+  if (!isRecord3(def)) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_DEF",
+      message: "WorkflowDef must be an object.",
+      detail: { def }
+    });
+  }
+  if (def.astVersion !== 1) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_UNSUPPORTED_VERSION",
+      message: "Unsupported workflow astVersion.",
+      detail: { astVersion: def.astVersion }
+    });
+  }
+  if (!asNonEmptyString(def.localId)) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_DEF",
+      message: "WorkflowDef.localId must be a non-empty string.",
+      detail: { localId: def.localId }
+    });
+  }
+  const trigger = def.trigger;
+  if (!isRecord3(trigger)) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_TRIGGER",
+      message: "Workflow trigger must be an object.",
+      detail: { trigger }
+    });
+  }
+  if (trigger.kind === "action") {
+    if (!asNonEmptyString(trigger.actionTag)) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_TRIGGER",
+        message: "Workflow trigger.actionTag must be a non-empty string.",
+        detail: { trigger }
+      });
+    }
+  } else if (trigger.kind === "lifecycle") {
+    const phase = trigger.phase;
+    if (phase !== "onStart" && phase !== "onInit") {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_TRIGGER",
+        message: 'Workflow trigger.phase must be "onStart" or "onInit".',
+        detail: { trigger }
+      });
+    }
+  } else {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_TRIGGER",
+      message: 'Workflow trigger.kind must be "action" or "lifecycle".',
+      detail: { trigger }
+    });
+  }
+  if (!Array.isArray(def.steps)) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_DEF",
+      message: "WorkflowDef.steps must be an array.",
+      detail: { steps: def.steps }
+    });
+  }
+  const seenKeys = /* @__PURE__ */ new Set();
+  const visit = (step, fragmentId) => {
+    if (!isRecord3(step)) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_STEP",
+        message: "Workflow step must be an object.",
+        detail: { step },
+        source: fragmentId ? { fragmentId } : void 0
+      });
+    }
+    const key = asNonEmptyString(step.key);
+    if (!key) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_STEP",
+        message: "Workflow step.key must be a non-empty string.",
+        detail: { stepKey: step.key, kind: step.kind },
+        source: fragmentId ? { fragmentId } : void 0
+      });
+    }
+    if (seenKeys.has(key)) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_DUPLICATE_STEP_KEY",
+        message: `Duplicate stepKey "${key}" detected.`,
+        detail: { duplicateKey: key },
+        source: { stepKey: key, ...fragmentId ? { fragmentId } : null }
+      });
+    }
+    seenKeys.add(key);
+    if (step.kind === "dispatch") {
+      if (!asNonEmptyString(step.actionTag)) {
+        throw makeWorkflowError({
+          code: "WORKFLOW_INVALID_STEP",
+          message: "dispatch.actionTag must be a non-empty string.",
+          source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+          detail: { actionTag: step.actionTag }
+        });
+      }
+      const payload = step.payload;
+      if (payload !== void 0) {
+        validateInputExpr(payload, { stepKey: key });
+      }
+      return;
+    }
+    if (step.kind === "delay") {
+      const ms = asNonNegInt(step.ms);
+      if (ms === void 0) {
+        throw makeWorkflowError({
+          code: "WORKFLOW_INVALID_STEP",
+          message: "delay.ms must be a non-negative integer.",
+          source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+          detail: { ms: step.ms }
+        });
+      }
+      return;
+    }
+    if (step.kind === "call") {
+      if (!asNonEmptyString(step.serviceId)) {
+        throw makeWorkflowError({
+          code: "WORKFLOW_INVALID_SERVICE_ID",
+          message: "call.serviceId must be a non-empty string.",
+          source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+          detail: { serviceId: step.serviceId }
+        });
+      }
+      const inputExpr = step.input;
+      if (inputExpr !== void 0) {
+        validateInputExpr(inputExpr, { stepKey: key });
+      }
+      const timeoutMsRaw = step.timeoutMs;
+      if (timeoutMsRaw !== void 0 && asPosInt(timeoutMsRaw) === void 0) {
+        throw makeWorkflowError({
+          code: "WORKFLOW_INVALID_STEP",
+          message: "call.timeoutMs must be a positive integer (milliseconds).",
+          source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+          detail: { timeoutMs: timeoutMsRaw }
+        });
+      }
+      const retryRaw = step.retry;
+      if (retryRaw !== void 0) {
+        const times = isRecord3(retryRaw) ? asPosInt(retryRaw.times) : void 0;
+        if (times === void 0) {
+          throw makeWorkflowError({
+            code: "WORKFLOW_INVALID_STEP",
+            message: "call.retry.times must be a positive integer.",
+            source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+            detail: { retry: retryRaw }
+          });
+        }
+      }
+      const onSuccess = Array.isArray(step.onSuccess) ? step.onSuccess : [];
+      const onFailure2 = Array.isArray(step.onFailure) ? step.onFailure : [];
+      for (const inner of onSuccess) visit(inner, fragmentId);
+      for (const inner of onFailure2) visit(inner, fragmentId);
+      return;
+    }
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_STEP",
+      message: "Unknown step kind.",
+      source: { stepKey: key, ...fragmentId ? { fragmentId } : null },
+      detail: { kind: step.kind }
+    });
+  };
+  const sources = def.sources;
+  const fragmentByStepKey = /* @__PURE__ */ new Map();
+  if (sources && typeof sources === "object") {
+    for (const [k, v] of Object.entries(sources)) {
+      fragmentByStepKey.set(k, isRecord3(v) ? asNonEmptyString(v.fragmentId) : void 0);
+    }
+  }
+  for (const step of def.steps) {
+    const key = isRecord3(step) ? asNonEmptyString(step.key) : void 0;
+    const fragmentId = key ? fragmentByStepKey.get(key) : void 0;
+    visit(step, fragmentId);
+  }
+  const generator = isRecord3(def.meta) ? def.meta.generator : void 0;
+  if (generator !== void 0 && !isJsonValue(generator)) {
+    throw makeWorkflowError({
+      code: "WORKFLOW_INVALID_DEF",
+      message: "WorkflowDef.meta.generator must be JSON-serializable.",
+      detail: { generator }
+    });
+  }
+  const policy = isRecord3(def.policy) ? def.policy : void 0;
+  if (policy) {
+    const concurrency = policy.concurrency;
+    if (concurrency !== void 0 && concurrency !== "latest" && concurrency !== "exhaust" && concurrency !== "parallel") {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_DEF",
+        message: "policy.concurrency must be latest|exhaust|parallel.",
+        detail: { concurrency }
+      });
+    }
+    const priority = policy.priority;
+    if (priority !== void 0 && priority !== "urgent" && priority !== "nonUrgent") {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_DEF",
+        message: "policy.priority must be urgent|nonUrgent.",
+        detail: { priority }
+      });
+    }
+  }
+  void options?.moduleId;
+}
+var validateInputExpr = (expr, options) => {
+  const visit = (e) => {
+    if (!isRecord3(e)) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_INPUT_EXPR",
+        message: "InputExpr must be an object.",
+        source: { stepKey: options?.stepKey },
+        detail: { expr: e }
+      });
+    }
+    const kind = e.kind;
+    switch (kind) {
+      case "payload":
+        return;
+      case "payload.path": {
+        const pointer = e.pointer;
+        if (typeof pointer !== "string") {
+          throw makeWorkflowError({
+            code: "WORKFLOW_INVALID_INPUT_EXPR",
+            message: "InputExpr.payload.path.pointer must be a string.",
+            source: { stepKey: options?.stepKey },
+            detail: { pointer }
+          });
+        }
+        return;
+      }
+      case "const": {
+        const value = e.value;
+        if (!isJsonValue(value)) {
+          throw makeWorkflowError({
+            code: "WORKFLOW_INVALID_INPUT_EXPR",
+            message: "InputExpr.const.value must be JSON-serializable.",
+            source: { stepKey: options?.stepKey }
+          });
+        }
+        return;
+      }
+      case "object": {
+        const fields = e.fields;
+        if (!isRecord3(fields)) {
+          throw makeWorkflowError({
+            code: "WORKFLOW_INVALID_INPUT_EXPR",
+            message: "InputExpr.object.fields must be a record.",
+            source: { stepKey: options?.stepKey }
+          });
+        }
+        for (const v of Object.values(fields)) {
+          visit(v);
+        }
+        return;
+      }
+      case "merge": {
+        const items = e.items;
+        if (!Array.isArray(items)) {
+          throw makeWorkflowError({
+            code: "WORKFLOW_INVALID_INPUT_EXPR",
+            message: "InputExpr.merge.items must be an array.",
+            source: { stepKey: options?.stepKey }
+          });
+        }
+        for (const item of items) {
+          visit(item);
+        }
+        return;
+      }
+      default:
+        throw makeWorkflowError({
+          code: "WORKFLOW_INVALID_INPUT_EXPR",
+          message: "Unknown InputExpr kind.",
+          source: { stepKey: options?.stepKey },
+          detail: { kind }
+        });
+    }
+  };
+  visit(expr);
+};
+var makeDigest = (prefix, value) => `${prefix}:${fnv1a32(stableStringify(value))}`;
+var makeTriggerNodeId = (programId) => `wf_trigger_v1:${fnv1a32(programId)}`;
+var makeStepNodeId = (programId, stepKey, kind) => `wf_node_v1:${fnv1a32(`${programId}\0${stepKey}\0${kind}`)}`;
+var budgetJsonValue = (value) => projectJsonValue(value).value;
+var budgetInputExpr = (expr) => {
+  switch (expr.kind) {
+    case "payload":
+    case "payload.path":
+      return expr;
+    case "const": {
+      const value = expr.value;
+      if (!isJsonValue(value)) return expr;
+      return { ...expr, value: budgetJsonValue(expr.value) };
+    }
+    case "object": {
+      const out = {};
+      for (const k of Object.keys(expr.fields).sort()) {
+        out[k] = budgetInputExpr(expr.fields[k]);
+      }
+      return { ...expr, fields: out };
+    }
+    case "merge":
+      return { ...expr, items: expr.items.map(budgetInputExpr) };
+  }
+};
+var toStaticStep = (step) => {
+  switch (step.kind) {
+    case "dispatch":
+      return {
+        kind: "dispatch",
+        actionTag: step.actionTag,
+        ...step.payload ? { payload: budgetInputExpr(step.payload) } : null
+      };
+    case "delay":
+      return { kind: "delay", ms: step.ms };
+    case "call": {
+      const policy = step.timeoutMs !== void 0 || step.retry !== void 0 ? {
+        ...step.timeoutMs !== void 0 ? { timeoutMs: step.timeoutMs } : null,
+        ...step.retry !== void 0 ? { retry: { times: step.retry.times } } : null
+      } : void 0;
+      return {
+        kind: "call",
+        serviceId: step.serviceId,
+        ...step.input ? { input: budgetInputExpr(step.input) } : null,
+        ...policy ? { policy } : null
+      };
+    }
+  }
+};
+var compileWorkflowStaticIrV1 = (args) => {
+  const normalized = normalizeWorkflowDefV1(args.def);
+  validateWorkflowDefV1(normalized, { moduleId: args.moduleId });
+  const programId = `${args.moduleId}.${normalized.localId}`;
+  const triggerNodeId = makeTriggerNodeId(programId);
+  const fragmentByStepKey = /* @__PURE__ */ new Map();
+  if (normalized.sources && typeof normalized.sources === "object") {
+    for (const [k, v] of Object.entries(normalized.sources)) {
+      fragmentByStepKey.set(k, isRecord3(v) ? asNonEmptyString(v.fragmentId) : void 0);
+    }
+  }
+  const nodesByKey = /* @__PURE__ */ new Map();
+  const collectNodes = (steps) => {
+    for (const step of steps) {
+      const id = makeStepNodeId(programId, step.key, step.kind);
+      nodesByKey.set(step.key, id);
+      if (step.kind === "call") {
+        collectNodes(step.onSuccess);
+        collectNodes(step.onFailure);
+      }
+    }
+  };
+  collectNodes(normalized.steps);
+  const nodes = [
+    {
+      id: triggerNodeId,
+      kind: "trigger",
+      trigger: normalized.trigger
+    }
+  ];
+  const addStepNodes = (steps) => {
+    for (const step of steps) {
+      const id = nodesByKey.get(step.key);
+      if (!id) continue;
+      const fragmentId = fragmentByStepKey.get(step.key);
+      nodes.push({
+        id,
+        kind: "step",
+        step: toStaticStep(step),
+        source: {
+          stepKey: step.key,
+          ...fragmentId ? { fragmentId } : null
+        }
+      });
+      if (step.kind === "call") {
+        addStepNodes(step.onSuccess);
+        addStepNodes(step.onFailure);
+      }
+    }
+  };
+  addStepNodes(normalized.steps);
+  const edges = [];
+  const pushEdge = (from, to, kind) => {
+    edges.push({ from, to, kind });
+  };
+  const compileBlock = (args2) => {
+    if (args2.steps.length === 0) {
+      if (args2.continuation) {
+        for (const from of args2.entryFrom) {
+          pushEdge(from, args2.continuation, args2.entryKind);
+        }
+      }
+      return;
+    }
+    const first = args2.steps[0];
+    const firstId = nodesByKey.get(first.key);
+    if (!firstId) {
+      throw makeWorkflowError({
+        code: "WORKFLOW_INVALID_STEP",
+        message: "Internal error: missing node id for stepKey.",
+        programId,
+        source: { stepKey: first.key }
+      });
+    }
+    for (const from of args2.entryFrom) {
+      pushEdge(from, firstId, args2.entryKind);
+    }
+    const compileStepAndTail = (step, tail, continuation) => {
+      const stepId = nodesByKey.get(step.key);
+      if (!stepId) return;
+      if (step.kind !== "call") {
+        compileBlock({ steps: tail, entryFrom: [stepId], entryKind: "next", continuation });
+        return;
+      }
+      const cont = tail.length > 0 ? nodesByKey.get(tail[0].key) : continuation;
+      compileBlock({
+        steps: step.onSuccess,
+        entryFrom: [stepId],
+        entryKind: "success",
+        continuation: cont
+      });
+      compileBlock({
+        steps: step.onFailure,
+        entryFrom: [stepId],
+        entryKind: "failure",
+        continuation: cont
+      });
+      compileBlock({ steps: tail, entryFrom: [], entryKind: "next", continuation });
+    };
+    compileStepAndTail(first, args2.steps.slice(1), args2.continuation);
+  };
+  compileBlock({ steps: normalized.steps, entryFrom: [triggerNodeId], entryKind: "next", continuation: void 0 });
+  nodes.sort((a, b) => a.id < b.id ? -1 : a.id > b.id ? 1 : 0);
+  edges.sort((a, b) => {
+    if (a.from !== b.from) return a.from < b.from ? -1 : 1;
+    if (a.to !== b.to) return a.to < b.to ? -1 : 1;
+    const ak = String(a.kind ?? "");
+    const bk = String(b.kind ?? "");
+    if (ak !== bk) return ak < bk ? -1 : 1;
+    return 0;
+  });
+  const meta = (() => {
+    const generator = normalized.meta?.generator;
+    if (generator === void 0) return void 0;
+    return { generator: budgetJsonValue(generator) };
+  })();
+  const irNoDigest = {
+    version: 1,
+    programId,
+    nodes,
+    edges,
+    policy: normalized.policy,
+    meta
+  };
+  const digest = makeDigest("workflow_ir_v1", irNoDigest);
+  return {
+    ...irNoDigest,
+    digest
+  };
+};
+
+// src/internal/observability/controlSurfaceManifest.ts
+var makeDigest2 = (value) => `control_surface_v1:${fnv1a32(stableStringify(value))}`;
+var exportEffectsIndexDigest = (entries) => `effects_index_v1:${fnv1a32(stableStringify(entries))}`;
+var exportWorkflowEffectsIndex = (args) => {
+  const moduleId = args.moduleId;
+  return Array.from(args.workflowSurface).sort((a, b) => a.programId < b.programId ? -1 : a.programId > b.programId ? 1 : 0).map((ir) => {
+    const localId = ir.programId.startsWith(`${moduleId}.`) ? ir.programId.slice(moduleId.length + 1) : ir.programId;
+    const triggerNode = ir.nodes.find((n) => n.kind === "trigger");
+    const trigger = triggerNode?.kind === "trigger" && triggerNode.trigger.kind === "action" ? { kind: "action", action: { moduleId, actionTag: triggerNode.trigger.actionTag } } : {
+      kind: "lifecycle",
+      phase: triggerNode?.kind === "trigger" && triggerNode.trigger.kind === "lifecycle" ? triggerNode.trigger.phase : "onStart"
+    };
+    return {
+      kind: "workflow",
+      effectId: `${moduleId}::workflow:${localId}`,
+      trigger,
+      programId: ir.programId,
+      programDigest: ir.digest
+    };
+  });
+};
+var exportControlSurfaceManifest = (input) => {
+  const modules = Array.from(input.modules).sort((a, b) => a.moduleId < b.moduleId ? -1 : a.moduleId > b.moduleId ? 1 : 0);
+  const meta = input.meta;
+  const base = {
+    version: 1,
+    modules,
+    ...meta ? { meta } : null
+  };
+  return {
+    ...base,
+    digest: makeDigest2(base)
+  };
+};
+
+// src/internal/observability/workflowSurface.ts
+var makeDigest3 = (value) => `workflow_surface_v1:${fnv1a32(stableStringify(value))}`;
+var exportWorkflowSurface = (programs) => {
+  const sorted = Array.from(programs).sort(
+    (a, b) => a.programId < b.programId ? -1 : a.programId > b.programId ? 1 : 0
+  );
+  const base = { version: 1, programs: sorted };
+  return { ...base, digest: makeDigest3(base) };
+};
+
+// src/internal/reflection/controlSurface.ts
+var MODULE_INTERNAL2 = /* @__PURE__ */ Symbol.for("logix.module.internal");
+var isRecord4 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isObjectLike = (value) => typeof value === "object" && value !== null || typeof value === "function";
+var asNonEmptyString2 = (value) => typeof value === "string" && value.trim().length > 0 ? value.trim() : void 0;
+var resolveTagId = (tag) => {
+  if (!isObjectLike(tag)) return void 0;
+  return asNonEmptyString2(tag.id);
+};
+var resolveModuleIdOrThrow = (module2) => {
+  if (isRecord4(module2) && module2._tag === "ModuleImpl") {
+    const id = resolveTagId(module2.module);
+    if (id) return id;
+    throw new Error(
+      "[ControlSurfaceManifest] Failed to resolve moduleId from ModuleImpl.module.id.\nFix: pass a configured Module/ModuleImpl (has .id/.tag.id/.module.id), not a read-only handle."
+    );
+  }
+  if (isRecord4(module2)) {
+    const id = asNonEmptyString2(module2.id);
+    if (id) return id;
+    const tagId = resolveTagId(module2.tag);
+    if (tagId) return tagId;
+  }
+  throw new Error(
+    "[ControlSurfaceManifest] Failed to resolve moduleId.\nFix: pass a configured Module/ModuleImpl (has .id/.tag.id/.module.id), not a read-only handle."
+  );
+};
+var resolveWorkflowDefs = (module2) => {
+  if (!isObjectLike(module2)) return [];
+  const internal = module2[MODULE_INTERNAL2];
+  const defs = isRecord4(internal) ? internal.workflowDefs : void 0;
+  return Array.isArray(defs) ? defs : [];
+};
+var exportControlSurface = (modules, options) => {
+  const entries = [];
+  const workflowSurfaces = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const module2 of modules) {
+    const moduleId = resolveModuleIdOrThrow(module2);
+    if (seen.has(moduleId)) {
+      throw new Error(`[ControlSurfaceManifest] Duplicate moduleId "${moduleId}".`);
+    }
+    seen.add(moduleId);
+    const defs = resolveWorkflowDefs(module2);
+    if (defs.length === 0) {
+      entries.push({ moduleId, effectsIndex: [] });
+      continue;
+    }
+    const workflowIrs = defs.map((def) => compileWorkflowStaticIrV1({ moduleId, def }));
+    const surface = exportWorkflowSurface(workflowIrs);
+    workflowSurfaces.push({ moduleId, surface });
+    const effectsIndex = exportWorkflowEffectsIndex({ moduleId, workflowSurface: surface.programs });
+    const effectsIndexDigest = effectsIndex.length > 0 ? exportEffectsIndexDigest(effectsIndex) : void 0;
+    entries.push({
+      moduleId,
+      workflowSurface: { digest: surface.digest },
+      effectsIndex,
+      ...effectsIndexDigest ? { effectsIndexDigest } : null
+    });
+  }
+  const manifest = exportControlSurfaceManifest({
+    version: 1,
+    modules: entries,
+    ...options?.meta ? { meta: options.meta } : null
+  });
+  return { manifest, workflowSurfaces };
+};
+
+// src/internal/reflection/diff.ts
+var SEVERITY_RANK = {
+  BREAKING: 0,
+  RISKY: 1,
+  INFO: 2
+};
+var uniqSorted = (input) => {
+  const out = Array.from(new Set(input.filter((x) => typeof x === "string" && x.length > 0)));
+  out.sort();
+  return out;
+};
+var diffStringKeys = (before, after) => {
+  const beforeSet = new Set(uniqSorted(before ?? []));
+  const afterSet = new Set(uniqSorted(after ?? []));
+  const removed = [];
+  for (const k of beforeSet) {
+    if (!afterSet.has(k)) removed.push(k);
+  }
+  removed.sort();
+  const added = [];
+  for (const k of afterSet) {
+    if (!beforeSet.has(k)) added.push(k);
+  }
+  added.sort();
+  return { removed, added };
+};
+var eqJsonValue = (a, b) => stableStringify(a) === stableStringify(b);
+var indexLogicUnits = (input) => {
+  const map = /* @__PURE__ */ new Map();
+  for (const unit of input ?? []) {
+    if (!unit || typeof unit !== "object") continue;
+    const id = unit.id;
+    if (typeof id !== "string" || id.length === 0) continue;
+    map.set(id, unit);
+  }
+  return map;
+};
+var diffManifest = (before, after, options) => {
+  const changes = [];
+  if (before.moduleId !== after.moduleId) {
+    changes.push({
+      severity: "BREAKING",
+      code: "moduleId.changed",
+      message: `moduleId changed (${before.moduleId} -> ${after.moduleId})`,
+      pointer: "/moduleId",
+      details: {
+        before: before.moduleId,
+        after: after.moduleId
+      }
+    });
+  }
+  if (before.manifestVersion !== after.manifestVersion) {
+    changes.push({
+      severity: "INFO",
+      code: "manifestVersion.changed",
+      message: `manifestVersion changed (${before.manifestVersion} -> ${after.manifestVersion})`,
+      pointer: "/manifestVersion",
+      details: {
+        before: before.manifestVersion,
+        after: after.manifestVersion
+      }
+    });
+  }
+  {
+    const { removed, added } = diffStringKeys(before.actionKeys, after.actionKeys);
+    if (removed.length > 0 || added.length > 0) {
+      changes.push({
+        severity: removed.length > 0 ? "BREAKING" : "INFO",
+        code: "actionKeys.changed",
+        message: removed.length > 0 ? `actionKeys removed: ${removed.join(", ")}` : `actionKeys added: ${added.join(", ")}`,
+        pointer: "/actionKeys",
+        details: { removed, added }
+      });
+    }
+  }
+  {
+    const { removed, added } = diffStringKeys(before.schemaKeys, after.schemaKeys);
+    if (removed.length > 0 || added.length > 0) {
+      changes.push({
+        severity: removed.length > 0 ? "BREAKING" : "INFO",
+        code: "schemaKeys.changed",
+        message: removed.length > 0 ? `schemaKeys removed: ${removed.join(", ")}` : `schemaKeys added: ${added.join(", ")}`,
+        pointer: "/schemaKeys",
+        details: { removed, added }
+      });
+    }
+  }
+  {
+    const beforeById = indexLogicUnits(before.logicUnits);
+    const afterById = indexLogicUnits(after.logicUnits);
+    const removed = [];
+    const added = [];
+    const kindChanged = [];
+    const riskyChanged = [];
+    for (const id of beforeById.keys()) {
+      if (!afterById.has(id)) removed.push(id);
+    }
+    for (const id of afterById.keys()) {
+      if (!beforeById.has(id)) added.push(id);
+    }
+    removed.sort();
+    added.sort();
+    for (const id of beforeById.keys()) {
+      const b = beforeById.get(id);
+      const a = afterById.get(id);
+      if (!b || !a) continue;
+      const fields = [];
+      if (b.kind !== a.kind) {
+        kindChanged.push({ id, before: b.kind, after: a.kind });
+        continue;
+      }
+      if (b.name !== a.name) fields.push("name");
+      if (b.derived !== a.derived) fields.push("derived");
+      if (fields.length > 0) riskyChanged.push({ id, fields });
+    }
+    kindChanged.sort((x, y) => x.id < y.id ? -1 : x.id > y.id ? 1 : 0);
+    riskyChanged.sort((x, y) => x.id < y.id ? -1 : x.id > y.id ? 1 : 0);
+    if (removed.length > 0) {
+      changes.push({
+        severity: "BREAKING",
+        code: "logicUnits.removed",
+        message: `logicUnits removed: ${removed.join(", ")}`,
+        pointer: "/logicUnits",
+        details: { removed }
+      });
+    }
+    if (kindChanged.length > 0) {
+      changes.push({
+        severity: "BREAKING",
+        code: "logicUnits.kindChanged",
+        message: `logicUnits kind changed: ${kindChanged.map((x) => x.id).join(", ")}`,
+        pointer: "/logicUnits",
+        details: { kindChanged }
+      });
+    }
+    if (added.length > 0) {
+      changes.push({
+        severity: "INFO",
+        code: "logicUnits.added",
+        message: `logicUnits added: ${added.join(", ")}`,
+        pointer: "/logicUnits",
+        details: { added }
+      });
+    }
+    if (riskyChanged.length > 0) {
+      changes.push({
+        severity: "RISKY",
+        code: "logicUnits.changed",
+        message: `logicUnits changed: ${riskyChanged.map((x) => x.id).join(", ")}`,
+        pointer: "/logicUnits",
+        details: { changed: riskyChanged }
+      });
+    }
+  }
+  {
+    const beforeDigest = before.staticIr?.digest;
+    const afterDigest = after.staticIr?.digest;
+    if (beforeDigest !== afterDigest) {
+      changes.push({
+        severity: "RISKY",
+        code: "staticIr.digestChanged",
+        message: "staticIr.digest changed",
+        pointer: "/staticIr/digest",
+        details: {
+          before: beforeDigest ?? null,
+          after: afterDigest ?? null
+        }
+      });
+    }
+  }
+  {
+    const metaBefore = before.meta ?? {};
+    const metaAfter = after.meta ?? {};
+    const allowlist = options?.metaAllowlist;
+    const keys = allowlist != null ? uniqSorted(allowlist) : uniqSorted([...Object.keys(metaBefore), ...Object.keys(metaAfter)]);
+    const changed = [];
+    for (const key of keys) {
+      const b = key in metaBefore ? metaBefore[key] : void 0;
+      const a = key in metaAfter ? metaAfter[key] : void 0;
+      if (!eqJsonValue(b, a)) {
+        changed.push({
+          key,
+          before: b ?? null,
+          after: a ?? null
+        });
+      }
+    }
+    if (changed.length > 0) {
+      changes.push({
+        severity: "RISKY",
+        code: "meta.changed",
+        message: "meta changed",
+        pointer: "/meta",
+        details: {
+          keys: changed.map((x) => x.key),
+          changed
         }
-      );
-      options?.onMetaProjection?.({
-        stats: metaProjection.stats,
-        downgrade: metaProjection.downgrade
       });
-      downgrade = mergeDowngrade2(downgrade, metaProjection.downgrade);
-      return withDowngrade({
-        ...base,
-        kind: "devtools",
-        label: event.type,
-        meta: metaProjection.value
+    }
+  }
+  {
+    const b = before.source;
+    const a = after.source;
+    if (!eqJsonValue(b ?? null, a ?? null)) {
+      changes.push({
+        severity: "INFO",
+        code: "source.changed",
+        message: "source changed",
+        pointer: "/source",
+        details: {
+          before: b ?? null,
+          after: a ?? null
+        }
       });
     }
   }
+  changes.sort((a, b) => {
+    const ra = SEVERITY_RANK[a.severity];
+    const rb = SEVERITY_RANK[b.severity];
+    if (ra !== rb) return ra - rb;
+    if (a.code !== b.code) return a.code < b.code ? -1 : 1;
+    const pa = a.pointer ?? "";
+    const pb = b.pointer ?? "";
+    if (pa !== pb) return pa < pb ? -1 : 1;
+    return 0;
+  });
+  const summary = {
+    breaking: changes.filter((c) => c.severity === "BREAKING").length,
+    risky: changes.filter((c) => c.severity === "RISKY").length,
+    info: changes.filter((c) => c.severity === "INFO").length
+  };
+  const verdict = summary.breaking > 0 ? "FAIL" : summary.risky > 0 ? "WARN" : "PASS";
+  return {
+    version: "025",
+    moduleId: after.moduleId,
+    before: {
+      digest: before.digest,
+      manifestVersion: before.manifestVersion
+    },
+    after: {
+      digest: after.digest,
+      manifestVersion: after.manifestVersion
+    },
+    verdict,
+    changes,
+    summary
+  };
+};
+
+// src/internal/reflection/kernelContract.ts
+var import_effect37 = require("effect");
+
+// src/internal/observability/trialRun.ts
+var import_effect36 = require("effect");
+
+// src/internal/observability/evidenceCollector.ts
+var import_effect12 = require("effect");
+
+// src/internal/observability/runSession.ts
+var import_effect11 = require("effect");
+var RunSessionTagImpl = class extends import_effect11.Context.Tag("@logixjs/core/RunSession")() {
+};
+var RunSessionTag = RunSessionTagImpl;
+var NEXT_RUN_SEQ_KEY = /* @__PURE__ */ Symbol.for("@logixjs/core/runSession/nextRunSeq");
+var fallbackNextRunSeq = 0;
+var nextRunSeq = () => {
+  try {
+    const g = globalThis;
+    const prev = typeof g[NEXT_RUN_SEQ_KEY] === "number" ? g[NEXT_RUN_SEQ_KEY] : 0;
+    const next = prev + 1;
+    g[NEXT_RUN_SEQ_KEY] = next;
+    return next;
+  } catch {
+    fallbackNextRunSeq += 1;
+    return fallbackNextRunSeq;
+  }
+};
+var makeRunId = (startedAt) => `run-${startedAt}.${nextRunSeq()}`;
+var makeRunSessionLocalState = () => {
+  const onceKeys = /* @__PURE__ */ new Set();
+  const seqByNamespace = /* @__PURE__ */ new Map();
+  return {
+    once: (key) => {
+      if (onceKeys.has(key)) return false;
+      onceKeys.add(key);
+      return true;
+    },
+    nextSeq: (namespace, key) => {
+      const byKey = seqByNamespace.get(namespace) ?? /* @__PURE__ */ new Map();
+      if (!seqByNamespace.has(namespace)) seqByNamespace.set(namespace, byKey);
+      const prev = byKey.get(key) ?? 0;
+      const next = prev + 1;
+      byKey.set(key, next);
+      return next;
+    },
+    clear: () => {
+      onceKeys.clear();
+      seqByNamespace.clear();
+    }
+  };
+};
+var makeRunSession = (options) => {
+  const startedAt = options?.startedAt ?? Date.now();
+  return {
+    runId: options?.runId ?? makeRunId(startedAt),
+    source: options?.source ?? { host: "unknown" },
+    startedAt,
+    local: options?.local ?? makeRunSessionLocalState()
+  };
+};
+var makeEvidenceSink = (session) => {
+  const events = [];
+  let nextSeq = 1;
+  return {
+    record: (type, payload, options) => {
+      events.push({
+        protocolVersion: OBSERVABILITY_PROTOCOL_VERSION,
+        runId: session.runId,
+        seq: nextSeq++,
+        timestamp: options?.timestamp ?? Date.now(),
+        type,
+        payload
+      });
+    },
+    export: (options) => {
+      const protocolVersion = options?.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION;
+      const maxEvents = options?.maxEvents;
+      const selected = typeof maxEvents === "number" && Number.isFinite(maxEvents) && maxEvents > 0 ? events.slice(Math.max(0, events.length - Math.floor(maxEvents))) : events.slice();
+      return exportEvidencePackage({
+        protocolVersion,
+        runId: session.runId,
+        source: session.source,
+        createdAt: options?.createdAt,
+        events: selected,
+        summary: options?.summary
+      });
+    },
+    clear: () => {
+      events.length = 0;
+      nextSeq = 1;
+    }
+  };
 };
+var runSessionLayer = (session) => import_effect11.Layer.succeed(RunSessionTag, session ?? makeRunSession());
 
 // src/internal/observability/evidenceCollector.ts
-var EvidenceCollectorTagImpl = class extends import_effect8.Context.Tag("@logixjs/core/EvidenceCollector")() {
+var EvidenceCollectorTagImpl = class extends import_effect12.Context.Tag("@logixjs/core/EvidenceCollector")() {
 };
 var EvidenceCollectorTag = EvidenceCollectorTagImpl;
-var evidenceCollectorLayer = (collector) => import_effect8.Layer.succeed(EvidenceCollectorTag, collector);
-var isRecord3 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var evidenceCollectorLayer = (collector) => import_effect12.Layer.succeed(EvidenceCollectorTag, collector);
+var isRecord5 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 var makeEvidenceCollector = (session) => {
   const sink = makeEvidenceSink(session);
   const convergeStaticIrByDigest = /* @__PURE__ */ new Map();
@@ -2183,8 +3567,8 @@ var makeEvidenceCollector = (session) => {
     nonSerializable: 0
   };
   const debugSink = {
-    record: (event) => import_effect8.Effect.gen(function* () {
-      const level = yield* import_effect8.FiberRef.get(currentDiagnosticsLevel);
+    record: (event) => import_effect12.Effect.gen(function* () {
+      const level = yield* import_effect12.FiberRef.get(currentDiagnosticsLevel);
       const instanceIdRaw = event.instanceId;
       const instanceId = typeof instanceIdRaw === "string" && instanceIdRaw.length > 0 ? instanceIdRaw : "unknown";
       const eventSeq = level === "off" ? void 0 : session.local.nextSeq("eventSeq", instanceId);
@@ -2207,7 +3591,7 @@ var makeEvidenceCollector = (session) => {
     })
   };
   const registerConvergeStaticIr = (staticIr) => {
-    if (!isRecord3(staticIr)) return;
+    if (!isRecord5(staticIr)) return;
     const digest = staticIr.staticIrDigest;
     if (typeof digest !== "string" || digest.length === 0) return;
     const projected = projectJsonValue(staticIr);
@@ -2268,17 +3652,17 @@ var makeEvidenceCollector = (session) => {
 };
 
 // src/internal/runtime/core/RuntimeKernel.ts
-var import_effect9 = require("effect");
-var RuntimeServicesRuntimeConfigTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/RuntimeServicesRuntimeConfig")() {
+var import_effect13 = require("effect");
+var RuntimeServicesRuntimeConfigTagImpl = class extends import_effect13.Context.Tag("@logixjs/core/RuntimeServicesRuntimeConfig")() {
 };
-var RuntimeServicesProviderOverridesTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/RuntimeServicesProviderOverrides")() {
+var RuntimeServicesProviderOverridesTagImpl = class extends import_effect13.Context.Tag("@logixjs/core/RuntimeServicesProviderOverrides")() {
 };
-var RuntimeServicesInstanceOverridesTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/RuntimeServicesInstanceOverrides")() {
+var RuntimeServicesInstanceOverridesTagImpl = class extends import_effect13.Context.Tag("@logixjs/core/RuntimeServicesInstanceOverrides")() {
 };
 var RuntimeServicesInstanceOverridesTag = RuntimeServicesInstanceOverridesTagImpl;
-var FullCutoverGateModeTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/FullCutoverGateMode")() {
+var FullCutoverGateModeTagImpl = class extends import_effect13.Context.Tag("@logixjs/core/FullCutoverGateMode")() {
 };
-var RuntimeServicesRegistryTagImpl = class extends import_effect9.Context.Tag("@logixjs/core/RuntimeServicesRegistry")() {
+var RuntimeServicesRegistryTagImpl = class extends import_effect13.Context.Tag("@logixjs/core/RuntimeServicesRegistry")() {
 };
 var RUNTIME_SERVICES_EVIDENCE = /* @__PURE__ */ Symbol.for("@logixjs/core/runtimeServicesEvidence");
 var formatScope = (moduleId, instanceId) => {
@@ -2313,24 +3697,24 @@ var getRuntimeServicesEvidence = (runtime) => {
 };
 
 // src/internal/runtime/core/ConvergeStaticIrCollector.ts
-var import_effect10 = require("effect");
-var currentConvergeStaticIrCollectors = import_effect10.FiberRef.unsafeMake([]);
-var appendConvergeStaticIrCollectors = (collectors) => import_effect10.Layer.fiberRefLocallyScopedWith(currentConvergeStaticIrCollectors, (current) => [
+var import_effect14 = require("effect");
+var currentConvergeStaticIrCollectors = import_effect14.FiberRef.unsafeMake([]);
+var appendConvergeStaticIrCollectors = (collectors) => import_effect14.Layer.fiberRefLocallyScopedWith(currentConvergeStaticIrCollectors, (current) => [
   ...current,
   ...collectors
 ]);
 
 // src/internal/observability/trialRunModule.ts
-var import_effect32 = require("effect");
+var import_effect35 = require("effect");
 
 // src/internal/platform/BuildEnv.ts
-var import_effect13 = require("effect");
+var import_effect17 = require("effect");
 
 // src/internal/platform/ConstructionGuard.ts
-var import_effect11 = require("effect");
+var import_effect15 = require("effect");
 
 // src/internal/platform/RuntimeHost.ts
-var import_effect12 = require("effect");
+var import_effect16 = require("effect");
 var detectKind = () => {
   const isBrowser2 = typeof window !== "undefined" && typeof document !== "undefined";
   if (isBrowser2) return "browser";
@@ -2343,13 +3727,13 @@ var make = (kind) => ({
   isNode: kind === "node",
   isBrowser: kind === "browser"
 });
-var RuntimeHost = class extends import_effect12.Context.Tag("@logixjs/RuntimeHost")() {
+var RuntimeHost = class extends import_effect16.Context.Tag("@logixjs/RuntimeHost")() {
 };
-var layer = (service) => import_effect12.Layer.succeed(RuntimeHost, service);
+var layer = (service) => import_effect16.Layer.succeed(RuntimeHost, service);
 var defaultLayer = layer(make(detectKind()));
 
 // src/internal/runtime/core/KernelRef.ts
-var import_effect14 = require("effect");
+var import_effect18 = require("effect");
 var isKernelId = (value) => typeof value === "string" && value.length > 0 && /^[a-z0-9-]+$/.test(value);
 var defaultKernelImplementationRef = {
   kernelId: "core",
@@ -2368,7 +3752,7 @@ var normalizeKernelImplementationRef = (value, fallback = defaultKernelImplement
     ...Array.isArray(v.capabilities) && v.capabilities.every((c) => typeof c === "string") ? { capabilities: v.capabilities } : {}
   };
 };
-var KernelImplementationRefTagImpl = class extends import_effect14.Context.Tag("@logixjs/core/KernelImplementationRef")() {
+var KernelImplementationRefTagImpl = class extends import_effect18.Context.Tag("@logixjs/core/KernelImplementationRef")() {
 };
 var KERNEL_IMPLEMENTATION_REF = /* @__PURE__ */ Symbol.for("@logixjs/core/kernelImplementationRef");
 var formatScope2 = (moduleId, instanceId) => {
@@ -2393,67 +3777,62 @@ var getKernelImplementationRef = (runtime) => {
 };
 
 // src/internal/runtime/core/runner/ProgramRunner.kernel.ts
-var import_effect27 = require("effect");
+var import_effect30 = require("effect");
 
 // src/internal/runtime/core/BoundApiRuntime.ts
-var import_effect24 = require("effect");
-
-// src/internal/runtime/core/TaskRunner.ts
-var import_effect15 = require("effect");
-var inSyncTransactionFiber = import_effect15.FiberRef.unsafeMake(false);
-var forceSourceRefresh = import_effect15.FiberRef.unsafeMake(false);
+var import_effect27 = require("effect");
 
 // src/internal/runtime/core/mutativePatches.ts
 var import_mutative = require("mutative");
 
 // src/internal/runtime/core/FlowRuntime.ts
-var import_effect17 = require("effect");
+var import_effect20 = require("effect");
 
 // src/internal/effect-op.ts
-var import_effect16 = require("effect");
+var import_effect19 = require("effect");
 
 // src/internal/runtime/core/MatchBuilder.ts
-var import_effect18 = require("effect");
+var import_effect21 = require("effect");
 
 // src/internal/runtime/core/Platform.ts
-var import_effect19 = require("effect");
-var Tag = import_effect19.Context.GenericTag("@logixjs/Platform");
+var import_effect22 = require("effect");
+var Tag = import_effect22.Context.GenericTag("@logixjs/Platform");
 
 // src/internal/runtime/core/Lifecycle.ts
-var import_effect20 = require("effect");
-var LifecycleContext = import_effect20.Context.GenericTag("@logixjs/LifecycleManager");
+var import_effect23 = require("effect");
+var LifecycleContext = import_effect23.Context.GenericTag("@logixjs/LifecycleManager");
 
 // src/internal/runtime/core/LogicDiagnostics.ts
-var import_effect21 = require("effect");
-var LogicPhaseServiceTag = import_effect21.Context.GenericTag("@logixjs/LogicPhaseService");
-var LogicUnitServiceTag = class extends import_effect21.Context.Tag("@logixjs/LogicUnitService")() {
+var import_effect24 = require("effect");
+var LogicPhaseServiceTag = import_effect24.Context.GenericTag("@logixjs/LogicPhaseService");
+var LogicUnitServiceTag = class extends import_effect24.Context.Tag("@logixjs/LogicUnitService")() {
 };
 
 // src/internal/root.ts
-var import_effect23 = require("effect");
+var import_effect26 = require("effect");
 
 // src/internal/runtime/core/RootContext.ts
-var import_effect22 = require("effect");
-var RootContextTagImpl = class extends import_effect22.Context.Tag("@logixjs/core/RootContext")() {
+var import_effect25 = require("effect");
+var RootContextTagImpl = class extends import_effect25.Context.Tag("@logixjs/core/RootContext")() {
 };
 
 // src/internal/runtime/core/runner/ProgramRunner.closeScope.ts
-var import_effect25 = require("effect");
+var import_effect28 = require("effect");
 
 // src/internal/runtime/core/runner/ProgramRunner.signals.ts
-var import_effect26 = require("effect");
+var import_effect29 = require("effect");
 
 // src/internal/runtime/Runtime.ts
-var import_effect31 = require("effect");
+var import_effect34 = require("effect");
 
 // src/internal/runtime/AppRuntime.ts
-var import_effect30 = require("effect");
+var import_effect33 = require("effect");
 
-// src/internal/runtime/core/process/ProcessRuntime.ts
-var import_effect29 = require("effect");
+// src/internal/runtime/core/process/ProcessRuntime.make.ts
+var import_effect32 = require("effect");
 
 // src/internal/runtime/core/process/concurrency.ts
-var import_effect28 = require("effect");
+var import_effect31 = require("effect");
 
 // src/internal/runtime/core/process/events.ts
 var PROCESS_EVENT_MAX_BYTES = 4 * 1024;
@@ -2461,11 +3840,11 @@ var PROCESS_EVENT_MAX_BYTES = 4 * 1024;
 // src/internal/runtime/core/process/selectorSchema.ts
 var SchemaAST = __toESM(require("effect/SchemaAST"), 1);
 
-// src/internal/runtime/core/process/ProcessRuntime.ts
-var ProcessRuntimeTag = class extends import_effect29.Context.Tag("@logixjs/core/ProcessRuntime")() {
+// src/internal/runtime/core/process/ProcessRuntime.make.ts
+var ProcessRuntimeTag = class extends import_effect32.Context.Tag("@logixjs/core/ProcessRuntime")() {
 };
-var currentProcessTrigger = import_effect29.FiberRef.unsafeMake(void 0);
-var currentProcessEventBudget = import_effect29.FiberRef.unsafeMake(
+var currentProcessTrigger = import_effect32.FiberRef.unsafeMake(void 0);
+var currentProcessEventBudget = import_effect32.FiberRef.unsafeMake(
   void 0
 );
 
@@ -2477,7 +3856,7 @@ var defaultHost = () => {
   if (typeof window !== "undefined" && typeof document !== "undefined") return "browser";
   return "node";
 };
-var trialRun = (program, options) => import_effect33.Effect.gen(function* () {
+var trialRun = (program, options) => import_effect36.Effect.gen(function* () {
   const session = makeRunSession({
     runId: options?.runId,
     source: options?.source ?? { host: defaultHost(), label: "trial-run" },
@@ -2494,12 +3873,12 @@ var trialRun = (program, options) => import_effect33.Effect.gen(function* () {
   const convergeLayer = appendConvergeStaticIrCollectors([convergeCollector]);
   const collectorLayer = evidenceCollectorLayer(collector);
   const sessionLayer = runSessionLayer(session);
-  const overridesLayer = options?.runtimeServicesInstanceOverrides != null ? import_effect33.Layer.succeed(
+  const overridesLayer = options?.runtimeServicesInstanceOverrides != null ? import_effect36.Layer.succeed(
     RuntimeServicesInstanceOverridesTag,
     options.runtimeServicesInstanceOverrides
-  ) : import_effect33.Layer.empty;
-  const trialLayer = import_effect33.Layer.mergeAll(
-    options?.layer ?? import_effect33.Layer.empty,
+  ) : import_effect36.Layer.empty;
+  const trialLayer = import_effect36.Layer.mergeAll(
+    options?.layer ?? import_effect36.Layer.empty,
     sessionLayer,
     collectorLayer,
     overridesLayer,
@@ -2507,9 +3886,9 @@ var trialRun = (program, options) => import_effect33.Effect.gen(function* () {
     sinksLayer,
     convergeLayer
   );
-  const scope = yield* import_effect33.Scope.make();
-  const exit = yield* import_effect33.Effect.exit(program).pipe(import_effect33.Effect.provideService(import_effect33.Scope.Scope, scope), import_effect33.Effect.provide(trialLayer));
-  yield* import_effect33.Scope.close(scope, exit);
+  const scope = yield* import_effect36.Scope.make();
+  const exit = yield* import_effect36.Effect.exit(program).pipe(import_effect36.Effect.provideService(import_effect36.Scope.Scope, scope), import_effect36.Effect.provide(trialLayer));
+  yield* import_effect36.Scope.close(scope, exit);
   const evidence = collector.exportEvidencePackage({
     maxEvents: options?.maxEvents
   });
@@ -2518,15 +3897,15 @@ var trialRun = (program, options) => import_effect33.Effect.gen(function* () {
 
 // src/internal/reflection/kernelContract.ts
 var resolveRootImpl = (root) => root?._tag === "ModuleImpl" ? root : root?.impl;
-var asNonEmptyString = (value) => typeof value === "string" && value.length > 0 ? value : void 0;
-var asNonNegInt = (value, fallback = 0) => {
+var asNonEmptyString3 = (value) => typeof value === "string" && value.length > 0 ? value : void 0;
+var asNonNegInt2 = (value, fallback = 0) => {
   if (typeof value !== "number" || !Number.isFinite(value)) return fallback;
   const n = Math.floor(value);
   return n >= 0 ? n : fallback;
 };
-var isRecord4 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isRecord6 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 var makeTraceEffectOpObserver = () => {
-  return (op) => import_effect34.Effect.gen(function* () {
+  return (op) => import_effect37.Effect.gen(function* () {
     if (op.meta?.policy?.disableObservers) {
       return yield* op.effect;
     }
@@ -2561,12 +3940,12 @@ var extractRuntimeSummary = (evidence) => {
   };
 };
 var canonicalizeOpMeta = (opMetaRaw) => {
-  if (!isRecord4(opMetaRaw)) return void 0;
+  if (!isRecord6(opMetaRaw)) return void 0;
   const out = {};
   for (const [k, v] of Object.entries(opMetaRaw)) {
     if (k === "instanceId" || k === "txnId" || k === "runtimeLabel" || k === "linkId") continue;
     if ((k === "deps" || k === "trace" || k === "tags") && Array.isArray(v) && v.every((x) => typeof x === "string")) {
-      out[k] = v.slice().sort((a, b) => a.localeCompare(b));
+      out[k] = v.slice().sort();
       continue;
     }
     out[k] = v;
@@ -2589,17 +3968,17 @@ var extractKernelContractTraceOps = (evidence) => {
   for (const e of evidence.events) {
     if (e.type !== "debug:event") continue;
     const payload = e.payload;
-    if (!isRecord4(payload)) continue;
+    if (!isRecord6(payload)) continue;
     const meta = payload.meta;
     const opMeta = meta?.meta;
-    const opSeq = asNonNegInt(opMeta?.opSeq, -1);
+    const opSeq = asNonNegInt2(opMeta?.opSeq, -1);
     if (opSeq < 0) continue;
-    const instanceIdRaw = asNonEmptyString(payload.instanceId) ?? "unknown";
+    const instanceIdRaw = asNonEmptyString3(payload.instanceId) ?? "unknown";
     const instanceId = mapInstanceId(instanceIdRaw);
-    const txnSeq = asNonNegInt(payload.txnSeq, 0);
-    const moduleId = asNonEmptyString(payload.moduleId) ?? "unknown";
-    const kind = asNonEmptyString(meta?.kind) ?? asNonEmptyString(payload.kind) ?? "unknown";
-    const name = asNonEmptyString(meta?.name) ?? asNonEmptyString(payload.label) ?? "effectop";
+    const txnSeq = asNonNegInt2(payload.txnSeq, 0);
+    const moduleId = asNonEmptyString3(payload.moduleId) ?? "unknown";
+    const kind = asNonEmptyString3(meta?.kind) ?? asNonEmptyString3(payload.kind) ?? "unknown";
+    const name = asNonEmptyString3(meta?.name) ?? asNonEmptyString3(payload.label) ?? "effectop";
     ops.push({
       anchor: { instanceId, txnSeq, opSeq },
       moduleId,
@@ -2609,7 +3988,7 @@ var extractKernelContractTraceOps = (evidence) => {
     });
   }
   ops.sort((a, b) => {
-    if (a.anchor.instanceId !== b.anchor.instanceId) return a.anchor.instanceId.localeCompare(b.anchor.instanceId);
+    if (a.anchor.instanceId !== b.anchor.instanceId) return a.anchor.instanceId < b.anchor.instanceId ? -1 : 1;
     if (a.anchor.txnSeq !== b.anchor.txnSeq) return a.anchor.txnSeq - b.anchor.txnSeq;
     return a.anchor.opSeq - b.anchor.opSeq;
   });
@@ -2626,7 +4005,7 @@ var diffKernelContractTraceOps = (before, after) => {
   for (const op of after) {
     afterByKey.set(anchorKey(op.anchor), op);
   }
-  const allKeys = Array.from(/* @__PURE__ */ new Set([...beforeByKey.keys(), ...afterByKey.keys()])).sort((a, b) => a.localeCompare(b));
+  const allKeys = Array.from(/* @__PURE__ */ new Set([...beforeByKey.keys(), ...afterByKey.keys()])).sort();
   for (const key of allKeys) {
     const b = beforeByKey.get(key);
     const a = afterByKey.get(key);
@@ -2666,20 +4045,20 @@ var diffKernelContractTraceOps = (before, after) => {
   return { changes, summary };
 };
 var VERSION = "v1";
-var runOnce = (rootImpl, run2, options) => import_effect34.Effect.gen(function* () {
+var runOnce = (rootImpl, run2, options) => import_effect37.Effect.gen(function* () {
   const interaction = run2?.interaction;
-  const program = import_effect34.Effect.gen(function* () {
-    const ctx = yield* rootImpl.layer.pipe(import_effect34.Layer.build);
-    const runtime = import_effect34.Context.get(ctx, rootImpl.module);
+  const program = import_effect37.Effect.gen(function* () {
+    const ctx = yield* rootImpl.layer.pipe(import_effect37.Layer.build);
+    const runtime = import_effect37.Context.get(ctx, rootImpl.module);
     if (interaction) {
       yield* interaction(runtime);
     }
     return runtime.instanceId;
   });
-  const traceLayer = import_effect34.Layer.succeed(EffectOpMiddlewareTag, {
+  const traceLayer = import_effect37.Layer.succeed(EffectOpMiddlewareTag, {
     stack: [makeTraceEffectOpObserver()]
   });
-  const extraLayer = run2?.layer ? import_effect34.Layer.mergeAll(traceLayer, run2.layer) : traceLayer;
+  const extraLayer = run2?.layer ? import_effect37.Layer.mergeAll(traceLayer, run2.layer) : traceLayer;
   const result = yield* trialRun(program, {
     runId: run2?.runId,
     diagnosticsLevel: options.diagnosticsLevel ?? "light",
@@ -2687,9 +4066,9 @@ var runOnce = (rootImpl, run2, options) => import_effect34.Effect.gen(function*
     layer: extraLayer,
     runtimeServicesInstanceOverrides: run2?.runtimeServicesInstanceOverrides
   });
-  const ok = import_effect34.Exit.isSuccess(result.exit);
-  const error = import_effect34.Exit.isFailure(result.exit) && result.exit.cause != null ? (() => {
-    const failure = import_effect34.Exit.isFailure(result.exit) ? result.exit.cause : void 0;
+  const ok = import_effect37.Exit.isSuccess(result.exit);
+  const error = import_effect37.Exit.isFailure(result.exit) && result.exit.cause != null ? (() => {
+    const failure = import_effect37.Exit.isFailure(result.exit) ? result.exit.cause : void 0;
     const err = failure?._tag === "Die" ? failure.defect : failure;
     if (err instanceof Error) {
       return { name: err.name, message: err.message };
@@ -2710,7 +4089,7 @@ var runOnce = (rootImpl, run2, options) => import_effect34.Effect.gen(function*
     traceOps
   };
 });
-var verifyKernelContract = (root, options) => import_effect34.Effect.gen(function* () {
+var verifyKernelContract = (root, options) => import_effect37.Effect.gen(function* () {
   const rootImpl = resolveRootImpl(root);
   const beforeRun = yield* runOnce(rootImpl, options?.before, {
     diagnosticsLevel: options?.diagnosticsLevel,
@@ -2734,7 +4113,7 @@ var verifyKernelContract = (root, options) => import_effect34.Effect.gen(functio
 });
 
 // src/Kernel.ts
-var import_effect36 = require("effect");
+var import_effect39 = require("effect");
 
 // src/internal/runtime/core/FullCutoverGate.ts
 var CutoverCoverageMatrix = {
@@ -2753,7 +4132,7 @@ var parseFallbackServiceIds = (overridesApplied) => {
     const serviceId = entry.slice(colon + 1, eq);
     if (serviceId.length > 0) out.add(serviceId);
   }
-  return Array.from(out).sort((a, b) => a.localeCompare(b));
+  return Array.from(out).sort();
 };
 var collectMissingServiceIds = (args) => {
   const bindingByServiceId = /* @__PURE__ */ new Map();
@@ -2809,8 +4188,8 @@ var evaluateFullCutoverGate = (args) => {
 };
 
 // src/internal/runtime/core/RuntimeServiceBuiltins.ts
-var import_effect35 = require("effect");
-var RuntimeServiceBuiltinsTag = class extends import_effect35.Context.Tag("@logixjs/core/RuntimeServiceBuiltins")() {
+var import_effect38 = require("effect");
+var RuntimeServiceBuiltinsTag = class extends import_effect38.Context.Tag("@logixjs/core/RuntimeServiceBuiltins")() {
 };
 
 // src/Kernel.ts
@@ -2829,12 +4208,12 @@ var getKernelImplementationRef2 = getKernelImplementationRef;
 
 // src/Reflection.ts
 var resolveRootImpl2 = (root) => root?._tag === "ModuleImpl" ? root : root?.impl;
-var isRecord5 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isRecord7 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 var stableJson = (value) => JSON.stringify(value) ?? "";
 var diffMetaKeys = (before, after) => {
-  const b = isRecord5(before) ? before : {};
-  const a = isRecord5(after) ? after : {};
-  const keys = Array.from(/* @__PURE__ */ new Set([...Object.keys(b), ...Object.keys(a)])).sort((x, y) => x.localeCompare(y));
+  const b = isRecord7(before) ? before : {};
+  const a = isRecord7(after) ? after : {};
+  const keys = Array.from(/* @__PURE__ */ new Set([...Object.keys(b), ...Object.keys(a)])).sort();
   const changed = [];
   for (const k of keys) {
     if (stableJson(b[k]) !== stableJson(a[k])) {
@@ -2858,7 +4237,7 @@ var tryAllowlistKernelContractDiff = (args) => {
     }
     const before = change.before;
     const after = change.after;
-    if (!isRecord5(before) || !isRecord5(after)) {
+    if (!isRecord7(before) || !isRecord7(after)) {
       return { verdict: "FAIL", allowedDiffs: [] };
     }
     const anchorBefore = before.anchor;
@@ -2887,14 +4266,15 @@ var tryAllowlistKernelContractDiff = (args) => {
     metaKey,
     count,
     ...allow.get(metaKey) ? { reason: allow.get(metaKey) } : {}
-  })).sort((a, b) => a.metaKey.localeCompare(b.metaKey));
+  })).sort((a, b) => a.metaKey < b.metaKey ? -1 : a.metaKey > b.metaKey ? 1 : 0);
   return { verdict: "PASS", allowedDiffs };
 };
 var extractManifest2 = (module2, options) => extractManifest(module2, options);
 var diffManifest2 = (before, after, options) => diffManifest(before, after, options);
 var exportStaticIr3 = (module2) => exportStaticIr2(module2);
+var exportControlSurface2 = (modules, options) => exportControlSurface(modules, options);
 var verifyKernelContract2 = (module2, options) => verifyKernelContract(module2, options);
-var verifyFullCutoverGate = (module2, options) => import_effect37.Effect.gen(function* () {
+var verifyFullCutoverGate = (module2, options) => import_effect40.Effect.gen(function* () {
   const rootImpl = resolveRootImpl2(module2);
   const contractDiagnosticsLevel = options?.diagnosticsLevel === "off" ? "light" : options?.diagnosticsLevel ?? "light";
   const contract = yield* verifyKernelContract(module2, {
@@ -2906,9 +4286,9 @@ var verifyFullCutoverGate = (module2, options) => import_effect37.Effect.gen(fun
   const contractAllowed = tryAllowlistKernelContractDiff({ result: contract, allowlist });
   const contractVerdict = allowlistEnabled ? contractAllowed.verdict : contract.verdict;
   const gateRun = options?.gateAfter ?? options?.after;
-  const gateProgram = import_effect37.Effect.gen(function* () {
-    const ctx = yield* rootImpl.layer.pipe(import_effect37.Layer.build);
-    const runtime = import_effect37.Context.get(ctx, rootImpl.module);
+  const gateProgram = import_effect40.Effect.gen(function* () {
+    const ctx = yield* rootImpl.layer.pipe(import_effect40.Layer.build);
+    const runtime = import_effect40.Context.get(ctx, rootImpl.module);
     if (gateRun?.interaction) {
       yield* gateRun.interaction(runtime);
     }
@@ -2923,8 +4303,8 @@ var verifyFullCutoverGate = (module2, options) => import_effect37.Effect.gen(fun
     layer: gateRun?.layer,
     runtimeServicesInstanceOverrides: gateRun?.runtimeServicesInstanceOverrides
   });
-  const gateValue = import_effect37.Exit.isSuccess(gateResult.exit) ? gateResult.exit.value : (() => {
-    const msg = import_effect37.Exit.isFailure(gateResult.exit) ? String(gateResult.exit.cause ?? "trial-run failed") : "trial-run failed";
+  const gateValue = import_effect40.Exit.isSuccess(gateResult.exit) ? gateResult.exit.value : (() => {
+    const msg = import_effect40.Exit.isFailure(gateResult.exit) ? String(gateResult.exit.cause ?? "trial-run failed") : "trial-run failed";
     throw new Error(msg);
   })();
   const gate = evaluateFullCutoverGate2({
@@ -2946,6 +4326,7 @@ var verifyFullCutoverGate = (module2, options) => import_effect37.Effect.gen(fun
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   diffManifest,
+  exportControlSurface,
   exportStaticIr,
   extractManifest,
   verifyFullCutoverGate,