brepjs-verify 0.2.1 → 0.4.0

package/CHANGELOG.md

@@ -1,5 +1,25 @@
 # Changelog
 
+## [0.4.0](https://github.com/andymai/brepjs/compare/brepjs-verify-v0.3.0...brepjs-verify-v0.4.0) (2026-06-04)
+
+
+### Features
+
+* **brepjs-verify:** eval-driven skill, hint, and reference improvements ([#1219](https://github.com/andymai/brepjs/issues/1219)) ([1a9b80f](https://github.com/andymai/brepjs/commit/1a9b80f3d3dbb44d7a8ae2f601ff305b70534efe))
+
+## [0.3.0](https://github.com/andymai/brepjs/compare/brepjs-verify-v0.2.1...brepjs-verify-v0.3.0) (2026-06-04)
+
+
+### Features
+
+* **brepjs-verify:** live text-to-cad eval flywheel ([#1215](https://github.com/andymai/brepjs/issues/1215)) ([4e81fc4](https://github.com/andymai/brepjs/commit/4e81fc4053491ce3e08182d57d76bd649252ea3c))
+* **brepjs-verify:** standalone bundled CLI + rename from brepjs-cad ([#1211](https://github.com/andymai/brepjs/issues/1211)) ([05b3799](https://github.com/andymai/brepjs/commit/05b3799a0e9ee4968d4cac92f3a2ea236e39cd35))
+
+
+### Bug Fixes
+
+* **brepjs-verify:** correct fillet/chamfer arg order in no-edges hints ([#1218](https://github.com/andymai/brepjs/issues/1218)) ([835f13a](https://github.com/andymai/brepjs/commit/835f13ac966b4264ba56a5cfc371bbbbbd1a0f01))
+
 ## [0.2.1](https://github.com/andymai/brepjs/compare/brepjs-cad-v0.2.0...brepjs-cad-v0.2.1) (2026-06-04)
 
 

package/README.md

@@ -21,6 +21,15 @@ The CLI the skill invokes. Install it in **your** project, where `brepjs` + the
 npm i -D brepjs-verify brepjs occt-wasm
 ```
 
+## API reference
+
+The package bundles brepjs's full API reference for offline/agent use — the complete export surface with signatures and examples:
+
+- `reference/llms-full.txt` — every export, full signatures (the deep reference)
+- `reference/llms.txt` — the same content as a quicker index
+
+Point your agent at `node_modules/brepjs-verify/reference/llms-full.txt` for anything the skill's curated references don't cover.
+
 ## The `.brep.ts` contract
 
 A model is a module whose default export is a zero-arg function returning a shape (or a `Result<shape>`):
@@ -71,6 +80,23 @@ Few-shot examples live under `skill/examples/<name>.brep.ts`, each with a `<name
 
 `npm run eval` (`bench/run.ts`) replays every `skill/examples/*.brep.ts` with a sibling `*.expected.json` through the public `runPart` runtime, compares measured volume/area/validity/shape-type against the recorded baseline within each file's tolerance (default 0.5%), prints a PASS/FAIL scorecard, and exits non-zero on any regression. It is deterministic — no LLM or API key — so it runs in CI as the package's regression net. Refresh a baseline by re-recording the example's `*.expected.json` after an intentional geometry change.
 
+### Live eval (`npm run eval:live`)
+
+The measurement flywheel: sends ~18 natural-language part prompts (`bench/prompts.ts`) to a real model — using the **deployed `SKILL.md` as the system prompt**, so it measures the actual skill — then verifies each generated part two ways:
+
+- **Auto (objective):** `runPart --check` → valid solid + any pinned dims within tolerance.
+- **Judge (intent):** a multimodal Claude call looks at the rendered iso/front/top/right snapshots and decides whether the part matches the request + rubric.
+
+The scorecard reports per-category `valid` / `judge` / `both` rates and stamps the model + **resolved brepjs version** + date (so trend lines don't mix kernel versions).
+
+```bash
+ANTHROPIC_API_KEY=sk-... npm run eval:live -w brepjs-verify          # opus by default
+ANTHROPIC_API_KEY=sk-... npm run eval:live -w brepjs-verify -- --model claude-sonnet-4-6
+#   --only <id|category>   run a subset      --keep   keep the generated parts
+```
+
+Opt-in and **billed** (real API calls), so it does _not_ run in CI — the deterministic replay above is the CI gate. Snapshots (hence the judge) need `puppeteer`/Chrome; without them the run scores on auto-verify alone and notes the skipped judge.
+
 ## Programmatic API
 
 ```ts

package/dist/brepjs-verify.cjs

@@ -1,5 +1,5 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_diff = require("./diff-CZ4mLtrf.cjs");
+const require_diff = require("./diff-BNmCp_8I.cjs");
 exports.DEFAULT_TOLERANCE_PCT = require_diff.DEFAULT_TOLERANCE_PCT;
 exports.TYPECHECK_CODE = require_diff.TYPECHECK_CODE;
 exports.emptyReport = require_diff.emptyReport;

package/dist/brepjs-verify.js

@@ -1,2 +1,2 @@
-import { a as typecheckPart, c as isExpectedDims, d as emptyReport, i as TYPECHECK_CODE, l as pctDelta, m as serializeReport, n as runMeasure, o as DEFAULT_TOLERANCE_PCT, r as runPart, s as evaluateExpected, t as runDiff, u as runChecks } from "./diff-D7ZBNRJG.js";
+import { a as typecheckPart, c as isExpectedDims, d as emptyReport, i as TYPECHECK_CODE, l as pctDelta, m as serializeReport, n as runMeasure, o as DEFAULT_TOLERANCE_PCT, r as runPart, s as evaluateExpected, t as runDiff, u as runChecks } from "./diff-D5U3Ie2F.js";
 export { DEFAULT_TOLERANCE_PCT, TYPECHECK_CODE, emptyReport, evaluateExpected, isExpectedDims, pctDelta, runChecks, runDiff, runMeasure, runPart, serializeReport, typecheckPart };

package/dist/cli/main.cjs

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_diff = require("../diff-CZ4mLtrf.cjs");
+const require_diff = require("../diff-BNmCp_8I.cjs");
 let node_url = require("node:url");
 let node_fs = require("node:fs");
 let node_path = require("node:path");

package/dist/cli/main.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { f as pushError, h as loadBrep, m as serializeReport, n as runMeasure, p as reportOk, r as runPart, t as runDiff } from "../diff-D7ZBNRJG.js";
+import { f as pushError, h as loadBrep, m as serializeReport, n as runMeasure, p as reportOk, r as runPart, t as runDiff } from "../diff-D5U3Ie2F.js";
 import { fileURLToPath } from "node:url";
 import { existsSync, mkdirSync, realpathSync, watch, writeFileSync } from "node:fs";
 import { basename, dirname, join, resolve } from "node:path";

package/dist/{diff-CZ4mLtrf.cjs → diff-BNmCp_8I.cjs}

@@ -41,6 +41,14 @@ function loadBrep() {
 	}
 	return cached;
 }
+var kernelReady;
+function initOcctWasm(brep) {
+	if (!kernelReady) kernelReady = (async () => {
+		const kernel = await (await import("occt-wasm")).OcctKernel.init();
+		brep.registerKernel("occt-wasm", brep.OcctWasmAdapter.fromKernel(kernel));
+	})();
+	return kernelReady;
+}
 //#endregion
 //#region src/verify/report.ts
 function emptyReport() {
@@ -62,7 +70,7 @@ function reportOk(r) {
 	return r.errors.length === 0 && r.checks.every((c) => c.passed) && r.assertions.every((a) => a.passed);
 }
 /**
-* Local, brepjs-cad-owned advice keyed on `BrepErrorCode` values (see `brepjs`'s public
+* Local, brepjs-verify-owned advice keyed on `BrepErrorCode` values (see `brepjs`'s public
 * `BrepErrorCode`). Intentionally not importing the library's internal `getSuggestionForCode`:
 * this table is the agent loop's own actionable `fix` + `nextStep` guidance, and the library's
 * public `BrepError.suggestion` is still surfaced alongside it on each hint.
@@ -70,11 +78,11 @@ function reportOk(r) {
 var HINT_TABLE = {
 	FILLET_NO_EDGES: {
 		fix: "Select real edges before filleting — pass an edge query (e.g. find edges by direction/position) or a non-empty edge list, not the whole solid.",
-		nextStep: "List the solid’s edges, pick the ones to round, then call fillet(solid, radius, edges)."
+		nextStep: "List the solid’s edges, pick the ones to round, then call fillet(solid, edges, radius)."
 	},
 	CHAMFER_NO_EDGES: {
 		fix: "Select real edges before chamfering — pass a non-empty edge query/list rather than relying on a default that matched nothing.",
-		nextStep: "Enumerate the solid’s edges, choose the target edges, then call chamfer(solid, distance, edges)."
+		nextStep: "Enumerate the solid’s edges, choose the target edges, then call chamfer(solid, edges, distance)."
 	},
 	INVALID_FILLET_RADIUS: {
 		fix: "Use a fillet radius that is > 0 and small enough to fit the adjacent faces (well under half the thinnest wall).",
@@ -156,6 +164,14 @@ var HINT_TABLE = {
 		fix: "The boolean subtraction failed — often a tool that does not actually intersect the base, or tolerance issues.",
 		nextStep: "Confirm the tool overlaps the base, optionally heal the inputs, then re-cut."
 	},
+	FILLET_FAILED: {
+		fix: "The fillet could not be built — usually the radius is too large for an edge it touched (it cannot exceed the adjacent face/wall), or you filleted EVERY edge (the no-edge-list form) including ones too thin to round.",
+		nextStep: "Select only the edges you mean to round — e.g. edgeFinder().inDirection(\"Z\").findAll(solid) — and/or reduce the radius below the thinnest adjacent wall, then re-verify."
+	},
+	CHAMFER_FAILED: {
+		fix: "The chamfer could not be built — usually the distance is too large for an edge it touched, or you chamfered EVERY edge (the no-edge-list form) including ones too thin.",
+		nextStep: "Select only the target edges with an edge finder and/or reduce the distance below the shortest adjacent edge, then re-verify."
+	},
 	BOOLEAN_HAS_ERRORS: {
 		fix: "The boolean ran but the kernel reported errors (often coincident faces or near-tangent contact).",
 		nextStep: "Perturb one operand slightly so contact is a clean overlap, or heal the inputs, then retry."
@@ -191,6 +207,10 @@ var HINT_TABLE = {
 	TYPECHECK: {
 		fix: "Fix the TypeScript type error before running the part — the API call or value does not match brepjs’s types.",
 		nextStep: "Correct the flagged type (e.g. argument/return type or import), then re-verify."
+	},
+	EXPECTED_UNKNOWN_KEY: {
+		fix: "Your `expected` block has keys the CLI does not assert (so the intended check never ran). Bounds must be `{ xMin, xMax, yMin, yMax, zMin, zMax }` — not `{ min, max }` or `{ x, y, z }`.",
+		nextStep: "Rewrite `expected` using only volume, area, tolerancePct, and bounds.{xMin..zMax}, then re-verify."
 	}
 };
 /** Synthetic code attached to validity-check failures (validSolid returns a plain string error). */
@@ -294,8 +314,38 @@ function pctDelta(actual, expected) {
 	return Math.abs(actual - expected) / Math.abs(expected) * 100;
 }
 function withinTolerance(actual, expected, tolerancePct) {
+	if (Math.abs(actual - expected) <= 1e-6) return true;
 	return pctDelta(actual, expected) <= tolerancePct;
 }
+var TOP_LEVEL_KEYS = new Set([
+	"volume",
+	"area",
+	"bounds",
+	"tolerancePct"
+]);
+var BOUND_KEYS = new Set([
+	"xMin",
+	"xMax",
+	"yMin",
+	"yMax",
+	"zMin",
+	"zMax"
+]);
+/**
+* Keys in an `expected` block that the CLI does not understand and would silently ignore — a
+* `{ min: [...], max: [...] }` or `{ x: [...] }` bounds shape, or a misspelled top-level field.
+* Surfaced as an error (not dropped) so a wrong `expected` shape fails loud instead of passing
+* vacuously with the intended assertion never run.
+*/
+function unknownExpectedKeys(expected) {
+	const bad = [];
+	for (const k of Object.keys(expected)) if (!TOP_LEVEL_KEYS.has(k)) bad.push(k);
+	const bounds = expected.bounds;
+	if (bounds && typeof bounds === "object") {
+		for (const k of Object.keys(bounds)) if (!BOUND_KEYS.has(k)) bad.push(`bounds.${k}`);
+	}
+	return bad;
+}
 function isExpectedDims(v) {
 	if (typeof v !== "object" || v === null) return false;
 	const r = v;
@@ -419,6 +469,25 @@ var COMPILER_OPTIONS = {
 	skipLibCheck: true,
 	allowImportingTsExtensions: true
 };
+/**
+* Locate the `@types/node` declarations so a part may import Node built-ins (`node:fs` to load a
+* font, `node:fs/promises` to read a STEP file, etc.) without `--check` failing on the import.
+* Returns the `@types` directory to use as a `typeRoots` entry. Probes the tool's own install
+* first (where `@types/node` ships as a dependency), then the part's directory.
+*/
+function nodeTypesRoot(partPath, toolDir) {
+	const froms = [
+		{}.url,
+		toolDir ? (0, node_url.pathToFileURL)((0, node_path.resolve)(toolDir, "package.json")).href : void 0,
+		(0, node_url.pathToFileURL)(partPath).href
+	];
+	for (const from of froms) {
+		if (!from) continue;
+		try {
+			return (0, node_path.dirname)((0, node_path.dirname)((0, node_module.createRequire)(from).resolve("@types/node/package.json")));
+		} catch {}
+	}
+}
 function diagnosticToErrorInfo(d) {
 	const text = typescript.default.flattenDiagnosticMessageText(d.messageText, "\n");
 	let where = "";
@@ -443,6 +512,11 @@ function typecheckPart(partPath, toolDir) {
 	const dts = resolveBrepjsTypes(partPath, toolDir);
 	const options = { ...COMPILER_OPTIONS };
 	if (dts) options.paths = { brepjs: [dts] };
+	const typesRoot = nodeTypesRoot(partPath, toolDir);
+	if (typesRoot) {
+		options.typeRoots = [typesRoot];
+		options.types = ["node"];
+	}
 	const program = typescript.default.createProgram([partPath], options);
 	const errors = [
 		...program.getSemanticDiagnostics(),
@@ -479,7 +553,13 @@ function toErrorInfo(prefix, e) {
 		code: e.code,
 		suggestion: e.suggestion
 	};
-	if (e instanceof Error) return { message: `${prefix}: ${e.message}` };
+	if (e instanceof Error) {
+		const code = e.message.match(/\[[A-Z][A-Z0-9_]*\]\s+([A-Z][A-Z0-9_]+):/)?.[1];
+		return code ? {
+			message: `${prefix}: ${e.message}`,
+			code
+		} : { message: `${prefix}: ${e.message}` };
+	}
 	return { message: `${prefix}: ${String(e)}` };
 }
 function finalize(result) {
@@ -501,7 +581,7 @@ async function runPart(modulePath, opts = {}) {
 	let brep;
 	try {
 		brep = await loadBrep();
-		await brep.init();
+		await initOcctWasm(brep);
 	} catch (e) {
 		pushError(report, toErrorInfo("kernel init failed", e));
 		return finalize({
@@ -559,6 +639,11 @@ async function runPart(modulePath, opts = {}) {
 	if (isExpectedDims(mod.expected)) {
 		const expected = mod.expected;
 		result.assertions = evaluateExpected(expected, result.measurements);
+		const unknown = unknownExpectedKeys(expected);
+		if (unknown.length > 0) pushError(result, {
+			message: `expected has unrecognized keys (ignored): ${unknown.join(", ")}. Valid keys: volume, area, tolerancePct, bounds.{xMin,xMax,yMin,yMax,zMin,zMax}.`,
+			code: "EXPECTED_UNKNOWN_KEY"
+		});
 	}
 	let glb;
 	let step;

package/dist/{diff-D7ZBNRJG.js → diff-D5U3Ie2F.js}

@@ -39,6 +39,14 @@ function loadBrep() {
 	}
 	return cached;
 }
+var kernelReady;
+function initOcctWasm(brep) {
+	if (!kernelReady) kernelReady = (async () => {
+		const kernel = await (await import("occt-wasm")).OcctKernel.init();
+		brep.registerKernel("occt-wasm", brep.OcctWasmAdapter.fromKernel(kernel));
+	})();
+	return kernelReady;
+}
 //#endregion
 //#region src/verify/report.ts
 function emptyReport() {
@@ -60,7 +68,7 @@ function reportOk(r) {
 	return r.errors.length === 0 && r.checks.every((c) => c.passed) && r.assertions.every((a) => a.passed);
 }
 /**
-* Local, brepjs-cad-owned advice keyed on `BrepErrorCode` values (see `brepjs`'s public
+* Local, brepjs-verify-owned advice keyed on `BrepErrorCode` values (see `brepjs`'s public
 * `BrepErrorCode`). Intentionally not importing the library's internal `getSuggestionForCode`:
 * this table is the agent loop's own actionable `fix` + `nextStep` guidance, and the library's
 * public `BrepError.suggestion` is still surfaced alongside it on each hint.
@@ -68,11 +76,11 @@ function reportOk(r) {
 var HINT_TABLE = {
 	FILLET_NO_EDGES: {
 		fix: "Select real edges before filleting — pass an edge query (e.g. find edges by direction/position) or a non-empty edge list, not the whole solid.",
-		nextStep: "List the solid’s edges, pick the ones to round, then call fillet(solid, radius, edges)."
+		nextStep: "List the solid’s edges, pick the ones to round, then call fillet(solid, edges, radius)."
 	},
 	CHAMFER_NO_EDGES: {
 		fix: "Select real edges before chamfering — pass a non-empty edge query/list rather than relying on a default that matched nothing.",
-		nextStep: "Enumerate the solid’s edges, choose the target edges, then call chamfer(solid, distance, edges)."
+		nextStep: "Enumerate the solid’s edges, choose the target edges, then call chamfer(solid, edges, distance)."
 	},
 	INVALID_FILLET_RADIUS: {
 		fix: "Use a fillet radius that is > 0 and small enough to fit the adjacent faces (well under half the thinnest wall).",
@@ -154,6 +162,14 @@ var HINT_TABLE = {
 		fix: "The boolean subtraction failed — often a tool that does not actually intersect the base, or tolerance issues.",
 		nextStep: "Confirm the tool overlaps the base, optionally heal the inputs, then re-cut."
 	},
+	FILLET_FAILED: {
+		fix: "The fillet could not be built — usually the radius is too large for an edge it touched (it cannot exceed the adjacent face/wall), or you filleted EVERY edge (the no-edge-list form) including ones too thin to round.",
+		nextStep: "Select only the edges you mean to round — e.g. edgeFinder().inDirection(\"Z\").findAll(solid) — and/or reduce the radius below the thinnest adjacent wall, then re-verify."
+	},
+	CHAMFER_FAILED: {
+		fix: "The chamfer could not be built — usually the distance is too large for an edge it touched, or you chamfered EVERY edge (the no-edge-list form) including ones too thin.",
+		nextStep: "Select only the target edges with an edge finder and/or reduce the distance below the shortest adjacent edge, then re-verify."
+	},
 	BOOLEAN_HAS_ERRORS: {
 		fix: "The boolean ran but the kernel reported errors (often coincident faces or near-tangent contact).",
 		nextStep: "Perturb one operand slightly so contact is a clean overlap, or heal the inputs, then retry."
@@ -189,6 +205,10 @@ var HINT_TABLE = {
 	TYPECHECK: {
 		fix: "Fix the TypeScript type error before running the part — the API call or value does not match brepjs’s types.",
 		nextStep: "Correct the flagged type (e.g. argument/return type or import), then re-verify."
+	},
+	EXPECTED_UNKNOWN_KEY: {
+		fix: "Your `expected` block has keys the CLI does not assert (so the intended check never ran). Bounds must be `{ xMin, xMax, yMin, yMax, zMin, zMax }` — not `{ min, max }` or `{ x, y, z }`.",
+		nextStep: "Rewrite `expected` using only volume, area, tolerancePct, and bounds.{xMin..zMax}, then re-verify."
 	}
 };
 /** Synthetic code attached to validity-check failures (validSolid returns a plain string error). */
@@ -292,8 +312,38 @@ function pctDelta(actual, expected) {
 	return Math.abs(actual - expected) / Math.abs(expected) * 100;
 }
 function withinTolerance(actual, expected, tolerancePct) {
+	if (Math.abs(actual - expected) <= 1e-6) return true;
 	return pctDelta(actual, expected) <= tolerancePct;
 }
+var TOP_LEVEL_KEYS = new Set([
+	"volume",
+	"area",
+	"bounds",
+	"tolerancePct"
+]);
+var BOUND_KEYS = new Set([
+	"xMin",
+	"xMax",
+	"yMin",
+	"yMax",
+	"zMin",
+	"zMax"
+]);
+/**
+* Keys in an `expected` block that the CLI does not understand and would silently ignore — a
+* `{ min: [...], max: [...] }` or `{ x: [...] }` bounds shape, or a misspelled top-level field.
+* Surfaced as an error (not dropped) so a wrong `expected` shape fails loud instead of passing
+* vacuously with the intended assertion never run.
+*/
+function unknownExpectedKeys(expected) {
+	const bad = [];
+	for (const k of Object.keys(expected)) if (!TOP_LEVEL_KEYS.has(k)) bad.push(k);
+	const bounds = expected.bounds;
+	if (bounds && typeof bounds === "object") {
+		for (const k of Object.keys(bounds)) if (!BOUND_KEYS.has(k)) bad.push(`bounds.${k}`);
+	}
+	return bad;
+}
 function isExpectedDims(v) {
 	if (typeof v !== "object" || v === null) return false;
 	const r = v;
@@ -417,6 +467,25 @@ var COMPILER_OPTIONS = {
 	skipLibCheck: true,
 	allowImportingTsExtensions: true
 };
+/**
+* Locate the `@types/node` declarations so a part may import Node built-ins (`node:fs` to load a
+* font, `node:fs/promises` to read a STEP file, etc.) without `--check` failing on the import.
+* Returns the `@types` directory to use as a `typeRoots` entry. Probes the tool's own install
+* first (where `@types/node` ships as a dependency), then the part's directory.
+*/
+function nodeTypesRoot(partPath, toolDir) {
+	const froms = [
+		import.meta.url,
+		toolDir ? pathToFileURL(resolve(toolDir, "package.json")).href : void 0,
+		pathToFileURL(partPath).href
+	];
+	for (const from of froms) {
+		if (!from) continue;
+		try {
+			return dirname(dirname(createRequire(from).resolve("@types/node/package.json")));
+		} catch {}
+	}
+}
 function diagnosticToErrorInfo(d) {
 	const text = ts.flattenDiagnosticMessageText(d.messageText, "\n");
 	let where = "";
@@ -441,6 +510,11 @@ function typecheckPart(partPath, toolDir) {
 	const dts = resolveBrepjsTypes(partPath, toolDir);
 	const options = { ...COMPILER_OPTIONS };
 	if (dts) options.paths = { brepjs: [dts] };
+	const typesRoot = nodeTypesRoot(partPath, toolDir);
+	if (typesRoot) {
+		options.typeRoots = [typesRoot];
+		options.types = ["node"];
+	}
 	const program = ts.createProgram([partPath], options);
 	const errors = [
 		...program.getSemanticDiagnostics(),
@@ -477,7 +551,13 @@ function toErrorInfo(prefix, e) {
 		code: e.code,
 		suggestion: e.suggestion
 	};
-	if (e instanceof Error) return { message: `${prefix}: ${e.message}` };
+	if (e instanceof Error) {
+		const code = e.message.match(/\[[A-Z][A-Z0-9_]*\]\s+([A-Z][A-Z0-9_]+):/)?.[1];
+		return code ? {
+			message: `${prefix}: ${e.message}`,
+			code
+		} : { message: `${prefix}: ${e.message}` };
+	}
 	return { message: `${prefix}: ${String(e)}` };
 }
 function finalize(result) {
@@ -499,7 +579,7 @@ async function runPart(modulePath, opts = {}) {
 	let brep;
 	try {
 		brep = await loadBrep();
-		await brep.init();
+		await initOcctWasm(brep);
 	} catch (e) {
 		pushError(report, toErrorInfo("kernel init failed", e));
 		return finalize({
@@ -557,6 +637,11 @@ async function runPart(modulePath, opts = {}) {
 	if (isExpectedDims(mod.expected)) {
 		const expected = mod.expected;
 		result.assertions = evaluateExpected(expected, result.measurements);
+		const unknown = unknownExpectedKeys(expected);
+		if (unknown.length > 0) pushError(result, {
+			message: `expected has unrecognized keys (ignored): ${unknown.join(", ")}. Valid keys: volume, area, tolerancePct, bounds.{xMin,xMax,yMin,yMax,zMin,zMax}.`,
+			code: "EXPECTED_UNKNOWN_KEY"
+		});
 	}
 	let glb;
 	let step;

package/dist/snapshot/registry.cjs

@@ -11,7 +11,7 @@ async function probe(port) {
 		const res = await fetch(`http://127.0.0.1:${port}/__cad/server`, { signal: ctrl.signal });
 		if (!res.ok) return false;
 		const d = await res.json();
-		return d.app === "brepjs-cad-viewer" && d.dynamicRoot === true && typeof d.serverApiVersion === "number" && d.serverApiVersion >= 1;
+		return d.app === "brepjs-verify-viewer" && d.dynamicRoot === true && typeof d.serverApiVersion === "number" && d.serverApiVersion >= 1;
 	} catch {
 		return false;
 	} finally {

package/dist/snapshot/registry.js

@@ -10,7 +10,7 @@ async function probe(port) {
 		const res = await fetch(`http://127.0.0.1:${port}/__cad/server`, { signal: ctrl.signal });
 		if (!res.ok) return false;
 		const d = await res.json();
-		return d.app === "brepjs-cad-viewer" && d.dynamicRoot === true && typeof d.serverApiVersion === "number" && d.serverApiVersion >= 1;
+		return d.app === "brepjs-verify-viewer" && d.dynamicRoot === true && typeof d.serverApiVersion === "number" && d.serverApiVersion >= 1;
 	} catch {
 		return false;
 	} finally {

package/dist/snapshot/static.cjs

@@ -45,7 +45,7 @@ async function handle(req, res, port) {
 	const url = new URL(req.url ?? "/", `http://127.0.0.1:${port}`);
 	if (url.pathname === "/__cad/server") {
 		const d = {
-			app: "brepjs-cad-viewer",
+			app: "brepjs-verify-viewer",
 			port,
 			dynamicRoot: true,
 			serverApiVersion: 1

package/dist/snapshot/static.d.ts

@@ -8,7 +8,7 @@ export interface StaticServer {
     close(): Promise<void>;
 }
 export interface ServerDescriptor {
-    app: 'brepjs-cad-viewer';
+    app: 'brepjs-verify-viewer';
     port: number;
     dynamicRoot: true;
     serverApiVersion: number;

package/dist/snapshot/static.js

@@ -44,7 +44,7 @@ async function handle(req, res, port) {
 	const url = new URL(req.url ?? "/", `http://127.0.0.1:${port}`);
 	if (url.pathname === "/__cad/server") {
 		const d = {
-			app: "brepjs-cad-viewer",
+			app: "brepjs-verify-viewer",
 			port,
 			dynamicRoot: true,
 			serverApiVersion: 1

package/dist/verify/brepjsRuntime.d.ts

@@ -2,3 +2,4 @@ import type * as Brep from 'brepjs';
 export type BrepNs = typeof Brep;
 export declare function toolDir(): string;
 export declare function loadBrep(): Promise<BrepNs>;
+export declare function initOcctWasm(brep: BrepNs): Promise<void>;

package/dist/verify/expected.d.ts

@@ -16,8 +16,23 @@ export interface ExpectedDims {
     tolerancePct?: number;
 }
 export declare const DEFAULT_TOLERANCE_PCT = 0.5;
+/**
+ * Absolute slack (mm / mm² / mm³) below which a deviation always passes, independent of
+ * percent tolerance. Kernel coordinates carry sub-nanometer float noise (e.g. a loft base
+ * lands at z = -1e-7, not 0), so a percent comparison against an expected `0` — where any
+ * nonzero deviation is infinite percent — would make a zero-valued bound or measurement
+ * impossible to assert. 1e-6 is far above that noise and far below any real feature size.
+ */
+export declare const ABS_EPSILON = 0.000001;
 /** Percent deviation of `actual` from `expected`; 0 expected matches only 0 actual. */
 export declare function pctDelta(actual: number, expected: number): number;
+/**
+ * Keys in an `expected` block that the CLI does not understand and would silently ignore — a
+ * `{ min: [...], max: [...] }` or `{ x: [...] }` bounds shape, or a misspelled top-level field.
+ * Surfaced as an error (not dropped) so a wrong `expected` shape fails loud instead of passing
+ * vacuously with the intended assertion never run.
+ */
+export declare function unknownExpectedKeys(expected: object): string[];
 export declare function isExpectedDims(v: unknown): v is ExpectedDims;
 /**
  * Compare measured dimensions against a part's `expected` export. Each declared field becomes one

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "brepjs-verify",
-  "version": "0.2.1",
+  "version": "0.4.0",
   "description": "Agent skill + verify/preview tooling for authoring parametric brepjs CAD code",
   "license": "Apache-2.0",
   "type": "module",
@@ -34,21 +34,24 @@
   "files": [
     "dist",
     "viewer/dist",
+    "reference",
     "CHANGELOG.md",
     "LICENSE",
     "README.md"
   ],
   "scripts": {
-    "build": "vite build && vite build --config viewer/vite.config.ts",
+    "build": "node scripts/copyReference.mjs && vite build && vite build --config viewer/vite.config.ts",
     "typecheck": "tsc --noEmit && tsc -p viewer/tsconfig.json --noEmit && tsc -p bench/tsconfig.json",
     "lint": "eslint src tests viewer bench",
     "test": "vitest run",
     "eval": "tsx bench/run.ts",
+    "eval:live": "tsx bench/live.ts",
     "smoke": "node dist/cli/main.js verify tests/fixtures/validBox.brep.ts | node -e \"const r=JSON.parse(require('fs').readFileSync(0,'utf8'));if(r.ok!==true||!(r.measurements.volume>0))process.exit(1)\"",
     "smoke:standalone": "node scripts/smokeStandalone.mjs",
     "prepack": "npm run build"
   },
   "dependencies": {
+    "@types/node": "^25.9.1",
     "brepjs": "^18.0.0",
     "commander": "^13.0.0",
     "occt-wasm": "^3.0.0",
@@ -58,6 +61,7 @@
     "puppeteer": "^25.0.4"
   },
   "devDependencies": {
+    "@anthropic-ai/sdk": "0.100.1",
     "@react-three/drei": "^10.7.7",
     "@react-three/fiber": "^9.6.1",
     "@types/node": "^25.9.1",
@@ -73,6 +77,7 @@
     "tsx": "^4.22.3",
     "vite": "^8.0.0",
     "vite-plugin-dts": "^5.0.1",
-    "vitest": "^4.0.0"
+    "vitest": "^4.0.0",
+    "zod": "4.4.3"
   }
 }