FA-348 / Floating-point arithmetic / Member archive

A geometric-mean product overflows although the result is finite · case 03

Multiplying observations produces infinity or zero even when their geometric mean is a representable positive number.

Member previewVariant 3 · 3 implementations · 9 checks per implementation

Case contract

For a nonempty sequence of finite positive floats, return a logarithm-based geometric mean formatted with ten significant digits. Empty input or any nonpositive observation returns None. Fixtures remain within the representable range of the final mean.

Why this case matters

Multiplicative metrics and ratios can span enormous ranges while their mean stays ordinary. Bounding an intermediate product changes the statistic rather than stabilizing it.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
finite mean despite overflowing product	`"inf"`	`"1e+150"`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.