Your free trial has ended.

Try the live demo or log in .

37dcdc00

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

Expose bounded Symbolica source-weight reconstruction for target projections

Reuse the existing reconstruction engine for explicit forbidden columns while preserving full exact source products, original coefficient contexts and typed resource failures. Keep production defaults unchanged and record corrected-bank and cost-block evidence.

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/37dcdc001a8ee7ec696af72a0f2509d95721c3b1/6409d0b0-15e2-459d-ae3f-512de6ef1361

Wait for suite to complete:

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