Finish Line
Auto Review proof metrics and background review evidence are mapped to Codex review/guardian primitives with fixtures before review implementation changes resume.
Current Status
State: Created from #397 parity ledger.
Deleted evidence from the pre-#390 tree includes code-rs/core/src/review_coord.rs, code-rs/core/src/review_store.rs, code-rs/core/docs/auto-review.md, code-rs/core/tests/review_coord_integration.rs, TUI review settings, and Auto Drive review snapshots.
Current main has Codex review surfaces such as review/start, reviewer mode, guardian review events, and review formatting, but old Every Code proof ledger semantics are not yet classified.
Acceptance Criteria
- Diff old
review_store.rs/review_coord.rs behavior against current Codex review/guardian surfaces.
- Classify each proof metric and background review guarantee as port, rewrite, covered, defer, or retire.
- Add parity fixtures for must-preserve proof artifacts before implementation ports.
- Do not rewrite current review coordination before the proof-metrics gap list is documented.
- End code-bearing slices with
./build-fast.sh passing cleanly.
Relationships
Finish Line
Auto Review proof metrics and background review evidence are mapped to Codex review/guardian primitives with fixtures before review implementation changes resume.
Current Status
State: Created from #397 parity ledger.
Deleted evidence from the pre-#390 tree includes
code-rs/core/src/review_coord.rs,code-rs/core/src/review_store.rs,code-rs/core/docs/auto-review.md,code-rs/core/tests/review_coord_integration.rs, TUI review settings, and Auto Drive review snapshots.Current
mainhas Codex review surfaces such asreview/start, reviewer mode, guardian review events, and review formatting, but old Every Code proof ledger semantics are not yet classified.Acceptance Criteria
review_store.rs/review_coord.rsbehavior against current Codex review/guardian surfaces../build-fast.shpassing cleanly.Relationships