@logixjs/core 0.0.1 → 1.0.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","../src/internal/runtime/core/ReadQueryBuildGate.ts"],"sourcesContent":["import * as ReadQueryCore from './internal/runtime/core/ReadQuery.js'\nimport * as ReadQueryBuildGateCore from './internal/runtime/core/ReadQueryBuildGate.js'\n\nexport type ReadLane = ReadQueryCore.ReadLane\nexport type ReadProducer = ReadQueryCore.ReadProducer\nexport type EqualsKind = ReadQueryCore.EqualsKind\nexport type ReadsDigest = ReadQueryCore.ReadsDigest\nexport type ReadQueryStrictGateRule = ReadQueryCore.ReadQueryStrictGateRule\nexport type ReadQueryFallbackReason = ReadQueryCore.ReadQueryFallbackReason\nexport type ReadQueryQualityMeta = ReadQueryCore.ReadQueryQualityMeta\nexport type ReadQueryStrictGateGrade = ReadQueryCore.ReadQueryStrictGateGrade\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>\nexport type ReadQueryStrictGateConfig = ReadQueryCore.ReadQueryStrictGateConfig\nexport type ReadQueryStrictGateDecision = ReadQueryCore.ReadQueryStrictGateDecision\n\nexport const isReadQuery = ReadQueryCore.isReadQuery\nexport const isReadQueryCompiled = ReadQueryCore.isReadQueryCompiled\nexport const hasBuildQualityGrade = ReadQueryCore.hasBuildQualityGrade\nexport const shouldEvaluateStrictGateAtRuntime = ReadQueryCore.shouldEvaluateStrictGateAtRuntime\nexport const markRuntimeMissingBuildGrade = ReadQueryCore.markRuntimeMissingBuildGrade\nexport const resolveBuildGradeStrictGateDecision = ReadQueryCore.resolveBuildGradeStrictGateDecision\n\nexport const make = ReadQueryCore.make\n\nexport const compile = ReadQueryCore.compile\nexport const evaluateStrictGate = ReadQueryCore.evaluateStrictGate\n\nexport type SelectorQualityEntry = ReadQueryBuildGateCore.SelectorQualityEntry\nexport type SelectorQualitySummary = ReadQueryBuildGateCore.SelectorQualitySummary\nexport type SelectorQualityReport = ReadQueryBuildGateCore.SelectorQualityReport\nexport type SelectorQualityReportResult = ReadQueryBuildGateCore.SelectorQualityReportResult\nexport type BuildReadQueryGradeResult<S, V> = ReadQueryBuildGateCore.BuildReadQueryGradeResult<S, V>\n\nexport const gradeReadQueryAtBuild = ReadQueryBuildGateCore.gradeReadQueryAtBuild\nexport const buildSelectorQualityReport = ReadQueryBuildGateCore.buildSelectorQualityReport\nexport const hasBuildGateFailure = ReadQueryBuildGateCore.hasBuildGateFailure\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' | 'missingBuildGrade'\n\nexport type EqualsKind = 'objectIs' | 'shallowStruct' | 'custom'\n\nexport type ReadQueryStrictGateRule =\n  | 'denyFallbackReason'\n  | 'requireStatic:global'\n  | 'requireStatic:selectorId'\n  | 'requireStatic:module'\n\nexport type ReadQueryQualitySource = 'build' | 'runtime_jit' | 'runtime_dynamic_fallback'\n\nexport interface ReadQueryStrictGateGrade {\n  readonly evaluatedAt: 'build' | 'runtime'\n  readonly verdict: 'PASS' | 'WARN' | 'FAIL'\n  readonly rule?: ReadQueryStrictGateRule\n  readonly fallbackReason?: ReadQueryFallbackReason\n}\n\nexport interface ReadQueryQualityMeta {\n  readonly source: ReadQueryQualitySource\n  readonly strictGate?: ReadQueryStrictGateGrade\n  readonly reportId?: string\n  readonly missingBuildGrade?: boolean\n}\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  readonly quality?: ReadQueryQualityMeta\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\nexport function isReadQueryCompiled<S, V>(input: ReadQueryInput<S, V> | ReadQueryCompiled<S, V>): input is ReadQueryCompiled<S, V>\nexport function isReadQueryCompiled(input: unknown): input is ReadQueryCompiled<any, any>\nexport function isReadQueryCompiled(input: unknown): input is ReadQueryCompiled<any, any> {\n  if (!input || typeof input !== 'object') return false\n  const maybe = input as any\n  return (\n    typeof maybe.selectorId === 'string' &&\n    typeof maybe.select === 'function' &&\n    Array.isArray(maybe.reads) &&\n    maybe.staticIr != null &&\n    typeof maybe.lane === 'string' &&\n    typeof maybe.producer === 'string'\n  )\n}\n\nexport const hasBuildQualityGrade = (compiled: ReadQueryCompiled<any, any>): boolean =>\n  compiled.quality?.source === 'build' && compiled.quality.strictGate?.evaluatedAt === 'build'\n\nexport const shouldEvaluateStrictGateAtRuntime = (compiled: ReadQueryCompiled<any, any>): boolean =>\n  compiled.lane === 'dynamic' && !hasBuildQualityGrade(compiled)\n\nexport const markRuntimeMissingBuildGrade = <S, V>(compiled: ReadQueryCompiled<S, V>): ReadQueryCompiled<S, V> => {\n  if (compiled.lane !== 'dynamic' || hasBuildQualityGrade(compiled)) return compiled\n  if (compiled.quality?.missingBuildGrade === true && compiled.fallbackReason === 'missingBuildGrade') return compiled\n  return {\n    ...compiled,\n    fallbackReason: 'missingBuildGrade',\n    staticIr: {\n      ...compiled.staticIr,\n      fallbackReason: 'missingBuildGrade',\n    },\n    quality: {\n      ...(compiled.quality ?? {}),\n      source: 'runtime_dynamic_fallback',\n      missingBuildGrade: true,\n    },\n  }\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: ReadQueryStrictGateRule\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 resolveBuildGradeStrictGateDecision = (args: {\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly compiled: ReadQueryCompiled<any, any>\n}): ReadQueryStrictGateDecision | undefined => {\n  if (args.compiled.quality?.source !== 'build') return undefined\n  const grade = args.compiled.quality.strictGate\n  if (!grade || grade.evaluatedAt !== 'build') return undefined\n  if (grade.verdict === 'PASS') return undefined\n\n  const fallbackReason = (grade.fallbackReason ?? args.compiled.fallbackReason ?? 'missingDeps') as ReadQueryFallbackReason\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: grade.rule ?? 'requireStatic:global',\n  }\n\n  const config: ReadQueryStrictGateConfig = {\n    mode: grade.verdict === 'WARN' ? 'warn' : 'error',\n  }\n  const diagnostic = makeStrictGateDiagnostic({ config, details })\n\n  if (grade.verdict === 'WARN') {\n    return { verdict: 'WARN', diagnostic, details }\n  }\n\n  return {\n    verdict: 'FAIL',\n    diagnostic,\n    error: makeStrictGateError({ details }),\n    details,\n  }\n}\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: ReadQueryStrictGateRule = 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","import { fnv1a32, stableStringify } from '../../digest.js'\nimport {\n  compile,\n  evaluateStrictGate,\n  isReadQueryCompiled,\n  type ReadQueryCompiled,\n  type ReadQueryFallbackReason,\n  type ReadQueryInput,\n  type ReadQueryStrictGateConfig,\n  type ReadQueryStrictGateDecision,\n  type ReadQueryStrictGateRule,\n} from './ReadQuery.js'\n\nexport interface SelectorQualityEntry {\n  readonly moduleId: string\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly lane: ReadQueryCompiled<any, any>['lane']\n  readonly producer: ReadQueryCompiled<any, any>['producer']\n  readonly readsDigest?: ReadQueryCompiled<any, any>['readsDigest']\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly strictGateVerdict: 'PASS' | 'WARN' | 'FAIL'\n  readonly strictGateRule?: ReadQueryStrictGateRule\n  readonly diagnosticCode?: 'read_query::strict_gate'\n}\n\nexport interface SelectorQualitySummary {\n  readonly total: number\n  readonly staticCount: number\n  readonly dynamicCount: number\n  readonly warnCount: number\n  readonly failCount: number\n  readonly fallbackBreakdown: Readonly<Record<string, number>>\n}\n\nexport interface SelectorQualityReport {\n  readonly reportId: string\n  readonly moduleId: string\n  readonly generatedAt: string\n  readonly entries: ReadonlyArray<SelectorQualityEntry>\n  readonly summary: SelectorQualitySummary\n}\n\nexport interface BuildReadQueryGradeResult<S, V> {\n  readonly compiled: ReadQueryCompiled<S, V>\n  readonly entry: SelectorQualityEntry\n  readonly strictGateDecision: ReadQueryStrictGateDecision\n}\n\nconst toVerdict = (decision: ReadQueryStrictGateDecision): 'PASS' | 'WARN' | 'FAIL' => decision.verdict\n\nconst toRule = (decision: ReadQueryStrictGateDecision): ReadQueryStrictGateRule | undefined => {\n  if (decision.verdict === 'PASS') return undefined\n  return decision.details.rule\n}\n\nconst toFallbackReason = (\n  decision: ReadQueryStrictGateDecision,\n  compiled: ReadQueryCompiled<any, any>,\n): ReadQueryFallbackReason | undefined => {\n  if (decision.verdict !== 'PASS') return decision.details.fallbackReason\n  return compiled.fallbackReason\n}\n\nexport const gradeReadQueryAtBuild = <S, V>(args: {\n  readonly moduleId: string\n  readonly input: ReadQueryInput<S, V> | ReadQueryCompiled<S, V>\n  readonly strictGate?: ReadQueryStrictGateConfig\n  readonly reportId?: string\n}): BuildReadQueryGradeResult<S, V> => {\n  const compiled = isReadQueryCompiled<S, V>(args.input) ? args.input : compile(args.input)\n\n  const strictGateDecision: ReadQueryStrictGateDecision =\n    args.strictGate && args.strictGate.mode !== 'off'\n      ? evaluateStrictGate({\n          config: args.strictGate,\n          moduleId: args.moduleId,\n          instanceId: 'build',\n          txnSeq: 0,\n          compiled,\n        })\n      : { verdict: 'PASS' }\n\n  const strictGateVerdict = toVerdict(strictGateDecision)\n  const strictGateRule = toRule(strictGateDecision)\n  const fallbackReason = toFallbackReason(strictGateDecision, compiled)\n\n  const entry: SelectorQualityEntry = {\n    moduleId: args.moduleId,\n    selectorId: compiled.selectorId,\n    debugKey: compiled.debugKey,\n    lane: compiled.lane,\n    producer: compiled.producer,\n    readsDigest: compiled.readsDigest,\n    fallbackReason,\n    strictGateVerdict,\n    strictGateRule,\n    diagnosticCode: strictGateVerdict === 'PASS' ? undefined : 'read_query::strict_gate',\n  }\n\n  const graded: ReadQueryCompiled<S, V> = {\n    ...compiled,\n    quality: {\n      source: 'build',\n      reportId: args.reportId,\n      strictGate: {\n        evaluatedAt: 'build',\n        verdict: strictGateVerdict,\n        rule: strictGateRule,\n        fallbackReason,\n      },\n    },\n  }\n\n  return {\n    compiled: graded,\n    entry,\n    strictGateDecision,\n  }\n}\n\nconst summarizeEntries = (entries: ReadonlyArray<SelectorQualityEntry>): SelectorQualitySummary => {\n  let staticCount = 0\n  let dynamicCount = 0\n  let warnCount = 0\n  let failCount = 0\n  const fallbackBreakdown: Record<string, number> = {}\n\n  for (const entry of entries) {\n    if (entry.lane === 'static') {\n      staticCount += 1\n    } else {\n      dynamicCount += 1\n    }\n\n    if (entry.strictGateVerdict === 'WARN') warnCount += 1\n    if (entry.strictGateVerdict === 'FAIL') failCount += 1\n\n    if (entry.fallbackReason) {\n      fallbackBreakdown[entry.fallbackReason] = (fallbackBreakdown[entry.fallbackReason] ?? 0) + 1\n    }\n  }\n\n  return {\n    total: entries.length,\n    staticCount,\n    dynamicCount,\n    warnCount,\n    failCount,\n    fallbackBreakdown,\n  }\n}\n\nconst makeReportId = (moduleId: string, entries: ReadonlyArray<SelectorQualityEntry>): string => {\n  const digestInput = entries.map((entry) => ({\n    selectorId: entry.selectorId,\n    lane: entry.lane,\n    producer: entry.producer,\n    fallbackReason: entry.fallbackReason,\n    strictGateVerdict: entry.strictGateVerdict,\n    strictGateRule: entry.strictGateRule,\n    readsDigest: entry.readsDigest,\n  }))\n\n  return `rq_report_${fnv1a32(stableStringify({ moduleId, entries: digestInput }))}`\n}\n\nexport interface SelectorQualityReportResult {\n  readonly report: SelectorQualityReport\n  readonly graded: ReadonlyArray<BuildReadQueryGradeResult<any, any>>\n}\n\nexport const buildSelectorQualityReport = (args: {\n  readonly moduleId: string\n  readonly selectors: ReadonlyArray<ReadQueryInput<any, any> | ReadQueryCompiled<any, any>>\n  readonly strictGate?: ReadQueryStrictGateConfig\n  readonly generatedAt?: string\n}): SelectorQualityReportResult => {\n  const gradedWithoutReportId = args.selectors.map((input) =>\n    gradeReadQueryAtBuild({\n      moduleId: args.moduleId,\n      input,\n      strictGate: args.strictGate,\n    }),\n  )\n\n  const reportId = makeReportId(\n    args.moduleId,\n    gradedWithoutReportId.map((it) => it.entry),\n  )\n\n  const graded = gradedWithoutReportId.map((result) => {\n    const quality = result.compiled.quality\n    if (!quality) {\n      throw new Error('gradeReadQueryAtBuild must attach quality metadata')\n    }\n\n    return {\n      ...result,\n      compiled: {\n        ...result.compiled,\n        quality: {\n          ...quality,\n          reportId,\n        },\n      },\n    }\n  })\n\n  const entries = graded.map((it) => it.entry)\n  const summary = summarizeEntries(entries)\n\n  const report: SelectorQualityReport = {\n    reportId,\n    moduleId: args.moduleId,\n    generatedAt: args.generatedAt ?? new Date().toISOString(),\n    entries,\n    summary,\n  }\n\n  return {\n    report,\n    graded,\n  }\n}\n\nexport const hasBuildGateFailure = (report: SelectorQualityReport): boolean => report.summary.failCount > 0\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,oCAAAA;AAAA,EAAA,eAAAC;AAAA,EAAA,0BAAAC;AAAA,EAAA,6BAAAC;AAAA,EAAA,2BAAAC;AAAA,EAAA,4BAAAC;AAAA,EAAA,mBAAAC;AAAA,EAAA,2BAAAC;AAAA,EAAA,YAAAC;AAAA,EAAA,oCAAAC;AAAA,EAAA,2CAAAC;AAAA,EAAA,yCAAAC;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;;;AC4BO,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;AAIO,SAAS,oBAAoB,OAAsD;AACxF,MAAI,CAAC,SAAS,OAAO,UAAU,SAAU,QAAO;AAChD,QAAM,QAAQ;AACd,SACE,OAAO,MAAM,eAAe,YAC5B,OAAO,MAAM,WAAW,cACxB,MAAM,QAAQ,MAAM,KAAK,KACzB,MAAM,YAAY,QAClB,OAAO,MAAM,SAAS,YACtB,OAAO,MAAM,aAAa;AAE9B;AAEO,IAAM,uBAAuB,CAAC,aACnC,SAAS,SAAS,WAAW,WAAW,SAAS,QAAQ,YAAY,gBAAgB;AAEhF,IAAM,oCAAoC,CAAC,aAChD,SAAS,SAAS,aAAa,CAAC,qBAAqB,QAAQ;AAExD,IAAM,+BAA+B,CAAO,aAA+D;AAChH,MAAI,SAAS,SAAS,aAAa,qBAAqB,QAAQ,EAAG,QAAO;AAC1E,MAAI,SAAS,SAAS,sBAAsB,QAAQ,SAAS,mBAAmB,oBAAqB,QAAO;AAC5G,SAAO;AAAA,IACL,GAAG;AAAA,IACH,gBAAgB;AAAA,IAChB,UAAU;AAAA,MACR,GAAG,SAAS;AAAA,MACZ,gBAAgB;AAAA,IAClB;AAAA,IACA,SAAS;AAAA,MACP,GAAI,SAAS,WAAW,CAAC;AAAA,MACzB,QAAQ;AAAA,MACR,mBAAmB;AAAA,IACrB;AAAA,EACF;AACF;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;AA0CA,IAAM,iBAAiB,CAAC,WAAiF;AACvG,MAAI,CAAC,UAAU,OAAO,WAAW,EAAG,QAAO;AAC3C,QAAM,OAAO,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;AACnE,SAAO,KAAK,SAAS,IAAI,OAAO;AAClC;AAEA,IAAM,2BAA2B,CAAC,SAGQ;AACxC,QAAM,WAAW,KAAK,OAAO,SAAS,SAAU,YAAuB;AAEvE,SAAO;AAAA,IACL,MAAM;AAAA,IACN,UAAU,KAAK,QAAQ;AAAA,IACvB,YAAY,KAAK,QAAQ;AAAA,IACzB,QAAQ,KAAK,QAAQ;AAAA,IACrB,MAAM;AAAA,IACN;AAAA,IACA,SAAS,6EAA6E,KAAK,QAAQ,UAAU,YAAY,KAAK,QAAQ,cAAc;AAAA,IACpJ,MACE;AAAA,IAEF,MAAM;AAAA,IACN,SAAS;AAAA,MACP,MAAM;AAAA,MACN,MAAM;AAAA,MACN,SAAS,KAAK;AAAA,IAChB;AAAA,EACF;AACF;AAEA,IAAM,sBAAsB,CAAC,SAG3B,OAAO;AAAA,EACL,IAAI;AAAA,IACF,wEAAwE,KAAK,QAAQ,UAAU,YAAY,KAAK,QAAQ,cAAc;AAAA,EACxI;AAAA,EACA;AAAA,IACE,MAAM;AAAA,IACN,SAAS,KAAK;AAAA,EAChB;AACF;AAEK,IAAM,sCAAsC,CAAC,SAKL;AAC7C,MAAI,KAAK,SAAS,SAAS,WAAW,QAAS,QAAO;AACtD,QAAM,QAAQ,KAAK,SAAS,QAAQ;AACpC,MAAI,CAAC,SAAS,MAAM,gBAAgB,QAAS,QAAO;AACpD,MAAI,MAAM,YAAY,OAAQ,QAAO;AAErC,QAAM,iBAAkB,MAAM,kBAAkB,KAAK,SAAS,kBAAkB;AAChF,QAAM,UAA+C;AAAA,IACnD,UAAU,KAAK;AAAA,IACf,YAAY,KAAK;AAAA,IACjB,QAAQ,KAAK;AAAA,IACb,YAAY,KAAK,SAAS;AAAA,IAC1B,UAAU,KAAK,SAAS;AAAA,IACxB;AAAA,IACA,MAAM,MAAM,QAAQ;AAAA,EACtB;AAEA,QAAM,SAAoC;AAAA,IACxC,MAAM,MAAM,YAAY,SAAS,SAAS;AAAA,EAC5C;AACA,QAAM,aAAa,yBAAyB,EAAE,QAAQ,QAAQ,CAAC;AAE/D,MAAI,MAAM,YAAY,QAAQ;AAC5B,WAAO,EAAE,SAAS,QAAQ,YAAY,QAAQ;AAAA,EAChD;AAEA,SAAO;AAAA,IACL,SAAS;AAAA,IACT;AAAA,IACA,OAAO,oBAAoB,EAAE,QAAQ,CAAC;AAAA,IACtC;AAAA,EACF;AACF;AAEO,IAAM,qBAAqB,CAAC,SAMA;AACjC,MAAI,KAAK,OAAO,SAAS,OAAO;AAC9B,WAAO,EAAE,SAAS,OAAO;AAAA,EAC3B;AAEA,MAAI,KAAK,SAAS,SAAS,WAAW;AACpC,WAAO,EAAE,SAAS,OAAO;AAAA,EAC3B;AAEA,QAAM,iBAAkB,KAAK,SAAS,kBAAkB;AAExD,QAAM,sBAAsB,KAAK,OAAO;AACxC,QAAM,SAAS,CAAC,CAAC,qBAAqB,SAAS,cAAc;AAE7D,QAAM,cAAc,eAAe,KAAK,OAAO,eAAe,WAAW;AACzE,QAAM,UAAU,eAAe,KAAK,OAAO,eAAe,OAAO;AACjE,QAAM,oBAAoB,CAAC,CAAC,eAAe,CAAC,CAAC;AAE7C,QAAM,oBAAoB,CAAC,CAAC,aAAa,SAAS,KAAK,SAAS,UAAU;AAC1E,QAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,KAAK,QAAQ;AACvD,QAAM,yBAAyB,CAAC,qBAAqB,qBAAqB;AAE1E,MAAI,CAAC,UAAU,CAAC,wBAAwB;AACtC,WAAO,EAAE,SAAS,OAAO;AAAA,EAC3B;AAEA,QAAM,OAAgC,SAClC,uBACA,CAAC,oBACC,yBACA,oBACE,6BACA;AAER,QAAM,UAA+C;AAAA,IACnD,UAAU,KAAK;AAAA,IACf,YAAY,KAAK;AAAA,IACjB,QAAQ,KAAK;AAAA,IACb,YAAY,KAAK,SAAS;AAAA,IAC1B,UAAU,KAAK,SAAS;AAAA,IACxB;AAAA,IACA;AAAA,EACF;AAEA,QAAM,aAAa,yBAAyB,EAAE,QAAQ,KAAK,QAAQ,QAAQ,CAAC;AAE5E,MAAI,KAAK,OAAO,SAAS,QAAQ;AAC/B,WAAO,EAAE,SAAS,QAAQ,YAAY,QAAQ;AAAA,EAChD;AAEA,QAAM,QAAQ,oBAAoB,EAAE,QAAQ,CAAC;AAC7C,SAAO,EAAE,SAAS,QAAQ,YAAY,OAAO,QAAQ;AACvD;;;ACjoBA,IAAM,YAAY,CAAC,aAAoE,SAAS;AAEhG,IAAM,SAAS,CAAC,aAA+E;AAC7F,MAAI,SAAS,YAAY,OAAQ,QAAO;AACxC,SAAO,SAAS,QAAQ;AAC1B;AAEA,IAAM,mBAAmB,CACvB,UACA,aACwC;AACxC,MAAI,SAAS,YAAY,OAAQ,QAAO,SAAS,QAAQ;AACzD,SAAO,SAAS;AAClB;AAEO,IAAM,wBAAwB,CAAO,SAKL;AACrC,QAAM,WAAW,oBAA0B,KAAK,KAAK,IAAI,KAAK,QAAQ,QAAQ,KAAK,KAAK;AAExF,QAAM,qBACJ,KAAK,cAAc,KAAK,WAAW,SAAS,QACxC,mBAAmB;AAAA,IACjB,QAAQ,KAAK;AAAA,IACb,UAAU,KAAK;AAAA,IACf,YAAY;AAAA,IACZ,QAAQ;AAAA,IACR;AAAA,EACF,CAAC,IACD,EAAE,SAAS,OAAO;AAExB,QAAM,oBAAoB,UAAU,kBAAkB;AACtD,QAAM,iBAAiB,OAAO,kBAAkB;AAChD,QAAM,iBAAiB,iBAAiB,oBAAoB,QAAQ;AAEpE,QAAM,QAA8B;AAAA,IAClC,UAAU,KAAK;AAAA,IACf,YAAY,SAAS;AAAA,IACrB,UAAU,SAAS;AAAA,IACnB,MAAM,SAAS;AAAA,IACf,UAAU,SAAS;AAAA,IACnB,aAAa,SAAS;AAAA,IACtB;AAAA,IACA;AAAA,IACA;AAAA,IACA,gBAAgB,sBAAsB,SAAS,SAAY;AAAA,EAC7D;AAEA,QAAM,SAAkC;AAAA,IACtC,GAAG;AAAA,IACH,SAAS;AAAA,MACP,QAAQ;AAAA,MACR,UAAU,KAAK;AAAA,MACf,YAAY;AAAA,QACV,aAAa;AAAA,QACb,SAAS;AAAA,QACT,MAAM;AAAA,QACN;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,UAAU;AAAA,IACV;AAAA,IACA;AAAA,EACF;AACF;AAEA,IAAM,mBAAmB,CAAC,YAAyE;AACjG,MAAI,cAAc;AAClB,MAAI,eAAe;AACnB,MAAI,YAAY;AAChB,MAAI,YAAY;AAChB,QAAM,oBAA4C,CAAC;AAEnD,aAAW,SAAS,SAAS;AAC3B,QAAI,MAAM,SAAS,UAAU;AAC3B,qBAAe;AAAA,IACjB,OAAO;AACL,sBAAgB;AAAA,IAClB;AAEA,QAAI,MAAM,sBAAsB,OAAQ,cAAa;AACrD,QAAI,MAAM,sBAAsB,OAAQ,cAAa;AAErD,QAAI,MAAM,gBAAgB;AACxB,wBAAkB,MAAM,cAAc,KAAK,kBAAkB,MAAM,cAAc,KAAK,KAAK;AAAA,IAC7F;AAAA,EACF;AAEA,SAAO;AAAA,IACL,OAAO,QAAQ;AAAA,IACf;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;AAEA,IAAM,eAAe,CAAC,UAAkB,YAAyD;AAC/F,QAAM,cAAc,QAAQ,IAAI,CAAC,WAAW;AAAA,IAC1C,YAAY,MAAM;AAAA,IAClB,MAAM,MAAM;AAAA,IACZ,UAAU,MAAM;AAAA,IAChB,gBAAgB,MAAM;AAAA,IACtB,mBAAmB,MAAM;AAAA,IACzB,gBAAgB,MAAM;AAAA,IACtB,aAAa,MAAM;AAAA,EACrB,EAAE;AAEF,SAAO,aAAa,QAAQ,gBAAgB,EAAE,UAAU,SAAS,YAAY,CAAC,CAAC,CAAC;AAClF;AAOO,IAAM,6BAA6B,CAAC,SAKR;AACjC,QAAM,wBAAwB,KAAK,UAAU;AAAA,IAAI,CAAC,UAChD,sBAAsB;AAAA,MACpB,UAAU,KAAK;AAAA,MACf;AAAA,MACA,YAAY,KAAK;AAAA,IACnB,CAAC;AAAA,EACH;AAEA,QAAM,WAAW;AAAA,IACf,KAAK;AAAA,IACL,sBAAsB,IAAI,CAAC,OAAO,GAAG,KAAK;AAAA,EAC5C;AAEA,QAAM,SAAS,sBAAsB,IAAI,CAAC,WAAW;AACnD,UAAM,UAAU,OAAO,SAAS;AAChC,QAAI,CAAC,SAAS;AACZ,YAAM,IAAI,MAAM,oDAAoD;AAAA,IACtE;AAEA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU;AAAA,QACR,GAAG,OAAO;AAAA,QACV,SAAS;AAAA,UACP,GAAG;AAAA,UACH;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF,CAAC;AAED,QAAM,UAAU,OAAO,IAAI,CAAC,OAAO,GAAG,KAAK;AAC3C,QAAM,UAAU,iBAAiB,OAAO;AAExC,QAAM,SAAgC;AAAA,IACpC;AAAA,IACA,UAAU,KAAK;AAAA,IACf,aAAa,KAAK,gBAAe,oBAAI,KAAK,GAAE,YAAY;AAAA,IACxD;AAAA,IACA;AAAA,EACF;AAEA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,EACF;AACF;AAEO,IAAM,sBAAsB,CAAC,WAA2C,OAAO,QAAQ,YAAY;;;AH9MnG,IAAME,eAA4B;AAClC,IAAMC,uBAAoC;AAC1C,IAAMC,wBAAqC;AAC3C,IAAMC,qCAAkD;AACxD,IAAMC,gCAA6C;AACnD,IAAMC,uCAAoD;AAE1D,IAAMC,QAAqB;AAE3B,IAAMC,WAAwB;AAC9B,IAAMC,sBAAmC;AAQzC,IAAMC,yBAA+C;AACrD,IAAMC,8BAAoD;AAC1D,IAAMC,uBAA6C;","names":["buildSelectorQualityReport","compile","evaluateStrictGate","gradeReadQueryAtBuild","hasBuildGateFailure","hasBuildQualityGrade","isReadQuery","isReadQueryCompiled","make","markRuntimeMissingBuildGrade","resolveBuildGradeStrictGateDecision","shouldEvaluateStrictGateAtRuntime","staticIr","selectorId","isReadQuery","isReadQueryCompiled","hasBuildQualityGrade","shouldEvaluateStrictGateAtRuntime","markRuntimeMissingBuildGrade","resolveBuildGradeStrictGateDecision","make","compile","evaluateStrictGate","gradeReadQueryAtBuild","buildSelectorQualityReport","hasBuildGateFailure"]}

package/dist/ReadQuery.d.cts

@@ -1,2 +1,3 @@
-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-DXLzCE0E.cjs';
+export { B as BuildReadQueryGradeResult, E as EqualsKind, c as ReadLane, d as ReadProducer, k as ReadQuery, b as ReadQueryCompiled, g as ReadQueryFallbackReason, a as ReadQueryInput, h as ReadQueryQualityMeta, j as ReadQueryStaticIr, l as ReadQueryStrictGateConfig, m as ReadQueryStrictGateDecision, i as ReadQueryStrictGateGrade, f as ReadQueryStrictGateRule, e as ReadsDigest, S as SelectorQualityEntry, x as SelectorQualityReport, y as SelectorQualityReportResult, w as SelectorQualitySummary, A as buildSelectorQualityReport, u as compile, v as evaluateStrictGate, z as gradeReadQueryAtBuild, C as hasBuildGateFailure, p as hasBuildQualityGrade, n as isReadQuery, o as isReadQueryCompiled, t as make, q as markRuntimeMissingBuildGrade, r as resolveBuildGradeStrictGateDecision, s as shouldEvaluateStrictGateAtRuntime } from './ReadQuery-Yve1lmUo.cjs';
+import 'effect';

package/dist/ReadQuery.d.ts

@@ -1,2 +1,3 @@
-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-DXLzCE0E.js';
+export { B as BuildReadQueryGradeResult, E as EqualsKind, c as ReadLane, d as ReadProducer, k as ReadQuery, b as ReadQueryCompiled, g as ReadQueryFallbackReason, a as ReadQueryInput, h as ReadQueryQualityMeta, j as ReadQueryStaticIr, l as ReadQueryStrictGateConfig, m as ReadQueryStrictGateDecision, i as ReadQueryStrictGateGrade, f as ReadQueryStrictGateRule, e as ReadsDigest, S as SelectorQualityEntry, x as SelectorQualityReport, y as SelectorQualityReportResult, w as SelectorQualitySummary, A as buildSelectorQualityReport, u as compile, v as evaluateStrictGate, z as gradeReadQueryAtBuild, C as hasBuildGateFailure, p as hasBuildQualityGrade, n as isReadQuery, o as isReadQueryCompiled, t as make, q as markRuntimeMissingBuildGrade, r as resolveBuildGradeStrictGateDecision, s as shouldEvaluateStrictGateAtRuntime } from './ReadQuery-C_or5nLC.js';
+import 'effect';

package/dist/ReadQuery.js

@@ -1,14 +1,32 @@
 import {
+  buildSelectorQualityReport,
   compile,
+  evaluateStrictGate,
+  gradeReadQueryAtBuild,
+  hasBuildGateFailure,
+  hasBuildQualityGrade,
   isReadQuery,
-  make
-} from "./chunk-TKZ7MEIA.js";
-import "./chunk-CW6T36TN.js";
-import "./chunk-GMPEOUP2.js";
+  isReadQueryCompiled,
+  make,
+  markRuntimeMissingBuildGrade,
+  resolveBuildGradeStrictGateDecision,
+  shouldEvaluateStrictGateAtRuntime
+} from "./chunk-KMZYQF6Q.js";
+import "./chunk-PBD7BJUN.js";
+import "./chunk-4MZ7BT3R.js";
 import "./chunk-PZ5AY32C.js";
 export {
+  buildSelectorQualityReport,
   compile,
+  evaluateStrictGate,
+  gradeReadQueryAtBuild,
+  hasBuildGateFailure,
+  hasBuildQualityGrade,
   isReadQuery,
-  make
+  isReadQueryCompiled,
+  make,
+  markRuntimeMissingBuildGrade,
+  resolveBuildGradeStrictGateDecision,
+  shouldEvaluateStrictGateAtRuntime
 };
 //# sourceMappingURL=ReadQuery.js.map

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

@@ -1,10 +1,80 @@
 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 { o as AnyModuleShape, s as ModuleRuntime, r as ModuleImpl } from './module-Zd1Gn-Nj.js';
+import { A as AnyModule } from './Module-B_Cntyms.js';
+import { S as StaticIr } from './ir-D-uqwL_4.js';
+import { K as KernelImplementationRef, a as RuntimeServicesOverrides, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-Bdhnx2Dv.js';
+import { J as JsonValue, m as DiagnosticsLevel } from './ReadQuery-DXLzCE0E.js';
+import { a as WorkflowStaticIrV1 } from './Workflow-C_OWr4dV.js';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-D9guNwRL.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 +222,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 +239,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 +252,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-DNB4V4_e.d.cts}

@@ -1,10 +1,80 @@
 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 { o as AnyModuleShape, s as ModuleRuntime, r as ModuleImpl } from './module-Ds4tarcI.cjs';
+import { A as AnyModule } from './Module-CmNOVXzf.cjs';
+import { S as StaticIr } from './ir-BSosEwc8.cjs';
+import { K as KernelImplementationRef, a as RuntimeServicesOverrides, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-DXGAFBIT.cjs';
+import { J as JsonValue, m as DiagnosticsLevel } from './ReadQuery-DXLzCE0E.cjs';
+import { a as WorkflowStaticIrV1 } from './Workflow-DmydkHO8.cjs';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-CuXBF9S_.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 +222,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 +239,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 +252,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 };