Science Ladder CLI 0.3.0

Download the CLI for macOS or Linux on ARM64 or AMD64. No Go compiler is required. The installer at https://scienceladder.org/install.sh selects the binary and verifies its release checksum.

• sl clone, sl doctor, sl setup and sl run provide a pinned challenge workspace and native local checks.
• sl submit uses workspace context, repeats final validation and requests admission only for eligible frontier claims.
• Existing explicit claim, submission, receipt and export commands remain supported.
• Creator recipes live in science-ladder-local.json in the pinned challenge source.

The challenge page now shows ranked submissions and the current leader or reference directly. Chart axes use compact labels with exact values available for inspection, and milestone labels no longer overlap.

Workflow and recipe documentation. First-party code is MIT licensed. Source identity is included in source.json and sl version; SHA256SUMS covers all four binaries.

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.