Your free trial has ended.

Try the live demo or log in .

main


verify complete source-port vacuum rule sets against original IBPs	1 month ago
integrate exact disjunctive exceptional cases into the sector queue	1 month ago
add native exact disjunctive exceptional-case intersections	1 month ago
add source-port artifact ordering and exact sector-sign pruning	1 month ago
preserve exact coefficients on rational source-port case charts	1 month ago
Integrate affine SpIRed cases and validate full three-loop PM reference	1 month ago
Validate more SpIRed fixtures and add exact affine case geometry	1 month ago
Port linear-cut preparation and validate full fam1_11 parity	1 month ago
Add bounded sector parallelism and benchmark exact SpIRed parity	1 month ago
Port SpIRed sector solver and validate complete vac3 reference parity	1 month ago
Checkpoint audited SpIReD K6 completion engine	1 month ago
Build exact SpIReD target foundation	1 month ago
Adopt Gregor SpIReD implementation plan	1 month ago
Adopt Gregor SpIReD implementation plan	1 month ago
Document K6 closure research and explainer	1 month ago

Agent Instructions

Click a suite to see its builds. Example suite for 6d6a3fdd :

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

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 .