Expand description
The cargo oracle (rules O1–O4 in GATE_RULES.md): proves a plan with
real cargo check on a scratch copy. The real tree is never written.
Structs§
Functions§
- first_
error_ line - Cargo’s first error line in its stderr (
error: no matching package named ...), with the line after it when that carries the detail; else its last line that says anything;cargo failedwhen it said nothing.