FA-15050 / Numerics / Member archive

Negative radix encoding: nonnegative negative radix remainder · case 05

The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Input [integer, magnitude base>=2]; return most-significant-first digits 0..base-1 representing integer in radix -base. Bounds: |integer|<=100 and base<=8.

Why this case matters

Exact discrete arithmetic with observable algorithmic state; no floating point approximation is used.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
explicit oracle 0	`[-3, -2, -4]`	`[1, 4, 5, 2]`	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.