"""Extension of predictive_index_scaling_probe.py (unedited, imported)
for THE COLLISION LADDER's open question: does the first-collision
horizon keep getting pushed out without bound as (L, M) grows, or
does it plateau?

Answers the trailhead note's three offered knobs together: pushes N
past 2M (to 6M), pushes L past 14 and M past 486 (two new rungs,
continuing the ladder's own alternating x2/x1.5 pattern: 486*2=972,
972*1.5=1458 -- 1458 also being THE HORIZON VOTE's own outermost
modulus, an unplanned rhyme with the mod-6 tower region). Reuses
build_q and probe exactly as deposited; only N_MAX and WINDOWS widen.
"""

from predictive_index_scaling_probe import build_q, probe

N_MAX = 6_000_000
WINDOWS = [(6, 54), (8, 108), (10, 162), (12, 324), (14, 486),
           (16, 972), (18, 1458)]


def main():
    print("building Q(1..%d) ..." % N_MAX)
    Q = build_q(N_MAX)
    print("Q TOTALITY WITNESS: every value positive and defined through n=%d"
          " (prior recorded bound: 2,000,000)" % N_MAX)
    print("\n L |    M | verdict    | first-collision n | witness")
    for L, M in WINDOWS:
        verdict, n, pn, pnxt, nxt = probe(Q, N_MAX, L, M)
        if verdict == "COLLISION":
            print(" %2d | %4d | COLLISION  | n=%-15d | (n1=%d,next=%d) vs (n2=%d,next=%d)"
                  % (L, M, n, pn, pnxt, n, nxt))
        else:
            print(" %2d | %4d | SURVIVED   | past N_MAX=%-9d| no collision found through this horizon"
                  % (L, M, N_MAX))


if __name__ == "__main__":
    main()