---
name: paper152-v02-published-2026-05-13
description: "Paper 152 v0.2 publish (Lean 4 native_decide closures + 3-adic isolation theorem + honest correction E2, 10 platform mirror, Zenodo DOI 10.5281/zenodo.20149662)"
metadata: 
  node_type: memory
  type: project
  originSessionId: e5ec4e43-958a-4a47-a6f0-4513f218941f
---

★★★★★ 2026-05-13 STEP 1121. Paper 152 v0.2 publish 完了 — 10 platform mirror.

## v0.2 additions

- **Lean 4 native_decide closures**: `buchi25_all_peak_9232` + `n27_peak_9232` (PeakMergeInvariant.lean) + `peak_merge_exists` with 1,000 explicit witnesses (PeakMergeWitness.lean), 全 0 sorries
- **3-adic isolation theorem** (ThreeAdicIsolation.lean, Lean 4 機械証明 0 sorries): `∀ v with 3 | v, ¬∃ odd c: Collatz(c) = v`. Corollary: inverse-Collatz tree branches at mult-of-3 nodes are linear chains `{v·2^k}`. **Independent contribution** applicable beyond Paper 152.
- **Class 21 universal absence** at d=70 (200/200 at n ≤ 10⁸, empirical). Top-15 missed classes all multiples of 3.
- **n=96k sharp boundary** at d=70: 100% rate vs ~1.04% at d ≤ 68 — step function, NOT tautological.
- **Honest correction E2**: 早期 docs で「class 21 mod 96 visit n_0 は 21·2^k のみ」 と overstate. empirical scan で n=99,997,941 (∈ class 21 mod 96 / mult of 3 / NOT 21·2^k) が trivially visit と判明 → 訂正. 3-adic theorem は valid independent contribution だが、 class 21 universal absence を by itself proves しない. corrected scope は §5b.4 / §5c.3 / §6.2 (Erratum E2) で明示

## Publish DOIs / URLs

- **Zenodo new-version DOI**: `10.5281/zenodo.20149662` (parent v0.1: 20148868)
- **Internet Archive**: rei-aios-paper-152-v02-1778639039367
- **Dev.to**: paper-152-v02-...-253h (id 3659724)
- **Hatena**: 2026/05/13/112729
- **HackMD**: Hy-s-wb1fl
- **Notion**: 35fdd371e6d9815e8a1bc408be212c3b
- **Livedoor**: 13154831 (live)
- **Mastodon**: 116564905443793711 (1695/1700 chars)
- **Scrapbox**: rei-aios project
- **Nostr**: long-form 3/5 + announce 3/5 NIP-23
- **Harvard**: SKIP (opt-in policy per `feedback_harvard_dataverse_opt_in.md`)

## 10 platform count

Zenodo + IA + 8 mirror = 10 active. Harvard skip + GitHub source = effectively "11 platform" pattern.

## Honest correction E2 framework (重要 pattern)

publish 後すぐ自己発見した overstate を v0.1 → v0.2 honest correction で訂正. OUKC honest-correction principle の operational 実例 2 例目 (前例: Paper 145 v0.3 Tang Nano 9K corrigendum 2026-05-09 STEP 1037).

Pattern: pre-publish self-detection (Paper 150 v0.2 STEP 1052) と post-publish self-detection (Paper 145 STEP 1037, Paper 152 STEP 1121) の 2 種類. 両方 OUKC principle 適用可.

## Status of 10⁹ scan (background)

scripts/collatz-infinity-scan-1e9-light.ts (task bz11d13tr) at 200M / 1B (20% done), max=70 still, top_tier=500 cap. ~1.5-2 hr 残り. 結果は v0.3 候補 retain.

## Test status

Lean 4 全 file `lake env lean ... exit 0`:
- PeakMergeInvariant.lean (buchi25 native_decide + n27 native_decide + PLACEHOLDER stub)
- PeakMergeWitness.lean (witness_length_1000 + witness_all_peak_250504 + peak_merge_exists 全 native_decide)
- ThreeAdicIsolation.lean (no_odd_predecessor_of_mult_3 + class_21_no_odd_predecessor)

## Files

- `papers/paper-152-sigma-cascade-collatz-confluence-DRAFT.md` (v0.2 update)
- `data/lean4-mathlib/CollatzRei/ThreeAdicIsolation.lean` (NEW)
- `data/lean4-mathlib/CollatzRei/PeakMergeWitness.lean` (NEW, STEP 1118)
- `data/lean4-mathlib/CollatzRei/PeakMergeInvariant.lean` (modified, STEP 1116)
- `docs/experiment-collatz-3adic-isolation-2026-05-13.md` (honest correction 反映)
- `scripts/publish-paper-152-v02-{zenodo,ia}.ts` (NEW)
- `scripts/publish-paper-to-{devto,hatena,hackmd,notion,livedoor}.ts` (META[152] v0.2 update)
- `data/publications/publish-log-paper152-{,v01,v02-zenodo,v02-ia}.json`

## commit

`2a1b459c` (main, pushed)

## 連結 reference

- [[paper150-v02-published-2026-05-11]] (OctaTheoria v0.2)
- [[project_paper145_v05_corrigendum_tang_nano_2026-05-09]] (前回 post-publish honest correction)
- [[feedback_no_rush_publication]] (急がない publish 原則: 本件は v0.1 + 半日 後 v0.2 で適切 cadence)