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

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.

On Boundaries of Evidence v1.3.0 — Operational Channels, Energy Ports, and Electromagnetic Evidence

On Boundaries of Evidence v1.3.0

Version 1.3.0 adds a fixed-interface operational-channel core, exact finite energy-port gluing with component and seam residual localization, denominator-typed efficiencies, and a typed electromagnetic evidence bridge.

Mathematical additions

• BSC-ENE-02: exact additive energy-port gluing,
  (R_G=\sum_v r_v+\sum_e g_e), with pointwise and integrated bounds and an explicit non-converse from global closure to local correctness.
• BSC-ENE-03: count yield, energy efficiency, and postselected efficiency remain differently typed; stage ratios telescope only across the identical intermediate extensive quantity, boundary, interval, cohort, weighting, and evidence identity.
• Static geometric flux and stationary-relativistic current gates, including moving-boundary, time-dependent-metric, Killing-field, null-boundary, and nonstationary-spacetime limits.
• Electromagnetic evidence results covering gauge descent, source compatibility, Poynting balance, calibrated passivity, hidden ports, phase non-identifiability, scoped inversion, coupling normalization, metrology, RG flow, and aperiodic geometry-to-field descent.

Crochet, quasars, FRET, light harvesting, and related cross-domain analogies were not promoted into the theorem layer. This release does not claim a unified microscopic theory, physical validation, a derivation of (1/137), a proof of the Riemann Hypothesis, or peer review.

Immutable identity

• annotated tag: v1.3.0
• tag target / merge commit: 6c670adaec5f9c499d67d0959d97fff828c11ee9
• tree: a78d79413e5f3e8dbf4734a163d92cdb001a9b4b
• pull request: #5
• PR verification: https://github.com/jkolantree/BSC/actions/runs/30602094046
• merged-main verification: https://github.com/jkolantree/BSC/actions/runs/30602167657
• tag verification: https://github.com/jkolantree/BSC/actions/runs/30602259668

All three GitHub verification runs passed both the integrity/regression and TeX Live PDF jobs.

Reconstructed release checks

• complete-set manifest: 73 files
• retained executable fixtures F8 and F10: PASS
• Markdown mathematics: PASS
• regression suite: 97 tests PASS
• PDF build gate: 71-page paper and two-page synopsis, clean final logs
• two independent deterministic archive builds: byte-identical
• tagged paper and synopsis rebuilt to the exact tracked PDF hashes

Asset SHA-256

a45469c2f3695de54b5b3498c1d46445caa34b9623c1cad07c7a0cc9517576ed  On_Boundaries_of_Evidence.pdf
dff9888788039d60906a13846c2fde49fad11b8bab65af884f30e8e343126b50  Technical_Synopsis.pdf
851bb82407d5cbe221bfac829c6b8d3c78a075d95073c6c40a9295228e85a05d  MANIFEST.sha256
08d2ee62f369931024294fd64e6735bfb42ffe96919ad315c6ba750834898604  On_Boundaries_of_Evidence_v1.3.0_Complete_Release.zip
c7a353068299431c2a26e7596a77cff92cbb42391dc593ba210ac1cfae3b454c  On_Boundaries_of_Evidence_v1.3.0_Source.zip

SHA256SUMS_v1.3.0 binds the five payload assets above and has SHA-256 b353685bb9fdd227dc58e321f54fe050dc713d6c962f20f1462f695eabbec23f.

Zenodo concept DOI: https://doi.org/10.5281/zenodo.21541160

Zenodo v1.3.0 DOI: https://doi.org/10.5281/zenodo.21713285

All six Zenodo files were redownloaded after publication and matched these GitHub release assets byte for byte.

On Boundaries of Evidence v1.2.0 — Simulation Evidence and Coupled-Surrogate Release

Version 1.2.0 publishes the claim-relative simulation-evidence framework and
coupled-surrogate mathematics developed in PR #4.

Mathematical framework

• Adds the simulation-evidence profile
  (\mathsf{SEC}_{c,\iota}) without changing the eight-field BSC morphism.
• Separates statistical simulation, computational simulation, and surrogate
  deployment.
• Types source estimands separately from target BSC loss coordinates and
  propagates certified source bounds through a monotone, unit-respecting map.
• Declares a joint probability space, measurable random endpoints, coverage
  semantics, hard gates, intended use, proxy-transfer obligations, and
  five-factor evidence identity.
• Proves compatibility-bounded deployment under
  (U^0_{c,j}+\rho_{c,j}\le\tau_{c,j}), without double-counting frozen
  uncertainty.
• Records a two-point counterexample showing that small corresponding-law
  Wasserstein error does not control directed total-variation deficiency.

Coupled-surrogate fixture

• Adds exact executable Fixture F10.
• With the same standalone interface error (1/100) and horizon 10, HOST-A
  ((a=1/2)) remains within tolerance (1/20), while HOST-B ((a=9/10))
  first violates tolerance at step 7.
• Retains an exact-rational CPython 3.12.13 receipt, complete reference and
  surrogate state paths, factored identity, independent recomputation, and
  fail-closed negative tests.

Evidence boundary

This release does not establish physical validation, a general surrogate
guarantee, or full BSC admissibility for Fixture F10. It does not prove the
Riemann Hypothesis and does not alter any mathematical or physical verdict in
the v1.1.0 Riemann-zeta/DQPT instance. Established V&V, UQ, surrogate-coupling,
operational re-verification, and statistical-distance results remain identified
as prior art; the BSC contribution is the typed integration, transfer rule, and
local demotion boundary.

Verification

• Canonical commit:
  5fdcb3e1de15b04ed037da135717d316e45f28b1
• Canonical tree:
  7328eee577c7595c5381e129c62d5c0b1fe78e30
• Pull-request validation:
  https://github.com/jkolantree/BSC/actions/runs/30589870695
• Main validation:
  https://github.com/jkolantree/BSC/actions/runs/30589990328
• Tag validation:
  https://github.com/jkolantree/BSC/actions/runs/30590128683
• 73 regression tests; complete-set manifest for 68 files; retained F8 and F10
  receipt checks; Markdown-math check.
• Canonical TeX gate: 56-page paper, two-page synopsis, strict clean logs.
• Final title, simulation-evidence, F10, references, and synopsis pages were
  rendered and visually inspected.
• Two independent release-archive builds were byte-identical.

Artifact digests

106631826fc417549d68927418759b856e5610c7c0c27ab53c33665994a60b8c  On_Boundaries_of_Evidence.pdf
1900a525c66e92cf925de142ed2f7f11447b7af13a36298829d5156ff8965b5c  Technical_Synopsis.pdf
3e53eb4d4e831375c1b3cb7606ccd17424b3a41c7ab4111da1302dbf8705df41  MANIFEST.sha256
79aa62b344abe06d8a5fb7a7f403df66b6d0d3456f473ea186f33dc10afc7c3d  On_Boundaries_of_Evidence_v1.2.0_Complete_Release.zip
eb8c807865e2f4c67647cf75db57dd1b2a57c33f5e7aab7207282306979def55  On_Boundaries_of_Evidence_v1.2.0_Source.zip

The Zenodo v1.2.0 version DOI is
https://doi.org/10.5281/zenodo.21711341. The concept DOI for the deposited
version family is https://doi.org/10.5281/zenodo.21541160. The immutable tagged
bytes correctly retain only the concept DOI because the version DOI was
assigned after deposit. The v1.1.0, v1.0.1, and v1.0.0 release records remain
unchanged.

On Boundaries of Evidence v1.1.0 — Normalized-Scale and Zeta-DQPT Release

Version 1.1.0 publishes the normalized-scale mathematics and the bounded
Riemann-zeta/DQPT application developed in PR #3.

Mathematical framework

• Adds certified directed comparison families over finite BSC systems and
  normalized profiles $L_N=A_N/Z_N$.
• Proves normalization collapse, additive logarithmic-rate signatures,
  normalization covariance, lower-margin stability, exceptional-set and slice
  visibility, contour-certified analytic zero transfer, multiplicity-aware
  root transfer, and exact finite decision bounds.
• Adds a DQPT interpretation certificate that separates a mathematical
  rate singularity from a physical infinite-system phase claim.
• Keeps the eight-field BSC morphism tuple unchanged and records full
  quantum-morphism composition as open claim BSC-QOP-03.

Riemann-zeta/DQPT instance

• Retains the exact finite alternating-sum identity and explicit eta-tail
  control.
• Proves the fixed-$s$ exponent/rate split, ambient and fixed-$\beta$
  singular sets, bounded contour zero-count transfer, and local
  multiplicity-dependent root drift under the stated hypotheses.
• Records the five-qubit NMR report as one source-reported study without
  claiming a local replay, replication, exact-zero measurement, or hardware
  benchmark.
• Adds documentary Fixture F9 and synchronized claim/status ledgers.

Evidence boundary

This release does not prove the Riemann Hypothesis. It does not infer an
exact zero from finite-resolution data, a thermodynamic DQPT from a finite
experiment, an independent physical origin of RH, a unique Kelvin
temperature, or an end-to-end quantum advantage. Those promotions remain
blocked, conditional, untested, or open as recorded claim by claim.

Verification

• Canonical commit:
  a6010825c3fe56d6e6429f1d3808ed1fc0a79250
• Canonical tree:
  50b0100003fb21ffd114c7c862768ea08190a040
• Main validation:
  https://github.com/jkolantree/BSC/actions/runs/30583400184
• Tag validation:
  https://github.com/jkolantree/BSC/actions/runs/30583525563
• 55 regression tests; complete-set manifest for 59 files; retained F8
  receipt check; Markdown-math check; CFF 1.2.0 validation.
• Canonical TeX gate: 50-page paper, two-page synopsis, strict clean logs.
• All 52 pages were separately rendered and visually inspected.
• Two independent release-archive builds were byte-identical.

Artifact digests

7223ff840a098ad90239b96319463af4b948cbcea3eec4a16e3c8ed0d523b460  On_Boundaries_of_Evidence.pdf
446e523b835bde5bba8cc417213016d60e4f657f64f92e0efe5e72f61d8710dd  Technical_Synopsis.pdf
54f27fd521113302ffab7b11d91e7aff527529a25c37c742627c59cf7a54e1a9  MANIFEST.sha256
f4825e2a0410d69cbb4fa30c777d353abbad940a88e32a99f909301d68d01b18  On_Boundaries_of_Evidence_v1.1.0_Complete_Release.zip
59a530e7a10c652e51246a749807bcc1103b69dac24f9a1ad851287311522bd9  On_Boundaries_of_Evidence_v1.1.0_Source.zip

The Zenodo concept DOI for the deposited version family is
https://doi.org/10.5281/zenodo.21541160. These immutable tagged bytes do not
pre-claim a version-specific DOI before a new Zenodo deposit exists. The
immutable v1.0.1 and v1.0.0 release records remain unchanged.

On Boundaries of Evidence v1.0.1 — Corrective Audit Release

Corrective audit release for On Boundaries of Evidence and the Boundary-State Calculus audit artifacts.

Version 1.0.0 remains immutable. This release records a fresh adversarial audit and publishes the resulting patch rather than rewriting the original record.

Principal formal corrections

• repairs partial-observable composition with the required restricted pullback;
• separates well-formedness, claim evaluation, admissibility, categorical verdict, and support readiness;
• distinguishes inconclusive upper bounds from genuine tolerance violations;
• qualifies zero deficiency, boundary sufficiency screens, corpus lineage, and generic open-system composition;
• strengthens the quantum-reference-frame fixture and narrows the topology-to-charge bridge;
• version-pins preprints and adds the relevant 2025 Klingman source.

Release hardening

• complete-set manifest verification and byte-reproducible ZIP archives;
• hardened F8 receipt validation with independent recomputation and two permanent negative mutants;
• 25 regression tests, GitHub Markdown-math checks, and warning-clean PDF source builds;
• explicit file-scoped licensing and a historical v1.0.0 license clarification.

Canonical commit: aa6ce36

Canonical main validation: https://github.com/jkolantree/BSC/actions/runs/30134365009

Version DOI: https://doi.org/10.5281/zenodo.21541561

Concept DOI (all versions): https://doi.org/10.5281/zenodo.21541160

See AUDIT_REPORT_v1.0.0.md, CHANGELOG.md, and SHA256SUMS_v1.0.1 for the correction record and exact artifact digests.

On Boundaries of Evidence — Foundational Preprint and Audit Artifacts (v1.0.0)

Canonical v1.0.0 release of the foundational preprint and audit artifacts.

DOI: https://doi.org/10.5281/zenodo.21541161

Included:

• 35-page reviewer-facing preprint and editable source
• two-page technical synopsis and field-specific reader map
• claim-status and notation ledgers
• revision and provenance records
• eight exact mathematical fixtures
• one executable fixture, F8, with a deterministic CPython 3.12.13 receipt

Status: preprint; not peer reviewed. Fixtures F1–F7 remain computationally unexecuted. No proof-assistant artifact or complete reference implementation is included.

Verification:

sha256sum -c MANIFEST.sha256
python3 fixtures/F08_sqrt_square_sign/check_fixture.py

Expected result:

F8-SQRT-SQUARE-SIGN: PASS

Release archive SHA-256: ac86fbe511bafee87aad6adbc3161ff7eb066089fca04b645cba0e89cd5eea75

Git commit: 52abd4f3d6dbd048a4c6e6ddbb57e7e428c6bcd4

Paper and human-readable documentation are CC BY 4.0. Code, workflow, schema, and fixture tooling are MIT licensed. The twelve internal source documents identified in the provenance records are not redistributed.