Your free trial has ended.

Try the live demo or log in .

b2426431

By: ValentinHirschi <valentin.hirschi@gmail.com> 

Add bounded cofinal planning and native delayed-weight projection

Keep both research policies optional and preserve exact replay, guard, and export gates. Record completed controls and censored large-bank evidence without a campaign-speed claim.

Co-authored-by: Codex <noreply@openai.com>
GitHub
Dependencies Timing

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://nix-ci.com/gh:alphal00p:rustred/main/b2426431aa177ff0889128580b345f4bf3da4e07/eccbbc65-0743-4f8f-ab47-94c941cf28b3

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:alphal00p:rustred/main/b2426431aa177ff0889128580b345f4bf3da4e07/wait

This page is also available in machine-friendly formats. Request one with the Accept header:

For more instructions, fetch https://nix-ci.com/instructions .