brepjs-verify 0.2.1

package/dist/verify/report.d.ts

@@ -0,0 +1,75 @@
+export interface VerifyCheck {
+    name: string;
+    passed: boolean;
+    detail?: string;
+}
+export interface VerifyMeasurements {
+    volume?: number;
+    area?: number;
+    bounds?: {
+        xMin: number;
+        xMax: number;
+        yMin: number;
+        yMax: number;
+        zMin: number;
+        zMax: number;
+    };
+}
+/** A failure captured with whatever structured context it carried (a `BrepError` code/suggestion). */
+export interface ErrorInfo {
+    message: string;
+    code?: string | undefined;
+    suggestion?: string | undefined;
+}
+export interface VerifyHint {
+    code: string;
+    message: string;
+    fix: string;
+    nextStep: string;
+}
+/** One measured-vs-expected comparison from a part's `export const expected`. */
+export interface VerifyAssertion {
+    name: string;
+    expected: number;
+    /** The measured value, or null when the part produced no such measurement. */
+    actual: number | null;
+    passed: boolean;
+}
+export interface VerifyReport {
+    shapeType: string | null;
+    checks: VerifyCheck[];
+    measurements: VerifyMeasurements;
+    errors: string[];
+    /** Structured copies of `errors`, carrying any `BrepError` code/suggestion. Drives `hints`. */
+    errorInfos: ErrorInfo[];
+    /** Actionable, code-keyed guidance derived from `errorInfos`. */
+    hints: VerifyHint[];
+    /**
+     * Measured-vs-expected comparisons from a part's `export const expected`. Empty when the part
+     * declares no expectations; when non-empty, `ok` additionally requires every assertion pass.
+     */
+    assertions: VerifyAssertion[];
+}
+export interface BoundsDelta {
+    xMin: number;
+    xMax: number;
+    yMin: number;
+    yMax: number;
+    zMin: number;
+    zMax: number;
+}
+export interface DiffReport {
+    volumeDelta: number;
+    areaDelta: number;
+    bboxDelta: BoundsDelta;
+    symmetricDifferenceVolume: number;
+    errors: string[];
+}
+export declare function emptyReport(): VerifyReport;
+export declare function pushError(r: VerifyReport, info: ErrorInfo): void;
+export declare function reportOk(r: VerifyReport): boolean;
+/** Synthetic code attached to validity-check failures (validSolid returns a plain string error). */
+export declare const VALIDITY_FAILURE_CODE = "VALIDATION_FAILED";
+export declare function hintFor(info: ErrorInfo): VerifyHint | null;
+export declare function buildHints(r: VerifyReport): VerifyHint[];
+export declare function serializeReport(r: VerifyReport): string;

package/dist/verify/runPart.d.ts

@@ -0,0 +1,23 @@
+import { AnyShape } from 'brepjs';
+import { VerifyReport } from './report.js';
+export interface RunPartOptions {
+    step?: boolean;
+    glb?: boolean;
+    /**
+     * Run a TypeScript type-check on the part (against the bundled/local `brepjs` types) BEFORE
+     * executing it. Type errors are surfaced as `TYPECHECK` error infos and the part is NOT run.
+     */
+    check?: boolean;
+}
+export interface RunPartResult {
+    /**
+     * The built shape, or null on failure. This is a LIVE WASM-backed kernel handle: the CLI exits
+     * right after use, but long-running programmatic callers own its lifetime and should release it
+     * (e.g. `using s = result.shape` or a `DisposalScope`) once done, or WASM memory accumulates.
+     */
+    shape: AnyShape | null;
+    report: VerifyReport;
+    step?: ArrayBuffer | undefined;
+    glb?: ArrayBuffer | undefined;
+}
+export declare function runPart(modulePath: string, opts?: RunPartOptions): Promise<RunPartResult>;

package/dist/verify/typecheck.d.ts

@@ -0,0 +1,17 @@
+import { ErrorInfo } from './report.js';
+/** Code stamped on every type-check diagnostic so the report/hints can key on it. */
+export declare const TYPECHECK_CODE = "TYPECHECK";
+export interface TypecheckResult {
+    /** True when the part has no type errors (or the check was skipped because types were unresolvable). */
+    ok: boolean;
+    errors: ErrorInfo[];
+}
+/**
+ * Type-check a single `.brep.ts` part against the bundled (or local) `brepjs` declarations.
+ *
+ * Uses a synthetic in-memory program: a `paths` mapping points the bare `brepjs` specifier at
+ * the resolved `.d.ts`, so the part can be checked without a real install or tsconfig. If the
+ * `brepjs` types cannot be resolved, the check is skipped (ok:true, no errors) rather than
+ * failing — `--check` should never be worse than not passing it.
+ */
+export declare function typecheckPart(partPath: string, toolDir?: string): TypecheckResult;

package/package.json

@@ -0,0 +1,78 @@
+{
+  "name": "brepjs-verify",
+  "version": "0.2.1",
+  "description": "Agent skill + verify/preview tooling for authoring parametric brepjs CAD code",
+  "license": "Apache-2.0",
+  "type": "module",
+  "sideEffects": false,
+  "engines": {
+    "node": ">=24"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/andymai/brepjs",
+    "directory": "packages/brepjs-verify"
+  },
+  "main": "./dist/brepjs-verify.cjs",
+  "module": "./dist/brepjs-verify.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/brepjs-verify.js"
+      },
+      "require": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/brepjs-verify.cjs"
+      }
+    }
+  },
+  "bin": {
+    "brepjs-verify": "./dist/cli/main.js"
+  },
+  "files": [
+    "dist",
+    "viewer/dist",
+    "CHANGELOG.md",
+    "LICENSE",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "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",
+    "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": {
+    "brepjs": "^18.0.0",
+    "commander": "^13.0.0",
+    "occt-wasm": "^3.0.0",
+    "typescript": "^6.0.3"
+  },
+  "optionalDependencies": {
+    "puppeteer": "^25.0.4"
+  },
+  "devDependencies": {
+    "@react-three/drei": "^10.7.7",
+    "@react-three/fiber": "^9.6.1",
+    "@types/node": "^25.9.1",
+    "@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",
+    "eslint": "^10.4.0",
+    "react": "^19.2.6",
+    "react-dom": "^19.2.6",
+    "three": "^0.184.0",
+    "tsx": "^4.22.3",
+    "vite": "^8.0.0",
+    "vite-plugin-dts": "^5.0.1",
+    "vitest": "^4.0.0"
+  }
+}