Your free trial has ended.

Try the live demo or log in .

main


Refine affine endpoint cases and expose geometry work budgets	4 weeks ago
Record completed rank-ten dependency traces and resource diagnostics	4 weeks ago
Prune rank-empty cases before compact index conversion	4 weeks ago
Load complete candidate checkpoints into a shared reducer	4 weeks ago
docs: record six bounded five-loop campaign continuations	4 weeks ago
feat: refine affine-coefficient exceptional domains with native resultan...	4 weeks ago
docs: record successful rank-ten raised-power application checks	4 weeks ago
feat: expose candidate export budgets and preserve failure identity	4 weeks ago
feat: refine bilinear integer exceptional domains exactly	4 weeks ago
feat: retain finite rank-bounded candidate terminals	4 weeks ago
feat: add rank-scoped candidate generation and successor tracing	4 weeks ago
Document complete five-loop labelled routing census and rank scope	4 weeks ago
Prioritize rank-bounded five-loop coverage with sequential delivery gate...	4 weeks ago
Document TIDE exceptional-domain strategy and bounded five-loop probes	1 month ago
feat(solver): propagate definite guards and expose source-order diagnost...	1 month ago

Agent Instructions

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

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

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 .