Skip to content

Independently replay #4534's noncommuting p16 identity in the free algebra: all 1,024 entries, chronology-sensitive (no new κ) - #4539

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:free-controller-replay
Oct 22, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:free-controller-replay

Independently replay #4534's noncommuting p16 identity in the free al…

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

Annotations

1 error
plan
failed Oct 22, 2026 in 3m 15s