## Overview This Zenodo record bundles the v8. 2 Collatz paper set as a **provenance-sealed, audit-verified proof pipeline release**. The central design choice is to treat the traditional Gate B arithmetic bottleneck (Corr (δ) /TwGap) not as an informal assumption, but as a **mandatory checked inequality** inside a public “verdict certificate, ” verified mechanically by an audit program. The release aligns with the modern computational-proof norm: **a finite auditable object (certificate) + a reproducible verification pipeline (audit) + provenance sealing (recipe / toolchain / code digest / lineage). ** --- ## Included artifacts 1. `CollatzFinalGateᵥ8. 2. pdf` Main manuscript describing the overall program and the Gate B “verdict certificate” interface. 2. `GateBBottleneckᵥ1. 5. pdf` Technical note focusing on the Gate B bottleneck (Corr (δ) /TwGap) and the certificate-triggered closure logic. 3. `CollatzDemoL2Bᵥ8. 2ₛealedPASS. zip` A Level-2B demo/audit packet that ships: - auditable reports under `results/` - the Gate B verdict certificate `results/gatebcertificate. json` (schema v3) - `scripts/auditₐll. py` for verification - provenance sealing data: recipe, toolchain stamp, scripts-tree digest, and report lineage - a SHA-256 manifest and binding maps --- ## What is new in v8. 2 ### 1) “Witness format” is promoted to a sealed proof interfaceCorr (δ) /TwGap is treated as a required checked item in the certificate, not as a background hypothesis. The audit fails if required checked inequalities or their bindings are missing. ### 2) Provenance sealing (provenance-sealed certificate) The certificate records: - a from-scratch build recipe (step order and commands), - toolchain/environment fingerprints, - scripts-tree digest (code identity), - report lineage (input→output binding), and the strict audit mode rejects packets with missing or inconsistent provenance. ### 3) Audit-verified verdict triggers the promotion mechanismOnce the certificate passes audit, the downstream “promotion” step (All-L upgrade) is activated by the verdict interface rather than by additional ad-hoc arithmetic arguments. --- ## How to verify (quick start) Unzip and run the strict audit (sealed mode): ```bashunzip CollatzDemoL2Bᵥ8. 2ₛealedPASS. zipcd CollatzDemoL2Bᵥ8. 2ₛtepwise19python scripts/auditₐll. py --packetdir. --mode sealed ========================= Author: Lee Byoungwoo leeclinic@protonmail. com
Byoungwoo Lee (Thu,) studied this question.