@astrale-os/kernel-core 0.4.1

package/dist/graph/sync/apply/push-result.d.ts

@@ -0,0 +1,19 @@
+import type { NodeId, EdgeId } from '#ids';
+import type { ValidationWarning, PatchAdjustment } from './validation';
+export interface PushResult {
+    nodesCreated: number;
+    nodesUpdated: number;
+    nodesDeleted: number;
+    edgesCreated: number;
+    edgesUpdated: number;
+    edgesDeleted: number;
+    createdNodes: Record<string, NodeId>;
+    createdEdges: Record<string, EdgeId>;
+}
+export interface SyncResult extends PushResult {
+    warnings: ValidationWarning[];
+    adjustments: PatchAdjustment[];
+    untrackedNodesPreserved: number;
+    untrackedEdgesPreserved: number;
+}
+//# sourceMappingURL=push-result.d.ts.map

package/dist/graph/sync/apply/push-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"push-result.d.ts","sourceRoot":"","sources":["../../../../graph/sync/apply/push-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAA;AAE1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAEtE,MAAM,WAAW,UAAU;IACzB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACpC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACrC;AAED,MAAM,WAAW,UAAW,SAAQ,UAAU;IAC5C,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAC7B,WAAW,EAAE,eAAe,EAAE,CAAA;IAC9B,uBAAuB,EAAE,MAAM,CAAA;IAC/B,uBAAuB,EAAE,MAAM,CAAA;CAChC"}

package/dist/graph/sync/apply/push-result.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=push-result.js.map

package/dist/graph/sync/apply/push-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"push-result.js","sourceRoot":"","sources":["../../../../graph/sync/apply/push-result.ts"],"names":[],"mappings":""}

package/dist/graph/sync/apply/validation.d.ts

@@ -0,0 +1,24 @@
+import type { NodeId, EdgeId } from '#ids';
+export interface ValidationError {
+    path: string;
+    message: string;
+}
+export interface ValidationWarning {
+    code: string;
+    message: string;
+    nodeId?: NodeId;
+    edgeId?: EdgeId;
+}
+export interface PatchAdjustment {
+    type: 'cascade-delete-node' | 'cascade-delete-edge';
+    nodeId?: NodeId;
+    edgeId?: EdgeId;
+    detail: string;
+}
+export interface PatchValidationResult {
+    valid: boolean;
+    errors: ValidationError[];
+    warnings: ValidationWarning[];
+    adjustments: PatchAdjustment[];
+}
+//# sourceMappingURL=validation.d.ts.map

package/dist/graph/sync/apply/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../graph/sync/apply/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAA;AAE1C,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,qBAAqB,GAAG,qBAAqB,CAAA;IACnD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAA;IACd,MAAM,EAAE,eAAe,EAAE,CAAA;IACzB,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAC7B,WAAW,EAAE,eAAe,EAAE,CAAA;CAC/B"}

package/dist/graph/sync/apply/validation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=validation.js.map

package/dist/graph/sync/apply/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../graph/sync/apply/validation.ts"],"names":[],"mappings":""}

package/dist/graph/sync/diff/changeset.d.ts

@@ -0,0 +1,79 @@
+import type { Edge, EdgeSpec, Node, NodeSpec } from '#graph';
+import type { ConflictStrategy } from '#ids';
+/**
+ * Change — unified discriminated diff operation (SPEC §8.0).
+ *
+ * One shape replaces the prior six-arm Changeset (nodes/edges × matched/
+ * added/removed + untracked). Consumers iterate a flat array and
+ * discriminate on `op`.
+ *
+ * - `added`    — entity present on incoming side, not matched on base. Create.
+ * - `removed`  — entity present on base side, not matched on incoming. Delete.
+ * - `matched`  — both sides yielded the same MatchingStrategy key; resolver
+ *                applies `conflictStrategy` to the base/incoming pair.
+ * - `untracked`— base-side entity whose MatchingStrategy returned `undefined`.
+ *                `total` strategies never populate this arm; `partial`
+ *                strategies may. Routed by `UntrackedPolicy`.
+ */
+/**
+ * `Change<B, I>` — asymmetric base/incoming types. For nodes: B=Node, I=NodeSpec.
+ * For edges: B=Edge, I=EdgeSpec. Keeps id-bearing narrowing on `base` sides.
+ * Defaulting both to a shared T preserves the symmetric SPEC §8.0 form for
+ * callers that don't care about the asymmetry.
+ */
+export type Change<B, I = B> = {
+    readonly op: 'added';
+    readonly incoming: I;
+} | {
+    readonly op: 'removed';
+    readonly base: B;
+} | {
+    readonly op: 'matched';
+    readonly base: B;
+    readonly incoming: I;
+    readonly conflictStrategy?: ConflictStrategy;
+} | {
+    readonly op: 'untracked';
+    readonly base: B;
+};
+export type NodeEntity = Node | NodeSpec;
+export type EdgeEntity = Edge | EdgeSpec;
+/**
+ * A matched pair — base entity, incoming entity, optional per-entity
+ * conflict override. Shape extracted from `Change<B, I>` for the `matched`
+ * grouped-view accessor on `ChangeList<B, I>`.
+ */
+export interface MatchedPair<B, I = B> {
+    readonly base: B;
+    readonly incoming: I;
+    readonly conflictStrategy?: ConflictStrategy;
+}
+/**
+ * `Change<B, I>[]` enriched with grouped-view accessors (SPEC §8.0 flat list
+ * + ergonomic buckets). Behaves exactly like a readonly array — iterate,
+ * index, `.length`, `.filter`, etc. — and additionally exposes
+ * `added` / `removed` / `matched` / `untracked` pre-filtered projections
+ * with precise base/incoming typing on each arm.
+ */
+export interface ChangeList<B, I = B> extends ReadonlyArray<Change<B, I>> {
+    readonly added: readonly I[];
+    readonly removed: readonly B[];
+    readonly matched: readonly MatchedPair<B, I>[];
+    readonly untracked: readonly B[];
+}
+export interface Changeset {
+    readonly nodes: ChangeList<Node, NodeSpec>;
+    readonly edges: ChangeList<Edge, EdgeSpec>;
+}
+/**
+ * Wrap a plain `Change<T>[]` with the grouped-view accessors. Views are
+ * lazily computed on first access, then cached.
+ */
+export declare function toChangeList<B, I>(changes: readonly Change<B, I>[]): ChangeList<B, I>;
+/**
+ * Narrow `Change<B, I>` to its base-side entity (`undefined` on `added`).
+ */
+export declare function baseOf<B, I>(c: Change<B, I>): B | undefined;
+/** Narrow to incoming-side entity (absent on `removed`/`untracked`). */
+export declare function incomingOf<B, I>(c: Change<B, I>): I | undefined;
+//# sourceMappingURL=changeset.d.ts.map

package/dist/graph/sync/diff/changeset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"changeset.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/changeset.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,MAAM,CAAA;AAE5C;;;;;;;;;;;;;;GAcG;AACH;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IACvB;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;CAAE,GAC9C;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC5C;IACE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;CAC7C,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAA;AAElD,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,QAAQ,CAAA;AACxC,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,QAAQ,CAAA;AAExC;;;;GAIG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;CAC7C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAE,SAAQ,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;IAC9C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1C,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;CAC3C;AAID;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CA+CrF;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAE3D;AAED,wEAAwE;AACxE,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAE/D"}

package/dist/graph/sync/diff/changeset.js

@@ -0,0 +1,66 @@
+// ── Helpers ───────────────────────────────────────────────────
+/**
+ * Wrap a plain `Change<T>[]` with the grouped-view accessors. Views are
+ * lazily computed on first access, then cached.
+ */
+export function toChangeList(changes) {
+    const list = changes;
+    Object.defineProperty(list, 'added', {
+        get() {
+            const out = [];
+            for (const c of list)
+                if (c.op === 'added')
+                    out.push(c.incoming);
+            return Object.freeze(out);
+        },
+        configurable: true,
+    });
+    Object.defineProperty(list, 'removed', {
+        get() {
+            const out = [];
+            for (const c of list)
+                if (c.op === 'removed')
+                    out.push(c.base);
+            return Object.freeze(out);
+        },
+        configurable: true,
+    });
+    Object.defineProperty(list, 'matched', {
+        get() {
+            const out = [];
+            for (const c of list) {
+                if (c.op !== 'matched')
+                    continue;
+                out.push({
+                    base: c.base,
+                    incoming: c.incoming,
+                    ...(c.conflictStrategy !== undefined && { conflictStrategy: c.conflictStrategy }),
+                });
+            }
+            return Object.freeze(out);
+        },
+        configurable: true,
+    });
+    Object.defineProperty(list, 'untracked', {
+        get() {
+            const out = [];
+            for (const c of list)
+                if (c.op === 'untracked')
+                    out.push(c.base);
+            return Object.freeze(out);
+        },
+        configurable: true,
+    });
+    return list;
+}
+/**
+ * Narrow `Change<B, I>` to its base-side entity (`undefined` on `added`).
+ */
+export function baseOf(c) {
+    return c.op === 'added' ? undefined : c.base;
+}
+/** Narrow to incoming-side entity (absent on `removed`/`untracked`). */
+export function incomingOf(c) {
+    return c.op === 'added' || c.op === 'matched' ? c.incoming : undefined;
+}
+//# sourceMappingURL=changeset.js.map

package/dist/graph/sync/diff/changeset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changeset.js","sourceRoot":"","sources":["../../../../graph/sync/diff/changeset.ts"],"names":[],"mappings":"AAoEA,iEAAiE;AAEjE;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAO,OAAgC;IACjE,MAAM,IAAI,GAAG,OAKZ,CAAA;IACD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE;QACnC,GAAG;YACD,MAAM,GAAG,GAAQ,EAAE,CAAA;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,OAAO;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;YAChE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,YAAY,EAAE,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE;QACrC,GAAG;YACD,MAAM,GAAG,GAAQ,EAAE,CAAA;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,YAAY,EAAE,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE;QACrC,GAAG;YACD,MAAM,GAAG,GAAwB,EAAE,CAAA;YACnC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;oBAAE,SAAQ;gBAChC,GAAG,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,GAAG,CAAC,CAAC,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC;iBAClF,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,YAAY,EAAE,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE;QACvC,GAAG;YACD,MAAM,GAAG,GAAQ,EAAE,CAAA;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,WAAW;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YAChE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,YAAY,EAAE,IAAI;KACnB,CAAC,CAAA;IACF,OAAO,IAAwB,CAAA;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAO,CAAe;IAC1C,OAAO,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9C,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,UAAU,CAAO,CAAe;IAC9C,OAAO,CAAC,CAAC,EAAE,KAAK,OAAO,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;AACxE,CAAC"}

package/dist/graph/sync/diff/config.d.ts

@@ -0,0 +1,26 @@
+import type { Edge, EdgeSpec, Node, NodeSpec } from '#graph';
+import type { ConflictStrategy } from '#ids';
+import type { MatchingStrategy } from '../matching';
+/**
+ * Per-entity hook to extract a per-entity override for `ConflictStrategy`.
+ * Independent from `MatchingStrategy` — matching keys entities across sides;
+ * conflict extraction decides how to merge property drift when matched.
+ * Returning `undefined` means "use the pipeline default."
+ */
+export type ConflictExtractor<T> = (entity: T) => ConflictStrategy | undefined;
+/**
+ * Configuration for the diff step (SPEC §8.0).
+ *
+ * `nodes` / `edges` are caller-supplied `MatchingStrategy`s that key
+ * entities on each side. `nodeConflict` / `edgeConflict` are optional
+ * per-entity overrides for `ConflictStrategy`. `ignoredProperties` is a
+ * flat set of property keys to exclude from the property diff.
+ */
+export interface DiffConfig {
+    readonly nodes: MatchingStrategy<Node | NodeSpec>;
+    readonly edges: MatchingStrategy<Edge | EdgeSpec>;
+    readonly nodeConflict?: ConflictExtractor<Node | NodeSpec>;
+    readonly edgeConflict?: ConflictExtractor<Edge | EdgeSpec>;
+    readonly ignoredProperties?: ReadonlySet<string>;
+}
+//# sourceMappingURL=config.d.ts.map

package/dist/graph/sync/diff/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,MAAM,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,gBAAgB,GAAG,SAAS,CAAA;AAE9E;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IAC1D,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IAC1D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACjD"}

package/dist/graph/sync/diff/config.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=config.js.map

package/dist/graph/sync/diff/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../graph/sync/diff/config.ts"],"names":[],"mappings":""}

package/dist/graph/sync/diff/default.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Default DiffConfig for the kernel schema.
+ *
+ * Nodes and edges are matched by the `Remotable.externalId` property
+ * (legacy-equivalent behavior). Per-entity conflict overrides read the
+ * `Remotable.onConflict` property. `ignoredProperties` excludes the
+ * kernel's system-managed fields (`Timestamped.*`, `Statused.status`).
+ *
+ * Callers with custom schemas swap either the `MatchingStrategy` (e.g.
+ * `MatchingStrategy.byPath` for snapshot-vs-snapshot diffs) or the
+ * `ignoredProperties` set.
+ */
+import type { DiffConfig } from './config';
+export declare const DEFAULT_DIFF_CONFIG: DiffConfig;
+//# sourceMappingURL=default.d.ts.map

package/dist/graph/sync/diff/default.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,OAAO,KAAK,EAAE,UAAU,EAAqB,MAAM,UAAU,CAAA;AAW7D,eAAO,MAAM,mBAAmB,EAAE,UAMjC,CAAA"}

package/dist/graph/sync/diff/default.js

@@ -0,0 +1,26 @@
+/**
+ * Default DiffConfig for the kernel schema.
+ *
+ * Nodes and edges are matched by the `Remotable.externalId` property
+ * (legacy-equivalent behavior). Per-entity conflict overrides read the
+ * `Remotable.onConflict` property. `ignoredProperties` excludes the
+ * kernel's system-managed fields (`Timestamped.*`, `Statused.status`).
+ *
+ * Callers with custom schemas swap either the `MatchingStrategy` (e.g.
+ * `MatchingStrategy.byPath` for snapshot-vs-snapshot diffs) or the
+ * `ignoredProperties` set.
+ */
+import { SYSTEM_PROPERTY_KEYS, REMOTE_KEYS } from '#kernel';
+import { MatchingStrategy } from '../matching';
+const readOnConflict = (e) => {
+    const v = e.props[REMOTE_KEYS.onConflict];
+    return typeof v === 'string' ? v : undefined;
+};
+export const DEFAULT_DIFF_CONFIG = {
+    nodes: MatchingStrategy.byProp(REMOTE_KEYS.externalId),
+    edges: MatchingStrategy.byProp(REMOTE_KEYS.externalId),
+    nodeConflict: readOnConflict,
+    edgeConflict: readOnConflict,
+    ignoredProperties: SYSTEM_PROPERTY_KEYS,
+};
+//# sourceMappingURL=default.js.map

package/dist/graph/sync/diff/default.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"default.js","sourceRoot":"","sources":["../../../../graph/sync/diff/default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AAI3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAE9C,MAAM,cAAc,GAA6E,CAC/F,CAAC,EACD,EAAE;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;IACzC,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAsB,CAAC,CAAC,CAAC,SAAS,CAAA;AACpE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAe;IAC7C,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACtD,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACtD,YAAY,EAAE,cAAc;IAC5B,YAAY,EAAE,cAAc;IAC5B,iBAAiB,EAAE,oBAAoB;CACxC,CAAA"}

package/dist/graph/sync/diff/diff.d.ts

@@ -0,0 +1,28 @@
+import type { Graph, Properties } from '#graph';
+import type { Changeset } from './changeset';
+import type { DiffConfig } from './config';
+/**
+ * Diff a `base` Graph against an `incoming` Graph using caller-supplied
+ * matching strategies (SPEC §8.0).
+ *
+ * For each side (nodes, edges):
+ * 1. Key entities via `config.{nodes|edges}` MatchingStrategy.
+ *    Entities returning `undefined` (partial strategies only) are tagged
+ *    `untracked` on the base side and skipped on the incoming side.
+ * 2. Build two keyed maps; collisions inside either side throw (schema bug:
+ *    two entities sharing the same key).
+ * 3. Walk the union of keys. Present-on-both → `matched`; base-only →
+ *    `removed`; incoming-only → `added`. Per-entity conflict overrides
+ *    (from `nodeConflict` / `edgeConflict`) attach to `matched` changes.
+ *
+ * The auto-injected virtual `/` root (SPEC I1) is filtered from both
+ * sides on the node arm — `Graph.from` injects it on read, so it would
+ * otherwise produce a noisy `matched` change with no user-visible
+ * meaning. Caller-supplied real roots (non-`__SYSTEM__` ids) are
+ * preserved.
+ */
+export declare function diff(base: Graph, incoming: Graph, config: DiffConfig): Changeset;
+export type { Changeset, Change, NodeEntity, EdgeEntity } from './changeset';
+export { baseOf, incomingOf } from './changeset';
+export declare function diffable(props: Readonly<Properties>, ignored?: ReadonlySet<string>): Properties;
+//# sourceMappingURL=diff.d.ts.map

package/dist/graph/sync/diff/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,KAAK,EAAkB,UAAU,EAAE,MAAM,QAAQ,CAAA;AAI/E,OAAO,KAAK,EAAU,SAAS,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,KAAK,EAAE,UAAU,EAAqB,MAAM,UAAU,CAAA;AAI7D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,CAsBhF;AAgGD,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC5E,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAIhD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,UAAU,CAO/F"}

package/dist/graph/sync/diff/diff.js

@@ -0,0 +1,116 @@
+import { isVirtualRoot } from '#graph';
+import { toChangeList } from './changeset';
+/**
+ * Diff a `base` Graph against an `incoming` Graph using caller-supplied
+ * matching strategies (SPEC §8.0).
+ *
+ * For each side (nodes, edges):
+ * 1. Key entities via `config.{nodes|edges}` MatchingStrategy.
+ *    Entities returning `undefined` (partial strategies only) are tagged
+ *    `untracked` on the base side and skipped on the incoming side.
+ * 2. Build two keyed maps; collisions inside either side throw (schema bug:
+ *    two entities sharing the same key).
+ * 3. Walk the union of keys. Present-on-both → `matched`; base-only →
+ *    `removed`; incoming-only → `added`. Per-entity conflict overrides
+ *    (from `nodeConflict` / `edgeConflict`) attach to `matched` changes.
+ *
+ * The auto-injected virtual `/` root (SPEC I1) is filtered from both
+ * sides on the node arm — `Graph.from` injects it on read, so it would
+ * otherwise produce a noisy `matched` change with no user-visible
+ * meaning. Caller-supplied real roots (non-`__SYSTEM__` ids) are
+ * preserved.
+ */
+export function diff(base, incoming, config) {
+    const ignore = config.ignoredProperties;
+    return {
+        nodes: toChangeList(diffEntities(base.nodes.filter((n) => !isVirtualRoot(n)), incoming.nodes.filter((n) => !isVirtualRoot(n)), config.nodes, config.nodeConflict, ignore ? (n) => withFilteredProps(n, ignore) : undefined)),
+        edges: toChangeList(diffEntities(base.edges, incoming.edges, config.edges, config.edgeConflict, ignore ? (e) => withFilteredProps(e, ignore) : undefined)),
+    };
+}
+/**
+ * Clone an entity with `ignoredProperties` stripped from `props`. Used on
+ * the `matched` arm so the resolver's prop-diff logic doesn't treat
+ * backend-managed fields (Timestamped.createdAt, Statused.status, …) as
+ * drift — incoming specs normally omit them, and `replace` would null
+ * them otherwise. `added` / `removed` pass through unfiltered: create /
+ * delete operations don't invoke prop resolution.
+ */
+function withFilteredProps(entity, ignored) {
+    return { ...entity, props: diffable(entity.props, ignored) };
+}
+// ── Core pairing algorithm ────────────────────────────────────
+function diffEntities(base, incoming, strategy, conflict, filterForMatch) {
+    const baseByKey = new Map();
+    const untracked = [];
+    for (const e of base) {
+        const k = strategy.key(e);
+        if (k === undefined) {
+            untracked.push(e);
+            continue;
+        }
+        if (baseByKey.has(k)) {
+            throw new Error(`diff: duplicate ${strategy.name} key "${k}" on base side`);
+        }
+        baseByKey.set(k, e);
+    }
+    const incomingByKey = new Map();
+    for (const e of incoming) {
+        const k = strategy.key(e);
+        if (k === undefined) {
+            // Incoming entities without a key can't be matched, added, or routed.
+            // Loud over silent: partial strategies must still yield keys on the
+            // incoming side or the schema's invariant (every spec is identifiable)
+            // is violated.
+            throw new Error(`diff: incoming entity has no ${strategy.name} key — every incoming entity must be keyable`);
+        }
+        if (incomingByKey.has(k)) {
+            throw new Error(`diff: duplicate ${strategy.name} key "${k}" on incoming side`);
+        }
+        incomingByKey.set(k, e);
+    }
+    const out = [];
+    // Present-on-both → matched; base-only → removed.
+    for (const [k, b] of baseByKey) {
+        const inc = incomingByKey.get(k);
+        if (inc === undefined) {
+            out.push({ op: 'removed', base: b });
+            continue;
+        }
+        const baseOverride = conflict?.(b);
+        const incOverride = conflict?.(inc);
+        const conflictStrategy = baseOverride ?? incOverride;
+        const matchedBase = filterForMatch ? filterForMatch(b) : b;
+        const matchedInc = filterForMatch ? filterForMatch(inc) : inc;
+        out.push({
+            op: 'matched',
+            base: matchedBase,
+            incoming: matchedInc,
+            ...(conflictStrategy !== undefined && { conflictStrategy }),
+        });
+    }
+    // Incoming-only → added.
+    for (const [k, inc] of incomingByKey) {
+        if (baseByKey.has(k))
+            continue;
+        out.push({ op: 'added', incoming: inc });
+    }
+    // Base-side untracked entities.
+    for (const b of untracked) {
+        out.push({ op: 'untracked', base: b });
+    }
+    return out;
+}
+export { baseOf, incomingOf } from './changeset';
+// Legacy `diffable` utility kept for ignoredProperties filtering used by
+// the reconciler's prop-resolver (not the diff itself anymore).
+export function diffable(props, ignored) {
+    if (!ignored || ignored.size === 0)
+        return { ...props };
+    const out = {};
+    for (const [k, v] of Object.entries(props)) {
+        if (!ignored.has(k))
+            out[k] = v;
+    }
+    return out;
+}
+//# sourceMappingURL=diff.js.map

package/dist/graph/sync/diff/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../../graph/sync/diff/diff.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAA;AAKtC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,IAAI,CAAC,IAAW,EAAE,QAAe,EAAE,MAAkB;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAA;IACvC,OAAO;QACL,KAAK,EAAE,YAAY,CACjB,YAAY,CACV,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAC3C,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAC/C,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CACzD,CACF;QACD,KAAK,EAAE,YAAY,CACjB,YAAY,CACV,IAAI,CAAC,KAAK,EACV,QAAQ,CAAC,KAAK,EACd,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CACzD,CACF;KACF,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,MAAS,EACT,OAA4B;IAE5B,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAA;AAC9D,CAAC;AAED,iEAAiE;AAEjE,SAAS,YAAY,CACnB,IAAqB,EACrB,QAA6B,EAC7B,QAAyE,EACzE,QAA0D,EAC1D,cAAyE;IAEzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiB,CAAA;IAC1C,MAAM,SAAS,GAAY,EAAE,CAAA;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACzB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACjB,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,mBAAmB,QAAQ,CAAC,IAAI,SAAS,CAAC,gBAAgB,CAAC,CAAA;QAC7E,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAqB,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACzB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,sEAAsE;YACtE,oEAAoE;YACpE,uEAAuE;YACvE,eAAe;YACf,MAAM,IAAI,KAAK,CACb,gCAAgC,QAAQ,CAAC,IAAI,8CAA8C,CAC5F,CAAA;QACH,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,mBAAmB,QAAQ,CAAC,IAAI,SAAS,CAAC,oBAAoB,CAAC,CAAA;QACjF,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACzB,CAAC;IAED,MAAM,GAAG,GAA+B,EAAE,CAAA;IAE1C,kDAAkD;IAClD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAChC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;YACpC,SAAQ;QACV,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAA;QAClC,MAAM,WAAW,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;QACnC,MAAM,gBAAgB,GAAG,YAAY,IAAI,WAAW,CAAA;QACpD,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAE,cAAc,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,CAAA;QACrE,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAE,cAAc,CAAC,GAAG,CAAe,CAAC,CAAC,CAAC,GAAG,CAAA;QAC5E,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,UAAU;YACpB,GAAG,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC;SAC5D,CAAC,CAAA;IACJ,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,aAAa,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAA;IAC1C,CAAC;IAED,gCAAgC;IAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAKD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAEhD,yEAAyE;AACzE,gEAAgE;AAChE,MAAM,UAAU,QAAQ,CAAC,KAA2B,EAAE,OAA6B;IACjF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;IACvD,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/graph/sync/diff/index.d.ts

@@ -0,0 +1,7 @@
+export { diff, baseOf, incomingOf, diffable } from './diff';
+export type { DiffConfig, ConflictExtractor } from './config';
+export { DEFAULT_DIFF_CONFIG } from './default';
+export { filterByScope, type SyncScope } from './scope';
+export type { Change, ChangeList, Changeset, MatchedPair, NodeEntity, EdgeEntity, } from './changeset';
+export { toChangeList } from './changeset';
+//# sourceMappingURL=index.d.ts.map

package/dist/graph/sync/diff/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAC3D,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,SAAS,CAAA;AACvD,YAAY,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,GACX,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA"}

package/dist/graph/sync/diff/index.js

@@ -0,0 +1,5 @@
+export { diff, baseOf, incomingOf, diffable } from './diff';
+export { DEFAULT_DIFF_CONFIG } from './default';
+export { filterByScope } from './scope';
+export { toChangeList } from './changeset';
+//# sourceMappingURL=index.js.map

package/dist/graph/sync/diff/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../graph/sync/diff/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAE3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAkB,MAAM,SAAS,CAAA;AASvD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA"}

package/dist/graph/sync/diff/scope.d.ts

@@ -0,0 +1,12 @@
+import type { ClassPath } from '#domain';
+import { Graph } from '#graph';
+export interface SyncScope {
+    ignoredClasses?: ClassPath[];
+}
+/**
+ * Produce a new `Graph` with nodes/edges whose `class` is listed in
+ * `scope.ignoredClasses` removed. When no scope (or no ignored classes),
+ * returns the input unchanged — cheap no-op.
+ */
+export declare function filterByScope(graph: Graph, scope?: SyncScope): Graph;
+//# sourceMappingURL=scope.d.ts.map

package/dist/graph/sync/diff/scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../../../graph/sync/diff/scope.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAExC,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE9B,MAAM,WAAW,SAAS;IACxB,cAAc,CAAC,EAAE,SAAS,EAAE,CAAA;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,SAAS,GAAG,KAAK,CAQpE"}

package/dist/graph/sync/diff/scope.js

@@ -0,0 +1,17 @@
+import { Graph } from '#graph';
+/**
+ * Produce a new `Graph` with nodes/edges whose `class` is listed in
+ * `scope.ignoredClasses` removed. When no scope (or no ignored classes),
+ * returns the input unchanged — cheap no-op.
+ */
+export function filterByScope(graph, scope) {
+    if (!scope?.ignoredClasses?.length)
+        return graph;
+    const ignored = new Set(scope.ignoredClasses.map((p) => p.raw));
+    return Graph.from({
+        nodes: graph.nodes.filter((n) => !ignored.has(n.class.raw)),
+        edges: graph.edges.filter((e) => !ignored.has(e.class.raw)),
+        ...(graph.aliases !== null && graph.aliases.length > 0 ? { aliases: graph.aliases } : {}),
+    });
+}
+//# sourceMappingURL=scope.js.map

package/dist/graph/sync/diff/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../../../graph/sync/diff/scope.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,KAAiB;IAC3D,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM;QAAE,OAAO,KAAK,CAAA;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC/D,OAAO,KAAK,CAAC,IAAI,CAAC;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3D,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3D,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC,CAAA;AACJ,CAAC"}

package/dist/graph/sync/index.d.ts

@@ -0,0 +1,12 @@
+export type { ExternalId, RemoteSpec, ConflictStrategy, RemoteKeys } from './remote';
+export { foldRemote, unfoldRemote, getExternalId } from './remote';
+export { MatchingStrategy } from './matching';
+export type { MatchingStrategy as IMatchingStrategy } from './matching';
+export { diff, baseOf, incomingOf, diffable, filterByScope, DEFAULT_DIFF_CONFIG, type DiffConfig, type ConflictExtractor, type Change, type Changeset, type NodeEntity, type EdgeEntity, type SyncScope, } from './diff';
+export { Patch, Minter, setAliases, type NodeCreate, type NodeUpdate, type NodeDelete, type EdgeCreate, type EdgeUpdate, type EdgeDelete, type EdgeMatcher, type PatchData, } from './patch';
+export { reconcile, resolveProps, type ReconcileConfig, type UntrackedPolicy } from './reconcile';
+export { plan } from './plan';
+export { DEFAULT_INTEGRITY_CONSTRAINTS, type IntegrityConstraints, type PushResult, type SyncResult, type ValidationError, type ValidationWarning, type PatchAdjustment, type PatchValidationResult, } from './apply';
+export { merge, type MergeConflictPolicy } from './merge';
+export { DEFAULT_SYNC_POLICY, type SyncPolicy } from './policy';
+//# sourceMappingURL=index.d.ts.map

package/dist/graph/sync/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../graph/sync/index.ts"],"names":[],"mappings":"AACA,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACpF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAMlE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAC7C,YAAY,EAAE,gBAAgB,IAAI,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAGvE,OAAO,EACL,IAAI,EACJ,MAAM,EACN,UAAU,EACV,QAAQ,EACR,aAAa,EACb,mBAAmB,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACX,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,QAAQ,CAAA;AAGf,OAAO,EACL,KAAK,EACL,MAAM,EACN,UAAU,EACV,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,SAAS,GACf,MAAM,SAAS,CAAA;AAGhB,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,aAAa,CAAA;AAGjG,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAG7B,OAAO,EACL,6BAA6B,EAC7B,KAAK,oBAAoB,EACzB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,qBAAqB,GAC3B,MAAM,SAAS,CAAA;AAGhB,OAAO,EAAE,KAAK,EAAE,KAAK,mBAAmB,EAAE,MAAM,SAAS,CAAA;AAGzD,OAAO,EAAE,mBAAmB,EAAE,KAAK,UAAU,EAAE,MAAM,UAAU,CAAA"}

package/dist/graph/sync/index.js

@@ -0,0 +1,21 @@
+export { foldRemote, unfoldRemote, getExternalId } from './remote';
+// ─── Matching (caller-declared identity, SPEC §8.0) ────────
+// `MatchingStrategy` is both a namespace of built-in strategies
+// (`.byProp`, `.byPath`) and an interface for custom ones — the two
+// share a name via TS declaration merging.
+export { MatchingStrategy } from './matching';
+// ─── Diff ──────────────────────────────────────────────────
+export { diff, baseOf, incomingOf, diffable, filterByScope, DEFAULT_DIFF_CONFIG, } from './diff';
+// ─── Patch (authoring + reconcile-output, SPEC §4.7) ──────
+export { Patch, Minter, setAliases, } from './patch';
+// ─── Reconcile ─────────────────────────────────────────────
+export { reconcile, resolveProps } from './reconcile';
+// ─── Plan (canonical pipeline entry point) ─────────────────
+export { plan } from './plan';
+// ─── Apply ──────────────────────────────────────────────────
+export { DEFAULT_INTEGRITY_CONSTRAINTS, } from './apply';
+// ─── Merge (Graph × Graph → Graph, symmetric) ──────────────
+export { merge } from './merge';
+// ─── Policy (pipeline-level composition) ────────────────────
+export { DEFAULT_SYNC_POLICY } from './policy';
+//# sourceMappingURL=index.js.map

package/dist/graph/sync/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../graph/sync/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAElE,8DAA8D;AAC9D,gEAAgE;AAChE,oEAAoE;AACpE,2CAA2C;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAG7C,8DAA8D;AAC9D,OAAO,EACL,IAAI,EACJ,MAAM,EACN,UAAU,EACV,QAAQ,EACR,aAAa,EACb,mBAAmB,GAQpB,MAAM,QAAQ,CAAA;AAEf,6DAA6D;AAC7D,OAAO,EACL,KAAK,EACL,MAAM,EACN,UAAU,GASX,MAAM,SAAS,CAAA;AAEhB,8DAA8D;AAC9D,OAAO,EAAE,SAAS,EAAE,YAAY,EAA8C,MAAM,aAAa,CAAA;AAEjG,8DAA8D;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAE7B,+DAA+D;AAC/D,OAAO,EACL,6BAA6B,GAQ9B,MAAM,SAAS,CAAA;AAEhB,8DAA8D;AAC9D,OAAO,EAAE,KAAK,EAA4B,MAAM,SAAS,CAAA;AAEzD,+DAA+D;AAC/D,OAAO,EAAE,mBAAmB,EAAmB,MAAM,UAAU,CAAA"}