Expand description
The corpus fold: joins recorded verdicts to observed build outcomes and reports how trustworthy the verdict is. The fingerprint pairs the two; this is a plain fold over the paired rows, run as needed, not a stored subsystem.
Structs§
- Corpus
Entry - One paired row: a verdict, its fingerprint, and the outcome it was
meant to predict.
coverageis the producing binary’s claims, so the fold routes bug-vs-gap against the row, not the running binary. - Eval
Report - The fold’s output.
- Forecast
Entry - One paired row: what triage predicted for a candidate and how the apply went.
- Forecast
Miss - Observed conflicting paths the forecast did not predict, the worklist row. Path-level, so a pick whose forecast called one path and missed another still surfaces the missed path.
- Forecast
Report - The forecast fold’s output. The rates are entry-level: a hit is an
entry that predicted any conflict and observed any conflict; which
paths matched is graded by
path_overlapandfalse_negatives. Forecasts are computed at triage against the then-current target tip, so false negatives partly measure tip drift, not forecast error. - Forecasted
Conflict - An apply conflict a forecast predicts: one path, its conflict kind.
Normalized to
RelativePathby the producer, unlikePredictedConflict, which keeps a losslessPathBuf. - Missed
Break - A break the verdict did not flag.
- Predicted
Conflict - A risky apply conflict a verdict predicts: one path, its conflict
kind. The path is the reason’s own
PathBuf, never dropped. - Ratio
- A measured rate kept as
hit/totalso the sample size is never lost behind a bare percentage.
Enums§
- Build
Outcome - What the build did once the pick landed. Only
CompilationFailedcarries a class: an apply conflict and a test regression are not symbol-class breaks. The class is the symbol that actually broke, which the consumer reads from the build error, not from the verdict. - Observed
Apply - How the pick actually applied.
OutOfBandlandings correlate with hard conflicts, so dropping them would bias recall toward easy picks.
Functions§
- evaluate_
corpus - Fold the paired corpus into accuracy rates and a missed-break list.
- evaluate_
forecasts - Fold paired forecast rows into accuracy rates and a missed-conflict worklist.
- paths_
match - Whether two paths recorded relative to different roots name the same
file: equal, or one is a
/-boundary suffix of the other. Many-to-one by design: a bareMakefilematches any path ending in/Makefile.