Skip to content

Independently execute #4440's controllers and #4447's native word on lifted operators and physical frames; check #4359's delayed cover (no new κ) - #4457

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Matarener:productive-controller-lift-audit
Oct 22, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Matarener:productive-controller-lift-audit

research/productive-controller-lift-audit: operator-level audit of #4…

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

Annotations

1 error
plan
failed Oct 21, 2026 in 2m 55s