You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Why/how contract for checkpoint memory evaluation without runtime dependency.
tags
alphax
memory
prd
Checkpoint Memory Evaluation PRD
objective: prove remembered/project-local state is current, evidence-backed, and action-guiding at checkpointsp0_flow: checkpoint -> evidence-bounded state call -> memory quality evaluation -> next actionp0_dependency: no runtime, RPC, backend, scheduler, or persistent memory servicefailure_modes_addressed:
- stale summary re-entry
- old decision kept after user changed direction
- remembered state cited without evidence boundary
- recap that does not change next actionP0 Capability Scope:
adds: [one evaluation loop, one template]does_not_add: [runtime backend, storage adapter, global memory writes, scheduler, connector, approval engine]evidence_inputs:
- live source files, specs, contracts, tests, changelog, git state, command output
- target ignored .alphaX/project-context.md when present
- target ignored .alphaX/evidence.md or .alphaX/decisions.md when referenced
- source checkout ignored .alphaX/process/ for source work/review only
- explicit user decisions and acceptance notes
- artifacts, URLs, attachments available in active invocation
- prior memory notes only when host already provides themconflict_rule:
remembered_state: evidence to verify, not authoritywins: live source and newer explicit user decisionsdimensions:
re-entry memory: recover current P0, boundary, risks, next actionupdate memory: downgrade or replace superseded direction, terms, conclusionsevidence memory: trace judgments to files, commands, URLs, artifacts, user decisionsaction memory: turn current state into useful next actionmemory_lifecycle:
representation: state the claim, evidence pointer, action use, and confidenceextraction_reason: map every candidate to re-entry, update, evidence, or action continuityretrieval_path: name where a future agent should find it and what trigger should retrieve itupdate_or_expiry_rule: state what newer evidence, decision, command, or time boundary makes it staleverification_method: require live source, command output, artifact, URL, or explicit user decision before reuse
DynamicMem Reference And Borrowed Ideas
research_anchor: https://arxiv.org/abs/2606.22877borrow:
- evaluate memory across checkpoints
- test stable facts and changed facts
- separate delivered evidence failures from final wording failures
- ask current real state and next action at every checkpointadapt:
DynamicMem quarterly checkpoints: project/source lifecycle checkpointsuser profile facts: project claims, source decisions, risks, boundaries, evidence pointers, next actionsremembered user correctness: [re-entry memory, update memory, evidence memory, action memory]evidence_cutoff: later evidence may update but must not be backdateddo_not_borrow:
- personal-assistant taxonomy
- exact dataset or scoring pipeline
- infrastructure-before-evaluation assumption
Rubric
calls: [pass, partial, fail]rule: pass requires non-empty checkpoint-allowed evidencerubric:
re-entry memory:
pass: current P0, boundary, main risks, next action recoveredpartial: key boundary/risk/action still needs confirmationfail: repeats background or relies on stale/non-checkpoint evidenceupdate memory:
pass: superseded direction/term/claim visibly downgraded or replacedpartial: new direction noticed but old claim still mixed infail: old direction remains active after newer evidence or user decisionevidence memory:
pass: material judgments point to allowed evidencepartial: important judgments weakly sourcedfail: memory-only assertion or missing source pointeraction memory:
pass: concrete next action, validation, blocked decision, or evidenced no-oppartial: plausible move with unclear owner/evidence/validationfail: history summary onlyhow_it_works:
- choose surface and checkpoint
- define evidence cutoff
- inspect live source and available local data
- separate observed evidence, inference, remembered state, missing evidence
- fill templates/checkpoint-memory-evaluation.md
- choose next action, source change, project review, or P1/P2 parkingacceptance_signals:
- AGENTS.md states checkpoint evaluation executable without runtime dependency
- alphaX/operating-system.md defines evidence-input loop
- template records evidence, calls, gaps, next action
- template records memory lifecycle, retrieval, expiry, and verification path
- verifier requires PRD and template
- local process report can evaluate source iterations when local data is useddeferred_decisions:
- whether applied evidence justifies adapter or dedicated runtime
- whether future release adds helper commands for evidence capture
- which evidence fields become project-pilot convention