feat(memory): implement TrajectoryRiskAccumulator and ImplicitConflictDetector#4386

Merged

bug-ops merged 3 commits into

mainfrom

shadow-memory-safety

May 18, 2026

Commits on May 18, 2026

feat(memory): implement TrajectoryRiskAccumulator and ImplicitConflictDetector
bug-ops
committed
fix(memory): resolve clippy float comparison and format string warnings in tests
bug-ops
committed
style(memory): apply nightly fmt to shadow/mod.rs
bug-ops
committed