Skip to content

Research: sharp k8 factory register bound and target frame barriers (no new kappa) - #1140

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/k9-mutable-leaver
Oct 14, 2026
Merged

Research: sharp k8 factory register bound and target frame barriers (no new kappa)#1140
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/k9-mutable-leaver

Prove a sharp k8 factory register bound and target frame barriers

8e2e18b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 14, 2026 in 40s