Kernel contracts
Live-head status is fetched from Hugging Face in this browser. A green match means only that the current public head still equals the reviewed revision—not that every higher-level claim is proven.
Loading checked contracts…
The investment thesis is verifiability, not asset count.
The flagship direction is the unified szl-kernels suite. Two dedicated artifacts are retained for compatibility. Seven kernels still have an open exact-GitHub-source binding; their immutable Hugging Face code is inspectable, but this interface does not invent provenance that has not been established.