JARVISLabs

Native CalculiX solver under JARVIS’s worker

A real finite-element solve (CalculiX) run under JARVIS’s own worker lifecycle and resource limits, matching the closed-form answer.

TESTED Recorded 23 September 2026. Advanced Systems branch, not merged into production.

Technical

What it is

Tensile fixture: exit 0 in 0.609 s wall time and 45.4 MB peak memory inside a 35 s / 2 GB quota; displacement and stress matched the closed-form values at all 8 integration points.

Truth ladder

Where it stands

Rung 3 of 8: TESTED

Automated tests exercise it in isolation, often against fixtures.

Project record: TESTED + worker-level live proof; not production-reachable

  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

  • A worker-level proof, not a core or release qualification.
  • Recording solver results as their own simulated evidence class is still blocked.

Record

Status history

  1. TESTED First published state.

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