JARVISLabs

Governed FreeCAD STEP operations (booleans, split, offset, mirror, transform, fillet, faces, face extension, sealed hollow)

Edit real CAD geometry through fixed, isolated FreeCAD scripts, with a receipt for every operation.

INTEGRATED Recorded 22 September 2026. Advanced Systems branch, not merged into production.

Technical

What it is

jarvis/engineering/freecad.py fixed scripts + StepDerivations journal (PREPARED / CALCULATED / FILE_VERIFIED / REGISTERED) + ProjectRegistry revision compare-and-set with E-stop commit fences; every result carries evidence_class CALCULATION.

Truth ladder

Where it stands

Rung 4 of 8: INTEGRATED

Wired into the rest of JARVIS and tested across component boundaries.

Project record: INTEGRATED_TESTED_LIVE (integration handoff label)

  1. CONCEPT Designed or specified. No working code yet.
  2. IMPLEMENTED Code exists. Nothing has demonstrated that it behaves correctly.
  3. TESTED Automated tests exercise it in isolation, often against fixtures.
  4. INTEGRATED Wired into the rest of JARVIS and tested across component boundaries.
  5. PRODUCTION-REACHABLE The owner can reach it through the real runtime path, not only through a test harness.
  6. LIVE-PROVEN A bounded probe ran the real code path on a booted JARVIS on the real machine and recorded evidence. The project treats live evidence as expiring after 24 hours, so every live reading here shows the date it was taken.
  7. FORMALLY VERIFIED Its critical property is checked by a proof or exhaustive verification.
  8. RELEASE-QUALIFIED Passed every qualification gate for a named release.

Limits

Limitations

  • Real installed FreeCAD 1.1.x on synthetic boxes, spheres and cylinders. 'No caller-supplied Python is executed.' Not a revision DAG, general feature engine or natural-language CAD; split is not an atomic two-file transaction; selected-opening hollow and face annotations were committed with tests NOT RUN. Advanced Systems work lives on 2026-09-22 branches, not the production branch; most later commits are marked PENDING_PRIMARY_RELEASE under a measurement hold.

Record

Status history

  1. INTEGRATED Recorded state: INTEGRATED_TESTED_LIVE (integration handoff label)

Only states recorded in the public export are listed. Earlier states may exist in the project’s private ledgers.

Connected work

Connected work

Neighbours

Related capabilities