withdrawn
Withdrawn receipts
We signed these, then withdrew them. They are kept rather than deleted, so that the withdrawal is something you can check rather than something we assert.
A withdrawn receipt is not part of the record. It does not appear on the receipts board and is not counted in its figures. The full account of why these were pulled, and what it changed in our method, is in the errata on the methodology page.
arrow-451a3fe falsified
repo arrow
claimed the patch fixed it
effect coverage gate failed
why withdrawn The functional tests passed; only the repository’s coverage gate was unmet. A configuration artefact, not a failed effect.
record sha256:c86a507abbb3…
arrow-da6ed8c falsified
repo arrow
claimed the patch fixed it
effect coverage gate failed
why withdrawn The functional tests passed; only the repository’s coverage gate was unmet. A configuration artefact, not a failed effect.
record sha256:70f1d0ac1786…
Verify any of these yourself. The raw signed JSON is served verbatim at the link above, and the proof page has a copy-paste verifier that needs no software of ours.