@graphrefly/graphrefly 0.40.0 → 0.42.0

package/dist/{index-C5cQ7Gfx.d.ts → index-D6egPFAL.d.ts}

@@ -1,9 +1,9 @@
-import { T as ToObservableOptions, t as toObservable } from './observable-DO8DDEzv.js';
+import { T as ToObservableOptions, t as toObservable } from './observable-BsBzUrcI.js';
 import { OnModuleInit, OnModuleDestroy, ExecutionContext, CanActivate, DynamicModule } from '@nestjs/common';
 import { ModuleRef } from '@nestjs/core';
-import { G as Graph, c as GraphPersistSnapshot } from './graph-BkIkog4h.js';
-import { A as Actor } from './node-BYInONRr.js';
-import { c as CqrsOptions, b as CqrsGraph, a as CqrsEvent } from './index-CD2dBMet.js';
+import { G as Graph, r as GraphPersistSnapshot } from './graph-7VguS7a4.js';
+import { A as Actor } from './node-ClS5yC-B.js';
+import { c as CqrsOptions, b as CqrsGraph, a as CqrsEvent } from './index-D8l8hNXn.js';
 import { AppendLogStorageTier } from './extra/storage-tiers.js';
 
 /** Class constructor key for decorator registries and Nest `ModuleRef.get()`. */

package/dist/{index-CD2dBMet.d.ts → index-D8l8hNXn.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-DO9XxMzS.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-40ZT4MHj.d.ts → index-DBHK8O6H.d.ts}

@@ -1,6 +1,6 @@
-import { N as Node } from './node-BYInONRr.js';
-import { G as Graph, a as GraphOptions } from './graph-BkIkog4h.js';
-import { a as ReactiveLogBundle } from './reactive-log-BlAsPLl2.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { G as Graph, a as GraphOptions } from './graph-7VguS7a4.js';
+import { a as ReactiveLogBundle } from './reactive-log-BezYsbA_.js';
 import { AppendLogStorageTier } from './extra/storage-tiers.js';
 
 type TopicOptions = {
@@ -10,6 +10,7 @@ type TopicOptions = {
 };
 declare class TopicGraph<T> extends Graph {
     private readonly _log;
+    private readonly _publishImpl;
     readonly events: Node<readonly T[]>;
     /**
      * Most recently published value, or `null` when the topic has no entries
@@ -85,6 +86,8 @@ declare class SubscriptionGraph<T> extends Graph {
      */
     readonly topic: TopicGraph<T>;
     private _disposed;
+    private readonly _ackImpl;
+    private readonly _pullAndAckImpl;
     constructor(name: string, topicGraph: TopicGraph<T>, opts?: SubscriptionOptions);
     ack(count?: number): number;
     pull(limit?: number): readonly T[];
@@ -181,6 +184,7 @@ declare class MessagingHubGraph extends Graph {
     /** Reactive monotonic version counter — advances on topic create/remove. */
     readonly version: Node<number>;
     private readonly _defaultTopicOptions;
+    private readonly _removeTopicImpl;
     constructor(name: string, opts?: MessagingHubOptions);
     /** Number of topics currently in the hub. */
     get size(): number;
@@ -228,6 +232,13 @@ declare class MessagingHubGraph extends Graph {
     /**
      * Unmounts and tears down the topic's graph. Returns `true` if the topic
      * existed. Subscribers receive `TEARDOWN` via {@link Graph.remove}.
+     *
+     * **Closure-state caveat:** the registry mutation (`_registry.delete`) and
+     * version bump happen in a `try/finally`, so registry/version converge to
+     * a consistent state even when {@link Graph.remove} throws. `lightMutation`
+     * does not roll back this mutation on throw — `Map.delete` on closure
+     * state is invisible to any batch frame. The pre-existing try/finally is
+     * load-bearing for that invariant.
      */
     removeTopic(name: string): boolean;
 }

package/dist/{index-DVDapw2k.d.cts → index-DBIqYS43.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,8 +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>;
+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>;
 /**
  * Advance a cursor node and return the new value. Emits `[DIRTY], [DATA, next]`
  * directly on the cursor — atomic outside a batch, rollback-discardable inside.
@@ -129,9 +135,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 +146,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 +174,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 +185,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 +202,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-3k4Gg6-n.d.ts → index-DBevwHj_.d.ts}

@@ -1,6 +1,6 @@
-import { M as MeasurementAdapter, P as PreparedSegment, L as LineBreaksResult, C as CharPosition, a as LayoutCursor, I as Interval, b as LayoutLine, c as LayoutNextLineContext, d as LayoutNextLineResult, R as ReactiveLayoutBundle, e as ReactiveLayoutOptions, S as SegmentBreakKind, f as SegmentMeasureStats, g as analyzeAndMeasure, h as carveTextLineSlots, i as computeCharPositions, j as computeLineBreaks, l as layoutNextLine, r as reactiveLayout } from './reactive-layout-KJj4E2dT.js';
-import { N as Node } from './node-BYInONRr.js';
-import { G as Graph } from './graph-BkIkog4h.js';
+import { M as MeasurementAdapter, P as PreparedSegment, L as LineBreaksResult, C as CharPosition, a as LayoutCursor, I as Interval, b as LayoutLine, c as LayoutNextLineContext, d as LayoutNextLineResult, R as ReactiveLayoutBundle, e as ReactiveLayoutOptions, S as SegmentBreakKind, f as SegmentMeasureStats, g as analyzeAndMeasure, h as carveTextLineSlots, i as computeCharPositions, j as computeLineBreaks, l as layoutNextLine, r as reactiveLayout } from './reactive-layout-v7KPvxoc.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { G as Graph } from './graph-7VguS7a4.js';
 
 /**
  * MeasurementAdapter implementations (roadmap §7.1 — pluggable backends).

package/dist/{index-Ctb7_2sG.d.ts → index-DIOoAZUX.d.ts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.js';
+import { N as Node } from './node-ClS5yC-B.js';
 
 /** Svelte store contract — implements the minimal `subscribe` method. */
 interface SvelteReadable<T> {

package/dist/{index-BQ1fR4li.d.ts → index-DO9XxMzS.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,8 +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>;
+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>;
 /**
  * Advance a cursor node and return the new value. Emits `[DIRTY], [DATA, next]`
  * directly on the cursor — atomic outside a batch, rollback-discardable inside.
@@ -129,9 +135,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 +146,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 +174,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 +185,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 +202,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-CQtWm7jS.d.ts → index-DQo8xBgd.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-D6egPFAL.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-DH4fm2Ck.d.ts → index-Dgs8zcj7.d.ts}

@@ -1,5 +1,5 @@
-import { G as Graph } from './graph-BkIkog4h.js';
-import { M as MeasurementAdapter } from './reactive-layout-KJj4E2dT.js';
+import { G as Graph } from './graph-7VguS7a4.js';
+import { M as MeasurementAdapter } from './reactive-layout-v7KPvxoc.js';
 
 /**
  * Three-pane demo shell (roadmap §7.2).

package/dist/{index-CtFNGe-m.d.cts → index-Dhc7a7Xo.d.cts}

@@ -1,5 +1,5 @@
-import { G as Graph } from './graph-E6likq7w.cjs';
-import { M as MeasurementAdapter } from './reactive-layout-BtZfUKuL.cjs';
+import { G as Graph } from './graph-C4SHb3Ly.cjs';
+import { M as MeasurementAdapter } from './reactive-layout-Dsvob4zD.cjs';
 
 /**
  * Three-pane demo shell (roadmap §7.2).

package/dist/{index-MxYuWOrf.d.cts → index-DmAgG5CI.d.cts}

@@ -1,6 +1,6 @@
-import { M as Messages, A as Actor, C as COMPLETE, f as COMPLETE_MSG, g as COMPLETE_ONLY_BATCH, D as DATA, h as DEFAULT_ACTOR, i as DIRTY, j as DIRTY_MSG, k as DIRTY_ONLY_BATCH, l as DepRecord, E as ERROR, F as FnCtx, m as GlobalInspectorEvent, n as GlobalInspectorHook, o as GraphReFlyConfig, G as GuardAction, p as GuardDenied, q as GuardDeniedDetails, H as HashFn, I as INVALIDATE, r as INVALIDATE_MSG, s as INVALIDATE_ONLY_BATCH, t as Message, u as MessageContext, v as MessageTypeRegistration, w as MessageTypeRegistrationInput, N as Node, c as NodeActions, x as NodeCtx, e as NodeDescribeKind, y as NodeFn, d as NodeFnCleanup, b as NodeGuard, z as NodeImpl, B as NodeInspectorHook, J as NodeInspectorHookEvent, a as NodeOptions, K as NodeSink, L as NodeStatus, O as NodeTransportOptions, Q as NodeVersionInfo, R as OnMessageHandler, S as OnSubscribeHandler, T as PAUSE, U as PolicyAllow, W as PolicyDeny, P as PolicyRuleData, X as RESOLVED, Y as RESOLVED_MSG, Z as RESOLVED_ONLY_BATCH, _ as RESUME, $ as RigorRecorder, a0 as START, a1 as START_MSG, a2 as SubscribeContext, a3 as TEARDOWN, a4 as TEARDOWN_MSG, a5 as TEARDOWN_ONLY_BATCH, a6 as V0, a7 as V1, V as VersioningLevel, a8 as VersioningOptions, a9 as accessHintForGuard, aa as advanceVersion, ab as configure, ac as createVersioning, ad as defaultConfig, ae as defaultHash, af as isV1, ag as node, ah as normalizeActor, ai as policy, aj as policyFromRules, ak as registerBuiltins } from './node-BYInONRr.cjs';
-import { a as DescribeDetail, b as DescribeField, D as DescribeNodeOutput, f as factoryTag, p as placeholderArgs, r as resolveDescribeFields } from './meta-Ct9nqQS5.cjs';
-import { A as AutoTrackOptions, D as DerivedFn, a as DynamicFn, E as EffectFn, P as PipeOperator, b as ProducerFn, T as TrackFn, c as autoTrackNode, d as derived, e as dynamicNode, f as effect, p as pipe, g as producer, s as state } from './sugar-DzePN5-g.cjs';
+import { M as Messages, A as Actor, C as COMPLETE, f as COMPLETE_MSG, g as COMPLETE_ONLY_BATCH, D as DATA, h as DEFAULT_ACTOR, i as DIRTY, j as DIRTY_MSG, k as DIRTY_ONLY_BATCH, l as DepRecord, E as ERROR, F as FnCtx, G as GlobalInspectorEvent, m as GlobalInspectorHook, n as GraphReFlyConfig, o as GuardAction, p as GuardDenied, q as GuardDeniedDetails, H as HashFn, I as INVALIDATE, r as INVALIDATE_MSG, s as INVALIDATE_ONLY_BATCH, t as Message, u as MessageContext, v as MessageTypeRegistration, w as MessageTypeRegistrationInput, N as Node, c as NodeActions, x as NodeCtx, e as NodeDescribeKind, y as NodeFn, d as NodeFnCleanup, b as NodeGuard, z as NodeImpl, B as NodeInspectorHook, J as NodeInspectorHookEvent, a as NodeOptions, K as NodeSink, L as NodeStatus, O as NodeTransportOptions, P as NodeVersionInfo, Q as OnMessageHandler, R as OnSubscribeHandler, S as PAUSE, T as PolicyAllow, U as PolicyDeny, W as PolicyRuleData, X as RESOLVED, Y as RESOLVED_MSG, Z as RESOLVED_ONLY_BATCH, _ as RESUME, $ as RigorRecorder, a0 as START, a1 as START_MSG, a2 as SubscribeContext, a3 as TEARDOWN, a4 as TEARDOWN_MSG, a5 as TEARDOWN_ONLY_BATCH, a6 as V0, a7 as V1, V as VersioningLevel, a8 as VersioningOptions, a9 as accessHintForGuard, aa as advanceVersion, ab as configure, ac as createVersioning, ad as defaultConfig, ae as defaultHash, af as isV1, ag as node, ah as normalizeActor, ai as policy, aj as policyFromRules, ak as registerBuiltins } from './node-ClS5yC-B.cjs';
+import { a as DescribeDetail, b as DescribeField, D as DescribeNodeOutput, f as factoryTag, p as placeholderArgs, r as resolveDescribeFields } from './meta-vE8bxW1E.cjs';
+import { A as AutoTrackOptions, D as DerivedFn, a as DynamicFn, E as EffectFn, P as PipeOperator, b as ProducerFn, T as TrackFn, c as autoTrackNode, d as derived, e as dynamicNode, f as effect, p as pipe, g as producer, s as state } from './sugar-DStZfUEK.cjs';
 
 /**
  * Batch deferral for tier-3+ messages, plus per-node emit coalescing inside

package/dist/{index-CoM4rzyB.d.ts → index-Dmqp7KjD.d.ts}

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

package/dist/{index-B6iTqKtJ.d.ts → index-Dn-wI9g4.d.ts}

@@ -1,5 +1,5 @@
-import { N as Node } from './node-BYInONRr.js';
-import { a as GraphOptions, G as Graph } from './graph-BkIkog4h.js';
+import { N as Node } from './node-ClS5yC-B.js';
+import { a as GraphOptions, G as Graph } from './graph-7VguS7a4.js';
 
 /**
  * Domain templates (roadmap §8.2).

package/dist/{index-C-dkXOpB.d.cts → index-Du7u1lSf.d.cts}

@@ -1,7 +1,7 @@
-import { D as DescribeNodeOutput } from './meta-Ct9nqQS5.cjs';
-import { N as Node } from './node-BYInONRr.cjs';
-import { G as Graph, b as GraphDescribeOutput } from './graph-E6likq7w.cjs';
-import { L as LLMAdapter } from './types-1Dhoi7HM.cjs';
+import { D as DescribeNodeOutput } from './meta-vE8bxW1E.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
+import { G as Graph, b as GraphDescribeOutput } from './graph-C4SHb3Ly.cjs';
+import { L as LLMAdapter } from './types-B1jDWVsM.cjs';
 
 /**
  * LLM graph composition (roadmap §8.3).
@@ -203,6 +203,13 @@ type GraphSpecValidation = {
  *
  * Checks structural validity: required fields, node types, dep references,
  * template references, feedback edge targets, self-cycles, and bind completeness.
+ *
+ * **Effect-node feedback advisory (C24-3).** When a feedback edge's `from`
+ * refers to an `effect` node, the validator flags it via `warnings` (not
+ * `errors`) — effect nodes produce no DATA emission, so a feedback counter
+ * targeting one will never advance. The spec compiles either way; the
+ * advisory exists because the misconfiguration is silent at runtime
+ * (counter at 0 forever) without it.
  */
 declare function validateSpec(spec: unknown): GraphSpecValidation;
 /** Options for {@link compileSpec}. */

package/dist/{index-DVAlsmEU.d.cts → index-HoU88d5U.d.cts}

@@ -1,8 +1,8 @@
-import { B as BaseAuditRecord } from './index-DVDapw2k.cjs';
-import { a as ReactiveLogBundle } from './reactive-log-_zeEnB9H.cjs';
+import { B as BaseAuditRecord } from './index-DBIqYS43.cjs';
+import { a as ReactiveLogBundle } from './reactive-log-B00laMSQ.cjs';
 import { NodeInput } from './extra/sources.cjs';
 import { AppendLogStorageTier } from './extra/storage-tiers.cjs';
-import { C as CqrsEventMap, a as CqrsEvent, b as CqrsGraph } from './index-DQQCOIt8.cjs';
+import { C as CqrsEventMap, a as CqrsEvent, b as CqrsGraph } from './index-CEMx8n40.cjs';
 
 /**
  * Process Manager pattern (Phase 7 — roadmap §4.6, Audit 3 — locked 2026-04-24).

package/dist/{index-CRm0YIzC.d.cts → index-LIpQQE9f.d.cts}

@@ -1,12 +1,12 @@
-import { i as index$2 } from './index-DYTBbF8T.cjs';
-import { i as index$3 } from './index-CL7oilfm.cjs';
-import { i as index$4 } from './index-Bd91Nmf4.cjs';
-import { i as index$5 } from './index-D3ayz3hy.cjs';
-import { N as Node } from './node-BYInONRr.cjs';
-import { i as index$6 } from './index-DOBLxOti.cjs';
-import { i as index$7 } from './index-PgwvGWa1.cjs';
-import { i as index$8 } from './index-z8WFPVI8.cjs';
-import { i as index$9 } from './index-CgnCFhr2.cjs';
+import { i as index$2 } from './index-ChOyVLKm.cjs';
+import { i as index$3 } from './index-C9kSENB4.cjs';
+import { i as index$4 } from './index-BtAsBp8K.cjs';
+import { i as index$5 } from './index-z96luz5O.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
+import { i as index$6 } from './index-BVpm6noz.cjs';
+import { i as index$7 } from './index-hHcaFlJX.cjs';
+import { i as index$8 } from './index-BJX94aud.cjs';
+import { i as index$9 } from './index-f5IivDUX.cjs';
 
 /**
  * Options for creating signals.

package/dist/{index-CgnCFhr2.d.cts → index-f5IivDUX.d.cts}

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

package/dist/{index-PgwvGWa1.d.cts → index-hHcaFlJX.d.cts}

@@ -1,4 +1,4 @@
-import { N as Node } from './node-BYInONRr.cjs';
+import { N as Node } from './node-ClS5yC-B.cjs';
 
 /** Svelte store contract — implements the minimal `subscribe` method. */
 interface SvelteReadable<T> {

package/dist/{index-I1cCY3ZI.d.ts → index-pT8sCpOJ.d.ts}

@@ -1,6 +1,6 @@
-import { o as GraphReFlyConfig } from './node-BYInONRr.js';
-import { c as GraphPersistSnapshot, k as GraphCheckpointRecord, G as Graph, C as CausalChain, e as CausalStep, D as DescribeFilter, E as ExplainPathOptions, h as GRAPH_META_SEGMENT, i as GraphActorOptions, j as GraphAttachStorageOptions, d as GraphDescribeOptions, b as GraphDescribeOutput, l as GraphDiagramDirection, m as GraphDiffChange, n as GraphDiffResult, o as GraphFactoryContext, p as GraphNodeFactory, q as GraphObserveAll, r as GraphObserveOne, a as GraphOptions, s as GraphProfileOptions, t as GraphProfileResult, u as GraphVersionChange, v as GraphWALDiff, N as NodeProfile, O as ObserveChangeset, w as ObserveDetail, x as ObserveEvent, y as ObserveOptions, z as ObserveResult, A as ObserveTheme, B as ObserveThemeName, F as ObserveTier, R as ReachableDirection, H as ReachableOptions, S as SNAPSHOT_VERSION, T as TopologyEvent, I as TraceEntry, J as diffForWAL, K as explainPath, L as graphProfile, P as reachable } from './graph-BkIkog4h.js';
-import { w as watchTopologyTree } from './topology-tree-mF7Emqzm.js';
+import { n as GraphReFlyConfig } from './node-ClS5yC-B.js';
+import { r as GraphPersistSnapshot, i as GraphCheckpointRecord, G as Graph, C as CausalChain, c as CausalStep, e as DescribeFilter, E as ExplainPathOptions, f as GRAPH_META_SEGMENT, g as GraphActorOptions, h as GraphAttachStorageOptions, j as GraphDescribeOptions, b as GraphDescribeOutput, k as GraphDiagramDirection, l as GraphDiffChange, m as GraphDiffResult, n as GraphFactoryContext, o as GraphNodeFactory, p as GraphObserveAll, q as GraphObserveOne, a as GraphOptions, s as GraphProfileOptions, t as GraphProfileResult, u as GraphVersionChange, v as GraphWALDiff, N as NodeProfile, O as ObserveChangeset, w as ObserveDetail, x as ObserveEvent, y as ObserveOptions, z as ObserveResult, A as ObserveTheme, B as ObserveThemeName, F as ObserveTier, R as ReachableDirection, H as ReachableOptions, S as SNAPSHOT_VERSION, T as TopologyEvent, I as TraceEntry, J as diffForWAL, K as explainPath, L as graphProfile, P as reachable } from './graph-7VguS7a4.js';
+import { w as watchTopologyTree } from './topology-tree-BNGvuG82.js';
 
 /**
  * Approximate in-memory size estimation for arbitrary JS values.
@@ -255,6 +255,79 @@ declare function registerBuiltinCodecs(config: GraphReFlyConfig): void;
  */
 declare function replayWAL(entries: readonly WALEntry[]): GraphPersistSnapshot;
 
+/**
+ * Topology check: detect "island" nodes with no in-edges AND no out-edges.
+ *
+ * Companion to {@link validateGraphObservability} for user validation. Catches
+ * the kind of disconnected-node smell flagged in the pagerduty-demo audit
+ * ("decisions/log not linked to any other nodes", "tokens only by itself") —
+ * the visible symptom of imperative writes or closure-held state that bypassed
+ * the reactive edge graph.
+ *
+ * **What counts as an island.** A node is an island when:
+ *   - it has zero declared deps (zero **in-edges**), AND
+ *   - no other node in the graph declares it as a dep (zero **out-edges**).
+ *
+ * Source nodes (producers / state nodes that act as roots) typically have zero
+ * in-edges but ≥1 out-edge — those are NOT islands. Sink nodes (effects that
+ * terminate a chain) have ≥1 in-edge but zero out-edges — also NOT islands.
+ * Only nodes that satisfy BOTH conditions are reported.
+ *
+ * **Sub-graph paths.** When the graph mounts subgraphs, the check walks the
+ * full path-qualified node table from `graph.describe({ detail: "minimal" })`
+ * — both top-level and mounted children participate.
+ *
+ * **False-positive caveat (D7 /qa lock).** A `state(0, { name: "metric" })`
+ * whose only consumer is an external (non-graph) subscriber — e.g. a React /
+ * Vue / CLI subscription that calls `.subscribe(...)` directly — looks like
+ * an island from `describe()`'s perspective: zero declared in-edges, and no
+ * other node lists it as a dep. The check WILL flag it. Treat
+ * `validateNoIslands` as a smell-detector, not a definitive correctness gate;
+ * complement with `graph.observe(...)` instrumentation when external
+ * consumers are part of the design. If you have known external-consumer
+ * roots, filter them from `result.orphans` before deciding what to act on.
+ *
+ * **Non-throwing by default.** Returns a structured result so callers
+ * (dry-run blocks, CI smoke tests) can exit non-zero with a diagnostic
+ * instead of crashing.
+ *
+ * @module
+ */
+
+/** A reported island node, surfacing both path and node kind for triage. */
+interface IslandReport {
+    /** Path-qualified node name (mounted children included). */
+    readonly path: string;
+    /** `describe()` node `type` — `"state"` / `"derived"` / `"effect"` etc. Helps distinguish "forgot to wire" from "compositional bug". */
+    readonly kind: string;
+}
+/** Result returned by {@link validateNoIslands}. */
+interface ValidateNoIslandsResult {
+    /** `true` when the graph has zero island nodes. */
+    readonly ok: boolean;
+    /**
+     * Path-qualified names + kinds of nodes that are both zero-in and
+     * zero-out. Sorted ASCII-asc by `path` for deterministic output.
+     */
+    readonly orphans: readonly IslandReport[];
+    /** Single-line summary suitable for `process.stderr`. */
+    summary(): string;
+}
+/**
+ * Walk the graph's describe output and report island nodes (zero in + zero out edges).
+ *
+ * @example
+ * ```ts
+ * const result = validateNoIslands(graph);
+ * if (!result.ok) {
+ *   console.error(result.summary());
+ *   for (const o of result.orphans) console.error(`  - ${o.path} (${o.kind})`);
+ *   process.exit(3);
+ * }
+ * ```
+ */
+declare function validateNoIslands(graph: Graph): ValidateNoIslandsResult;
+
 /**
  * Graph observability validation — smoke-exercise helper (D4).
  *
@@ -430,6 +503,7 @@ declare const index_GraphProfileOptions: typeof GraphProfileOptions;
 declare const index_GraphProfileResult: typeof GraphProfileResult;
 declare const index_GraphVersionChange: typeof GraphVersionChange;
 declare const index_GraphWALDiff: typeof GraphWALDiff;
+type index_IslandReport = IslandReport;
 declare const index_JsonCodec: typeof JsonCodec;
 type index_LazyGraphCodec = LazyGraphCodec;
 declare const index_NodeProfile: typeof NodeProfile;
@@ -449,6 +523,7 @@ declare const index_SIZEOF_SYMBOL: typeof SIZEOF_SYMBOL;
 declare const index_SNAPSHOT_VERSION: typeof SNAPSHOT_VERSION;
 declare const index_TopologyEvent: typeof TopologyEvent;
 declare const index_TraceEntry: typeof TraceEntry;
+type index_ValidateNoIslandsResult = ValidateNoIslandsResult;
 type index_ValidateObservabilityOptions = ValidateObservabilityOptions;
 type index_ValidateObservabilityResult = ValidateObservabilityResult;
 type index_WALEntry = WALEntry;
@@ -464,9 +539,10 @@ declare const index_registerBuiltinCodecs: typeof registerBuiltinCodecs;
 declare const index_replayWAL: typeof replayWAL;
 declare const index_sizeof: typeof sizeof;
 declare const index_validateGraphObservability: typeof validateGraphObservability;
+declare const index_validateNoIslands: typeof validateNoIslands;
 declare const index_watchTopologyTree: typeof watchTopologyTree;
 declare namespace index {
-  export { index_CausalChain as CausalChain, index_CausalStep as CausalStep, index_DescribeFilter as DescribeFilter, index_ENVELOPE_VERSION as ENVELOPE_VERSION, type index_EvictedSubgraphInfo as EvictedSubgraphInfo, type index_EvictionPolicy as EvictionPolicy, index_ExplainPathOptions as ExplainPathOptions, index_GRAPH_META_SEGMENT as GRAPH_META_SEGMENT, index_Graph as Graph, index_GraphActorOptions as GraphActorOptions, index_GraphAttachStorageOptions as GraphAttachStorageOptions, index_GraphCheckpointRecord as GraphCheckpointRecord, type index_GraphCodec as GraphCodec, index_GraphDescribeOptions as GraphDescribeOptions, index_GraphDescribeOutput as GraphDescribeOutput, index_GraphDiagramDirection as GraphDiagramDirection, index_GraphDiffChange as GraphDiffChange, index_GraphDiffResult as GraphDiffResult, index_GraphFactoryContext as GraphFactoryContext, index_GraphNodeFactory as GraphNodeFactory, index_GraphObserveAll as GraphObserveAll, index_GraphObserveOne as GraphObserveOne, index_GraphOptions as GraphOptions, index_GraphPersistSnapshot as GraphPersistSnapshot, index_GraphProfileOptions as GraphProfileOptions, index_GraphProfileResult as GraphProfileResult, index_GraphVersionChange as GraphVersionChange, index_GraphWALDiff as GraphWALDiff, index_JsonCodec as JsonCodec, type index_LazyGraphCodec as LazyGraphCodec, index_NodeProfile as NodeProfile, type index_ObservabilityCheck as ObservabilityCheck, type index_ObservabilityDescribeFormat as ObservabilityDescribeFormat, index_ObserveChangeset as ObserveChangeset, index_ObserveDetail as ObserveDetail, index_ObserveEvent as ObserveEvent, index_ObserveOptions as ObserveOptions, index_ObserveResult as ObserveResult, index_ObserveTheme as ObserveTheme, index_ObserveThemeName as ObserveThemeName, index_ObserveTier as ObserveTier, index_ReachableDirection as ReachableDirection, index_ReachableOptions as ReachableOptions, OVERHEAD as SIZEOF_OVERHEAD, index_SIZEOF_SYMBOL as SIZEOF_SYMBOL, index_SNAPSHOT_VERSION as SNAPSHOT_VERSION, index_TopologyEvent as TopologyEvent, index_TraceEntry as TraceEntry, type index_ValidateObservabilityOptions as ValidateObservabilityOptions, type index_ValidateObservabilityResult as ValidateObservabilityResult, type index_WALEntry as WALEntry, index_createDagCborCodec as createDagCborCodec, index_createDagCborZstdCodec as createDagCborZstdCodec, index_decodeEnvelope as decodeEnvelope, index_diffForWAL as diffForWAL, index_encodeEnvelope as encodeEnvelope, index_explainPath as explainPath, index_graphProfile as graphProfile, index_reachable as reachable, index_registerBuiltinCodecs as registerBuiltinCodecs, index_replayWAL as replayWAL, index_sizeof as sizeof, index_validateGraphObservability as validateGraphObservability, index_watchTopologyTree as watchTopologyTree };
+  export { index_CausalChain as CausalChain, index_CausalStep as CausalStep, index_DescribeFilter as DescribeFilter, index_ENVELOPE_VERSION as ENVELOPE_VERSION, type index_EvictedSubgraphInfo as EvictedSubgraphInfo, type index_EvictionPolicy as EvictionPolicy, index_ExplainPathOptions as ExplainPathOptions, index_GRAPH_META_SEGMENT as GRAPH_META_SEGMENT, index_Graph as Graph, index_GraphActorOptions as GraphActorOptions, index_GraphAttachStorageOptions as GraphAttachStorageOptions, index_GraphCheckpointRecord as GraphCheckpointRecord, type index_GraphCodec as GraphCodec, index_GraphDescribeOptions as GraphDescribeOptions, index_GraphDescribeOutput as GraphDescribeOutput, index_GraphDiagramDirection as GraphDiagramDirection, index_GraphDiffChange as GraphDiffChange, index_GraphDiffResult as GraphDiffResult, index_GraphFactoryContext as GraphFactoryContext, index_GraphNodeFactory as GraphNodeFactory, index_GraphObserveAll as GraphObserveAll, index_GraphObserveOne as GraphObserveOne, index_GraphOptions as GraphOptions, index_GraphPersistSnapshot as GraphPersistSnapshot, index_GraphProfileOptions as GraphProfileOptions, index_GraphProfileResult as GraphProfileResult, index_GraphVersionChange as GraphVersionChange, index_GraphWALDiff as GraphWALDiff, type index_IslandReport as IslandReport, index_JsonCodec as JsonCodec, type index_LazyGraphCodec as LazyGraphCodec, index_NodeProfile as NodeProfile, type index_ObservabilityCheck as ObservabilityCheck, type index_ObservabilityDescribeFormat as ObservabilityDescribeFormat, index_ObserveChangeset as ObserveChangeset, index_ObserveDetail as ObserveDetail, index_ObserveEvent as ObserveEvent, index_ObserveOptions as ObserveOptions, index_ObserveResult as ObserveResult, index_ObserveTheme as ObserveTheme, index_ObserveThemeName as ObserveThemeName, index_ObserveTier as ObserveTier, index_ReachableDirection as ReachableDirection, index_ReachableOptions as ReachableOptions, OVERHEAD as SIZEOF_OVERHEAD, index_SIZEOF_SYMBOL as SIZEOF_SYMBOL, index_SNAPSHOT_VERSION as SNAPSHOT_VERSION, index_TopologyEvent as TopologyEvent, index_TraceEntry as TraceEntry, type index_ValidateNoIslandsResult as ValidateNoIslandsResult, type index_ValidateObservabilityOptions as ValidateObservabilityOptions, type index_ValidateObservabilityResult as ValidateObservabilityResult, type index_WALEntry as WALEntry, index_createDagCborCodec as createDagCborCodec, index_createDagCborZstdCodec as createDagCborZstdCodec, index_decodeEnvelope as decodeEnvelope, index_diffForWAL as diffForWAL, index_encodeEnvelope as encodeEnvelope, index_explainPath as explainPath, index_graphProfile as graphProfile, index_reachable as reachable, index_registerBuiltinCodecs as registerBuiltinCodecs, index_replayWAL as replayWAL, index_sizeof as sizeof, index_validateGraphObservability as validateGraphObservability, index_validateNoIslands as validateNoIslands, index_watchTopologyTree as watchTopologyTree };
 }
 
-export { ENVELOPE_VERSION as E, type GraphCodec as G, JsonCodec as J, type LazyGraphCodec as L, type ObservabilityCheck as O, SIZEOF_SYMBOL as S, type ValidateObservabilityOptions as V, type WALEntry as W, type EvictedSubgraphInfo as a, type EvictionPolicy as b, type ObservabilityDescribeFormat as c, OVERHEAD as d, type ValidateObservabilityResult as e, createDagCborCodec as f, createDagCborZstdCodec as g, decodeEnvelope as h, encodeEnvelope as i, index as j, replayWAL as k, registerBuiltinCodecs as r, sizeof as s, validateGraphObservability as v };
+export { ENVELOPE_VERSION as E, type GraphCodec as G, type IslandReport as I, JsonCodec as J, type LazyGraphCodec as L, type ObservabilityCheck as O, SIZEOF_SYMBOL as S, type ValidateNoIslandsResult as V, type WALEntry as W, type EvictedSubgraphInfo as a, type EvictionPolicy as b, type ObservabilityDescribeFormat as c, OVERHEAD as d, type ValidateObservabilityOptions as e, type ValidateObservabilityResult as f, createDagCborCodec as g, createDagCborZstdCodec as h, decodeEnvelope as i, encodeEnvelope as j, index as k, replayWAL as l, validateNoIslands as m, registerBuiltinCodecs as r, sizeof as s, validateGraphObservability as v };