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>
38 lines
3.0 KiB
Plaintext
38 lines
3.0 KiB
Plaintext
APS places: chandrupatla 1, pure.ratio.derived3.none 2, pure.ratio.derived3.project 3, toms748 4, brent 5, dekker 232, itp_oracle 11, ridders 15, pure.ratio.derived3.credit 25, itp 29, illinois 237, bisection 73, regula_falsi 244, pure.exp_abs.bracket.both 24, pure.exp_abs.bracket.bracket 21, pure.exp_abs.bracket.credit 33
|
|
dekker solved 153/154 total 3158 over 0
|
|
illinois solved 153/154 total 7045 over 0
|
|
regula_falsi solved 127/154 total 10560 over 5
|
|
brent solved 154/154 total 2707 over 0
|
|
toms748 solved 154/154 total 2636 over 0
|
|
pure.ratio.derived3.none solved 154/154 total 2634 over 0
|
|
pure.exp_abs.bracket.both solved 154/154 total 3269 over 0
|
|
CHA places: chandrupatla 1, pure.ratio.derived3.none 229, pure.ratio.derived3.project 49, toms748 158, brent 227, dekker 232, itp_oracle 2, ridders 119, pure.ratio.derived3.credit 9, itp 5, illinois 233, bisection 15, regula_falsi 248, pure.exp_abs.bracket.both 3, pure.exp_abs.bracket.bracket 4, pure.exp_abs.bracket.credit 6
|
|
dekker solved 25/45 total 5185 over 4
|
|
illinois solved 24/45 total 6047 over 3
|
|
regula_falsi solved 6/45 total 8239 over 2
|
|
brent solved 43/45 total 3238 over 18
|
|
toms748 solved 45/45 total 3088 over 15
|
|
pure.ratio.derived3.none solved 39/45 total 3391 over 10
|
|
pure.exp_abs.bracket.both solved 45/45 total 1778 over 0
|
|
best over scales (step guard): {'ratio': 5422, 'exp_abs': 5772, 'rational': 5993, 'ratio_soft': 8455, 'sqrt': 9411, 'cbrt': 10874, 'exp_sq': 13187, 'rat_sq': 13990, 'cosine': 15272}
|
|
base rule vs Chandrupatla by family, APS: 6/1/8 of 15 families, p=0.79
|
|
base rule vs Chandrupatla by family, CHA: 3/0/6 of 9 families, p=0.51
|
|
base rule vs Chandrupatla by problem, APS: 87/24/43 p=0.00014
|
|
base rule vs Chandrupatla by problem, CHA: 11/5/29 p=0.0064
|
|
A' vs Chandrupatla by family, APS: 8/1/6 of 15 families, p=0.79
|
|
A' vs Chandrupatla by family, CHA: 7/0/2 of 9 families, p=0.18
|
|
per family A' / Chandrupatla: {'fun1': (87, 103), 'fun2': (147, 152), 'fun3': (124, 305), 'fun4': (167, 297), 'fun5': (209, 233), 'fun6': (154, 233), 'fun7': (69, 64), 'fun8': (52, 63), 'fun9': (65, 55)}
|
|
A' vs Chandrupatla by problem, APS: 103/20/31 p=3.2e-10
|
|
A' vs Chandrupatla by problem, CHA: 31/4/10 p=0.0015
|
|
far-end reading, measured order cheaper in 33 of 63 cells
|
|
false position reading none: APS solved 127 total 10676
|
|
false position reading order: APS solved 129 total 9855
|
|
cap pure+dissim+slope.ratio.derived3_cap.project: 7315 / 2328 solved 199
|
|
cap pure+dissim+slope.ratio.derived3_cap.safe: 4854 / 2027 solved 199
|
|
control pure+dissim+slope.ratio.derived3.project: 2539 / 1864
|
|
control pure+dissim+slope.ratio.derived3.safe: 2934 / 1752
|
|
canonical problems moved by the multiplier (1.25, 1.5, 2): {'aps.13.00': (20, 30, 28)}
|
|
phase detector item: scale derived3: APS 2634 CHA 2357 both 4991
|
|
phase detector item: scale derived3_m: APS 2926 CHA 2410 both 5336
|
|
numbers uniform done
|