Your free trial has ended.

Try the live demo or log in .

main


Prepare reusable successor scopes and locate proof failures	1 month ago
Retain exact certification domains and add rank-scope foundations	1 month ago
Document certification completeness research and matched benchmark proto...	1 month ago
Separate candidate generation from independent certification	1 month ago
Refine affine guard proofs and expose predicate atom policy	1 month ago
Document semi-numerical certificate research and exact witness experimen...	1 month ago
Refine native guard conjunction and finite-axis coverage proofs	1 month ago
Consume full original-domain guard proofs for coordinate cells	1 month ago
Expose explicit publication and cold-load proof resource policies	1 month ago
Refine affine guards using actual chart and cell support	1 month ago
Refine joint guard zeros with native constant contradictions	1 month ago
Reuse bounded native predicate consistency results	1 month ago
Discard proven root-free univariate exceptional branches	1 month ago
Prove affine guard implications and reuse bounded predicate restrictions	1 month ago
Preserve affine exclusions in rule proofs and prune cover contradictions	1 month ago

Agent Instructions

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

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

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 .