Function version_of 

pub fn version_of(bytes: &[u8]) -> String

The version stamp a caller must present: the content’s whole cas:b3-<hex64> Locator. read prints the same value and plan finish takes it as evidence, so a model copies one string between three tools and never shortens or completes it (kernel spec/Locator.lean D27).