@logixjs/core 0.0.1 → 0.0.2

package/dist/Process.d.cts

@@ -1,8 +1,9 @@
 import 'effect';
 import './protocol-g_1897M2.cjs';
-export { D as DiagnosticsLevel, L as LinkConfig, t as LinkHandles, f as ProcessConcurrencyPolicy, l as ProcessControlRequest, h as ProcessDefinition, n as ProcessEffect, g as ProcessErrorPolicy, k as ProcessEvent, b as ProcessIdentity, i as ProcessInstallation, c as ProcessInstanceIdentity, j as ProcessInstanceStatus, o as ProcessMakeDefinition, m as ProcessPlatformEvent, a as ProcessScope, e as ProcessTrigger, d as ProcessTriggerSpec, S as SerializableErrorSummary, s as attachMeta, q as getDefinition, r as getMeta, u as link, p as make } from './Process-mL8fHDSB.cjs';
-import './module-B8CBqIZ_.cjs';
+export { D as DiagnosticsLevel, L as LinkConfig, t as LinkHandles, f as ProcessConcurrencyPolicy, l as ProcessControlRequest, h as ProcessDefinition, n as ProcessEffect, g as ProcessErrorPolicy, k as ProcessEvent, b as ProcessIdentity, i as ProcessInstallation, c as ProcessInstanceIdentity, j as ProcessInstanceStatus, o as ProcessMakeDefinition, m as ProcessPlatformEvent, a as ProcessScope, e as ProcessTrigger, d as ProcessTriggerSpec, S as SerializableErrorSummary, s as attachMeta, q as getDefinition, r as getMeta, u as link, v as linkDeclarative, p as make } from './Process-B55aJMFk.cjs';
+import './module-doenaCsZ.cjs';
+import './ReadQuery-mc0NgrFV.cjs';
 import 'mutative';
 import './Platform-C49Pv956.cjs';
 import './action-DiMDD_0v.cjs';
-import './ReadQuery-SinbStGF.cjs';
+import './ReadQuery-CafjlJQo.cjs';

package/dist/Process.d.ts

@@ -1,8 +1,9 @@
 import 'effect';
 import './protocol-g_1897M2.js';
-export { D as DiagnosticsLevel, L as LinkConfig, t as LinkHandles, f as ProcessConcurrencyPolicy, l as ProcessControlRequest, h as ProcessDefinition, n as ProcessEffect, g as ProcessErrorPolicy, k as ProcessEvent, b as ProcessIdentity, i as ProcessInstallation, c as ProcessInstanceIdentity, j as ProcessInstanceStatus, o as ProcessMakeDefinition, m as ProcessPlatformEvent, a as ProcessScope, e as ProcessTrigger, d as ProcessTriggerSpec, S as SerializableErrorSummary, s as attachMeta, q as getDefinition, r as getMeta, u as link, p as make } from './Process-CM9xbMdP.js';
-import './module-k7m3txak.js';
+export { D as DiagnosticsLevel, L as LinkConfig, t as LinkHandles, f as ProcessConcurrencyPolicy, l as ProcessControlRequest, h as ProcessDefinition, n as ProcessEffect, g as ProcessErrorPolicy, k as ProcessEvent, b as ProcessIdentity, i as ProcessInstallation, c as ProcessInstanceIdentity, j as ProcessInstanceStatus, o as ProcessMakeDefinition, m as ProcessPlatformEvent, a as ProcessScope, e as ProcessTrigger, d as ProcessTriggerSpec, S as SerializableErrorSummary, s as attachMeta, q as getDefinition, r as getMeta, u as link, v as linkDeclarative, p as make } from './Process-DvhFEwUS.js';
+import './module-DqQ1U-Me.js';
+import './ReadQuery-C4vZ8Prc.js';
 import 'mutative';
 import './Platform-C49Pv956.js';
 import './action-DiMDD_0v.js';
-import './ReadQuery-SinbStGF.js';
+import './ReadQuery-CafjlJQo.js';

package/dist/Process.js

@@ -3,40 +3,45 @@ import {
   getDefinition,
   getMeta,
   link,
+  linkDeclarative,
   make
-} from "./chunk-VZB726PE.js";
-import "./chunk-JCXGZRMU.js";
-import "./chunk-JGIWG6SR.js";
-import "./chunk-PYOE4VSI.js";
-import "./chunk-BABLDP24.js";
-import "./chunk-NZJKFF45.js";
-import "./chunk-KP7MUZNX.js";
-import "./chunk-PAYXCY6A.js";
-import "./chunk-ZGDVUPTM.js";
+} from "./chunk-RN26DV2M.js";
+import "./chunk-RQQW3IQC.js";
+import "./chunk-MS77U77X.js";
+import "./chunk-JBKYRTCS.js";
+import "./chunk-KSZQYSEH.js";
+import "./chunk-Y4VRBIS6.js";
+import "./chunk-G7ESIQTI.js";
+import "./chunk-C2UZZQ76.js";
+import "./chunk-5W2V2NVJ.js";
+import "./chunk-EB4RGQO3.js";
 import "./chunk-LEU6UA5J.js";
-import "./chunk-BE3HW4FY.js";
-import "./chunk-ZFLHVFUC.js";
+import "./chunk-34CF6OGE.js";
 import "./chunk-KL5ACTCT.js";
-import "./chunk-AUIR5O6W.js";
+import "./chunk-WWBMC24F.js";
+import "./chunk-3VZYDNXZ.js";
 import "./chunk-BZ2SHDN2.js";
 import "./chunk-YS3AZQ2G.js";
 import "./chunk-M3BFQ7HK.js";
-import "./chunk-IHVBV5C2.js";
-import "./chunk-3RMKLXHX.js";
-import "./chunk-3QMIVH35.js";
-import "./chunk-NQZ2OSGR.js";
-import "./chunk-CW6T36TN.js";
-import "./chunk-DMBALCE2.js";
-import "./chunk-GMPEOUP2.js";
-import "./chunk-OFADUJWJ.js";
-import "./chunk-M7IYCTJV.js";
-import "./chunk-JWOYLO27.js";
+import "./chunk-J3CWXIPV.js";
+import "./chunk-ZTFTABXV.js";
+import "./chunk-KLDVG3SY.js";
+import "./chunk-AQ7L2QZ5.js";
+import "./chunk-53GVPGSM.js";
+import "./chunk-MYKNINNN.js";
+import "./chunk-PVZEMNJY.js";
+import "./chunk-I4LCE5OY.js";
+import "./chunk-ZC7MSQ5U.js";
+import "./chunk-WYJUJV4L.js";
+import "./chunk-M3M7JFAH.js";
+import "./chunk-4MZ7BT3R.js";
 import "./chunk-PZ5AY32C.js";
 export {
   attachMeta,
   getDefinition,
   getMeta,
   link,
+  linkDeclarative,
   make
 };
 //# sourceMappingURL=Process.js.map

package/dist/{ReadQuery-BlMwhe-F.d.ts → ReadQuery-C4vZ8Prc.d.ts}

@@ -1,4 +1,4 @@
-import { R as ReadLane$1, a as ReadProducer$1, E as EqualsKind$1, b as ReadsDigest$1, c as ReadQueryStaticIr$1, d as ReadQuery$2, e as ReadQueryCompiled$1, f as ReadQueryInput$1, i as isReadQuery$1 } from './ReadQuery-SinbStGF.js';
+import { a as ReadQueryInput$1, b as ReadQueryCompiled$1, c as ReadLane$1, d as ReadProducer$1, E as EqualsKind$1, e as ReadsDigest$1, f as ReadQueryStaticIr$1, g as ReadQuery$2, i as isReadQuery$1 } from './ReadQuery-CafjlJQo.js';
 
 type ReadLane = ReadLane$1;
 type ReadProducer = ReadProducer$1;
@@ -27,4 +27,4 @@ declare namespace ReadQuery$1 {
   export { type ReadQuery$1_EqualsKind as EqualsKind, type ReadQuery$1_ReadLane as ReadLane, type ReadQuery$1_ReadProducer as ReadProducer, type ReadQuery$1_ReadQuery as ReadQuery, type ReadQuery$1_ReadQueryCompiled as ReadQueryCompiled, type ReadQuery$1_ReadQueryInput as ReadQueryInput, type ReadQuery$1_ReadQueryStaticIr as ReadQueryStaticIr, type ReadQuery$1_ReadsDigest as ReadsDigest, ReadQuery$1_compile as compile, ReadQuery$1_isReadQuery as isReadQuery, ReadQuery$1_make as make };
 }
 
-export { type EqualsKind as E, ReadQuery$1 as R, type ReadLane as a, type ReadProducer as b, type ReadsDigest as c, type ReadQueryStaticIr as d, type ReadQuery as e, type ReadQueryCompiled as f, type ReadQueryInput as g, compile as h, isReadQuery as i, make as m };
+export { type EqualsKind as E, ReadQuery$1 as R, type ReadQueryInput as a, type ReadQueryCompiled as b, type ReadLane as c, type ReadProducer as d, type ReadsDigest as e, type ReadQueryStaticIr as f, type ReadQuery as g, compile as h, isReadQuery as i, make as m };

package/dist/{ReadQuery-SinbStGF.d.ts → ReadQuery-CafjlJQo.d.cts}

@@ -35,4 +35,4 @@ type ReadQueryInput<S, V> = ((state: S) => V) | ReadQuery<S, V>;
 declare function isReadQuery<S, V>(input: ReadQueryInput<S, V>): input is ReadQuery<S, V>;
 declare function isReadQuery(input: unknown): input is ReadQuery<any, any>;
 
-export { type EqualsKind as E, type ReadLane as R, type ReadProducer as a, type ReadsDigest as b, type ReadQueryStaticIr as c, type ReadQuery as d, type ReadQueryCompiled as e, type ReadQueryInput as f, type ReadQueryFallbackReason as g, isReadQuery as i };
+export { type EqualsKind as E, type ReadQueryFallbackReason as R, type ReadQueryInput as a, type ReadQueryCompiled as b, type ReadLane as c, type ReadProducer as d, type ReadsDigest as e, type ReadQueryStaticIr as f, type ReadQuery as g, isReadQuery as i };

package/dist/{ReadQuery-SinbStGF.d.cts → ReadQuery-CafjlJQo.d.ts}

@@ -35,4 +35,4 @@ type ReadQueryInput<S, V> = ((state: S) => V) | ReadQuery<S, V>;
 declare function isReadQuery<S, V>(input: ReadQueryInput<S, V>): input is ReadQuery<S, V>;
 declare function isReadQuery(input: unknown): input is ReadQuery<any, any>;
 
-export { type EqualsKind as E, type ReadLane as R, type ReadProducer as a, type ReadsDigest as b, type ReadQueryStaticIr as c, type ReadQuery as d, type ReadQueryCompiled as e, type ReadQueryInput as f, type ReadQueryFallbackReason as g, isReadQuery as i };
+export { type EqualsKind as E, type ReadQueryFallbackReason as R, type ReadQueryInput as a, type ReadQueryCompiled as b, type ReadLane as c, type ReadProducer as d, type ReadsDigest as e, type ReadQueryStaticIr as f, type ReadQuery as g, isReadQuery as i };

package/dist/{ReadQuery-CL5XlXts.d.cts → ReadQuery-mc0NgrFV.d.cts}

@@ -1,4 +1,4 @@
-import { R as ReadLane$1, a as ReadProducer$1, E as EqualsKind$1, b as ReadsDigest$1, c as ReadQueryStaticIr$1, d as ReadQuery$2, e as ReadQueryCompiled$1, f as ReadQueryInput$1, i as isReadQuery$1 } from './ReadQuery-SinbStGF.cjs';
+import { a as ReadQueryInput$1, b as ReadQueryCompiled$1, c as ReadLane$1, d as ReadProducer$1, E as EqualsKind$1, e as ReadsDigest$1, f as ReadQueryStaticIr$1, g as ReadQuery$2, i as isReadQuery$1 } from './ReadQuery-CafjlJQo.cjs';
 
 type ReadLane = ReadLane$1;
 type ReadProducer = ReadProducer$1;
@@ -27,4 +27,4 @@ declare namespace ReadQuery$1 {
   export { type ReadQuery$1_EqualsKind as EqualsKind, type ReadQuery$1_ReadLane as ReadLane, type ReadQuery$1_ReadProducer as ReadProducer, type ReadQuery$1_ReadQuery as ReadQuery, type ReadQuery$1_ReadQueryCompiled as ReadQueryCompiled, type ReadQuery$1_ReadQueryInput as ReadQueryInput, type ReadQuery$1_ReadQueryStaticIr as ReadQueryStaticIr, type ReadQuery$1_ReadsDigest as ReadsDigest, ReadQuery$1_compile as compile, ReadQuery$1_isReadQuery as isReadQuery, ReadQuery$1_make as make };
 }
 
-export { type EqualsKind as E, ReadQuery$1 as R, type ReadLane as a, type ReadProducer as b, type ReadsDigest as c, type ReadQueryStaticIr as d, type ReadQuery as e, type ReadQueryCompiled as f, type ReadQueryInput as g, compile as h, isReadQuery as i, make as m };
+export { type EqualsKind as E, ReadQuery$1 as R, type ReadQueryInput as a, type ReadQueryCompiled as b, type ReadLane as c, type ReadProducer as d, type ReadsDigest as e, type ReadQueryStaticIr as f, type ReadQuery as g, compile as h, isReadQuery as i, make as m };

package/dist/ReadQuery.cjs

@@ -38,7 +38,7 @@ var stableStringify = (value) => {
   }
   if (t === "object") {
     const record = value;
-    const keys = Object.keys(record).sort((a, b) => a.localeCompare(b));
+    const keys = Object.keys(record).sort();
     return `{${keys.map((k) => `${JSON.stringify(k)}:${stableStringify(record[k])}`).join(",")}}`;
   }
   return "null";
@@ -67,7 +67,7 @@ var normalizeReads = (reads) => {
     seen.add(key);
     unique.push(r);
   }
-  return unique.slice().sort((a, b) => String(a).localeCompare(String(b)));
+  return unique.slice().sort();
 };
 var toHash32Number = (hex) => Number.parseInt(hex, 16);
 var makeReadsDigest = (reads) => {
@@ -151,7 +151,7 @@ var tryParseSelectorSource = (source) => {
       if (!m) return void 0;
       entries.push([key, m[1]]);
     }
-    entries.sort((a, b) => a[0].localeCompare(b[0]));
+    entries.sort((a, b) => a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0);
     return { kind: "struct", entries };
   }
   return void 0;

package/dist/ReadQuery.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/ReadQuery.ts","../src/internal/digest.ts","../src/internal/runtime/core/ReadQuery.ts"],"sourcesContent":["import * as ReadQueryCore from './internal/runtime/core/ReadQuery.js'\n\nexport type ReadLane = ReadQueryCore.ReadLane\nexport type ReadProducer = ReadQueryCore.ReadProducer\nexport type EqualsKind = ReadQueryCore.EqualsKind\nexport type ReadsDigest = ReadQueryCore.ReadsDigest\n\nexport type ReadQueryStaticIr = ReadQueryCore.ReadQueryStaticIr\n\nexport type ReadQuery<S, V> = ReadQueryCore.ReadQuery<S, V>\nexport type ReadQueryCompiled<S, V> = ReadQueryCore.ReadQueryCompiled<S, V>\nexport type ReadQueryInput<S, V> = ReadQueryCore.ReadQueryInput<S, V>\n\nexport const isReadQuery = ReadQueryCore.isReadQuery\n\nexport const make = ReadQueryCore.make\n\nexport const compile = ReadQueryCore.compile\n","/**\n * internal/digest：\n * - Minimal \"stable digest\" utilities for Runtime / Static IR / Traits, etc.\n * - Goal: stable output across runs/processes while staying lightweight (no extra dependencies).\n *\n * Note: stableStringify does not aim for full JSON equivalence; it only covers the subset needed by this repo:\n * - Stable key ordering (object fields sorted lexicographically).\n * - Non-finite numbers (NaN/±Infinity) degrade to null.\n * - Other non-representable values (undefined/function/symbol, etc.) degrade to null.\n * - undefined inside objects is not omitted; it is encoded as null (differs from JSON.stringify).\n */\n\nexport const stableStringify = (value: unknown): string => {\n  if (value === null) return 'null'\n  const t = typeof value\n  if (t === 'string') return JSON.stringify(value)\n  if (t === 'number') return Number.isFinite(value) ? String(value) : 'null'\n  if (t === 'boolean') return value ? 'true' : 'false'\n\n  if (Array.isArray(value)) {\n    return `[${value.map(stableStringify).join(',')}]`\n  }\n\n  if (t === 'object') {\n    const record = value as Record<string, unknown>\n    const keys = Object.keys(record).sort((a, b) => a.localeCompare(b))\n    return `{${keys.map((k) => `${JSON.stringify(k)}:${stableStringify(record[k])}`).join(',')}}`\n  }\n\n  return 'null'\n}\n\n/**\n * fnv1a32：\n * - 32-bit FNV-1a hash (for short digests); outputs fixed 8-char hex.\n */\nexport const fnv1a32 = (input: string): string => {\n  let hash = 0x811c9dc5\n  for (let i = 0; i < input.length; i++) {\n    hash ^= input.charCodeAt(i)\n    hash = (hash * 0x01000193) >>> 0\n  }\n  return hash.toString(16).padStart(8, '0')\n}\n","import { fnv1a32, stableStringify } from '../../digest.js'\nimport type * as DebugSink from './DebugSink.js'\n\nexport type ReadLane = 'static' | 'dynamic'\n\nexport type ReadProducer = 'aot' | 'jit' | 'manual' | 'dynamic'\n\nexport type ReadQueryFallbackReason = 'missingDeps' | 'unsupportedSyntax' | 'unstableSelectorId'\n\nexport type EqualsKind = 'objectIs' | 'shallowStruct' | 'custom'\n\nexport interface ReadsDigest {\n  readonly count: number\n  readonly hash: number\n}\n\nexport interface ReadQueryStaticIr {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly reads?: ReadonlyArray<string | number>\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly equalsKind: EqualsKind\n}\n\nexport interface ReadQuery<S, V> {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly select: (state: S) => V\n  readonly equalsKind: EqualsKind\n  readonly equals?: (previous: V, next: V) => boolean\n}\n\nexport interface ReadQueryCompiled<S, V> extends ReadQuery<S, V> {\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly staticIr: ReadQueryStaticIr\n}\n\nexport type ReadQueryInput<S, V> = ((state: S) => V) | ReadQuery<S, V>\n\nexport function isReadQuery<S, V>(input: ReadQueryInput<S, V>): input is ReadQuery<S, V>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any> {\n  if (!input || (typeof input !== 'object' && typeof input !== 'function')) return false\n  const maybe = input as any\n  return typeof maybe.selectorId === 'string' && typeof maybe.select === 'function' && Array.isArray(maybe.reads)\n}\n\nconst normalizeReads = (reads: ReadonlyArray<string | number>): ReadonlyArray<string | number> => {\n  const unique: Array<string | number> = []\n  const seen = new Set<string>()\n  for (const r of reads) {\n    const key = typeof r === 'number' ? `n:${r}` : `s:${r}`\n    if (seen.has(key)) continue\n    seen.add(key)\n    unique.push(r)\n  }\n  return unique.slice().sort((a, b) => String(a).localeCompare(String(b)))\n}\n\nconst toHash32Number = (hex: string): number => Number.parseInt(hex, 16)\n\nconst makeReadsDigest = (reads: ReadonlyArray<string | number>): ReadsDigest => {\n  const normalized = normalizeReads(reads)\n  return {\n    count: normalized.length,\n    hash: toHash32Number(fnv1a32(stableStringify(normalized))),\n  }\n}\n\nconst computeSelectorId = (value: unknown): string => `rq_${fnv1a32(stableStringify(value))}`\n\nlet nextUnstableSelectorSeq = 0\nconst unstableSelectorIdByFn = new WeakMap<Function, string>()\n\nconst computeUnstableSelectorId = (selector: Function): string => {\n  const existing = unstableSelectorIdByFn.get(selector)\n  if (existing) return existing\n  nextUnstableSelectorSeq += 1\n  const selectorId = `rq_u${nextUnstableSelectorSeq}`\n  unstableSelectorIdByFn.set(selector, selectorId)\n  return selectorId\n}\n\nconst unwrapParens = (input: string): string => {\n  const trimmed = input.trim()\n  if (trimmed.startsWith('(') && trimmed.endsWith(')')) {\n    const inner = trimmed.slice(1, -1).trim()\n    // Only unwrap the outermost pair of parentheses to avoid accidentally breaking syntax.\n    if (!inner.startsWith('(') || !inner.endsWith(')')) {\n      return inner\n    }\n  }\n  return trimmed\n}\n\nconst extractArrow = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const idx = source.indexOf('=>')\n  if (idx < 0) return undefined\n  const left = source.slice(0, idx).trim()\n  const right = source.slice(idx + 2).trim()\n\n  const paramRaw = unwrapParens(left)\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(paramRaw)) return undefined\n\n  // block body: { return expr }\n  if (right.startsWith('{')) {\n    const m = right.match(/^\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s)\n    if (!m) return undefined\n    return { param: paramRaw, body: m[1]?.trim() ?? '' }\n  }\n\n  return { param: paramRaw, body: right }\n}\n\nconst extractFunctionReturn = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const trimmed = source.trim()\n  const m = trimmed.match(\n    /^function\\s*(?:[A-Za-z_$][A-Za-z0-9_$]*\\s*)?\\(\\s*([A-Za-z_$][A-Za-z0-9_$]*)\\s*\\)\\s*\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s,\n  )\n  if (!m) return undefined\n\n  const param = m[1]?.trim() ?? ''\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(param)) return undefined\n\n  const body = m[2]?.trim() ?? ''\n  if (body.length === 0) return undefined\n\n  return { param, body }\n}\n\ntype ParsedSelector =\n  | { readonly kind: 'path'; readonly path: string }\n  | { readonly kind: 'struct'; readonly entries: ReadonlyArray<readonly [string, string]> }\n\nconst tryParseSelectorSource = (source: string): ParsedSelector | undefined => {\n  const arrowOrFn = extractArrow(source) ?? extractFunctionReturn(source)\n  if (!arrowOrFn) return undefined\n\n  const expr = unwrapParens(arrowOrFn.body).trim().replace(/;$/, '').trim()\n\n  // path: s.a.b\n  {\n    const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n    const m = expr.match(re)\n    if (m) {\n      return { kind: 'path', path: m[1] }\n    }\n  }\n\n  // struct: ({ a: s.a, b: s.b })\n  if (expr.startsWith('{') && expr.endsWith('}')) {\n    const inner = expr.slice(1, -1).trim()\n    if (inner.length === 0) return { kind: 'struct', entries: [] }\n\n    const parts = inner\n      .split(',')\n      .map((p) => p.trim())\n      .filter((p) => p.length > 0)\n\n    const entries: Array<readonly [string, string]> = []\n\n    for (const part of parts) {\n      const idx = part.indexOf(':')\n      if (idx < 0) return undefined\n      const key = part.slice(0, idx).trim()\n      const value = part.slice(idx + 1).trim()\n\n      if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key)) return undefined\n\n      const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n      const m = value.match(re)\n      if (!m) return undefined\n      entries.push([key, m[1]] as const)\n    }\n\n    // Sort entries to ensure a stable selectorId.\n    entries.sort((a, b) => a[0].localeCompare(b[0]))\n    return { kind: 'struct', entries }\n  }\n\n  return undefined\n}\n\ntype ReadQueryStaticTemplate = {\n  readonly selectorId: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly readsDigest: ReadsDigest\n  readonly equalsKind: EqualsKind\n}\n\nconst READ_QUERY_TEMPLATE_CACHE_MAX = 2048\nconst readQueryTemplateByFn = new WeakMap<Function, ReadQueryStaticTemplate>()\nconst readQueryTemplateBySource = new Map<string, ReadQueryStaticTemplate>()\n\nconst lruGet = <K, V>(map: Map<K, V>, key: K): V | undefined => {\n  const value = map.get(key)\n  if (value === undefined) return undefined\n  map.delete(key)\n  map.set(key, value)\n  return value\n}\n\nconst lruSet = <K, V>(map: Map<K, V>, key: K, value: V, maxSize: number) => {\n  if (map.has(key)) map.delete(key)\n  map.set(key, value)\n  if (map.size <= maxSize) return\n  const oldestKey = map.keys().next().value as K | undefined\n  if (oldestKey !== undefined) {\n    map.delete(oldestKey)\n  }\n}\n\nconst safeToString = (fn: Function): string => {\n  try {\n    return fn.toString()\n  } catch {\n    return ''\n  }\n}\n\nexport const make = <S, V>(spec: ReadQuery<S, V>): ReadQuery<S, V> => spec\n\nexport const compile = <S, V>(input: ReadQueryInput<S, V>): ReadQueryCompiled<S, V> => {\n  if (isReadQuery(input)) {\n    const reads = normalizeReads(input.reads)\n    const readsDigest = reads.length > 0 ? makeReadsDigest(reads) : undefined\n\n    const equalsKind = input.equalsKind\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: input.selectorId,\n      debugKey: input.debugKey,\n      lane: 'static',\n      producer: 'manual',\n      reads,\n      readsDigest,\n      equalsKind,\n    }\n\n    return {\n      ...input,\n      reads,\n      lane: 'static',\n      producer: 'manual',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const selector = input\n  const debugKey =\n    (typeof (selector as any)?.debugKey === 'string' && (selector as any).debugKey.length > 0\n      ? (selector as any).debugKey\n      : undefined) ??\n    (typeof (selector as any).name === 'string' && (selector as any).name.length > 0\n      ? (selector as any).name\n      : undefined)\n\n  const declaredReads: ReadonlyArray<string> | undefined = Array.isArray((selector as any)?.fieldPaths)\n    ? ((selector as any).fieldPaths as ReadonlyArray<unknown>).filter((x): x is string => typeof x === 'string')\n    : undefined\n\n  if (declaredReads && declaredReads.length > 0) {\n    const reads = normalizeReads(declaredReads)\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'reads', reads })\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const cachedByFn = readQueryTemplateByFn.get(selector as unknown as Function)\n  if (cachedByFn) {\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedByFn.reads,\n      readsDigest: cachedByFn.readsDigest,\n      equalsKind: cachedByFn.equalsKind,\n    }\n\n    return {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      reads: cachedByFn.reads,\n      select: selector as any,\n      equalsKind: cachedByFn.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedByFn.readsDigest,\n      staticIr,\n    }\n  }\n\n  const srcTrimmed = safeToString(selector as unknown as Function).trim()\n  const cachedBySource = srcTrimmed.length > 0 ? lruGet(readQueryTemplateBySource, srcTrimmed) : undefined\n  if (cachedBySource) {\n    readQueryTemplateByFn.set(selector as unknown as Function, cachedBySource)\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedBySource.reads,\n      readsDigest: cachedBySource.readsDigest,\n      equalsKind: cachedBySource.equalsKind,\n    }\n\n    return {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      reads: cachedBySource.reads,\n      select: selector as any,\n      equalsKind: cachedBySource.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedBySource.readsDigest,\n      staticIr,\n    }\n  }\n\n  const parsed = srcTrimmed.length > 0 ? tryParseSelectorSource(srcTrimmed) : undefined\n\n  if (parsed?.kind === 'path') {\n    const reads = [parsed.path]\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'path', path: parsed.path })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'objectIs' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  if (parsed?.kind === 'struct') {\n    const reads = normalizeReads(parsed.entries.map(([, path]) => path))\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'struct', entries: parsed.entries })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'shallowStruct' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'shallowStruct',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'shallowStruct',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  // Dynamic lane fallback (no stable reads / unsupported subset)\n  const baseFallbackReason: ReadQueryFallbackReason =\n    srcTrimmed.includes('=>') || srcTrimmed.startsWith('function') ? 'unsupportedSyntax' : 'missingDeps'\n\n  const lowDiscriminabilitySource = srcTrimmed.length === 0 || srcTrimmed.includes('[native code]')\n  const fallbackReason: ReadQueryFallbackReason =\n    !debugKey || lowDiscriminabilitySource ? 'unstableSelectorId' : baseFallbackReason\n\n  const selectorId =\n    fallbackReason === 'unstableSelectorId'\n      ? computeUnstableSelectorId(selector as unknown as Function)\n      : computeSelectorId({ kind: 'dynamic', debugKey, src: srcTrimmed })\n  const staticIr: ReadQueryStaticIr = {\n    selectorId,\n    debugKey,\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    equalsKind: 'objectIs',\n  }\n\n  return {\n    selectorId,\n    debugKey,\n    reads: [],\n    select: selector as any,\n    equalsKind: 'objectIs',\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    staticIr,\n  }\n}\n\nexport interface ReadQueryStrictGateConfig {\n  readonly mode: 'off' | 'warn' | 'error'\n  readonly requireStatic?: {\n    readonly selectorIds?: ReadonlyArray<string>\n    readonly modules?: ReadonlyArray<string>\n  }\n  readonly denyFallbackReasons?: ReadonlyArray<ReadQueryFallbackReason>\n}\n\nexport interface ReadQueryStrictGateViolationDetails {\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly fallbackReason: ReadQueryFallbackReason\n  readonly rule: 'denyFallbackReason' | 'requireStatic:global' | 'requireStatic:selectorId' | 'requireStatic:module'\n}\n\nexport interface ReadQueryStrictGateError extends Error {\n  readonly _tag: 'ReadQueryStrictGateError'\n  readonly details: ReadQueryStrictGateViolationDetails\n}\n\nexport type ReadQueryStrictGateDiagnosticEvent = Extract<DebugSink.Event, { readonly type: 'diagnostic' }>\n\nexport type ReadQueryStrictGateDecision =\n  | { readonly verdict: 'PASS' }\n  | {\n      readonly verdict: 'WARN'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n  | {\n      readonly verdict: 'FAIL'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly error: ReadQueryStrictGateError\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n\nconst filterNonEmpty = (values: ReadonlyArray<string> | undefined): ReadonlyArray<string> | undefined => {\n  if (!values || values.length === 0) return undefined\n  const next = values.map((v) => v.trim()).filter((v) => v.length > 0)\n  return next.length > 0 ? next : undefined\n}\n\nconst makeStrictGateDiagnostic = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateDiagnosticEvent => {\n  const severity = args.config.mode === 'warn' ? ('warning' as const) : ('error' as const)\n\n  return {\n    type: 'diagnostic',\n    moduleId: args.details.moduleId,\n    instanceId: args.details.instanceId,\n    txnSeq: args.details.txnSeq,\n    code: 'read_query::strict_gate',\n    severity,\n    message: `ReadQuery strict gate violated: selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    hint:\n      'Fix: make the selector statically compilable (AOT/JIT) or pass an explicit ReadQuery; ' +\n      'or disable/narrow the gate via RuntimeOptions.readQuery.strictGate.requireStatic / denyFallbackReasons.',\n    kind: 'read_query:strict_gate',\n    trigger: {\n      kind: 'read_query',\n      name: 'strict_gate',\n      details: args.details,\n    },\n  }\n}\n\nconst makeStrictGateError = (args: {\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateError =>\n  Object.assign(\n    new Error(\n      `[ReadQueryStrictGateError] selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    ),\n    {\n      _tag: 'ReadQueryStrictGateError' as const,\n      details: args.details,\n    },\n  ) as ReadQueryStrictGateError\n\nexport const evaluateStrictGate = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly compiled: ReadQueryCompiled<any, any>\n}): ReadQueryStrictGateDecision => {\n  if (args.config.mode === 'off') {\n    return { verdict: 'PASS' }\n  }\n\n  if (args.compiled.lane !== 'dynamic') {\n    return { verdict: 'PASS' }\n  }\n\n  const fallbackReason = (args.compiled.fallbackReason ?? 'missingDeps') as ReadQueryFallbackReason\n\n  const denyFallbackReasons = args.config.denyFallbackReasons\n  const denied = !!denyFallbackReasons?.includes(fallbackReason)\n\n  const selectorIds = filterNonEmpty(args.config.requireStatic?.selectorIds)\n  const modules = filterNonEmpty(args.config.requireStatic?.modules)\n  const hasCoverageFilter = !!selectorIds || !!modules\n\n  const matchedSelectorId = !!selectorIds?.includes(args.compiled.selectorId)\n  const matchedModule = !!modules?.includes(args.moduleId)\n  const coveredByRequireStatic = !hasCoverageFilter || matchedSelectorId || matchedModule\n\n  if (!denied && !coveredByRequireStatic) {\n    return { verdict: 'PASS' }\n  }\n\n  const rule: ReadQueryStrictGateViolationDetails['rule'] = denied\n    ? 'denyFallbackReason'\n    : !hasCoverageFilter\n      ? 'requireStatic:global'\n      : matchedSelectorId\n        ? 'requireStatic:selectorId'\n        : 'requireStatic:module'\n\n  const details: ReadQueryStrictGateViolationDetails = {\n    moduleId: args.moduleId,\n    instanceId: args.instanceId,\n    txnSeq: args.txnSeq,\n    selectorId: args.compiled.selectorId,\n    debugKey: args.compiled.debugKey,\n    fallbackReason,\n    rule,\n  }\n\n  const diagnostic = makeStrictGateDiagnostic({ config: args.config, details })\n\n  if (args.config.mode === 'warn') {\n    return { verdict: 'WARN', diagnostic, details }\n  }\n\n  const error = makeStrictGateError({ details })\n  return { verdict: 'FAIL', diagnostic, error, details }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,iBAAAA;AAAA,EAAA,mBAAAC;AAAA,EAAA,YAAAC;AAAA;AAAA;;;ACYO,IAAM,kBAAkB,CAAC,UAA2B;AACzD,MAAI,UAAU,KAAM,QAAO;AAC3B,QAAM,IAAI,OAAO;AACjB,MAAI,MAAM,SAAU,QAAO,KAAK,UAAU,KAAK;AAC/C,MAAI,MAAM,SAAU,QAAO,OAAO,SAAS,KAAK,IAAI,OAAO,KAAK,IAAI;AACpE,MAAI,MAAM,UAAW,QAAO,QAAQ,SAAS;AAE7C,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,IAAI,MAAM,IAAI,eAAe,EAAE,KAAK,GAAG,CAAC;AAAA,EACjD;AAEA,MAAI,MAAM,UAAU;AAClB,UAAM,SAAS;AACf,UAAM,OAAO,OAAO,KAAK,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAClE,WAAO,IAAI,KAAK,IAAI,CAAC,MAAM,GAAG,KAAK,UAAU,CAAC,CAAC,IAAI,gBAAgB,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC;AAAA,EAC5F;AAEA,SAAO;AACT;AAMO,IAAM,UAAU,CAAC,UAA0B;AAChD,MAAI,OAAO;AACX,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,YAAQ,MAAM,WAAW,CAAC;AAC1B,WAAQ,OAAO,aAAgB;AAAA,EACjC;AACA,SAAO,KAAK,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG;AAC1C;;;ACKO,SAAS,YAAY,OAA8C;AACxE,MAAI,CAAC,SAAU,OAAO,UAAU,YAAY,OAAO,UAAU,WAAa,QAAO;AACjF,QAAM,QAAQ;AACd,SAAO,OAAO,MAAM,eAAe,YAAY,OAAO,MAAM,WAAW,cAAc,MAAM,QAAQ,MAAM,KAAK;AAChH;AAEA,IAAM,iBAAiB,CAAC,UAA0E;AAChG,QAAM,SAAiC,CAAC;AACxC,QAAM,OAAO,oBAAI,IAAY;AAC7B,aAAW,KAAK,OAAO;AACrB,UAAM,MAAM,OAAO,MAAM,WAAW,KAAK,CAAC,KAAK,KAAK,CAAC;AACrD,QAAI,KAAK,IAAI,GAAG,EAAG;AACnB,SAAK,IAAI,GAAG;AACZ,WAAO,KAAK,CAAC;AAAA,EACf;AACA,SAAO,OAAO,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,EAAE,cAAc,OAAO,CAAC,CAAC,CAAC;AACzE;AAEA,IAAM,iBAAiB,CAAC,QAAwB,OAAO,SAAS,KAAK,EAAE;AAEvE,IAAM,kBAAkB,CAAC,UAAuD;AAC9E,QAAM,aAAa,eAAe,KAAK;AACvC,SAAO;AAAA,IACL,OAAO,WAAW;AAAA,IAClB,MAAM,eAAe,QAAQ,gBAAgB,UAAU,CAAC,CAAC;AAAA,EAC3D;AACF;AAEA,IAAM,oBAAoB,CAAC,UAA2B,MAAM,QAAQ,gBAAgB,KAAK,CAAC,CAAC;AAE3F,IAAI,0BAA0B;AAC9B,IAAM,yBAAyB,oBAAI,QAA0B;AAE7D,IAAM,4BAA4B,CAAC,aAA+B;AAChE,QAAM,WAAW,uBAAuB,IAAI,QAAQ;AACpD,MAAI,SAAU,QAAO;AACrB,6BAA2B;AAC3B,QAAM,aAAa,OAAO,uBAAuB;AACjD,yBAAuB,IAAI,UAAU,UAAU;AAC/C,SAAO;AACT;AAEA,IAAM,eAAe,CAAC,UAA0B;AAC9C,QAAM,UAAU,MAAM,KAAK;AAC3B,MAAI,QAAQ,WAAW,GAAG,KAAK,QAAQ,SAAS,GAAG,GAAG;AACpD,UAAM,QAAQ,QAAQ,MAAM,GAAG,EAAE,EAAE,KAAK;AAExC,QAAI,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,SAAS,GAAG,GAAG;AAClD,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAEA,IAAM,eAAe,CAAC,WAAkF;AACtG,QAAM,MAAM,OAAO,QAAQ,IAAI;AAC/B,MAAI,MAAM,EAAG,QAAO;AACpB,QAAM,OAAO,OAAO,MAAM,GAAG,GAAG,EAAE,KAAK;AACvC,QAAM,QAAQ,OAAO,MAAM,MAAM,CAAC,EAAE,KAAK;AAEzC,QAAM,WAAW,aAAa,IAAI;AAClC,MAAI,CAAC,6BAA6B,KAAK,QAAQ,EAAG,QAAO;AAGzD,MAAI,MAAM,WAAW,GAAG,GAAG;AACzB,UAAM,IAAI,MAAM,MAAM,kCAAkC;AACxD,QAAI,CAAC,EAAG,QAAO;AACf,WAAO,EAAE,OAAO,UAAU,MAAM,EAAE,CAAC,GAAG,KAAK,KAAK,GAAG;AAAA,EACrD;AAEA,SAAO,EAAE,OAAO,UAAU,MAAM,MAAM;AACxC;AAEA,IAAM,wBAAwB,CAAC,WAAkF;AAC/G,QAAM,UAAU,OAAO,KAAK;AAC5B,QAAM,IAAI,QAAQ;AAAA,IAChB;AAAA,EACF;AACA,MAAI,CAAC,EAAG,QAAO;AAEf,QAAM,QAAQ,EAAE,CAAC,GAAG,KAAK,KAAK;AAC9B,MAAI,CAAC,6BAA6B,KAAK,KAAK,EAAG,QAAO;AAEtD,QAAM,OAAO,EAAE,CAAC,GAAG,KAAK,KAAK;AAC7B,MAAI,KAAK,WAAW,EAAG,QAAO;AAE9B,SAAO,EAAE,OAAO,KAAK;AACvB;AAMA,IAAM,yBAAyB,CAAC,WAA+C;AAC7E,QAAM,YAAY,aAAa,MAAM,KAAK,sBAAsB,MAAM;AACtE,MAAI,CAAC,UAAW,QAAO;AAEvB,QAAM,OAAO,aAAa,UAAU,IAAI,EAAE,KAAK,EAAE,QAAQ,MAAM,EAAE,EAAE,KAAK;AAGxE;AACE,UAAM,KAAK,IAAI,OAAO,IAAI,UAAU,KAAK,4CAA4C;AACrF,UAAM,IAAI,KAAK,MAAM,EAAE;AACvB,QAAI,GAAG;AACL,aAAO,EAAE,MAAM,QAAQ,MAAM,EAAE,CAAC,EAAE;AAAA,IACpC;AAAA,EACF;AAGA,MAAI,KAAK,WAAW,GAAG,KAAK,KAAK,SAAS,GAAG,GAAG;AAC9C,UAAM,QAAQ,KAAK,MAAM,GAAG,EAAE,EAAE,KAAK;AACrC,QAAI,MAAM,WAAW,EAAG,QAAO,EAAE,MAAM,UAAU,SAAS,CAAC,EAAE;AAE7D,UAAM,QAAQ,MACX,MAAM,GAAG,EACT,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EACnB,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;AAE7B,UAAM,UAA4C,CAAC;AAEnD,eAAW,QAAQ,OAAO;AACxB,YAAM,MAAM,KAAK,QAAQ,GAAG;AAC5B,UAAI,MAAM,EAAG,QAAO;AACpB,YAAM,MAAM,KAAK,MAAM,GAAG,GAAG,EAAE,KAAK;AACpC,YAAM,QAAQ,KAAK,MAAM,MAAM,CAAC,EAAE,KAAK;AAEvC,UAAI,CAAC,6BAA6B,KAAK,GAAG,EAAG,QAAO;AAEpD,YAAM,KAAK,IAAI,OAAO,IAAI,UAAU,KAAK,4CAA4C;AACrF,YAAM,IAAI,MAAM,MAAM,EAAE;AACxB,UAAI,CAAC,EAAG,QAAO;AACf,cAAQ,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAU;AAAA,IACnC;AAGA,YAAQ,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;AAC/C,WAAO,EAAE,MAAM,UAAU,QAAQ;AAAA,EACnC;AAEA,SAAO;AACT;AASA,IAAM,gCAAgC;AACtC,IAAM,wBAAwB,oBAAI,QAA2C;AAC7E,IAAM,4BAA4B,oBAAI,IAAqC;AAE3E,IAAM,SAAS,CAAO,KAAgB,QAA0B;AAC9D,QAAM,QAAQ,IAAI,IAAI,GAAG;AACzB,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,OAAO,GAAG;AACd,MAAI,IAAI,KAAK,KAAK;AAClB,SAAO;AACT;AAEA,IAAM,SAAS,CAAO,KAAgB,KAAQ,OAAU,YAAoB;AAC1E,MAAI,IAAI,IAAI,GAAG,EAAG,KAAI,OAAO,GAAG;AAChC,MAAI,IAAI,KAAK,KAAK;AAClB,MAAI,IAAI,QAAQ,QAAS;AACzB,QAAM,YAAY,IAAI,KAAK,EAAE,KAAK,EAAE;AACpC,MAAI,cAAc,QAAW;AAC3B,QAAI,OAAO,SAAS;AAAA,EACtB;AACF;AAEA,IAAM,eAAe,CAAC,OAAyB;AAC7C,MAAI;AACF,WAAO,GAAG,SAAS;AAAA,EACrB,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEO,IAAM,OAAO,CAAO,SAA2C;AAE/D,IAAM,UAAU,CAAO,UAAyD;AACrF,MAAI,YAAY,KAAK,GAAG;AACtB,UAAM,QAAQ,eAAe,MAAM,KAAK;AACxC,UAAM,cAAc,MAAM,SAAS,IAAI,gBAAgB,KAAK,IAAI;AAEhE,UAAM,aAAa,MAAM;AACzB,UAAMC,YAA8B;AAAA,MAClC,YAAY,MAAM;AAAA,MAClB,UAAU,MAAM;AAAA,MAChB,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,WAAO;AAAA,MACL,GAAG;AAAA,MACH;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,WAAW;AACjB,QAAM,YACH,OAAQ,UAAkB,aAAa,YAAa,SAAiB,SAAS,SAAS,IACnF,SAAiB,WAClB,YACH,OAAQ,SAAiB,SAAS,YAAa,SAAiB,KAAK,SAAS,IAC1E,SAAiB,OAClB;AAEN,QAAM,gBAAmD,MAAM,QAAS,UAAkB,UAAU,IAC9F,SAAiB,WAAsC,OAAO,CAAC,MAAmB,OAAO,MAAM,QAAQ,IACzG;AAEJ,MAAI,iBAAiB,cAAc,SAAS,GAAG;AAC7C,UAAM,QAAQ,eAAe,aAAa;AAC1C,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,SAAS,MAAM,CAAC;AAE7D,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAEA,QAAM,aAAa,sBAAsB,IAAI,QAA+B;AAC5E,MAAI,YAAY;AACd,UAAMA,YAA8B;AAAA,MAClC,YAAY,WAAW;AAAA,MACvB;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV,OAAO,WAAW;AAAA,MAClB,aAAa,WAAW;AAAA,MACxB,YAAY,WAAW;AAAA,IACzB;AAEA,WAAO;AAAA,MACL,YAAY,WAAW;AAAA,MACvB;AAAA,MACA,OAAO,WAAW;AAAA,MAClB,QAAQ;AAAA,MACR,YAAY,WAAW;AAAA,MACvB,MAAM;AAAA,MACN,UAAU;AAAA,MACV,aAAa,WAAW;AAAA,MACxB,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,aAAa,aAAa,QAA+B,EAAE,KAAK;AACtE,QAAM,iBAAiB,WAAW,SAAS,IAAI,OAAO,2BAA2B,UAAU,IAAI;AAC/F,MAAI,gBAAgB;AAClB,0BAAsB,IAAI,UAAiC,cAAc;AACzE,UAAMA,YAA8B;AAAA,MAClC,YAAY,eAAe;AAAA,MAC3B;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV,OAAO,eAAe;AAAA,MACtB,aAAa,eAAe;AAAA,MAC5B,YAAY,eAAe;AAAA,IAC7B;AAEA,WAAO;AAAA,MACL,YAAY,eAAe;AAAA,MAC3B;AAAA,MACA,OAAO,eAAe;AAAA,MACtB,QAAQ;AAAA,MACR,YAAY,eAAe;AAAA,MAC3B,MAAM;AAAA,MACN,UAAU;AAAA,MACV,aAAa,eAAe;AAAA,MAC5B,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,SAAS,WAAW,SAAS,IAAI,uBAAuB,UAAU,IAAI;AAE5E,MAAI,QAAQ,SAAS,QAAQ;AAC3B,UAAM,QAAQ,CAAC,OAAO,IAAI;AAC1B,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,QAAQ,MAAM,OAAO,KAAK,CAAC;AACxE,UAAM,WAAoC,EAAE,YAAAA,aAAY,OAAO,aAAa,YAAY,WAAW;AACnG,0BAAsB,IAAI,UAAiC,QAAQ;AACnE,WAAO,2BAA2B,YAAY,UAAU,6BAA6B;AAErF,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAEA,MAAI,QAAQ,SAAS,UAAU;AAC7B,UAAM,QAAQ,eAAe,OAAO,QAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,MAAM,IAAI,CAAC;AACnE,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,UAAU,SAAS,OAAO,QAAQ,CAAC;AAChF,UAAM,WAAoC,EAAE,YAAAA,aAAY,OAAO,aAAa,YAAY,gBAAgB;AACxG,0BAAsB,IAAI,UAAiC,QAAQ;AACnE,WAAO,2BAA2B,YAAY,UAAU,6BAA6B;AAErF,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAGA,QAAM,qBACJ,WAAW,SAAS,IAAI,KAAK,WAAW,WAAW,UAAU,IAAI,sBAAsB;AAEzF,QAAM,4BAA4B,WAAW,WAAW,KAAK,WAAW,SAAS,eAAe;AAChG,QAAM,iBACJ,CAAC,YAAY,4BAA4B,uBAAuB;AAElE,QAAM,aACJ,mBAAmB,uBACf,0BAA0B,QAA+B,IACzD,kBAAkB,EAAE,MAAM,WAAW,UAAU,KAAK,WAAW,CAAC;AACtE,QAAM,WAA8B;AAAA,IAClC;AAAA,IACA;AAAA,IACA,MAAM;AAAA,IACN,UAAU;AAAA,IACV;AAAA,IACA,YAAY;AAAA,EACd;AAEA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA,OAAO,CAAC;AAAA,IACR,QAAQ;AAAA,IACR,YAAY;AAAA,IACZ,MAAM;AAAA,IACN,UAAU;AAAA,IACV;AAAA,IACA;AAAA,EACF;AACF;;;AF/aO,IAAME,eAA4B;AAElC,IAAMC,QAAqB;AAE3B,IAAMC,WAAwB;","names":["compile","isReadQuery","make","staticIr","selectorId","isReadQuery","make","compile"]}
+{"version":3,"sources":["../src/ReadQuery.ts","../src/internal/digest.ts","../src/internal/runtime/core/ReadQuery.ts"],"sourcesContent":["import * as ReadQueryCore from './internal/runtime/core/ReadQuery.js'\n\nexport type ReadLane = ReadQueryCore.ReadLane\nexport type ReadProducer = ReadQueryCore.ReadProducer\nexport type EqualsKind = ReadQueryCore.EqualsKind\nexport type ReadsDigest = ReadQueryCore.ReadsDigest\n\nexport type ReadQueryStaticIr = ReadQueryCore.ReadQueryStaticIr\n\nexport type ReadQuery<S, V> = ReadQueryCore.ReadQuery<S, V>\nexport type ReadQueryCompiled<S, V> = ReadQueryCore.ReadQueryCompiled<S, V>\nexport type ReadQueryInput<S, V> = ReadQueryCore.ReadQueryInput<S, V>\n\nexport const isReadQuery = ReadQueryCore.isReadQuery\n\nexport const make = ReadQueryCore.make\n\nexport const compile = ReadQueryCore.compile\n","/**\n * internal/digest：\n * - Minimal \"stable digest\" utilities for Runtime / Static IR / Traits, etc.\n * - Goal: stable output across runs/processes while staying lightweight (no extra dependencies).\n *\n * Note: stableStringify does not aim for full JSON equivalence; it only covers the subset needed by this repo:\n * - Stable key ordering (object fields sorted lexicographically).\n * - Non-finite numbers (NaN/±Infinity) degrade to null.\n * - Other non-representable values (undefined/function/symbol, etc.) degrade to null.\n * - undefined inside objects is not omitted; it is encoded as null (differs from JSON.stringify).\n */\n\nexport const stableStringify = (value: unknown): string => {\n  if (value === null) return 'null'\n  const t = typeof value\n  if (t === 'string') return JSON.stringify(value)\n  if (t === 'number') return Number.isFinite(value) ? String(value) : 'null'\n  if (t === 'boolean') return value ? 'true' : 'false'\n\n  if (Array.isArray(value)) {\n    return `[${value.map(stableStringify).join(',')}]`\n  }\n\n  if (t === 'object') {\n    const record = value as Record<string, unknown>\n    const keys = Object.keys(record).sort()\n    return `{${keys.map((k) => `${JSON.stringify(k)}:${stableStringify(record[k])}`).join(',')}}`\n  }\n\n  return 'null'\n}\n\n/**\n * fnv1a32：\n * - 32-bit FNV-1a hash (for short digests); outputs fixed 8-char hex.\n */\nexport const fnv1a32 = (input: string): string => {\n  let hash = 0x811c9dc5\n  for (let i = 0; i < input.length; i++) {\n    hash ^= input.charCodeAt(i)\n    hash = (hash * 0x01000193) >>> 0\n  }\n  return hash.toString(16).padStart(8, '0')\n}\n","import { fnv1a32, stableStringify } from '../../digest.js'\nimport type * as DebugSink from './DebugSink.js'\n\nexport type ReadLane = 'static' | 'dynamic'\n\nexport type ReadProducer = 'aot' | 'jit' | 'manual' | 'dynamic'\n\nexport type ReadQueryFallbackReason = 'missingDeps' | 'unsupportedSyntax' | 'unstableSelectorId'\n\nexport type EqualsKind = 'objectIs' | 'shallowStruct' | 'custom'\n\nexport interface ReadsDigest {\n  readonly count: number\n  readonly hash: number\n}\n\nexport interface ReadQueryStaticIr {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly reads?: ReadonlyArray<string | number>\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly equalsKind: EqualsKind\n}\n\nexport interface ReadQuery<S, V> {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly select: (state: S) => V\n  readonly equalsKind: EqualsKind\n  readonly equals?: (previous: V, next: V) => boolean\n}\n\nexport interface ReadQueryCompiled<S, V> extends ReadQuery<S, V> {\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly staticIr: ReadQueryStaticIr\n}\n\nexport type ReadQueryInput<S, V> = ((state: S) => V) | ReadQuery<S, V>\n\nexport function isReadQuery<S, V>(input: ReadQueryInput<S, V>): input is ReadQuery<S, V>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any> {\n  if (!input || (typeof input !== 'object' && typeof input !== 'function')) return false\n  const maybe = input as any\n  return typeof maybe.selectorId === 'string' && typeof maybe.select === 'function' && Array.isArray(maybe.reads)\n}\n\nconst normalizeReads = (reads: ReadonlyArray<string | number>): ReadonlyArray<string | number> => {\n  const unique: Array<string | number> = []\n  const seen = new Set<string>()\n  for (const r of reads) {\n    const key = typeof r === 'number' ? `n:${r}` : `s:${r}`\n    if (seen.has(key)) continue\n    seen.add(key)\n    unique.push(r)\n  }\n  return unique.slice().sort()\n}\n\nconst toHash32Number = (hex: string): number => Number.parseInt(hex, 16)\n\nconst makeReadsDigest = (reads: ReadonlyArray<string | number>): ReadsDigest => {\n  const normalized = normalizeReads(reads)\n  return {\n    count: normalized.length,\n    hash: toHash32Number(fnv1a32(stableStringify(normalized))),\n  }\n}\n\nconst computeSelectorId = (value: unknown): string => `rq_${fnv1a32(stableStringify(value))}`\n\nlet nextUnstableSelectorSeq = 0\nconst unstableSelectorIdByFn = new WeakMap<Function, string>()\n\nconst computeUnstableSelectorId = (selector: Function): string => {\n  const existing = unstableSelectorIdByFn.get(selector)\n  if (existing) return existing\n  nextUnstableSelectorSeq += 1\n  const selectorId = `rq_u${nextUnstableSelectorSeq}`\n  unstableSelectorIdByFn.set(selector, selectorId)\n  return selectorId\n}\n\nconst unwrapParens = (input: string): string => {\n  const trimmed = input.trim()\n  if (trimmed.startsWith('(') && trimmed.endsWith(')')) {\n    const inner = trimmed.slice(1, -1).trim()\n    // Only unwrap the outermost pair of parentheses to avoid accidentally breaking syntax.\n    if (!inner.startsWith('(') || !inner.endsWith(')')) {\n      return inner\n    }\n  }\n  return trimmed\n}\n\nconst extractArrow = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const idx = source.indexOf('=>')\n  if (idx < 0) return undefined\n  const left = source.slice(0, idx).trim()\n  const right = source.slice(idx + 2).trim()\n\n  const paramRaw = unwrapParens(left)\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(paramRaw)) return undefined\n\n  // block body: { return expr }\n  if (right.startsWith('{')) {\n    const m = right.match(/^\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s)\n    if (!m) return undefined\n    return { param: paramRaw, body: m[1]?.trim() ?? '' }\n  }\n\n  return { param: paramRaw, body: right }\n}\n\nconst extractFunctionReturn = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const trimmed = source.trim()\n  const m = trimmed.match(\n    /^function\\s*(?:[A-Za-z_$][A-Za-z0-9_$]*\\s*)?\\(\\s*([A-Za-z_$][A-Za-z0-9_$]*)\\s*\\)\\s*\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s,\n  )\n  if (!m) return undefined\n\n  const param = m[1]?.trim() ?? ''\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(param)) return undefined\n\n  const body = m[2]?.trim() ?? ''\n  if (body.length === 0) return undefined\n\n  return { param, body }\n}\n\ntype ParsedSelector =\n  | { readonly kind: 'path'; readonly path: string }\n  | { readonly kind: 'struct'; readonly entries: ReadonlyArray<readonly [string, string]> }\n\nconst tryParseSelectorSource = (source: string): ParsedSelector | undefined => {\n  const arrowOrFn = extractArrow(source) ?? extractFunctionReturn(source)\n  if (!arrowOrFn) return undefined\n\n  const expr = unwrapParens(arrowOrFn.body).trim().replace(/;$/, '').trim()\n\n  // path: s.a.b\n  {\n    const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n    const m = expr.match(re)\n    if (m) {\n      return { kind: 'path', path: m[1] }\n    }\n  }\n\n  // struct: ({ a: s.a, b: s.b })\n  if (expr.startsWith('{') && expr.endsWith('}')) {\n    const inner = expr.slice(1, -1).trim()\n    if (inner.length === 0) return { kind: 'struct', entries: [] }\n\n    const parts = inner\n      .split(',')\n      .map((p) => p.trim())\n      .filter((p) => p.length > 0)\n\n    const entries: Array<readonly [string, string]> = []\n\n    for (const part of parts) {\n      const idx = part.indexOf(':')\n      if (idx < 0) return undefined\n      const key = part.slice(0, idx).trim()\n      const value = part.slice(idx + 1).trim()\n\n      if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key)) return undefined\n\n      const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n      const m = value.match(re)\n      if (!m) return undefined\n      entries.push([key, m[1]] as const)\n    }\n\n    // Sort entries to ensure a stable selectorId.\n    entries.sort((a, b) => (a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0))\n    return { kind: 'struct', entries }\n  }\n\n  return undefined\n}\n\ntype ReadQueryStaticTemplate = {\n  readonly selectorId: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly readsDigest: ReadsDigest\n  readonly equalsKind: EqualsKind\n}\n\nconst READ_QUERY_TEMPLATE_CACHE_MAX = 2048\nconst readQueryTemplateByFn = new WeakMap<Function, ReadQueryStaticTemplate>()\nconst readQueryTemplateBySource = new Map<string, ReadQueryStaticTemplate>()\n\nconst lruGet = <K, V>(map: Map<K, V>, key: K): V | undefined => {\n  const value = map.get(key)\n  if (value === undefined) return undefined\n  map.delete(key)\n  map.set(key, value)\n  return value\n}\n\nconst lruSet = <K, V>(map: Map<K, V>, key: K, value: V, maxSize: number) => {\n  if (map.has(key)) map.delete(key)\n  map.set(key, value)\n  if (map.size <= maxSize) return\n  const oldestKey = map.keys().next().value as K | undefined\n  if (oldestKey !== undefined) {\n    map.delete(oldestKey)\n  }\n}\n\nconst safeToString = (fn: Function): string => {\n  try {\n    return fn.toString()\n  } catch {\n    return ''\n  }\n}\n\nexport const make = <S, V>(spec: ReadQuery<S, V>): ReadQuery<S, V> => spec\n\nexport const compile = <S, V>(input: ReadQueryInput<S, V>): ReadQueryCompiled<S, V> => {\n  if (isReadQuery(input)) {\n    const reads = normalizeReads(input.reads)\n    const readsDigest = reads.length > 0 ? makeReadsDigest(reads) : undefined\n\n    const equalsKind = input.equalsKind\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: input.selectorId,\n      debugKey: input.debugKey,\n      lane: 'static',\n      producer: 'manual',\n      reads,\n      readsDigest,\n      equalsKind,\n    }\n\n    return {\n      ...input,\n      reads,\n      lane: 'static',\n      producer: 'manual',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const selector = input\n  const debugKey =\n    (typeof (selector as any)?.debugKey === 'string' && (selector as any).debugKey.length > 0\n      ? (selector as any).debugKey\n      : undefined) ??\n    (typeof (selector as any).name === 'string' && (selector as any).name.length > 0\n      ? (selector as any).name\n      : undefined)\n\n  const declaredReads: ReadonlyArray<string> | undefined = Array.isArray((selector as any)?.fieldPaths)\n    ? ((selector as any).fieldPaths as ReadonlyArray<unknown>).filter((x): x is string => typeof x === 'string')\n    : undefined\n\n  if (declaredReads && declaredReads.length > 0) {\n    const reads = normalizeReads(declaredReads)\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'reads', reads })\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const cachedByFn = readQueryTemplateByFn.get(selector as unknown as Function)\n  if (cachedByFn) {\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedByFn.reads,\n      readsDigest: cachedByFn.readsDigest,\n      equalsKind: cachedByFn.equalsKind,\n    }\n\n    return {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      reads: cachedByFn.reads,\n      select: selector as any,\n      equalsKind: cachedByFn.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedByFn.readsDigest,\n      staticIr,\n    }\n  }\n\n  const srcTrimmed = safeToString(selector as unknown as Function).trim()\n  const cachedBySource = srcTrimmed.length > 0 ? lruGet(readQueryTemplateBySource, srcTrimmed) : undefined\n  if (cachedBySource) {\n    readQueryTemplateByFn.set(selector as unknown as Function, cachedBySource)\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedBySource.reads,\n      readsDigest: cachedBySource.readsDigest,\n      equalsKind: cachedBySource.equalsKind,\n    }\n\n    return {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      reads: cachedBySource.reads,\n      select: selector as any,\n      equalsKind: cachedBySource.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedBySource.readsDigest,\n      staticIr,\n    }\n  }\n\n  const parsed = srcTrimmed.length > 0 ? tryParseSelectorSource(srcTrimmed) : undefined\n\n  if (parsed?.kind === 'path') {\n    const reads = [parsed.path]\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'path', path: parsed.path })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'objectIs' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  if (parsed?.kind === 'struct') {\n    const reads = normalizeReads(parsed.entries.map(([, path]) => path))\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'struct', entries: parsed.entries })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'shallowStruct' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'shallowStruct',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'shallowStruct',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  // Dynamic lane fallback (no stable reads / unsupported subset)\n  const baseFallbackReason: ReadQueryFallbackReason =\n    srcTrimmed.includes('=>') || srcTrimmed.startsWith('function') ? 'unsupportedSyntax' : 'missingDeps'\n\n  const lowDiscriminabilitySource = srcTrimmed.length === 0 || srcTrimmed.includes('[native code]')\n  const fallbackReason: ReadQueryFallbackReason =\n    !debugKey || lowDiscriminabilitySource ? 'unstableSelectorId' : baseFallbackReason\n\n  const selectorId =\n    fallbackReason === 'unstableSelectorId'\n      ? computeUnstableSelectorId(selector as unknown as Function)\n      : computeSelectorId({ kind: 'dynamic', debugKey, src: srcTrimmed })\n  const staticIr: ReadQueryStaticIr = {\n    selectorId,\n    debugKey,\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    equalsKind: 'objectIs',\n  }\n\n  return {\n    selectorId,\n    debugKey,\n    reads: [],\n    select: selector as any,\n    equalsKind: 'objectIs',\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    staticIr,\n  }\n}\n\nexport interface ReadQueryStrictGateConfig {\n  readonly mode: 'off' | 'warn' | 'error'\n  readonly requireStatic?: {\n    readonly selectorIds?: ReadonlyArray<string>\n    readonly modules?: ReadonlyArray<string>\n  }\n  readonly denyFallbackReasons?: ReadonlyArray<ReadQueryFallbackReason>\n}\n\nexport interface ReadQueryStrictGateViolationDetails {\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly fallbackReason: ReadQueryFallbackReason\n  readonly rule: 'denyFallbackReason' | 'requireStatic:global' | 'requireStatic:selectorId' | 'requireStatic:module'\n}\n\nexport interface ReadQueryStrictGateError extends Error {\n  readonly _tag: 'ReadQueryStrictGateError'\n  readonly details: ReadQueryStrictGateViolationDetails\n}\n\nexport type ReadQueryStrictGateDiagnosticEvent = Extract<DebugSink.Event, { readonly type: 'diagnostic' }>\n\nexport type ReadQueryStrictGateDecision =\n  | { readonly verdict: 'PASS' }\n  | {\n      readonly verdict: 'WARN'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n  | {\n      readonly verdict: 'FAIL'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly error: ReadQueryStrictGateError\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n\nconst filterNonEmpty = (values: ReadonlyArray<string> | undefined): ReadonlyArray<string> | undefined => {\n  if (!values || values.length === 0) return undefined\n  const next = values.map((v) => v.trim()).filter((v) => v.length > 0)\n  return next.length > 0 ? next : undefined\n}\n\nconst makeStrictGateDiagnostic = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateDiagnosticEvent => {\n  const severity = args.config.mode === 'warn' ? ('warning' as const) : ('error' as const)\n\n  return {\n    type: 'diagnostic',\n    moduleId: args.details.moduleId,\n    instanceId: args.details.instanceId,\n    txnSeq: args.details.txnSeq,\n    code: 'read_query::strict_gate',\n    severity,\n    message: `ReadQuery strict gate violated: selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    hint:\n      'Fix: make the selector statically compilable (AOT/JIT) or pass an explicit ReadQuery; ' +\n      'or disable/narrow the gate via RuntimeOptions.readQuery.strictGate.requireStatic / denyFallbackReasons.',\n    kind: 'read_query:strict_gate',\n    trigger: {\n      kind: 'read_query',\n      name: 'strict_gate',\n      details: args.details,\n    },\n  }\n}\n\nconst makeStrictGateError = (args: {\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateError =>\n  Object.assign(\n    new Error(\n      `[ReadQueryStrictGateError] selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    ),\n    {\n      _tag: 'ReadQueryStrictGateError' as const,\n      details: args.details,\n    },\n  ) as ReadQueryStrictGateError\n\nexport const evaluateStrictGate = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly compiled: ReadQueryCompiled<any, any>\n}): ReadQueryStrictGateDecision => {\n  if (args.config.mode === 'off') {\n    return { verdict: 'PASS' }\n  }\n\n  if (args.compiled.lane !== 'dynamic') {\n    return { verdict: 'PASS' }\n  }\n\n  const fallbackReason = (args.compiled.fallbackReason ?? 'missingDeps') as ReadQueryFallbackReason\n\n  const denyFallbackReasons = args.config.denyFallbackReasons\n  const denied = !!denyFallbackReasons?.includes(fallbackReason)\n\n  const selectorIds = filterNonEmpty(args.config.requireStatic?.selectorIds)\n  const modules = filterNonEmpty(args.config.requireStatic?.modules)\n  const hasCoverageFilter = !!selectorIds || !!modules\n\n  const matchedSelectorId = !!selectorIds?.includes(args.compiled.selectorId)\n  const matchedModule = !!modules?.includes(args.moduleId)\n  const coveredByRequireStatic = !hasCoverageFilter || matchedSelectorId || matchedModule\n\n  if (!denied && !coveredByRequireStatic) {\n    return { verdict: 'PASS' }\n  }\n\n  const rule: ReadQueryStrictGateViolationDetails['rule'] = denied\n    ? 'denyFallbackReason'\n    : !hasCoverageFilter\n      ? 'requireStatic:global'\n      : matchedSelectorId\n        ? 'requireStatic:selectorId'\n        : 'requireStatic:module'\n\n  const details: ReadQueryStrictGateViolationDetails = {\n    moduleId: args.moduleId,\n    instanceId: args.instanceId,\n    txnSeq: args.txnSeq,\n    selectorId: args.compiled.selectorId,\n    debugKey: args.compiled.debugKey,\n    fallbackReason,\n    rule,\n  }\n\n  const diagnostic = makeStrictGateDiagnostic({ config: args.config, details })\n\n  if (args.config.mode === 'warn') {\n    return { verdict: 'WARN', diagnostic, details }\n  }\n\n  const error = makeStrictGateError({ details })\n  return { verdict: 'FAIL', diagnostic, error, details }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,iBAAAA;AAAA,EAAA,mBAAAC;AAAA,EAAA,YAAAC;AAAA;AAAA;;;ACYO,IAAM,kBAAkB,CAAC,UAA2B;AACzD,MAAI,UAAU,KAAM,QAAO;AAC3B,QAAM,IAAI,OAAO;AACjB,MAAI,MAAM,SAAU,QAAO,KAAK,UAAU,KAAK;AAC/C,MAAI,MAAM,SAAU,QAAO,OAAO,SAAS,KAAK,IAAI,OAAO,KAAK,IAAI;AACpE,MAAI,MAAM,UAAW,QAAO,QAAQ,SAAS;AAE7C,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,IAAI,MAAM,IAAI,eAAe,EAAE,KAAK,GAAG,CAAC;AAAA,EACjD;AAEA,MAAI,MAAM,UAAU;AAClB,UAAM,SAAS;AACf,UAAM,OAAO,OAAO,KAAK,MAAM,EAAE,KAAK;AACtC,WAAO,IAAI,KAAK,IAAI,CAAC,MAAM,GAAG,KAAK,UAAU,CAAC,CAAC,IAAI,gBAAgB,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC;AAAA,EAC5F;AAEA,SAAO;AACT;AAMO,IAAM,UAAU,CAAC,UAA0B;AAChD,MAAI,OAAO;AACX,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,YAAQ,MAAM,WAAW,CAAC;AAC1B,WAAQ,OAAO,aAAgB;AAAA,EACjC;AACA,SAAO,KAAK,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG;AAC1C;;;ACKO,SAAS,YAAY,OAA8C;AACxE,MAAI,CAAC,SAAU,OAAO,UAAU,YAAY,OAAO,UAAU,WAAa,QAAO;AACjF,QAAM,QAAQ;AACd,SAAO,OAAO,MAAM,eAAe,YAAY,OAAO,MAAM,WAAW,cAAc,MAAM,QAAQ,MAAM,KAAK;AAChH;AAEA,IAAM,iBAAiB,CAAC,UAA0E;AAChG,QAAM,SAAiC,CAAC;AACxC,QAAM,OAAO,oBAAI,IAAY;AAC7B,aAAW,KAAK,OAAO;AACrB,UAAM,MAAM,OAAO,MAAM,WAAW,KAAK,CAAC,KAAK,KAAK,CAAC;AACrD,QAAI,KAAK,IAAI,GAAG,EAAG;AACnB,SAAK,IAAI,GAAG;AACZ,WAAO,KAAK,CAAC;AAAA,EACf;AACA,SAAO,OAAO,MAAM,EAAE,KAAK;AAC7B;AAEA,IAAM,iBAAiB,CAAC,QAAwB,OAAO,SAAS,KAAK,EAAE;AAEvE,IAAM,kBAAkB,CAAC,UAAuD;AAC9E,QAAM,aAAa,eAAe,KAAK;AACvC,SAAO;AAAA,IACL,OAAO,WAAW;AAAA,IAClB,MAAM,eAAe,QAAQ,gBAAgB,UAAU,CAAC,CAAC;AAAA,EAC3D;AACF;AAEA,IAAM,oBAAoB,CAAC,UAA2B,MAAM,QAAQ,gBAAgB,KAAK,CAAC,CAAC;AAE3F,IAAI,0BAA0B;AAC9B,IAAM,yBAAyB,oBAAI,QAA0B;AAE7D,IAAM,4BAA4B,CAAC,aAA+B;AAChE,QAAM,WAAW,uBAAuB,IAAI,QAAQ;AACpD,MAAI,SAAU,QAAO;AACrB,6BAA2B;AAC3B,QAAM,aAAa,OAAO,uBAAuB;AACjD,yBAAuB,IAAI,UAAU,UAAU;AAC/C,SAAO;AACT;AAEA,IAAM,eAAe,CAAC,UAA0B;AAC9C,QAAM,UAAU,MAAM,KAAK;AAC3B,MAAI,QAAQ,WAAW,GAAG,KAAK,QAAQ,SAAS,GAAG,GAAG;AACpD,UAAM,QAAQ,QAAQ,MAAM,GAAG,EAAE,EAAE,KAAK;AAExC,QAAI,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,SAAS,GAAG,GAAG;AAClD,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAEA,IAAM,eAAe,CAAC,WAAkF;AACtG,QAAM,MAAM,OAAO,QAAQ,IAAI;AAC/B,MAAI,MAAM,EAAG,QAAO;AACpB,QAAM,OAAO,OAAO,MAAM,GAAG,GAAG,EAAE,KAAK;AACvC,QAAM,QAAQ,OAAO,MAAM,MAAM,CAAC,EAAE,KAAK;AAEzC,QAAM,WAAW,aAAa,IAAI;AAClC,MAAI,CAAC,6BAA6B,KAAK,QAAQ,EAAG,QAAO;AAGzD,MAAI,MAAM,WAAW,GAAG,GAAG;AACzB,UAAM,IAAI,MAAM,MAAM,kCAAkC;AACxD,QAAI,CAAC,EAAG,QAAO;AACf,WAAO,EAAE,OAAO,UAAU,MAAM,EAAE,CAAC,GAAG,KAAK,KAAK,GAAG;AAAA,EACrD;AAEA,SAAO,EAAE,OAAO,UAAU,MAAM,MAAM;AACxC;AAEA,IAAM,wBAAwB,CAAC,WAAkF;AAC/G,QAAM,UAAU,OAAO,KAAK;AAC5B,QAAM,IAAI,QAAQ;AAAA,IAChB;AAAA,EACF;AACA,MAAI,CAAC,EAAG,QAAO;AAEf,QAAM,QAAQ,EAAE,CAAC,GAAG,KAAK,KAAK;AAC9B,MAAI,CAAC,6BAA6B,KAAK,KAAK,EAAG,QAAO;AAEtD,QAAM,OAAO,EAAE,CAAC,GAAG,KAAK,KAAK;AAC7B,MAAI,KAAK,WAAW,EAAG,QAAO;AAE9B,SAAO,EAAE,OAAO,KAAK;AACvB;AAMA,IAAM,yBAAyB,CAAC,WAA+C;AAC7E,QAAM,YAAY,aAAa,MAAM,KAAK,sBAAsB,MAAM;AACtE,MAAI,CAAC,UAAW,QAAO;AAEvB,QAAM,OAAO,aAAa,UAAU,IAAI,EAAE,KAAK,EAAE,QAAQ,MAAM,EAAE,EAAE,KAAK;AAGxE;AACE,UAAM,KAAK,IAAI,OAAO,IAAI,UAAU,KAAK,4CAA4C;AACrF,UAAM,IAAI,KAAK,MAAM,EAAE;AACvB,QAAI,GAAG;AACL,aAAO,EAAE,MAAM,QAAQ,MAAM,EAAE,CAAC,EAAE;AAAA,IACpC;AAAA,EACF;AAGA,MAAI,KAAK,WAAW,GAAG,KAAK,KAAK,SAAS,GAAG,GAAG;AAC9C,UAAM,QAAQ,KAAK,MAAM,GAAG,EAAE,EAAE,KAAK;AACrC,QAAI,MAAM,WAAW,EAAG,QAAO,EAAE,MAAM,UAAU,SAAS,CAAC,EAAE;AAE7D,UAAM,QAAQ,MACX,MAAM,GAAG,EACT,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EACnB,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;AAE7B,UAAM,UAA4C,CAAC;AAEnD,eAAW,QAAQ,OAAO;AACxB,YAAM,MAAM,KAAK,QAAQ,GAAG;AAC5B,UAAI,MAAM,EAAG,QAAO;AACpB,YAAM,MAAM,KAAK,MAAM,GAAG,GAAG,EAAE,KAAK;AACpC,YAAM,QAAQ,KAAK,MAAM,MAAM,CAAC,EAAE,KAAK;AAEvC,UAAI,CAAC,6BAA6B,KAAK,GAAG,EAAG,QAAO;AAEpD,YAAM,KAAK,IAAI,OAAO,IAAI,UAAU,KAAK,4CAA4C;AACrF,YAAM,IAAI,MAAM,MAAM,EAAE;AACxB,UAAI,CAAC,EAAG,QAAO;AACf,cAAQ,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAU;AAAA,IACnC;AAGA,YAAQ,KAAK,CAAC,GAAG,MAAO,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAE;AAC/D,WAAO,EAAE,MAAM,UAAU,QAAQ;AAAA,EACnC;AAEA,SAAO;AACT;AASA,IAAM,gCAAgC;AACtC,IAAM,wBAAwB,oBAAI,QAA2C;AAC7E,IAAM,4BAA4B,oBAAI,IAAqC;AAE3E,IAAM,SAAS,CAAO,KAAgB,QAA0B;AAC9D,QAAM,QAAQ,IAAI,IAAI,GAAG;AACzB,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,OAAO,GAAG;AACd,MAAI,IAAI,KAAK,KAAK;AAClB,SAAO;AACT;AAEA,IAAM,SAAS,CAAO,KAAgB,KAAQ,OAAU,YAAoB;AAC1E,MAAI,IAAI,IAAI,GAAG,EAAG,KAAI,OAAO,GAAG;AAChC,MAAI,IAAI,KAAK,KAAK;AAClB,MAAI,IAAI,QAAQ,QAAS;AACzB,QAAM,YAAY,IAAI,KAAK,EAAE,KAAK,EAAE;AACpC,MAAI,cAAc,QAAW;AAC3B,QAAI,OAAO,SAAS;AAAA,EACtB;AACF;AAEA,IAAM,eAAe,CAAC,OAAyB;AAC7C,MAAI;AACF,WAAO,GAAG,SAAS;AAAA,EACrB,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEO,IAAM,OAAO,CAAO,SAA2C;AAE/D,IAAM,UAAU,CAAO,UAAyD;AACrF,MAAI,YAAY,KAAK,GAAG;AACtB,UAAM,QAAQ,eAAe,MAAM,KAAK;AACxC,UAAM,cAAc,MAAM,SAAS,IAAI,gBAAgB,KAAK,IAAI;AAEhE,UAAM,aAAa,MAAM;AACzB,UAAMC,YAA8B;AAAA,MAClC,YAAY,MAAM;AAAA,MAClB,UAAU,MAAM;AAAA,MAChB,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,WAAO;AAAA,MACL,GAAG;AAAA,MACH;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,WAAW;AACjB,QAAM,YACH,OAAQ,UAAkB,aAAa,YAAa,SAAiB,SAAS,SAAS,IACnF,SAAiB,WAClB,YACH,OAAQ,SAAiB,SAAS,YAAa,SAAiB,KAAK,SAAS,IAC1E,SAAiB,OAClB;AAEN,QAAM,gBAAmD,MAAM,QAAS,UAAkB,UAAU,IAC9F,SAAiB,WAAsC,OAAO,CAAC,MAAmB,OAAO,MAAM,QAAQ,IACzG;AAEJ,MAAI,iBAAiB,cAAc,SAAS,GAAG;AAC7C,UAAM,QAAQ,eAAe,aAAa;AAC1C,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,SAAS,MAAM,CAAC;AAE7D,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAEA,QAAM,aAAa,sBAAsB,IAAI,QAA+B;AAC5E,MAAI,YAAY;AACd,UAAMA,YAA8B;AAAA,MAClC,YAAY,WAAW;AAAA,MACvB;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV,OAAO,WAAW;AAAA,MAClB,aAAa,WAAW;AAAA,MACxB,YAAY,WAAW;AAAA,IACzB;AAEA,WAAO;AAAA,MACL,YAAY,WAAW;AAAA,MACvB;AAAA,MACA,OAAO,WAAW;AAAA,MAClB,QAAQ;AAAA,MACR,YAAY,WAAW;AAAA,MACvB,MAAM;AAAA,MACN,UAAU;AAAA,MACV,aAAa,WAAW;AAAA,MACxB,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,aAAa,aAAa,QAA+B,EAAE,KAAK;AACtE,QAAM,iBAAiB,WAAW,SAAS,IAAI,OAAO,2BAA2B,UAAU,IAAI;AAC/F,MAAI,gBAAgB;AAClB,0BAAsB,IAAI,UAAiC,cAAc;AACzE,UAAMA,YAA8B;AAAA,MAClC,YAAY,eAAe;AAAA,MAC3B;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV,OAAO,eAAe;AAAA,MACtB,aAAa,eAAe;AAAA,MAC5B,YAAY,eAAe;AAAA,IAC7B;AAEA,WAAO;AAAA,MACL,YAAY,eAAe;AAAA,MAC3B;AAAA,MACA,OAAO,eAAe;AAAA,MACtB,QAAQ;AAAA,MACR,YAAY,eAAe;AAAA,MAC3B,MAAM;AAAA,MACN,UAAU;AAAA,MACV,aAAa,eAAe;AAAA,MAC5B,UAAAA;AAAA,IACF;AAAA,EACF;AAEA,QAAM,SAAS,WAAW,SAAS,IAAI,uBAAuB,UAAU,IAAI;AAE5E,MAAI,QAAQ,SAAS,QAAQ;AAC3B,UAAM,QAAQ,CAAC,OAAO,IAAI;AAC1B,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,QAAQ,MAAM,OAAO,KAAK,CAAC;AACxE,UAAM,WAAoC,EAAE,YAAAA,aAAY,OAAO,aAAa,YAAY,WAAW;AACnG,0BAAsB,IAAI,UAAiC,QAAQ;AACnE,WAAO,2BAA2B,YAAY,UAAU,6BAA6B;AAErF,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAEA,MAAI,QAAQ,SAAS,UAAU;AAC7B,UAAM,QAAQ,eAAe,OAAO,QAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,MAAM,IAAI,CAAC;AACnE,UAAM,cAAc,gBAAgB,KAAK;AACzC,UAAMC,cAAa,kBAAkB,EAAE,MAAM,UAAU,SAAS,OAAO,QAAQ,CAAC;AAChF,UAAM,WAAoC,EAAE,YAAAA,aAAY,OAAO,aAAa,YAAY,gBAAgB;AACxG,0BAAsB,IAAI,UAAiC,QAAQ;AACnE,WAAO,2BAA2B,YAAY,UAAU,6BAA6B;AAErF,UAAMD,YAA8B;AAAA,MAClC,YAAAC;AAAA,MACA;AAAA,MACA,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA;AAAA,MACA,YAAY;AAAA,IACd;AAEA,WAAO;AAAA,MACL,YAAAA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV;AAAA,MACA,UAAAD;AAAA,IACF;AAAA,EACF;AAGA,QAAM,qBACJ,WAAW,SAAS,IAAI,KAAK,WAAW,WAAW,UAAU,IAAI,sBAAsB;AAEzF,QAAM,4BAA4B,WAAW,WAAW,KAAK,WAAW,SAAS,eAAe;AAChG,QAAM,iBACJ,CAAC,YAAY,4BAA4B,uBAAuB;AAElE,QAAM,aACJ,mBAAmB,uBACf,0BAA0B,QAA+B,IACzD,kBAAkB,EAAE,MAAM,WAAW,UAAU,KAAK,WAAW,CAAC;AACtE,QAAM,WAA8B;AAAA,IAClC;AAAA,IACA;AAAA,IACA,MAAM;AAAA,IACN,UAAU;AAAA,IACV;AAAA,IACA,YAAY;AAAA,EACd;AAEA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA,OAAO,CAAC;AAAA,IACR,QAAQ;AAAA,IACR,YAAY;AAAA,IACZ,MAAM;AAAA,IACN,UAAU;AAAA,IACV;AAAA,IACA;AAAA,EACF;AACF;;;AF/aO,IAAME,eAA4B;AAElC,IAAMC,QAAqB;AAE3B,IAAMC,WAAwB;","names":["compile","isReadQuery","make","staticIr","selectorId","isReadQuery","make","compile"]}

package/dist/ReadQuery.d.cts

@@ -1,2 +1,2 @@
-import './ReadQuery-SinbStGF.cjs';
-export { E as EqualsKind, a as ReadLane, b as ReadProducer, e as ReadQuery, f as ReadQueryCompiled, g as ReadQueryInput, d as ReadQueryStaticIr, c as ReadsDigest, h as compile, i as isReadQuery, m as make } from './ReadQuery-CL5XlXts.cjs';
+import './ReadQuery-CafjlJQo.cjs';
+export { E as EqualsKind, c as ReadLane, d as ReadProducer, g as ReadQuery, b as ReadQueryCompiled, a as ReadQueryInput, f as ReadQueryStaticIr, e as ReadsDigest, h as compile, i as isReadQuery, m as make } from './ReadQuery-mc0NgrFV.cjs';

package/dist/ReadQuery.d.ts

@@ -1,2 +1,2 @@
-import './ReadQuery-SinbStGF.js';
-export { E as EqualsKind, a as ReadLane, b as ReadProducer, e as ReadQuery, f as ReadQueryCompiled, g as ReadQueryInput, d as ReadQueryStaticIr, c as ReadsDigest, h as compile, i as isReadQuery, m as make } from './ReadQuery-BlMwhe-F.js';
+import './ReadQuery-CafjlJQo.js';
+export { E as EqualsKind, c as ReadLane, d as ReadProducer, g as ReadQuery, b as ReadQueryCompiled, a as ReadQueryInput, f as ReadQueryStaticIr, e as ReadsDigest, h as compile, i as isReadQuery, m as make } from './ReadQuery-C4vZ8Prc.js';

package/dist/ReadQuery.js

@@ -2,9 +2,9 @@ import {
   compile,
   isReadQuery,
   make
-} from "./chunk-TKZ7MEIA.js";
-import "./chunk-CW6T36TN.js";
-import "./chunk-GMPEOUP2.js";
+} from "./chunk-53GVPGSM.js";
+import "./chunk-M3M7JFAH.js";
+import "./chunk-4MZ7BT3R.js";
 import "./chunk-PZ5AY32C.js";
 export {
   compile,

package/dist/{Reflection-CQnKwPXj.d.ts → Reflection-C8xZ267q.d.ts}

@@ -1,10 +1,79 @@
 import * as effect from 'effect';
 import { Layer, Effect } from 'effect';
-import { h as AnyModuleShape, l as ModuleRuntime, k as ModuleImpl } from './module-k7m3txak.js';
-import { A as AnyModule } from './Module-DnzluX2J.js';
-import { S as StaticIr } from './ir-DUOz6H-5.js';
-import { J as JsonValue, K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-cY4kLn0S.js';
-import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-CnGE1Fyk.js';
+import { Y as JsonValue, j as AnyModuleShape, o as ModuleRuntime, m as ModuleImpl } from './module-DqQ1U-Me.js';
+import { A as AnyModule } from './Module-CFj0I2yE.js';
+import { S as StaticIr } from './ir-DGyGiwVe.js';
+import { K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-D-ZWeEVb.js';
+import { a as WorkflowStaticIrV1 } from './Workflow-CW9S_aAP.js';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-DGSpS4GM.js';
+
+type ControlSurfaceVersion = 1;
+type Digest = string;
+type ModuleId = string;
+type ActionTag = string;
+type WorkflowStableId = string;
+type ActionRef = {
+    readonly moduleId: ModuleId;
+    readonly actionTag: ActionTag;
+};
+type EffectTrigger = {
+    readonly kind: 'action';
+    readonly action: ActionRef;
+} | {
+    readonly kind: 'lifecycle';
+    readonly phase: 'onStart' | 'onInit';
+};
+type SliceRef = {
+    readonly digest: Digest;
+};
+type WorkflowSurfaceRefV1 = SliceRef;
+type ControlEffectIndexEntryV1 = {
+    readonly kind: 'workflow';
+    readonly effectId: string;
+    readonly trigger: EffectTrigger;
+    readonly programId: WorkflowStableId;
+    readonly programDigest?: Digest;
+} | {
+    readonly kind: 'opaque';
+    readonly effectId: string;
+    readonly trigger: EffectTrigger;
+    readonly sourceKey: string;
+    readonly summary?: string;
+};
+type ControlSurfaceManifestV1 = {
+    readonly version: ControlSurfaceVersion;
+    readonly digest: Digest;
+    readonly modules: ReadonlyArray<{
+        readonly moduleId: ModuleId;
+        readonly workflowSurface?: WorkflowSurfaceRefV1;
+        readonly effectsIndex: ReadonlyArray<ControlEffectIndexEntryV1>;
+        readonly effectsIndexDigest?: Digest;
+    }>;
+    readonly meta?: {
+        readonly generator?: JsonValue;
+    };
+};
+
+type WorkflowSurfaceVersion = 1;
+type WorkflowSurfaceV1 = {
+    readonly version: WorkflowSurfaceVersion;
+    readonly digest: string;
+    readonly programs: ReadonlyArray<WorkflowStaticIrV1>;
+};
+
+type ExportedWorkflowSurface = {
+    readonly moduleId: string;
+    readonly surface: WorkflowSurfaceV1;
+};
+type ExportControlSurfaceResult = {
+    readonly manifest: ControlSurfaceManifestV1;
+    readonly workflowSurfaces: ReadonlyArray<ExportedWorkflowSurface>;
+};
+type ExportControlSurfaceOptions = {
+    readonly meta?: {
+        readonly generator?: JsonValue;
+    };
+};
 
 type ManifestDiffSeverity = 'BREAKING' | 'RISKY' | 'INFO';
 type ManifestDiffVerdict = 'PASS' | 'WARN' | 'FAIL';
@@ -152,6 +221,14 @@ declare const diffManifest: (before: ModuleManifest, after: ModuleManifest, opti
  * If the module contains a StateTrait program, exports canonical StaticIR (same shape and digest as StateTrait.exportStaticIr).
  */
 declare const exportStaticIr: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule) => StaticIr | undefined;
+/**
+ * Reflection.exportControlSurface
+ *
+ * Exports the ControlSurfaceManifest (Root IR) and slice attachments (e.g. workflowSurface) from configured modules.
+ *
+ * Note: currently requires `AnyModule` (the configured module object returned by `ModuleDef.implement(...)`).
+ */
+declare const exportControlSurface: (modules: ReadonlyArray<AnyModule>, options?: ExportControlSurfaceOptions) => ExportControlSurfaceResult;
 /**
  * Reflection.verifyKernelContract
  *
@@ -161,6 +238,9 @@ declare const verifyKernelContract: <Sh extends AnyModuleShape>(module: ModuleIm
 declare const verifyFullCutoverGate: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyFullCutoverGateOptions<Sh>) => Effect.Effect<FullCutoverGateVerificationResult, never, any>;
 
 type Reflection_DiffManifestOptions = DiffManifestOptions;
+type Reflection_ExportControlSurfaceOptions = ExportControlSurfaceOptions;
+type Reflection_ExportControlSurfaceResult = ExportControlSurfaceResult;
+type Reflection_ExportedWorkflowSurface = ExportedWorkflowSurface;
 declare const Reflection_ExtractManifestOptions: typeof ExtractManifestOptions;
 type Reflection_FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> = FullCutoverGateTrialRunOptions<Sh>;
 type Reflection_FullCutoverGateVerificationResult = FullCutoverGateVerificationResult;
@@ -171,12 +251,13 @@ type Reflection_ModuleManifestDiff = ModuleManifestDiff;
 type Reflection_VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> = VerifyFullCutoverGateOptions<Sh>;
 type Reflection_VerifyKernelContractOptions<Sh extends AnyModuleShape> = VerifyKernelContractOptions<Sh>;
 declare const Reflection_diffManifest: typeof diffManifest;
+declare const Reflection_exportControlSurface: typeof exportControlSurface;
 declare const Reflection_exportStaticIr: typeof exportStaticIr;
 declare const Reflection_extractManifest: typeof extractManifest;
 declare const Reflection_verifyFullCutoverGate: typeof verifyFullCutoverGate;
 declare const Reflection_verifyKernelContract: typeof verifyKernelContract;
 declare namespace Reflection {
-  export { type Reflection_DiffManifestOptions as DiffManifestOptions, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
+  export { type Reflection_DiffManifestOptions as DiffManifestOptions, type Reflection_ExportControlSurfaceOptions as ExportControlSurfaceOptions, type Reflection_ExportControlSurfaceResult as ExportControlSurfaceResult, type Reflection_ExportedWorkflowSurface as ExportedWorkflowSurface, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportControlSurface as exportControlSurface, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
 }
 
-export { type DiffManifestOptions as D, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type KernelContractAllowedDiff as a, type VerifyFullCutoverGateOptions as b, type FullCutoverGateVerificationResult as c, diffManifest as d, extractManifest as e, exportStaticIr as f, verifyFullCutoverGate as g, verifyKernelContract as v };
+export { type DiffManifestOptions as D, type ExportControlSurfaceOptions as E, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type ExportControlSurfaceResult as a, type ExportedWorkflowSurface as b, type KernelContractAllowedDiff as c, type VerifyFullCutoverGateOptions as d, type FullCutoverGateVerificationResult as e, extractManifest as f, diffManifest as g, exportStaticIr as h, exportControlSurface as i, verifyFullCutoverGate as j, verifyKernelContract as v };

package/dist/{Reflection-Kabo1mlU.d.cts → Reflection-DP7Vsv3f.d.cts}

@@ -1,10 +1,79 @@
 import * as effect from 'effect';
 import { Layer, Effect } from 'effect';
-import { h as AnyModuleShape, l as ModuleRuntime, k as ModuleImpl } from './module-B8CBqIZ_.cjs';
-import { A as AnyModule } from './Module-B_0xRDMR.cjs';
-import { S as StaticIr } from './ir-BMP7yxJJ.cjs';
-import { J as JsonValue, K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-COqEvp2C.cjs';
-import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-8kC-jOda.cjs';
+import { Y as JsonValue, j as AnyModuleShape, o as ModuleRuntime, m as ModuleImpl } from './module-doenaCsZ.cjs';
+import { A as AnyModule } from './Module-DpXPW9EQ.cjs';
+import { S as StaticIr } from './ir-C-Zm_GlZ.cjs';
+import { K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-V7sRMYTh.cjs';
+import { a as WorkflowStaticIrV1 } from './Workflow-BlFG_20_.cjs';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-DZAk-Mrn.cjs';
+
+type ControlSurfaceVersion = 1;
+type Digest = string;
+type ModuleId = string;
+type ActionTag = string;
+type WorkflowStableId = string;
+type ActionRef = {
+    readonly moduleId: ModuleId;
+    readonly actionTag: ActionTag;
+};
+type EffectTrigger = {
+    readonly kind: 'action';
+    readonly action: ActionRef;
+} | {
+    readonly kind: 'lifecycle';
+    readonly phase: 'onStart' | 'onInit';
+};
+type SliceRef = {
+    readonly digest: Digest;
+};
+type WorkflowSurfaceRefV1 = SliceRef;
+type ControlEffectIndexEntryV1 = {
+    readonly kind: 'workflow';
+    readonly effectId: string;
+    readonly trigger: EffectTrigger;
+    readonly programId: WorkflowStableId;
+    readonly programDigest?: Digest;
+} | {
+    readonly kind: 'opaque';
+    readonly effectId: string;
+    readonly trigger: EffectTrigger;
+    readonly sourceKey: string;
+    readonly summary?: string;
+};
+type ControlSurfaceManifestV1 = {
+    readonly version: ControlSurfaceVersion;
+    readonly digest: Digest;
+    readonly modules: ReadonlyArray<{
+        readonly moduleId: ModuleId;
+        readonly workflowSurface?: WorkflowSurfaceRefV1;
+        readonly effectsIndex: ReadonlyArray<ControlEffectIndexEntryV1>;
+        readonly effectsIndexDigest?: Digest;
+    }>;
+    readonly meta?: {
+        readonly generator?: JsonValue;
+    };
+};
+
+type WorkflowSurfaceVersion = 1;
+type WorkflowSurfaceV1 = {
+    readonly version: WorkflowSurfaceVersion;
+    readonly digest: string;
+    readonly programs: ReadonlyArray<WorkflowStaticIrV1>;
+};
+
+type ExportedWorkflowSurface = {
+    readonly moduleId: string;
+    readonly surface: WorkflowSurfaceV1;
+};
+type ExportControlSurfaceResult = {
+    readonly manifest: ControlSurfaceManifestV1;
+    readonly workflowSurfaces: ReadonlyArray<ExportedWorkflowSurface>;
+};
+type ExportControlSurfaceOptions = {
+    readonly meta?: {
+        readonly generator?: JsonValue;
+    };
+};
 
 type ManifestDiffSeverity = 'BREAKING' | 'RISKY' | 'INFO';
 type ManifestDiffVerdict = 'PASS' | 'WARN' | 'FAIL';
@@ -152,6 +221,14 @@ declare const diffManifest: (before: ModuleManifest, after: ModuleManifest, opti
  * If the module contains a StateTrait program, exports canonical StaticIR (same shape and digest as StateTrait.exportStaticIr).
  */
 declare const exportStaticIr: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule) => StaticIr | undefined;
+/**
+ * Reflection.exportControlSurface
+ *
+ * Exports the ControlSurfaceManifest (Root IR) and slice attachments (e.g. workflowSurface) from configured modules.
+ *
+ * Note: currently requires `AnyModule` (the configured module object returned by `ModuleDef.implement(...)`).
+ */
+declare const exportControlSurface: (modules: ReadonlyArray<AnyModule>, options?: ExportControlSurfaceOptions) => ExportControlSurfaceResult;
 /**
  * Reflection.verifyKernelContract
  *
@@ -161,6 +238,9 @@ declare const verifyKernelContract: <Sh extends AnyModuleShape>(module: ModuleIm
 declare const verifyFullCutoverGate: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyFullCutoverGateOptions<Sh>) => Effect.Effect<FullCutoverGateVerificationResult, never, any>;
 
 type Reflection_DiffManifestOptions = DiffManifestOptions;
+type Reflection_ExportControlSurfaceOptions = ExportControlSurfaceOptions;
+type Reflection_ExportControlSurfaceResult = ExportControlSurfaceResult;
+type Reflection_ExportedWorkflowSurface = ExportedWorkflowSurface;
 declare const Reflection_ExtractManifestOptions: typeof ExtractManifestOptions;
 type Reflection_FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> = FullCutoverGateTrialRunOptions<Sh>;
 type Reflection_FullCutoverGateVerificationResult = FullCutoverGateVerificationResult;
@@ -171,12 +251,13 @@ type Reflection_ModuleManifestDiff = ModuleManifestDiff;
 type Reflection_VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> = VerifyFullCutoverGateOptions<Sh>;
 type Reflection_VerifyKernelContractOptions<Sh extends AnyModuleShape> = VerifyKernelContractOptions<Sh>;
 declare const Reflection_diffManifest: typeof diffManifest;
+declare const Reflection_exportControlSurface: typeof exportControlSurface;
 declare const Reflection_exportStaticIr: typeof exportStaticIr;
 declare const Reflection_extractManifest: typeof extractManifest;
 declare const Reflection_verifyFullCutoverGate: typeof verifyFullCutoverGate;
 declare const Reflection_verifyKernelContract: typeof verifyKernelContract;
 declare namespace Reflection {
-  export { type Reflection_DiffManifestOptions as DiffManifestOptions, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
+  export { type Reflection_DiffManifestOptions as DiffManifestOptions, type Reflection_ExportControlSurfaceOptions as ExportControlSurfaceOptions, type Reflection_ExportControlSurfaceResult as ExportControlSurfaceResult, type Reflection_ExportedWorkflowSurface as ExportedWorkflowSurface, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportControlSurface as exportControlSurface, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
 }
 
-export { type DiffManifestOptions as D, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type KernelContractAllowedDiff as a, type VerifyFullCutoverGateOptions as b, type FullCutoverGateVerificationResult as c, diffManifest as d, extractManifest as e, exportStaticIr as f, verifyFullCutoverGate as g, verifyKernelContract as v };
+export { type DiffManifestOptions as D, type ExportControlSurfaceOptions as E, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type ExportControlSurfaceResult as a, type ExportedWorkflowSurface as b, type KernelContractAllowedDiff as c, type VerifyFullCutoverGateOptions as d, type FullCutoverGateVerificationResult as e, extractManifest as f, diffManifest as g, exportStaticIr as h, exportControlSurface as i, verifyFullCutoverGate as j, verifyKernelContract as v };