Q=339949771344778; S=1000000000000000
input | Q*input | next | remainder
399 | 135639958766566422 | 135 | 639958766566422
135 | 45893219131545030 | 45 | 893219131545030
45 | 15297739710515010 | 15 | 297739710515010
15 | 5099246570171670 | 5 | 99246570171670
5 | 1699748856723890 | 1 | 699748856723890
1 | 339949771344778 | 0 | 339949771344778
ORBIT=399,135,45,15,5,1,0
RECOVERED=399
PASS: worked ledger, zero seed, quotient ambiguity, and exact recovery
PASS: 14 rejection controls, valid suffix, and binary64 loss example
PASS: all 32768 seeds and every unpadded transition
MAXIMUM_STEPS=10
TOTAL_TRANSITIONS=300871
DOMAIN_SHA256=804ac6ba40a63a0596bc577d0721e98000c30e2a00e4a9173d3749e8d7adf059
PASS: 81-digit seed round trip
PASS: downloaded site Python ledger and reverse on all 32768 seeds
RESULT=PASS
