FA-14490 / Numerics / Member archive

Repeating radix fraction: remainder transition · case 05

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

Member previewVariant 5 · 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	[[3, 10, 35, 122, 427, 1494, 5229, 18301, 64053, 224185, 784647, 2746264, 9611924, 33641734, 117746069, 412111241, 1442389343, 5048362700, 17669269450, 61842443075, 216448550762, 757569927667, 2651494746834, 9280231613919, 32480810648716, 113682837270506, 397889930446771, 1392614756563698, 4874151647972943, 17059530767905300, 59708357687668550, 208979251906839925, 731427381673939737, 2559995835858789079, 8959985425505761776, 31359948989270166216, 109759821462445581756, 384159375118559536146, 1344557812914958376511, 4705952345202354317788, 16470833208208240112258, 57647916228728840392903, 201767706800550941375160, 706186973801928294813060, 2471654408306749031845710, 8650790429073621611459985, 30277766501757675640109947, 105972182756151864740384814, 370902639646531526591346849, 1298159238762860343069713971, 4543557335670011200743998898, 15902450674845039202603996143, 55658577361957637209113986500, 194805020766851730231898952750, 681817572683981055811646334625, 2386361504393933695340762171187, 8352265265378767933692667599154, 29232928428825687767924336597039, 102315249500889907187735178089636, 358103373253114675157073123313726, 1253361806385901363049755931598041, 4386766322350654770674145760593143, 15353682128227291697359510162076000, 53737887448795520940758285567266000, 188082606070784323292653999485431000, 658289121247745131524288998199008500, 2304011924367107960335011493696529750, 8064041735284877861172540227937854125, 28224146073497072514103890797782489437, 98784511257239753799363617792238713029, 345745789400339138297772662272835495601, 1210110262901186984042204317954924234603, 4235385920154154444147715112842234821110, 14823850720539540554517002894947821873885, 51883477521888391940809510132317376558597, 181592171326609371792833285463110817955089, 635572599643132801274916499120887862842811, 2224504098750964804462207746923107519949838, 7785764345628376815617727114230876319824433, 27250175209699318854662044899808067119385515, 95375613233947615991317157149328234917849302, 333814646318816655969610050022648822212472557, 1168351262115858295893635175079270877743653949, 4089229417405504035627723112777448072102788821, 14312302960919264124697030894721068252359760873, 50093060363217424436439608131523738883259163055, 175325711271260985527538628460333086091407070692, 613639989449413449346385199611165801319924747422, 2147739963072947072712348198639080304619736615977, 7517089870755314754493218695236781066169078155919, 26309814547643601640726265433328733731591773545716, 92084350916752605742541929016650568060571207410006, 322295228208634120098896751558276988211999225935021, 1128033298730219420346138630453969458741997290772573, 3948116545555767971211485206588893105596990517704005, 13818407909445187899240198223061125869589466811964017, 48364427683058157647340693780713940543563133841874059, 169275496890703551765692428232498791902470968446559206, 592464239117462431179923498813745771658648389562957221, 2073624836911118509129732245848110200805269363470350273], []]	`[[], [3]]`	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.