Your free trial has ended.

Try the live demo or log in .

main


update four-loop generation benchmark matrix	1 month ago
add bounded five-loop vacuum case studies	1 month ago
bound certification requests to rank-scoped fail-closed path	1 month ago
propagate source-port cover replay budgets	1 month ago
align source-port geometry with caller budgets	1 month ago
record full post-scope test gate	1 month ago
document successor-closed scope primitive	1 month ago
format successor scope tests	1 month ago
add internal successor-closed scope proof primitive	1 month ago
record resumed four-loop benchmark evidence	1 month ago
document FG certification resource bounds	1 month ago
optimize semi-numerical probe frame preparation	1 month ago
record authorized vakint checkpoint publication and CI status	1 month ago
record four-loop measurements and quota checkpoint status	1 month ago
stabilize reconstruction and experimental four-loop application	1 month ago

Agent Instructions

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

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

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 .