brepjs-bim 0.24.0 → 0.24.1

package/README.md

@@ -95,9 +95,16 @@ otherwise supplied. Existing non-semantic Families archetypes continue to use th
 registry beneath Bridge Parts. Bridge, Bridge Part, and Earthworks Fill require IFC4X3; `fromIfc`
 reconstructs their civil spatial hierarchy, direct containment, and typed Earthworks inventory.
 
-The existing typed routes adapt semantic envelope dimensions from the reference Families into
-their parametric BIM specs. They do not promise exact preservation of compound or voided source
-bodies; exact authored-body preservation in this profile is specific to Earthworks Fill.
+Civil-semantic wall and railing routes require `bodyEvaluator` (or the
+`proxyEvaluator` fallback) so the adapter can verify the authored Product Body. Missing the
+evaluator is `FAMILIES_PRODUCT_BODY_EVALUATOR_REQUIRED` (element path and mapped category); the
+adapter does not silently keep a parametric envelope. Conventional archetype walls and railings
+stay specification-authoritative and do not need an evaluator. When the evaluator is present, the
+adapter applies registered wall openings to the parametric candidate, then compares that candidate
+with the evaluated source in Product-local coordinates. Coincident bodies retain editable
+parametric IFC; compound, voided, or otherwise different bodies retain their typed Wall or Railing
+classification and export every authoritative item as tessellation. The evaluator's source handles
+remain borrowed. Other typed civil routes continue to use their semantic envelope dimensions.
 
 This is deliberately not a claim of complete IFC infrastructure coverage or unchanged parity with
 the full scratch prototype. Member and Sign remain outside the profile: without `proxyEvaluator`
@@ -172,6 +179,8 @@ warnings travel inside the payload rather than throwing.
 Each `add*` call parses and validates its spec and stores a typed `BimElement` keyed by a `LocalId`.
 Parametric physical elements build an analytical brepjs solid; civil spatial elements are body-less,
 and arbitrary-body products such as Earthworks Fill take ownership of a validated authored solid.
+Families-projected civil walls and railings retain evaluated authored solids when their Bodies do
+not coincide with the post-opening parametric candidate.
 The IFC writer walks the model, applies placement, and emits schema-correct IFC entities; the
 importer is the inverse. No kernel/WASM changes are required.
 

package/dist/brepjs-bim.cjs

@@ -536,7 +536,7 @@ var propertyKeyTypes = /* @__PURE__*/ new Set([
 function escapeRegex(str) {
 	return str.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
-function clone$2(inst, def, params) {
+function clone$3(inst, def, params) {
 	const cl = new inst._zod.constr(def ?? inst._zod.def);
 	if (!def || params?.parent) cl._zod.parent = inst;
 	return cl;
@@ -572,7 +572,7 @@ function pick(schema, mask) {
 	const currDef = schema._zod.def;
 	const checks = currDef.checks;
 	if (checks && checks.length > 0) throw new Error(".pick() cannot be used on object schemas containing refinements");
-	return clone$2(schema, mergeDefs(schema._zod.def, {
+	return clone$3(schema, mergeDefs(schema._zod.def, {
 		get shape() {
 			const newShape = {};
 			for (const key in mask) {
@@ -590,7 +590,7 @@ function omit(schema, mask) {
 	const currDef = schema._zod.def;
 	const checks = currDef.checks;
 	if (checks && checks.length > 0) throw new Error(".omit() cannot be used on object schemas containing refinements");
-	return clone$2(schema, mergeDefs(schema._zod.def, {
+	return clone$3(schema, mergeDefs(schema._zod.def, {
 		get shape() {
 			const newShape = { ...schema._zod.def.shape };
 			for (const key in mask) {
@@ -611,7 +611,7 @@ function extend(schema, shape) {
 		const existingShape = schema._zod.def.shape;
 		for (const key in shape) if (Object.getOwnPropertyDescriptor(existingShape, key) !== void 0) throw new Error("Cannot overwrite keys on object schemas containing refinements. Use `.safeExtend()` instead.");
 	}
-	return clone$2(schema, mergeDefs(schema._zod.def, { get shape() {
+	return clone$3(schema, mergeDefs(schema._zod.def, { get shape() {
 		const _shape = {
 			...schema._zod.def.shape,
 			...shape
@@ -622,7 +622,7 @@ function extend(schema, shape) {
 }
 function safeExtend(schema, shape) {
 	if (!isPlainObject(shape)) throw new Error("Invalid input to safeExtend: expected a plain object");
-	return clone$2(schema, mergeDefs(schema._zod.def, { get shape() {
+	return clone$3(schema, mergeDefs(schema._zod.def, { get shape() {
 		const _shape = {
 			...schema._zod.def.shape,
 			...shape
@@ -633,7 +633,7 @@ function safeExtend(schema, shape) {
 }
 function merge(a, b) {
 	if (a._zod.def.checks?.length) throw new Error(".merge() cannot be used on object schemas containing refinements. Use .safeExtend() instead.");
-	return clone$2(a, mergeDefs(a._zod.def, {
+	return clone$3(a, mergeDefs(a._zod.def, {
 		get shape() {
 			const _shape = {
 				...a._zod.def.shape,
@@ -651,7 +651,7 @@ function merge(a, b) {
 function partial(Class, schema, mask) {
 	const checks = schema._zod.def.checks;
 	if (checks && checks.length > 0) throw new Error(".partial() cannot be used on object schemas containing refinements");
-	return clone$2(schema, mergeDefs(schema._zod.def, {
+	return clone$3(schema, mergeDefs(schema._zod.def, {
 		get shape() {
 			const oldShape = schema._zod.def.shape;
 			const shape = { ...oldShape };
@@ -674,7 +674,7 @@ function partial(Class, schema, mask) {
 	}));
 }
 function required(Class, schema, mask) {
-	return clone$2(schema, mergeDefs(schema._zod.def, { get shape() {
+	return clone$3(schema, mergeDefs(schema._zod.def, { get shape() {
 		const oldShape = schema._zod.def.shape;
 		const shape = { ...oldShape };
 		if (mask) for (const key in mask) {
@@ -4043,7 +4043,7 @@ var ZodType = /*@__PURE__*/ $constructor("ZodType", (inst, def) => {
 			return this.check(...chks);
 		},
 		clone(def, params) {
-			return clone$2(this, def, params);
+			return clone$3(this, def, params);
 		},
 		brand() {
 			return this;
@@ -7561,19 +7561,19 @@ function rotationOp(matrix) {
 }
 //#endregion
 //#region src/elementFns/placedGeometry.ts
-var testHooks$3 = null;
+var testHooks$5 = null;
 function place(solid, frame) {
 	let placed = null;
 	try {
 		placed = locateShapeInFrame(solid, frame);
-		testHooks$3?.afterPlaced?.(placed);
+		testHooks$5?.afterPlaced?.(placed);
 		return (0, brepjs.ok)(placed);
 	} catch (cause) {
 		placed?.[Symbol.dispose]();
 		return (0, brepjs.err)(geometryError("PLACED_GEOMETRY_FAILED", "Element placement threw while transforming geometry", cause));
 	}
 }
-function disposeAll(solids) {
+function disposeAll$1(solids) {
 	for (const s of solids) s[Symbol.dispose]();
 }
 function placeWithinParent(solid, localFrame, parentFrame) {
@@ -7615,7 +7615,7 @@ function placedSolids(el, options = {}) {
 			for (const solid of bodySolids(el.geometry)) {
 				const placed = placeWithinParent(solid, el.spec, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7640,12 +7640,12 @@ function placedSolids(el, options = {}) {
 				var _usingCtx3 = _usingCtx();
 				const built = stairFlightToSolid(flight);
 				if (!built.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return (0, brepjs.err)(built.error);
 				}
 				const placed = placeWithinParent(_usingCtx3.u(built.value.solid), flight, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7662,12 +7662,12 @@ function placedSolids(el, options = {}) {
 				var _usingCtx4 = _usingCtx();
 				const built = rampFlightToSolid(flight);
 				if (!built.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return (0, brepjs.err)(built.error);
 				}
 				const placed = placeWithinParent(_usingCtx4.u(built.value.solid), flight, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7718,12 +7718,12 @@ function placedSolids(el, options = {}) {
 					]
 				});
 				if (!componentLocal.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return componentLocal;
 				}
 				const placed = placeWithinParent(_usingCtx5.u(componentLocal.value), el.spec, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7828,7 +7828,7 @@ async function initIfcApi(api) {
 }
 //#endregion
 //#region src/ifc-writer/ifcWriter.ts
-var testHooks$2 = null;
+var testHooks$4 = null;
 /** Default MVD ViewDefinition declared in the STEP FILE_DESCRIPTION header. */
 var DEFAULT_MVD_VIEW_DEFINITION = "ReferenceView_v1.2";
 var VIEW_DEFINITION_RE = /ViewDefinition \[[^\]]*\]/;
@@ -7890,7 +7890,7 @@ var IfcWriter = class IfcWriter {
 	}
 	writeLine(entity) {
 		this.#api.WriteLine(this.#modelId, entity);
-		testHooks$2?.afterWriteLine?.();
+		testHooks$4?.afterWriteLine?.();
 		return entity.expressID;
 	}
 	ref(id) {
@@ -7903,7 +7903,7 @@ var IfcWriter = class IfcWriter {
 		if (this.#closed) return;
 		this.#closed = true;
 		this.#api.CloseModel(this.#modelId);
-		testHooks$2?.afterClose?.();
+		testHooks$4?.afterClose?.();
 	}
 	[Symbol.dispose]() {
 		this.close();
@@ -14439,7 +14439,7 @@ function buildElementContainmentMap(reader) {
 //#endregion
 //#region src/import/geometryRead.ts
 var NONE = { kind: "NONE" };
-var testHooks$1 = null;
+var testHooks$3 = null;
 /**
 * Reconstructs the `Body` (SweptSolid) representation of a product into a brepjs
 * solid, falling back to tessellated mesh import when no parametric path exists.
@@ -14683,7 +14683,7 @@ function reconstructTessellatedMesh(mesh, scaleToMm, itemExpressId, diagnostics)
 	}
 	if (solid !== null) {
 		try {
-			testHooks$1?.afterItemSolid?.(itemExpressId, solid);
+			testHooks$3?.afterItemSolid?.(itemExpressId, solid);
 		} catch (cause) {
 			solid[Symbol.dispose]();
 			throw cause;
@@ -15644,7 +15644,7 @@ function readOwnerHistory(reader, ownerHistoryExpressId) {
 }
 //#endregion
 //#region src/import/fromIfc.ts
-var testHooks = null;
+var testHooks$2 = null;
 /**
 * Each enumerated physical-element IFC type and the {@link ImportedElementCategory}
 * it maps to. Curtain-wall sub-components (IfcPlate/IfcMember) and stair/ramp
@@ -15708,7 +15708,7 @@ async function fromIfc(bytes, options = {}) {
 			if (element === null) continue;
 			elements.push(element);
 			byExpressId.set(element.expressId, element);
-			testHooks?.afterElement?.(element, elements.length);
+			testHooks$2?.afterElement?.(element, elements.length);
 		}
 		const report = appendIssues(emptyReport(), diagnostics);
 		const applicationName = readApplicationName(reader);
@@ -15754,7 +15754,7 @@ function readElement(reader, expressId, category, scale, containment, typeEnums,
 			bounds: null,
 			volumeMm3: null
 		} : reconstructGeometry(reader, expressId, scale, voidedBy, diagnostics);
-		testHooks?.afterGeometry?.(expressId, geometry);
+		testHooks$2?.afterGeometry?.(expressId, geometry);
 		const psets = readPsets(reader, expressId).map(toImportedPset);
 		const material = readMaterial(reader, expressId, scale);
 		const classification = readClassification(reader, expressId);
@@ -28895,13 +28895,151 @@ function isPureTranslation(f, eps = 1e-9) {
 	return Math.abs((f[0] ?? 1) - 1) < eps && Math.abs((f[5] ?? 1) - 1) < eps && Math.abs((f[10] ?? 1) - 1) < eps && Math.abs(f[1] ?? 0) < eps && Math.abs(f[2] ?? 0) < eps && Math.abs(f[4] ?? 0) < eps && Math.abs(f[6] ?? 0) < eps && Math.abs(f[8] ?? 0) < eps && Math.abs(f[9] ?? 0) < eps;
 }
 //#endregion
+//#region src/familiesProductBody.ts
+var RELATIVE_VOLUME_TOLERANCE = 1e-6;
+var testHooks$1 = null;
+/**
+* Evaluates a civil Product Body, clones and localizes every borrowed source,
+* then proves whether the registered-opening parametric Body is coincident.
+* An EXACT result is caller-owned until takeExactProductBody() succeeds.
+*/
+function selectCivilProductBody(input) {
+	const evaluated = evaluateBody(input);
+	if (!evaluated.ok) return evaluated;
+	const sources = evaluated.value;
+	if (sources.length === 0) return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_EMPTY", `evaluated to no solid Body items`));
+	const localized = [];
+	const inverse = decomposeFrame(frameInverse(input.productWorldFrame));
+	for (const [itemIndex, source] of sources.entries()) {
+		const copied = (0, brepjs.clone)(source);
+		if (!copied.ok) {
+			disposeAll(localized);
+			return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_COPY_FAILED", `Body item ${itemIndex} could not be copied`, copied.error, itemIndex));
+		}
+		try {
+			testHooks$1?.afterCopy?.(itemIndex, copied.value, source);
+		} catch (cause) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_COPY_FAILED", `Body item ${itemIndex} could not be copied`, cause, itemIndex));
+		}
+		let valid;
+		try {
+			valid = (0, brepjs.validSolid)(copied.value);
+		} catch (cause) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_INVALID", `Body item ${itemIndex} could not be validated as a solid`, cause, itemIndex));
+		}
+		if (!valid.ok) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_INVALID", `Body item ${itemIndex} is not a valid solid: ${valid.error}`, void 0, itemIndex));
+		}
+		let local = null;
+		try {
+			testHooks$1?.beforeLocalize?.(itemIndex, valid.value);
+			local = locateShapeInFrame(valid.value, inverse);
+			testHooks$1?.afterLocalized?.(itemIndex, local);
+			localized.push(local);
+		} catch (cause) {
+			local?.[Symbol.dispose]();
+			valid.value[Symbol.dispose]();
+			disposeAll(localized);
+			return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_LOCALIZE_FAILED", `Body item ${itemIndex} could not be moved into the Product-local frame`, cause, itemIndex));
+		}
+		valid.value[Symbol.dispose]();
+	}
+	const exactBody = {
+		kind: "EXACT",
+		solids: asNonEmpty(localized)
+	};
+	try {
+		testHooks$1?.beforeCoincidence?.(exactBody, input.parametricBody);
+	} catch (cause) {
+		disposeAll(exactBody.solids);
+		return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_COMPARISON_FAILED", `authored and parametric Bodies could not be compared`, cause));
+	}
+	if (!bodiesCoincident(exactBody, input.parametricBody)) return (0, brepjs.ok)({
+		kind: "EXACT",
+		body: exactBody
+	});
+	disposeAll(exactBody.solids);
+	return (0, brepjs.ok)({ kind: "PARAMETRIC" });
+}
+function evaluateBody(input) {
+	try {
+		const evaluated = input.evaluator.evaluate(input.element.geometry);
+		if (!evaluated.ok) return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_EVALUATION_FAILED", `authored Body evaluation failed: ${evaluated.error.message}`, evaluated.error));
+		return (0, brepjs.ok)((0, brepjs.isSolid)(evaluated.value) ? [evaluated.value] : (0, brepjs.getSolids)(evaluated.value));
+	} catch (cause) {
+		return (0, brepjs.err)(productBodyError(input, "FAMILIES_PRODUCT_BODY_EVALUATION_FAILED", `authored Body evaluation threw`, cause));
+	}
+}
+function bodiesCoincident(exact, parametric) {
+	const exactVolume = measureBody(exact);
+	const parametricVolume = measureBody(parametric);
+	if (exactVolume === null || parametricVolume === null || !volumesClose(exactVolume, parametricVolume)) return false;
+	let union = null;
+	try {
+		const fused = (0, brepjs.fuseAll)([...bodySolids(exact), ...bodySolids(parametric)], {
+			optimisation: "sameFace",
+			simplify: true,
+			strategy: "pairwise",
+			trackEvolution: false
+		});
+		if (!fused.ok) return false;
+		union = fused.value;
+		const measured = (0, brepjs.measureVolume)(union);
+		return measured.ok && volumesClose(measured.value, exactVolume) && volumesClose(measured.value, parametricVolume);
+	} catch {
+		return false;
+	} finally {
+		union?.[Symbol.dispose]();
+	}
+}
+function measureBody(body) {
+	let total = 0;
+	try {
+		for (const solid of bodySolids(body)) {
+			const measured = (0, brepjs.measureVolume)(solid);
+			if (!measured.ok || !Number.isFinite(measured.value) || measured.value <= 0) return null;
+			total += measured.value;
+		}
+		return total;
+	} catch {
+		return null;
+	}
+}
+function volumesClose(a, b) {
+	return Math.abs(a - b) <= RELATIVE_VOLUME_TOLERANCE * Math.max(Math.abs(a), Math.abs(b), Number.EPSILON);
+}
+function asNonEmpty(solids) {
+	const first = solids[0];
+	if (first === void 0) throw new Error("Expected a non-empty exact Product Body");
+	return [first, ...solids.slice(1)];
+}
+function disposeAll(solids) {
+	for (const solid of solids) solid[Symbol.dispose]();
+}
+function productBodyError(input, code, detail, cause, itemIndex) {
+	return {
+		...specError(code, `familiesToBim: '${input.element.keyPath}' (${input.category}) ${detail}`, cause),
+		metadata: {
+			keyPath: input.element.keyPath,
+			category: input.category,
+			...itemIndex !== void 0 ? { itemIndex } : {}
+		}
+	};
+}
+//#endregion
 //#region src/familiesAdapter.ts
 /**
 * brepjs-families -> BimModel adapter. Consumes a resolved element tree and
-* feeds each element's PRE-DESUGARED props into the parametric specs — the
-* spec path stays authoritative for IFC (IfcExtrudedAreaSolid + placement),
-* while the IR path serves the viewport and dedup. GlobalIds derive from
-* families key paths (stable under reordering), not insertion order.
+* feeds each element's PRE-DESUGARED props into parametric specs. Civil wall
+* and railing Products additionally compare the evaluated authored Body with
+* that spec Body and retain an exact Body when they diverge. GlobalIds derive
+* from families key paths (stable under reordering), not insertion order.
 *
 * Scope: building Storey containers; civil Site/Bridge/recursive Bridge Part
 * structure and Earthworks Fill bodies; Wall/Slab/Column/Beam/Roof/Stair,
@@ -28913,6 +29051,7 @@ function isPureTranslation(f, eps = 1e-9) {
 * voids are rejected: they cut only the IR/viewport geometry, and exporting
 * the uncut spec body would silently diverge from what the user sees.
 */
+var testHooks = null;
 var SPEC_DEFAULTS = {
 	origin: [
 		0,
@@ -29093,6 +29232,12 @@ function civilProductArchetype(el) {
 	if (definition === void 0 || !definition.roles.includes(el.semantics.role)) return void 0;
 	return definition.archetype;
 }
+function civilProductBodyCategory(el, archetype) {
+	if (el.semantics?.kind !== "product") return null;
+	if (archetype === "wall") return "WALL";
+	if (archetype === "railing") return "RAILING";
+	return null;
+}
 function semanticDimension(el, ...names) {
 	if (el.semantics?.kind !== "product") return void 0;
 	for (const name of names) {
@@ -29798,33 +29943,55 @@ function addEarthworksFillElement(model, el, evaluator, spatialFrame) {
 	if (!added.ok) localized.value[Symbol.dispose]();
 	return added;
 }
+function installCivilProductBody(model, el, localId, category, evaluator, productWorldFrame) {
+	const target = model.getElement(localId);
+	if (target === null || target.category !== category || target.geometry.kind !== "PARAMETRIC") return (0, brepjs.err)(specError("FAMILIES_PRODUCT_BODY_TARGET_INVALID", `familiesToBim: '${el.keyPath}' could not find its parametric ${category} Body after projection`));
+	const selected = selectCivilProductBody({
+		element: el,
+		category,
+		evaluator,
+		productWorldFrame,
+		parametricBody: target.geometry
+	});
+	if (!selected.ok) return selected;
+	if (selected.value.kind === "PARAMETRIC") return (0, brepjs.ok)(void 0);
+	const takeover = model.takeExactProductBody(localId, selected.value.body);
+	if (!takeover.ok) disposeProductBody(selected.value.body);
+	return takeover;
+}
 /**
 * Project a resolved families tree into an eager BimModel. The caller owns
 * the returned model (`using`); families stays domain-neutral — this adapter
 * is where families types meet the IFC vocabulary.
 */
 function familiesToBim(root, options) {
+	const model = new BimModel();
+	let transferred = false;
+	try {
+		const projected = projectFamiliesToBim(root, options, model);
+		transferred = projected.ok;
+		return projected;
+	} catch (cause) {
+		return (0, brepjs.err)(specError("FAMILIES_PROJECTION_FAILED", `familiesToBim: unexpected projection failure at '${root.keyPath}'`, cause));
+	} finally {
+		if (!transferred) model[Symbol.dispose]();
+	}
+}
+function projectFamiliesToBim(root, options, model) {
 	const usesAuthoredCivilHierarchy = hasCivilSpatialIntent(root);
 	if (usesAuthoredCivilHierarchy) {
 		const keyed = requireKeyed(root);
 		if (!keyed.ok) return keyed;
 	}
-	const model = new BimModel();
 	const initResult = model.init(options.project, usesAuthoredCivilHierarchy ? { stableKey: civilSpatialKind(root) !== void 0 ? `${root.keyPath}#project` : root.keyPath } : void 0);
 	if (!initResult.ok) return initResult;
 	const projectId = initResult.value;
 	let buildingId = null;
 	if (!usesAuthoredCivilHierarchy) {
 		const siteResult = model.addSite({ name: options.siteName ?? "Site" });
-		if (!siteResult.ok) {
-			model[Symbol.dispose]();
-			return siteResult;
-		}
+		if (!siteResult.ok) return siteResult;
 		const buildingResult = model.addBuilding({ name: options.buildingName ?? "Building" });
-		if (!buildingResult.ok) {
-			model[Symbol.dispose]();
-			return buildingResult;
-		}
+		if (!buildingResult.ok) return buildingResult;
 		buildingId = buildingResult.value;
 		model.aggregate(projectId, siteResult.value);
 		model.aggregate(siteResult.value, buildingId);
@@ -29854,8 +30021,7 @@ function familiesToBim(root, options) {
 			if (el.geometry.kind !== "Empty") return (0, brepjs.err)(specError("FAMILIES_UNSUPPORTED_CIVIL_SEMANTICS", `familiesToBim: civil spatial element '${el.keyPath}' carries its own geometry — Site/Bridge/Bridge Part export no body, so author it as a child Product (e.g. Earthworks Fill)`));
 			const nodeFrame = civilNodeFrame(el, cumulativeFrameHere);
 			const rotatedFrame = rotatedHere || hasRotatedAxes(el);
-			const input = rotatedFrame ? civilSpatialFrameInput(el, nodeFrame, state.spatialFrame) : civilSpatialInput(el, subtractTranslation(cumulativeTranslationHere, state.projectedSpatialTranslation));
-			const added = addCivilSpatialOccurrence(model, el, civilKind, input);
+			const added = addCivilSpatialOccurrence(model, el, civilKind, rotatedFrame ? civilSpatialFrameInput(el, nodeFrame, state.spatialFrame) : civilSpatialInput(el, subtractTranslation(cumulativeTranslationHere, state.projectedSpatialTranslation)));
 			if (!added.ok) return added;
 			model.aggregate(state.spatialStructureId, added.value);
 			idByKeyPath.set(el.keyPath, added.value);
@@ -29891,6 +30057,15 @@ function familiesToBim(root, options) {
 		} else if (route !== void 0) {
 			const keyed = requireKeyed(el);
 			if (!keyed.ok) return keyed;
+			const productBodyCategory = civilProductBodyCategory(el, effectiveArchetype);
+			const productBodyEvaluator = productBodyCategory === null ? void 0 : options.bodyEvaluator ?? options.proxyEvaluator;
+			if (productBodyCategory !== null && productBodyEvaluator === void 0) return (0, brepjs.err)({
+				...specError("FAMILIES_PRODUCT_BODY_EVALUATOR_REQUIRED", `familiesToBim: civil Product '${el.keyPath}' mapped to ${productBodyCategory} needs bodyEvaluator or proxyEvaluator to verify its authoritative Body`),
+				metadata: {
+					keyPath: el.keyPath,
+					category: productBodyCategory
+				}
+			});
 			const voids = el.props["voids"];
 			if (Array.isArray(voids)) {
 				const openings = el.children.filter((c) => c.type === "Opening").length;
@@ -29910,6 +30085,11 @@ function familiesToBim(root, options) {
 				const opened = addOpenings(model, el, added.value, nextSpatialStructureId, idByKeyPath);
 				if (!opened.ok) return opened;
 			}
+			if (productBodyCategory !== null && productBodyEvaluator !== void 0) {
+				const installed = installCivilProductBody(model, el, added.value, productBodyCategory, productBodyEvaluator, elementBodyFrame(el, cumulativeFrameHere, occurrenceTransformDepthHere));
+				if (!installed.ok) return installed;
+				testHooks?.afterCivilProductBody?.(model, added.value, el);
+			}
 		} else if (el.type === "Opening") return (0, brepjs.err)(specError("FAMILIES_OPENING_OUTSIDE_WALL", `familiesToBim: opening '${el.keyPath}' is not hosted by a Wall — only wall openings are mapped`));
 		else if (el.type !== "Group" && el.geometry.kind !== "Empty") {
 			if (options.proxyEvaluator === void 0) return (0, brepjs.err)(specError("FAMILIES_UNSUPPORTED_TYPE", `familiesToBim: no supported spec mapping for element type '${el.type}' at '${el.keyPath}' (archetype: ${el.archetype ?? "none"}) — declare a recognized archetype or civil Product category/role, add a spec route, or pass proxyEvaluator to export it as an IfcBuildingElementProxy`));
@@ -29953,10 +30133,7 @@ function familiesToBim(root, options) {
 		cumulativeFrame: IDENTITY_FRAME,
 		spatialFrame: IDENTITY_FRAME
 	});
-	if (!walked.ok) {
-		model[Symbol.dispose]();
-		return walked;
-	}
+	if (!walked.ok) return walked;
 	return (0, brepjs.ok)({
 		model,
 		idByKeyPath,

package/dist/brepjs-bim.js

@@ -7538,19 +7538,19 @@ function rotationOp(matrix) {
 }
 //#endregion
 //#region src/elementFns/placedGeometry.ts
-var testHooks$3 = null;
+var testHooks$5 = null;
 function place(solid, frame) {
 	let placed = null;
 	try {
 		placed = locateShapeInFrame(solid, frame);
-		testHooks$3?.afterPlaced?.(placed);
+		testHooks$5?.afterPlaced?.(placed);
 		return ok(placed);
 	} catch (cause) {
 		placed?.[Symbol.dispose]();
 		return err(geometryError("PLACED_GEOMETRY_FAILED", "Element placement threw while transforming geometry", cause));
 	}
 }
-function disposeAll(solids) {
+function disposeAll$1(solids) {
 	for (const s of solids) s[Symbol.dispose]();
 }
 function placeWithinParent(solid, localFrame, parentFrame) {
@@ -7592,7 +7592,7 @@ function placedSolids(el, options = {}) {
 			for (const solid of bodySolids(el.geometry)) {
 				const placed = placeWithinParent(solid, el.spec, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7617,12 +7617,12 @@ function placedSolids(el, options = {}) {
 				var _usingCtx3 = _usingCtx();
 				const built = stairFlightToSolid(flight);
 				if (!built.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return err(built.error);
 				}
 				const placed = placeWithinParent(_usingCtx3.u(built.value.solid), flight, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7639,12 +7639,12 @@ function placedSolids(el, options = {}) {
 				var _usingCtx4 = _usingCtx();
 				const built = rampFlightToSolid(flight);
 				if (!built.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return err(built.error);
 				}
 				const placed = placeWithinParent(_usingCtx4.u(built.value.solid), flight, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7695,12 +7695,12 @@ function placedSolids(el, options = {}) {
 					]
 				});
 				if (!componentLocal.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return componentLocal;
 				}
 				const placed = placeWithinParent(_usingCtx5.u(componentLocal.value), el.spec, parentFrame);
 				if (!placed.ok) {
-					disposeAll(out);
+					disposeAll$1(out);
 					return placed;
 				}
 				out.push(placed.value);
@@ -7805,7 +7805,7 @@ async function initIfcApi(api) {
 }
 //#endregion
 //#region src/ifc-writer/ifcWriter.ts
-var testHooks$2 = null;
+var testHooks$4 = null;
 /** Default MVD ViewDefinition declared in the STEP FILE_DESCRIPTION header. */
 var DEFAULT_MVD_VIEW_DEFINITION = "ReferenceView_v1.2";
 var VIEW_DEFINITION_RE = /ViewDefinition \[[^\]]*\]/;
@@ -7867,7 +7867,7 @@ var IfcWriter = class IfcWriter {
 	}
 	writeLine(entity) {
 		this.#api.WriteLine(this.#modelId, entity);
-		testHooks$2?.afterWriteLine?.();
+		testHooks$4?.afterWriteLine?.();
 		return entity.expressID;
 	}
 	ref(id) {
@@ -7880,7 +7880,7 @@ var IfcWriter = class IfcWriter {
 		if (this.#closed) return;
 		this.#closed = true;
 		this.#api.CloseModel(this.#modelId);
-		testHooks$2?.afterClose?.();
+		testHooks$4?.afterClose?.();
 	}
 	[Symbol.dispose]() {
 		this.close();
@@ -14416,7 +14416,7 @@ function buildElementContainmentMap(reader) {
 //#endregion
 //#region src/import/geometryRead.ts
 var NONE = { kind: "NONE" };
-var testHooks$1 = null;
+var testHooks$3 = null;
 /**
 * Reconstructs the `Body` (SweptSolid) representation of a product into a brepjs
 * solid, falling back to tessellated mesh import when no parametric path exists.
@@ -14660,7 +14660,7 @@ function reconstructTessellatedMesh(mesh, scaleToMm, itemExpressId, diagnostics)
 	}
 	if (solid !== null) {
 		try {
-			testHooks$1?.afterItemSolid?.(itemExpressId, solid);
+			testHooks$3?.afterItemSolid?.(itemExpressId, solid);
 		} catch (cause) {
 			solid[Symbol.dispose]();
 			throw cause;
@@ -15621,7 +15621,7 @@ function readOwnerHistory(reader, ownerHistoryExpressId) {
 }
 //#endregion
 //#region src/import/fromIfc.ts
-var testHooks = null;
+var testHooks$2 = null;
 /**
 * Each enumerated physical-element IFC type and the {@link ImportedElementCategory}
 * it maps to. Curtain-wall sub-components (IfcPlate/IfcMember) and stair/ramp
@@ -15685,7 +15685,7 @@ async function fromIfc(bytes, options = {}) {
 			if (element === null) continue;
 			elements.push(element);
 			byExpressId.set(element.expressId, element);
-			testHooks?.afterElement?.(element, elements.length);
+			testHooks$2?.afterElement?.(element, elements.length);
 		}
 		const report = appendIssues(emptyReport(), diagnostics);
 		const applicationName = readApplicationName(reader);
@@ -15731,7 +15731,7 @@ function readElement(reader, expressId, category, scale, containment, typeEnums,
 			bounds: null,
 			volumeMm3: null
 		} : reconstructGeometry(reader, expressId, scale, voidedBy, diagnostics);
-		testHooks?.afterGeometry?.(expressId, geometry);
+		testHooks$2?.afterGeometry?.(expressId, geometry);
 		const psets = readPsets(reader, expressId).map(toImportedPset);
 		const material = readMaterial(reader, expressId, scale);
 		const classification = readClassification(reader, expressId);
@@ -28872,13 +28872,151 @@ function isPureTranslation(f, eps = 1e-9) {
 	return Math.abs((f[0] ?? 1) - 1) < eps && Math.abs((f[5] ?? 1) - 1) < eps && Math.abs((f[10] ?? 1) - 1) < eps && Math.abs(f[1] ?? 0) < eps && Math.abs(f[2] ?? 0) < eps && Math.abs(f[4] ?? 0) < eps && Math.abs(f[6] ?? 0) < eps && Math.abs(f[8] ?? 0) < eps && Math.abs(f[9] ?? 0) < eps;
 }
 //#endregion
+//#region src/familiesProductBody.ts
+var RELATIVE_VOLUME_TOLERANCE = 1e-6;
+var testHooks$1 = null;
+/**
+* Evaluates a civil Product Body, clones and localizes every borrowed source,
+* then proves whether the registered-opening parametric Body is coincident.
+* An EXACT result is caller-owned until takeExactProductBody() succeeds.
+*/
+function selectCivilProductBody(input) {
+	const evaluated = evaluateBody(input);
+	if (!evaluated.ok) return evaluated;
+	const sources = evaluated.value;
+	if (sources.length === 0) return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_EMPTY", `evaluated to no solid Body items`));
+	const localized = [];
+	const inverse = decomposeFrame(frameInverse(input.productWorldFrame));
+	for (const [itemIndex, source] of sources.entries()) {
+		const copied = clone(source);
+		if (!copied.ok) {
+			disposeAll(localized);
+			return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_COPY_FAILED", `Body item ${itemIndex} could not be copied`, copied.error, itemIndex));
+		}
+		try {
+			testHooks$1?.afterCopy?.(itemIndex, copied.value, source);
+		} catch (cause) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_COPY_FAILED", `Body item ${itemIndex} could not be copied`, cause, itemIndex));
+		}
+		let valid;
+		try {
+			valid = validSolid(copied.value);
+		} catch (cause) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_INVALID", `Body item ${itemIndex} could not be validated as a solid`, cause, itemIndex));
+		}
+		if (!valid.ok) {
+			copied.value[Symbol.dispose]();
+			disposeAll(localized);
+			return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_INVALID", `Body item ${itemIndex} is not a valid solid: ${valid.error}`, void 0, itemIndex));
+		}
+		let local = null;
+		try {
+			testHooks$1?.beforeLocalize?.(itemIndex, valid.value);
+			local = locateShapeInFrame(valid.value, inverse);
+			testHooks$1?.afterLocalized?.(itemIndex, local);
+			localized.push(local);
+		} catch (cause) {
+			local?.[Symbol.dispose]();
+			valid.value[Symbol.dispose]();
+			disposeAll(localized);
+			return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_LOCALIZE_FAILED", `Body item ${itemIndex} could not be moved into the Product-local frame`, cause, itemIndex));
+		}
+		valid.value[Symbol.dispose]();
+	}
+	const exactBody = {
+		kind: "EXACT",
+		solids: asNonEmpty(localized)
+	};
+	try {
+		testHooks$1?.beforeCoincidence?.(exactBody, input.parametricBody);
+	} catch (cause) {
+		disposeAll(exactBody.solids);
+		return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_COMPARISON_FAILED", `authored and parametric Bodies could not be compared`, cause));
+	}
+	if (!bodiesCoincident(exactBody, input.parametricBody)) return ok({
+		kind: "EXACT",
+		body: exactBody
+	});
+	disposeAll(exactBody.solids);
+	return ok({ kind: "PARAMETRIC" });
+}
+function evaluateBody(input) {
+	try {
+		const evaluated = input.evaluator.evaluate(input.element.geometry);
+		if (!evaluated.ok) return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_EVALUATION_FAILED", `authored Body evaluation failed: ${evaluated.error.message}`, evaluated.error));
+		return ok(isSolid(evaluated.value) ? [evaluated.value] : getSolids(evaluated.value));
+	} catch (cause) {
+		return err(productBodyError(input, "FAMILIES_PRODUCT_BODY_EVALUATION_FAILED", `authored Body evaluation threw`, cause));
+	}
+}
+function bodiesCoincident(exact, parametric) {
+	const exactVolume = measureBody(exact);
+	const parametricVolume = measureBody(parametric);
+	if (exactVolume === null || parametricVolume === null || !volumesClose(exactVolume, parametricVolume)) return false;
+	let union = null;
+	try {
+		const fused = fuseAll([...bodySolids(exact), ...bodySolids(parametric)], {
+			optimisation: "sameFace",
+			simplify: true,
+			strategy: "pairwise",
+			trackEvolution: false
+		});
+		if (!fused.ok) return false;
+		union = fused.value;
+		const measured = measureVolume(union);
+		return measured.ok && volumesClose(measured.value, exactVolume) && volumesClose(measured.value, parametricVolume);
+	} catch {
+		return false;
+	} finally {
+		union?.[Symbol.dispose]();
+	}
+}
+function measureBody(body) {
+	let total = 0;
+	try {
+		for (const solid of bodySolids(body)) {
+			const measured = measureVolume(solid);
+			if (!measured.ok || !Number.isFinite(measured.value) || measured.value <= 0) return null;
+			total += measured.value;
+		}
+		return total;
+	} catch {
+		return null;
+	}
+}
+function volumesClose(a, b) {
+	return Math.abs(a - b) <= RELATIVE_VOLUME_TOLERANCE * Math.max(Math.abs(a), Math.abs(b), Number.EPSILON);
+}
+function asNonEmpty(solids) {
+	const first = solids[0];
+	if (first === void 0) throw new Error("Expected a non-empty exact Product Body");
+	return [first, ...solids.slice(1)];
+}
+function disposeAll(solids) {
+	for (const solid of solids) solid[Symbol.dispose]();
+}
+function productBodyError(input, code, detail, cause, itemIndex) {
+	return {
+		...specError(code, `familiesToBim: '${input.element.keyPath}' (${input.category}) ${detail}`, cause),
+		metadata: {
+			keyPath: input.element.keyPath,
+			category: input.category,
+			...itemIndex !== void 0 ? { itemIndex } : {}
+		}
+	};
+}
+//#endregion
 //#region src/familiesAdapter.ts
 /**
 * brepjs-families -> BimModel adapter. Consumes a resolved element tree and
-* feeds each element's PRE-DESUGARED props into the parametric specs — the
-* spec path stays authoritative for IFC (IfcExtrudedAreaSolid + placement),
-* while the IR path serves the viewport and dedup. GlobalIds derive from
-* families key paths (stable under reordering), not insertion order.
+* feeds each element's PRE-DESUGARED props into parametric specs. Civil wall
+* and railing Products additionally compare the evaluated authored Body with
+* that spec Body and retain an exact Body when they diverge. GlobalIds derive
+* from families key paths (stable under reordering), not insertion order.
 *
 * Scope: building Storey containers; civil Site/Bridge/recursive Bridge Part
 * structure and Earthworks Fill bodies; Wall/Slab/Column/Beam/Roof/Stair,
@@ -28890,6 +29028,7 @@ function isPureTranslation(f, eps = 1e-9) {
 * voids are rejected: they cut only the IR/viewport geometry, and exporting
 * the uncut spec body would silently diverge from what the user sees.
 */
+var testHooks = null;
 var SPEC_DEFAULTS = {
 	origin: [
 		0,
@@ -29070,6 +29209,12 @@ function civilProductArchetype(el) {
 	if (definition === void 0 || !definition.roles.includes(el.semantics.role)) return void 0;
 	return definition.archetype;
 }
+function civilProductBodyCategory(el, archetype) {
+	if (el.semantics?.kind !== "product") return null;
+	if (archetype === "wall") return "WALL";
+	if (archetype === "railing") return "RAILING";
+	return null;
+}
 function semanticDimension(el, ...names) {
 	if (el.semantics?.kind !== "product") return void 0;
 	for (const name of names) {
@@ -29775,33 +29920,55 @@ function addEarthworksFillElement(model, el, evaluator, spatialFrame) {
 	if (!added.ok) localized.value[Symbol.dispose]();
 	return added;
 }
+function installCivilProductBody(model, el, localId, category, evaluator, productWorldFrame) {
+	const target = model.getElement(localId);
+	if (target === null || target.category !== category || target.geometry.kind !== "PARAMETRIC") return err(specError("FAMILIES_PRODUCT_BODY_TARGET_INVALID", `familiesToBim: '${el.keyPath}' could not find its parametric ${category} Body after projection`));
+	const selected = selectCivilProductBody({
+		element: el,
+		category,
+		evaluator,
+		productWorldFrame,
+		parametricBody: target.geometry
+	});
+	if (!selected.ok) return selected;
+	if (selected.value.kind === "PARAMETRIC") return ok(void 0);
+	const takeover = model.takeExactProductBody(localId, selected.value.body);
+	if (!takeover.ok) disposeProductBody(selected.value.body);
+	return takeover;
+}
 /**
 * Project a resolved families tree into an eager BimModel. The caller owns
 * the returned model (`using`); families stays domain-neutral — this adapter
 * is where families types meet the IFC vocabulary.
 */
 function familiesToBim(root, options) {
+	const model = new BimModel();
+	let transferred = false;
+	try {
+		const projected = projectFamiliesToBim(root, options, model);
+		transferred = projected.ok;
+		return projected;
+	} catch (cause) {
+		return err(specError("FAMILIES_PROJECTION_FAILED", `familiesToBim: unexpected projection failure at '${root.keyPath}'`, cause));
+	} finally {
+		if (!transferred) model[Symbol.dispose]();
+	}
+}
+function projectFamiliesToBim(root, options, model) {
 	const usesAuthoredCivilHierarchy = hasCivilSpatialIntent(root);
 	if (usesAuthoredCivilHierarchy) {
 		const keyed = requireKeyed(root);
 		if (!keyed.ok) return keyed;
 	}
-	const model = new BimModel();
 	const initResult = model.init(options.project, usesAuthoredCivilHierarchy ? { stableKey: civilSpatialKind(root) !== void 0 ? `${root.keyPath}#project` : root.keyPath } : void 0);
 	if (!initResult.ok) return initResult;
 	const projectId = initResult.value;
 	let buildingId = null;
 	if (!usesAuthoredCivilHierarchy) {
 		const siteResult = model.addSite({ name: options.siteName ?? "Site" });
-		if (!siteResult.ok) {
-			model[Symbol.dispose]();
-			return siteResult;
-		}
+		if (!siteResult.ok) return siteResult;
 		const buildingResult = model.addBuilding({ name: options.buildingName ?? "Building" });
-		if (!buildingResult.ok) {
-			model[Symbol.dispose]();
-			return buildingResult;
-		}
+		if (!buildingResult.ok) return buildingResult;
 		buildingId = buildingResult.value;
 		model.aggregate(projectId, siteResult.value);
 		model.aggregate(siteResult.value, buildingId);
@@ -29831,8 +29998,7 @@ function familiesToBim(root, options) {
 			if (el.geometry.kind !== "Empty") return err(specError("FAMILIES_UNSUPPORTED_CIVIL_SEMANTICS", `familiesToBim: civil spatial element '${el.keyPath}' carries its own geometry — Site/Bridge/Bridge Part export no body, so author it as a child Product (e.g. Earthworks Fill)`));
 			const nodeFrame = civilNodeFrame(el, cumulativeFrameHere);
 			const rotatedFrame = rotatedHere || hasRotatedAxes(el);
-			const input = rotatedFrame ? civilSpatialFrameInput(el, nodeFrame, state.spatialFrame) : civilSpatialInput(el, subtractTranslation(cumulativeTranslationHere, state.projectedSpatialTranslation));
-			const added = addCivilSpatialOccurrence(model, el, civilKind, input);
+			const added = addCivilSpatialOccurrence(model, el, civilKind, rotatedFrame ? civilSpatialFrameInput(el, nodeFrame, state.spatialFrame) : civilSpatialInput(el, subtractTranslation(cumulativeTranslationHere, state.projectedSpatialTranslation)));
 			if (!added.ok) return added;
 			model.aggregate(state.spatialStructureId, added.value);
 			idByKeyPath.set(el.keyPath, added.value);
@@ -29868,6 +30034,15 @@ function familiesToBim(root, options) {
 		} else if (route !== void 0) {
 			const keyed = requireKeyed(el);
 			if (!keyed.ok) return keyed;
+			const productBodyCategory = civilProductBodyCategory(el, effectiveArchetype);
+			const productBodyEvaluator = productBodyCategory === null ? void 0 : options.bodyEvaluator ?? options.proxyEvaluator;
+			if (productBodyCategory !== null && productBodyEvaluator === void 0) return err({
+				...specError("FAMILIES_PRODUCT_BODY_EVALUATOR_REQUIRED", `familiesToBim: civil Product '${el.keyPath}' mapped to ${productBodyCategory} needs bodyEvaluator or proxyEvaluator to verify its authoritative Body`),
+				metadata: {
+					keyPath: el.keyPath,
+					category: productBodyCategory
+				}
+			});
 			const voids = el.props["voids"];
 			if (Array.isArray(voids)) {
 				const openings = el.children.filter((c) => c.type === "Opening").length;
@@ -29887,6 +30062,11 @@ function familiesToBim(root, options) {
 				const opened = addOpenings(model, el, added.value, nextSpatialStructureId, idByKeyPath);
 				if (!opened.ok) return opened;
 			}
+			if (productBodyCategory !== null && productBodyEvaluator !== void 0) {
+				const installed = installCivilProductBody(model, el, added.value, productBodyCategory, productBodyEvaluator, elementBodyFrame(el, cumulativeFrameHere, occurrenceTransformDepthHere));
+				if (!installed.ok) return installed;
+				testHooks?.afterCivilProductBody?.(model, added.value, el);
+			}
 		} else if (el.type === "Opening") return err(specError("FAMILIES_OPENING_OUTSIDE_WALL", `familiesToBim: opening '${el.keyPath}' is not hosted by a Wall — only wall openings are mapped`));
 		else if (el.type !== "Group" && el.geometry.kind !== "Empty") {
 			if (options.proxyEvaluator === void 0) return err(specError("FAMILIES_UNSUPPORTED_TYPE", `familiesToBim: no supported spec mapping for element type '${el.type}' at '${el.keyPath}' (archetype: ${el.archetype ?? "none"}) — declare a recognized archetype or civil Product category/role, add a spec route, or pass proxyEvaluator to export it as an IfcBuildingElementProxy`));
@@ -29930,10 +30110,7 @@ function familiesToBim(root, options) {
 		cumulativeFrame: IDENTITY_FRAME,
 		spatialFrame: IDENTITY_FRAME
 	});
-	if (!walked.ok) {
-		model[Symbol.dispose]();
-		return walked;
-	}
+	if (!walked.ok) return walked;
 	return ok({
 		model,
 		idByKeyPath,

package/dist/familiesAdapter.d.ts

@@ -9,9 +9,16 @@ export interface FamiliesToBimOptions {
     readonly siteName?: string | undefined;
     readonly buildingName?: string | undefined;
     /**
-     * Materializes exact evaluated Product Bodies for supported typed routes
-     * such as Earthworks Fill. Supplying this option does not opt unsupported
-     * products into the proxy fallback.
+     * Materializes exact evaluated Product Bodies for supported typed routes.
+     * Earthworks Fill always retains that Body. Civil-semantic walls and railings
+     * require this evaluator (or `proxyEvaluator`) before projection: absence
+     * returns FAMILIES_PRODUCT_BODY_EVALUATOR_REQUIRED with the element path and
+     * mapped category, and does not fall back to a parametric envelope.
+     * Conventional archetype walls and railings stay specification-authoritative
+     * and do not require an evaluator. When present, civil walls and railings
+     * compare the evaluated Body with their post-opening parametric Body and
+     * retain the authored Body when they differ. Supplying this option does not
+     * opt unsupported products into the proxy fallback.
      */
     readonly bodyEvaluator?: csg.Evaluator | undefined;
     /**
@@ -44,6 +51,11 @@ export interface FamiliesBimResult {
      */
     readonly proxied: readonly ProxiedElement[];
 }
+export interface FamiliesAdapterTestHooks {
+    readonly afterCivilProductBody?: ((model: BimModel, localId: LocalId, element: ResolvedElement) => void) | undefined;
+}
+/** Package-internal deterministic failure seam for projection ownership tests. */
+export declare function setFamiliesAdapterTestHooksForTesting(hooks: FamiliesAdapterTestHooks | null): void;
 /**
  * Project a resolved families tree into an eager BimModel. The caller owns
  * the returned model (`using`); families stays domain-neutral — this adapter

package/dist/familiesProductBody.d.ts

@@ -0,0 +1,40 @@
+import { Result, Solid, ValidSolid, csg } from 'brepjs';
+import { ResolvedElement } from 'brepjs-families';
+import { BimError } from './errors/bimError.js';
+import { ProductBody } from './types/productBody.js';
+import { Frame } from './placementFrame.js';
+type ExactProductBody = Extract<ProductBody, {
+    readonly kind: 'EXACT';
+}>;
+type ParametricProductBody = Extract<ProductBody, {
+    readonly kind: 'PARAMETRIC';
+}>;
+export type CivilProductBodySelection = {
+    readonly kind: 'PARAMETRIC';
+} | {
+    readonly kind: 'EXACT';
+    readonly body: ExactProductBody;
+};
+export interface CivilProductBodyInput {
+    readonly element: ResolvedElement;
+    readonly category: 'WALL' | 'RAILING';
+    readonly evaluator: csg.Evaluator;
+    readonly productWorldFrame: Frame;
+    /** Borrowed model-owned comparison candidate after registered openings. */
+    readonly parametricBody: ParametricProductBody;
+}
+export interface FamiliesProductBodyTestHooks {
+    readonly afterCopy?: ((itemIndex: number, solid: Solid, source: Solid) => void) | undefined;
+    readonly beforeLocalize?: ((itemIndex: number, solid: ValidSolid) => void) | undefined;
+    readonly afterLocalized?: ((itemIndex: number, solid: ValidSolid) => void) | undefined;
+    readonly beforeCoincidence?: ((exact: ExactProductBody, parametric: ParametricProductBody) => void) | undefined;
+}
+/** Package-internal deterministic failure seams for exact ownership tests. */
+export declare function setFamiliesProductBodyTestHooksForTesting(hooks: FamiliesProductBodyTestHooks | null): void;
+/**
+ * Evaluates a civil Product Body, clones and localizes every borrowed source,
+ * then proves whether the registered-opening parametric Body is coincident.
+ * An EXACT result is caller-owned until takeExactProductBody() succeeds.
+ */
+export declare function selectCivilProductBody(input: CivilProductBodyInput): Result<CivilProductBodySelection, BimError>;
+export {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "brepjs-bim",
-  "version": "0.24.0",
+  "version": "0.24.1",
   "description": "BIM layer for brepjs — IFC4-aligned parametric building elements",
   "keywords": [
     "bim",