Memory consolidation, supersession and forgetting
Memory consolidation, supersession and forgetting.
TESTED , rung 3 of 8 Recorded 19 September 2026
Technical
What it is
Forgetting reaches derived copies; consolidation driven by the idle-cognition row (jarvis/memory/router.py, stores.py).
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
- Exact memory 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
Neighbours
Related capabilities
- Evidence store Evidence behind claims and actions is stored alongside them.
- Memory router (the only write path) All memory writes go through one gate.
- Governed forgetting with owner-visible purge Forgetting is governed, visible to the owner, and actually deletes.
- Corruption detection with fail-closed refusal to substitute empty state If a memory store is corrupted, JARVIS refuses to pretend it is empty.