Your free trial has ended.

Try the live demo or log in .

main


docs: record exact five-loop SpIRed comparison and surviving conics	1 month ago
Add bounded independent live family progress dashboard	1 month ago
Prune impossible definite-quadratic exceptional branches exactly	1 month ago
Record five-loop ordering outcomes and monitored campaign limits	1 month ago
bound source-weight probe memory with deterministic LRU reuse	1 month ago
record measured TIDE solves and exact nonlinear boundary diagnosis	1 month ago
document TIDE five-loop census and verified offline parent routings	1 month ago
add native source-weight reconstruction with exact row validation	1 month ago
Document native source-weight diagnostic and generic rank certificate	1 month ago
Record generic solver diagnostics and terminal census boundaries	1 month ago
Record censored generic backend controls and bounded proof follow-up	1 month ago
Publish generic total-excess native certificates and measured solver lim...	1 month ago
Align architecture capability summary with shipped weighted normalizatio...	1 month ago
Retain measured five-loop continuation timeout and preparation variance	1 month ago
Record audited partial five-loop checkpoint continuation	1 month ago

Agent Instructions

Click a suite to see its builds. Example suite for d8e71255 :

https://nix-ci.com/gh:alphal00p:rustred/main/d8e7125574bc63a02329adf62d1c9eb673e1ddea

This page is also available in machine-friendly formats. Request one with the Accept header:

curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:rustred/main
curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/main

For more instructions, fetch https://nix-ci.com/instructions .