Your free trial has ended.

Try the live demo or log in .

916178df

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

Prove an obstruction-guided parametric boundary correction

Support explicit translated pinched source blocks while preserving exact source replay, guards, leading coefficients and default-off behavior. Record the successful strict100 trial and its unmeasured downstream cost.

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/916178df4784659a335ce770def796e25a4530fd/4e87e7e8-a7f4-4d33-b090-2536516f5bce

Wait for suite to complete:

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