# Zaxy Beta Roadmap

Zaxy's beta goal is to prove the product thesis: **Git for LLM memory**. A session with Zaxy should have durable, cited, replayable memory that materially improves long-running work compared with a session without Zaxy.

## Current Beta Posture

- Clean-repo onboarding is gated by `scripts/beta-uat.sh`.
- `zaxy doctor --beta-readiness` verifies release metadata, release gates, clean-repo UAT coverage, happy-path docs, deterministic capture docs, this roadmap, and beta release criteria.
- Deterministic Codex capture is the default local path. Packet capture remains optional diagnostics, not the default memory path.
- Memory Bootstrap and Memory Checkout are the model-facing contracts for discovering capabilities and retrieving cited current context.

## Remaining Work

1. **MemPalace-comparable benchmark lanes**
   - The temporal recall lane is implemented as `--workload temporal-recall` with a frozen workload fingerprint and citation-coverage reporting.
   - The source recall lane is implemented as `--workload source-recall` with target/distractor source paths and source-recall reporting.
   - The graph traversal lane is implemented as `--workload graph-traversal` with goal-task-completion path cases.
   - The context-collapse lane is implemented as `--workload context-collapse` with noisy transcript turns plus compact checkpoint recovery cases.
   - `zaxy benchmark-inventory` emits the frozen workload versions, SHA-256 fingerprints, event/query counts, product claims, and required metrics for all four lanes without requiring Neo4j or provider quota.
   - Benchmark guardrails are implemented with `zaxy benchmark-compare` for mean score, citation coverage, p95, p99, and baseline latency regressions.
   - Keep workload fingerprints frozen and disclose where synthetic workloads do or do not compare to external systems.

2. **Maintained adapter expansion**
   - CrewAI native-preview is implemented as a dependency-light adapter for task lifecycle callbacks.
   - Use LangGraph and CrewAI adapter usage to decide whether AutoGen or model-facing Codex/Claude Code UX is the next maintained path.

3. **Capture soak**
   - `zaxy capture-soak` reports deterministic capture coverage, latest seq/hash, stale lanes, missing lanes, and beta pass/fail status.
   - Run long local sessions with deterministic capture enabled and archive capture-soak output as release evidence.
   - Turn repeated capture gaps into concrete doctor or hook-status checks.

4. **Memory quality hardening**
   - Source-backed graph projection now creates `Source` nodes and deterministic `CITES_SOURCE` edges from projected entities and Eventloom events.
   - Entity reassertions now create deterministic `SUPERSEDED_BY`/`PREVIOUS_VERSION` edges between immediate temporal versions.
   - Lifecycle observations with explicit task ids now create task-to-observation edges for commands, file edits, tool calls, and checkpoints.
   - The graph projection contract now has first-class inferred-edge audit metadata: `inferred`, bounded `confidence`, `inference_method`, and namespaced evidence properties.
   - Explicit `inference.edge.generated` events now project auditable inferred edges without free-text relationship guessing.
   - Task completions that explicitly cite a decision Eventloom event now generate `likely_implemented_decision` inferred-edge events.
   - `zaxy memory inferred-status` now reports inferred-edge totals, method distribution, confidence statistics, evidence coverage, source-event gaps, and representative samples.
   - Graph traversal now applies source-aware inferred-edge trust scoring, downweighting uncited inferred paths and exposing trust metadata in score explanations.
   - Memory Checkout now summarizes inferred graph-path reliance in `inferred_context` diagnostics and prompt guidance.
   - Local Neo4j UAT now proves inferred edges flow from Eventloom append through graph traversal into Memory Checkout with relation labels and inference methods intact.
   - Continue improving graph traversal density by adding generated inferred edges only when provenance and confidence are defensible.
   - Keep Eventloom provenance as the source of truth; do not fake graph density.

5. **Beta documentation pass**
   - Keep the install -> init -> bootstrap -> capture -> checkout path short and deterministic.
   - Move optional packet analyzer setup into clearly marked advanced diagnostics.
   - Keep troubleshooting focused on real failure states: Neo4j, capture watcher, MCP process duplication, and missing observation lanes.

## Beta release criteria

Before beta, all of the following must be true:

- `scripts/beta-uat.sh` passes from a fresh throwaway workspace.
- `zaxy doctor --beta-readiness` reports `ok`.
- CI is green for Python 3.11, 3.12, and 3.13.
- Coverage remains above the configured ratchet and above 90%.
- All four MemPalace-comparable benchmark lanes beyond identity recall are implemented, inventoried with `zaxy benchmark-inventory`, and documented.
- At least one maintained non-LangGraph adapter path has docs, tests, and a working handoff pattern.
- A capture soak report shows deterministic capture staying active across a long session or records the exact gaps that remain.

## Non-Goals For Beta

- Hosted multi-tenant memory storage. Remote storage can live in a separate product or repository later.
- Making packet capture mandatory. It can increase provider cost and should stay opt-in.
- Hiding uncertainty. Checkout quality, citations, warnings, and degraded states should remain visible to the model.
