You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A deterministic decision kernel with a field-enforced equivalence contract: the same C file runs as phone shadow, MCU actuator, and offline replay — 11k+ real-world steps, zero divergences. Cycling safety cue is the demonstrator.