Home / Formal-Verification Errata

Formal-Verification Errata

Transparency record of findings against previously-attested spec versions.

This page and its underlying feed inform trust in a spec version. They are never a dependency of receipt validity. A receipt issued against a spec digest verifies cryptographically offline, in full, whether or not this feed is ever fetched, whether or not it is reachable, and regardless of its content. Checking this feed is optional due diligence by the reader, never a verification step.
Machine feed: /errata.json Signing lane: SSHSIG, namespace [email protected] Signature: pending first entry Sigsum anchor: pending first entry
No errata have been published. This is the expected state for a newly-launched transparency surface: entries are appended here, and to /errata.json, only when a finding against a previously-attested spec version is identified.