Your free trial has ended.

Try the live demo or log in .

9ba2720b

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

Add exact projected-source rule optimization diagnostics

Validate input-driven Symbolica source projection, complete-tail replay and unchanged-order descent on unit controls and five campaign-derived points. Document non-vacuous forbidden-column experiments and remaining parametric and downstream gates.

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/9ba2720b0a4caddb6780120b09c0c4d4840baa0f/d80d8de2-5e79-499f-a7a4-110696a110af

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:alphal00p:rustred/main/9ba2720b0a4caddb6780120b09c0c4d4840baa0f/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 .