Skip to content

Phase 0: harden completion semantics and terminal integrity - #48

Merged
SollanSystems merged 1 commit into
mainfrom
phase0/correctness-kernel
Jul 13, 2026
Merged

Phase 0: harden completion semantics and terminal integrity#48
SollanSystems merged 1 commit into
mainfrom
phase0/correctness-kernel

fix(kernel): all-required Succeeded semantics, immutable terminals, c…

c48f775
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar