<div dir="auto">To throw a few logs onto the "verification" fire:<div dir="auto"><br></div><div dir="auto">* A single example of a reproduction does not convey the ability for anyone to do the same, even given the same exact environment. Non-determinism in some input or in the build itself could spuriously cause a success in spite of the build not being reproducible to another party. I think the concept of reproducibility becomes blurry when we start considering many parties and diverse environments and so the idea of validating the property should reflect that.</div><div dir="auto">* Whether it is practical to reproduce a build may (and, likely, will) change over time. Build inputs / environments may become unavailable or costly to acquire so it may not be feasible to verify a given artifact. The ability of someone to actively demonstrate a reproduction (maybe "verifiable" versus "verified") seems an equally valuable asset as the point-in-time measure that's currently proposed.</div></div>