Skip to content

Prove a typed inverse-commutator exclusion for the PR5660 rewrite delta - #5685

Open
Clear1nsight wants to merge 1 commit into
CrocSwap:mainfrom
Clear1nsight:codex/p104-typed-delta-commutator-exclusion
Open

Clear1nsight wants to merge 1 commit into
CrocSwap:mainfrom
Clear1nsight:codex/p104-typed-delta-commutator-exclusion

Prove a typed inverse-commutator exclusion for the PR5660 rewrite delta

77ee317
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 26, 2026 in 3m 42s