@ifc-lite/collab 0.2.0

package/dist/geometry/csg.js

@@ -0,0 +1,101 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * CSG (constructive solid geometry) operation tree as a Y.Array<CSGOp>.
+ *
+ * Spec §9.4 / §11 + open problem #4: full CRDT-tree merging of CSG ops is
+ * a v1.x topic. v0.1 stores ops as an ordered Y.Array — concurrent
+ * additions from two peers interleave preserving each peer's relative
+ * order, and a UI can drag-to-reorder via explicit moves. The CSG result
+ * is order-dependent; that's exposed honestly in the README.
+ *
+ * The geometry node referenced here is one of the Y.Doc's
+ * `geometry` top-level entries with `type: 'csg-tree'`. The tree's ops
+ * live as a Y.Array on `params.ops` so they ride the same CRDT machinery
+ * as parametric params.
+ */
+import * as Y from 'yjs';
+import { GEOMETRY_KEY, geometryMap } from '../doc/schema.js';
+import { createGeometry } from '../doc/geometry.js';
+/**
+ * Get-or-create a CSG-tree geometry node and return its `ops` Y.Array.
+ *
+ * Idempotent: if the geometry already exists with `type==='csg-tree'`,
+ * returns the existing ops Y.Array.
+ */
+export function ensureCSGTree(doc, geomId, options = {}) {
+    let node = geometryMap(doc).get(geomId);
+    if (!node) {
+        node = createGeometry(doc, geomId, {
+            type: 'csg-tree',
+            source: 'csg-op',
+            bbox: options.bbox,
+        });
+    }
+    const params = node.get(GEOMETRY_KEY.PARAMS);
+    if (!params)
+        throw new Error(`@ifc-lite/collab: csg-tree "${geomId}" missing params map`);
+    let ops = params.get('ops');
+    if (!ops) {
+        ops = new Y.Array();
+        params.set('ops', ops);
+    }
+    if (options.ops && ops.length === 0)
+        ops.push(options.ops);
+    return ops;
+}
+export function getCSGOps(doc, geomId) {
+    const node = geometryMap(doc).get(geomId);
+    const params = node?.get(GEOMETRY_KEY.PARAMS);
+    const ops = params?.get('ops');
+    return ops ? ops.toArray() : [];
+}
+/** Append one CSG op. Concurrent appends interleave per Y.Array semantics. */
+export function appendCSGOp(doc, geomId, op) {
+    const ops = ensureCSGTree(doc, geomId);
+    ops.push([op]);
+    return ops.length - 1;
+}
+/** Insert a CSG op at a specific index. */
+export function insertCSGOp(doc, geomId, index, op) {
+    const ops = ensureCSGTree(doc, geomId);
+    ops.insert(Math.max(0, Math.min(index, ops.length)), [op]);
+}
+/**
+ * Remove a CSG op by `opId`. Returns true if found and removed.
+ *
+ * We search by opId rather than index so concurrent inserts elsewhere
+ * don't shift the target.
+ */
+export function removeCSGOp(doc, geomId, opId) {
+    const ops = ensureCSGTree(doc, geomId);
+    const arr = ops.toArray();
+    for (let i = arr.length - 1; i >= 0; i--) {
+        if (arr[i].opId === opId) {
+            ops.delete(i, 1);
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * Reorder a CSG op (move by opId to a new index). Implemented as
+ * delete-then-insert; the underlying CRDT semantics keep concurrent
+ * reorder + reorder visible as the last-applied wins (ordering is what
+ * the user is *for sure* fighting over).
+ */
+export function moveCSGOp(doc, geomId, opId, toIndex) {
+    const ops = ensureCSGTree(doc, geomId);
+    const arr = ops.toArray();
+    const idx = arr.findIndex((o) => o.opId === opId);
+    if (idx < 0)
+        return false;
+    const [op] = arr.splice(idx, 1);
+    doc.transact(() => {
+        ops.delete(idx, 1);
+        ops.insert(Math.max(0, Math.min(toIndex, ops.length)), [op]);
+    });
+    return true;
+}
+//# sourceMappingURL=csg.js.map

package/dist/geometry/csg.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"csg.js","sourceRoot":"","sources":["../../src/geometry/csg.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AA0BpD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAU,EACV,MAAc,EACd,UAAgC,EAAE;IAElC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA+B,CAAC;IACtE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE;YACjC,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAA+B,CAAC;IAC3E,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,sBAAsB,CAAC,CAAC;IAC1F,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAA+B,CAAC;IAC1D,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,IAAI,CAAC,CAAC,KAAK,EAAS,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAU,EAAE,MAAc;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA+B,CAAC;IACxE,MAAM,MAAM,GAAG,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM,CAA+B,CAAC;IAC5E,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,CAAC,KAAK,CAA+B,CAAC;IAC7D,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,WAAW,CAAC,GAAU,EAAE,MAAc,EAAE,EAAS;IAC/D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;AACxB,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,WAAW,CAAC,GAAU,EAAE,MAAc,EAAE,KAAa,EAAE,EAAS;IAC9E,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,GAAU,EAAE,MAAc,EAAE,IAAY;IAClE,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACjB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAU,EAAE,MAAc,EAAE,IAAY,EAAE,OAAe;IACjF,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;QAChB,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACnB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/geometry/determinism.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Determinism harness (spec open problem #5).
+ *
+ * The CRDT pipeline assumes the geometry kernel is bit-identical
+ * across machines for the same params. This harness lets a CI matrix
+ * run the kernel against a fixed set of param fixtures and compare
+ * hashes. Drift is reported, not silently masked.
+ *
+ * Designed to be runtime-agnostic: pass a `kernel(params) => Mesh`
+ * callable and a list of fixtures.
+ */
+import { type Mesh, type ParametricSource } from './parametric.js';
+export interface DeterminismFixture {
+    name: string;
+    source: ParametricSource;
+    params: unknown;
+}
+export interface DeterminismResult {
+    name: string;
+    hash: string;
+    ok: boolean;
+    /** Expected hash, when comparing against a known-good baseline. */
+    expected?: string;
+}
+export interface DeterminismReport {
+    results: DeterminismResult[];
+    ok: boolean;
+}
+export type Kernel = (source: ParametricSource, params: unknown) => Mesh;
+/**
+ * Run `kernel` against every fixture and return per-fixture hashes.
+ *
+ * If `expected` is supplied, *every* fixture must have a matching entry
+ * — a missing entry counts as a failure, not an implicit pass. This is
+ * intentional: a typo in a fixture name or a forgotten baseline update
+ * used to silently report `ok=true`, which made drift unobservable. If
+ * you genuinely want partial baselines, omit `expected` entirely.
+ */
+export declare function runDeterminismHarness(kernel: Kernel, fixtures: readonly DeterminismFixture[], expected?: Record<string, string>): DeterminismReport;
+/**
+ * Default fixture set covering all built-in primitives.
+ * Apps extend with their own per-platform-stable parametric library.
+ */
+export declare const DEFAULT_FIXTURES: readonly DeterminismFixture[];
+//# sourceMappingURL=determinism.d.ts.map

package/dist/geometry/determinism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.d.ts","sourceRoot":"","sources":["../../src/geometry/determinism.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAAY,KAAK,IAAI,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAE7E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,OAAO,CAAC;IACZ,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B,EAAE,EAAE,OAAO,CAAC;CACb;AAED,MAAM,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,CAAC;AAEzE;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,kBAAkB,EAAE,EACvC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,iBAAiB,CAsBnB;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,kBAAkB,EAoCzD,CAAC"}

package/dist/geometry/determinism.js

@@ -0,0 +1,92 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Determinism harness (spec open problem #5).
+ *
+ * The CRDT pipeline assumes the geometry kernel is bit-identical
+ * across machines for the same params. This harness lets a CI matrix
+ * run the kernel against a fixed set of param fixtures and compare
+ * hashes. Drift is reported, not silently masked.
+ *
+ * Designed to be runtime-agnostic: pass a `kernel(params) => Mesh`
+ * callable and a list of fixtures.
+ */
+import { hashMesh } from './parametric.js';
+/**
+ * Run `kernel` against every fixture and return per-fixture hashes.
+ *
+ * If `expected` is supplied, *every* fixture must have a matching entry
+ * — a missing entry counts as a failure, not an implicit pass. This is
+ * intentional: a typo in a fixture name or a forgotten baseline update
+ * used to silently report `ok=true`, which made drift unobservable. If
+ * you genuinely want partial baselines, omit `expected` entirely.
+ */
+export function runDeterminismHarness(kernel, fixtures, expected) {
+    const results = [];
+    let allOk = true;
+    const baselineProvided = expected !== undefined;
+    for (const fixture of fixtures) {
+        const mesh = kernel(fixture.source, fixture.params);
+        const hash = hashMesh(mesh);
+        const exp = expected?.[fixture.name];
+        let ok;
+        if (!baselineProvided) {
+            ok = true;
+        }
+        else if (exp == null) {
+            // Baseline was provided but doesn't cover this fixture — refuse
+            // to silently report success.
+            ok = false;
+        }
+        else {
+            ok = hash === exp;
+        }
+        if (!ok)
+            allOk = false;
+        results.push({ name: fixture.name, hash, ok, expected: exp });
+    }
+    return { results, ok: allOk };
+}
+/**
+ * Default fixture set covering all built-in primitives.
+ * Apps extend with their own per-platform-stable parametric library.
+ */
+export const DEFAULT_FIXTURES = [
+    {
+        name: 'box-1x2x3',
+        source: 'box',
+        params: { length: 1, width: 2, height: 3 },
+    },
+    {
+        name: 'cylinder-r1-h2',
+        source: 'cylinder',
+        params: { radius: 1, height: 2, segments: 16 },
+    },
+    {
+        name: 'extruded-rect-2x3-d4',
+        source: 'extruded-area-solid',
+        params: {
+            profile: { type: 'rectangle', width: 2, height: 3 },
+            depth: 4,
+        },
+    },
+    {
+        name: 'extruded-circle-r1-d2',
+        source: 'extruded-area-solid',
+        params: {
+            profile: { type: 'circle', radius: 1, segments: 16 },
+            depth: 2,
+        },
+    },
+    {
+        name: 'revolved-r0.5-full',
+        source: 'revolved-area-solid',
+        params: {
+            profile: { type: 'circle', radius: 0.5, segments: 16 },
+            angle: Math.PI * 2,
+            segments: 16,
+        },
+    },
+];
+//# sourceMappingURL=determinism.js.map

package/dist/geometry/determinism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.js","sourceRoot":"","sources":["../../src/geometry/determinism.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAoC,MAAM,iBAAiB,CAAC;AAuB7E;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAc,EACd,QAAuC,EACvC,QAAiC;IAEjC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,MAAM,gBAAgB,GAAG,QAAQ,KAAK,SAAS,CAAC;IAChD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,EAAW,CAAC;QAChB,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,EAAE,GAAG,IAAI,CAAC;QACZ,CAAC;aAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,gEAAgE;YAChE,8BAA8B;YAC9B,EAAE,GAAG,KAAK,CAAC;QACb,CAAC;aAAM,CAAC;YACN,EAAE,GAAG,IAAI,KAAK,GAAG,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,EAAE;YAAE,KAAK,GAAG,KAAK,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAkC;IAC7D;QACE,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;KAC3C;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;KAC/C;IACD;QACE,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,qBAAqB;QAC7B,MAAM,EAAE;YACN,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;YACnD,KAAK,EAAE,CAAC;SACT;KACF;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,qBAAqB;QAC7B,MAAM,EAAE;YACN,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;YACpD,KAAK,EAAE,CAAC;SACT;KACF;IACD;QACE,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,qBAAqB;QAC7B,MAAM,EAAE;YACN,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE;YACtD,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC;YAClB,QAAQ,EAAE,EAAE;SACb;KACF;CACF,CAAC"}

package/dist/geometry/gc.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Blob garbage collection (open problem #6).
+ *
+ * Mesh blobs grow without bound during long sessions. This module
+ * implements an epoch + reference-count sweep:
+ *
+ *   1. `collectReferencedBlobHashes(doc)` walks every entity, collects
+ *      its `geometryRef.geomId`, then resolves each geometry node to
+ *      its `blobHash`. Returns the set of currently-referenced hashes.
+ *
+ *   2. `planBlobSweep(store, referenced, opts)` returns the list of
+ *      blob hashes that exist in `store` but aren't referenced. With
+ *      `epochMs` set, only blobs older than that grace window are
+ *      candidates — that's the safety valve against deleting a blob a
+ *      peer is about to reference but hasn't synced yet.
+ *
+ *   3. `sweepBlobs(store, decision)` deletes the candidates and reports
+ *      bytes freed.
+ *
+ * GC is correct under sync because: each peer makes blob refs visible
+ * via the Y.Doc; once the Y.Doc converges across peers, the
+ * referenced-set is the same on every peer. The grace window covers
+ * the gap between "blob uploaded" and "Y.Doc reference applied."
+ */
+import * as Y from 'yjs';
+import type { BlobHash, BlobMeta, BlobStore } from './blob-store.js';
+/**
+ * Collect every blob hash currently referenced from a Y.Doc.
+ *
+ * An entity's `geometryRef.geomId` points at a `geometry` top-level
+ * entry whose `blobHash` (if any) we want to keep. We also include any
+ * `blobHash` that appears directly in `geometry.params.<*>` so apps
+ * that store auxiliary blob refs in params (e.g. textures) survive
+ * gc.
+ */
+export declare function collectReferencedBlobHashes(doc: Y.Doc): Set<BlobHash>;
+export interface SweepOptions {
+    /**
+     * Grace window in ms — only blobs older than this are candidates.
+     * Default 60_000 (1 minute). Set to 0 to sweep aggressively (tests).
+     */
+    epochMs?: number;
+    /** Override `Date.now` for deterministic tests. */
+    now?: () => number;
+}
+export interface SweepDecision {
+    drop: BlobHash[];
+    /** Bytes that will be reclaimed once `drop` is processed. May be undefined when the store doesn't expose sizes. */
+    reclaimBytes: number;
+}
+/**
+ * Plan a blob sweep against `store`, retaining everything in `referenced`.
+ *
+ * The store's `list()` returns hashes only; size info comes from a
+ * `metaProvider` (default: walks `store.get(hash).byteLength`).
+ */
+export declare function planBlobSweep(store: BlobStore, referenced: Set<BlobHash>, options?: SweepOptions & {
+    /** Optional fast-path metadata lookup; default streams via `store.get`. */
+    metaProvider?: (hash: BlobHash) => Promise<BlobMeta | null>;
+}): Promise<SweepDecision>;
+/** Apply a sweep decision: delete the candidates from `store`. */
+export declare function sweepBlobs(store: BlobStore, decision: SweepDecision): Promise<number>;
+//# sourceMappingURL=gc.d.ts.map

package/dist/geometry/gc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gc.d.ts","sourceRoot":"","sources":["../../src/geometry/gc.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAOzB,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAErE;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,CAuBrE;AAgBD,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mDAAmD;IACnD,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,mHAAmH;IACnH,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EACzB,OAAO,GAAE,YAAY,GAAG;IACtB,2EAA2E;IAC3E,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,CAAC;CACxD,GACL,OAAO,CAAC,aAAa,CAAC,CAsBxB;AAmBD,kEAAkE;AAClE,wBAAsB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAQ3F"}

package/dist/geometry/gc.js

@@ -0,0 +1,109 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { ENTITY_KEY, GEOMETRY_KEY, entitiesMap, geometryMap, } from '../doc/schema.js';
+/**
+ * Collect every blob hash currently referenced from a Y.Doc.
+ *
+ * An entity's `geometryRef.geomId` points at a `geometry` top-level
+ * entry whose `blobHash` (if any) we want to keep. We also include any
+ * `blobHash` that appears directly in `geometry.params.<*>` so apps
+ * that store auxiliary blob refs in params (e.g. textures) survive
+ * gc.
+ */
+export function collectReferencedBlobHashes(doc) {
+    const referenced = new Set();
+    const geom = geometryMap(doc);
+    const ents = entitiesMap(doc);
+    // 1. From every entity's geometryRef → resolve to a geometry node.
+    ents.forEach((entUntyped) => {
+        const entity = entUntyped;
+        const refMap = entity.get(ENTITY_KEY.GEOMETRY_REF);
+        const geomId = refMap?.get('geomId');
+        if (typeof geomId !== 'string')
+            return;
+        addBlobHashesFromGeometry(geom.get(geomId), referenced);
+    });
+    // 2. Also include unreferenced-by-entity geometry entries' blobs —
+    //    they are reachable via `geometry` and may get a fresh entity ref
+    //    in the next transaction. We *only* sweep blobs that aren't even
+    //    in any geometry entry.
+    geom.forEach((nodeUntyped) => {
+        addBlobHashesFromGeometry(nodeUntyped, referenced);
+    });
+    return referenced;
+}
+function addBlobHashesFromGeometry(node, out) {
+    if (!node)
+        return;
+    const blobHash = node.get(GEOMETRY_KEY.BLOB_HASH);
+    if (typeof blobHash === 'string')
+        out.add(blobHash);
+    const params = node.get(GEOMETRY_KEY.PARAMS);
+    if (!params)
+        return;
+    params.forEach((value) => {
+        if (typeof value === 'string' && /^[a-f0-9]{32}$/.test(value))
+            out.add(value);
+    });
+}
+/**
+ * Plan a blob sweep against `store`, retaining everything in `referenced`.
+ *
+ * The store's `list()` returns hashes only; size info comes from a
+ * `metaProvider` (default: walks `store.get(hash).byteLength`).
+ */
+export async function planBlobSweep(store, referenced, options = {}) {
+    const epochMs = options.epochMs ?? 60_000;
+    const now = options.now ? options.now() : Date.now();
+    const all = await store.list();
+    const drop = [];
+    let reclaim = 0;
+    for (const hash of all) {
+        if (referenced.has(hash))
+            continue;
+        const meta = options.metaProvider
+            ? await options.metaProvider(hash)
+            : await metaFromGet(store, hash);
+        if (!meta)
+            continue;
+        const ageMs = meta.uploadedAt != null
+            ? Math.max(0, now - new Date(meta.uploadedAt).getTime())
+            : Number.POSITIVE_INFINITY;
+        if (ageMs >= epochMs) {
+            drop.push(hash);
+            reclaim += meta.byteLength;
+        }
+    }
+    return { drop, reclaimBytes: reclaim };
+}
+async function metaFromGet(store, hash) {
+    // Prefer cheap stat() if the backend offers it (size + uploadedAt
+    // without paying for the bytes).
+    if (typeof store.stat === 'function') {
+        const meta = await store.stat(hash);
+        if (meta)
+            return meta;
+    }
+    const bytes = await store.get(hash);
+    if (!bytes)
+        return null;
+    return {
+        hash,
+        byteLength: bytes.byteLength,
+        // No uploadedAt available via raw bytes — without it, the blob is
+        // treated as unbounded-old (always eligible).
+    };
+}
+/** Apply a sweep decision: delete the candidates from `store`. */
+export async function sweepBlobs(store, decision) {
+    let freed = 0;
+    for (const hash of decision.drop) {
+        const ok = await store.delete(hash);
+        if (ok)
+            freed += 1;
+    }
+    void freed;
+    return decision.reclaimBytes;
+}
+//# sourceMappingURL=gc.js.map

package/dist/geometry/gc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gc.js","sourceRoot":"","sources":["../../src/geometry/gc.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA4B/D,OAAO,EACL,UAAU,EACV,YAAY,EACZ,WAAW,EACX,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAG1B;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAU;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAY,CAAC;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAE9B,mEAAmE;IACnE,IAAI,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,UAA4B,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAA+B,CAAC;QACjF,MAAM,MAAM,GAAG,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO;QACvC,yBAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAA+B,EAAE,UAAU,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,mEAAmE;IACnE,sEAAsE;IACtE,qEAAqE;IACrE,4BAA4B;IAC5B,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;QAC3B,yBAAyB,CAAC,WAA6B,EAAE,UAAU,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAgC,EAChC,GAAkB;IAElB,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAA+B,CAAC;IAC3E,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAgB,EAChB,UAAyB,EACzB,UAGI,EAAE;IAEN,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC;IAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY;YAC/B,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC;YAClC,CAAC,CAAC,MAAM,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,KAAK,GACT,IAAI,CAAC,UAAU,IAAI,IAAI;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;YACxD,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC/B,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,KAAgB,EAAE,IAAc;IACzD,kEAAkE;IAClE,iCAAiC;IACjC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO;QACL,IAAI;QACJ,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,kEAAkE;QAClE,8CAA8C;KAC/C,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,KAAgB,EAAE,QAAuB;IACxE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,EAAE;YAAE,KAAK,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,KAAK,KAAK,CAAC;IACX,OAAO,QAAQ,CAAC,YAAY,CAAC;AAC/B,CAAC"}

package/dist/geometry/index.d.ts

@@ -0,0 +1,6 @@
+export * from './blob-store.js';
+export * from './csg.js';
+export * from './gc.js';
+export * from './parametric.js';
+export * from './determinism.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/geometry/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/geometry/index.ts"],"names":[],"mappings":"AAIA,cAAc,iBAAiB,CAAC;AAChC,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/geometry/index.js

@@ -0,0 +1,9 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export * from './blob-store.js';
+export * from './csg.js';
+export * from './gc.js';
+export * from './parametric.js';
+export * from './determinism.js';
+//# sourceMappingURL=index.js.map

package/dist/geometry/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/geometry/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,cAAc,iBAAiB,CAAC;AAChC,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/geometry/parametric.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Parametric mesh primitives (spec §11.2 — v0.3 reference impl).
+ *
+ * The Rust `ifc-lite-geometry` kernel does the production work.
+ * Until the kernel is wired into the collab pipeline, this module
+ * ships a pure-TypeScript reference implementation for the most
+ * common parametric primitives:
+ *
+ *   - extruded-area-solid (rectangle + circle profiles)
+ *   - box (length × width × height)
+ *   - cylinder (radius, height)
+ *   - revolved-area-solid (circle profile around an axis)
+ *
+ * Output is deterministic given identical params. Hashing the
+ * `Mesh` (positions + indices) gives the same bytes on every machine
+ * because we use only deterministic float arithmetic — no Math.random,
+ * no transcendentals beyond Math.cos/sin which are IEEE-754 specified
+ * but not strictly reproducible across architectures. For tests we
+ * accept the small chance of cross-platform drift; the
+ * `determinism` harness flags it explicitly so consumers know when to
+ * fall back to mesh-blob upload.
+ */
+export type ParametricSource = 'extruded-area-solid' | 'box' | 'cylinder' | 'revolved-area-solid';
+export interface RectProfile {
+    type: 'rectangle';
+    width: number;
+    height: number;
+}
+export interface CircleProfile {
+    type: 'circle';
+    radius: number;
+    /** Number of segments for circle tessellation. Default 16. */
+    segments?: number;
+}
+export type Profile = RectProfile | CircleProfile;
+export interface ExtrudedAreaSolidParams {
+    profile: Profile;
+    /** Extrusion direction (unit-ish). Default [0, 0, 1]. */
+    direction?: [number, number, number];
+    /** Extrusion depth. */
+    depth: number;
+}
+export interface BoxParams {
+    length: number;
+    width: number;
+    height: number;
+}
+export interface CylinderParams {
+    radius: number;
+    height: number;
+    segments?: number;
+}
+export interface RevolvedAreaSolidParams {
+    profile: CircleProfile;
+    /** Axis to revolve around. Default [0, 0, 1] (Z axis). */
+    axis?: [number, number, number];
+    /** Total revolution in radians. Default 2π. */
+    angle?: number;
+    /** Number of segments around the axis. Default 16. */
+    segments?: number;
+}
+export interface Mesh {
+    positions: Float32Array;
+    indices: Uint32Array;
+}
+/**
+ * Build a mesh from `(source, params)`. Throws if the source is not
+ * recognized — the conflict detector / kernel hookup should fall back
+ * to mesh-blob upload in that case.
+ */
+export declare function paramsToMesh(source: ParametricSource, params: unknown): Mesh;
+export declare function extrudedAreaSolid(params: ExtrudedAreaSolidParams): Mesh;
+export declare function box(params: BoxParams): Mesh;
+export declare function cylinder(params: CylinderParams): Mesh;
+export declare function revolvedAreaSolid(params: RevolvedAreaSolidParams): Mesh;
+/**
+ * Hash a mesh for determinism / cache-key purposes.
+ *
+ * 128-bit digest built by running FNV-1a four times in parallel with
+ * different IVs over a stable byte ordering of positions+indices.
+ * Returned as 32 hex chars. Position floats are quantized to 8 decimal
+ * places before hashing so trivial floating-point drift doesn't break
+ * cache lookups.
+ *
+ * Note: this is not a cryptographic hash — collision-resistance is
+ * "good enough for cache keys and drift detection," not "good enough
+ * for security." The previous implementation returned `.repeat(4)` of
+ * a single 32-bit digest, which looked 128-bit but had only 32 bits of
+ * entropy; the four-IV variant restores real width.
+ */
+export declare function hashMesh(mesh: Mesh): string;
+//# sourceMappingURL=parametric.d.ts.map

package/dist/geometry/parametric.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parametric.d.ts","sourceRoot":"","sources":["../../src/geometry/parametric.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,MAAM,MAAM,gBAAgB,GACxB,qBAAqB,GACrB,KAAK,GACL,UAAU,GACV,qBAAqB,CAAC;AAE1B,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,aAAa,CAAC;AAElD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,yDAAyD;IACzD,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,aAAa,CAAC;IACvB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,+CAA+C;IAC/C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,IAAI;IACnB,SAAS,EAAE,YAAY,CAAC;IACxB,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI,CAa5E;AAMD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,uBAAuB,GAAG,IAAI,CAuCvE;AA0BD,wBAAgB,GAAG,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAM3C;AAMD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAMrD;AAMD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,uBAAuB,GAAG,IAAI,CAwDvE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA4B3C"}