Recorded engineering trade spaces and calculation receipts
Compare design options against constraints and see the trade-off frontier, with every number stamped and archived.
INTEGRATED , rung 4 of 8 Recorded 22 September 2026. Advanced Systems branch, not merged into production.
Technical
What it is
RunRegistry (jarvis/engineering/registry.py): stamped values, constraint evaluation, EvidenceStore archive, trade_space via doe.pareto_front, resumable scale sweeps, HUD plots.
Truth ladder
Where it stands
Rung 4 of 8: INTEGRATED
Wired into the rest of JARVIS and tested across component boundaries.
Project record: IN-PROGRESS (matrix); integrated with two- and three-boot core/HUD proofs
- CONCEPT Designed or specified. No working code yet.
- IMPLEMENTED Code exists. Nothing has demonstrated that it behaves correctly.
- TESTED Automated tests exercise it in isolation, often against fixtures.
- INTEGRATED Wired into the rest of JARVIS and tested across component boundaries.
- PRODUCTION-REACHABLE The owner can reach it through the real runtime path, not only through a test harness.
- 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.
- FORMALLY VERIFIED Its critical property is checked by a proof or exhaustive verification.
- RELEASE-QUALIFIED Passed every qualification gate for a named release.
Limits
Limitations
- 'Nominal frontier is not feasibility, causal comparability, uncertainty propagation, a global optimum, design promotion or physical approval.' 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
- INTEGRATED , rung 4 of 8 Recorded state: IN-PROGRESS (matrix); integrated with two- and three-boot core/HUD proofs
Only states recorded in the public export are listed. Earlier states may exist in the project’s private ledgers.
Connected work
Connected work
- Demo A governed STEP union through FreeCAD, verified across a restart
- Changelog Recorded engineering trade spaces 22 Sept 2026
- Roadmap Merge Advanced Systems into production INTEGRATING
Neighbours