Skip to content

#47: close out the cutover; D5 restated: Processor owns the pin; goldens from co-core directly - #49

Merged
gregoryfoster merged 9 commits into
mainfrom
47-post-cutover-d5
Oct 10, 2026
Merged

#47: close out the cutover; D5 restated: Processor owns the pin; goldens from co-core directly#49
gregoryfoster merged 9 commits into
mainfrom
47-post-cutover-d5

#47 docs: CR 8 — spec §5's lockstep-era facts are dated to the cutover

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

Annotations

1 notice
lint
succeeded Oct 10, 2026 in 2m 8s