Skip to content

Prove a one-sided connector barrier and certify a full escape word - #5673

Open
aliromman wants to merge 2 commits into
CrocSwap:mainfrom
aliromman:codex/crossed-connector-caller-20261026
Open

Prove a one-sided connector barrier and certify a full escape word#5673
aliromman wants to merge 2 commits into
CrocSwap:mainfrom
aliromman:codex/crossed-connector-caller-20261026

Preserve complete-word trap and bounded caller growth searches

c10f75f
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 51s