Expand description
Executable merged-vs-both-parents differential testing (D23).
The same explicit command runs in three caller-supplied trees. A failure is merge-specific only when both parents pass and the merged tree fails. If a parent already fails, the observation is inconclusive rather than evidence about the merge. This is intentionally smaller than a test orchestrator: callers own checkout/sandbox construction, while this module fixes the classification and calibration semantics shared by queue implementations.
Commands are argv, not shell strings, and the environment they run in is explicit: the child sees exactly the map the caller passes, never this process’s inherited variables. Execution is synchronous and adds no runtime or dependency.
Structs§
- Calibration
- Count-based false-positive calibration for differential failures.
- Differential
Report - Complete three-revision receipt for one command.
- Observation
- One command’s process outcome in one revision tree.
Enums§
- Verdict
- What the three executions establish about the merge.
Constants§
- CONFIDENCE_
MIN_ EVALUATED_ MERGES - Minimum conclusive sample for the fixed 95% zero-spurious confidence rule.
Functions§
- confidence_
policy - Frozen statistical rule attached to every calibration receipt.
- run_
merged_ vs_ parents - Runs one explicit command in both parent trees and the merged tree.