brepjs-verify 0.4.0 → 0.13.0

package/dist/sandbox/runProgram.d.ts

@@ -0,0 +1,76 @@
+import { VerifyReport } from '../verify/report.js';
+/** The verify report as serialized by the CLI (the report plus the top-level `ok` verdict). */
+export type SerializedReport = VerifyReport & {
+    ok: boolean;
+};
+/** Outcome of a sandboxed run. `completed` includes not-ok reports (the part built but failed checks). */
+export type RunProgramResult = {
+    outcome: 'completed';
+    report: SerializedReport;
+} | {
+    outcome: 'timeout';
+    timeoutMs: number;
+} | {
+    outcome: 'crashed';
+    exitCode: number | null;
+    detail: string;
+};
+/** Outcome of a sandboxed export. `completed` carries the written artifact paths and any errors. */
+export type ExportProgramResult = {
+    outcome: 'completed';
+    ok: boolean;
+    written: string[];
+    errors: string[];
+} | {
+    outcome: 'timeout';
+    timeoutMs: number;
+} | {
+    outcome: 'crashed';
+    exitCode: number | null;
+    detail: string;
+};
+export interface SandboxOptions {
+    /** Wall-clock budget; the child is SIGKILLed past it. Default 30000. */
+    timeoutMs?: number;
+    /** Child heap cap (`--max-old-space-size`), in MB. Default 2048. */
+    maxMemoryMb?: number;
+    /**
+     * CLI entry to spawn. Defaults to the in-repo TypeScript CLI (run via `tsx`), correct for
+     * dev/test. Production callers pass the built `dist/cli/main.js` (run via `node`). The runner is
+     * inferred from the extension: `.ts` → `npx tsx`, otherwise the current `node`.
+     */
+    cliEntry?: string;
+}
+export type RunProgramOptions = SandboxOptions;
+export interface ExportFormats {
+    step?: boolean;
+    glb?: boolean;
+    stl?: boolean;
+}
+/**
+ * Clamp a caller-supplied limit to a positive, finite value, falling back to the default otherwise.
+ * Critical for the timeout: Node's `execFile` treats `timeout: 0` (and it ignores negatives) as
+ * "no timeout", which would silently disable the sandbox's only runaway protection.
+ */
+export declare function positiveOrDefault(value: number | undefined, fallback: number): number;
+/** SIGKILL every in-flight sandbox process group now. Exported so a host can reap explicitly. */
+export declare function killActiveSandboxes(signal?: NodeJS.Signals): void;
+/**
+ * Install process-shutdown hooks that reap any in-flight sandbox process groups when THIS process
+ * (the host — e.g. the MCP server) terminates. Idempotent; call once at startup from an entrypoint.
+ *
+ * Rationale: the per-run timeout (`spawnCliOutcome`) only protects a run while the host is alive —
+ * its timer dies with the host. If the host is stopped (the agent disconnects) before a run's
+ * budget elapses, the `detached` sandbox group is in its own session and survives, burning a core
+ * indefinitely. These hooks SIGKILL every tracked group on the way down so a dying host doesn't
+ * leak its children. (A hard SIGKILL of the host can't be trapped — that residual needs the kernel's
+ * PR_SET_PDEATHSIG, which Node doesn't expose.)
+ */
+export declare function installSandboxShutdownHandlers(): void;
+/** Execute `code` (an agent-authored `.brep.ts` module) in an isolated, resource-bounded child. */
+export declare function runProgram(code: string, opts?: RunProgramOptions): Promise<RunProgramResult>;
+/**
+ * Execute `code` and export artifacts to `outDir`. Artifacts persist in `outDir` (the caller owns
+ * it); only the temp program directory is cleaned up. Returns the written paths and any errors.
+ */
+export declare function exportProgram(code: string, outDir: string, formats?: ExportFormats, opts?: SandboxOptions): Promise<ExportProgramResult>;

package/dist/sandbox/runRecord.d.ts

@@ -0,0 +1,20 @@
+import { RunProgramResult } from './runProgram.js';
+import { VerifyMeasurements, VerifyTopology } from '../verify/report.js';
+export interface RunRecord {
+    /** ISO-8601 capture time. */
+    timestamp: string;
+    /** The brepjs program source that was executed. */
+    program: string;
+    outcome: RunProgramResult['outcome'];
+    /** True only when the part built and passed all checks. */
+    ok: boolean;
+    /** sha256 of the program + a canonical digest of the outcome (stable for identical runs). */
+    resultHash: string;
+    /** Geometric summary — present only for completed runs. */
+    measurements?: VerifyMeasurements;
+    topology?: VerifyTopology;
+}
+/** Build a {@link RunRecord} from a program and its sandbox result. `now` is injectable for tests. */
+export declare function buildRunRecord(program: string, result: RunProgramResult, now?: () => Date): RunRecord;
+/** Append a record as one JSON line to `filePath` (creating it if absent). */
+export declare function appendRunRecord(filePath: string, record: RunRecord): Promise<void>;

package/dist/snapshot/shoot.cjs

@@ -36,7 +36,8 @@ async function shoot(opts) {
 			width: 1200,
 			height: 900
 		});
-		const target = `${server.url}/?dir=${encodeURIComponent(dir)}&file=${encodeURIComponent(rel)}`;
+		const dimsParam = opts.dimensions === false ? "" : "&dims=1";
+		const target = `${server.url}/?dir=${encodeURIComponent(dir)}&file=${encodeURIComponent(rel)}&ui=0${dimsParam}`;
 		await page.goto(target, {
 			waitUntil: "domcontentloaded",
 			timeout: 3e4

package/dist/snapshot/shoot.d.ts

@@ -6,6 +6,8 @@ export interface ShootOptions extends AcquireOptions {
     views?: readonly ViewName[];
     /** Wall-clock ms to let the camera settle before each capture (default 400; raise on slow CI). */
     settleMs?: number;
+    /** Burn the model's bbox dimensions into each PNG so the agent can read scale (default true). */
+    dimensions?: boolean;
 }
 export interface ShootResult {
     outDir: string;

package/dist/snapshot/shoot.js

@@ -33,7 +33,8 @@ async function shoot(opts) {
 			width: 1200,
 			height: 900
 		});
-		const target = `${server.url}/?dir=${encodeURIComponent(dir)}&file=${encodeURIComponent(rel)}`;
+		const dimsParam = opts.dimensions === false ? "" : "&dims=1";
+		const target = `${server.url}/?dir=${encodeURIComponent(dir)}&file=${encodeURIComponent(rel)}&ui=0${dimsParam}`;
 		await page.goto(target, {
 			waitUntil: "domcontentloaded",
 			timeout: 3e4

package/dist/verify/report.d.ts

@@ -6,6 +6,8 @@ export interface VerifyCheck {
 export interface VerifyMeasurements {
     volume?: number;
     area?: number;
+    /** Volume centroid `[x, y, z]`. Absent when center-of-mass can't be computed. */
+    centerOfMass?: readonly [number, number, number];
     bounds?: {
         xMin: number;
         xMax: number;
@@ -15,6 +17,15 @@ export interface VerifyMeasurements {
         zMax: number;
     };
 }
+/** Topology element counts — a quick structural fingerprint of a shape. */
+export interface VerifyTopology {
+    faceCount: number;
+    edgeCount: number;
+    wireCount: number;
+    vertexCount: number;
+    /** True when every shell is manifold. Absent for shapes without shells (nothing to assess). */
+    manifold?: boolean;
+}
 /** A failure captured with whatever structured context it carried (a `BrepError` code/suggestion). */
 export interface ErrorInfo {
     message: string;
@@ -39,6 +50,8 @@ export interface VerifyReport {
     shapeType: string | null;
     checks: VerifyCheck[];
     measurements: VerifyMeasurements;
+    /** Topology element counts. Absent when traversal fails on a degenerate shape. */
+    topology?: VerifyTopology;
     errors: string[];
     /** Structured copies of `errors`, carrying any `BrepError` code/suggestion. Drives `hints`. */
     errorInfos: ErrorInfo[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "brepjs-verify",
-  "version": "0.4.0",
+  "version": "0.13.0",
   "description": "Agent skill + verify/preview tooling for authoring parametric brepjs CAD code",
   "license": "Apache-2.0",
   "type": "module",
@@ -29,7 +29,8 @@
     }
   },
   "bin": {
-    "brepjs-verify": "./dist/cli/main.js"
+    "brepjs-verify": "./dist/cli/main.js",
+    "brepjs-verify-mcp": "./dist/mcp/server.js"
   },
   "files": [
     "dist",
@@ -40,7 +41,7 @@
     "README.md"
   ],
   "scripts": {
-    "build": "node scripts/copyReference.mjs && vite build && vite build --config viewer/vite.config.ts",
+    "build": "node scripts/copyReference.mjs && vite build && vite build --config viewer/vite.config.ts && node -e \"require('fs').chmodSync('dist/cli/main.js',0o755);require('fs').chmodSync('dist/cli/main.cjs',0o755);require('fs').chmodSync('dist/mcp/server.js',0o755)\"",
     "typecheck": "tsc --noEmit && tsc -p viewer/tsconfig.json --noEmit && tsc -p bench/tsconfig.json",
     "lint": "eslint src tests viewer bench",
     "test": "vitest run",
@@ -51,9 +52,9 @@
     "prepack": "npm run build"
   },
   "dependencies": {
-    "@types/node": "^25.9.1",
+    "@modelcontextprotocol/sdk": "1.29.0",
     "brepjs": "^18.0.0",
-    "commander": "^13.0.0",
+    "commander": "^15.0.0",
     "occt-wasm": "^3.0.0",
     "typescript": "^6.0.3"
   },
@@ -61,20 +62,20 @@
     "puppeteer": "^25.0.4"
   },
   "devDependencies": {
-    "@anthropic-ai/sdk": "0.100.1",
+    "@anthropic-ai/sdk": "0.102.0",
     "@react-three/drei": "^10.7.7",
     "@react-three/fiber": "^9.6.1",
-    "@types/node": "^25.9.1",
+    "@types/node": "25.9.2",
     "@types/react": "^19.2.15",
     "@types/react-dom": "^19.2.3",
     "@types/three": "^0.184.1",
     "@vitejs/plugin-react": "^6.0.2",
-    "brepjs-viewer": "^0.1.0",
+    "brepjs-viewer": "*",
     "eslint": "^10.4.0",
-    "react": "^19.2.6",
-    "react-dom": "^19.2.6",
+    "react": "19.2.7",
+    "react-dom": "19.2.7",
     "three": "^0.184.0",
-    "tsx": "^4.22.3",
+    "tsx": "4.22.4",
     "vite": "^8.0.0",
     "vite-plugin-dts": "^5.0.1",
     "vitest": "^4.0.0",