Your free trial has ended.

Try the live demo or log in .

main


Observe complete native rule boundaries before campaign reuse	2 weeks ago
Add target-template rule search and shared-policy research	2 weeks ago
Record shared-work negatives and target-aware rule-search research	2 weeks ago
Normalize boundary proposals through exact original-source weights	2 weeks ago
Add bounded boundary-polynomial rule search and document four-loop refus...	2 weeks ago
Retain exact saved-rule circuits for bounded program optimization	2 weeks ago
Record boundary diagnostics and regional rule optimization research	2 weeks ago
Extend cofinal source nomination to independent orthants	2 weeks ago
Record lower-sector source proof and shared-graph diagnosis	2 weeks ago
Record failed parent-rule optimization and lower-sector discovery	2 weeks ago
Add exact positive-power envelope for rule discovery	2 weeks ago
docs: record exact H55 recovery and negative shared-work result	2 weeks ago
Add reconstructed target projections and fresh ordinary-source certifica...	2 weeks ago
Expose bounded Symbolica source-weight reconstruction for target project...	2 weeks ago
Fix source recenter nominations and compact exact target frames	2 weeks ago

Agent Instructions

Click a suite to see its builds. Example suite for 946d1ac9 :

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

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 .