Function forward_unchanged 

fn forward_unchanged(
    unit: &Unit<'_>,
    engine: &mut Engine<'_>,
    report: &Reporter<'_>,
) -> (Plan, bool)

The refusal path’s write: the unit goes out unchanged, through the same fork an admitted Action::Pass takes.