@pascal-app/core 1.0.3 → 1.0.5

package/dist/agent-operations/types.d.ts

@@ -0,0 +1,118 @@
+import type { ZodType } from 'zod';
+import type { DesignBrief } from '../agent-tools/design-brief.js';
+import type { AnyNode, AssetInput, Collection, CompiledGeometryScript, SceneMaterial, SceneMaterialId } from '../schema/index.js';
+import type { AssetViewFacts } from './asset-views.js';
+import type { SessionKeep, SessionRecord } from './scene-checkpoint.js';
+export type SceneNodes = Readonly<Record<string, AnyNode>>;
+/**
+ * What a surface knows beyond the scene: the chat knows the floor a person is viewing; a host
+ * passes the agent's session so far (the moments it named, what it made), which verify_scene
+ * compares the scene with. A host with an item library passes it as `catalog` (the chat and the
+ * hosted MCP: the published library; the standalone MCP: its built-in list), resolved before the
+ * call, as the operations are sync. A host that can store scene materials with the nodes that use
+ * them passes the scene's `materials`: paint then checks scene refs against them and keeps a native
+ * material as one.
+ */
+export type AgentContext = {
+    activeLevelId: string | null;
+    /**
+     * The schema the host checks a stored node of a kind by, for each kind it checks: a host that
+     * validates its plugins' nodes at its own write boundary lends it, so verify_scene reports what
+     * the host refuses. For a kind it does not check (undefined), the kind's registered schema, else
+     * core's, else none: a kind no schema knows.
+     */
+    nodeSchema?: (kind: string) => ZodType | undefined;
+    /** Opaque here: its measure is the measure module's (scene-measure), which reads it. */
+    checkpoint?: {
+        name: string;
+        measure: unknown;
+    };
+    /** The agent's session so far. The host keeps it where its sessions live; it is never scene data. */
+    session?: SessionRecord;
+    catalog?: readonly AssetInput[];
+    /**
+     * What a host read about catalog items before the call, by item id (`assetViewNeeds` says
+     * which): their pictures for view_assets, the names of their paintable surfaces for it and for
+     * paint. A host that cannot read them leaves them out.
+     */
+    assetViews?: Readonly<Record<string, AssetViewFacts>>;
+    materials?: Readonly<Record<SceneMaterialId, SceneMaterial>>;
+    /** Modules built by the host before run_batch, indexed by call position. */
+    batchObjects?: Readonly<Record<number, BatchedObject>>;
+    batchCall?: number;
+    /**
+     * The design brief in force on a host that gates furnishing on one: `null` while there is none
+     * (placing or making furnishings is refused, `furnishingRefusal`), the brief once written. A
+     * host that does not gate leaves it out.
+     */
+    designBrief?: DesignBrief | null;
+    /**
+     * The person's words of the turn, on a host that has a person (the chat): the source quote of a
+     * design brief is checked against it. A host with no person's message (MCP) leaves it out and the
+     * quote is not checked.
+     */
+    requestText?: string;
+};
+/** One add_object call of a batch, built by its host: the compiled module, or why it failed. */
+export type BatchedObject = {
+    compiled: CompiledGeometryScript;
+} | {
+    failure: {
+        code: string;
+        message: string;
+    };
+};
+/** A write's operations in order, as apply_patch and update_node carry them. */
+export type NodeWrite = {
+    op: 'create';
+    node: AnyNode;
+    parentId?: string;
+} | {
+    op: 'update';
+    id: string;
+    data: Record<string, unknown>;
+} | {
+    op: 'delete';
+    id: string;
+};
+/** Edits an operation asks for; each surface applies them its own way, in one undo step. */
+export type SceneChanges = {
+    /** Scene materials to add, written before the nodes that use them. */
+    materials?: readonly SceneMaterial[];
+    create?: {
+        node: AnyNode;
+        parentId?: string;
+    }[];
+    update?: {
+        id: string;
+        data: Partial<AnyNode>;
+    }[];
+    /** Ids to remove; as with the editor's Delete, each goes with everything under it. */
+    delete?: string[];
+    /** Collection records to write by id; `null` removes one. */
+    collections?: Record<string, Collection | null>;
+};
+export type AgentOperationOutcome = {
+    result: Record<string, unknown>;
+    /** What the operation asks the host to keep with the session: a checkpoint it took. */
+    keep?: SessionKeep;
+    changes?: SceneChanges;
+    /**
+     * For an edit that depends on construction the host derives from `changes` (rooms re-derived
+     * from walls and separators, auto ceilings, floor plates), whose ids an operation cannot know:
+     * the host reconciles after `changes`, calls this with the scene it then holds, applies what it
+     * returns, reconciles again and answers with its result — one undo step (`applyAgentOutcome`).
+     */
+    afterReconcile?: (nodes: SceneNodes) => {
+        result: Record<string, unknown>;
+        changes?: SceneChanges;
+    };
+};
+/**
+ * One agent tool's behaviour, shared by every surface: plan from the scene, or refuse. Input is
+ * what the tool's contract parses; `never` by default so any operation fits a registry.
+ */
+export type AgentOperation<Input = never> = (nodes: SceneNodes, input: Input, context: AgentContext) => AgentOperationOutcome;
+/** Operations by tool name: core's `AGENT_OPERATIONS`, or a plugin's `./agent-operations` export. */
+export type AgentOperations = Readonly<Record<string, AgentOperation>>;
+//# sourceMappingURL=types.d.ts.map

package/dist/agent-operations/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/agent-operations/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAA;AAClC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,KAAK,EACV,OAAO,EACP,UAAU,EACV,UAAU,EACV,sBAAsB,EACtB,aAAa,EACb,eAAe,EAChB,MAAM,WAAW,CAAA;AAClB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAEpE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAE1D;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAAG,SAAS,CAAA;IAClD,wFAAwF;IACxF,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAC/C,qGAAqG;IACrG,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,OAAO,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;IAC/B;;;;OAIG;IACH,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;IACrD,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC,CAAA;IAC5D,4EAA4E;IAC5E,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAA;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;;OAIG;IACH,WAAW,CAAC,EAAE,WAAW,GAAG,IAAI,CAAA;IAChC;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,gGAAgG;AAChG,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,EAAE,sBAAsB,CAAA;CAAE,GACpC;IAAE,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAA;AAElD,gFAAgF;AAChF,MAAM,MAAM,SAAS,GACjB;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAC3D;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhC,4FAA4F;AAC5F,MAAM,MAAM,YAAY,GAAG;IACzB,sEAAsE;IACtE,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAA;IACpC,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IAC/C,MAAM,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;KAAE,EAAE,CAAA;IACjD,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC,CAAA;CAChD,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC/B,uFAAuF;IACvF,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK;QACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAC/B,OAAO,CAAC,EAAE,YAAY,CAAA;KACvB,CAAA;CACF,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,GAAG,KAAK,IAAI,CAC1C,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,YAAY,KAClB,qBAAqB,CAAA;AAE1B,qGAAqG;AACrG,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA"}

package/dist/agent-operations/types.js

@@ -0,0 +1 @@
+export {};

package/dist/agent-operations/verify-scene.d.ts

@@ -0,0 +1,84 @@
+import { type OpenWallEnd } from '../lib/room-graph.js';
+import { type CeilingObjectObservation } from './ceiling-object-observations.js';
+import { type RoomFinding } from './room-findings.js';
+import type { AgentOperation, SceneNodes } from './types.js';
+import { type WallObjectObservation } from './wall-object-observations.js';
+/** A problem verify_scene found, typed so it can be counted and acted on. */
+export type SceneIssue = CeilingObjectObservation | WallObjectObservation | RoomFinding | {
+    type: string;
+    message: string;
+    severity?: 'info';
+} | {
+    type: 'schema_invalid';
+    message: string;
+    nodeId: string;
+    path: string;
+} | {
+    type: 'schema_unknown_kind';
+    message: string;
+    severity: 'info';
+    kind: string;
+    count: number;
+    /** The first few of them. */
+    nodeIds: string[];
+} | {
+    type: 'site_hidden';
+    message: string;
+    severity: 'info';
+    nodeId: string;
+} | {
+    type: 'wall_covering_slab_contact';
+    message: string;
+    severity?: 'info';
+    wallId: string;
+    slabId: string;
+    levelId: string;
+    wallTop: number;
+    slabUnderside: number;
+    slabTop: number;
+    penetration: number;
+    coplanar: boolean;
+} | {
+    type: 'wall_open_end';
+    message: string;
+    severity?: 'info';
+    wallId: string;
+    end: OpenWallEnd['end'];
+    reason: Exclude<OpenWallEnd['reason'], 'isolated'>;
+    gap?: number;
+    nearestWallId?: string;
+};
+/** What verify_scene was asked: its contract's input, which other modules may extend. */
+export type VerifySceneInput = Readonly<Record<string, unknown>>;
+/**
+ * A check verify_scene runs beyond its own, registered by the module that knows it (the facade
+ * checks, the photo's), so verify_scene imports none of them. Checks before CHECKPOINT_ORDER run
+ * ahead of the checkpoint's comparison, the rest after it.
+ */
+export type SceneCheck = {
+    name: string;
+    order: number;
+    run: (nodes: SceneNodes, input: VerifySceneInput) => SceneIssue[];
+};
+export declare const CHECKPOINT_ORDER = 100;
+/**
+ * Fields verify_scene's result carries beyond its own, from the module that knows them (the
+ * reference inventory's counts and what is unbuilt).
+ */
+export type SceneReport = {
+    name: string;
+    run: (nodes: SceneNodes) => Record<string, unknown>;
+};
+/** Adds a report's fields to every verify_scene from now on; registering again replaces it. */
+export declare function registerSceneReport(report: SceneReport): void;
+/** Runs a check in every verify_scene from now on; registering a check again replaces it. */
+export declare function registerSceneCheck(check: SceneCheck): void;
+/**
+ * `verify_scene`: a self-check after complex edits. Per-level content, roles and enclosed spaces,
+ * then every practical problem found, typed: spaces with no room, rooms the walls do not close or
+ * with no name, rooms missing floors or ceilings, roof levels misused, storeys with no stair,
+ * openings off their wall, stairs off their slab, blocked doors, overlapping furniture, and every
+ * field a node's schema rejects, by node and path; a kind no schema here knows, once per kind.
+ */
+export declare const verifyScene: AgentOperation<VerifySceneInput | undefined>;
+//# sourceMappingURL=verify-scene.d.ts.map

package/dist/agent-operations/verify-scene.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-scene.d.ts","sourceRoot":"","sources":["../../src/agent-operations/verify-scene.ts"],"names":[],"mappings":"AAMA,OAAO,EAAsB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAiBxE,OAAO,EACL,KAAK,wBAAwB,EAE9B,MAAM,+BAA+B,CAAA;AAItC,OAAO,EAAE,KAAK,WAAW,EAAgB,MAAM,iBAAiB,CAAA;AAYhE,OAAO,KAAK,EAAgB,cAAc,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,KAAK,qBAAqB,EAA0B,MAAM,4BAA4B,CAAA;AAE/F,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAClB,wBAAwB,GACxB,qBAAqB,GACrB,WAAW,GACX;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzE;IACE,IAAI,EAAE,qBAAqB,CAAA;IAC3B,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,6BAA6B;IAC7B,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB,GACD;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC1E;IACE,IAAI,EAAE,4BAA4B,CAAA;IAClC,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAA;IACf,aAAa,EAAE,MAAM,CAAA;IACrB,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,EAAE,OAAO,CAAA;CAClB,GACD;IACE,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAA;IACvB,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAA;IAClD,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAEL,yFAAyF;AACzF,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAEhE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAA;CAClE,CAAA;AAED,eAAO,MAAM,gBAAgB,MAAM,CAAA;AAInC;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAA;AAI/F,+FAA+F;AAC/F,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,QAItD;AAED,6FAA6F;AAC7F,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,UAAU,QAKnD;AA4KD;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,cAAc,CAAC,gBAAgB,GAAG,SAAS,CA0bpE,CAAA"}