@graphrefly/graphrefly 0.41.0 → 0.43.0

package/dist/{index-CQtWm7jS.d.ts → index-C59mYFKp.d.ts}

@@ -1,12 +1,12 @@
-import { i as index$2 } from './index-CoM4rzyB.js';
-import { i as index$3 } from './index-yLt-aPMp.js';
-import { i as index$4 } from './index-C5cQ7Gfx.js';
-import { i as index$5 } from './index-2n8Eai6M.js';
-import { N as Node } from './node-BYInONRr.js';
-import { i as index$6 } from './index-B2RUoIUz.js';
-import { i as index$7 } from './index-Ctb7_2sG.js';
-import { i as index$8 } from './index-BJSZxSFX.js';
-import { i as index$9 } from './index-C6ZUaos7.js';
+import { i as index$2 } from './index-Dmqp7KjD.js';
+import { i as index$3 } from './index-CCq87F7t.js';
+import { i as index$4 } from './index-cm1GNcWE.js';
+import { i as index$5 } from './index-BG0BN3PB.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { i as index$6 } from './index-CJK1JkYy.js';
+import { i as index$7 } from './index-DIOoAZUX.js';
+import { i as index$8 } from './index-CvrqGfNS.js';
+import { i as index$9 } from './index-C7O6r5fV.js';
 
 /**
  * Options for creating signals.

package/dist/{index-C6ZUaos7.d.ts → index-C7O6r5fV.d.ts}

@@ -1,4 +1,4 @@
-import { G as Graph } from './graph-BkIkog4h.js';
+import { G as Graph } from './graph-7VguS7a4.js';
 
 /** Zustand-compatible Store API. */
 interface StoreApi<T> {

package/dist/{index-CL7oilfm.d.cts → index-C9kSENB4.d.cts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
 
 /**
  * A Nanostores-compatible atom.

package/dist/{index-DVDapw2k.d.cts → index-C9pjcz3l.d.cts}

@@ -1,6 +1,6 @@
-import { b as NodeGuard, N as Node } from './node-BYInONRr.cjs';
-import { G as Graph } from './graph-E6likq7w.cjs';
-import { R as ReactiveLogOptions, a as ReactiveLogBundle } from './reactive-log-_zeEnB9H.cjs';
+import { b as NodeGuard, N as Node } from './node-ClS5yC-B.cjs';
+import { G as Graph } from './graph-C4SHb3Ly.cjs';
+import { R as ReactiveLogOptions, a as ReactiveLogBundle } from './reactive-log-B00laMSQ.cjs';
 
 /**
  * Audited-mutation framework (Audit 2 — locked 2026-04-24; promoted to
@@ -81,11 +81,17 @@ type SuccessMeta = {
     seq?: number;
 };
 /** Common opts shared by both tiers. */
-type MutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = {
-    /** Where to emit the audit record on success / failure. */
-    audit: ReactiveLogBundle<R>;
+type MutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = {
+    /**
+     * Optional audit log. When omitted, the wrapper still provides freeze /
+     * seq-advance / rollback-on-throw (`wrapMutation`) but skips audit-record
+     * emission entirely — useful for primitives that want centralized mutation
+     * semantics without a dedicated audit log surface (e.g. `Topic.publish`).
+     * Pair with `onSuccess` / `onFailure` to emit records.
+     */
+    audit?: ReactiveLogBundle<R>;
     /** Build the success record from the action's args + result + meta. */
-    onSuccess?: (args: TArgs, result: unknown, meta: SuccessMeta) => R | undefined;
+    onSuccess?: (args: TArgs, result: TResult, meta: SuccessMeta) => R | undefined;
     /** Build the failure record from the args + error + meta. */
     onFailure?: (args: TArgs, error: unknown, meta: FailureMeta) => R | undefined;
     /** Freeze inputs at entry (default `true`). Pass `false` for hot paths. */
@@ -98,23 +104,8 @@ type MutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> =
         version: string | number;
     };
 };
-type WrapMutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = MutationOpts<TArgs, R>;
-type LightMutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = MutationOpts<TArgs, R>;
-/**
- * Advance a cursor node and return the new value. Emits `[DIRTY], [DATA, next]`
- * directly on the cursor — atomic outside a batch, rollback-discardable inside.
- *
- * Resets to `0` if the cursor cache is missing, non-numeric, `NaN`, or
- * non-finite (e.g. corrupted by `restore()` from a malformed snapshot, or
- * by a misbehaving codec). `??` alone would let `NaN` and `""` pass through
- * and silently corrupt audit ordering downstream.
- *
- * Works whether or not the cursor has any subscribers — `down` updates the
- * cache regardless, so primitives that bump before consumers attach (e.g.
- * `JobQueueGraph.enqueue`) still see a coherent sequence.
- *
- * @category internal
- */
+type WrapMutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = MutationOpts<TArgs, TResult, R>;
+type LightMutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = MutationOpts<TArgs, TResult, R>;
 declare function bumpCursor(seq: Node<number>): number;
 /**
  * Build a record via the supplied builder, stamp `handlerVersion` if present,
@@ -129,9 +120,9 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
     version: string | number;
 }): void;
 /**
- * Substrate-tier wrapper: run `action`, append a typed audit record on
- * success or failure, advance an optional `seq` cursor. No batch frame — this
- * is the hot-path-friendly variant for atomic single-write mutations.
+ * Substrate-tier wrapper: run `action`, optionally append a typed audit record
+ * on success or failure, advance an optional `seq` cursor. No batch frame —
+ * this is the hot-path-friendly variant for atomic single-write mutations.
  *
  * Behavior contract:
  * 1. Freeze args at entry (default `true`; opt out with `freeze: false` for
@@ -140,9 +131,13 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
  * 2. Bump `seq` (if provided) BEFORE the action runs. There is no batch frame,
  *    so the bump persists even on throw — the failure-audit record stamps the
  *    same `seq` so audit consumers see a contiguous sequence.
- * 3. Run `action(args)`. On success, `appendAudit(onSuccess, ...)`.
- * 4. On throw, `appendAudit(onFailure, ...)` then re-throw so callers see the
- *    failure.
+ * 3. Run `action(args)`. On success, if `audit` is provided AND `onSuccess`
+ *    is set, `appendAudit(onSuccess, ...)`.
+ * 4. On throw, if `audit` is provided AND `onFailure` is set,
+ *    `appendAudit(onFailure, ...)` then re-throw. When `audit` is omitted the
+ *    wrapper still provides freeze + seq + re-throw semantics — useful for
+ *    primitives that want centralized mutation contracts without an audit log
+ *    surface (e.g. `Topic.publish`).
  *
  * **Distinguish from {@link wrapMutation}:** `wrapMutation` opens a `batch()`
  * frame (rollback-on-throw, seq advance discarded on rollback) and is the
@@ -164,7 +159,7 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
  *
  * @category internal
  */
-declare function lightMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: LightMutationOpts<TArgs, R>): (...args: TArgs) => TResult;
+declare function lightMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: LightMutationOpts<TArgs, TResult, R>): (...args: TArgs) => TResult;
 /**
  * Orchestration-tier wrapper: like {@link lightMutation} but adds a `batch()`
  * frame around the action so an in-flight throw rolls back partial state.
@@ -175,10 +170,14 @@ declare function lightMutation<TArgs extends readonly unknown[], TResult, R exte
  *  3. Bump `seq` INSIDE the batch so a framework-level rollback discards the
  *     cursor advance (cursor stays in sync with audit log). M5.
  *  4. Run `action(args)` and capture result.
- *  5. On success: `appendAudit(onSuccess, ...)` inside the batch.
- *  6. On throw: catch OUTSIDE the batch so the failure record emits in a
- *     fresh transaction after rollback — it persists. Re-throw so callers see
- *     the failure.
+ *  5. On success: if `audit` is provided AND `onSuccess` is set,
+ *     `appendAudit(onSuccess, ...)` inside the batch.
+ *  6. On throw: catch OUTSIDE the batch so the failure record (if any) emits
+ *     in a fresh transaction after rollback — it persists. Re-throw so callers
+ *     see the failure. When `audit` is omitted the wrapper still provides
+ *     batch + freeze + rollback + re-throw semantics — useful for primitives
+ *     that want orchestration-tier mutation contracts without an audit log
+ *     surface.
  *
  * **Distinguish from the file-private `wrapMutation` in
  * `src/extra/reactive-map.ts:540`:** that helper is a transactional wrapper
@@ -188,7 +187,7 @@ declare function lightMutation<TArgs extends readonly unknown[], TResult, R exte
  *
  * @category internal
  */
-declare function wrapMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: WrapMutationOpts<TArgs, R>): (...args: TArgs) => TResult;
+declare function wrapMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: WrapMutationOpts<TArgs, TResult, R>): (...args: TArgs) => TResult;
 /**
  * Promote a closure counter to a state node mounted under `graph`.
  * Replaces ad-hoc `let _seq = 0` patterns with a node observable in

package/dist/{index-CG33HeBW.d.ts → index-CAC_rNzm.d.ts}

@@ -1,9 +1,9 @@
-import { N as Node } from './node-BYInONRr.js';
-import { B as BaseAuditRecord } from './index-BQ1fR4li.js';
-import { a as ReactiveLogBundle } from './reactive-log-BlAsPLl2.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { B as BaseAuditRecord } from './index-CZQXo5tH.js';
+import { a as ReactiveLogBundle } from './reactive-log-BezYsbA_.js';
 import { NodeInput } from './extra/sources.js';
 import { AppendLogStorageTier } from './extra/storage-tiers.js';
-import { G as Graph, a as GraphOptions } from './graph-BkIkog4h.js';
+import { G as Graph, a as GraphOptions } from './graph-7VguS7a4.js';
 
 /**
  * Job queue patterns (roadmap §4.2).
@@ -47,8 +47,11 @@ declare class JobQueueGraph<T> extends Graph {
     readonly events: ReactiveLogBundle<JobEvent<T>>;
     /** Alias for {@link JobQueueGraph.events} — Audit 2 `.audit` duplication. */
     readonly audit: ReactiveLogBundle<JobEvent<T>>;
+    private readonly _enqueueImpl;
+    private readonly _ackImpl;
+    private readonly _nackImpl;
+    private readonly _removeByIdImpl;
     constructor(name: string, opts?: JobQueueOptions);
-    private _bumpSeq;
     /**
      * Wire append-log storage tiers (Audit 4). Returns a disposer.
      *

package/dist/{index-yLt-aPMp.d.ts → index-CCq87F7t.d.ts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.js';
+import { N as Node } from './node-ClS5yC-B.js';
 
 /**
  * A Nanostores-compatible atom.

package/dist/{index-D4uimgee.d.cts → index-CDXc9zKM.d.cts}

@@ -1,4 +1,4 @@
-import { C as CatchOptions, a as ClassifyResult, D as Decision, b as DecisionAction, G as GateController, c as GateOptions, P as PipelineGraph, S as StepRef, T as TerminalCause, d as decisionKeyOf, p as pipelineGraph } from './pipeline-graph-MWrQZXCq.cjs';
+import { C as CatchOptions, a as ClassifyResult, D as Decision, b as DecisionAction, G as GateController, c as GateOptions, P as PipelineGraph, S as StepRef, T as TerminalCause, d as decisionKeyOf, p as pipelineGraph } from './pipeline-graph-DPqKDk59.cjs';
 
 /**
  * Orchestration patterns (roadmap §4.1).

package/dist/{index-B2RUoIUz.d.ts → index-CJK1JkYy.d.ts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.js';
+import { N as Node } from './node-ClS5yC-B.js';
 
 /** Solid accessor function — returns current value when called. */
 type Accessor<T> = () => T;

package/dist/{index-DktLSZOc.d.cts → index-CLon-IWF.d.cts}

@@ -1,7 +1,7 @@
-import { N as Node } from './node-BYInONRr.cjs';
-import { B as BaseAuditRecord } from './index-DVDapw2k.cjs';
-import { a as ReactiveLogBundle } from './reactive-log-_zeEnB9H.cjs';
-import { G as Graph } from './graph-E6likq7w.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
+import { B as BaseAuditRecord } from './index-C9pjcz3l.cjs';
+import { a as ReactiveLogBundle } from './reactive-log-B00laMSQ.cjs';
+import { G as Graph } from './graph-C4SHb3Ly.cjs';
 
 /**
  * Memory patterns (roadmap §4.3) — public-face Phase-4 primitives audited under

package/dist/{index-DQQCOIt8.d.cts → index-COD1kVoS.d.cts}

@@ -1,8 +1,8 @@
-import { N as Node } from './node-BYInONRr.cjs';
-import { B as BaseAuditRecord } from './index-DVDapw2k.cjs';
-import { a as ReactiveLogBundle } from './reactive-log-_zeEnB9H.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
+import { B as BaseAuditRecord } from './index-C9pjcz3l.cjs';
+import { a as ReactiveLogBundle } from './reactive-log-B00laMSQ.cjs';
 import { AppendLogStorageTier } from './extra/storage-tiers.cjs';
-import { a as GraphOptions, G as Graph } from './graph-E6likq7w.cjs';
+import { a as GraphOptions, G as Graph } from './graph-C4SHb3Ly.cjs';
 
 /**
  * CQRS patterns (roadmap §4.5).
@@ -351,7 +351,6 @@ declare class CqrsGraph<EM extends CqrsEventMap = Record<string, unknown>> exten
     attachEventStorage(tiers: readonly AppendLogStorageTier<CqrsEvent>[]): () => void;
     /** Wire newly-created event stream into all currently-attached tier sets. */
     private _autoWireStreamStorage;
-    private _bumpDispatchSeq;
     /**
      * Register a named event stream backed by `reactiveLog`.
      * Guard denies external `write` — only commands append internally.
@@ -382,6 +381,12 @@ declare class CqrsGraph<EM extends CqrsEventMap = Record<string, unknown>> exten
      *
      * If the handler throws, `meta.error` on the command node is set to the
      * error and the exception is re-thrown.
+     *
+     * **Tier 8 / COMPOSITION-GUIDE §35:** dispatch routes through the shared
+     * {@link wrapMutation} framework so freeze / rollback-on-throw / seq-cursor
+     * advance / audit-record stamping flow through one centralized helper.
+     * Failure records emit OUTSIDE the rolled-back batch (M5 / C4 invariants
+     * preserved by the framework).
      */
     dispatch<T = unknown>(commandName: string, payload: T, opts?: DispatchOptions): void;
     /**

package/dist/{index-bXXLSvor.d.ts → index-CPT7C_f1.d.ts}

@@ -1,7 +1,7 @@
-import { N as Node } from './node-BYInONRr.js';
-import { B as BaseAuditRecord } from './index-BQ1fR4li.js';
-import { a as ReactiveLogBundle } from './reactive-log-BlAsPLl2.js';
-import { G as Graph } from './graph-BkIkog4h.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { B as BaseAuditRecord } from './index-CZQXo5tH.js';
+import { a as ReactiveLogBundle } from './reactive-log-BezYsbA_.js';
+import { G as Graph } from './graph-7VguS7a4.js';
 
 /**
  * Memory patterns (roadmap §4.3) — public-face Phase-4 primitives audited under

package/dist/{index-CD2dBMet.d.ts → index-CQG3D1cp.d.ts}

@@ -1,8 +1,8 @@
-import { N as Node } from './node-BYInONRr.js';
-import { B as BaseAuditRecord } from './index-BQ1fR4li.js';
-import { a as ReactiveLogBundle } from './reactive-log-BlAsPLl2.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { B as BaseAuditRecord } from './index-CZQXo5tH.js';
+import { a as ReactiveLogBundle } from './reactive-log-BezYsbA_.js';
 import { AppendLogStorageTier } from './extra/storage-tiers.js';
-import { a as GraphOptions, G as Graph } from './graph-BkIkog4h.js';
+import { a as GraphOptions, G as Graph } from './graph-7VguS7a4.js';
 
 /**
  * CQRS patterns (roadmap §4.5).
@@ -351,7 +351,6 @@ declare class CqrsGraph<EM extends CqrsEventMap = Record<string, unknown>> exten
     attachEventStorage(tiers: readonly AppendLogStorageTier<CqrsEvent>[]): () => void;
     /** Wire newly-created event stream into all currently-attached tier sets. */
     private _autoWireStreamStorage;
-    private _bumpDispatchSeq;
     /**
      * Register a named event stream backed by `reactiveLog`.
      * Guard denies external `write` — only commands append internally.
@@ -382,6 +381,12 @@ declare class CqrsGraph<EM extends CqrsEventMap = Record<string, unknown>> exten
      *
      * If the handler throws, `meta.error` on the command node is set to the
      * error and the exception is re-thrown.
+     *
+     * **Tier 8 / COMPOSITION-GUIDE §35:** dispatch routes through the shared
+     * {@link wrapMutation} framework so freeze / rollback-on-throw / seq-cursor
+     * advance / audit-record stamping flow through one centralized helper.
+     * Failure records emit OUTSIDE the rolled-back batch (M5 / C4 invariants
+     * preserved by the framework).
      */
     dispatch<T = unknown>(commandName: string, payload: T, opts?: DispatchOptions): void;
     /**

package/dist/{index-BQ1fR4li.d.ts → index-CZQXo5tH.d.ts}

@@ -1,6 +1,6 @@
-import { b as NodeGuard, N as Node } from './node-BYInONRr.js';
-import { G as Graph } from './graph-BkIkog4h.js';
-import { R as ReactiveLogOptions, a as ReactiveLogBundle } from './reactive-log-BlAsPLl2.js';
+import { b as NodeGuard, N as Node } from './node-ClS5yC-B.js';
+import { G as Graph } from './graph-7VguS7a4.js';
+import { R as ReactiveLogOptions, a as ReactiveLogBundle } from './reactive-log-BezYsbA_.js';
 
 /**
  * Audited-mutation framework (Audit 2 — locked 2026-04-24; promoted to
@@ -81,11 +81,17 @@ type SuccessMeta = {
     seq?: number;
 };
 /** Common opts shared by both tiers. */
-type MutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = {
-    /** Where to emit the audit record on success / failure. */
-    audit: ReactiveLogBundle<R>;
+type MutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = {
+    /**
+     * Optional audit log. When omitted, the wrapper still provides freeze /
+     * seq-advance / rollback-on-throw (`wrapMutation`) but skips audit-record
+     * emission entirely — useful for primitives that want centralized mutation
+     * semantics without a dedicated audit log surface (e.g. `Topic.publish`).
+     * Pair with `onSuccess` / `onFailure` to emit records.
+     */
+    audit?: ReactiveLogBundle<R>;
     /** Build the success record from the action's args + result + meta. */
-    onSuccess?: (args: TArgs, result: unknown, meta: SuccessMeta) => R | undefined;
+    onSuccess?: (args: TArgs, result: TResult, meta: SuccessMeta) => R | undefined;
     /** Build the failure record from the args + error + meta. */
     onFailure?: (args: TArgs, error: unknown, meta: FailureMeta) => R | undefined;
     /** Freeze inputs at entry (default `true`). Pass `false` for hot paths. */
@@ -98,23 +104,8 @@ type MutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> =
         version: string | number;
     };
 };
-type WrapMutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = MutationOpts<TArgs, R>;
-type LightMutationOpts<TArgs extends readonly unknown[], R extends BaseAuditRecord> = MutationOpts<TArgs, R>;
-/**
- * Advance a cursor node and return the new value. Emits `[DIRTY], [DATA, next]`
- * directly on the cursor — atomic outside a batch, rollback-discardable inside.
- *
- * Resets to `0` if the cursor cache is missing, non-numeric, `NaN`, or
- * non-finite (e.g. corrupted by `restore()` from a malformed snapshot, or
- * by a misbehaving codec). `??` alone would let `NaN` and `""` pass through
- * and silently corrupt audit ordering downstream.
- *
- * Works whether or not the cursor has any subscribers — `down` updates the
- * cache regardless, so primitives that bump before consumers attach (e.g.
- * `JobQueueGraph.enqueue`) still see a coherent sequence.
- *
- * @category internal
- */
+type WrapMutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = MutationOpts<TArgs, TResult, R>;
+type LightMutationOpts<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord> = MutationOpts<TArgs, TResult, R>;
 declare function bumpCursor(seq: Node<number>): number;
 /**
  * Build a record via the supplied builder, stamp `handlerVersion` if present,
@@ -129,9 +120,9 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
     version: string | number;
 }): void;
 /**
- * Substrate-tier wrapper: run `action`, append a typed audit record on
- * success or failure, advance an optional `seq` cursor. No batch frame — this
- * is the hot-path-friendly variant for atomic single-write mutations.
+ * Substrate-tier wrapper: run `action`, optionally append a typed audit record
+ * on success or failure, advance an optional `seq` cursor. No batch frame —
+ * this is the hot-path-friendly variant for atomic single-write mutations.
  *
  * Behavior contract:
  * 1. Freeze args at entry (default `true`; opt out with `freeze: false` for
@@ -140,9 +131,13 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
  * 2. Bump `seq` (if provided) BEFORE the action runs. There is no batch frame,
  *    so the bump persists even on throw — the failure-audit record stamps the
  *    same `seq` so audit consumers see a contiguous sequence.
- * 3. Run `action(args)`. On success, `appendAudit(onSuccess, ...)`.
- * 4. On throw, `appendAudit(onFailure, ...)` then re-throw so callers see the
- *    failure.
+ * 3. Run `action(args)`. On success, if `audit` is provided AND `onSuccess`
+ *    is set, `appendAudit(onSuccess, ...)`.
+ * 4. On throw, if `audit` is provided AND `onFailure` is set,
+ *    `appendAudit(onFailure, ...)` then re-throw. When `audit` is omitted the
+ *    wrapper still provides freeze + seq + re-throw semantics — useful for
+ *    primitives that want centralized mutation contracts without an audit log
+ *    surface (e.g. `Topic.publish`).
  *
  * **Distinguish from {@link wrapMutation}:** `wrapMutation` opens a `batch()`
  * frame (rollback-on-throw, seq advance discarded on rollback) and is the
@@ -164,7 +159,7 @@ declare function appendAudit<TArgs extends readonly unknown[], TValue, R extends
  *
  * @category internal
  */
-declare function lightMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: LightMutationOpts<TArgs, R>): (...args: TArgs) => TResult;
+declare function lightMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: LightMutationOpts<TArgs, TResult, R>): (...args: TArgs) => TResult;
 /**
  * Orchestration-tier wrapper: like {@link lightMutation} but adds a `batch()`
  * frame around the action so an in-flight throw rolls back partial state.
@@ -175,10 +170,14 @@ declare function lightMutation<TArgs extends readonly unknown[], TResult, R exte
  *  3. Bump `seq` INSIDE the batch so a framework-level rollback discards the
  *     cursor advance (cursor stays in sync with audit log). M5.
  *  4. Run `action(args)` and capture result.
- *  5. On success: `appendAudit(onSuccess, ...)` inside the batch.
- *  6. On throw: catch OUTSIDE the batch so the failure record emits in a
- *     fresh transaction after rollback — it persists. Re-throw so callers see
- *     the failure.
+ *  5. On success: if `audit` is provided AND `onSuccess` is set,
+ *     `appendAudit(onSuccess, ...)` inside the batch.
+ *  6. On throw: catch OUTSIDE the batch so the failure record (if any) emits
+ *     in a fresh transaction after rollback — it persists. Re-throw so callers
+ *     see the failure. When `audit` is omitted the wrapper still provides
+ *     batch + freeze + rollback + re-throw semantics — useful for primitives
+ *     that want orchestration-tier mutation contracts without an audit log
+ *     surface.
  *
  * **Distinguish from the file-private `wrapMutation` in
  * `src/extra/reactive-map.ts:540`:** that helper is a transactional wrapper
@@ -188,7 +187,7 @@ declare function lightMutation<TArgs extends readonly unknown[], TResult, R exte
  *
  * @category internal
  */
-declare function wrapMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: WrapMutationOpts<TArgs, R>): (...args: TArgs) => TResult;
+declare function wrapMutation<TArgs extends readonly unknown[], TResult, R extends BaseAuditRecord>(action: (...args: TArgs) => TResult, opts: WrapMutationOpts<TArgs, TResult, R>): (...args: TArgs) => TResult;
 /**
  * Promote a closure counter to a state node mounted under `graph`.
  * Replaces ad-hoc `let _seq = 0` patterns with a node observable in

package/dist/{index-A3U3CSve.d.cts → index-CZjOhcBy.d.cts}

@@ -1,5 +1,5 @@
-import { N as Node, a as NodeOptions } from './node-BYInONRr.cjs';
-import { a as GraphOptions, G as Graph } from './graph-E6likq7w.cjs';
+import { N as Node, a as NodeOptions } from './node-ClS5yC-B.cjs';
+import { a as GraphOptions, G as Graph } from './graph-C4SHb3Ly.cjs';
 
 /**
  * Reduction primitives (roadmap §8.1).

package/dist/{index-DYTBbF8T.d.cts → index-ChOyVLKm.d.cts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
 
 /**
  * Options for creating an atom.

package/dist/{index-BJSZxSFX.d.ts → index-CvrqGfNS.d.ts}

@@ -1,5 +1,5 @@
 import { Ref, WatchSource } from 'vue';
-import { N as Node } from './node-BYInONRr.js';
+import { N as Node } from './node-ClS5yC-B.js';
 
 /**
  * Subscribe to a read-only `Node<T>` as a Vue `Ref<T>`. Auto-unsubscribes on scope disposal.