Paste a Khipu receipt / DSSE envelope / in-toto statement (or load the sample) and submit it to the live a11oy verify endpoint. Unsigned → STRUCTURAL-ONLY (advisory, never a false green). Verifies receipts / DSSE / in-toto — not arbitrary text. Λ = Conjecture 1.
curl -sL https://huggingface.co/spaces/SZLHOLDINGS/cosmos/resolve/main/index.html | sha256sum
window.huggingface variables <script> into <head> of the served page, so the in-browser hash can differ from the source hash by exactly that banner — diff the two documents to see it. Distrust only differences beyond that. Doctrine v11.