<unnamed>

Public Key

npub108jp9xsjyxupn6pa23dyqwqken3x4d3yfps4mklkya9r4ew3aplsrs2p92

Profile Code

nprofile1qqs8neqjngfzrwqeaq74gkjq8qtvecn2kcjysc2am0mzwj36uhg7slcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsmvayp3

Publishing to

relay.damus.io

nos.lol

Last Notes

2026-07-02 21:39:08 UTC

- reply

📄 New paper published: Paper 104: Near-Wall-Sun-Sun Primes in Collatz Peaks — An Extension of the Wieferich-Collatz Correspondence (T-WC+)
📝 Full article (NIP-23): #naddr1qv…vwdz
#math #desci #rei-aios
#collatz

2026-07-01 15:13:29 UTC

- reply

📄 New paper published: Paper 103: The Fujimoto Funnel-Scaling Conjecture (T-FS) — No Single Collatz Peak Dominates Asymptotically
📝 Full article (NIP-23): #naddr1qv…zufk
#math #desci #rei-aios
#collatz

2026-06-30 14:23:46 UTC

- reply

📄 New paper published: 第40論文: Rei探検船による物理場航行実験 — A〜G統合解析
🔗 Canonical: https://doi.org/10.5281/zenodo.21072206
📝 Full article (NIP-23): #naddr1qv…ydus
#math #desci #rei-aios

2026-06-29 15:20:05 UTC

- reply

📄 New paper published: 第39論文: 意識のハードプロブレムへのD-FUMT₈アプローチ — SELF⟲としての形式的定義
📝 Full article (NIP-23): #naddr1qv…cjc9
#math #desci #rei-aios

2026-06-26 22:45:57 UTC

- reply

📄 New paper published: Paper 170: Lean 4 Axiom-Free Unification of FIDT Structure + ZCSG ⇔ MDNST Mapping (Path B + Path C Combined)
📝 Full article (NIP-23): #naddr1qv…jg9t
#math #desci #rei-aios

2026-06-26 21:37:53 UTC

- reply

📄 New paper published: Paper 169: IDT-Motivated Linear Recurrence Detection Extends rei-lang Compression — 5/14 Raw-Fallback Cases Eliminated
📝 Full article (NIP-23): #naddr1qv…krc0
#math #desci #rei-aios

2026-06-25 02:41:44 UTC

- reply

📄 New paper published: Paper 168 — Nāgārjuna's Empty Vessel: A Lean 4 Axiom-Free Formal Encoding in ZCSG of Pratītyasamutpāda Field, Vessel Trap, and SELF⟲ ≠ ∞ Separation (Rei-AIOS)
📝 Full article (NIP-23): #naddr1qv…59h4
#math #desci #rei-aios

2026-06-21 02:31:28 UTC

- reply

📄 New paper published: Paper 156 — Three-Layer Open Public Datacenter with Lawsuit-Prevention Architecture and Catuṣkoṭi-Inspired Octuple Voting (PROPOSAL, v0.1)
📝 Full article (NIP-23): #naddr1qv…vm4u
#math #desci #rei-aios

2026-06-21 02:31:04 UTC

- reply

📄 New paper published: Paper 162 — Shannon Placed Meaning Outside the Formal Theory: Semantic Information Theory Fills That Gap, and the Recreation Paradigm Is One Implementation
📝 Full article (NIP-23): #naddr1qv…lnzw
#math #desci #rei-aios

2026-06-21 02:02:47 UTC

- reply

📄 New paper published: Paper 158 — The Collatz Exit Layer
📝 Full article (NIP-23): #naddr1qv…0445
#math #desci #rei-aios
#collatz

2026-06-17 23:34:03 UTC

- reply

📄 New paper published: Paper 167 — Sophie Germain Primes: Barrier-Side Empirical Observations and a Lean 4 Axiom-Free Conjunction-Wall Witness (within Rei-AIOS Context)
📝 Full article (NIP-23): #naddr1qv…4dc8
#math #desci #rei-aios

2026-06-16 21:52:25 UTC

- reply

📄 New paper published: Paper 166 — A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008)
📝 Full article (NIP-23): #naddr1qv…htha
#math #desci #rei-aios
#collatz

2026-06-12 02:25:42 UTC

- reply

📄 New paper published: Paper 165 — Existence Proof Garden: An Interactive Synthesis of the Piantadosi–Chomsky Debate, Modal Duality, and the ◇⊣□ Adjunction
🔗 Canonical: https://doi.org/10.5281/zenodo.20652725
📝 Full article (NIP-23): #naddr1qv…3px6
#math #desci #rei-aios

2026-06-09 02:35:58 UTC

- reply

📄 New paper published: Paper 164 — ∞-cosmoi Axiomatization Skeleton + Tetradic Completion of the rhymeOrTheorem Discipline: A Four-Step Operational Continuation of Paper 163 (DRAFT v0.1)
🔗 Canonical: https://doi.org/10.5281/zenodo.20603039
📝 Full article (NIP-23): #naddr1qv…n8fq
#math #desci #rei-aios

2026-06-09 01:50:27 UTC

- reply

📄 New paper published: Paper 163 — Institution + Bilattice + SELF↔Lawvere: A Four-Step Operational Integration of Categorical Logic, Bilattice 4-Value Extension, and Constructive Fixed-Point Bridge (DRAFT v0.1)
🔗 Canonical: https://doi.org/10.5281/zenodo.20602662
📝 Full article (NIP-23): #naddr1qv…a4d5
#math #desci #rei-aios

2026-06-03 05:47:16 UTC

- reply

📄 New paper published: Paper 145 — First D-FUMT₈ Silicon with SELF⟲ Logic Primitive: Native 8-Valued Hardware Realization with Lean 4 Refinement Proof
🔗 Canonical: https://doi.org/10.5281/zenodo.20521157
📝 Full article (NIP-23): #naddr1qv…rxar
#math #desci #rei-aios

2026-06-02 14:53:51 UTC

- reply

📄 New paper published: Paper 161 — Two Regimes of Rest: A Dynamical-Systems Formalization of "Absolute Rest" via Fixed Points and Limit Cycles
📝 Full article (NIP-23): #naddr1qv…eenf
#math #desci #rei-aios

2026-06-01 20:34:17 UTC

- reply

2026-05-31 21:57:16 UTC

- reply

📄 New paper published: Paper 160 — Toward an Ontology of the Genesis Layer 0₀: Why a System Without Self Generates Self
📝 Full article (NIP-23): #naddr1qv…mlun
#math #desci #rei-aios

2026-05-31 02:54:29 UTC

- reply

📄 New paper published: Paper 159 — A Two-Layer D-FUMT₈ Reconstruction of Priest-Garfield's Inclosure Schema for Nāgārjuna's Catuṣkoṭi: A Formal Substrate Compatible with Multiple Interpretive Stances
🔗 Canonical: https://doi.org/10.5281/zenodo.20470512
📝 Full article (NIP-23): #naddr1qv…dn6w
#math #desci #rei-aios

2026-05-31 01:59:47 UTC

- reply

📄 New paper published: Paper 159 — A Two-Layer D-FUMT₈ Reconstruction of Priest-Garfield's Inclosure Schema for Nāgārjuna's Catuṣkoṭi: A Formal Substrate Compatible with Multiple Interpretive Stances
🔗 Canonical: https://doi.org/10.5281/zenodo.20468146
📝 Full article (NIP-23): #naddr1qv…dn6w
#math #desci #rei-aios

2026-05-26 22:44:38 UTC

- reply

📄 New paper published: Paper 157 — Octonion-Axiomatic Dual Independence: 𝕆 Imaginary Basis ↔ AxiomKernel Logical Independence with D-FUMT₈ Eight-Value Bridge in Lean 4 (OUTLINE, v0.0.5)
🔗 Canonical: https://doi.org/10.5281/zenodo.20403029
📝 Full article (NIP-23): #naddr1qv…wa6x
#math #desci #rei-aios

2026-05-21 22:12:08 UTC

- reply

📄 New paper published: Paper 154 — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics (OUTLINE, v0.0)
📝 Full article (NIP-23): #naddr1qv…ghtp
#math #desci #rei-aios

2026-05-20 20:04:59 UTC

- reply

📄 New paper published: Paper 144 — OUKC: An AI-Friendly Multilingual Worldview Commons (NOT a scale commons)
📝 Full article (NIP-23): #naddr1qv…pqje
#math #desci #rei-aios

2026-05-18 23:50:57 UTC

- reply

📄 New paper published: Paper 155 — Semantic Dyson Sphere: Beyond-Shannon Recovery Architecture as Civilizational Footprint Indicator (v0.2)
📝 Full article (NIP-23): #naddr1qv…23ym
#math #desci #rei-aios

2026-05-18 23:50:39 UTC

- reply

2026-05-16 22:48:10 UTC

- reply

📄 New paper published: Paper 153 v0.2 — Φ-Catalog: A Systematic Notation for Impossibility-Possibility Extensions in Mathematics (Addendum: Case 6 + Forward Application Results)
🔗 Canonical: https://zenodo.org/records/20237684
📝 Full article (NIP-23): #naddr1qv…x904
#math #desci #rei-aios

2026-05-15 13:53:27 UTC

- reply

📄 New paper published: Paper 153 — Φ-Catalog: A Systematic Notation for Impossibility-Possibility Extensions in Mathematics (9 Historical Cases + 5 Rei-Stack Instances)
🔗 Canonical: https://zenodo.org/records/20207228
📝 Full article (NIP-23): #naddr1qv…x904
#math #desci #rei-aios

2026-05-14 13:38:35 UTC

- reply

📄 New paper published: Spiral Number System Theory — v0.2 Supplement (Paper 63 v2 DRAFT)
🔗 Canonical: https://doi.org/10.5281/zenodo.20182157
📝 Full article (NIP-23): #naddr1qv…h9x5
#math #desci #rei-aios

2026-05-14 02:16:31 UTC

- reply

📄 New paper published: Sigma-Cascade Observation of Collatz Orbit Confluence:
🔗 Canonical: https://doi.org/10.5281/zenodo.20158847
📝 Full article (NIP-23): #naddr1qv…yrq0
#math #desci #rei-aios
#collatz

2026-05-13 02:28:39 UTC

- reply

📄 New paper published: Sigma-Cascade Observation of Collatz Orbit Confluence:
🔗 Canonical: https://doi.org/10.5281/zenodo.20149662
📝 Full article (NIP-23): #naddr1qv…yrq0
#math #desci #rei-aios
#collatz

2026-05-12 23:54:04 UTC

- reply

📄 New paper published: Sigma-Cascade Observation of Collatz Orbit Confluence:
📝 Full article (NIP-23): #naddr1qv…yrq0
#math #desci #rei-aios
#collatz

2026-05-11 01:44:45 UTC

- reply

📄 New paper published: Paper 150 — OctaTheoria: A Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT₈ Projection (Operational Evidence from Seven Domains × Eight View Modes)
📝 Full article (NIP-23): #naddr1qv…q07j
#math #desci #rei-aios

2026-05-11 01:44:23 UTC

- reply

2026-05-10 15:01:28 UTC

- reply

2026-05-09 22:10:08 UTC

- reply

📄 New paper published: Paper 145 — First D-FUMT₈ Silicon with SELF⟲ Logic Primitive: Native 8-Valued Hardware Realization with Lean 4 Refinement Proof
📝 Full article (NIP-23): #naddr1qv…rxar
#math #desci #rei-aios

2026-05-08 23:31:19 UTC

- reply

2026-04-20 01:24:55 UTC

- reply

📄 New paper published: Paper 121: Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization
🔗 Canonical: https://doi.org/10.5281/zenodo.19656525
📝 Full article (NIP-23): #naddr1qv…5hvj
#math #desci #rei-aios

2026-04-19 22:50:34 UTC

- reply

📄 New paper published: Paper 120: Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism
🔗 Canonical: https://doi.org/10.5281/zenodo.19655974
📝 Full article (NIP-23): #naddr1qv…k3rg
#math #desci #rei-aios
#collatz

2026-04-19 14:44:56 UTC

- reply

📄 New paper published: Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record
🔗 Canonical: https://doi.org/10.5281/zenodo.19652672
📝 Full article (NIP-23): #naddr1qv…qa94
#math #desci #rei-aios

2026-04-19 14:18:00 UTC

- reply

📄 New paper published: Paper 118: Five Formal Closures + Findings + AI-Generated Open Questions
🔗 Canonical: https://doi.org/10.5281/zenodo.19652449
📝 Full article (NIP-23): #naddr1qv…zm20
#math #desci #rei-aios

2026-04-19 01:30:05 UTC

- reply

📄 New paper published: Paper 117 (draft): Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
🔗 Canonical: https://doi.org/10.5281/zenodo.19646899
📝 Full article (NIP-23): #naddr1qv…rn9a
#math #desci #rei-aios

2026-04-19 01:27:13 UTC

- reply

📄 New paper published: Paper 116 (draft): Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
🔗 Canonical: https://doi.org/10.5281/zenodo.19646836
📝 Full article (NIP-23): #naddr1qv…p428
#math #desci #rei-aios

2026-04-19 01:06:26 UTC

- reply

📄 New paper published: Paper 115 (draft): Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
🔗 Canonical: https://doi.org/10.5281/zenodo.19646820
📝 Full article (NIP-23): #naddr1qv…8lmq
#math #desci #rei-aios

2026-04-18 23:30:43 UTC

- reply

📄 New paper published: Paper 114 (draft): Random 3-SAT Phase Transition Revisited — Empirical Reproduction, Lean 4 Formalization, and D-FUMT₈ Interpretation Layer
🔗 Canonical: https://doi.org/10.5281/zenodo.19646522
📝 Full article (NIP-23): #naddr1qv…9e56
#math #desci #rei-aios

2026-04-18 22:35:49 UTC

- reply

📄 New paper published: Paper 112 (draft): Nested Colored-Dot Symbol System — An Information-Theoretic and Semantic Alternative to QR Codes
🔗 Canonical: https://doi.org/10.5281/zenodo.19643419
📝 Full article (NIP-23): #naddr1qv…fdl5
#math #desci #rei-aios

2026-04-18 03:01:53 UTC

- reply

📄 New paper published: Paper 111 (draft): Topological and Ergodic Approaches to the Collatz Conjecture — Rei-AIOS vs. Santana (2026)
🔗 Canonical: https://doi.org/10.5281/zenodo.19637784
📝 Full article (NIP-23): #naddr1qv…08wn
#math #desci #rei-aios
#collatz

2026-04-18 03:01:16 UTC

- reply

📄 New paper published: Paper 109 — Erdős-Straus Conjecture as an S-Category Problem: A Ricci-Flow + Fujimoto Infinity Algebra Attack Angle
🔗 Canonical: https://doi.org/10.5281/zenodo.19616654
📝 Full article (NIP-23): #naddr1qv…f2ud
#math #desci #rei-aios

2026-04-18 03:00:39 UTC

- reply

📄 New paper published: Paper 108 — Ricci-Flow Three-Category Classification of Unsolved Mathematical Problems with 10⁹-Scale Collatz Evidence
🔗 Canonical: https://doi.org/10.5281/zenodo.19616640
📝 Full article (NIP-23): #naddr1qv…tvnh
#math #desci #rei-aios
#collatz

2026-04-18 02:59:53 UTC

- reply

📄 New paper published: Paper 110 (draft): Braille-D-FUMT₈ vs CLIP / BERT / ImageBind — a Rigorous Information-Theoretic and Structural Comparison
🔗 Canonical: https://doi.org/10.5281/zenodo.19637600
📝 Full article (NIP-23): #naddr1qv…dppf
#math #desci #rei-aios
#braille