Your free trial has ended.

Try the live demo or log in .

main


Record audited durable finite-window lifecycle and R4 publication	5 days ago
Plan paged finite-demand census from completed R1 measurements	5 days ago
Document complete finite R1 trace and its persistence scaling requiremen...	5 days ago
Record native finite-demand gates and launch resource-governed R1 pilot	5 days ago
Track guarded finite-demand policy and durable restore validation	5 days ago
Record exact shared-prefix gains and incomplete R1 pilot limits	5 days ago
Explain unavailable cumulative closure telemetry in the dashboard	5 days ago
Partition finite input domains into exact native prefix windows	5 days ago
Reuse completed finite reduction work across exact batches	5 days ago
Record shared finite-demand implementation plan and Vakint delivery	5 days ago
Update delivery status for rational lowering and shared tracing	5 days ago
Add audited native finite-union trace diagnostic	5 days ago
Use exact rational arithmetic for numeric scalar lowering	5 days ago
Record exact Vakint lowering speedup and finite-trace audit	5 days ago
Guard retention of all factorized census classes in entry planning	5 days ago

Agent Instructions

Click a suite to see its builds. Example suite for 56408a2d :

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

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 .