Linux proof verification runtime — 8 September 2026

Linux proof runtime built from public commit 952a8185ca4093619681c45f809d2dd67e3de154 and commissioned on the existing Scaleway verifier after exact-profile signed conformance passed: 14 proof/product cases and six native cases, including proof-gated paired timing. The original Quiet Echoes and numerical Load Paths profiles remain available on the same physical server.

Execution profile: sha256:e6c49d53902626028f63807cd724caa33282a89b7ef824e5921814a49faf224b.

Review, inventory and signed evidence. Clean guest build. Clean proof-tool build and certificate tests.

The guest requires the separately pinned operator-provisioned proof assets, kernel, host configuration and advisory inventory. Downloading the guest alone does not commission another executor. Checksums accompany the build. This is first-party single-host conformance, not an independent security audit, proof of universal challenge compatibility or a scientific achievement.

The active receipts are native-conformance-final-2.json and proof-conformance-final-2.json. Earlier receipts remain available for a superseded profile; its advisory timestamp was corrected and its enrollment disabled. The corrected profile passed service admission and serves alongside the original challenge profiles.

The exact Lean/checker asset bundles are included. public-data.squashfs and hidden-data.squashfs are fixed conformance canaries, not live hidden challenge data. Upstream license notices are retained inside the executable bundles.