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 fv-policy-sign@ainumbers.co Signature: pending first entry Sigsum anchor: witnessed (empty tree)

The feed's own anchor

The feed carries a third-party anchor of its own, independent of any entry. Its current checkpoint (an empty tree, size 0) is included in the Sigsum transparency log at seasalp.glasklar.is, so the feed cannot be silently rewritten later: any future edit produces a new checkpoint that must be re-witnessed, and the witnessed checkpoint stays in the log as permanent evidence of what the feed said today. Only the hash goes to the log, so the feed's content stays off third-party systems. Verify offline with the Sigsum inclusion proof in the anchor record; the witness format is c2sp-tlog-proof-v1.

ainumbers.co/registry/errata
0
47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=
staleness: Past expires_at, treat it as unknown-refresh-needed — not as continuing to hold, and not as false either.

— ainumbers.co/registry/errata 3QvJ0SCyzLXzQKLFgYFtVX3Pa5DEUj87QvIFkcETetfSR6cjzktBoSCeiMn1EhIr5yAowZUsK3qakHi3LCq4DO+SzAM=

log	seasalp.glasklar.is (Sigsum, C2SP tlog)
witnessed hash	sha256:55f9e86b272fe9330b6f881787cbff6cbc0345cb8b613be6fa6fa1b72f975113
inclusion	leaf 61421 of tree 61422, root 1cb754a9…
checkpoint file	registry/errata/checkpoint

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.