pub fn core_hash(record: &Path) -> Result<Hash, String>Expand description
SystemState.core_hash (P19): the hash of the recorded core-hash file’s
bytes. Zero only when there is no record (a development build); any
other read failure is an error, never a value (§18 rule 21). A damaged
record is the watchdog’s integrity finding (I2), not this.