ForgeCertify is a formal certification suite for CAD geometry kernels. Run 2,223 geometry tests against any B-rep kernel and get back a cryptographically signed result you can publish, audit, and reproduce.
2,223 passed · 0 failed
ForgeKernel · 2026-05-28 · Ed25519 verified
WHY THIS EXISTS
"Kernel quality" is usually a marketing claim. ForgeCertify makes it a verifiable fact.
Most CAD kernel bugs surface in production, on real customer geometry, years after a bad decision was made in the solver. ForgeCertify runs a formally defined test suite — with documented coverage of the 19 known topological naming failure modes, NURBS edge cases, and Boolean degenerate configurations — and produces a signed manifest you can verify independently. We run it on ForgeCAD before every release. You can run it on any kernel.
2,223 tests across 8 suites · 32 skipped (platform-specific) · 0 failures on ForgeKernel
412
tests
Union, intersection, and subtraction across degenerate, near-tangent, and coincident geometry. Edge cases that real models encounter.
387
tests
Vertex, edge, face, and shell integrity. Manifold and non-manifold tests. Winding order, surface normals, and orientation consistency.
298
tests
Degree, knot vector, control point precision, and continuity (G0/G1/G2). Degenerate surfaces and trimmed NURBS.
241
tests
Tolerance stitching, gap filling, duplicate face removal, and self-intersection repair. Input geometry sourced from real STEP imports.
196
tests
Persistent face/edge/vertex identity across feature edits. The naming problem is formally catalogued — ForgeCertify tests each of the 19 failure modes.
318
tests
STEP AP203/AP214/AP242, IGES 5.3, DXF, IDF, and native .SFC. Round-trip fidelity checks for all supported formats.
174
tests
Push/pull face, move edge, offset, taper, and history-free editing operations.
197
tests
Chord height tolerance, angular tolerance, and precision under floating-point edge cases. Validated against reference geometry.
ForgeCertify ships adapter implementations for these kernels. Bring your own for anything else — the adapter interface is documented and open.
Install ForgeCertify
pip install forgecertify — or clone the repo and build from source. The full test suite and all adapter shims are included.
Run against your kernel
forgecertify run --adapter your_kernel — the runner invokes all 2,223 tests via the adapter interface. Parallel execution; typical run time under 4 minutes on a modern laptop.
Receive a signed manifest
The runner produces a JSON result signed with your private key (or the ForgeCAD public key for reference). The manifest records every test outcome, duration, and platform metadata.
Publish or audit
Publish the manifest alongside your kernel release. Anyone with the corresponding public key can verify the signature independently. Skyfire publishes ForgeCAD's result on every release.