This release turns rail voltage inference into measurable verification coverage.

Highlights:

• New derived.rail_coverage report section with coverage ratios, confidence counts, overall level, and warnings
• Compact scan output now reports rail coverage level and percentage
• New --rails alias for --explain-rails
• Detailed rail inference table with voltage, confidence, score, source, and warnings
• Voltage-based findings now include inference provenance in JSON when available
• Documentation and cheatsheet updated for current scan behavior, flags, exit codes, and report fields