Skip to content

On Boundaries of Evidence v1.4.0 — Collatz Recursive-Sufficiency Audit

Latest
Latest

Choose a tag to compare

View all tags
@jkolantree jkolantree released this 31 Jul 10:38
Immutable release. Only release title and notes can be modified.
v1.4.0
9c29b8a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

On Boundaries of Evidence v1.4.0 — Collatz Recursive-Sufficiency Audit

Version 1.4.0 adds a claim-local audit of a published Collatz
recursive-sufficiency induction without changing the BSC core framework.

What is new

  • The first induction defect is made explicit:
    (F_1\setminus F_2={36k+27,36k+31:k\geq0}).
  • The (31)-class merge path is proved exactly; the (27)-class and the
    original induction remain unresolved.
  • Unconditional recursively-sufficient, periodic, exponentially zero-density
    replacement sieves are proved.
  • A cutoff-conditional finite-prefix extension is retained with an exact F11
    certificate: 52,686 ordered offsets, a schema-bound receipt, independent
    dynamic-program replay, and a complete scan of 1,388,888,889 compatible
    candidates.
  • Cross-platform checkout identity for the TSV certificate is pinned to LF
    and regression-tested.

Claim boundary

This release is not a proof of the Collatz conjecture, not an independent
replay of the external (2^{71}) base, not an official verification frontier,
and not a corrigendum issued on behalf of the cited authors. The finite-prefix
extension is conditional on the external base result and remains
claim-local.

Verification

  • final commit: 9c29b8a140475e79ccbb1f95a02c3976f2354cb2
  • final tree: a110296114848af620723d8b882b966951ebe4a3
  • manifest: 84 payload files, PASS
  • unit tests: 110/110, PASS
  • F8, F10, and F11 routine replay, PASS
  • F11 publication scan: 1,388,888,889 compatible candidates, PASS
  • Markdown mathematics, PASS
  • PDF build: 75-page paper and 2-page synopsis, PASS
  • two independent PDF builds and two independent release-archive builds were
    byte-identical
  • required PR and merged-main GitHub Actions jobs passed; the tag-triggered
    workflow repeated the full F11 scan before this release was published

The fresh Windows reconstruction that exposed the missing TSV EOL rule is
preserved in PR #7. No tag or
release was published from the pre-repair tree.

Artifact identities

08a5fd3fa6c061d681606b09ae8b93b681b0c148fda70cdce8df70adc387e1ab  On_Boundaries_of_Evidence.pdf
4f5ba34ec1cbfbe203ada362b64624007b0558a0857919ea6fdee0cf71594f18  Technical_Synopsis.pdf
17f645de90ac3950edcbcac90883415310491dccc413ddadcaa8000055f68eaf  MANIFEST.sha256
84a4b9264eea1df2dd45e0dc49dbe54585f6c42174a7fc0de389d14a13424679  On_Boundaries_of_Evidence_v1.4.0_Complete_Release.zip
11cd8d921963cefca5d945f564622a392de839c8f15cc4af1f429f5693809ecd  On_Boundaries_of_Evidence_v1.4.0_Source.zip
ff69aa8cb0a62e091d1ec942a312d1a384db9bb97a104480034d71abc265cbe4  SHA256SUMS_v1.4.0

F11 certificate TSV:
88df1573d49511a4bc93fab35f85d3feb1cade2d40b5444ee88ae42699aa5250.

F11 retained full-scan receipt:
24c73a20b83fc316805c6d887d09638cd9d6f12ad44de11b161f257f9526171f.

Zenodo concept DOI: 10.5281/zenodo.21541160.
Zenodo version DOI: 10.5281/zenodo.21719818.

Assets 9
Loading