THE MEMDANCE JOURNAL

Numeric semantics

Arithmetic contracts, rounding, and the scope of numeric evidence.

February 28, 2026Posted by Amaltas Bohra

Case Study: The Formula Was the Same. The Numeric Semantics Were Not.

A low-precision dot product, four candidate repairs, and a signed-zero error in the reference oracle.