System HealthPENDING

This page has not fetched anything yet. Every attribute below reads PENDING until the verifier inside this file completes its own check in your browser: it fetches the health envelope fresh with a random 32-byte nonce, re-verifies every signature locally, and flips each row to its own verdict as each check finishes. Rows it never reaches are flipped to NOT PROVEN at the end of the pass. With JavaScript disabled this page stays exactly as it is: an honest list of things not yet checked.

This is a single self-contained file: the verifier, this stylesheet, and the pending markup above are one document, no service worker. Every verdict is computed in your browser and flipped into the rows above as its own check completes; the footer states what this file measured about its own served bytes.

This page has not yet hashed the bytes the server sent it; the measurement sentence appears here once the verifier has fetched this document once. A build-time identity pin for this document is published by the server outside this file (and, on a measured boot, in the UKI); the page never asserts whether its own bytes match it.