@noy-db/hub 0.7.0-pre.9 → 0.7.0

package/dist/dispatch-S73TK3IY.js

@@ -0,0 +1,302 @@
+import {
+  hopCollections,
+  resolveTuple,
+  sameTuple,
+  tupleFromIntermediate
+} from "./chunk-FFWI7UH7.js";
+import {
+  markStale
+} from "./chunk-SMH6SRX7.js";
+import "./chunk-TFMM5DBB.js";
+import {
+  putDerivedOutput,
+  selfWriteFieldEqual
+} from "./chunk-CARABLSQ.js";
+import "./chunk-U4FOQDY4.js";
+import "./chunk-5D2ALSM5.js";
+import "./chunk-6I2RQCET.js";
+import "./chunk-TRGTKX5E.js";
+import "./chunk-UXVWEX5L.js";
+import "./chunk-BOET4NA4.js";
+import "./chunk-77K4PG6P.js";
+import "./chunk-SZJ3DLZA.js";
+import "./chunk-BOWNCWZT.js";
+import "./chunk-YSRUYAVU.js";
+import "./chunk-RMF67KCG.js";
+import "./chunk-LP7BEXCT.js";
+import "./chunk-SL3JAAKN.js";
+import "./chunk-7MG7SJT7.js";
+import {
+  DerivationCapExceededError
+} from "./chunk-7O3Y4PPD.js";
+
+// src/with-formula/derivations/dispatch.ts
+async function dispatchArrayDerivationsOnDelete(ctx, id, eraseRecordShapeToo = false) {
+  const { derivationSource, collectionName, adapter, vault, getDEK, storeCiphertext } = ctx;
+  const strategies = derivationSource.registry().strategiesForSource(collectionName);
+  if (strategies.length === 0) return 0;
+  const { loadFanoutSidecar, deleteFanoutSidecar } = await import("./fanout-sidecar-WUFXNYP4.js");
+  const txCtx = derivationSource.getActiveTxContext();
+  let erased = 0;
+  for (const { spec } of strategies) {
+    for (const [outputKey, outSpec] of Object.entries(spec.outputs)) {
+      if (outSpec.shape === "record") {
+        if (eraseRecordShapeToo && spec.source === collectionName && outSpec.collection !== collectionName) {
+          if (await derivationSource.getCollection(outSpec.collection)._internalDelete(id, txCtx)) erased += 1;
+        }
+        continue;
+      }
+      const sidecar = await loadFanoutSidecar(adapter, vault, spec.source, id, outputKey, getDEK, storeCiphertext);
+      if (!sidecar) continue;
+      const outputCollection = derivationSource.getCollection(outSpec.collection);
+      for (const derivedId of sidecar.keys) {
+        if (await outputCollection._internalDelete(derivedId, txCtx)) erased += 1;
+      }
+      await deleteFanoutSidecar(adapter, vault, spec.source, id, outputKey);
+    }
+  }
+  return erased;
+}
+async function dispatchDerivations(ctx, id, record, version, wave, prior) {
+  const { derivationSource, collectionName, via, recomputeRollup } = ctx;
+  const incoming = via ? via.canonicalizeStored(record) : record;
+  if (incoming && typeof incoming === "object" && "_derivedFrom" in incoming) return;
+  const canonicalPrior = prior != null ? via ? via.canonicalizeStored(prior) : prior : prior;
+  const registry = derivationSource.registry();
+  const strategies = registry.strategiesForSource(collectionName);
+  if (strategies.length === 0) return;
+  let executorClass = null;
+  for (const { spec, strategyHash, triggers } of strategies) {
+    const mode = typeof spec.lifecycle === "string" ? spec.lifecycle : spec.lifecycle.mode;
+    if (spec.rollup) {
+      if (mode !== "eager") continue;
+      const asParentId = (v) => typeof v === "string" || typeof v === "number" ? String(v) : null;
+      let parentId;
+      let oldParentId = null;
+      if (collectionName === spec.rollup.from) {
+        parentId = asParentId(incoming[spec.rollup.key]);
+        const priorKey = canonicalPrior != null ? asParentId(canonicalPrior[spec.rollup.key]) : null;
+        if (priorKey !== null && priorKey !== parentId) oldParentId = priorKey;
+      } else {
+        parentId = id;
+      }
+      if (parentId !== null) await recomputeRollup(spec, parentId, { collection: collectionName, id }, wave);
+      if (oldParentId !== null) await recomputeRollup(spec, oldParentId, { collection: collectionName, id }, wave);
+      continue;
+    }
+    const isSource = spec.source === collectionName;
+    const isSibling = !isSource && (spec.sources?.includes(collectionName) ?? false);
+    const triggerEntries = !isSource && !isSibling ? triggers.filter((t) => t.collection === collectionName) : [];
+    const hopEntries = !isSource && !isSibling ? triggers.filter((t) => hopCollections(t.match).includes(collectionName)) : [];
+    const runs = [];
+    if (isSource) {
+      runs.push({ input: { ...incoming, id }, base: incoming, runId: id, version });
+    } else if (isSibling) {
+      const p = await derivationSource.getCollection(spec.source).get(id);
+      if (p !== null && p !== void 0) {
+        const raw = await derivationSource.getCollection(spec.source)._getStoredRecord(id);
+        runs.push({ input: { ...p, id }, base: raw ?? p, runId: id, version: 0 });
+      }
+    } else if (triggerEntries.length > 0 || hopEntries.length > 0) {
+      const srcColl = derivationSource.getCollection(spec.source);
+      const matched = /* @__PURE__ */ new Set();
+      const lookup = async (coll, field, value) => {
+        const c = derivationSource.getCollection(coll);
+        if (field === "id") return c._getStoredRecord(value);
+        const ids = await c._findMatchingCompositeIds([{ field, value }]);
+        const first = ids[0];
+        return first === void 0 ? null : c._getStoredRecord(first);
+      };
+      for (const trigger of hopEntries) {
+        const tuples = [tupleFromIntermediate(trigger.match, collectionName, incoming)];
+        if (canonicalPrior != null) {
+          const old = tupleFromIntermediate(trigger.match, collectionName, canonicalPrior);
+          if (!sameTuple(old, tuples[0])) tuples.push(old);
+        }
+        const ids = /* @__PURE__ */ new Set();
+        for (const tuple of tuples) {
+          if (tuple === null) continue;
+          for (const sid of await srcColl._findMatchingCompositeIds(tuple)) ids.add(sid);
+        }
+        if (trigger.maxFanout !== void 0 && ids.size > trigger.maxFanout) {
+          throw new DerivationCapExceededError(
+            `triggerBy hop ${collectionName}\u2192${spec.source} [${trigger.match.map((p) => p.to).join(",")}]`,
+            ids.size,
+            trigger.maxFanout
+          );
+        }
+        for (const sid of ids) matched.add(sid);
+      }
+      for (const trigger of triggerEntries) {
+        const tuples = [await resolveTuple(trigger.match, id, incoming, lookup)];
+        if (canonicalPrior != null && trigger.match.some((p) => p.from !== "id")) {
+          const old = await resolveTuple(trigger.match, id, canonicalPrior, lookup);
+          if (!sameTuple(old, tuples[0])) tuples.push(old);
+        }
+        const ids = /* @__PURE__ */ new Set();
+        for (const tuple of tuples) {
+          if (tuple === null) continue;
+          for (const sid of await srcColl._findMatchingCompositeIds(tuple)) ids.add(sid);
+        }
+        if (trigger.maxFanout !== void 0 && ids.size > trigger.maxFanout) {
+          throw new DerivationCapExceededError(
+            `triggerBy ${collectionName}\u2192${spec.source} [${trigger.match.map((p) => p.to).join(",")}]`,
+            ids.size,
+            trigger.maxFanout
+          );
+        }
+        for (const sid of ids) matched.add(sid);
+      }
+      for (const sid of matched) {
+        const raw = await srcColl._getStoredRecord(sid);
+        if (raw === null) continue;
+        runs.push({ input: { ...raw, id: sid }, base: raw, runId: sid, version: 0 });
+      }
+    }
+    if (runs.length === 0) continue;
+    if (mode !== "eager") {
+      for (const run of runs) await markStale(registry, spec, run.runId);
+      continue;
+    }
+    if (executorClass === null) {
+      ;
+      ({ DerivationExecutor: executorClass } = await import("./executor-5NIMLSKZ.js"));
+    }
+    for (const run of runs) await runOne(ctx, spec, strategyHash, executorClass, run);
+  }
+}
+async function runOne(ctx, spec, strategyHash, executorClass, run) {
+  const { derivationSource, adapter, vault, getDEK, storeCiphertext, dispatchCtx, trackPut } = ctx;
+  const execCtx = { vault: derivationSource.getReadOnlyFacade() };
+  const outCtx = dispatchCtx({ collection: spec.source, id: run.runId });
+  const result = await executorClass.run(spec, run.input, run.version, strategyHash, execCtx);
+  for (const key of Object.keys(spec.outputs)) {
+    const out = result.outputs[key];
+    if (!out) continue;
+    if (out.kind === "failed") {
+      const err = out.error;
+      if (spec.strict) throw err;
+      console.warn(`[derivation] output "${key}" for source "${spec.source}" id="${run.runId}" failed:`, err);
+      continue;
+    }
+    const outSpec = spec.outputs[key];
+    if (!outSpec) continue;
+    const outputCollection = derivationSource.getCollection(outSpec.collection);
+    const txCtx = derivationSource.getActiveTxContext();
+    if (out.kind === "array") {
+      const { loadFanoutSidecar, saveFanoutSidecar } = await import("./fanout-sidecar-WUFXNYP4.js");
+      const prior = await loadFanoutSidecar(adapter, vault, spec.source, run.runId, key, getDEK, storeCiphertext);
+      const prevKeys = new Set(prior?.keys ?? []);
+      const newKeysList = out.entries.map((e) => e.key);
+      const newKeysSet = new Set(newKeysList);
+      for (const k of prevKeys) {
+        if (newKeysSet.has(k)) continue;
+        await outputCollection._internalDelete(k, txCtx);
+      }
+      for (const entry of out.entries) {
+        if (txCtx !== null) {
+          trackPut(txCtx, outSpec.collection, entry.key, await adapter.get(vault, outSpec.collection, entry.key));
+        }
+        await putDerivedOutput(outputCollection, entry.key, entry.value, outCtx, { source: "derived" });
+      }
+      await saveFanoutSidecar(adapter, vault, {
+        source: spec.source,
+        sourceId: run.runId,
+        outputKey: key,
+        outputCollection: outSpec.collection,
+        keys: newKeysList
+      }, getDEK, storeCiphertext);
+      continue;
+    }
+    if (out.skipped === true) {
+      await outputCollection._internalDelete(run.runId, txCtx);
+      continue;
+    }
+    if (outSpec.shape === "record" && outSpec.denorm !== void 0 && outSpec.collection === spec.source) {
+      const value = out.value;
+      const patched = { ...run.base };
+      let changed = false;
+      for (const f of outSpec.denorm) {
+        if (!selfWriteFieldEqual(run.base[f], value[f])) {
+          patched[f] = value[f];
+          changed = true;
+        }
+      }
+      if (!changed) continue;
+      if (txCtx !== null) {
+        trackPut(txCtx, outSpec.collection, run.runId, await adapter.get(vault, outSpec.collection, run.runId));
+      }
+      await putDerivedOutput(outputCollection, run.runId, patched, outCtx, { source: "derived" });
+      continue;
+    }
+    if (txCtx !== null) {
+      trackPut(txCtx, outSpec.collection, run.runId, await adapter.get(vault, outSpec.collection, run.runId));
+    }
+    await putDerivedOutput(outputCollection, run.runId, out.value, outCtx, { source: "derived" });
+  }
+}
+async function dispatchTriggerDerivationsOnDelete(ctx, id, deleted) {
+  const { derivationSource, collectionName } = ctx;
+  const registry = derivationSource.registry();
+  const strategies = registry.strategiesForSource(collectionName);
+  if (strategies.length === 0) return;
+  let executorClass = null;
+  for (const { spec, strategyHash, triggers } of strategies) {
+    if (spec.rollup) continue;
+    if (spec.source === collectionName) continue;
+    if (spec.sources?.includes(collectionName)) continue;
+    const entries = triggers.filter((t) => t.collection === collectionName);
+    const hopEntries = triggers.filter((t) => hopCollections(t.match).includes(collectionName));
+    if (entries.length === 0 && hopEntries.length === 0) continue;
+    const mode = typeof spec.lifecycle === "string" ? spec.lifecycle : spec.lifecycle.mode;
+    const srcColl = derivationSource.getCollection(spec.source);
+    const matched = /* @__PURE__ */ new Set();
+    const lookup = async (coll, field, value) => {
+      const c = derivationSource.getCollection(coll);
+      if (field === "id") return c._getStoredRecord(value);
+      const found = await c._findMatchingCompositeIds([{ field, value }]);
+      const first = found[0];
+      return first === void 0 ? null : c._getStoredRecord(first);
+    };
+    const cap = (trigger, n, label) => {
+      if (trigger.maxFanout !== void 0 && n > trigger.maxFanout) {
+        throw new DerivationCapExceededError(
+          `triggerBy ${label} ${collectionName}\u2192${spec.source} [${trigger.match.map((p) => p.to).join(",")}] (delete)`,
+          n,
+          trigger.maxFanout
+        );
+      }
+    };
+    for (const trigger of entries) {
+      const tuple = await resolveTuple(trigger.match, id, deleted, lookup);
+      if (tuple === null) continue;
+      const ids = await srcColl._findMatchingCompositeIds(tuple);
+      cap(trigger, ids.length, "");
+      for (const sid of ids) matched.add(sid);
+    }
+    for (const trigger of hopEntries) {
+      const tuple = tupleFromIntermediate(trigger.match, collectionName, deleted);
+      if (tuple === null) continue;
+      const ids = await srcColl._findMatchingCompositeIds(tuple);
+      cap(trigger, ids.length, "hop");
+      for (const sid of ids) matched.add(sid);
+    }
+    if (matched.size === 0) continue;
+    if (mode !== "eager") {
+      for (const sid of matched) await markStale(registry, spec, sid);
+      continue;
+    }
+    if (executorClass === null) ({ DerivationExecutor: executorClass } = await import("./executor-5NIMLSKZ.js"));
+    for (const sid of matched) {
+      const raw = await srcColl._getStoredRecord(sid);
+      if (raw === null) continue;
+      await runOne(ctx, spec, strategyHash, executorClass, { input: { ...raw, id: sid }, base: raw, runId: sid, version: 0 });
+    }
+  }
+}
+export {
+  dispatchArrayDerivationsOnDelete,
+  dispatchDerivations,
+  dispatchTriggerDerivationsOnDelete
+};
+//# sourceMappingURL=dispatch-S73TK3IY.js.map

package/dist/dispatch-S73TK3IY.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/with-formula/derivations/dispatch.ts"],"sourcesContent":["/**\n * Derivation dispatch, lifted out of the kernel spine (#842 part b).\n *\n * `Collection` carried ~380 lines of dispatch logic that belongs to the\n * derivation service, not to the always-on kernel. These are free functions\n * taking an explicit context so the spine keeps only a thin delegator.\n *\n * ## How the spine reaches this module\n *\n * By dynamic `import()`, never a static one. `check-architecture.mjs`'s\n * `port-layering` check forbids the spine from statically importing a\n * `with-*` service; `collection.ts` is grandfathered for ten\n * `with-formula/*` specifiers, but that list is frozen per file and a new\n * one is a violation. A dynamic import is the sanctioned S4 gate recipe, and\n * it keeps this chunk out of the floor bundle for consumers who never fire a\n * derivation.\n *\n * The `Collection` type reference below points back at the spine. That is\n * inward (service → kernel) and so allowed, and it is TYPE-ONLY — erased at\n * build, so no runtime cycle exists.\n *\n * @internal\n */\n\nimport type { NoydbStore } from '../../kernel/types.js'\nimport type { TxContext } from '../../with-commit/tx/transaction.js'\nimport type { DerivationRegistry } from './registry.js'\nimport type { ReadOnlyVaultFacade } from '../../with-audit/guards/types.js'\nimport type { Collection } from '../../kernel/collection.js'\nimport type { EnclaveKey } from '../../kernel/enclave/index.js'\nimport type { EncryptedEnvelope } from '../../kernel/types.js'\nimport type { ledgerAuditHook, WaveContext } from '../../kernel/via/dispatch.js'\nimport { putDerivedOutput, selfWriteFieldEqual } from '../../kernel/via/dispatch.js'\nimport { DerivationCapExceededError } from '../../kernel/errors.js'\nimport { sameTuple, resolveTuple, tupleFromIntermediate, hopCollections } from './trigger-match.js'\nimport { markStale } from './stale.js'\nimport type { DerivationExecutor } from './executor.js'\n\n/** The per-write dispatch context threaded into `putDerivedOutput`. */\ninterface DispatchCtx {\n  emit: (e: string, p: unknown) => void\n  source: { readonly collection: string; readonly id: string }\n  audit: ReturnType<typeof ledgerAuditHook>\n}\n\n/**\n * What the dispatchers need from the collection that owns them. Passing this\n * explicitly is what lets the logic live outside the class.\n */\nexport interface DerivationDeleteCtx {\n  readonly derivationSource: {\n    registry(): DerivationRegistry\n    getCollection(name: string): Collection<Record<string, unknown>>\n    getActiveTxContext(): TxContext | null\n    getReadOnlyFacade(): ReadOnlyVaultFacade\n  }\n  /** The collection the delete happened in. */\n  readonly collectionName: string\n  readonly adapter: NoydbStore\n  readonly vault: string\n  readonly getDEK: (collectionName: string) => Promise<EnclaveKey>\n  readonly storeCiphertext: boolean\n}\n\n/**\n * Erase the derived rows a deleted source record fanned out to, and drop the\n * fan-out sidecars that recorded them.\n *\n * @param eraseRecordShapeToo also erase same-id `shape: 'record'` outputs.\n *   Restricted to a source-triggered strategy writing into a DIFFERENT\n *   collection — the self-denorm case would re-delete the record just\n *   tombstoned, and triggerBy/sibling strategies derive under a different id.\n * @returns rows ACTUALLY deleted, not edges visited (#622).\n */\nexport async function dispatchArrayDerivationsOnDelete(\n  ctx: DerivationDeleteCtx,\n  id: string,\n  eraseRecordShapeToo = false,\n): Promise<number> {\n  const { derivationSource, collectionName, adapter, vault, getDEK, storeCiphertext } = ctx\n\n  const strategies = derivationSource.registry().strategiesForSource(collectionName)\n  if (strategies.length === 0) return 0\n\n  const { loadFanoutSidecar, deleteFanoutSidecar } = await import('./fanout-sidecar.js')\n  const txCtx = derivationSource.getActiveTxContext()\n  let erased = 0\n\n  for (const { spec } of strategies) {\n    for (const [outputKey, outSpec] of Object.entries(spec.outputs)) {\n      if (outSpec.shape === 'record') {\n        if (eraseRecordShapeToo && spec.source === collectionName && outSpec.collection !== collectionName) {\n          if (await derivationSource.getCollection(outSpec.collection)._internalDelete(id, txCtx)) erased += 1\n        }\n        continue\n      }\n\n      const sidecar = await loadFanoutSidecar(adapter, vault, spec.source, id, outputKey, getDEK, storeCiphertext)\n      if (!sidecar) continue\n\n      const outputCollection = derivationSource.getCollection(outSpec.collection)\n      for (const derivedId of sidecar.keys) {\n        if (await outputCollection._internalDelete(derivedId, txCtx)) erased += 1\n      }\n      await deleteFanoutSidecar(adapter, vault, spec.source, id, outputKey)\n    }\n  }\n\n  return erased\n}\n\n/** Adds what the on-write derivation dispatch needs beyond the delete path. */\nexport interface DerivationDispatchCtx extends DerivationDeleteCtx {\n  /** Via pipeline, for decoding the stored form back to canonical money shape. */\n  readonly via: { canonicalizeStored(r: Record<string, unknown>): Record<string, unknown> } | undefined\n  /** Recompute a rollup aggregate onto a parent. Stays on the spine — it walks collections. */\n  readonly recomputeRollup: (\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    spec: any,\n    parentId: string,\n    source: { readonly collection: string; readonly id: string },\n    wave?: WaveContext,\n  ) => Promise<unknown>\n  /** Builds the per-write dispatch context threaded into `putDerivedOutput`. */\n  readonly dispatchCtx: (source: { readonly collection: string; readonly id: string }) => DispatchCtx\n  /** Registers a write on the active transaction for rollback. */\n  readonly trackPut: (txCtx: TxContext, collectionName: string, id: string, priorEnvelope: EncryptedEnvelope | null) => void\n}\n\n/**\n * Fire registered derivation strategies for this source collection.\n *\n * Eager mode runs `derive` inline and writes each output; lazy mode records a\n * stale mark for cold-session recompute. Rollups are handled here rather than\n * by the executor — a write to the child recomputes the parent aggregate, and\n * a write to the parent recomputes its own.\n */\nexport async function dispatchDerivations(\n  ctx: DerivationDispatchCtx,\n  id: string,\n  record: Record<string, unknown>,\n  version: number,\n  wave?: WaveContext,\n  /** The pre-write record at `id` in THIS collection (undefined = not\n   *  captured — no field-match trigger, or a sync-applied wave; null =\n   *  captured and absent, i.e. a create). Only a `Record` re-fires the OLD\n   *  matched set alongside the new one (spec §7). */\n  prior?: Record<string, unknown> | null,\n): Promise<void> {\n  const { derivationSource, collectionName, via, recomputeRollup } = ctx\n\n  // `record` is the stored form here (post-quantize) — decode so\n  // derive(source, ctx) sees the canonical money shape.\n  const incoming = (via ? via.canonicalizeStored(record) : record)\n  if (incoming && typeof incoming === 'object' && '_derivedFrom' in incoming) return\n  // `prior` is the raw stored pre-write record — canonicalize it the same\n  // way as `incoming` before it feeds `resolveTuple` below, or a\n  // via-shaped match field (e.g. a money field) compares canonical against\n  // raw and never matches the old tuple (Min 5).\n  const canonicalPrior = prior != null ? (via ? via.canonicalizeStored(prior) : prior) : prior\n  const registry = derivationSource.registry()\n  const strategies = registry.strategiesForSource(collectionName)\n  if (strategies.length === 0) return\n  // Dynamic-import the executor only on the first eager-mode\n  // dispatch. Lazy-mode dispatches use `markStale` (a pure helper)\n  // which doesn't reach into the executor at all. Keeps the\n  // derivation executor chunk out of the floor bundle for any\n  // consumer that doesn't fire an eager derivation.\n  let executorClass: typeof DerivationExecutor | null = null\n  for (const { spec, strategyHash, triggers } of strategies) {\n    const mode = typeof spec.lifecycle === 'string' ? spec.lifecycle : spec.lifecycle.mode\n\n    // Rollup: a write to the child `from` recomputes the\n    // parent at id child[key]; a write to the parent (source = into)\n    // recomputes its own aggregate. Handled here (the executor is not run).\n    if (spec.rollup) {\n      if (mode !== 'eager') continue\n      const asParentId = (v: unknown): string | null =>\n        (typeof v === 'string' || typeof v === 'number') ? String(v) : null\n      let parentId: string | null\n      // #1257 — a child that RE-PARENTS strands the old parent's aggregate\n      // unless the old key is recomputed too. Reads the prior stored record\n      // (canonicalized alongside `incoming`, so a via-shaped key compares like\n      // for like). `undefined` prior — a sync-applied wave write or a tiers\n      // restore, which do not thread it — degrades to new-parent-only, the\n      // pre-#1257 behaviour, rather than guessing.\n      let oldParentId: string | null = null\n      if (collectionName === spec.rollup.from) {\n        parentId = asParentId(incoming[spec.rollup.key])\n        const priorKey = canonicalPrior != null ? asParentId(canonicalPrior[spec.rollup.key]) : null\n        if (priorKey !== null && priorKey !== parentId) oldParentId = priorKey\n      } else {\n        parentId = id // a write to the parent recomputes its own aggregate\n      }\n      if (parentId !== null) await recomputeRollup(spec, parentId, { collection: collectionName, id }, wave)\n      // The old parent is recomputed AFTER the new one so a `maxFanout`-style\n      // failure on the new parent surfaces before extra work is spent.\n      if (oldParentId !== null) await recomputeRollup(spec, oldParentId, { collection: collectionName, id }, wave)\n      continue\n    }\n\n    // Determine how `collectionName` triggers this strategy, and build the list\n    // of source records to (re-)derive:\n    //   • source     — re-derive the written record itself (same-id).\n    //   • sources[]  — re-derive the PRIMARY source at the same id.\n    //   • triggerBy  — FK fan-out: re-derive every source record\n    //                  whose `on` field equals the written parent's id.\n    // `input` is passed to derive(); `base` is the raw stored source record\n    // used as the patch base for a self-write reverse-denorm output.\n    const isSource = spec.source === collectionName\n    const isSibling = !isSource && (spec.sources?.includes(collectionName) ?? false)\n    const triggerEntries = !isSource && !isSibling\n      ? triggers.filter((t) => t.collection === collectionName)\n      : []\n    // #1277 option 2 — a write to an INTERMEDIATE collection fires the trigger\n    // too. Without this, re-pointing the intermediate strands every source it\n    // used to address: nothing is written to the trigger or source collection,\n    // so no other path can notice. Kept separate from `triggerEntries` because\n    // the tuple is derived differently (the intermediate IS the written record,\n    // so no lookup is needed).\n    const hopEntries = !isSource && !isSibling\n      ? triggers.filter((t) => hopCollections(t.match).includes(collectionName))\n      : []\n\n    const runs: Array<{\n      input: Record<string, unknown> & { id: string }\n      base: Record<string, unknown>\n      runId: string\n      version: number\n    }> = []\n\n    if (isSource) {\n      runs.push({ input: { ...incoming, id }, base: incoming, runId: id, version })\n    } else if (isSibling) {\n      const p = await derivationSource.getCollection(spec.source).get(id)\n      if (p !== null && p !== undefined) {\n        // Raw base for a (rare) sibling self-write; falls back to the\n        // resolved primary if the raw read misses.\n        const raw = await derivationSource.getCollection(spec.source)._getStoredRecord(id)\n        runs.push({ input: { ...p, id }, base: raw ?? p, runId: id, version: 0 })\n      }\n    } else if (triggerEntries.length > 0 || hopEntries.length > 0) {\n      const srcColl = derivationSource.getCollection(spec.source)\n      const matched = new Set<string>()\n      // One lookup per hop per written record — `take: 'id'` is a direct get,\n      // anything else is a single field match on the intermediate. Never per\n      // candidate row (#1266's bound).\n      const lookup = async (coll: string, field: string, value: string): Promise<Record<string, unknown> | null> => {\n        const c = derivationSource.getCollection(coll)\n        if (field === 'id') return c._getStoredRecord(value)\n        const ids = await c._findMatchingCompositeIds([{ field, value }])\n        const first = ids[0]\n        return first === undefined ? null : c._getStoredRecord(first)\n      }\n      // A write to an intermediate collection: fan out on its old ∪ new value.\n      // The prior record is the intermediate's own, so #1249's capture already\n      // supplies it — the same mechanism, pointed at a third collection.\n      for (const trigger of hopEntries) {\n        const tuples = [tupleFromIntermediate(trigger.match, collectionName, incoming)]\n        if (canonicalPrior != null) {\n          const old = tupleFromIntermediate(trigger.match, collectionName, canonicalPrior)\n          if (!sameTuple(old, tuples[0]!)) tuples.push(old)\n        }\n        const ids = new Set<string>()\n        for (const tuple of tuples) {\n          if (tuple === null) continue\n          for (const sid of await srcColl._findMatchingCompositeIds(tuple)) ids.add(sid)\n        }\n        if (trigger.maxFanout !== undefined && ids.size > trigger.maxFanout) {\n          throw new DerivationCapExceededError(\n            `triggerBy hop ${collectionName}→${spec.source} [${trigger.match.map(p => p.to).join(',')}]`,\n            ids.size, trigger.maxFanout)\n        }\n        for (const sid of ids) matched.add(sid)\n      }\n      for (const trigger of triggerEntries) {\n        // Union fan-out (spec §7): an update changing any matched component\n        // must re-fire BOTH the old and the new matched set, or the old\n        // set's derived output goes stale (never re-derived once it no\n        // longer matches). `prior` is only ever a `Record` here — a wave\n        // dispatch and a create both skip the old tuple outright.\n        const tuples = [await resolveTuple(trigger.match, id, incoming, lookup)]\n        if (canonicalPrior != null && trigger.match.some((p) => p.from !== 'id')) {\n          const old = await resolveTuple(trigger.match, id, canonicalPrior, lookup)\n          if (!sameTuple(old, tuples[0]!)) tuples.push(old)\n        }\n        const ids = new Set<string>()\n        for (const tuple of tuples) {\n          if (tuple === null) continue   // a from-value is absent/non-scalar: matches nothing\n          for (const sid of await srcColl._findMatchingCompositeIds(tuple)) ids.add(sid)\n        }\n        if (trigger.maxFanout !== undefined && ids.size > trigger.maxFanout) {\n          throw new DerivationCapExceededError(\n            `triggerBy ${collectionName}→${spec.source} [${trigger.match.map(p => p.to).join(',')}]`,\n            ids.size, trigger.maxFanout)\n        }\n        for (const sid of ids) matched.add(sid)\n      }\n      for (const sid of matched) {\n        const raw = await srcColl._getStoredRecord(sid)\n        if (raw === null) continue\n        runs.push({ input: { ...raw, id: sid }, base: raw, runId: sid, version: 0 })\n      }\n    }\n\n    if (runs.length === 0) continue\n\n    if (mode !== 'eager') {\n      for (const run of runs) await markStale(registry, spec, run.runId)\n      continue\n    }\n\n    if (executorClass === null) {\n      ;({ DerivationExecutor: executorClass } = await import('./executor.js'))\n    }\n\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    for (const run of runs) await runOne(ctx, spec as any, strategyHash, executorClass, run)\n  }\n}\n\n/**\n * Run the executor for one (spec, run) pair and write its outputs. Shared by\n * `dispatchDerivations`' eager loop and `dispatchTriggerDerivationsOnDelete`\n * (#1249) — the write-out logic (array diff, record self-write reverse-denorm,\n * normal record output) is identical for a live write and a delete-triggered\n * re-derive; only how `runs` gets built differs.\n */\nasync function runOne(\n  ctx: DerivationDispatchCtx,\n  // eslint-disable-next-line @typescript-eslint/no-explicit-any\n  spec: any,\n  strategyHash: string,\n  executorClass: typeof DerivationExecutor,\n  run: { input: Record<string, unknown> & { id: string }; base: Record<string, unknown>; runId: string; version: number },\n): Promise<void> {\n  const { derivationSource, adapter, vault, getDEK, storeCiphertext, dispatchCtx, trackPut } = ctx\n  const execCtx = { vault: derivationSource.getReadOnlyFacade() }\n  const outCtx = dispatchCtx({ collection: spec.source, id: run.runId })\n  const result = await executorClass.run(spec, run.input, run.version, strategyHash, execCtx)\n  for (const key of Object.keys(spec.outputs)) {\n    const out = result.outputs[key]\n    if (!out) continue\n    if (out.kind === 'failed') {\n      const err = out.error\n      if (spec.strict) throw err\n      console.warn(`[derivation] output \"${key}\" for source \"${spec.source}\" id=\"${run.runId}\" failed:`, err)\n      continue\n    }\n    const outSpec = spec.outputs[key]\n    if (!outSpec) continue\n    const outputCollection = derivationSource.getCollection(outSpec.collection)\n    // If we're inside a multi-record transaction, register\n    // derived writes as side-effect ops on the active ctx\n    // BEFORE they fire. `revertExecuted` walks `_executed` in\n    // reverse on rollback, so capturing the pre-write envelope\n    // here lets a later mid-batch failure restore this output's\n    // prior state alongside the source op. Outside a transaction\n    // the context is null and tracking is skipped.\n    const txCtx = derivationSource.getActiveTxContext()\n\n    // ── Array-shape branch ─────────────────────────────────\n    if (out.kind === 'array') {\n      // Load the prior key set from the fanout sidecar.\n      const { loadFanoutSidecar, saveFanoutSidecar } = await import('./fanout-sidecar.js')\n      const prior = await loadFanoutSidecar(adapter, vault, spec.source, run.runId, key, getDEK, storeCiphertext)\n      const prevKeys = new Set<string>(prior?.keys ?? [])\n      const newKeysList = out.entries.map((e: { key: string }) => e.key)\n      const newKeysSet = new Set<string>(newKeysList)\n\n      // Diff — delete keys that were in prev but not in new.\n      for (const k of prevKeys) {\n        if (newKeysSet.has(k)) continue\n        await outputCollection._internalDelete(k, txCtx)\n      }\n\n      // Upsert every entry in the new set. (Slice 1: no\n      // identity-skip optimisation; write every row, idempotent\n      // at the (collection, id) level.)\n      for (const entry of out.entries) {\n        if (txCtx !== null) {\n          trackPut(txCtx, outSpec.collection, entry.key, await adapter.get(vault, outSpec.collection, entry.key))\n        }\n        await putDerivedOutput(outputCollection, entry.key, entry.value, outCtx, { source: 'derived' })\n      }\n\n      // Persist the new key set last, for failure-mode symmetry.\n      await saveFanoutSidecar(adapter, vault, {\n        source: spec.source,\n        sourceId: run.runId,\n        outputKey: key,\n        outputCollection: outSpec.collection,\n        keys: newKeysList,\n      }, getDEK, storeCiphertext)\n      continue\n    }\n\n    // ── Record-shape branch ────────────────────────────────\n    if (out.skipped === true) {\n      // Optional output returned null. Delete the\n      // previously-emitted output at this id, if any. Routed\n      // through `_internalDelete` so a user-registered\n      // `onDelete` on the output collection does NOT\n      // fire — this is a system-internal tombstone, not a\n      // user-initiated delete. The txCtx hookup captures the\n      // prior envelope inside `_internalDelete` for rollback\n      // symmetry; delete-of-absent is a silent no-op.\n      await outputCollection._internalDelete(run.runId, txCtx)\n      continue\n    }\n\n    // ── Self-write reverse-denorm ───────────────────────────\n    // An output back to its own source: patch ONLY the declared\n    // `denorm` fields onto the raw stored record, never the whole\n    // value (which would clobber user fields / i18n maps and carries\n    // the executor's `_derivedFrom` tag). If the patch changes\n    // nothing, skip the write — that value-equality is the cycle\n    // guard: the self-write re-fires the source-path derivation,\n    // which recomputes identical fields and terminates here.\n    if (outSpec.shape === 'record' && outSpec.denorm !== undefined && outSpec.collection === spec.source) {\n      const value = out.value\n      const patched: Record<string, unknown> = { ...run.base }\n      let changed = false\n      for (const f of outSpec.denorm) {\n        if (!selfWriteFieldEqual(run.base[f], value[f])) {\n          patched[f] = value[f]\n          changed = true\n        }\n      }\n      if (!changed) continue // cycle guard — nothing to write\n      if (txCtx !== null) {\n        trackPut(txCtx, outSpec.collection, run.runId, await adapter.get(vault, outSpec.collection, run.runId))\n      }\n      await putDerivedOutput(outputCollection, run.runId, patched, outCtx, { source: 'derived' })\n      continue\n    }\n\n    // ── Normal record output (separate output collection) ──\n    if (txCtx !== null) {\n      trackPut(txCtx, outSpec.collection, run.runId, await adapter.get(vault, outSpec.collection, run.runId))\n    }\n    await putDerivedOutput(outputCollection, run.runId, out.value, outCtx, { source: 'derived' })\n  }\n}\n\n/**\n * Trigger fan-out for a DELETED parent record (#1249, spec §8). Distinct from\n * the \"record-shape derivations not dispatched on delete\" rule — that is\n * about deleting a SOURCE record; this fires when a TRIGGER collection's\n * record is deleted, re-deriving source records that still exist. Pairs\n * evaluate against the tombstoned record's values; matched sources re-derive\n * through the normal executor (their derive() reads the now-absent parent\n * and decides what that means — the engine never cascades deletes).\n */\nexport async function dispatchTriggerDerivationsOnDelete(\n  ctx: DerivationDispatchCtx, id: string, deleted: Record<string, unknown>,\n): Promise<void> {\n  const { derivationSource, collectionName } = ctx\n  const registry = derivationSource.registry()\n  const strategies = registry.strategiesForSource(collectionName)\n  if (strategies.length === 0) return\n  let executorClass: typeof DerivationExecutor | null = null\n  for (const { spec, strategyHash, triggers } of strategies) {\n    if (spec.rollup) continue                                    // rollup-on-delete already exists\n    if (spec.source === collectionName) continue                 // source delete: existing rule, untouched\n    if (spec.sources?.includes(collectionName)) continue          // declared sibling source: same exclusion as the write path's isSibling check\n    const entries = triggers.filter((t) => t.collection === collectionName)\n    // #1294 — deleting an INTERMEDIATE strands every source it addressed, for\n    // the same reason re-pointing one does: nothing is written to the trigger\n    // or source collection. The write path handles this; the delete path did\n    // not, which made the hop's correctness argument hold for puts only.\n    const hopEntries = triggers.filter((t) => hopCollections(t.match).includes(collectionName))\n    if (entries.length === 0 && hopEntries.length === 0) continue\n    const mode = typeof spec.lifecycle === 'string' ? spec.lifecycle : spec.lifecycle.mode\n    const srcColl = derivationSource.getCollection(spec.source)\n    const matched = new Set<string>()\n    const lookup = async (coll: string, field: string, value: string): Promise<Record<string, unknown> | null> => {\n      const c = derivationSource.getCollection(coll)\n      if (field === 'id') return c._getStoredRecord(value)\n      const found = await c._findMatchingCompositeIds([{ field, value }])\n      const first = found[0]\n      return first === undefined ? null : c._getStoredRecord(first)\n    }\n    const cap = (trigger: { maxFanout?: number; match: ReadonlyArray<{ to: string }> }, n: number, label: string): void => {\n      if (trigger.maxFanout !== undefined && n > trigger.maxFanout) {\n        throw new DerivationCapExceededError(\n          `triggerBy ${label} ${collectionName}→${spec.source} [${trigger.match.map(p => p.to).join(',')}] (delete)`,\n          n, trigger.maxFanout)\n      }\n    }\n    for (const trigger of entries) {\n      // #1294 — resolve the hop here too. The old sync builder compared the raw\n      // `from` value against `source[to]`, which for a mapped pair is the\n      // wrong side of the relationship: it matched nothing, silently, so a\n      // delete through a hop fanned out to no one while a delete through a\n      // plain pair worked.\n      const tuple = await resolveTuple(trigger.match, id, deleted, lookup)\n      if (tuple === null) continue\n      const ids = await srcColl._findMatchingCompositeIds(tuple)\n      cap(trigger, ids.length, '')\n      for (const sid of ids) matched.add(sid)\n    }\n    for (const trigger of hopEntries) {\n      const tuple = tupleFromIntermediate(trigger.match, collectionName, deleted)\n      if (tuple === null) continue\n      const ids = await srcColl._findMatchingCompositeIds(tuple)\n      cap(trigger, ids.length, 'hop')\n      for (const sid of ids) matched.add(sid)\n    }\n    if (matched.size === 0) continue\n    if (mode !== 'eager') { for (const sid of matched) await markStale(registry, spec, sid); continue }\n    if (executorClass === null) ({ DerivationExecutor: executorClass } = await import('./executor.js'))\n    for (const sid of matched) {\n      const raw = await srcColl._getStoredRecord(sid)\n      if (raw === null) continue\n      await runOne(ctx, spec, strategyHash, executorClass, { input: { ...raw, id: sid }, base: raw, runId: sid, version: 0 })\n    }\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0EA,eAAsB,iCACpB,KACA,IACA,sBAAsB,OACL;AACjB,QAAM,EAAE,kBAAkB,gBAAgB,SAAS,OAAO,QAAQ,gBAAgB,IAAI;AAEtF,QAAM,aAAa,iBAAiB,SAAS,EAAE,oBAAoB,cAAc;AACjF,MAAI,WAAW,WAAW,EAAG,QAAO;AAEpC,QAAM,EAAE,mBAAmB,oBAAoB,IAAI,MAAM,OAAO,8BAAqB;AACrF,QAAM,QAAQ,iBAAiB,mBAAmB;AAClD,MAAI,SAAS;AAEb,aAAW,EAAE,KAAK,KAAK,YAAY;AACjC,eAAW,CAAC,WAAW,OAAO,KAAK,OAAO,QAAQ,KAAK,OAAO,GAAG;AAC/D,UAAI,QAAQ,UAAU,UAAU;AAC9B,YAAI,uBAAuB,KAAK,WAAW,kBAAkB,QAAQ,eAAe,gBAAgB;AAClG,cAAI,MAAM,iBAAiB,cAAc,QAAQ,UAAU,EAAE,gBAAgB,IAAI,KAAK,EAAG,WAAU;AAAA,QACrG;AACA;AAAA,MACF;AAEA,YAAM,UAAU,MAAM,kBAAkB,SAAS,OAAO,KAAK,QAAQ,IAAI,WAAW,QAAQ,eAAe;AAC3G,UAAI,CAAC,QAAS;AAEd,YAAM,mBAAmB,iBAAiB,cAAc,QAAQ,UAAU;AAC1E,iBAAW,aAAa,QAAQ,MAAM;AACpC,YAAI,MAAM,iBAAiB,gBAAgB,WAAW,KAAK,EAAG,WAAU;AAAA,MAC1E;AACA,YAAM,oBAAoB,SAAS,OAAO,KAAK,QAAQ,IAAI,SAAS;AAAA,IACtE;AAAA,EACF;AAEA,SAAO;AACT;AA4BA,eAAsB,oBACpB,KACA,IACA,QACA,SACA,MAKA,OACe;AACf,QAAM,EAAE,kBAAkB,gBAAgB,KAAK,gBAAgB,IAAI;AAInE,QAAM,WAAY,MAAM,IAAI,mBAAmB,MAAM,IAAI;AACzD,MAAI,YAAY,OAAO,aAAa,YAAY,kBAAkB,SAAU;AAK5E,QAAM,iBAAiB,SAAS,OAAQ,MAAM,IAAI,mBAAmB,KAAK,IAAI,QAAS;AACvF,QAAM,WAAW,iBAAiB,SAAS;AAC3C,QAAM,aAAa,SAAS,oBAAoB,cAAc;AAC9D,MAAI,WAAW,WAAW,EAAG;AAM7B,MAAI,gBAAkD;AACtD,aAAW,EAAE,MAAM,cAAc,SAAS,KAAK,YAAY;AACzD,UAAM,OAAO,OAAO,KAAK,cAAc,WAAW,KAAK,YAAY,KAAK,UAAU;AAKlF,QAAI,KAAK,QAAQ;AACf,UAAI,SAAS,QAAS;AACtB,YAAM,aAAa,CAAC,MACjB,OAAO,MAAM,YAAY,OAAO,MAAM,WAAY,OAAO,CAAC,IAAI;AACjE,UAAI;AAOJ,UAAI,cAA6B;AACjC,UAAI,mBAAmB,KAAK,OAAO,MAAM;AACvC,mBAAW,WAAW,SAAS,KAAK,OAAO,GAAG,CAAC;AAC/C,cAAM,WAAW,kBAAkB,OAAO,WAAW,eAAe,KAAK,OAAO,GAAG,CAAC,IAAI;AACxF,YAAI,aAAa,QAAQ,aAAa,SAAU,eAAc;AAAA,MAChE,OAAO;AACL,mBAAW;AAAA,MACb;AACA,UAAI,aAAa,KAAM,OAAM,gBAAgB,MAAM,UAAU,EAAE,YAAY,gBAAgB,GAAG,GAAG,IAAI;AAGrG,UAAI,gBAAgB,KAAM,OAAM,gBAAgB,MAAM,aAAa,EAAE,YAAY,gBAAgB,GAAG,GAAG,IAAI;AAC3G;AAAA,IACF;AAUA,UAAM,WAAW,KAAK,WAAW;AACjC,UAAM,YAAY,CAAC,aAAa,KAAK,SAAS,SAAS,cAAc,KAAK;AAC1E,UAAM,iBAAiB,CAAC,YAAY,CAAC,YACjC,SAAS,OAAO,CAAC,MAAM,EAAE,eAAe,cAAc,IACtD,CAAC;AAOL,UAAM,aAAa,CAAC,YAAY,CAAC,YAC7B,SAAS,OAAO,CAAC,MAAM,eAAe,EAAE,KAAK,EAAE,SAAS,cAAc,CAAC,IACvE,CAAC;AAEL,UAAM,OAKD,CAAC;AAEN,QAAI,UAAU;AACZ,WAAK,KAAK,EAAE,OAAO,EAAE,GAAG,UAAU,GAAG,GAAG,MAAM,UAAU,OAAO,IAAI,QAAQ,CAAC;AAAA,IAC9E,WAAW,WAAW;AACpB,YAAM,IAAI,MAAM,iBAAiB,cAAc,KAAK,MAAM,EAAE,IAAI,EAAE;AAClE,UAAI,MAAM,QAAQ,MAAM,QAAW;AAGjC,cAAM,MAAM,MAAM,iBAAiB,cAAc,KAAK,MAAM,EAAE,iBAAiB,EAAE;AACjF,aAAK,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,GAAG,GAAG,MAAM,OAAO,GAAG,OAAO,IAAI,SAAS,EAAE,CAAC;AAAA,MAC1E;AAAA,IACF,WAAW,eAAe,SAAS,KAAK,WAAW,SAAS,GAAG;AAC7D,YAAM,UAAU,iBAAiB,cAAc,KAAK,MAAM;AAC1D,YAAM,UAAU,oBAAI,IAAY;AAIhC,YAAM,SAAS,OAAO,MAAc,OAAe,UAA2D;AAC5G,cAAM,IAAI,iBAAiB,cAAc,IAAI;AAC7C,YAAI,UAAU,KAAM,QAAO,EAAE,iBAAiB,KAAK;AACnD,cAAM,MAAM,MAAM,EAAE,0BAA0B,CAAC,EAAE,OAAO,MAAM,CAAC,CAAC;AAChE,cAAM,QAAQ,IAAI,CAAC;AACnB,eAAO,UAAU,SAAY,OAAO,EAAE,iBAAiB,KAAK;AAAA,MAC9D;AAIA,iBAAW,WAAW,YAAY;AAChC,cAAM,SAAS,CAAC,sBAAsB,QAAQ,OAAO,gBAAgB,QAAQ,CAAC;AAC9E,YAAI,kBAAkB,MAAM;AAC1B,gBAAM,MAAM,sBAAsB,QAAQ,OAAO,gBAAgB,cAAc;AAC/E,cAAI,CAAC,UAAU,KAAK,OAAO,CAAC,CAAE,EAAG,QAAO,KAAK,GAAG;AAAA,QAClD;AACA,cAAM,MAAM,oBAAI,IAAY;AAC5B,mBAAW,SAAS,QAAQ;AAC1B,cAAI,UAAU,KAAM;AACpB,qBAAW,OAAO,MAAM,QAAQ,0BAA0B,KAAK,EAAG,KAAI,IAAI,GAAG;AAAA,QAC/E;AACA,YAAI,QAAQ,cAAc,UAAa,IAAI,OAAO,QAAQ,WAAW;AACnE,gBAAM,IAAI;AAAA,YACR,iBAAiB,cAAc,SAAI,KAAK,MAAM,KAAK,QAAQ,MAAM,IAAI,OAAK,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC;AAAA,YACzF,IAAI;AAAA,YAAM,QAAQ;AAAA,UAAS;AAAA,QAC/B;AACA,mBAAW,OAAO,IAAK,SAAQ,IAAI,GAAG;AAAA,MACxC;AACA,iBAAW,WAAW,gBAAgB;AAMpC,cAAM,SAAS,CAAC,MAAM,aAAa,QAAQ,OAAO,IAAI,UAAU,MAAM,CAAC;AACvE,YAAI,kBAAkB,QAAQ,QAAQ,MAAM,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,GAAG;AACxE,gBAAM,MAAM,MAAM,aAAa,QAAQ,OAAO,IAAI,gBAAgB,MAAM;AACxE,cAAI,CAAC,UAAU,KAAK,OAAO,CAAC,CAAE,EAAG,QAAO,KAAK,GAAG;AAAA,QAClD;AACA,cAAM,MAAM,oBAAI,IAAY;AAC5B,mBAAW,SAAS,QAAQ;AAC1B,cAAI,UAAU,KAAM;AACpB,qBAAW,OAAO,MAAM,QAAQ,0BAA0B,KAAK,EAAG,KAAI,IAAI,GAAG;AAAA,QAC/E;AACA,YAAI,QAAQ,cAAc,UAAa,IAAI,OAAO,QAAQ,WAAW;AACnE,gBAAM,IAAI;AAAA,YACR,aAAa,cAAc,SAAI,KAAK,MAAM,KAAK,QAAQ,MAAM,IAAI,OAAK,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC;AAAA,YACrF,IAAI;AAAA,YAAM,QAAQ;AAAA,UAAS;AAAA,QAC/B;AACA,mBAAW,OAAO,IAAK,SAAQ,IAAI,GAAG;AAAA,MACxC;AACA,iBAAW,OAAO,SAAS;AACzB,cAAM,MAAM,MAAM,QAAQ,iBAAiB,GAAG;AAC9C,YAAI,QAAQ,KAAM;AAClB,aAAK,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,IAAI,IAAI,GAAG,MAAM,KAAK,OAAO,KAAK,SAAS,EAAE,CAAC;AAAA,MAC7E;AAAA,IACF;AAEA,QAAI,KAAK,WAAW,EAAG;AAEvB,QAAI,SAAS,SAAS;AACpB,iBAAW,OAAO,KAAM,OAAM,UAAU,UAAU,MAAM,IAAI,KAAK;AACjE;AAAA,IACF;AAEA,QAAI,kBAAkB,MAAM;AAC1B;AAAC,OAAC,EAAE,oBAAoB,cAAc,IAAI,MAAM,OAAO,wBAAe;AAAA,IACxE;AAGA,eAAW,OAAO,KAAM,OAAM,OAAO,KAAK,MAAa,cAAc,eAAe,GAAG;AAAA,EACzF;AACF;AASA,eAAe,OACb,KAEA,MACA,cACA,eACA,KACe;AACf,QAAM,EAAE,kBAAkB,SAAS,OAAO,QAAQ,iBAAiB,aAAa,SAAS,IAAI;AAC7F,QAAM,UAAU,EAAE,OAAO,iBAAiB,kBAAkB,EAAE;AAC9D,QAAM,SAAS,YAAY,EAAE,YAAY,KAAK,QAAQ,IAAI,IAAI,MAAM,CAAC;AACrE,QAAM,SAAS,MAAM,cAAc,IAAI,MAAM,IAAI,OAAO,IAAI,SAAS,cAAc,OAAO;AAC1F,aAAW,OAAO,OAAO,KAAK,KAAK,OAAO,GAAG;AAC3C,UAAM,MAAM,OAAO,QAAQ,GAAG;AAC9B,QAAI,CAAC,IAAK;AACV,QAAI,IAAI,SAAS,UAAU;AACzB,YAAM,MAAM,IAAI;AAChB,UAAI,KAAK,OAAQ,OAAM;AACvB,cAAQ,KAAK,wBAAwB,GAAG,iBAAiB,KAAK,MAAM,SAAS,IAAI,KAAK,aAAa,GAAG;AACtG;AAAA,IACF;AACA,UAAM,UAAU,KAAK,QAAQ,GAAG;AAChC,QAAI,CAAC,QAAS;AACd,UAAM,mBAAmB,iBAAiB,cAAc,QAAQ,UAAU;AAQ1E,UAAM,QAAQ,iBAAiB,mBAAmB;AAGlD,QAAI,IAAI,SAAS,SAAS;AAExB,YAAM,EAAE,mBAAmB,kBAAkB,IAAI,MAAM,OAAO,8BAAqB;AACnF,YAAM,QAAQ,MAAM,kBAAkB,SAAS,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ,eAAe;AAC1G,YAAM,WAAW,IAAI,IAAY,OAAO,QAAQ,CAAC,CAAC;AAClD,YAAM,cAAc,IAAI,QAAQ,IAAI,CAAC,MAAuB,EAAE,GAAG;AACjE,YAAM,aAAa,IAAI,IAAY,WAAW;AAG9C,iBAAW,KAAK,UAAU;AACxB,YAAI,WAAW,IAAI,CAAC,EAAG;AACvB,cAAM,iBAAiB,gBAAgB,GAAG,KAAK;AAAA,MACjD;AAKA,iBAAW,SAAS,IAAI,SAAS;AAC/B,YAAI,UAAU,MAAM;AAClB,mBAAS,OAAO,QAAQ,YAAY,MAAM,KAAK,MAAM,QAAQ,IAAI,OAAO,QAAQ,YAAY,MAAM,GAAG,CAAC;AAAA,QACxG;AACA,cAAM,iBAAiB,kBAAkB,MAAM,KAAK,MAAM,OAAO,QAAQ,EAAE,QAAQ,UAAU,CAAC;AAAA,MAChG;AAGA,YAAM,kBAAkB,SAAS,OAAO;AAAA,QACtC,QAAQ,KAAK;AAAA,QACb,UAAU,IAAI;AAAA,QACd,WAAW;AAAA,QACX,kBAAkB,QAAQ;AAAA,QAC1B,MAAM;AAAA,MACR,GAAG,QAAQ,eAAe;AAC1B;AAAA,IACF;AAGA,QAAI,IAAI,YAAY,MAAM;AASxB,YAAM,iBAAiB,gBAAgB,IAAI,OAAO,KAAK;AACvD;AAAA,IACF;AAUA,QAAI,QAAQ,UAAU,YAAY,QAAQ,WAAW,UAAa,QAAQ,eAAe,KAAK,QAAQ;AACpG,YAAM,QAAQ,IAAI;AAClB,YAAM,UAAmC,EAAE,GAAG,IAAI,KAAK;AACvD,UAAI,UAAU;AACd,iBAAW,KAAK,QAAQ,QAAQ;AAC9B,YAAI,CAAC,oBAAoB,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG;AAC/C,kBAAQ,CAAC,IAAI,MAAM,CAAC;AACpB,oBAAU;AAAA,QACZ;AAAA,MACF;AACA,UAAI,CAAC,QAAS;AACd,UAAI,UAAU,MAAM;AAClB,iBAAS,OAAO,QAAQ,YAAY,IAAI,OAAO,MAAM,QAAQ,IAAI,OAAO,QAAQ,YAAY,IAAI,KAAK,CAAC;AAAA,MACxG;AACA,YAAM,iBAAiB,kBAAkB,IAAI,OAAO,SAAS,QAAQ,EAAE,QAAQ,UAAU,CAAC;AAC1F;AAAA,IACF;AAGA,QAAI,UAAU,MAAM;AAClB,eAAS,OAAO,QAAQ,YAAY,IAAI,OAAO,MAAM,QAAQ,IAAI,OAAO,QAAQ,YAAY,IAAI,KAAK,CAAC;AAAA,IACxG;AACA,UAAM,iBAAiB,kBAAkB,IAAI,OAAO,IAAI,OAAO,QAAQ,EAAE,QAAQ,UAAU,CAAC;AAAA,EAC9F;AACF;AAWA,eAAsB,mCACpB,KAA4B,IAAY,SACzB;AACf,QAAM,EAAE,kBAAkB,eAAe,IAAI;AAC7C,QAAM,WAAW,iBAAiB,SAAS;AAC3C,QAAM,aAAa,SAAS,oBAAoB,cAAc;AAC9D,MAAI,WAAW,WAAW,EAAG;AAC7B,MAAI,gBAAkD;AACtD,aAAW,EAAE,MAAM,cAAc,SAAS,KAAK,YAAY;AACzD,QAAI,KAAK,OAAQ;AACjB,QAAI,KAAK,WAAW,eAAgB;AACpC,QAAI,KAAK,SAAS,SAAS,cAAc,EAAG;AAC5C,UAAM,UAAU,SAAS,OAAO,CAAC,MAAM,EAAE,eAAe,cAAc;AAKtE,UAAM,aAAa,SAAS,OAAO,CAAC,MAAM,eAAe,EAAE,KAAK,EAAE,SAAS,cAAc,CAAC;AAC1F,QAAI,QAAQ,WAAW,KAAK,WAAW,WAAW,EAAG;AACrD,UAAM,OAAO,OAAO,KAAK,cAAc,WAAW,KAAK,YAAY,KAAK,UAAU;AAClF,UAAM,UAAU,iBAAiB,cAAc,KAAK,MAAM;AAC1D,UAAM,UAAU,oBAAI,IAAY;AAChC,UAAM,SAAS,OAAO,MAAc,OAAe,UAA2D;AAC5G,YAAM,IAAI,iBAAiB,cAAc,IAAI;AAC7C,UAAI,UAAU,KAAM,QAAO,EAAE,iBAAiB,KAAK;AACnD,YAAM,QAAQ,MAAM,EAAE,0BAA0B,CAAC,EAAE,OAAO,MAAM,CAAC,CAAC;AAClE,YAAM,QAAQ,MAAM,CAAC;AACrB,aAAO,UAAU,SAAY,OAAO,EAAE,iBAAiB,KAAK;AAAA,IAC9D;AACA,UAAM,MAAM,CAAC,SAAuE,GAAW,UAAwB;AACrH,UAAI,QAAQ,cAAc,UAAa,IAAI,QAAQ,WAAW;AAC5D,cAAM,IAAI;AAAA,UACR,aAAa,KAAK,IAAI,cAAc,SAAI,KAAK,MAAM,KAAK,QAAQ,MAAM,IAAI,OAAK,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC;AAAA,UAC9F;AAAA,UAAG,QAAQ;AAAA,QAAS;AAAA,MACxB;AAAA,IACF;AACA,eAAW,WAAW,SAAS;AAM7B,YAAM,QAAQ,MAAM,aAAa,QAAQ,OAAO,IAAI,SAAS,MAAM;AACnE,UAAI,UAAU,KAAM;AACpB,YAAM,MAAM,MAAM,QAAQ,0BAA0B,KAAK;AACzD,UAAI,SAAS,IAAI,QAAQ,EAAE;AAC3B,iBAAW,OAAO,IAAK,SAAQ,IAAI,GAAG;AAAA,IACxC;AACA,eAAW,WAAW,YAAY;AAChC,YAAM,QAAQ,sBAAsB,QAAQ,OAAO,gBAAgB,OAAO;AAC1E,UAAI,UAAU,KAAM;AACpB,YAAM,MAAM,MAAM,QAAQ,0BAA0B,KAAK;AACzD,UAAI,SAAS,IAAI,QAAQ,KAAK;AAC9B,iBAAW,OAAO,IAAK,SAAQ,IAAI,GAAG;AAAA,IACxC;AACA,QAAI,QAAQ,SAAS,EAAG;AACxB,QAAI,SAAS,SAAS;AAAE,iBAAW,OAAO,QAAS,OAAM,UAAU,UAAU,MAAM,GAAG;AAAG;AAAA,IAAS;AAClG,QAAI,kBAAkB,KAAM,EAAC,EAAE,oBAAoB,cAAc,IAAI,MAAM,OAAO,wBAAe;AACjG,eAAW,OAAO,SAAS;AACzB,YAAM,MAAM,MAAM,QAAQ,iBAAiB,GAAG;AAC9C,UAAI,QAAQ,KAAM;AAClB,YAAM,OAAO,KAAK,MAAM,cAAc,eAAe,EAAE,OAAO,EAAE,GAAG,KAAK,IAAI,IAAI,GAAG,MAAM,KAAK,OAAO,KAAK,SAAS,EAAE,CAAC;AAAA,IACxH;AAAA,EACF;AACF;","names":[]}

package/dist/{dispatch-QCF7KPIP.js → dispatch-WC6X2M6C.js}

@@ -1,5 +1,3 @@
-import "./chunk-PZ5AY32C.js";
-
 // src/with-formula/materialized-views/dispatch.ts
 async function dispatchMaterializedViews(ctx, id, record, wave) {
   const { materializedViewSource: source, collectionName, dispatchCtx } = ctx;
@@ -16,7 +14,7 @@ async function dispatchMaterializedViews(ctx, id, record, wave) {
       if (wave?.seen(`mv\0${reg.spec.name}`)) continue;
       if (executor === null) {
         ;
-        ({ MaterializedViewExecutor: executor } = await import("./executor-67NA4KPO.js"));
+        ({ MaterializedViewExecutor: executor } = await import("./executor-PUAO6AKJ.js"));
       }
       await executor.refresh(reg, {
         getCollection: (name) => source.getCollection(name),
@@ -25,7 +23,7 @@ async function dispatchMaterializedViews(ctx, id, record, wave) {
         dispatchCtx: dispatchCtx({ collection: collectionName, id })
       });
     } else if (mode === "lazy") {
-      if (staleHelpers === null) staleHelpers = await import("./stale-HZR7745Y.js");
+      if (staleHelpers === null) staleHelpers = await import("./stale-DDL7WQEZ.js");
       staleHelpers.markMVStale(registry, reg.spec.name);
     }
   }
@@ -47,7 +45,7 @@ async function dispatchMaterializedViewsOnDelete(ctx, id) {
     if (mode === "eager") {
       if (executor === null) {
         ;
-        ({ MaterializedViewExecutor: executor } = await import("./executor-67NA4KPO.js"));
+        ({ MaterializedViewExecutor: executor } = await import("./executor-PUAO6AKJ.js"));
       }
       const rr = await executor.refresh(reg, {
         getCollection: (name) => source.getCollection(name),
@@ -60,7 +58,7 @@ async function dispatchMaterializedViewsOnDelete(ctx, id) {
       residueDeclined.push(...rr.residueDeclined);
       continue;
     }
-    if (staleHelpers === null) staleHelpers = await import("./stale-HZR7745Y.js");
+    if (staleHelpers === null) staleHelpers = await import("./stale-DDL7WQEZ.js");
     const inv = await staleHelpers.invalidateMVAtRest(source, reg, mode);
     deleted += inv.deleted;
     residueUndecodable.push(...inv.residueUndecodable.map((rid) => `${reg.outputCollection}:${rid}`));
@@ -72,4 +70,4 @@ export {
   dispatchMaterializedViews,
   dispatchMaterializedViewsOnDelete
 };
-//# sourceMappingURL=dispatch-QCF7KPIP.js.map
+//# sourceMappingURL=dispatch-WC6X2M6C.js.map

package/dist/{dispatch-QCF7KPIP.js.map → dispatch-WC6X2M6C.js.map}

@@ -1 +1 @@
-{"version":3,"sources":["../src/with-formula/materialized-views/dispatch.ts"],"sourcesContent":["/**\n * Materialized-view dispatch, lifted out of the kernel spine (#842 part b).\n *\n * Reached from `Collection` by dynamic `import()` only — `port-layering`\n * forbids a static spine→`with-*` import, and rejects a type-only one too\n * (it scans import statements, not their erasure). See\n * `with-formula/derivations/dispatch.ts` for the same note.\n *\n * The `Collection` reference below is TYPE-ONLY and points inward\n * (service → kernel), so it is both allowed and erased at build.\n *\n * @internal\n */\n\nimport type { TxContext } from '../../with-commit/tx/transaction.js'\nimport type { Collection } from '../../kernel/collection.js'\nimport type { ledgerAuditHook, WaveContext } from '../../kernel/via/dispatch.js'\nimport type { MaterializedViewExecutor } from './executor.js'\nimport type * as MVStale from './stale.js'\nimport type { MaterializedViewRegistry } from './registry.js'\nimport type { MVQueryContext } from './types.js'\n\n/** The per-write dispatch context the MV executor threads through. */\ninterface DispatchCtx {\n  emit: (e: string, p: unknown) => void\n  source: { readonly collection: string; readonly id: string }\n  audit: ReturnType<typeof ledgerAuditHook>\n}\n\n/** What the MV dispatchers need from the collection that owns them. */\nexport interface MvDispatchCtx {\n  readonly materializedViewSource: {\n    registry(): MaterializedViewRegistry\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    getCollection(name: string): Collection<any>\n    getActiveTxContext(): TxContext | null\n    getQueryContext(): MVQueryContext\n  }\n  /** The collection the delete happened in. */\n  readonly collectionName: string\n  /** Builds the per-write dispatch context the executor threads through. */\n  readonly dispatchCtx: (source: { readonly collection: string; readonly id: string }) => DispatchCtx\n}\n\n/**\n * Fire every MV whose dependency set includes this collection, on write.\n *\n * Skips entirely when the record being written is itself an MV-emitted row\n * (it carries `_materializedFrom`) — a defensive guard against missed cycle\n * detection.\n *\n * @param wave #638 Task 4 — the sync/cutover/restore dispatch wave. An eager\n *   MV already refreshed in this wave is skipped, deduped per target on the\n *   spec name.\n */\nexport async function dispatchMaterializedViews(\n  ctx: MvDispatchCtx,\n  id: string,\n  record: Record<string, unknown>,\n  wave?: WaveContext,\n): Promise<void> {\n  const { materializedViewSource: source, collectionName, dispatchCtx } = ctx\n\n  if (record && typeof record === 'object' && '_materializedFrom' in record) return\n\n  const registry = source.registry()\n  // #1139 — replan any query-form strategy parked at vault open because its\n  // join named a ref that had not been declared yet. No-op once drained.\n  await registry.resolvePendingPlans()\n  const mvs = registry.mvsForSource(collectionName)\n  if (mvs.length === 0) return\n\n  let executor: typeof MaterializedViewExecutor | null = null\n  let staleHelpers: typeof MVStale | null = null\n\n  for (const reg of mvs) {\n    const mode = reg.spec.refresh\n\n    if (mode === 'eager') {\n      if (wave?.seen(`mv\\0${reg.spec.name}`)) continue\n      if (executor === null) {\n        ;({ MaterializedViewExecutor: executor } = await import('./executor.js'))\n      }\n      await executor.refresh(reg, {\n        getCollection: (name) => source.getCollection(name),\n        getActiveTxContext: () => source.getActiveTxContext(),\n        getQueryContext: () => source.getQueryContext(),\n        dispatchCtx: dispatchCtx({ collection: collectionName, id }),\n      })\n    } else if (mode === 'lazy') {\n      if (staleHelpers === null) staleHelpers = await import('./stale.js')\n      staleHelpers.markMVStale(registry, reg.spec.name)\n    }\n    // manual: no-op on source-write. `vault.refreshView(name)` is the only\n    // path that materializes a manual MV.\n  }\n}\n\n/**\n * Mirror of {@link dispatchMaterializedViews} for the delete/forget path. There is\n * no `_materializedFrom` skip — the record is gone — and the `internal` gate\n * at `_doDelete` is the recursion guard.\n *\n * @returns rows TOMBSTONED across every MV sourced here (#638 T6). Eager and\n *   lazy/manual `invalidateMVAtRest` purges both contribute (#761 item 1,\n *   previously eager-only): lazy persists a stale mark for cold-session\n *   recompute, manual serves empty until `refreshView()`.\n *   `residueUndecodable` / `residueDeclined` (#776/#785) carry\n *   `outputCollection:id` entries whose ownership stamp `invalidateMVAtRest`\n *   could not decode, respectively decoded and stamp-matched but declined to\n *   erase — surfaced, not erased.\n */\nexport async function dispatchMaterializedViewsOnDelete(\n  ctx: MvDispatchCtx,\n  id: string,\n): Promise<{ deleted: number; residueUndecodable: string[]; residueDeclined: string[] }> {\n  const { materializedViewSource: source, collectionName, dispatchCtx } = ctx\n\n  const registry = source.registry()\n  await registry.resolvePendingPlans() // #1139 — see the put-path dispatcher\n  const mvs = registry.mvsForSource(collectionName)\n  const empty = { deleted: 0, residueUndecodable: [], residueDeclined: [] }\n  if (mvs.length === 0) return empty\n\n  let executor: typeof MaterializedViewExecutor | null = null\n  let staleHelpers: typeof MVStale | null = null\n\n  let deleted = 0\n  const residueUndecodable: string[] = []\n  const residueDeclined: string[] = []\n\n  for (const reg of mvs) {\n    const mode = reg.spec.refresh\n\n    if (mode === 'eager') {\n      if (executor === null) {\n        ;({ MaterializedViewExecutor: executor } = await import('./executor.js'))\n      }\n      const rr = await executor.refresh(reg, {\n        getCollection: (name) => source.getCollection(name),\n        getActiveTxContext: () => source.getActiveTxContext(),\n        getQueryContext: () => source.getQueryContext(),\n        dispatchCtx: dispatchCtx({ collection: collectionName, id }),\n      })\n      // #782/#785 — the eager leg reports both residue channels.\n      deleted += rr.deleted\n      residueUndecodable.push(...rr.residueUndecodable)\n      residueDeclined.push(...rr.residueDeclined)\n      continue\n    }\n\n    if (staleHelpers === null) staleHelpers = await import('./stale.js')\n    const inv = await staleHelpers.invalidateMVAtRest(source, reg, mode)\n    deleted += inv.deleted\n    residueUndecodable.push(...inv.residueUndecodable.map((rid) => `${reg.outputCollection}:${rid}`))\n    residueDeclined.push(...inv.residueDeclined.map((rid) => `${reg.outputCollection}:${rid}`))\n  }\n\n  return { deleted, residueUndecodable, residueDeclined }\n}\n"],"mappings":";;;AAuDA,eAAsB,0BACpB,KACA,IACA,QACA,MACe;AACf,QAAM,EAAE,wBAAwB,QAAQ,gBAAgB,YAAY,IAAI;AAExE,MAAI,UAAU,OAAO,WAAW,YAAY,uBAAuB,OAAQ;AAE3E,QAAM,WAAW,OAAO,SAAS;AAGjC,QAAM,SAAS,oBAAoB;AACnC,QAAM,MAAM,SAAS,aAAa,cAAc;AAChD,MAAI,IAAI,WAAW,EAAG;AAEtB,MAAI,WAAmD;AACvD,MAAI,eAAsC;AAE1C,aAAW,OAAO,KAAK;AACrB,UAAM,OAAO,IAAI,KAAK;AAEtB,QAAI,SAAS,SAAS;AACpB,UAAI,MAAM,KAAK,OAAO,IAAI,KAAK,IAAI,EAAE,EAAG;AACxC,UAAI,aAAa,MAAM;AACrB;AAAC,SAAC,EAAE,0BAA0B,SAAS,IAAI,MAAM,OAAO,wBAAe;AAAA,MACzE;AACA,YAAM,SAAS,QAAQ,KAAK;AAAA,QAC1B,eAAe,CAAC,SAAS,OAAO,cAAc,IAAI;AAAA,QAClD,oBAAoB,MAAM,OAAO,mBAAmB;AAAA,QACpD,iBAAiB,MAAM,OAAO,gBAAgB;AAAA,QAC9C,aAAa,YAAY,EAAE,YAAY,gBAAgB,GAAG,CAAC;AAAA,MAC7D,CAAC;AAAA,IACH,WAAW,SAAS,QAAQ;AAC1B,UAAI,iBAAiB,KAAM,gBAAe,MAAM,OAAO,qBAAY;AACnE,mBAAa,YAAY,UAAU,IAAI,KAAK,IAAI;AAAA,IAClD;AAAA,EAGF;AACF;AAgBA,eAAsB,kCACpB,KACA,IACuF;AACvF,QAAM,EAAE,wBAAwB,QAAQ,gBAAgB,YAAY,IAAI;AAExE,QAAM,WAAW,OAAO,SAAS;AACjC,QAAM,SAAS,oBAAoB;AACnC,QAAM,MAAM,SAAS,aAAa,cAAc;AAChD,QAAM,QAAQ,EAAE,SAAS,GAAG,oBAAoB,CAAC,GAAG,iBAAiB,CAAC,EAAE;AACxE,MAAI,IAAI,WAAW,EAAG,QAAO;AAE7B,MAAI,WAAmD;AACvD,MAAI,eAAsC;AAE1C,MAAI,UAAU;AACd,QAAM,qBAA+B,CAAC;AACtC,QAAM,kBAA4B,CAAC;AAEnC,aAAW,OAAO,KAAK;AACrB,UAAM,OAAO,IAAI,KAAK;AAEtB,QAAI,SAAS,SAAS;AACpB,UAAI,aAAa,MAAM;AACrB;AAAC,SAAC,EAAE,0BAA0B,SAAS,IAAI,MAAM,OAAO,wBAAe;AAAA,MACzE;AACA,YAAM,KAAK,MAAM,SAAS,QAAQ,KAAK;AAAA,QACrC,eAAe,CAAC,SAAS,OAAO,cAAc,IAAI;AAAA,QAClD,oBAAoB,MAAM,OAAO,mBAAmB;AAAA,QACpD,iBAAiB,MAAM,OAAO,gBAAgB;AAAA,QAC9C,aAAa,YAAY,EAAE,YAAY,gBAAgB,GAAG,CAAC;AAAA,MAC7D,CAAC;AAED,iBAAW,GAAG;AACd,yBAAmB,KAAK,GAAG,GAAG,kBAAkB;AAChD,sBAAgB,KAAK,GAAG,GAAG,eAAe;AAC1C;AAAA,IACF;AAEA,QAAI,iBAAiB,KAAM,gBAAe,MAAM,OAAO,qBAAY;AACnE,UAAM,MAAM,MAAM,aAAa,mBAAmB,QAAQ,KAAK,IAAI;AACnE,eAAW,IAAI;AACf,uBAAmB,KAAK,GAAG,IAAI,mBAAmB,IAAI,CAAC,QAAQ,GAAG,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;AAChG,oBAAgB,KAAK,GAAG,IAAI,gBAAgB,IAAI,CAAC,QAAQ,GAAG,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;AAAA,EAC5F;AAEA,SAAO,EAAE,SAAS,oBAAoB,gBAAgB;AACxD;","names":[]}
+{"version":3,"sources":["../src/with-formula/materialized-views/dispatch.ts"],"sourcesContent":["/**\n * Materialized-view dispatch, lifted out of the kernel spine (#842 part b).\n *\n * Reached from `Collection` by dynamic `import()` only — `port-layering`\n * forbids a static spine→`with-*` import, and rejects a type-only one too\n * (it scans import statements, not their erasure). See\n * `with-formula/derivations/dispatch.ts` for the same note.\n *\n * The `Collection` reference below is TYPE-ONLY and points inward\n * (service → kernel), so it is both allowed and erased at build.\n *\n * @internal\n */\n\nimport type { TxContext } from '../../with-commit/tx/transaction.js'\nimport type { Collection } from '../../kernel/collection.js'\nimport type { ledgerAuditHook, WaveContext } from '../../kernel/via/dispatch.js'\nimport type { MaterializedViewExecutor } from './executor.js'\nimport type * as MVStale from './stale.js'\nimport type { MaterializedViewRegistry } from './registry.js'\nimport type { MVQueryContext } from './types.js'\n\n/** The per-write dispatch context the MV executor threads through. */\ninterface DispatchCtx {\n  emit: (e: string, p: unknown) => void\n  source: { readonly collection: string; readonly id: string }\n  audit: ReturnType<typeof ledgerAuditHook>\n}\n\n/** What the MV dispatchers need from the collection that owns them. */\nexport interface MvDispatchCtx {\n  readonly materializedViewSource: {\n    registry(): MaterializedViewRegistry\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    getCollection(name: string): Collection<any>\n    getActiveTxContext(): TxContext | null\n    getQueryContext(): MVQueryContext\n  }\n  /** The collection the delete happened in. */\n  readonly collectionName: string\n  /** Builds the per-write dispatch context the executor threads through. */\n  readonly dispatchCtx: (source: { readonly collection: string; readonly id: string }) => DispatchCtx\n}\n\n/**\n * Fire every MV whose dependency set includes this collection, on write.\n *\n * Skips entirely when the record being written is itself an MV-emitted row\n * (it carries `_materializedFrom`) — a defensive guard against missed cycle\n * detection.\n *\n * @param wave #638 Task 4 — the sync/cutover/restore dispatch wave. An eager\n *   MV already refreshed in this wave is skipped, deduped per target on the\n *   spec name.\n */\nexport async function dispatchMaterializedViews(\n  ctx: MvDispatchCtx,\n  id: string,\n  record: Record<string, unknown>,\n  wave?: WaveContext,\n): Promise<void> {\n  const { materializedViewSource: source, collectionName, dispatchCtx } = ctx\n\n  if (record && typeof record === 'object' && '_materializedFrom' in record) return\n\n  const registry = source.registry()\n  // #1139 — replan any query-form strategy parked at vault open because its\n  // join named a ref that had not been declared yet. No-op once drained.\n  await registry.resolvePendingPlans()\n  const mvs = registry.mvsForSource(collectionName)\n  if (mvs.length === 0) return\n\n  let executor: typeof MaterializedViewExecutor | null = null\n  let staleHelpers: typeof MVStale | null = null\n\n  for (const reg of mvs) {\n    const mode = reg.spec.refresh\n\n    if (mode === 'eager') {\n      if (wave?.seen(`mv\\0${reg.spec.name}`)) continue\n      if (executor === null) {\n        ;({ MaterializedViewExecutor: executor } = await import('./executor.js'))\n      }\n      await executor.refresh(reg, {\n        getCollection: (name) => source.getCollection(name),\n        getActiveTxContext: () => source.getActiveTxContext(),\n        getQueryContext: () => source.getQueryContext(),\n        dispatchCtx: dispatchCtx({ collection: collectionName, id }),\n      })\n    } else if (mode === 'lazy') {\n      if (staleHelpers === null) staleHelpers = await import('./stale.js')\n      staleHelpers.markMVStale(registry, reg.spec.name)\n    }\n    // manual: no-op on source-write. `vault.refreshView(name)` is the only\n    // path that materializes a manual MV.\n  }\n}\n\n/**\n * Mirror of {@link dispatchMaterializedViews} for the delete/forget path. There is\n * no `_materializedFrom` skip — the record is gone — and the `internal` gate\n * at `_doDelete` is the recursion guard.\n *\n * @returns rows TOMBSTONED across every MV sourced here (#638 T6). Eager and\n *   lazy/manual `invalidateMVAtRest` purges both contribute (#761 item 1,\n *   previously eager-only): lazy persists a stale mark for cold-session\n *   recompute, manual serves empty until `refreshView()`.\n *   `residueUndecodable` / `residueDeclined` (#776/#785) carry\n *   `outputCollection:id` entries whose ownership stamp `invalidateMVAtRest`\n *   could not decode, respectively decoded and stamp-matched but declined to\n *   erase — surfaced, not erased.\n */\nexport async function dispatchMaterializedViewsOnDelete(\n  ctx: MvDispatchCtx,\n  id: string,\n): Promise<{ deleted: number; residueUndecodable: string[]; residueDeclined: string[] }> {\n  const { materializedViewSource: source, collectionName, dispatchCtx } = ctx\n\n  const registry = source.registry()\n  await registry.resolvePendingPlans() // #1139 — see the put-path dispatcher\n  const mvs = registry.mvsForSource(collectionName)\n  const empty = { deleted: 0, residueUndecodable: [], residueDeclined: [] }\n  if (mvs.length === 0) return empty\n\n  let executor: typeof MaterializedViewExecutor | null = null\n  let staleHelpers: typeof MVStale | null = null\n\n  let deleted = 0\n  const residueUndecodable: string[] = []\n  const residueDeclined: string[] = []\n\n  for (const reg of mvs) {\n    const mode = reg.spec.refresh\n\n    if (mode === 'eager') {\n      if (executor === null) {\n        ;({ MaterializedViewExecutor: executor } = await import('./executor.js'))\n      }\n      const rr = await executor.refresh(reg, {\n        getCollection: (name) => source.getCollection(name),\n        getActiveTxContext: () => source.getActiveTxContext(),\n        getQueryContext: () => source.getQueryContext(),\n        dispatchCtx: dispatchCtx({ collection: collectionName, id }),\n      })\n      // #782/#785 — the eager leg reports both residue channels.\n      deleted += rr.deleted\n      residueUndecodable.push(...rr.residueUndecodable)\n      residueDeclined.push(...rr.residueDeclined)\n      continue\n    }\n\n    if (staleHelpers === null) staleHelpers = await import('./stale.js')\n    const inv = await staleHelpers.invalidateMVAtRest(source, reg, mode)\n    deleted += inv.deleted\n    residueUndecodable.push(...inv.residueUndecodable.map((rid) => `${reg.outputCollection}:${rid}`))\n    residueDeclined.push(...inv.residueDeclined.map((rid) => `${reg.outputCollection}:${rid}`))\n  }\n\n  return { deleted, residueUndecodable, residueDeclined }\n}\n"],"mappings":";AAuDA,eAAsB,0BACpB,KACA,IACA,QACA,MACe;AACf,QAAM,EAAE,wBAAwB,QAAQ,gBAAgB,YAAY,IAAI;AAExE,MAAI,UAAU,OAAO,WAAW,YAAY,uBAAuB,OAAQ;AAE3E,QAAM,WAAW,OAAO,SAAS;AAGjC,QAAM,SAAS,oBAAoB;AACnC,QAAM,MAAM,SAAS,aAAa,cAAc;AAChD,MAAI,IAAI,WAAW,EAAG;AAEtB,MAAI,WAAmD;AACvD,MAAI,eAAsC;AAE1C,aAAW,OAAO,KAAK;AACrB,UAAM,OAAO,IAAI,KAAK;AAEtB,QAAI,SAAS,SAAS;AACpB,UAAI,MAAM,KAAK,OAAO,IAAI,KAAK,IAAI,EAAE,EAAG;AACxC,UAAI,aAAa,MAAM;AACrB;AAAC,SAAC,EAAE,0BAA0B,SAAS,IAAI,MAAM,OAAO,wBAAe;AAAA,MACzE;AACA,YAAM,SAAS,QAAQ,KAAK;AAAA,QAC1B,eAAe,CAAC,SAAS,OAAO,cAAc,IAAI;AAAA,QAClD,oBAAoB,MAAM,OAAO,mBAAmB;AAAA,QACpD,iBAAiB,MAAM,OAAO,gBAAgB;AAAA,QAC9C,aAAa,YAAY,EAAE,YAAY,gBAAgB,GAAG,CAAC;AAAA,MAC7D,CAAC;AAAA,IACH,WAAW,SAAS,QAAQ;AAC1B,UAAI,iBAAiB,KAAM,gBAAe,MAAM,OAAO,qBAAY;AACnE,mBAAa,YAAY,UAAU,IAAI,KAAK,IAAI;AAAA,IAClD;AAAA,EAGF;AACF;AAgBA,eAAsB,kCACpB,KACA,IACuF;AACvF,QAAM,EAAE,wBAAwB,QAAQ,gBAAgB,YAAY,IAAI;AAExE,QAAM,WAAW,OAAO,SAAS;AACjC,QAAM,SAAS,oBAAoB;AACnC,QAAM,MAAM,SAAS,aAAa,cAAc;AAChD,QAAM,QAAQ,EAAE,SAAS,GAAG,oBAAoB,CAAC,GAAG,iBAAiB,CAAC,EAAE;AACxE,MAAI,IAAI,WAAW,EAAG,QAAO;AAE7B,MAAI,WAAmD;AACvD,MAAI,eAAsC;AAE1C,MAAI,UAAU;AACd,QAAM,qBAA+B,CAAC;AACtC,QAAM,kBAA4B,CAAC;AAEnC,aAAW,OAAO,KAAK;AACrB,UAAM,OAAO,IAAI,KAAK;AAEtB,QAAI,SAAS,SAAS;AACpB,UAAI,aAAa,MAAM;AACrB;AAAC,SAAC,EAAE,0BAA0B,SAAS,IAAI,MAAM,OAAO,wBAAe;AAAA,MACzE;AACA,YAAM,KAAK,MAAM,SAAS,QAAQ,KAAK;AAAA,QACrC,eAAe,CAAC,SAAS,OAAO,cAAc,IAAI;AAAA,QAClD,oBAAoB,MAAM,OAAO,mBAAmB;AAAA,QACpD,iBAAiB,MAAM,OAAO,gBAAgB;AAAA,QAC9C,aAAa,YAAY,EAAE,YAAY,gBAAgB,GAAG,CAAC;AAAA,MAC7D,CAAC;AAED,iBAAW,GAAG;AACd,yBAAmB,KAAK,GAAG,GAAG,kBAAkB;AAChD,sBAAgB,KAAK,GAAG,GAAG,eAAe;AAC1C;AAAA,IACF;AAEA,QAAI,iBAAiB,KAAM,gBAAe,MAAM,OAAO,qBAAY;AACnE,UAAM,MAAM,MAAM,aAAa,mBAAmB,QAAQ,KAAK,IAAI;AACnE,eAAW,IAAI;AACf,uBAAmB,KAAK,GAAG,IAAI,mBAAmB,IAAI,CAAC,QAAQ,GAAG,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;AAChG,oBAAgB,KAAK,GAAG,IAAI,gBAAgB,IAAI,CAAC,QAAQ,GAAG,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;AAAA,EAC5F;AAEA,SAAO,EAAE,SAAS,oBAAoB,gBAAgB;AACxD;","names":[]}

package/dist/{enclave-OXZY3NOP.js → enclave-KJOTOH7X.js}

@@ -30,7 +30,7 @@ import {
   verifyBrokerProof,
   verifyRecordIdentity,
   writeEnvelopeBody
-} from "./chunk-DOPZWTMJ.js";
+} from "./chunk-77K4PG6P.js";
 import {
   buildDeleteMarker,
   buildRecordEnvelope,
@@ -39,19 +39,19 @@ import {
   isDeleteMarker,
   isTombstone,
   isTombstoneShape
-} from "./chunk-4RUFYGWG.js";
+} from "./chunk-SZJ3DLZA.js";
 import {
   ctEqualTags,
   deriveVdigSlotKey,
   evaluateKofN
-} from "./chunk-XGXVPCYW.js";
-import "./chunk-CWFH36SI.js";
+} from "./chunk-BOWNCWZT.js";
+import "./chunk-YSRUYAVU.js";
 import {
   computeBidxTarget,
   deriveClassifyIndexKey,
   deriveClassifyIndexSalt,
   mintBidxTag
-} from "./chunk-KZTPL7NL.js";
+} from "./chunk-RMF67KCG.js";
 import {
   pbkdf2VerifyDigest
 } from "./chunk-LP7BEXCT.js";
@@ -85,10 +85,9 @@ import {
   unwrapKey,
   wrapCek,
   wrapKey
-} from "./chunk-USKHHOIV.js";
-import "./chunk-N4CHCXDL.js";
-import "./chunk-SW4TOSJL.js";
-import "./chunk-PZ5AY32C.js";
+} from "./chunk-SL3JAAKN.js";
+import "./chunk-7MG7SJT7.js";
+import "./chunk-7O3Y4PPD.js";
 export {
   RecordCodec,
   SEALED_CEK_NS,
@@ -166,4 +165,4 @@ export {
   wrapKey,
   writeEnvelopeBody
 };
-//# sourceMappingURL=enclave-OXZY3NOP.js.map
+//# sourceMappingURL=enclave-KJOTOH7X.js.map

package/dist/executor-5NIMLSKZ.js

@@ -0,0 +1,8 @@
+import {
+  DerivationExecutor
+} from "./chunk-TFR7DSOV.js";
+import "./chunk-7O3Y4PPD.js";
+export {
+  DerivationExecutor
+};
+//# sourceMappingURL=executor-5NIMLSKZ.js.map

package/dist/executor-AQVXV5GZ.js

@@ -0,0 +1,8 @@
+import {
+  GuardExecutor
+} from "./chunk-4OZNXTO4.js";
+import "./chunk-7O3Y4PPD.js";
+export {
+  GuardExecutor
+};
+//# sourceMappingURL=executor-AQVXV5GZ.js.map

package/dist/executor-PUAO6AKJ.js

@@ -0,0 +1,29 @@
+import {
+  MaterializedViewExecutor
+} from "./chunk-NA2NIJZI.js";
+import "./chunk-QIBVIOXO.js";
+import "./chunk-VXANTWBJ.js";
+import "./chunk-CARABLSQ.js";
+import "./chunk-U4FOQDY4.js";
+import "./chunk-ZORTV6NH.js";
+import "./chunk-ZN4FD4PE.js";
+import "./chunk-XZHEOSQ2.js";
+import "./chunk-ATL3ZVXT.js";
+import "./chunk-NSITFOCJ.js";
+import "./chunk-6I2RQCET.js";
+import "./chunk-TRGTKX5E.js";
+import "./chunk-UXVWEX5L.js";
+import "./chunk-BOET4NA4.js";
+import "./chunk-77K4PG6P.js";
+import "./chunk-SZJ3DLZA.js";
+import "./chunk-BOWNCWZT.js";
+import "./chunk-YSRUYAVU.js";
+import "./chunk-RMF67KCG.js";
+import "./chunk-LP7BEXCT.js";
+import "./chunk-SL3JAAKN.js";
+import "./chunk-7MG7SJT7.js";
+import "./chunk-7O3Y4PPD.js";
+export {
+  MaterializedViewExecutor
+};
+//# sourceMappingURL=executor-PUAO6AKJ.js.map

package/dist/export-accessible-72EQNBMR.js

@@ -0,0 +1,22 @@
+import {
+  buildAccessibleBundle,
+  exportAccessibleData,
+  resolveAccessibleCollections
+} from "./chunk-L7CIOOBW.js";
+import "./chunk-5WDXHNSW.js";
+import "./chunk-EQEYOJBM.js";
+import "./chunk-77K4PG6P.js";
+import "./chunk-SZJ3DLZA.js";
+import "./chunk-BOWNCWZT.js";
+import "./chunk-YSRUYAVU.js";
+import "./chunk-RMF67KCG.js";
+import "./chunk-LP7BEXCT.js";
+import "./chunk-SL3JAAKN.js";
+import "./chunk-7MG7SJT7.js";
+import "./chunk-7O3Y4PPD.js";
+export {
+  buildAccessibleBundle,
+  exportAccessibleData,
+  resolveAccessibleCollections
+};
+//# sourceMappingURL=export-accessible-72EQNBMR.js.map

package/dist/extract-partition-PUYNU3UF.js

@@ -0,0 +1,37 @@
+import {
+  extractPartition,
+  extractPartitionCore,
+  reKeyBlobs,
+  reKeyClosure,
+  reKeyLedger,
+  reKeySchemas,
+  sealDeks
+} from "./chunk-3RCJJBNR.js";
+import "./chunk-2Y4IMKA6.js";
+import "./chunk-5WDXHNSW.js";
+import "./chunk-EQEYOJBM.js";
+import "./chunk-BM5TWITZ.js";
+import "./chunk-UGTBXF5U.js";
+import "./chunk-4AOERLTV.js";
+import "./chunk-I7FD46FF.js";
+import "./chunk-BOET4NA4.js";
+import "./chunk-JMGDHKQF.js";
+import "./chunk-77K4PG6P.js";
+import "./chunk-SZJ3DLZA.js";
+import "./chunk-BOWNCWZT.js";
+import "./chunk-YSRUYAVU.js";
+import "./chunk-RMF67KCG.js";
+import "./chunk-LP7BEXCT.js";
+import "./chunk-SL3JAAKN.js";
+import "./chunk-7MG7SJT7.js";
+import "./chunk-7O3Y4PPD.js";
+export {
+  extractPartition,
+  extractPartitionCore,
+  reKeyBlobs,
+  reKeyClosure,
+  reKeyLedger,
+  reKeySchemas,
+  sealDeks
+};
+//# sourceMappingURL=extract-partition-PUYNU3UF.js.map