FA-14488 / Numerics / Member archive

Repeating radix fraction: remainder transition · case 03

The exact repeating radix fraction result violates the stated contract at remainder transition.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Input [p,q,base], 0<=p<q, q>0, base2..10; return nonrepeating digit list and repeating digit list. Bounds: 2<=q<=19 and 2<=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	[[2, 5, 12, 30, 75, 187, 467, 1167, 2917, 7292, 18230, 45575, 113937, 284842, 712105, 1780262, 4450655, 11126637, 27816592, 69541480, 173853700, 434634250, 1086585625, 2716464062, 6791160155, 16977900387, 42444750967, 106111877417, 265279693542, 663199233855, 1657998084637, 4144995211592, 10362488028980, 25906220072450, 64765550181125, 161913875452812, 404784688632030, 1011961721580075, 2529904303950187, 6324760759875467, 15811901899688667, 39529754749221667, 98824386873054167, 247060967182635417, 617652417956588542, 1544131044891471355, 3860327612228678387, 9650819030571695967, 24127047576429239917, 60317618941073099792, 150794047352682749480, 376985118381706873700, 942462795954267184250, 2356156989885667960625, 5890392474714169901562, 14725981186785424753905, 36814952966963561884762, 92037382417408904711905, 230093456043522261779762, 575233640108805654449405, 1438084100272014136123512, 3595210250680035340308780, 8988025626700088350771950, 22470064066750220876929875, 56175160166875552192324687, 140437900417188880480811717, 351094751042972201202029292, 877736877607430503005073230, 2194342194018576257512683075, 5485855485046440643781707687, 13714638712616101609454269217, 34286596781540254023635673042, 85716491953850635059089182605, 214291229884626587647722956512, 535728074711566469119307391280, 1339320186778916172798268478200, 3348300466947290431995671195500, 8370751167368226079989177988750, 20926877918420565199972944971875, 52317194796051412999932362429687, 130792986990128532499830906074217, 326982467475321331249577265185542, 817456168688303328123943162963855, 2043640421720758320309857907409637, 5109101054301895800774644768524092, 12772752635754739501936611921310230, 31931881589386848754841529803275575, 79829703973467121887103824508188937, 199574259933667804717759561270472342, 498935649834169511794398903176180855, 1247339124585423779485997257940452137, 3118347811463559448714993144851130342, 7795869528658898621787482862127825855, 19489673821647246554468707155319564637, 48724184554118116386171767888298911592, 121810461385295290965429419720747278980, 304526153463238227413573549301868197450, 761315383658095568533933873254670493625, 1903288459145238921334834683136676234062, 4758221147863097303337086707841690585155], []]	`[[], [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.