Open Issues Need Help
View All on GitHubA 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.
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.
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.
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.
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.