Your free trial has ended.

Try the live demo or log in .

89a19b28

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

Add exact symbolic source projection and compact refinement diagnostics

Preserve original-source replay, guards and common-order descent while exploring finite source banks. Add selective kernel support, bounded native ingress, typed descent feedback, and independently audited negative and transfer measurements.

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/89a19b285cb3483f5f2048423c0d58978ac5d3ea/4d7139a3-c53b-4e84-aa1d-8168e8ed7b5f

Wait for suite to complete:

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