Explainable action plans
Explainable action plans.
TESTED , rung 3 of 8 Recorded 19 September 2026
Technical
What it is
jarvis/cognition/compose.py, orchestrate.py, presenter.py persist bounded intent terms.
Truth ladder
Where it stands
Rung 3 of 8: TESTED
Automated tests exercise it in isolation, often against fixtures.
Project record: IMPLEMENTED (body state, CURRENT_BODY_EVIDENCE_MATRIX.md 2026-09-19 @23f2f945); ledger row status IN_PROGRESS
- 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
- Restart requires fresh exposure; exact plan journeys remain. Focused tests and integrated code, not a release qualification; the formal post-LM row remains open unless noted.
Record
Status history
- TESTED , rung 3 of 8 Recorded state: IMPLEMENTED (body state, CURRENT_BODY_EVIDENCE_MATRIX.md 2026-09-19 @23f2f945); ledger row status IN_PROGRESS
Only states recorded in the public export are listed. Earlier states may exist in the project’s private ledgers.
Connected work
Connected work
- Roadmap Production reach for the intent ledger TESTING
Neighbours
Related capabilities
- Single JARVIS identity over silent specialists Many specialists may work behind the scenes, but you talk to one JARVIS.
- Bounded specialist decomposition Big tasks are split among bounded specialist roles.
- Stalled/looping agent detection A stalled or looping agent is detected.
- Independent verification of specialist results Specialist results are independently checked before they are trusted.