Your free trial has ended.

Try the live demo or log in .

main


Add bounded modular source nomination for exact rule search	2 weeks ago
Add bounded cofinal planning and native delayed-weight projection	2 weeks ago
Preserve exact lower cuts in checked rule alternatives	2 weeks ago
Inspect saved source support and constrain exact rule search	2 weeks ago
Add exact symbolic source projection and compact refinement diagnostics	2 weeks ago
Add protected-source diagnostics and record finite kernel limits	2 weeks ago
Add exact protected-gradient rule nomination and mixed-chart evidence	2 weeks ago
Derive protected IBP source candidates from native family geometry	2 weeks ago
Record repeated five-loop rule optimization gains and validation limits	2 weeks ago
Add exact prescribed-source rule producer and five-loop controls	2 weeks ago
Add exact projected-source rule optimization diagnostics	2 weeks ago
Record first profile-directed source-combination target	2 weeks ago
Add campaign-guided rule profiling and matched-cohort controls	2 weeks ago
Launch profile-guided rule optimization program	2 weeks ago
Record audited frontier delivery and preserved HepKit integration	2 weeks ago

Agent Instructions

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

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

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 .