Function record 

fn record() -> HealthState

The doses’ record. One that cannot be trusted is never read as empty: it is repaired (repair), and the doses due before are said not known.