@pascal-app/core 1.0.4 → 1.0.6

package/dist/agent-operations/add-level.js

@@ -1,6 +1,11 @@
 import { refuse } from '../agent-tools/refusal.js';
+import { buildLevelBelowChanges } from '../building/level-insertion.js';
+import { foundationReadingOfLevel } from '../lib/foundation-construction.js';
+import { foundationWallRule, levelHoldsFoundationWalls } from '../lib/foundation-wall.js';
 import { BuildingNode, LevelNode, SiteNode } from '../schema/index.js';
 import { DEFAULT_LEVEL_HEIGHT } from '../services/level-height.js';
+import { storeyInsertIndex } from '../services/roof-level.js';
+import { applySceneChanges } from './apply-changes.js';
 import { levelsOf } from './scene-queries.js';
 /** The building named, else the one holding the viewed floor, else the scene's only building. */
 export function targetBuilding(nodes, buildingId, context) {
@@ -23,7 +28,7 @@ export function targetBuilding(nodes, buildingId, context) {
     if (buildings.length === 1)
         return buildings[0];
     if (!buildings.length)
-        refuse('no_building', 'The scene has no building to add a level to.');
+        refuse('no_building', 'The scene has no building.');
     return refuse('building_required', `The scene has ${buildings.length} buildings; say which: ${buildings.map((building) => building.id).join(', ')}.`, { buildingIds: buildings.map((building) => building.id) });
 }
 /**
@@ -62,7 +67,10 @@ function freshStart(nodes, input) {
         },
     };
 }
-/** `add_level`: an empty level over the building's highest, or under its lowest — the editor's +. */
+/**
+ * `add_level`: an empty level over the building's top storey, under its roof level (which moves up
+ * one), or under its lowest level — the editor's +.
+ */
 export const addLevel = (nodes, input, context) => {
     if (!(input.buildingId || Object.values(nodes).some((node) => node.type === 'building')))
         return freshStart(nodes, input);
@@ -71,14 +79,40 @@ export const addLevel = (nodes, input, context) => {
         .filter((level) => level.parentId === building.id || building.children.includes(level.id))
         .map((level) => level.level);
     const below = input.position === 'below';
-    const floorIndex = !floors.length ? 0 : below ? Math.min(...floors) - 1 : Math.max(...floors) + 1;
-    const level = LevelNode.parse({
-        parentId: building.id,
-        level: floorIndex,
-        height: input.height ?? DEFAULT_LEVEL_HEIGHT,
-        children: [],
-        ...(input.name ? { name: input.name } : {}),
-    });
+    const above = storeyInsertIndex(nodes, building.id);
+    // A basement goes under the lowest floor and leaves every floor where
+    // it stands, as the editor's "+" below does: the ground floor keeps its grade.
+    const stacked = below && floors.length
+        ? buildLevelBelowChanges({
+            nodes,
+            buildingId: building.id,
+            height: input.height ?? DEFAULT_LEVEL_HEIGHT,
+        })
+        : null;
+    const floorIndex = stacked
+        ? stacked.newLevel.level
+        : below && floors.length
+            ? Math.min(...floors) - 1
+            : above.floorIndex;
+    const shift = below ? [] : above.shift;
+    const level = stacked?.newLevel ??
+        LevelNode.parse({
+            parentId: building.id,
+            level: floorIndex,
+            height: input.height ?? DEFAULT_LEVEL_HEIGHT,
+            children: [],
+            ...(input.name ? { name: input.name } : {}),
+        });
+    if (stacked && input.name)
+        level.name = input.name;
+    const changes = {
+        create: [{ node: level, parentId: building.id }],
+        update: stacked ? stacked.update : shift,
+    };
+    const after = applySceneChanges(nodes, changes);
+    const foundation = levelHoldsFoundationWalls(after, level.id)
+        ? foundationWallRule(foundationReadingOfLevel(after, level.id))
+        : null;
     return {
         result: {
             ok: true,
@@ -87,8 +121,10 @@ export const addLevel = (nodes, input, context) => {
             floorIndex,
             ...(level.name ? { name: level.name } : {}),
             height: level.height,
-            message: `Added ${level.name ?? `level ${floorIndex}`} ${below ? 'below' : 'above'} the existing levels of ${building.name ?? building.id}.`,
+            ...(foundation ? { wallConstruction: foundation } : {}),
+            ...(shift.length ? { shiftedLevelIds: shift.map(({ id }) => id) } : {}),
+            message: `Added ${level.name ?? `level ${floorIndex}`} ${below ? (stacked ? 'below the existing levels, every floor keeping its place' : 'below the existing levels') : shift.length ? 'on top of the storeys, under the roof level' : 'above the existing levels'} of ${building.name ?? building.id}.${foundation ? ` It is below grade: ${foundation}; a wall given a thickness keeps it.` : ''}`,
         },
-        changes: { create: [{ node: level, parentId: building.id }] },
+        changes,
     };
 };

package/dist/agent-operations/add-object.d.ts

@@ -1,6 +1,6 @@
 import { type ScriptedNode } from '../lib/geometry-script-node.js';
-import { type AnyNode, type CompiledGeometryScript, type GeometryScriptLanguage, type GeometryScriptParamValue } from '../schema/index.js';
-import type { AgentOperation } from './types.js';
+import { type AnyNode, type CompiledGeometryScript, type GeometryScriptLanguage, type GeometryScriptParamValue, type WallFace } from '../schema/index.js';
+import type { AgentOperation, BatchedObject } from './types.js';
 export type AddObjectInput = {
     /** Absent for a params-only edit: the host compiled the object's stored script. */
     code?: string;
@@ -42,6 +42,22 @@ export declare function requireAddObjectReason(input: {
     reason?: string;
 }): void;
 export declare const addObject: AgentOperation<AddObjectInput>;
+/**
+ * `add_object` inside run_batch: the batch's host built the module before the batch ran (a compile
+ * is async, the operations are not), and the call places what was built, with the receipt a lone
+ * add_object gives.
+ */
+export declare const addObjectInBatch: AgentOperation<Omit<AddObjectInput, 'compiled'>>;
+/**
+ * Builds the module of every add_object call of a batch with the host's own compile, a few at a
+ * time, by call index. A call that fails (a reason missing, a script that does not run, a host
+ * that refuses) is kept with its own message, so the batch reports it and the others stand. A call
+ * whose input does not parse is left out: the batch refuses it with the contract's message.
+ */
+export declare function buildBatchObjects(calls: readonly {
+    tool?: unknown;
+    input?: unknown;
+}[], build: (input: Omit<AddObjectInput, 'compiled'>) => Promise<CompiledGeometryScript>): Promise<Record<number, BatchedObject>>;
 export type RescriptOpeningInput = {
     description?: string;
     category?: string;
@@ -91,24 +107,37 @@ export declare function refuseParamsWithoutScript(nodes: Record<string, AnyNode>
  * fields would no longer match the geometry. Restating the current value passes.
  */
 export declare function scriptedFieldRefusal(node: AnyNode, data: Record<string, unknown>): string | null;
+/** What `get_source` reads: a scripted node, a room's floor script, or a wall face's script. */
+export type ScriptReadable = Pick<ScriptedNode, 'name' | 'source'> & {
+    id: string;
+    type: ScriptedNode['type'] | 'zone' | 'wall';
+    /** The wall face whose script it is. */
+    face?: WallFace;
+};
+/**
+ * The script `get_source` reads at `nodeId`: an authored object's, a room's floor script by its
+ * zone id, or a wall's face script (`face`, which a wall with one scripted face may leave out).
+ */
+export declare function readableScript(nodes: Record<string, AnyNode>, nodeId: string, face?: WallFace): ScriptReadable;
 /** What `get_source` answers once the host has the module's text. */
-export declare function readSourceResult(node: ScriptedNode, code: string): {
-    nodeId: `item_${string}` | `column_${string}` | `door_${string}` | `window_${string}`;
-    type: "column" | "door" | "window" | "item";
+export declare function readSourceResult(node: ScriptReadable, code: string): {
+    nodeId: string;
+    type: "column" | "door" | "item" | "wall" | "window" | "zone";
+    face?: WallFace | undefined;
     name: string | undefined;
-    language: "three" | "bpy";
+    language: "bpy" | "three";
     code: string;
     params: {
-        value: string | number | boolean;
         id: string;
-        kind: "string" | "number" | "boolean";
-        default: string | number | boolean;
         label?: string | undefined;
+        kind: "boolean" | "number" | "string";
+        default: string | number | boolean;
         min?: number | undefined;
         max?: number | undefined;
         step?: number | undefined;
         unit?: string | undefined;
         options?: string[] | undefined;
+        value: string | number | boolean;
     }[];
 };
 //# sourceMappingURL=add-object.d.ts.map

package/dist/agent-operations/add-object.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"add-object.d.ts","sourceRoot":"","sources":["../../src/agent-operations/add-object.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,YAAY,EAIlB,MAAM,6BAA6B,CAAA;AAEpC,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAE3B,KAAK,wBAAwB,EAG9B,MAAM,WAAW,CAAA;AAElB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAI7C,MAAM,MAAM,cAAc,GAAG;IAC3B,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAA;IACjD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;IACvB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,wFAAwF;IACxF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,4FAA4F;IAC5F,QAAQ,EAAE,sBAAsB,CAAA;CACjC,CAAA;AA0CD;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAa1C,CAAA;AA0FD;;;;;;;GAOG;AACH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,QAMjF;AAED,eAAO,MAAM,SAAS,EAAE,cAAc,CAAC,cAAc,CAkGpD,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,8EAA8E;IAC9E,QAAQ,EAAE,sBAAsB,CAAA;CACjC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,cAAc,CAAC,oBAAoB,CAsDhE,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAAG,SAAS,GAC3D,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAAG,SAAS,CAEtD;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,sBAAsB,CAAA;CAAE,GAC1D,sBAAsB,CAGxB;AAED,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAU3F;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D,IAAI,CAKN;AASD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,GAAG,IAAI,CAUhG;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM;;;;;;;;;;;;;;;;;;EAYhE"}
+{"version":3,"file":"add-object.d.ts","sourceRoot":"","sources":["../../src/agent-operations/add-object.ts"],"names":[],"mappings":"AAKA,OAAO,EAIL,KAAK,YAAY,EAIlB,MAAM,6BAA6B,CAAA;AAGpC,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAE3B,KAAK,wBAAwB,EAI7B,KAAK,QAAQ,EACd,MAAM,WAAW,CAAA;AAIlB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAc,MAAM,SAAS,CAAA;AAIxE,MAAM,MAAM,cAAc,GAAG;IAC3B,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAA;IACjD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;IACvB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,wFAAwF;IACxF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,4FAA4F;IAC5F,QAAQ,EAAE,sBAAsB,CAAA;CACjC,CAAA;AA0CD;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAa1C,CAAA;AA0ID;;;;;;;GAOG;AACH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,QAMjF;AAED,eAAO,MAAM,SAAS,EAAE,cAAc,CAAC,cAAc,CAgHpD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,CAkB7E,CAAA;AAKD;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,KAAK,EAAE,SAAS;IAAE,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,EAAE,EACrD,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,KAAK,OAAO,CAAC,sBAAsB,CAAC,GAClF,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CA2CxC;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,8EAA8E;IAC9E,QAAQ,EAAE,sBAAsB,CAAA;CACjC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,cAAc,CAAC,oBAAoB,CA2DhE,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAAG,SAAS,GAC3D,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAAG,SAAS,CAEtD;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,sBAAsB,CAAA;CAAE,GAC1D,sBAAsB,CAGxB;AAED,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAU3F;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D,IAAI,CAKN;AASD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,GAAG,IAAI,CAUhG;AAED,gGAAgG;AAChG,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG;IACnE,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,MAAM,CAAA;IAC5C,wCAAwC;IACxC,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB,CAAA;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,MAAM,EAAE,MAAM,EACd,IAAI,CAAC,EAAE,QAAQ,GACd,cAAc,CAgChB;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM;;;;;;;;;;;;;;;;;;;EAalE"}

package/dist/agent-operations/add-object.js

@@ -1,9 +1,15 @@
-import { refuse } from '../agent-tools/refusal.js';
+import { z } from 'zod';
+import { addObjectTool } from '../agent-tools/add-object.js';
+import { isAgentRefusal, refuse } from '../agent-tools/refusal.js';
+import { CATALOG_SOURCE } from '../agent-tools/sources.js';
 import { artifactUrl } from '../lib/artifact-store.js';
-import { isScriptedNode, matchScriptSlotsToLibrary, scriptedSize, scriptInteractive, scriptSource, } from '../lib/geometry-script-node.js';
+import { isScriptedNode, matchScriptSlotsToLibrary, requireMeasured, scriptedSize, scriptInteractive, scriptSource, } from '../lib/geometry-script-node.js';
 import { geometryRestingHeight, resettledPosition } from '../lib/geometry-surfaces.js';
+import { area, intersection, union } from '../lib/polygon-boolean.js';
 import { generateId, ItemNode, } from '../schema/index.js';
+import { achievedChanges } from './achieved.js';
 import { targetLevel } from './level-target.js';
+import { roofLevelRefusal } from './roof-writes.js';
 const ATTACH = {
     floor: undefined,
     wall: 'wall',
@@ -83,12 +89,42 @@ function wallSized(compiled) {
 }
 /** A plain box: one cuboid, as a wall is. A bookcase or a screen has shelves or holes. */
 const PLAIN_BOX = 12;
+/** A plate with at least this share of its footprint over a floor lies on that floor. */
+const FLOOR_SHARE = 0.5;
 /**
- * A floor object that is a plain box with a wall's size, or a floor plate, is refused: Pascal builds
- * those, and rooms, openings and facades only work with its own. Production saw whole houses of
- * plain custom solids, nothing editable as walls, rooms or doors.
+ * The share of a plate's footprint that lies over a floor of its level: the slabs the level owns (a
+ * room's floor plate, a drawn slab, a deck) with their holes left out. The footprint is the bounds
+ * the compile measured, turned and placed as the object will be.
  */
-function refuseWallOrSlabShape(compiled, input) {
+function shareOverFloor(nodes, levelId, compiled, input) {
+    const slabs = Object.values(nodes).filter((node) => node.type === 'slab' && node.parentId === levelId);
+    const { min, max } = compiled.manifest.bounds;
+    const footprintArea = (max[0] - min[0]) * (max[2] - min[2]);
+    if (slabs.length === 0 || !(footprintArea > 0))
+        return 0;
+    const [px = 0, , pz = 0] = input.position ?? [];
+    const turn = ((input.rotation ?? 0) * Math.PI) / 180;
+    const [cos, sin] = [Math.cos(turn), Math.sin(turn)];
+    const corners = [
+        [min[0], min[2]],
+        [max[0], min[2]],
+        [max[0], max[2]],
+        [min[0], max[2]],
+    ];
+    const footprint = corners.map(([u, v]) => [
+        px + u * cos + v * sin,
+        pz - u * sin + v * cos,
+    ]);
+    const floor = union(slabs.map((slab) => ({ outer: slab.polygon, holes: slab.holes ?? [] })));
+    return area(intersection(footprint, floor)) / footprintArea;
+}
+/**
+ * A floor object that is a plain box with a wall's size, or a floor plate with no floor under it, is
+ * refused: Pascal builds those, and rooms, openings and facades only work with its own. Production
+ * saw whole houses of plain custom solids, nothing editable as walls, rooms or doors. A flat object
+ * over a floor the level already has is furniture, a rug: the scene decides, not its name.
+ */
+function refuseWallOrSlabShape(nodes, levelId, compiled, input) {
     const [width, height, depth] = scriptedSize(compiled.manifest);
     const long = Math.max(width, depth);
     const short = Math.min(width, depth);
@@ -96,7 +132,10 @@ function refuseWallOrSlabShape(compiled, input) {
     if (wallSized(compiled) && compiled.manifest.triangles <= PLAIN_BOX)
         refuse('use_walls', `"${label}" (${long.toFixed(2)} × ${short.toFixed(2)} m, ${height.toFixed(2)} m high) is a plain box with a wall's size: build it with add_wall so rooms, openings and facades work with it.`, { label });
     const base = input.position?.[1] ?? 0;
-    if (height <= 0.35 && short >= 2 && base <= 0.05) {
+    if (height <= 0.35 &&
+        short >= 2 &&
+        base <= 0.05 &&
+        shareOverFloor(nodes, levelId, compiled, input) < FLOOR_SHARE) {
         // Its extent along x and z as it stands, so the numbers match the outline the agent drew.
         const turn = ((input.rotation ?? 0) * Math.PI) / 180;
         const [c, s] = [Math.abs(Math.cos(turn)), Math.abs(Math.sin(turn))];
@@ -142,10 +181,11 @@ function summary(node, compiled, orphanedSlots) {
  */
 export function requireAddObjectReason(input) {
     if (!input.nodeId && !input.reason?.trim())
-        refuse('reason_required', 'Say what this object stands in for (reason): why no Pascal tool or catalog item builds it. The scene check lists every authored object with its reason.');
+        refuse('reason_required', 'Give its design intent (reason): why the authored shape, size or style suits the request. The scene check lists every authored object with its reason; no catalog-exhaustion proof is required.');
 }
 export const addObject = (nodes, input, context) => {
     const { compiled } = input;
+    requireMeasured(compiled, { label: input.name, nodeId: input.nodeId, tool: 'add_object' });
     const rotation = input.rotation === undefined ? undefined : [0, (input.rotation * Math.PI) / 180, 0];
     if (input.nodeId) {
         if (nodes[input.nodeId]?.type === 'column')
@@ -200,8 +240,17 @@ export const addObject = (nodes, input, context) => {
     if (!hosts.includes(parent.type)) {
         refuse('wrong_host', `A ${compiled.mount} object goes on a ${hosts.join(' or ')}, not on a ${parent.type}. Pass parentId of a ${hosts[0]}, or change \`mount\`.`, { mount: compiled.mount, parentType: parent.type });
     }
-    if (compiled.mount === 'floor' && parent.type === 'level')
-        refuseWallOrSlabShape(compiled, input);
+    if (compiled.mount === 'floor' && parent.type === 'level') {
+        // Given no host while the roof level is in view (a roof just placed selects it), the object
+        // belongs on the storey it covers; one named onto the roof level goes up with the roof (a
+        // chimney cap, a gable louvre).
+        const onRoofLevel = input.parentId
+            ? null
+            : roofLevelRefusal(nodes, parent.id, `"${input.name ?? 'the object'}"`);
+        if (onRoofLevel)
+            throw onRoofLevel;
+        refuseWallOrSlabShape(nodes, parent.id, compiled, input);
+    }
     requireAddObjectReason(input);
     const asset = scriptAsset(compiled, input, undefined);
     const node = ItemNode.parse({
@@ -212,7 +261,11 @@ export const addObject = (nodes, input, context) => {
         parentId: parent.id,
         ...(parent.type === 'wall' ? { wallId: parent.id, side: input.side ?? 'front' } : {}),
         position: input.position ?? [0, 0, 0],
-        rotation: rotation ?? [0, 0, 0],
+        rotation: rotation ?? [
+            0,
+            compiled.mount === 'wall-side' && input.side === 'back' ? Math.PI : 0,
+            0,
+        ],
         source: scriptSource(compiled, itemSourceMeta(input)),
         slots: matchScriptSlotsToLibrary(compiled.manifest),
         asset,
@@ -231,6 +284,78 @@ export const addObject = (nodes, input, context) => {
         changes: { create: [{ node, parentId: parent.id }] },
     };
 };
+/**
+ * `add_object` inside run_batch: the batch's host built the module before the batch ran (a compile
+ * is async, the operations are not), and the call places what was built, with the receipt a lone
+ * add_object gives.
+ */
+export const addObjectInBatch = (nodes, input, context) => {
+    const built = context.batchCall === undefined ? undefined : context.batchObjects?.[context.batchCall];
+    if (!built)
+        refuse('object_not_built', "This host did not build the batch's add_object calls: call add_object on its own.");
+    if ('failure' in built)
+        refuse(built.failure.code, built.failure.message);
+    const outcome = addObject(nodes, { ...input, compiled: built.compiled }, context);
+    return {
+        ...outcome,
+        result: { ...outcome.result, achieved: achievedChanges(nodes, outcome.changes ?? {}) },
+    };
+};
+/** How many modules of one batch a host compiles at once. */
+const BATCH_COMPILES_AT_ONCE = 3;
+/**
+ * Builds the module of every add_object call of a batch with the host's own compile, a few at a
+ * time, by call index. A call that fails (a reason missing, a script that does not run, a host
+ * that refuses) is kept with its own message, so the batch reports it and the others stand. A call
+ * whose input does not parse is left out: the batch refuses it with the contract's message.
+ */
+export async function buildBatchObjects(calls, build) {
+    const parse = z.object(addObjectTool.input);
+    const built = {};
+    const edited = new Set();
+    const jobs = calls.flatMap((call, index) => {
+        if (call?.tool !== addObjectTool.name)
+            return [];
+        const parsed = parse.safeParse(call.input ?? {});
+        if (!parsed.success)
+            return [];
+        const input = parsed.data;
+        if (input.nodeId) {
+            if (edited.has(input.nodeId)) {
+                built[index] = {
+                    failure: {
+                        code: 'object_edit_conflict',
+                        message: `${input.nodeId} is edited more than once in this batch: combine its changes in one add_object call, or edit it in separate calls. Modules are compiled before the batch runs.`,
+                    },
+                };
+                return [];
+            }
+            edited.add(input.nodeId);
+        }
+        return [{ index, input }];
+    });
+    let next = 0;
+    const worker = async () => {
+        for (let job = jobs[next++]; job; job = jobs[next++]) {
+            try {
+                requireAddObjectReason(job.input);
+                built[job.index] = { compiled: await build(job.input) };
+            }
+            catch (error) {
+                built[job.index] = {
+                    failure: isAgentRefusal(error)
+                        ? { code: error.code, message: error.message }
+                        : {
+                            code: 'script_failed',
+                            message: `${error instanceof Error ? error.message : String(error)} ${CATALOG_SOURCE}`,
+                        },
+                };
+            }
+        }
+    };
+    await Promise.all(Array.from({ length: Math.min(BATCH_COMPILES_AT_ONCE, jobs.length) }, worker));
+    return built;
+}
 /**
  * `add_window` / `add_door` with a nodeId: a window or door built from (or
  * given) a script, rebuilt from what the host compiled. Its size is what the
@@ -253,6 +378,11 @@ export const rescriptOpening = (nodes, input) => {
         refuse('wrong_mount', `A ${previous.type}'s script uses mount 'wall'.`, {
             mount: compiled.mount,
         });
+    requireMeasured(compiled, {
+        label: input.name ?? previous.name,
+        nodeId: input.nodeId,
+        tool: `add_${previous.type}`,
+    });
     const [width, height] = scriptedSize(compiled.manifest);
     // Given a position, that is where it goes; otherwise its bottom edge stays put.
     const [x, y, z] = previous.position;
@@ -345,11 +475,42 @@ export function scriptedFieldRefusal(node, data) {
     const tool = node.type === 'item' ? 'add_object' : `add_${node.type}`;
     return `${node.id} is built from a script, so ${fields.join(', ')} ${fields.length === 1 ? 'comes' : 'come'} from it: rebuild it with ${tool} with nodeId and params (get_source shows them); nothing was changed.`;
 }
+/**
+ * The script `get_source` reads at `nodeId`: an authored object's, a room's floor script by its
+ * zone id, or a wall's face script (`face`, which a wall with one scripted face may leave out).
+ */
+export function readableScript(nodes, nodeId, face) {
+    const node = nodes[nodeId];
+    if (node?.type === 'wall') {
+        const faces = ['a', 'b'].filter((side) => node.finishScripts?.[side]);
+        const read = face ?? (faces.length === 1 ? faces[0] : undefined);
+        if (!faces.length)
+            refuse('not_authored', `${node.name || nodeId} has no face script.`, { id: nodeId });
+        if (!read)
+            refuse('face_required', `Both faces of ${node.name || nodeId} have a script: name the face, a or b.`, {
+                id: nodeId,
+                faces,
+            });
+        const source = node.finishScripts?.[read];
+        if (!source)
+            refuse('not_authored', `Face ${read} of ${node.name || nodeId} has no script; face ${faces[0]} has.`, {
+                id: nodeId,
+                faces,
+            });
+        return { id: node.id, type: 'wall', name: node.name, source, face: read };
+    }
+    if (node?.type !== 'zone')
+        return authoredObject(nodes, nodeId);
+    if (!node.floor?.script)
+        refuse('not_authored', `${node.name || nodeId} has no floor script.`, { id: nodeId });
+    return { id: node.id, type: 'zone', name: node.name, source: node.floor.script };
+}
 /** What `get_source` answers once the host has the module's text. */
 export function readSourceResult(node, code) {
     return {
         nodeId: node.id,
         type: node.type,
+        ...(node.face ? { face: node.face } : {}),
         name: node.name,
         language: node.source.language,
         code,

package/dist/agent-operations/add-wall.d.ts

@@ -1,5 +1,5 @@
 import { type LevelTargetInput } from './level-target.js';
-import type { AgentOperation, SceneNodes } from './types.js';
+import type { AgentOperation } from './types.js';
 type AddWallInput = LevelTargetInput & {
     start: number[];
     end: number[];
@@ -7,8 +7,6 @@ type AddWallInput = LevelTargetInput & {
     height?: number;
     curveOffset?: number;
 };
-/** A level declared as the roof holds the roof, not rooms: walls and stairs stay off it. */
-export declare function refuseRoofLevel(nodes: SceneNodes, levelId: string, what: string): void;
 /** `add_wall`: one wall between two points, named as the editor names walls. */
 export declare const addWall: AgentOperation<AddWallInput>;
 export {};

package/dist/agent-operations/add-wall.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"add-wall.d.ts","sourceRoot":"","sources":["../../src/agent-operations/add-wall.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,gBAAgB,EAAe,MAAM,gBAAgB,CAAA;AAEnE,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAGzD,KAAK,YAAY,GAAG,gBAAgB,GAAG;IACrC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,GAAG,EAAE,MAAM,EAAE,CAAA;IACb,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAQ/E;AAED,gFAAgF;AAChF,eAAO,MAAM,OAAO,EAAE,cAAc,CAAC,YAAY,CAqChD,CAAA"}
+{"version":3,"file":"add-wall.d.ts","sourceRoot":"","sources":["../../src/agent-operations/add-wall.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,KAAK,gBAAgB,EAAe,MAAM,gBAAgB,CAAA;AAEnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAG7C,KAAK,YAAY,GAAG,gBAAgB,GAAG;IACrC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,GAAG,EAAE,MAAM,EAAE,CAAA;IACb,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,gFAAgF;AAChF,eAAO,MAAM,OAAO,EAAE,cAAc,CAAC,YAAY,CAiFhD,CAAA"}

package/dist/agent-operations/add-wall.js

@@ -1,15 +1,14 @@
 import { refuse } from '../agent-tools/refusal.js';
+import { levelFootprintLoops } from '../lib/building-footprint.js';
+import { foundationReadingOfLevel } from '../lib/foundation-construction.js';
+import { foundationWallRule, levelHoldsFoundationWalls, withFoundationConstruction, } from '../lib/foundation-wall.js';
+import { lotOverhang } from '../lib/site-placement.js';
 import { WallNode } from '../schema/index.js';
 import { normalizeWallCurveOffset } from '../systems/wall/wall-curve.js';
 import { WALL_MIN_LENGTH } from '../systems/wall/wall-topology.js';
+import { applySceneChanges } from './apply-changes.js';
 import { targetLevel } from './level-target.js';
-import { levelRole } from './scene-queries.js';
-/** A level declared as the roof holds the roof, not rooms: walls and stairs stay off it. */
-export function refuseRoofLevel(nodes, levelId, what) {
-    const level = nodes[levelId];
-    if (level && levelRole(nodes, level).metadataRole === 'roof')
-        refuse('roof_level', `${levelId} is a roof level, not a storey: ${what} belongs on an occupied storey. Add one with add_level if the building needs it.`, { levelId });
-}
+import { refuseRoofLevel } from './roof-writes.js';
 /** `add_wall`: one wall between two points, named as the editor names walls. */
 export const addWall = (nodes, input, context) => {
     const level = targetLevel(nodes, input, context);
@@ -23,7 +22,7 @@ export const addWall = (nodes, input, context) => {
         ? normalizeWallCurveOffset({ start, end }, input.curveOffset)
         : 0;
     const walls = Object.values(nodes).filter((node) => node.type === 'wall').length;
-    const wall = WallNode.parse({
+    const drawn = WallNode.parse({
         name: `Wall ${walls + 1}`,
         parentId: level.id,
         start,
@@ -32,6 +31,16 @@ export const addWall = (nodes, input, context) => {
         ...(input.height === undefined ? {} : { height: input.height }),
         ...(curveOffset ? { curveOffset } : {}),
     });
+    const [wall] = withFoundationConstruction(nodes, level.id, [
+        ...Object.values(nodes).filter((node) => node.type === 'wall' && node.parentId === level.id),
+        drawn,
+    ], [drawn], { thickness: input.thickness });
+    const reading = foundationReadingOfLevel(nodes, level.id);
+    const foundation = wall.assembly !== undefined;
+    const partition = !foundation && input.thickness === undefined && levelHoldsFoundationWalls(nodes, level.id);
+    // the wall's mitred band, curve and all: what crosses the lot line, not only its centreline
+    const after = applySceneChanges(nodes, { create: [{ node: wall, parentId: level.id }] });
+    const site = lotOverhang(after, level.id, levelFootprintLoops(after, after[level.id], null, new Set([wall.id])));
     return {
         result: {
             ok: true,
@@ -40,7 +49,24 @@ export const addWall = (nodes, input, context) => {
             levelId: level.id,
             length: Math.round(length * 1000) / 1000,
             ...(curveOffset ? { curveOffset } : {}),
-            message: `Added wall "${wall.name}" on ${level.name ?? level.id}`,
+            ...(site ? { site } : {}),
+            ...(foundation
+                ? {
+                    construction: {
+                        assembly: reading.construction.description,
+                        thickness: wall.thickness,
+                        region: reading.region,
+                        basis: reading.basis,
+                    },
+                }
+                : {}),
+            message: `Added wall "${wall.name}" on ${level.name ?? level.id}${foundation
+                ? `, a foundation wall against the ground (${reading.construction.description}), ${(wall.thickness ?? 0).toFixed(3)} m thick; ${reading.basis}; a wall given a thickness keeps it`
+                : partition
+                    ? `, an ordinary wall: a partition inside the outline of this level's walls; ${foundationWallRule(reading)}`
+                    : ''}${site
+                ? `; it reaches ${site.overhangM} m past the lot line (${site.sides.join(', ')}): the house belongs inside the buildable area (get_site, place_building)`
+                : ''}`,
         },
         changes: { create: [{ node: wall, parentId: level.id }] },
     };

package/dist/agent-operations/apply-changes.d.ts

@@ -1,5 +1,11 @@
 import type { AnyNode } from '../schema/index.js';
-import type { SceneChanges, SceneNodes } from './types.js';
+import type { NodeWrite, SceneChanges, SceneNodes } from './types.js';
+/**
+ * The scene after a write's operations in their order, without a store: each create attached to its
+ * parent, each reparent moved between both parents' `children`, each delete taking everything under
+ * it. A create is written as given; parse it first for its schema's defaults.
+ */
+export declare function applySceneWrites(nodes: SceneNodes, writes: readonly NodeWrite[]): Record<string, AnyNode>;
 /**
  * The scene after an operation's changes, without a store: for checks and previews. Same order as
  * the store's applyNodeChanges — updates, creates, then deletes — so an opening moved off a wall

package/dist/agent-operations/apply-changes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"apply-changes.d.ts","sourceRoot":"","sources":["../../src/agent-operations/apply-changes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAA6B,MAAM,WAAW,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAKvD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,YAAY,GAAG,SAAS,GAChC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkCzB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,GAC5B,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAwC7E"}
+{"version":3,"file":"apply-changes.d.ts","sourceRoot":"","sources":["../../src/agent-operations/apply-changes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAA6B,MAAM,WAAW,CAAA;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAelE;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,SAAS,EAAE,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoCzB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,YAAY,GAAG,SAAS,GAChC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,GAC5B,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAyC7E"}