@ifc-lite/collab 0.2.6 → 0.3.0

package/dist/snapshot/from-ifcx.js

@@ -2,7 +2,9 @@
  * 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 { createEntity } from '../doc/entity.js';
+import { createGeometry } from '../doc/geometry.js';
 import { SEED_ORIGIN, assertSchemaInvariants, metaMap } from '../doc/schema.js';
+import { inflateStructuredAttributes } from './structured-attrs.js';
 /** Decode whatever the caller hands us into a parsed IfcxFile. */
 export function parseIfcxInput(input) {
     if (typeof input === 'string') {
@@ -46,7 +48,18 @@ export function seedFromIfcx(doc, input, opts = {}) {
             const path = node.path;
             if (!path)
                 continue;
-            const attributes = node.attributes ? { ...node.attributes } : {};
+            // Null attribute values are removal opinions (minimal layers); with
+            // nothing beneath them to remove, they mean "absent" — never store
+            // them as values.
+            const rawAttributes = {};
+            for (const [key, value] of Object.entries(node.attributes ?? {})) {
+                if (value !== null)
+                    rawAttributes[key] = value;
+            }
+            // Re-inflate structured branches the snapshot writer folded into
+            // namespaced attributes (#1031); the shape-gated remainder stays
+            // in the flat attributes branch.
+            const inflated = inflateStructuredAttributes(rawAttributes);
             const children = {};
             if (node.children) {
                 for (const [role, target] of Object.entries(node.children)) {
@@ -62,11 +75,30 @@ export function seedFromIfcx(doc, input, opts = {}) {
                 }
             }
             const ifcClass = readIfcClass(node.attributes);
+            // A carrier with the embedded geometry record recreates the
+            // geometry map entry, so the restored ref is never dangling.
+            // Bare-id carriers keep pointing at out-of-band hydrated geometry.
+            for (const carrier of inflated.geometryCarriers) {
+                if (typeof carrier.type !== 'string' || typeof carrier.source !== 'string')
+                    continue;
+                createGeometry(doc, carrier.geomId, {
+                    type: carrier.type,
+                    source: carrier.source,
+                    blobHash: carrier.blobHash,
+                    params: carrier.params,
+                    bbox: carrier.bbox,
+                });
+            }
             createEntity(doc, path, {
                 ifcClass,
-                attributes,
+                attributes: inflated.attributes,
                 children,
                 inherits,
+                psets: inflated.psets,
+                quantities: inflated.quantities,
+                classifications: inflated.classifications,
+                materials: inflated.materials,
+                geometryRef: inflated.geometryRefRecord,
                 meta: {
                     ifcClass,
                     schemaVersion: 'ifc5',

package/dist/snapshot/from-ifcx.js.map

@@ -1 +1 @@
-{"version":3,"file":"from-ifcx.js","sourceRoot":"","sources":["../../src/snapshot/from-ifcx.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAY/D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAWhF,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAa,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,GAAU,EAAE,KAAgB,EAAE,OAAoB,EAAE;IAC/E,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAE5B,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;QAChB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QAED,sEAAsE;QACtE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,UAAU,GAA4B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;gBAC1D,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAE/C,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE;gBACtB,QAAQ;gBACR,UAAU;gBACV,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE;oBACJ,QAAQ;oBACR,aAAa,EAAE,MAAM;oBACrB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBAC7D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM;iBAC/B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC;IAE/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,UAA+C;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,GAAG,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1C,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QACpD,MAAM,IAAI,GAAI,GAA0B,CAAC,IAAI,CAAC;QAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"from-ifcx.js","sourceRoot":"","sources":["../../src/snapshot/from-ifcx.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAY/D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAqB,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAWpE,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAa,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,GAAU,EAAE,KAAgB,EAAE,OAAoB,EAAE;IAC/E,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAE5B,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;QAChB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QAED,sEAAsE;QACtE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,oEAAoE;YACpE,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,aAAa,GAA4B,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjE,IAAI,KAAK,KAAK,IAAI;oBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YACjD,CAAC;YACD,iEAAiE;YACjE,iEAAiE;YACjE,iCAAiC;YACjC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,aAAa,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;gBAC1D,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAE/C,4DAA4D;YAC5D,6DAA6D;YAC7D,mEAAmE;YACnE,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;gBAChD,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;oBAAE,SAAS;gBACrF,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;oBAClC,IAAI,EAAE,OAAO,CAAC,IAAoB;oBAClC,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,IAAI,EAAE,OAAO,CAAC,IAAoE;iBACnF,CAAC,CAAC;YACL,CAAC;YAED,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE;gBACtB,QAAQ;gBACR,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,QAAQ;gBACR,QAAQ;gBACR,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,eAAe,EAAE,QAAQ,CAAC,eAAe;gBACzC,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,WAAW,EAAE,QAAQ,CAAC,iBAAiB;gBACvC,IAAI,EAAE;oBACJ,QAAQ;oBACR,aAAa,EAAE,MAAM;oBACrB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBAC7D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM;iBAC/B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC;IAE/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,UAA+C;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,GAAG,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1C,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QACpD,MAAM,IAAI,GAAI,GAA0B,CAAC,IAAI,CAAC;QAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/snapshot/from-step.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Legacy STEP IFC → Y.Doc seeding (plan §4.1, §4.2).
+ *
+ * STEP IFC (IFC2X3 / IFC4 / IFC4X3) has no IFCX paths — only file-local,
+ * unstable express ids (`#123`). The stable, file-independent key is the
+ * `IfcGloballyUniqueId` (GUID). This seeder keys CRDT entities on the GUID
+ * (`/<guid>`), so concurrent edits from peers converge regardless of how
+ * each peer's parser numbered the file.
+ *
+ * Crucially, `@ifc-lite/collab` stays parser-independent: rather than depend
+ * on `@ifc-lite/parser` and walk its columnar tables, this takes a minimal
+ * structural `StepSeedSource`. The consumer (the viewer, which already has
+ * the parser) adapts its `IfcDataStore` into this shape. Geometry is handled
+ * separately (hybrid re-tessellation / mesh blobs — plan §4.2 consequence 2),
+ * so this seeds entities, attributes, and property sets only.
+ */
+import type * as Y from 'yjs';
+import type { PropertyValue } from '../doc/schema.js';
+/** Schema versions the CRDT entity meta accepts (see `EntityMeta`). */
+export type CollabSchemaVersion = 'ifc4' | 'ifc4x3' | 'ifc5';
+/** A single STEP entity reduced to what the CRDT needs. */
+export interface StepSeedEntity {
+    /** IfcGloballyUniqueId (22-char). Entities without one are skipped. */
+    guid: string;
+    /** IFC class name, e.g. `IfcWallStandardCase`. */
+    ifcClass: string;
+    /**
+     * IFCX-native flat attributes (`bsi::ifc::class`, `bsi::ifc::prop::*`, …).
+     * Shaped this way so a recipient can reconstruct the model through the same
+     * IFCX path as IFC5 rooms — see the viewer's `buildStepSeedSource`.
+     */
+    attributes?: Record<string, unknown>;
+    /**
+     * Spatial containment + decomposition as IFCX children: a unique key → the
+     * child entity's path (`/<guid>`). Lets the recipient rebuild the spatial
+     * tree (Project → Site → Building → Storey → elements).
+     */
+    children?: Record<string, string>;
+    /** Property sets: psetName → propName → value. */
+    psets?: Record<string, Record<string, PropertyValue>>;
+}
+/** Minimal model view the seeder consumes (the viewer adapts its store to this). */
+export interface StepSeedSource {
+    entities: Iterable<StepSeedEntity>;
+    /** Optional file-level metadata mirrored into the doc meta map. */
+    header?: {
+        schema?: string;
+        author?: string;
+        timestamp?: string;
+        fileName?: string;
+    };
+}
+export interface SeedFromStepOptions {
+    /** Origin tag for the seeding transaction. Defaults to `SEED_ORIGIN`. */
+    origin?: unknown;
+    /**
+     * Map a raw IFC schema string (`IFC4`, `IFC4X3`, …) to the value stored as
+     * the entity `schemaVersion`. Defaults to {@link defaultSchemaVersion}.
+     */
+    schemaVersionFor?: (schema: string | undefined) => CollabSchemaVersion;
+}
+export interface SeedFromStepResult {
+    /** Number of entities seeded (those with a GUID). */
+    seeded: number;
+    /** Number of source entities skipped (no GUID). */
+    skipped: number;
+}
+/** Path key for a STEP entity. Exported so the viewer's `resolveEntity` matches. */
+export declare function guidToPath(guid: string): string;
+/**
+ * Seed `doc` from a legacy STEP model. Idempotent: re-seeding the same source
+ * into a doc that already has those GUIDs is a no-op (`createEntity` returns
+ * the existing entity). Returns seed/skip counts.
+ */
+export declare function seedFromStep(doc: Y.Doc, source: StepSeedSource, opts?: SeedFromStepOptions): SeedFromStepResult;
+//# sourceMappingURL=from-step.d.ts.map

package/dist/snapshot/from-step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-step.d.ts","sourceRoot":"","sources":["../../src/snapshot/from-step.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,KAAK,CAAC;AAG9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;AAkB7D,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC7B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,kDAAkD;IAClD,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CACvD;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;IACnC,mEAAmE;IACnE,MAAM,CAAC,EAAE;QACP,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,yEAAyE;IACzE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,mBAAmB,CAAC;CACxE;AAED,MAAM,WAAW,kBAAkB;IACjC,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,oFAAoF;AACpF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,CAAC,CAAC,GAAG,EACV,MAAM,EAAE,cAAc,EACtB,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2CpB"}

package/dist/snapshot/from-step.js

@@ -0,0 +1,70 @@
+/* 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 { createEntity, setPropertyValue } from '../doc/entity.js';
+import { SEED_ORIGIN, assertSchemaInvariants, metaMap } from '../doc/schema.js';
+/**
+ * Map a raw STEP schema string to the CRDT's supported set. Legacy IFC2X3 and
+ * IFC4 both map to `ifc4` (the spec's editing baseline); IFC4X3 → `ifc4x3`;
+ * IFC5 → `ifc5`. Unknown → `ifc4`.
+ */
+function defaultSchemaVersion(schema) {
+    switch ((schema ?? '').toUpperCase()) {
+        case 'IFC4X3':
+            return 'ifc4x3';
+        case 'IFC5':
+            return 'ifc5';
+        default:
+            return 'ifc4';
+    }
+}
+/** Path key for a STEP entity. Exported so the viewer's `resolveEntity` matches. */
+export function guidToPath(guid) {
+    return `/${guid}`;
+}
+/**
+ * Seed `doc` from a legacy STEP model. Idempotent: re-seeding the same source
+ * into a doc that already has those GUIDs is a no-op (`createEntity` returns
+ * the existing entity). Returns seed/skip counts.
+ */
+export function seedFromStep(doc, source, opts = {}) {
+    assertSchemaInvariants(doc);
+    const schemaVersionFor = opts.schemaVersionFor ?? defaultSchemaVersion;
+    const schemaVersion = schemaVersionFor(source.header?.schema);
+    let seeded = 0;
+    let skipped = 0;
+    doc.transact(() => {
+        const meta = metaMap(doc);
+        if (source.header)
+            meta.set('stepHeader', source.header);
+        for (const ent of source.entities) {
+            if (!ent.guid) {
+                skipped++;
+                continue;
+            }
+            const path = guidToPath(ent.guid);
+            createEntity(doc, path, {
+                ifcClass: ent.ifcClass,
+                attributes: ent.attributes ?? {},
+                children: ent.children,
+                schemaVersion,
+                meta: {
+                    ifcClass: ent.ifcClass,
+                    schemaVersion,
+                    createdAt: source.header?.timestamp ?? new Date().toISOString(),
+                    createdBy: source.header?.author,
+                },
+            });
+            if (ent.psets) {
+                for (const [psetName, props] of Object.entries(ent.psets)) {
+                    for (const [propName, value] of Object.entries(props)) {
+                        setPropertyValue(doc, path, psetName, propName, value);
+                    }
+                }
+            }
+            seeded++;
+        }
+    }, opts.origin ?? SEED_ORIGIN);
+    return { seeded, skipped };
+}
+//# sourceMappingURL=from-step.js.map

package/dist/snapshot/from-step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-step.js","sourceRoot":"","sources":["../../src/snapshot/from-step.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAoB/D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAMhF;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,MAA0B;IACtD,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAqDD,oFAAoF;AACpF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,IAAI,EAAE,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAU,EACV,MAAsB,EACtB,OAA4B,EAAE;IAE9B,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,IAAI,oBAAoB,CAAC;IACvE,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE9D,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;QAChB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAEzD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBACd,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE;gBACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE;gBAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,aAAa;gBACb,IAAI,EAAE;oBACJ,QAAQ,EAAE,GAAG,CAAC,QAAQ;oBACtB,aAAa;oBACb,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBAC/D,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM;iBACjC;aACF,CAAC,CAAC;YAEH,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1D,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;wBACtD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;oBACzD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,EAAE,CAAC;QACX,CAAC;IACH,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC;IAE/B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC"}

package/dist/snapshot/index.d.ts

@@ -1,6 +1,9 @@
 export { seedFromIfcx, parseIfcxInput, type SeedOptions, type IfcxInput, } from './from-ifcx.js';
+export { seedFromStep, guidToPath, type StepSeedEntity, type StepSeedSource, type SeedFromStepOptions, type SeedFromStepResult, type CollabSchemaVersion, } from './from-step.js';
 export { snapshotToIfcx, serializeIfcx, type SnapshotOptions } from './to-ifcx.js';
 export { captureBaseline, extractUserLayer, filterUpdateByClient, } from './layers.js';
 export { extractMinimalLayer, type ExtractMinimalLayerOptions, } from './minimal-layer.js';
+export { publishLayer, type PublishLayerOptions, type PublishedLayer, } from './publish-layer.js';
+export { V5A_ATTR_PREFIX, structuredAttributeKey, flattenStructuredBranches, inflateStructuredAttributes, isPropertyValueShaped, geometryRecordLookup, type StructuredBranchesJSON, type InflatedAttributes, type GeometryRefCarrier, type FlattenOptions, } from './structured-attrs.js';
 export { runSnapshotWorker, type WorkerRequest, type WorkerResponse, type WorkerScopeLike, } from './worker.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/snapshot/index.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,YAAY,EACZ,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,mBAAmB,EACnB,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,iBAAiB,EACjB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/snapshot/index.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,YAAY,EACZ,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,UAAU,EACV,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,GACzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,mBAAmB,EACnB,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,YAAY,EACZ,KAAK,mBAAmB,EACxB,KAAK,cAAc,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,EACrB,oBAAoB,EACpB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,EACvB,KAAK,cAAc,GACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,iBAAiB,EACjB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,aAAa,CAAC"}

package/dist/snapshot/index.js

@@ -2,8 +2,11 @@
  * 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 { seedFromIfcx, parseIfcxInput, } from './from-ifcx.js';
+export { seedFromStep, guidToPath, } from './from-step.js';
 export { snapshotToIfcx, serializeIfcx } from './to-ifcx.js';
 export { captureBaseline, extractUserLayer, filterUpdateByClient, } from './layers.js';
 export { extractMinimalLayer, } from './minimal-layer.js';
+export { publishLayer, } from './publish-layer.js';
+export { V5A_ATTR_PREFIX, structuredAttributeKey, flattenStructuredBranches, inflateStructuredAttributes, isPropertyValueShaped, geometryRecordLookup, } from './structured-attrs.js';
 export { runSnapshotWorker, } from './worker.js';
 //# sourceMappingURL=index.js.map

package/dist/snapshot/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/snapshot/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EACL,YAAY,EACZ,cAAc,GAGf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAwB,MAAM,cAAc,CAAC;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,mBAAmB,GAEpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,iBAAiB,GAIlB,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/snapshot/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EACL,YAAY,EACZ,cAAc,GAGf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,UAAU,GAMX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAwB,MAAM,cAAc,CAAC;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,mBAAmB,GAEpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,YAAY,GAGb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,EACrB,oBAAoB,GAKrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,iBAAiB,GAIlB,MAAM,aAAa,CAAC"}

package/dist/snapshot/minimal-layer.d.ts

@@ -5,7 +5,10 @@
  * contains *only* what changed since `baseline`:
  *   - Entities created since baseline.
  *   - Entities whose attributes / children / inherits changed since
- *     baseline (only the changed fields appear).
+ *     baseline (only the changed fields appear). Structured branches
+ *     (psets / quantities / classifications / materials / geometryRef)
+ *     participate via the same flattened-attribute view the full
+ *     snapshot writer emits (`structured-attrs.ts`, #1031).
  *
  * Composed with the baseline, the layer reproduces `doc`'s current
  * state — that's the IFCX layer composition contract from §2 (each
@@ -14,9 +17,16 @@
  *
  * Strategy: reconstruct a "before" Y.Doc from the baseline state,
  * compare entity-by-entity with the live doc, and emit IFCX nodes
- * containing only the diff. We deliberately don't try to express
- * deletions in the layer — IFCX overlay semantics are additive in
- * v0.x, and deletion overlays are spec'd for a future version.
+ * containing only the diff.
+ *
+ * Deletions are expressed as overlays (layer-prs spec 02 §2.3):
+ *   - a deleted entity emits a tombstone opinion
+ *     `{ "ifclite::deleted": true }` which shadows weaker opinions for
+ *     the path (and its children) during composition;
+ *   - removed children / inherits emit `null` values (standard IFCX
+ *     removal semantics);
+ *   - removed attributes emit `null` values (the convention the merge
+ *     engine and `bakeLayers` resolve).
  */
 import type { IfcxFile } from '@ifc-lite/ifcx';
 import * as Y from 'yjs';
@@ -30,6 +40,12 @@ export interface ExtractMinimalLayerOptions {
      * that didn't exist in the baseline at all.
      */
     includeUpdatedValues?: boolean;
+    /**
+     * If true (default), express deletions since the baseline as
+     * tombstone opinions (`ifclite::deleted`) and `null` removals. Set to
+     * false for the legacy additive-only layer shape.
+     */
+    includeDeletions?: boolean;
 }
 /**
  * Build a minimal IFCX layer expressing the diff between `baseline`

package/dist/snapshot/minimal-layer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"minimal-layer.d.ts","sourceRoot":"","sources":["../../src/snapshot/minimal-layer.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AACzD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAGzB,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpE,MAAM,WAAW,0BAA0B;IACzC,iEAAiE;IACjE,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,CAAC,CAAC,GAAG,EACV,QAAQ,EAAE,UAAU,EACpB,OAAO,GAAE,0BAA+B,GACvC,QAAQ,CAsFV"}
+{"version":3,"file":"minimal-layer.d.ts","sourceRoot":"","sources":["../../src/snapshot/minimal-layer.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAEzD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAGzB,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAGpE,MAAM,WAAW,0BAA0B;IACzC,iEAAiE;IACjE,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,CAAC,CAAC,GAAG,EACV,QAAQ,EAAE,UAAU,EACpB,OAAO,GAAE,0BAA+B,GACvC,QAAQ,CA2HV"}

package/dist/snapshot/minimal-layer.js

@@ -1,10 +1,12 @@
 /* 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 { IFCLITE_ATTR } from '@ifc-lite/ifcx';
 import * as Y from 'yjs';
 import { createCollabDoc, entitiesMap } from '../doc/schema.js';
 import { entityToJSON } from '../doc/entity.js';
 import { snapshotToIfcx } from './to-ifcx.js';
+import { flattenStructuredBranches, geometryRecordLookup } from './structured-attrs.js';
 /**
  * Build a minimal IFCX layer expressing the diff between `baseline`
  * and `doc`. `baseline` is whatever `Y.encodeStateAsUpdate(doc)`
@@ -12,85 +14,126 @@ import { snapshotToIfcx } from './to-ifcx.js';
  */
 export function extractMinimalLayer(doc, baseline, options = {}) {
     const includeUpdatedValues = options.includeUpdatedValues ?? true;
+    const includeDeletions = options.includeDeletions ?? true;
     // Reconstruct the "before" state by replaying the baseline update on
     // a fresh doc.
     const before = createCollabDoc({ gc: false });
-    if (baseline.byteLength > 0)
-        Y.applyUpdate(before, baseline);
-    // Snapshot the live doc through the standard writer so we get a
-    // header + imports + schemas template, then trim the data array down
-    // to the diff.
-    const live = snapshotToIfcx(doc, options.snapshot);
-    const beforeEnts = entitiesMap(before);
-    const liveEnts = entitiesMap(doc);
-    const diffNodes = [];
-    liveEnts.forEach((entUntyped, path) => {
-        const liveJson = entityToJSON(entUntyped);
-        const beforeUntyped = beforeEnts.get(path);
-        if (!beforeUntyped) {
-            // Entity is new — emit it whole (sans empty branches).
+    try {
+        if (baseline.byteLength > 0)
+            Y.applyUpdate(before, baseline);
+        // Snapshot the live doc through the standard writer so we get a
+        // header + imports + schemas template, then trim the data array down
+        // to the diff.
+        const live = snapshotToIfcx(doc, options.snapshot);
+        const beforeEnts = entitiesMap(before);
+        const liveEnts = entitiesMap(doc);
+        const liveGeometryFor = geometryRecordLookup(doc);
+        const beforeGeometryFor = geometryRecordLookup(before);
+        const diffNodes = [];
+        liveEnts.forEach((entUntyped, path) => {
+            const liveJson = entityToJSON(entUntyped);
+            // Diff over the flattened attribute view so structured-branch
+            // edits (psets / quantities / classifications / materials /
+            // geometryRef) surface exactly like the full writer emits them —
+            // the two writers stay in lockstep by construction (#1031).
+            const liveAttrs = flattenStructuredBranches(liveJson, { geometryRecordFor: liveGeometryFor });
+            const beforeUntyped = beforeEnts.get(path);
+            if (!beforeUntyped) {
+                // Entity is new — emit it whole (sans empty branches).
+                const node = { path };
+                if (Object.keys(liveAttrs).length > 0)
+                    node.attributes = liveAttrs;
+                if (Object.keys(liveJson.children).length > 0)
+                    node.children = { ...liveJson.children };
+                if (Object.keys(liveJson.inherits).length > 0)
+                    node.inherits = { ...liveJson.inherits };
+                diffNodes.push(node);
+                return;
+            }
+            const beforeJson = entityToJSON(beforeUntyped);
+            const beforeAttrs = flattenStructuredBranches(beforeJson, { geometryRecordFor: beforeGeometryFor });
             const node = { path };
-            if (Object.keys(liveJson.attributes).length > 0)
-                node.attributes = { ...liveJson.attributes };
-            if (Object.keys(liveJson.children).length > 0)
-                node.children = { ...liveJson.children };
-            if (Object.keys(liveJson.inherits).length > 0)
-                node.inherits = { ...liveJson.inherits };
-            diffNodes.push(node);
-            return;
-        }
-        const beforeJson = entityToJSON(beforeUntyped);
-        const node = { path };
-        let dirty = false;
-        // Attributes: include keys that are new OR (when configured)
-        // whose value changed.
-        const addedAttrs = {};
-        for (const [key, value] of Object.entries(liveJson.attributes)) {
-            const wasInBaseline = key in beforeJson.attributes;
-            if (!wasInBaseline) {
-                addedAttrs[key] = value;
-                continue;
+            let dirty = false;
+            // Attributes: include keys that are new OR (when configured)
+            // whose value changed; removed keys emit null.
+            const addedAttrs = {};
+            for (const [key, value] of Object.entries(liveAttrs)) {
+                const wasInBaseline = key in beforeAttrs;
+                if (!wasInBaseline) {
+                    addedAttrs[key] = value;
+                    continue;
+                }
+                if (includeUpdatedValues && !deepEqual(value, beforeAttrs[key])) {
+                    addedAttrs[key] = value;
+                }
             }
-            if (includeUpdatedValues && !deepEqual(value, beforeJson.attributes[key])) {
-                addedAttrs[key] = value;
+            if (includeDeletions) {
+                for (const key of Object.keys(beforeAttrs)) {
+                    if (!(key in liveAttrs))
+                        addedAttrs[key] = null;
+                }
             }
-        }
-        if (Object.keys(addedAttrs).length > 0) {
-            node.attributes = addedAttrs;
-            dirty = true;
-        }
-        // Children: same rule.
-        const addedChildren = {};
-        for (const [role, child] of Object.entries(liveJson.children)) {
-            const wasInBaseline = role in beforeJson.children;
-            if (!wasInBaseline || (includeUpdatedValues && beforeJson.children[role] !== child)) {
-                addedChildren[role] = child;
+            if (Object.keys(addedAttrs).length > 0) {
+                node.attributes = addedAttrs;
+                dirty = true;
             }
-        }
-        if (Object.keys(addedChildren).length > 0) {
-            node.children = addedChildren;
-            dirty = true;
-        }
-        // Inherits: same rule.
-        const addedInherits = {};
-        for (const [role, inh] of Object.entries(liveJson.inherits)) {
-            const wasInBaseline = role in beforeJson.inherits;
-            if (!wasInBaseline || (includeUpdatedValues && beforeJson.inherits[role] !== inh)) {
-                addedInherits[role] = inh;
+            // Children: same rule; removed roles emit null (IFCX removal).
+            const addedChildren = {};
+            for (const [role, child] of Object.entries(liveJson.children)) {
+                const wasInBaseline = role in beforeJson.children;
+                if (!wasInBaseline || (includeUpdatedValues && beforeJson.children[role] !== child)) {
+                    addedChildren[role] = child;
+                }
             }
+            if (includeDeletions) {
+                for (const role of Object.keys(beforeJson.children)) {
+                    if (!(role in liveJson.children))
+                        addedChildren[role] = null;
+                }
+            }
+            if (Object.keys(addedChildren).length > 0) {
+                node.children = addedChildren;
+                dirty = true;
+            }
+            // Inherits: same rule.
+            const addedInherits = {};
+            for (const [role, inh] of Object.entries(liveJson.inherits)) {
+                const wasInBaseline = role in beforeJson.inherits;
+                if (!wasInBaseline || (includeUpdatedValues && beforeJson.inherits[role] !== inh)) {
+                    addedInherits[role] = inh;
+                }
+            }
+            if (includeDeletions) {
+                for (const role of Object.keys(beforeJson.inherits)) {
+                    if (!(role in liveJson.inherits))
+                        addedInherits[role] = null;
+                }
+            }
+            if (Object.keys(addedInherits).length > 0) {
+                node.inherits = addedInherits;
+                dirty = true;
+            }
+            if (dirty)
+                diffNodes.push(node);
+        });
+        // Entities deleted since the baseline: tombstone opinions that shadow
+        // the entity (and its subtree) when the stack composes.
+        if (includeDeletions) {
+            beforeEnts.forEach((_entUntyped, path) => {
+                if (!liveEnts.has(path)) {
+                    diffNodes.push({ path, attributes: { [IFCLITE_ATTR.DELETED]: true } });
+                }
+            });
         }
-        if (Object.keys(addedInherits).length > 0) {
-            node.inherits = addedInherits;
-            dirty = true;
-        }
-        if (dirty)
-            diffNodes.push(node);
-    });
-    before.destroy();
-    return {
-        ...live,
-        data: diffNodes,
-    };
+        return {
+            ...live,
+            data: diffNodes,
+        };
+    }
+    finally {
+        // Deterministic cleanup even when extraction throws.
+        before.destroy();
+    }
 }
 /**
  * Heuristic deep-equal: handles primitives, arrays, and plain objects.

package/dist/snapshot/minimal-layer.js.map

@@ -1 +1 @@
-{"version":3,"file":"minimal-layer.js","sourceRoot":"","sources":["../../src/snapshot/minimal-layer.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAwB/D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAwB,MAAM,cAAc,CAAC;AAapE;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAU,EACV,QAAoB,EACpB,UAAsC,EAAE;IAExC,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,IAAI,IAAI,CAAC;IAClE,qEAAqE;IACrE,eAAe;IACf,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC;QAAE,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE7D,gEAAgE;IAChE,qEAAqE;IACrE,eAAe;IACf,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAElC,MAAM,SAAS,GAAe,EAAE,CAAC;IAEjC,QAAQ,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE;QACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,UAA4B,CAAC,CAAC;QAC5D,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,uDAAuD;YACvD,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,CAAC;YAChC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC9F,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACxF,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACxF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,MAAM,UAAU,GAAG,YAAY,CAAC,aAA+B,CAAC,CAAC;QACjE,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,CAAC;QAChC,IAAI,KAAK,GAAG,KAAK,CAAC;QAElB,6DAA6D;QAC7D,uBAAuB;QACvB,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/D,MAAM,aAAa,GAAG,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC;YACnD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,IAAI,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC1E,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;YAC7B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAED,uBAAuB;QACvB,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,MAAM,aAAa,GAAG,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC;YAClD,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;gBACpF,aAAa,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC;YAC9B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAED,uBAAuB;QACvB,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,MAAM,aAAa,GAAG,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC;YAClD,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAClF,aAAa,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC;YAC9B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAED,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,OAAO,EAAE,CAAC;IAEjB,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,SAAS;KAChB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC7D,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"minimal-layer.js","sourceRoot":"","sources":["../../src/snapshot/minimal-layer.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAkC/D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAwB,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAmBxF;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAU,EACV,QAAoB,EACpB,UAAsC,EAAE;IAExC,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,IAAI,IAAI,CAAC;IAClE,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,IAAI,CAAC;IAC1D,qEAAqE;IACrE,eAAe;IACf,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC;YAAE,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE7D,gEAAgE;QAChE,qEAAqE;QACrE,eAAe;QACf,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,eAAe,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAEvD,MAAM,SAAS,GAAe,EAAE,CAAC;QAEjC,QAAQ,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE;YACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,UAA4B,CAAC,CAAC;YAC5D,8DAA8D;YAC9D,4DAA4D;YAC5D,iEAAiE;YACjE,4DAA4D;YAC5D,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,EAAE,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC,CAAC;YAC9F,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,uDAAuD;gBACvD,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,CAAC;gBAChC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;gBACnE,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxF,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YAED,MAAM,UAAU,GAAG,YAAY,CAAC,aAA+B,CAAC,CAAC;YACjE,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,CAAC;YACpG,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,CAAC;YAChC,IAAI,KAAK,GAAG,KAAK,CAAC;YAElB,6DAA6D;YAC7D,+CAA+C;YAC/C,MAAM,UAAU,GAA4B,EAAE,CAAC;YAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACrD,MAAM,aAAa,GAAG,GAAG,IAAI,WAAW,CAAC;gBACzC,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACxB,SAAS;gBACX,CAAC;gBACD,IAAI,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAChE,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBAC1B,CAAC;YACH,CAAC;YACD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC3C,IAAI,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC;wBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBAClD,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;gBAC7B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YAED,+DAA+D;YAC/D,MAAM,aAAa,GAAkC,EAAE,CAAC;YACxD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9D,MAAM,aAAa,GAAG,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC;gBAClD,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;oBACpF,aAAa,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;gBAC9B,CAAC;YACH,CAAC;YACD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACpD,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC;wBAAE,aAAa,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;gBAC/D,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC;gBAC9B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YAED,uBAAuB;YACvB,MAAM,aAAa,GAAkC,EAAE,CAAC;YACxD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5D,MAAM,aAAa,GAAG,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC;gBAClD,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;oBAClF,aAAa,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACpD,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC;wBAAE,aAAa,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;gBAC/D,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC;gBAC9B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YAED,IAAI,KAAK;gBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,sEAAsE;QACtE,wDAAwD;QACxD,IAAI,gBAAgB,EAAE,CAAC;YACrB,UAAU,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE;gBACvC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,SAAS;SAChB,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,qDAAqD;QACrD,MAAM,CAAC,OAAO,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC7D,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/snapshot/publish-layer.d.ts

@@ -0,0 +1,60 @@
+/**
+ * publishLayer: freeze a draft into an immutable, content-addressed,
+ * provenance-stamped layer.
+ *
+ * The draft is a CRDT session (Y.Doc) bound to a base; freezing extracts
+ * the minimal layer (including deletion overlays), attaches the
+ * provenance manifest (intent, author, scope claims, base, checks), and
+ * content-addresses the result: `layerId = blake3(canonical_bytes)`.
+ *
+ * Check execution and scope-claim verification happen at the calling
+ * boundary (MCP/CLI/registry) — pass the results in; they are recorded
+ * in the manifest, and signatures never participate in the id.
+ *
+ * Spec: docs/architecture/layer-prs/02-layer-format.md §2.4,
+ *       03-provenance.md, 06-agents.md §6.2.
+ */
+import type { IfcxFile, ProvenanceAuthor, ProvenanceBase, ProvenanceCheck, ProvenanceManifest } from '@ifc-lite/ifcx';
+import type * as Y from 'yjs';
+import { type ExtractMinimalLayerOptions } from './minimal-layer.js';
+export interface PublishLayerOptions {
+    /** Human-readable why. Mandatory — the `ifc layer log` line. */
+    intent: string;
+    /** Who authored the draft (human / agent / hybrid). */
+    author: ProvenanceAuthor;
+    /**
+     * Baseline the draft was forked from
+     * (`Y.encodeStateAsUpdate` / `captureBaseline` output).
+     */
+    baseline: Uint8Array;
+    /** Identity of the base layer/stack the draft was authored against. */
+    base?: ProvenanceBase | null;
+    /** Capability-grammar scope claims declared for this layer. */
+    scope_claim?: string[];
+    /** Results of declared checks, run by the caller before publishing. */
+    checks?: ProvenanceCheck[];
+    /** blake3 digest of the prompt/task text that produced the layer. */
+    instructions_digest?: string;
+    /** Parent layer ids in the change DAG (defaults to the base id). */
+    parents?: string[];
+    /** Manifest timestamp override (defaults to now). */
+    created?: string;
+    /** Forwarded to the minimal-layer extractor. */
+    extract?: ExtractMinimalLayerOptions;
+}
+export interface PublishedLayer {
+    /** The immutable layer document, `header.id` set to the content address. */
+    file: IfcxFile;
+    /** `blake3:` content address over canonical bytes. */
+    layerId: string;
+    manifest: ProvenanceManifest;
+    /** Number of changed nodes the layer carries. */
+    opCount: number;
+}
+/**
+ * Freeze a draft doc into a published layer. Pure with respect to the
+ * draft: the Y.Doc is read, never mutated — publishing again after more
+ * edits produces a new layer with a new id.
+ */
+export declare function publishLayer(doc: Y.Doc, options: PublishLayerOptions): PublishedLayer;
+//# sourceMappingURL=publish-layer.d.ts.map

package/dist/snapshot/publish-layer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"publish-layer.d.ts","sourceRoot":"","sources":["../../src/snapshot/publish-layer.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,kBAAkB,EACnB,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,KAAK,CAAC,MAAM,KAAK,CAAC;AAC9B,OAAO,EAAuB,KAAK,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAE1F,MAAM,WAAW,mBAAmB;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,uDAAuD;IACvD,MAAM,EAAE,gBAAgB,CAAC;IACzB;;;OAGG;IACH,QAAQ,EAAE,UAAU,CAAC;IACrB,uEAAuE;IACvE,IAAI,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;IAC7B,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;IAC3B,qEAAqE;IACrE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,qDAAqD;IACrD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,OAAO,CAAC,EAAE,0BAA0B,CAAC;CACtC;AAED,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,IAAI,EAAE,QAAQ,CAAC;IACf,sDAAsD;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,mBAAmB,GAAG,cAAc,CAkCrF"}