Mixed-decimals math without explicit scaling

Evidence summary #

$M uses 6 decimals; all rate model math uses explicit indexed scaling via ContinuousIndexingMath. No multi-token collateral deposit path (collateral is off-chain). No mixed-decimal scenario in core mint/burn math. Certora FV would flag arithmetic divergences.

Sources #

Methodology #

Determine whether shared numerator/denominator arithmetic operates over tokens with different decimals without WAD/RAY normalization or explicit decimal-adjustment.

See the full factor methodology and distribution across all protocols →