57 lines
2.2 KiB
Markdown
57 lines
2.2 KiB
Markdown
|
# Sprint 178 Plan: Real Replay, Transaction Resume/Rollback, and GA Evidence
|
||
|
|
|
||
|
|
## Context
|
||
|
|
`docs/constructive_editing_runtime_plan.md` Phase D requires replay and
|
||
|
|
transaction tooling to validate real determinism/recovery evidence.
|
||
|
|
|
||
|
|
## Goals
|
||
|
|
1. Replay real run traces and compare deterministic outcomes
|
||
|
|
2. Resume/rollback constructive transactions against actual state transitions
|
||
|
|
3. Produce GA evidence packets from real replay/transaction runs
|
||
|
|
|
||
|
|
## Steps
|
||
|
|
|
||
|
|
### Step 1929: Real replay suite wiring to runtime traces (10 tests)
|
||
|
|
Primary files:
|
||
|
|
- `editor/src/mcp/RegisterSprint153Tools.h`
|
||
|
|
- replay diagnostics/runtime trace readers
|
||
|
|
|
||
|
|
Tests (10): replay launch paths, trace ingestion integrity, deterministic outcome
|
||
|
|
comparison, mismatch reporting, and schema-stable replay result packets.
|
||
|
|
|
||
|
|
### Step 1930: Real transaction resume/rollback execution (10 tests)
|
||
|
|
Primary files:
|
||
|
|
- `editor/src/mcp/RegisterSprint154Tools.h`
|
||
|
|
- `editor/src/graduation/ConstructiveTransactionSchema.h`
|
||
|
|
|
||
|
|
Tests (10): resume from checkpoint, rollback correctness, mixed-stage recovery,
|
||
|
|
state integrity checks, deterministic rollback ordering, and failure contracts.
|
||
|
|
|
||
|
|
### Step 1931: Real GA evidence packet generation (10 tests)
|
||
|
|
Primary files:
|
||
|
|
- `editor/src/mcp/RegisterSprint155Tools.h`
|
||
|
|
- `editor/src/graduation/ConstructiveReleaseCertificationPacketModel.h`
|
||
|
|
- `editor/src/graduation/MCPReplayDiagnosticsArtifact.h`
|
||
|
|
|
||
|
|
Tests (10): evidence packet completeness, replay linkage, recovery metrics
|
||
|
|
population, determinism score fields, and publication schema validation.
|
||
|
|
|
||
|
|
### Step 1932: End-to-end replay + rollback scenario suite (8 tests)
|
||
|
|
Add scenarios that force divergence then verify deterministic recovery path.
|
||
|
|
|
||
|
|
Tests (8): scenario reproducibility, successful recovery evidence, blocked-case
|
||
|
|
reason quality, and replay/rollback report compatibility.
|
||
|
|
|
||
|
|
### Step 1933: Sprint 178 Integration Summary (8 tests)
|
||
|
|
Add `editor/src/Sprint178IntegrationSummary.h`.
|
||
|
|
Record:
|
||
|
|
- `steps_completed=5`
|
||
|
|
- `replay_suite_uses_real_runtime_traces=true`
|
||
|
|
- `transaction_resume_rollback_is_stateful_and_real=true`
|
||
|
|
- `ga_evidence_derived_from_real_runs=true`
|
||
|
|
- `success=true`
|
||
|
|
|
||
|
|
## Architecture Gate
|
||
|
|
- GA evidence must be derived from real replay/rollback execution
|
||
|
|
- Determinism claims must be supported by reproducible trace comparisons
|