FA-11370 / Spreadsheet calculation semantics / Member archive

An unused IF branch propagates its error · case 05

A valid chosen value is replaced by an error from an unchosen branch.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

Each branch is a [numerator,denominator] integer division expression with both operands in the inclusive range -1000000 through 1000000. IF evaluates only its chosen branch, returning a binary floating-point quotient or #DIV/0! when its selected denominator is zero. This bounded model excludes overflow.

Why this case matters

This isolated spreadsheet model makes cell semantics explicit; it does not claim compatibility with every workbook engine.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
unused false branch error	`"#DIV/0!"`	`5`	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.