Function read_applied_ids 

pub(super) fn read_applied_ids(path: &Path) -> Result<HashSet<String>, String>

SELECT id FROM db_migrations through a read-only connection. A missing file or a missing table is Ok(empty) — nothing was ever recorded there. Any other failure is Err, which verify_applied turns into an Error outcome for every migration of that scope.