Zero-Side Leakage Budget

Zero-Side Leakage Budget v0.1 — Evaluates the first 50 real critical line zeros using the same certificate function from v0.2, quantifying exactly what proportion the local negative margin occupies in the complete zero sum.

RH_CLAIM = False — The leakage_summary.json within the package self-reports single_target_strategy_viable_without_axis_suppression=false, reproduced here as is. This is a diagnostic prototype, not an RH proof, nor a formalized zero-counting certificate.

Connections

This package directly reuses the node data of the v0.2 certificate function (data/corrected_nodes.csv) to answer the question left at the end of the v0.2 technical notes.

"Therefore, the research node should shift from 'whether the intersection exists' to: joint optimization with on-axis suppression and full-window sign constraints." — Excerpted from Technical Note §6 and §7 of this package, echoing the next necessary condition proposed at the end of the v0.2 Technical Note.

Previous Package · v0.2Validated Intersection Certificate

Next Package · v0.1Axis-Suppressed and Global-Window Leakage-Aware Optimizer

Corresponding TheorySequence ③ · Equivariant Arithmetic Separation §14

Technical Notes

Main document — problem breakdown, scale comparison of the first critical line zero, cumulative mass of the first fifty zeros, height tail bound, unknown off-axis bound for the finite window, conclusions, and recommended next steps.

Result Data

Sourced from RESULTS.md within the package.

Figures

Two images from outputs/ in the package, reproduced exactly as is, without post-processing.

Target negative margin versus critical-line leakage — Logarithmic scatter plot of the individual masses of the first 143 critical-line zeros, most of which far exceed the target negative margin dashed line. — Individual critical line zero mass (logarithmic scale) versus target negative margin (dashed line): Most early zeros far exceed the margin.

Cumulative axis leakage budget — Cumulative mass curve of the first 50 critical line zeros; the target negative margin almost hugs the zero axis in these coordinates. — Cumulative on-axis leakage: The cumulative mass of the first 50 zeros; the target negative margin almost hugs the zero axis at this scale.

Files

The complete node data (data/corrected_nodes.csv) and tail shell data are not listed individually; they are all in the complete zip file.

Download Full Package (194.9 KB)

sha256 643b6895ea896d668601badc384b3205408d455263197bcb784a205a03682d8d