Skip to content

fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal - #228

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/remove-false-runtime-assumptions
Oct 6, 2026
Merged

fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal#228
hyperpolymath merged 1 commit into
mainfrom
fix/remove-false-runtime-assumptions

Commits

  1. Commits on Oct 6, 2026