Your free trial has ended.

Try the live demo or log in .

306e8182

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

Add boundary-constrained source search and routed cancellation diagnostic

Retain full source replay while allowing no-raising endpoint constraints. Add a research-only one-parent Symbolica-weighted routing observer, with ten focused tests and a complete 330-term native witness showing 26 exact cancellations. Record 117 selector tests, negative corrected-source results, and literature-backed next objectives without claiming campaign speedup.

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/306e81827ad45624c64b6cabfb89d96082d14994/a6796ae7-3677-4ee5-8bcb-644407f7fb07

Wait for suite to complete:

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