Skip to content

NSRW v0.5.0 — Quantitative angular margins and rigorous core computation

Latest
Latest

Choose a tag to compare

View all tags
@flamehaven01 flamehaven01 released this 31 Oct 11:22
v0.5.0
cdce801

NSRW v0.5.0 - Quantitative margins and exact-rational core computation

Release date: 31 October 2026. Software 0.5.0, mathematical manuscript P01 0.5 and software manuscript P02 0.6 are separate version axes.

Research

For each fixed pinned-source Profile and every sufficiently small positive parameter, a point inside the first repair window has mass history zero and strictly positive angular history at the same point. The quantitative extension supplies a positive local-angular lower bound independent of the selected mass-zero witness and a normalized cutoff-plateau bound.

The ten quantitative/normalization declarations retain proof checkpoint fba27381bcfda3af6f03e2fbae82f6db016ca534, execution checkpoint 7f29ebf0e2b894bf598144628230ae09df436c3d and the 22 October receipt. This software release is not a new Lean execution or independent reproduction.

Computation

A new Python standard-library Fraction prototype computes rigorous exponential and expm1 core-scalar enclosures on a declared absolute dyadic grid. It emits/recomputes deterministic records at 128, 256 and 512 fractional bits. The main denominator's lower endpoint is positive; positive ratios use lower(numerator)/upper(denominator). Tests reject a forged endpoint quantum, malformed/duplicate JSON and attempted scope promotion. See the method and observed execution.

These records do not compute affine-coefficient integrals, numerical q>0, a ResetWitness/K, an explicit source Profile, a root bracket or a numerical J certificate. The large second-bump scale is retained as a lower-bound expression, not a two-sided I01 enclosure.

Distribution

  • P01 v0.5: mathematical paper with the quantitative extension, PDF and standalone LaTeX/Markdown source.
  • P02 v0.6: software case study with a separate core-computation observation.
  • Versioned paper checksum manifests preserve the earlier P01 v0.4 and P02 v0.5 bytes.
  • GitHub Pages research site, built from an explicit allowlist of public PDFs and scalar records.
  • Code and Lean files MIT; paper text/source/PDF CC BY 4.0; author Yun Kwansub.

P03 remains deferred. Raw execution archives, local review records and authentication data are excluded. No claim of uniform/numerical epsilon, uniqueness, first-zero ordering, a Q pole, a general Navier–Stokes solution, literature priority or application performance is added.

Validation

The code checkpoint adbaeeb82df3bdb9d6d6ea5a041fadc8f35f1b9b passed 645 tests, 3 skipped, 22 subtests and 90.53% statement coverage on the existing Windows environment. Fifty-five tests specifically exercise core scalars. Final release/Pages workflow outcomes are recorded in GitHub Actions rather than inferred from local preparation. The 31 October PDFs have 11 and 10 pages; cached TeX builds report no overfull boxes or missing characters.

Final local release preparation: 649 passed, 3 skipped, 22 subtests, coverage 90.53%; Ruff and documentation link/manifest checks passed. This adds documentation/site checks to the earlier 645-test code checkpoint without changing the numerical algorithm.

Published links and final remote validation

Release/tag commit: cdce801d7c3f1991e8a0dce48aae9f825b03e9b1. The five GitHub asset digests were compared with the local final assets before publication. Both PDFs served by the public research site match their local SHA-256. The public 128-bit scalar record was downloaded and recomputed. These distribution checks do not add a mathematical claim or independent reproduction.

Assets 7
Loading