Evidence-based compromise selection
“Show me a reasonable compromise” picks the design nearest the ideal among non-dominated candidates, under explicit weights, and shows every score.
LIVE-PROVEN , rung 6 of 8 Recorded 23 September 2026. Advanced Systems branch, not merged into production.
Technical
What it is
Only Pareto-frontier candidates compete; each objective is normalised over the frontier; the margin to the next candidate is shown, and ties are reported as TIED instead of being broken silently.
Truth ladder
Where it stands
Rung 6 of 8: 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.
Project record: COMPLETE, canonical live proof
- 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
- Candidates were recorded calculated designs.
- Proven on an isolated diagnostic core with synthetic test fixtures, not on the owner’s everyday runtime.
Record
Status history
- LIVE-PROVEN , rung 6 of 8 First published state.
Only states recorded in the public export are listed. Earlier states may exist in the project’s private ledgers.
Neighbours