6c6d7e2e

Explain finite rule-search misses with exact Symbolica dual witnesses

Keep diagnostics default-off and separate from rule authority. Record 138 passing tests, the replayed two-column obstruction, and the next witness-directed source-selection hypothesis.

Co-authored-by: Codex <noreply@openai.com>

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/6c6d7e2e1a952384975da97b677d907a998a94c6/a8ec985c-de82-4685-81e5-73ae723f2c89

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:alphal00p:rustred/main/6c6d7e2e1a952384975da97b677d907a998a94c6/wait

This page is also available in machine-friendly formats. Request one with the Accept header:

• curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:rustred/main/6c6d7e2e1a952384975da97b677d907a998a94c6
• curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/main/6c6d7e2e1a952384975da97b677d907a998a94c6

For more instructions, fetch https://nix-ci.com/instructions .