fn check_write_requirements(
summary: &mut PreflightSummary,
requirements: &[WriteRequirement],
) -> Result<(), Report>fn check_write_requirements(
summary: &mut PreflightSummary,
requirements: &[WriteRequirement],
) -> Result<(), Report>