Proof

What is verified right now.

This page is the trust anchor for the public surface. It is built from checked artifacts in the repo rather than free-floating marketing copy.

Release provenance v0.100.3

Signature verified

Stdlib reliability 81/86

96 active entrypoints

GPU public contract 13/13

2 attested binary targets

Hyper execution 7/7

7/7 required native lanes passing

Flagship proof rail

This hub is the contract that binds the flagship routes.

GPU, climate, and neuro are the public proof objects. This page exists so the storefront can stay ambitious without lying about what is verified.

Release v0.100.3
GPU contract 13/13
Stdlib 81/86
01 Acceleration WebGPU provenance field

Makes the runtime and provenance thesis inspectable.

 02 Refusal Climate truncation object

Stops once ensemble confidence is no longer policy-grade.

 03 Diagnosis Neuroimaging signal gate

Discards sparse clusters before they become diagnostic theater.
These three routes are the storefront proof objects. The proof hub keeps their claims bounded and current. Open the proof hub
Current boundaries

What is still intentionally bounded.

  • Top-level gpu-emit is not in the checked artifact CLI
  • Intrinsic namespace is not yet part of the checked public surface
  • Allocation intrinsics are not yet part of the checked public surface
  • Sounio type checker does not infer `Option<i32>` from `Option::None` — bidirectional type inference required; compiler change needed
  • uses unsafe blocks, raw pointer types (*const u8), and byte literals (b'..') which are not supported in the current JIT
Source-of-truth artifacts

What this page is reading.

  • Release provenance artifacts/omega/souc_release_provenance.v1.json pass 2026-03-06T21:54:12.074165Z
  • GPU public contract artifacts/omega/gpu_public_contract.v1.json pass 2026-03-09T21:56:35.580973Z
  • Stdlib reliability status artifacts/stdlib/stdlib_reliability_status.v1.json pass 2026-03-17T09:28:56.393573Z
Release attestation

The currently surfaced core binary is signed.

The currently published release provenance artifact reports pass with the attested release at v0.100.3.

Open published binary artifact

89a161ce74f77b7e563aa1615494793b089b73efd63b0fd29f7828cf2dda582f
Runtime and language surface

What this means operationally.

The trust story is currently strongest where release provenance, stdlib reliability, and the public GPU contract intersect. That is the slice the site now foregrounds.

It does not claim that every research lane or internal surface is equally mature. The whole point of this hub is to make those distinctions legible.