vvsandClaude Opus 5
862feaff86
Point 1. The base step's order is Muller's 1.839, not 2: the derivative of the parabola through
the last three points errs by f'''/6 (x_n - x_{n-1})(x_n - x_{n-2}) = O(e_{n-1} e_{n-2}).
order_high_precision.py (3000 digits, to 1e-2900): 1.840 on cos x - x, e^x - 2, x^3 - x - 2,
sin x - 1/2; 2.000 only on x^2 - 2; two-point 1.618. The double-precision medians (2.000, 1.94)
are removed from the text.
Point 3. Every protocol number is re-scored under the criterion of section 9 - a sign change
within 1e-6 or f(x) == 0. rescore_uniform.py re-runs all 2779 distinct configurations of the 25
protocol sweeps on APS and CHA (the runs did not keep x) -> sweep_uniform.json, same row format;
it reproduces the APS/CHA lines of Table 10 exactly (built-in check). verify_article.py,
audit_similarity_places.py and the gap diagnostics read the re-scored data; the multiplier and
endowment measurements score by the same criterion. Table 7 (two criteria side by side) is gone;
7.3 now explains why the criterion is a sign change. Consequences stated in the text: the base
rule 2634 / 2357 against Chandrupatla 2595 / 1505 (1.5% behind on APS, no longer "level"); A'
2259 / 1074 (12.9% and 28.6% below Chandrupatla); the defect reading 2351 is second to the
shape reading 2337, not the record; the remembered analogy is level with no regime (2633 vs
2634) under this criterion; Table 9a's range is 19% to 425%.
Point 8. report_sweep.head_to_head counts every problem, failures charged (it counted only the
problems both methods solved, which is why Table 8 rows summed to 153 and 40). Family-level
comparisons added (A' vs Chandrupatla 8/1/6 of 15 and 7/0/2 of 9 families, not significant), and
an independence paragraph in section 9.
Point 11. sweep_itp.py: ITP (recommended constants and per-problem oracle) on all six corpora ->
Table 10; behind A' on every corpus, 0 bound violations.
Points 7, 9, 10 and the internals: the 2x bound is ours, not the rivals' promise; the law
predicts the group order only; "outside the proven bracket" explained (narrowest bracket of all
observed signs); 7.4's fun1 paragraph corrected (five costs under safe; the unguarded numbers
belong to fun1.4, fun1.5 and to fun3.1, fun5.1 separately); Table 1's last cell; the corpus-4
composition and odd multiplicities stated, also in the abstract.
build_tex.py: pdflatex output decoded with errors="replace" (a UTF-8 character cut by TeX's log
wrap crashed the build). Table 10 column widths rebalanced.
Checks: verify_article on the server 500 OK / 0 BAD (467 existing with the new values, 33 new);
regression x2 on the server 1232 passed, 0 failed; PDF 28 pages, 0 errors, 0 undefined, 0 overfull.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
71 lines
4.4 KiB
Plaintext
71 lines
4.4 KiB
Plaintext
|
|
== APS: top 12 of 264 under the single criterion (old total in brackets)
|
|
1. chandrupatla solved 154/154 total 2595 (2787) over 0
|
|
2. pure.ratio.derived3.none solved 154/154 total 2634 (2806) over 0
|
|
3. pure.ratio.derived3.project solved 154/154 total 2634 (2806) over 0
|
|
4. toms748 solved 154/154 total 2636 (2820) over 0
|
|
5. brent solved 154/154 total 2707 (2889) over 0
|
|
6. pure.ratio.derived3.step solved 154/154 total 2846 (3036) over 0
|
|
7. pure.ratio.derived3.safe solved 154/154 total 2846 (3036) over 0
|
|
8. pure.ratio.derived.step solved 154/154 total 2914 (3104) over 0
|
|
9. pure.ratio.derived.safe solved 154/154 total 2914 (3104) over 0
|
|
10. pure.ratio.derived.project solved 154/154 total 3005 (3154) over 0
|
|
11. itp_oracle solved 154/154 total 3068 (3260) over 0
|
|
12. pure.exp_abs.derived3.project solved 154/154 total 3116 (3264) over 0
|
|
place 3: pure.ratio.derived3.project 2634 (2806) solved 154
|
|
place 1: chandrupatla 2595 (2787) solved 154
|
|
place 4: toms748 2636 (2820) solved 154
|
|
place 5: brent 2707 (2889) solved 154
|
|
place 11: itp_oracle 3068 (3260) solved 154
|
|
place 29: itp 3767 (3957) solved 154
|
|
place 73: bisection 7338 (7530) solved 154
|
|
|
|
== CHA: top 12 of 264 under the single criterion (old total in brackets)
|
|
1. chandrupatla solved 45/45 total 1505 (2441) over 0
|
|
2. itp_oracle solved 45/45 total 1675 (2647) over 0
|
|
3. pure.exp_abs.bracket.both solved 45/45 total 1778 (2736) over 0
|
|
4. pure.exp_abs.bracket.bracket solved 45/45 total 1848 (2804) over 0
|
|
5. itp solved 45/45 total 1946 (2896) over 0
|
|
6. pure.exp_abs.bracket.credit solved 45/45 total 1952 (2907) over 0
|
|
7. pure.cbrt.derived.credit solved 45/45 total 2048 (2995) over 0
|
|
8. pure.cbrt.derived3.credit solved 45/45 total 2063 (3016) over 0
|
|
9. pure.ratio.derived3.credit solved 45/45 total 2073 (3020) over 0
|
|
10. pure.rational.bracket.credit solved 45/45 total 2089 (3039) over 0
|
|
11. pure.exp_abs.derived3.credit solved 45/45 total 2102 (3049) over 0
|
|
12. pure.ratio_soft.derived3.credit solved 45/45 total 2105 (3054) over 0
|
|
place 49: pure.ratio.derived3.project 2357 (3220) solved 45
|
|
place 1: chandrupatla 1505 (2441) solved 45
|
|
place 158: toms748 3088 (4000) solved 45
|
|
place 227: brent 3238 (4115) solved 43
|
|
place 2: itp_oracle 1675 (2647) solved 45
|
|
place 5: itp 1946 (2896) solved 45
|
|
place 15: bisection 2136 (3090) solved 45
|
|
|
|
base rule vs Chandrupatla, failures charged: {'APS': (87, 24, 43), 'CHA': (11, 5, 29)}
|
|
|
|
Table 8 under the single criterion: A' 2259 / 1074 earned 3417 / 1852
|
|
chandrupatla 2595 1505 A' vs: APS (103, 20, 31) CHA (31, 4, 10)
|
|
toms748 2636 3088 A' vs: APS (127, 6, 21) CHA (42, 2, 1)
|
|
brent 2707 3238 A' vs: APS (118, 17, 19) CHA (39, 3, 3)
|
|
itp_oracle 3068 1675 A' vs: APS (126, 7, 21) CHA (35, 1, 9)
|
|
itp 3767 1946 A' vs: APS (133, 6, 15) CHA (37, 1, 7)
|
|
bisection 7338 2136 A' vs: APS (152, 1, 1) CHA (41, 1, 3)
|
|
|
|
Table 5 cells (single criterion / old):
|
|
pure.ratio.derived3.credit 3377 2073 (3568 3020) over 0
|
|
slope.ratio.derived3.project 2663 2170 (2848 3114) over 0
|
|
pure+shape+slope.ratio.derived3.safe 2337 2177 (2527 3126) over 0
|
|
pure+dissim+slope.ratio.derived3.project 2539 1864 (2726 2799) over 0
|
|
pure+shape+dissim+slope.ratio.derived3.safe 2695 1928 (2884 2871) over 0
|
|
|
|
Table 9a protocol column (single criterion / old):
|
|
exp_abs 3965 (4988)
|
|
rational 4424 (5486)
|
|
ratio 3333 (4443)
|
|
ratio_soft 7249 (8360)
|
|
sqrt 11613 (12718)
|
|
cbrt 16094 (17207)
|
|
cosine 17487 (18412)
|
|
rat_sq 17452 (18422)
|
|
exp_sq 17429 (18410)
|