Every claim above is re-derivable from public machine artifacts. Fetch, hash, and check the Bitcoin attestation with any OpenTimestamps client.