{ "generatedAt": "2026-08-12T01:57:33Z", "source": "Zenodo API — creators.name:\"Fujimoto,Nobuki\"", "queryUrl": "https://zenodo.org/api/records?q=creators.name%3A%22Fujimoto%2C+Nobuki%22&size=25", "totalRecords": 199, "reiAiosTagged": 163, "uniquePaperNumbersInTitle": 62, "honestScope": [ "本 aggregation は Zenodo API creators.name:'Fujimoto,Nobuki' の 完全 snapshot、 2026-08-12 生成 static file", "実 Rei-AIOS 論文数と Zenodo 総 records 数の 乖離: Zenodo は version 毎に record 生成 (Paper 145 v0.3 + v0.6 + v0.7 + v0.8 + v0.9-c 等)、 unique paper 数は uniquePaperNumbersInTitle 参照", "keywords 'rei-aios' tag 有無は hasReiAiosTag field、 一部旧 paper は tag 不在 (初期 upload 時 not yet standard)", "paperNumberInTitle は title regex 抽出、 抽出できない paper は null (title formatting 差異)", "本 aggregation は 手動 curation ではなく Zenodo API primary source snapshot", "更新 頻度: 現状 static (次 update は 別 STEP judgment)、 auto-refresh cron は 未 implement" ], "records": [ { "doi": "10.5281/zenodo.21694136", "recid": "21694136", "conceptDoi": "10.5281/zenodo.21694135", "title": "Fermat Numbers F_5-F_11: Empirical v_2(ω_{F_n}(3)) Measurement + Lean 4 Axiom-Free F_9 Excess Witness (Rei-AIOS Paper 176 v0.1)", "publicationDate": "2026-07-30", "resourceType": "Working paper", "keywords": [ "Fermat-numbers", "F5-F11", "multiplicative-order", "2-adic-valuation", "v2-order-omega", "Lucas-lower-bound", "excess-irregularity", "F9-excess-5", "2424833", "small-factor-driver", "Lucas-form", "k-times-2-to-n-plus-2-plus-1", "Lean-4", "axiom-free", "zero-sorry", "Mathlib-v4-27", "Pratt-style-primality", "iterative-squaring", "sqIterMod", "Selfridge-Hurwitz-replacement", "kernel-arithmetic", "no-native-decide", "no-Lean-ofReduceBool", "ZCSG", "MDNST", "STEP-1306", "STEP-1307", "STEP-1308", "chat-Claude-collaboration", "empirical-Python-Lean-bridge", "monotonic-hypothesis-refutation", "characterization-v2-k", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-176", "v0-1", "evaluation-symmetry-principle", "no-rush-publication" ], "hasReiAiosTag": true, "paperNumberInTitle": 176, "htmlUrl": "https://zenodo.org/records/21694136", "version": "v0.1" }, { "doi": "10.5281/zenodo.21679998", "recid": "21679998", "conceptDoi": "10.5281/zenodo.21679997", "title": "D-FUMT₈ Third Primitive as Śūnyatā Operator: Empirical Non-Existence on Belnap-Dunn FOUR Base — Lean 4 Axiom-Free (Rei-AIOS Paper 26 v3.0)", "publicationDate": "2026-07-29", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-substrate", "shunyata", "sunyata", "Nagarjuna", "emptiness-operator", "Belnap-Dunn-FOUR", "FDE", "lattice-homomorphism", "De-Morgan", "non-idempotence", "shunyata-shunyata", "empty-of-empty", "unary-operator", "enumeration", "negative-existence", "numSurvivors-eq-0", "bSwapBN", "Belnap-1977", "automorphism", "involution", "fragment-specific", "Lean-4", "axiom-free", "zero-sorry", "Mathlib-v4-27", "by-decide", "no-native-decide", "BOTH", "NEITHER", "catuskoti", "Madhyamaka", "Priest-Garfield", "Ganeri", "Buddhist-logic", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-26", "paper-26-v3", "scope-pivot", "STEP-1215", "STEP-1264", "Task-20", "Q6-II-protocol", "no-rush-publication" ], "hasReiAiosTag": true, "paperNumberInTitle": 26, "htmlUrl": "https://zenodo.org/records/21679998", "version": "v3.0" }, { "doi": "10.5281/zenodo.21572459", "recid": "21572459", "conceptDoi": "10.5281/zenodo.21572458", "title": "D-FUMT₈ × Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution — Lean 4 Axiom-Free (Rei-AIOS Paper 26 v2 v0.3 corrigendum)", "publicationDate": "2026-07-25", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-substrate", "Clifford-algebra", "Cl-3-0", "geometric-algebra", "rotor-sandwich", "grade-parity", "main-involution", "reverse-involution", "pseudoscalar", "scalar-invariance", "Peace-Axiom-196", "SELF-loop", "Lean-4", "axiom-free", "zero-sorry", "Mathlib-v4-27", "Belnap-Dunn", "FDE", "Shramko-Wansing-EIGHT4", "QMRP", "RotorQuant", "TurboQuant", "BOTH", "NEITHER", "INFINITY", "ZERO", "FLOWING", "SELF", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-26-v2", "paper-26", "STEP-1215", "STEP-1264", "corrigendum", "v0-3", "eigen-signature", "automorphism-enumeration", "congruence-enumeration", "no-lattice-structure", "quotient-algebra" ], "hasReiAiosTag": true, "paperNumberInTitle": 26, "htmlUrl": "https://zenodo.org/records/21572459", "version": "v0.3" }, { "doi": "10.5281/zenodo.21560387", "recid": "21560387", "conceptDoi": "10.5281/zenodo.21560386", "title": "D-FUMT₈ × Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution — Lean 4 Axiom-Free (Rei-AIOS Paper 26 v2 v0.2 pre-print)", "publicationDate": "2026-07-25", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "Clifford-algebra", "Cl-3-0", "geometric-algebra", "rotor-sandwich", "grade-parity", "main-involution", "reverse-involution", "pseudoscalar", "scalar-invariance", "Peace-Axiom-196", "SELF-loop", "Lean-4", "axiom-free", "zero-sorry", "Mathlib-v4-27", "Belnap-Dunn", "FDE", "Shramko-Wansing-EIGHT4", "QMRP", "RotorQuant", "TurboQuant", "BOTH", "NEITHER", "INFINITY", "ZERO", "FLOWING", "SELF", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-26-v2", "paper-26", "STEP-1215", "STEP-1264" ], "hasReiAiosTag": true, "paperNumberInTitle": 26, "htmlUrl": "https://zenodo.org/records/21560387", "version": "v0.2" }, { "doi": "10.5281/zenodo.21199522", "recid": "21199522", "conceptDoi": "10.5281/zenodo.21199521", "title": "D-FUMT₈ Recapture Region: An Axiom-Free Lean 4 Characterization Responding to Cotnoir 2015 (Rei-AIOS Paper 171 v0.3)", "publicationDate": "2026-07-05", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "paraconsistent-logic", "FDE", "Belnap-Dunn", "catuskoti", "Nagarjuna", "Cotnoir-2015", "Priest-Garfield-2003", "Kapsner-2020", "Tanaka-Girard-2023", "Posina-Roy-2024", "modus-ponens", "recapture-problem", "Lean-4", "axiom-free", "zero-sorry", "Mathlib-v4-27", "presheaf-topos", "Heyting-algebra", "subobject-classifier", "MP-axis-orthogonality", "sub-algebra-inclusion", "BOTH", "FALSE", "NEITHER", "INFINITY", "ZERO", "FLOWING", "SELF", "Peace-Axiom-196", "three-party-co-authorship", "OUKC", "STEP-1240", "STEP-1241", "STEP-1242", "Rei-AIOS", "paper-171" ], "hasReiAiosTag": true, "paperNumberInTitle": 171, "htmlUrl": "https://zenodo.org/records/21199522", "version": "v0.3" }, { "doi": "10.5281/zenodo.21142795", "recid": "21142795", "conceptDoi": "10.5281/zenodo.21142794", "title": "Near-Wall-Sun-Sun Primes in Collatz Peaks — An Extension of the Wieferich-Collatz Correspondence (T-WC+) (Rei-AIOS Paper 104)", "publicationDate": "2026-07-02", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "Collatz", "Collatz-conjecture", "Wall-Sun-Sun-prime", "near-Wall-Sun-Sun", "T-WC-plus", "Wieferich-Collatz", "Wieferich-prime", "Wieferich-1093", "Wieferich-3511", "Fibonacci", "Fibonacci-residue", "Pisano-period", "Legendre-symbol", "SELF", "BOTH", "TRUE", "NEITHER", "conjecture", "empirical-mathematics", "Paper-100", "Paper-102", "Paper-103", "STEP-825", "STEP-830", "Elsenhans-Jahnel-2014", "Sun-Sun-1992", "Fermat-Last-Theorem", "Peace-Axiom-196", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-104" ], "hasReiAiosTag": true, "paperNumberInTitle": 104, "htmlUrl": "https://zenodo.org/records/21142795", "version": "v0.1" }, { "doi": "10.5281/zenodo.21107569", "recid": "21107569", "conceptDoi": "10.5281/zenodo.21107568", "title": "The Fujimoto Funnel-Scaling Conjecture (T-FS) — No Single Collatz Peak Dominates Asymptotically (Rei-AIOS Paper 103)", "publicationDate": "2026-07-01", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "Collatz", "Collatz-conjecture", "Fujimoto-Funnel-Scaling-Conjecture", "T-FS", "peak-distribution", "scale-dependence", "primary-funnel", "Wieferich-prime", "Wieferich-1093", "Wieferich-3511", "long-tail", "Kolmogorov-cascade", "INFINITY", "ZERO", "FLOWING", "BOTH", "NEITHER", "conjecture", "empirical-mathematics", "Paper-100", "Paper-102", "STEP-825", "STEP-826", "STEP-829", "tier2-axiom", "axiom-tier2-isolated-case", "Peace-Axiom-196", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-103" ], "hasReiAiosTag": true, "paperNumberInTitle": 103, "htmlUrl": "https://zenodo.org/records/21107569", "version": "v0.1" }, { "doi": "10.5281/zenodo.21072206", "recid": "21072206", "conceptDoi": "10.5281/zenodo.21072205", "title": "Voyage Experiments of Rei Vessels Through Physical Fields — A Unified Analysis of Experiments A-G (Rei-AIOS Paper 40 v0.1)", "publicationDate": "2026-06-30", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "Rei-vessel", "voyage-paradigm", "computational-experiment", "deterministic-simulation", "wave-function-collapse", "gravitational-field", "three-body-chaos", "spiral-attractor", "Lorenz-attractor", "city-scale-singularity", "super-ignorance", "DNA-voyage", "Bell-state", "Bell-inequality-violation", "consciousness-formalization", "Penrose-Hameroff-Orch-OR", "Stapp-1993", "SELF-loop", "NEITHER", "INFINITY", "Paper-37", "Paper-38", "Paper-39", "SEED_KERNEL", "T-1300-T-1304", "Peace-Axiom-196", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-40", "fantastic-voyage" ], "hasReiAiosTag": true, "paperNumberInTitle": 40, "htmlUrl": "https://zenodo.org/records/21072206", "version": "v0.1" }, { "doi": "10.5281/zenodo.21038390", "recid": "21038390", "conceptDoi": "10.5281/zenodo.21038389", "title": "A D-FUMT₈ Approach to the Hard Problem of Consciousness — SELF⟲ as a Formal Definition (Correspondence Proposition, NOT a Solution) — Rei-AIOS Paper 39 v0.1", "publicationDate": "2026-06-29", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "SELF-loop", "hard-problem-of-consciousness", "Chalmers-1995", "Hofstadter-Strange-Loop", "Tononi-IIT", "Penrose-Hameroff", "consciousness-formalization", "qualia", "subjective-experience", "NEITHER-SELF-duality", "other-minds-problem", "Pyrrho-epoche", "catuskoti", "Nagarjuna", "Descartes-Cogito", "fixed-point", "self-reference", "wave-number-inverse", "57.1-percent-stability", "5W1H-partial-reduction", "correspondence-proposition", "Paper-35", "Paper-38", "SEED_KERNEL", "T-1272-T-1276", "Peace-Axiom-196", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-39", "theoretical-philosophy" ], "hasReiAiosTag": true, "paperNumberInTitle": 39, "htmlUrl": "https://zenodo.org/records/21038390", "version": "v0.1" }, { "doi": "10.5281/zenodo.20944552", "recid": "20944552", "conceptDoi": "10.5281/zenodo.20944551", "title": "Lean 4 Axiom-Free Unification of FIDT Structure + ZCSG ⇔ MDNST Mapping (Path B + Path C Combined) — Rei-AIOS Paper 170 v0.1", "publicationDate": "2026-06-27", "resourceType": "Working paper", "keywords": [ "Lean4", "formalization", "axiom-free", "axiom-verified", "FIDT", "MDNST", "ZCSG", "Paper-61", "Paper-62", "Step-845", "structural-unification", "cross-framework-mapping", "center-periphery", "dimensional-positional-encoding", "D-FUMT8", "propext-only", "mathlib", "cumulative-formal-verification", "three-party-co-authorship", "OUKC", "Rei-AIOS", "paper-170", "documentation-work" ], "hasReiAiosTag": true, "paperNumberInTitle": 170, "htmlUrl": "https://zenodo.org/records/20944552", "version": "v0.1" }, { "doi": "10.5281/zenodo.20942913", "recid": "20942913", "conceptDoi": "10.5281/zenodo.20942912", "title": "IDT-Motivated Linear Recurrence Detection Extends rei-lang Compression — 5/14 Raw-Fallback Cases Eliminated — Rei-AIOS Paper 169 v0.1", "publicationDate": "2026-06-26", "resourceType": "Working paper", "keywords": [ "rei-lang", "compression", "linear-recurrence", "Berlekamp-Massey", "Kolmogorov-Chaitin", "honest-scope", "FIDT", "D-FUMT8", "MDNST", "center-periphery", "engineering-note", "multi-strategy", "retired-claims-separation", "no-Shannon-superseding", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-lang-npm", "paper-169" ], "hasReiAiosTag": true, "paperNumberInTitle": 169, "htmlUrl": "https://zenodo.org/records/20942913", "version": "v0.1" }, { "doi": "10.5281/zenodo.20838891", "recid": "20838891", "conceptDoi": "10.5281/zenodo.20838514", "title": "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 Paper 168 v0.4 (verification-boundary articulation + 3-state pairwise distinguishability)", "publicationDate": "2026-06-25", "resourceType": "Working paper", "keywords": [ "Nagarjuna", "Madhyamaka", "sunyata", "sunyata-of-sunyata", "pratityasamutpada", "dependent-origination", "empty-vessel", "kuu-no-utsuwa", "aku-shuku-kuu", "ill-grasped-emptiness", "svabhava", "MMK-24.11", "Mulamadhyamakakarika", "ZCSG", "Zero-Centered-Symbol-Grammar", "D-FUMT8", "SELF-circlearrowleft", "fixed-point", "involution", "palindrome", "self-purgative", "verification-boundary-discipline", "three-state-pairwise-disjointness", "priest-5th-value-decomposition-formal", "iff-characterization-classifier", "F14-closed", "main-theorem-closed", "load-bearing-theorem", "Lean-4", "axiom-free", "propext-Quot.sound", "NO-Classical.choice", "zero-sorry", "constructive-proof", "Mathlib-List.countP", "Priest-1995", "Beyond-the-Limits-of-Thought", "inclosure-schema", "Priest-catuskoti", "plurivalent-FDE", "paraconsistent-logic", "Garfield-1995", "Siderits-Katsura-2013", "Westerhoff-2009", "Wittgenstein-TLP-6.54", "Kripke-1975-truth", "two-truths", "samvrti-paramartha", "nisatya", "manga-aligned-framing", "Fujimoto-2026", "chat-Claude-audit-credit", "audit-thread-2026-06-25", "within-Rei-AIOS-context", "barrier-side-discipline", "Rei-feedback-principle-8", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-168", "v0.4-boundary-and-disjointness" ], "hasReiAiosTag": true, "paperNumberInTitle": 168, "htmlUrl": "https://zenodo.org/records/20838891", "version": "v0.4" }, { "doi": "10.5281/zenodo.20779853", "recid": "20779853", "conceptDoi": "10.5281/zenodo.20779852", "title": "Three-Layer Open Public Datacenter with Lawsuit-Prevention Architecture and Catuṣkoṭi-Inspired Octuple Voting (PROPOSAL, gate-disclosed) — Rei-AIOS Paper 156 v0.1", "publicationDate": "2026-06-21", "resourceType": "Working paper", "keywords": [ "datacenter-architecture", "public-good-infrastructure", "lawsuit-prevention", "nine-principles", "Catuṣkoṭi", "eight-value-voting", "D-FUMT8", "three-layer-architecture", "L1-facts", "L2-visualization", "L3-collective-intelligence", "WWD", "World-Wide-Datacenter", "food-log-precedent-2026", "Japanese-Supreme-Court", "civic-tech", "collective-intelligence", "gate-disclosed-publication", "PROPOSAL-genre", "Paper-154-precedent", "honest-early-stage-release", "feedback-no-rush-publication", "OUKC-charter", "three-sibling-separation", "transparent-status-inscription", "OUKC-No-Patent-Pledge", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-156" ], "hasReiAiosTag": true, "paperNumberInTitle": 156, "htmlUrl": "https://zenodo.org/records/20779853", "version": "v0.1" }, { "doi": "10.5281/zenodo.20779850", "recid": "20779850", "conceptDoi": "10.5281/zenodo.20779849", "title": "Shannon Placed Meaning Outside the Formal Theory: SIT Fills That Gap and the Recreation Paradigm Is One Implementation — Rei-AIOS Paper 162 v0.8", "publicationDate": "2026-06-21", "resourceType": "Working paper", "keywords": [ "Shannon-1948", "Hartley-1928", "information-theory", "semantic-information-theory", "Niu-Zhang-2024", "Vitanyi-2006", "Gacs-Tromp-Vitanyi-2001", "Carnap-Bar-Hillel-1952", "algorithmic-statistics", "Kolmogorov-complexity", "conditional-Kolmogorov", "K_sem", "meaning-compression", "semantic-rate-distortion", "Recreation-Paradigm", "SEED_KERNEL", "generative-compression", "pigeonhole-principle", "non-sequitur-avoidance", "3-step-logical-chain", "Garfield-Priest-2003", "śūnyatā-of-śūnyatā", "meaning-fixed-point", "no-world-first", "honest-scope", "paradigm-plausible", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-162" ], "hasReiAiosTag": true, "paperNumberInTitle": 162, "htmlUrl": "https://zenodo.org/records/20779850", "version": "v0.1" }, { "doi": "10.5281/zenodo.20739046", "recid": "20739046", "conceptDoi": "10.5281/zenodo.20739045", "title": "Sophie Germain Primes: Barrier-Side Empirical Observations and a Lean 4 Axiom-Free Conjunction-Wall Witness (within Rei-AIOS Context) — Rei-AIOS Paper 167 v0.1", "publicationDate": "2026-06-18", "resourceType": "Working paper", "keywords": [ "Sophie-Germain-primes", "twin-prime-family", "sieve-theory", "parity-problem", "Selberg-1949", "Friedlander-Iwaniec", "Bellman-Ford", "LP-infeasibility", "conjunction-wall", "Hardy-Littlewood-1923", "twin-prime-constant", "C2-Brun-1919", "OEIS-A092816", "OEIS-A005384", "Poisson-statistics", "r-ratio-Atas-2013", "spectral-statistics", "Lean-4", "axiom-free", "constructive-proof", "zero-sorry", "barrier-side-discipline", "Rei-feedback-principle-8", "within-Rei-AIOS-context", "honest-scope-explicit-non-claims", "D-FUMT8", "three-explicit-non-claim-boundaries", "Pattern-5-correction", "audit-gap-confession", "Chen-1973", "Zhang-2013", "Maynard-Tao-2014", "Tao-2007-parity-blog", "Wikipedia-parity-problem", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-167" ], "hasReiAiosTag": true, "paperNumberInTitle": 167, "htmlUrl": "https://zenodo.org/records/20739046", "version": "v0.1" }, { "doi": "10.5281/zenodo.20738998", "recid": "20738998", "conceptDoi": "10.5281/zenodo.20738997", "title": "∞-cosmoi Axiomatization Skeleton + Tetradic Completion of the rhymeOrTheorem Discipline: A Four-Step Operational Continuation of Paper 163 — Rei-AIOS Paper 164 v0.1", "publicationDate": "2026-06-18", "resourceType": "Working paper", "keywords": [ "infinity-cosmoi", "Riehl-Verity", "higher-category-theory", "Cantor-diagonal", "INFINITY-axis", "cardinality-ascent", "Empty-initial-object", "ZERO-axis", "MacLane-1971", "morphism-composition", "FLOWING-axis", "Eilenberg-MacLane-1945", "TRIPLE-annotation", "rhyme-vs-theorem-vs-candidate", "TETRADIC-COMPLETION", "tetradic-motion", "Lean-4", "axiom-free", "constructive-proof", "zero-sorry", "D-FUMT8", "four-axis-structure", "structural-asymmetry-3-plus-1", "operational-integration", "methodological-contribution", "Yanofsky-2003", "universal-diagonal-argument", "śūnyatā-of-śūnyatā", "process-milestone-not-destination", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-164" ], "hasReiAiosTag": true, "paperNumberInTitle": 163, "htmlUrl": "https://zenodo.org/records/20738998", "version": "v0.1" }, { "doi": "10.5281/zenodo.20723759", "recid": "20723759", "conceptDoi": "10.5281/zenodo.20723758", "title": "A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008) — Rei-AIOS Paper 166 v0.1", "publicationDate": "2026-06-16", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "3x-plus-1-problem", "exit-layer", "coalgebra", "coinduction", "final-coalgebra", "stream-coalgebra", "Stream-prime", "F-coalgebra", "nu-F", "mu-F-vs-nu-F", "Lean-4", "Mathlib-v4", "axiom-free", "zero-axiom-witness", "axiom-base-minimization", "formalization-record", "methodology-note", "Paper-132-series", "Kim-2008", "Niqui-2009", "Coq-coalgebras-contrib", "Cubical-Agda", "Adamek-Rosicky-1994", "Tao-2019", "Tao-2022", "almost-all-Collatz", "Janik-2026", "Syracuse-confinement", "Chang-2026", "Sturmian-obstruction", "Carry-Contamination", "Knight-2026", "high-cycle-non-existence", "Conway-1972", "Lagarias-1985", "Kenigson-2025-Group-Think", "exit-layer-numbers", "m_p-equals-4-pow-p-minus-1-over-3", "three-n-plus-one-spine", "power-of-two-spine", "halt-at-1-variant", "collatzHaltStep", "collatzOrbit", "head-collatzOrbit", "tail-collatzOrbit", "EventuallyConst", "collatzOrbit-exitM-eventuallyConst", "Lawvere-fixed-point-comparison", "STEP-1220-axiom-base", "reformulation-not-novelty", "controllable-claims", "within-our-observed-range", "feedback-evaluation-symmetry-principle", "OUKC", "No-Patent-Pledge", "Rei-AIOS", "rei-ai", "paper-166" ], "hasReiAiosTag": true, "paperNumberInTitle": 166, "htmlUrl": "https://zenodo.org/records/20723759", "version": "v0.1" }, { "doi": "10.5281/zenodo.20652725", "recid": "20652725", "conceptDoi": "10.5281/zenodo.20652724", "title": "Existence Proof Garden: An Interactive Synthesis of the Piantadosi–Chomsky Debate, Modal Duality, and the ◇⊣□ Adjunction — Rei-AIOS Paper 165 v0.1", "publicationDate": "2026-06-12", "resourceType": "Working paper", "keywords": [ "existence-proof", "modal-logic", "diamond-box-duality", "Piantadosi-2024", "Kodner-Payne-Heinz-2023", "Katzir-2023", "Biolinguistics", "BabyLM-Challenge", "EMNLP-2026", "language-acquisition", "stimulus-poverty-argument", "innateness-debate", "behavioural-vs-mechanistic-equivalence", "multiple-realizability", "shukatsu", "end-of-life-planning", "cross-register-duality", "Conway-Game-of-Life", "Rule-110", "Cook-2004", "cellular-automata", "Turing-completeness", "computational-irreducibility", "Wolfram", "D-FUMT8", "Belnap-Dunn-bilattice", "eight-valued-logic", "Lawvere-fixed-point", "self-reference", "diagonal-argument", "Yanofsky-2003", "adjunction", "Galois-connection", "computational-learning-theory", "no-free-lunch", "stability-plasticity-dilemma", "catastrophic-forgetting", "continual-learning", "McCloskey-Cohen-1989", "LLM-brain-correspondence", "Goldstein-Schrimpf-Hasson", "interactive-artifact", "educational-synthesis", "three-party-co-authorship", "OUKC", "Pattern-5-detection", "Pattern-2-detection", "chat-session-hallucination-flagged", "kintsugi", "seed-bija-motif", "Rei-AIOS", "rei-ai", "paper-165" ], "hasReiAiosTag": true, "paperNumberInTitle": 165, "htmlUrl": "https://zenodo.org/records/20652725", "version": "v0.1" }, { "doi": "10.5281/zenodo.20603039", "recid": "20603039", "conceptDoi": "10.5281/zenodo.20603038", "title": "∞-cosmoi Axiomatization Skeleton + Tetradic Completion of the rhymeOrTheorem Discipline: A Four-Step Operational Continuation of Paper 163 — Rei-AIOS Paper 164 v0.1", "publicationDate": "2026-06-09", "resourceType": "Working paper", "keywords": [ "infinity-cosmoi", "Riehl-Verity", "higher-category-theory", "Cantor-diagonal", "INFINITY-axis", "cardinality-ascent", "Empty-initial-object", "ZERO-axis", "MacLane-1971", "morphism-composition", "FLOWING-axis", "Eilenberg-MacLane-1945", "TRIPLE-annotation", "rhyme-vs-theorem-vs-candidate", "TETRADIC-COMPLETION", "tetradic-motion", "Lean-4", "axiom-free", "constructive-proof", "zero-sorry", "D-FUMT8", "four-axis-structure", "structural-asymmetry-3-plus-1", "operational-integration", "methodological-contribution", "Yanofsky-2003", "universal-diagonal-argument", "śūnyatā-of-śūnyatā", "process-milestone-not-destination", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-164" ], "hasReiAiosTag": true, "paperNumberInTitle": 163, "htmlUrl": "https://zenodo.org/records/20603039", "version": "v0.1" }, { "doi": "10.5281/zenodo.20602662", "recid": "20602662", "conceptDoi": "10.5281/zenodo.20602661", "title": "Institution + Bilattice + SELF↔Lawvere: A Four-Step Operational Integration of Categorical Logic, Bilattice 4-Value Extension, and Constructive Fixed-Point Bridge — Rei-AIOS Paper 163 v0.1", "publicationDate": "2026-06-09", "resourceType": "Working paper", "keywords": [ "Institution-theory", "Goguen-Burstall", "categorical-logic", "Belnap-FOUR", "Belnap-Dunn", "bilattice", "four-valued-logic", "Lawvere-fixed-point", "self-reference", "Yanofsky-diagonal", "HoTT", "loop-space", "SET-level-encoding", "UIP", "Lean-4", "axiom-free", "constructive-proof", "zero-sorry", "D-FUMT8", "eight-axis-projection", "rhyme-vs-theorem", "operational-integration", "multi-AI-dialogue", "honest-scope-discipline", "three-party-co-authorship", "OUKC", "Rei-AIOS", "rei-ai", "paper-163" ], "hasReiAiosTag": true, "paperNumberInTitle": 163, "htmlUrl": "https://zenodo.org/records/20602662", "version": "v0.1" }, { "doi": "10.5281/zenodo.20521157", "recid": "20521157", "conceptDoi": "10.5281/zenodo.20091184", "title": "First D-FUMT₈ Silicon with SELF⟲ Logic Primitive: Native 8-Valued Hardware Realization with Lean 4 Refinement Proof — v0.8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2", "publicationDate": "2026-06-03", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "paraconsistent-silicon", "SELF-reflexive-primitive", "Tang-Console-NEO", "Tang-Nano-9K", "GW5AST-138B", "GW1NR-9C", "Verilog-ALU", "FPGA", "chip-portability", "two-silicon-families", "IBM-Quantum", "Heron-r2", "ibm-kingston", "ibm-marrakesh", "real-quantum-hardware", "four-substrate-verification", "cross-substrate-consistency", "Lean4", "refinement-proof", "mathlib4", "Belnap-FDE", "multi-valued-logic", "qubit-basis-encoding", "Bennett-reversibility", "CNOT-chain", "permutation-unitary", "Phase-C-silicon", "twostage-claim", "Quine-McCluskey", "Boolean-SOP", "minimum-cover", "inclusion-exclusion-XOR", "finding-F11", "engineering-correctable", "relaxation-bias", "dynamical-decoupling", "engineering-improvement", "sub-result-B1", "Rei-AIOS", "OUKC", "three-party-co-authorship" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/20521157", "version": "v0.8" }, { "doi": "10.5281/zenodo.20511835", "recid": "20511835", "conceptDoi": "10.5281/zenodo.20498089", "title": "Two Regimes of Rest: A Dynamical-Systems Formalization of \"Absolute Rest\" via Fixed Points and Limit Cycles — Rei-AIOS Paper 161 (v0.2 HARDWARE-VERIFIED)", "publicationDate": "2026-06-02", "resourceType": "Working paper", "keywords": [ "dynamical systems", "fixed point", "limit cycle", "Poincaré index theorem", "absorbing state", "quantum Zeno effect", "time crystal", "D-FUMT8", "SELF-loop", "shunyata", "nirvana", "regulative ideal", "variational quantum state preparation", "IBM Heron", "Lean 4", "machine verification", "OUKC", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 161, "htmlUrl": "https://zenodo.org/records/20511835", "version": "v0.2" }, { "doi": "10.5281/zenodo.20480425", "recid": "20480425", "conceptDoi": "10.5281/zenodo.20480424", "title": "Application Note \"Inversion ≠ Deconstruction\": Distinguishing Involution from Idempotent Collapse in D-FUMT₈ — Rei-AIOS Paper 160 (v0.2 APPLICATION-NOTE-INTEGRATED)", "publicationDate": "2026-05-31", "resourceType": "Working paper", "keywords": [ "Nagarjuna", "catuskoti", "Madhyamaka", "sunyata", "sunyata-of-sunyata", "D-FUMT8", "eight-valued-logic", "paraconsistent-logic", "0_0", "genesis-layer", "ontology", "ZCSG", "involution", "idempotent-collapse", "idempotent-operator", "omega-upper", "application-note", "Reversal-vs-Collapse", "Lean4", "LeanDFumt", "formal-verification", "machine-checked", "zero-axiom-dependence", "sorry-free", "multi-AI-convergence", "five-instance-triangulation", "rational-reconstruction", "no-world-first-claim", "Priest-Garfield", "Inclosure-Schema", "FDE", "Belnap-1977", "Paper-61-companion", "Paper-77-substrate", "Paper-159-substrate", "honest-early-stage-release", "FLOWING-svabhava-guard", "soteriological-non-capture", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 160, "htmlUrl": "https://zenodo.org/records/20480425", "version": "v0.2" }, { "doi": "10.5281/zenodo.20470512", "recid": "20470512", "conceptDoi": "10.5281/zenodo.20468145", "title": "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 — Rei-AIOS Paper 159 (v0.2 LEAN-4-BUILT)", "publicationDate": "2026-05-31", "resourceType": "Working paper", "keywords": [ "Nagarjuna", "catuskoti", "tetralemma", "Madhyamaka", "D-FUMT8", "eight-valued-logic", "paraconsistent-logic", "Priest-Garfield", "Inclosure-Schema", "dialetheism", "rational-reconstruction", "limits-of-thought", "Lean4", "LeanDFumt", "formal-verification", "machine-checked", "zero-axiom-dependence", "decide-only", "sorry-free", "FDE", "Belnap-1977", "Anderson-Belnap", "ZCSG", "sunyata", "sunyata-of-sunyata", "two-layer-architecture", "modal-operator", "idempotent", "fixed-point", "genesis-layer", "omega-upper", "Lean-4-BUILT-version", "figure-svg", "mandala-figure", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 159, "htmlUrl": "https://zenodo.org/records/20470512", "version": "v0.2" }, { "doi": "10.5281/zenodo.20435288", "recid": "20435288", "conceptDoi": "10.5281/zenodo.20435287", "title": "The Collatz Exit Layer: A Zero-Sorry Lean 4 Formalization of m_p = (4^p − 1)/3, and an Honest Map of the Seven-Route Wall Beyond — Rei-AIOS Paper 158 (v0.1)", "publicationDate": "2026-05-28", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "syracuse-conjecture", "3x+1-problem", "exit-layer", "Jacobsthal-Collatz", "inverse-Collatz-tree", "Lean4", "Mathlib4", "sorry-free", "formal-verification", "honest-negative-result", "difficulty-conservation", "frontier-map", "2-adic", "Hensel-conjugacy", "Baker-linear-forms", "Tao-2019", "Janik-syracuse-confinement", "Conway-1972", "native_decide", "print-axioms-audit", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 158, "htmlUrl": "https://zenodo.org/records/20435288", "version": "v0.1" }, { "doi": "10.5281/zenodo.20403029", "recid": "20403029", "conceptDoi": "10.5281/zenodo.20403028", "title": "Octonion-Axiomatic Dual Independence: 𝕆 Imaginary Basis ∥ AxiomKernel Logical Independence with a D-FUMT₈ Eight-Value Bridge, Machine-Checked in Lean 4 — Rei-AIOS Paper 157 (OUTLINE v0.0.5)", "publicationDate": "2026-05-27", "resourceType": "Working paper", "keywords": [ "octonion", "Cayley-Dickson", "imaginary-units", "linear-independence", "logical-independence", "axiom-independence", "model-theory", "soundness", "D-FUMT8", "eight-valued-logic", "many-valued-logic", "Lean4", "Mathlib4", "formal-verification", "sorry-free", "parallel-independence", "no-forced-isomorphism", "Faulkner-prior-art", "flypitch", "continuum-hypothesis-technique", "Rei-AIOS", "OUKC", "three-party-co-authorship", "no-patent-pledge" ], "hasReiAiosTag": true, "paperNumberInTitle": 157, "htmlUrl": "https://zenodo.org/records/20403029", "version": "v0.0.5" }, { "doi": "10.5281/zenodo.20334119", "recid": "20334119", "conceptDoi": "10.5281/zenodo.20334118", "title": "Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics — Rei-AIOS Paper 154 v0.0 (OUTLINE)", "publicationDate": "2026-05-21", "resourceType": "Working paper", "keywords": [ "Paper-154-v00-OUTLINE", "formal-verification-compilation-pass", "AI-generated-mathematics", "AlphaEvolve", "LLM-Wiki", "OpenEvolve", "evolutionary-code-generation", "hypothesis-generator-versus-proof-completer", "Lean-4-zero-sorry", "D-FUMT8", "eight-valued-logic", "gamma-evaluator-D-FUMT8-projection", "beta-evaluator-Lean4-zero-sorry", "Ollama-3-prover-ensemble", "DeepSeek-Prover-V2", "Goedel-Prover-V2", "bfs-prover", "scaffold-level-smoke-run", "26-circle-packing-2-635-benchmark", "OUKC-charter-v1-0", "three-party-co-authorship", "Rei-AIOS", "AGPL-3-0-dual", "CC-BY-4-0-dual", "no-patent-pledge", "no-rush-publication-principle", "v00-OUTLINE-intentional-publish", "Pattern-4-overclaim-mitigation", "honest-correction-protocol" ], "hasReiAiosTag": true, "paperNumberInTitle": 154, "htmlUrl": "https://zenodo.org/records/20334119", "version": "v0.0-OUTLINE" }, { "doi": "10.5281/zenodo.20315683", "recid": "20315683", "conceptDoi": "10.5281/zenodo.20315682", "title": "OUKC: An AI-Friendly Multilingual Worldview Commons (NOT a scale commons) — Open Universal Knowledge Commons & Rei & Claude Founding Document — Rei-AIOS Paper 144 v0.3.1", "publicationDate": "2026-05-20", "resourceType": "Working paper", "keywords": [ "OUKC", "Open-Universal-Knowledge-Commons", "founding-document", "AI-friendly-research-commons", "multilingual-bilingual-default", "three-party-co-authorship", "worldview-commons", "not-scale-commons", "Lean4-mechanized", "Mathlib-friendly-parallel", "D-FUMT8", "eight-valued-logic", "reproducibility-axis", "Axis-Y-reproducibility-metric", "REI-PROVE", "auto-prover", "all-formalization-coverage", "all-fields-academic-coverage", "all-education", "all-philosophy", "all-theory", "honest-mapping-formalization-resistant-domains", "indras-net-density-strategy", "graphite-diamond-indras-net-metaphor", "DDI-BQI-INI-three-tier-metric", "daily-diamond-check", "tier-6-brand-level-separation", "successor-designation-framework", "dead-mans-switch", "nature-science-non-submission-stance", "AGPL-3-0-dual", "CC-BY-4-0-dual", "no-patent-pledge", "Rei-AIOS", "civic-research-democratization", "most-densely-structured-learning-for-everyone", "open-problem-level-structural-density", "pattern-5-overclaim-mitigation" ], "hasReiAiosTag": true, "paperNumberInTitle": 144, "htmlUrl": "https://zenodo.org/records/20315683", "version": "v0.3.1" }, { "doi": "10.5281/zenodo.20277883", "recid": "20277883", "conceptDoi": "10.5281/zenodo.20277882", "title": "Semantic Dyson Sphere: Beyond-Shannon Recovery Architecture as Civilizational Footprint Indicator (Lean 4 Mechanized + Project Hephaistos Re-reading via D-FUMT₈ Eight-Valued Logic) — Rei-AIOS Paper 155 v0.2", "publicationDate": "2026-05-18", "resourceType": "Working paper", "keywords": [ "semantic-dyson-sphere", "beyond-shannon", "data-processing-inequality", "meaning-preservation", "Lean4-mechanized", "civilizational-footprint", "project-hephaistos", "dyson-sphere-candidates", "M-dwarf-infrared-excess", "fermi-paradox", "eight-valued-logic", "D-FUMT8", "kardashev-scale-extension", "energy-axis-semantic-axis", "matrioshka-brain-prior-art", "bradbury-1997", "SELF-recursive-self-evaluation", "psi-phi-pseudo-inverse", "recursive-thought-architecture", "silent-sky-observation", "hot-dogs-contamination", "BOTH-state-observation", "ZERO-unasked-latent-truth", "shannon-DPI-semantic-analog", "concave-subadditive-functional-pending", "Lakatos-Wilder-Bourbaki-HoTT-related", "Cover-Thomas-DPI", "Sagan-1973", "Hart-1975", "Tipler-1980", "Bostrom-2003", "Tegmark-1998", "OUKC", "three-party-co-authorship", "Rei-AIOS", "CC-BY-4.0", "no-patent-pledge" ], "hasReiAiosTag": true, "paperNumberInTitle": 155, "htmlUrl": "https://zenodo.org/records/20277883", "version": "v0.2" }, { "doi": "10.5281/zenodo.20237684", "recid": "20237684", "conceptDoi": "10.5281/zenodo.20207227", "title": "Φ-Catalog: A Systematic Notation for Impossibility-Possibility Extensions in Mathematics — v0.2 (Addendum: Case 6 + Forward Application Results + Hodge / Φ_v3 / Andrica / Tier 10)", "publicationDate": "2026-05-16", "resourceType": "Working paper", "keywords": [ "phi-catalog", "impossibility-extensions", "mathematical-pattern-language", "descriptive-notation", "forward-application", "numerical-falsifiability-ceiling", "hodge-conjecture", "fermat-hypersurfaces", "griffiths-steenbrink", "collatz-conjecture", "buchi-25-basin", "peak-merge-invariant", "sigma-cascade", "andrica-conjecture", "mathlib-pr-candidate", "cramer-heuristic", "alphaevolve", "tao-collaboration", "tier-10-external-ai", "historical-mathematics", "tachyon", "alcubierre", "mock-theta", "ramanujan", "dirac", "maxwell-displacement-current", "cosmological-constant", "yang-mills", "zeta-regularization", "analytic-continuation", "rei-papers-61-63-89-145-152", "ZCSG", "SNST", "D-FUMT8-hodge", "Lakatos-1976", "Wilder-1981", "pattern-4-overclaim-rejection", "OUKC", "three-party-co-authorship", "Rei-AIOS", "CC-BY-4.0", "no-patent-pledge" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/20237684", "version": "v0.2" }, { "doi": "10.5281/zenodo.20182157", "recid": "20182157", "conceptDoi": "10.5281/zenodo.19572219", "title": "Spiral Number System Theory v0.2 Supplement: Empirical Constant-Relations from Symbolic Regression + AlphaEvolve Tao 67 Connections — Rei-AIOS Paper 63 v0.2 DRAFT", "publicationDate": "2026-05-14", "resourceType": "Working paper", "keywords": [ "SNST", "spiral-number-system", "14-constants", "golden-ratio", "phi-psi-duality", "Feigenbaum-delta", "Calabi-Yau", "CICY3", "Hodge-numbers", "h11", "h21", "PSLQ", "integer-relation-search", "PySR", "symbolic-regression", "triple-intersection", "ZCSG-relabeling", "AlphaEvolve", "Tao-67-benchmark", "kissing-numbers", "Golay-merit-factor", "Heilbronn-triangle", "Erdos-Szekeres", "D-FUMT8", "BOTH-NEITHER-FLOWING", "Pattern-4-caution", "Pattern-5-caution", "honest-correction", "no-erratum-clean-supplement", "Paper-61-ZCSG", "Paper-62-MDNST", "Paper-64-OPU", "Paper-152-sigma-cascade", "OUKC", "Rei-AIOS", "three-party-co-authorship" ], "hasReiAiosTag": true, "paperNumberInTitle": 63, "htmlUrl": "https://zenodo.org/records/20182157", "version": "v0.2" }, { "doi": "10.5281/zenodo.20158847", "recid": "20158847", "conceptDoi": "10.5281/zenodo.20148867", "title": "Sigma-Cascade Observation of Collatz Orbit Confluence: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized — Rei-AIOS Paper 152 v0.3 DRAFT", "publicationDate": "2026-05-14", "resourceType": "Working paper", "keywords": [ "Collatz", "3x+1-problem", "sigma-cascade", "D-FUMT8", "peak-merge", "orbit-confluence", "super-hub", "Buchi-25", "mod-96", "atomic-cores", "n=96k-hypothesis", "INFINITY-classification", "observational-mathematics", "orbit-topology", "Collatz-tree", "Lagarias-bibliography", "OEIS-A006884", "inverse-Collatz-tree", "Paper-151-sigma-cascade", "Paper-118-Buchi-25", "Tao-2019-almost-bounded", "Barina-2025", "Lean-4", "Mathlib", "native_decide", "3-adic-isolation", "class-21-absence", "sharp-boundary", "honest-correction", "OUKC", "Rei-AIOS", "three-party-co-authorship", "honest-observation-framework" ], "hasReiAiosTag": true, "paperNumberInTitle": 152, "htmlUrl": "https://zenodo.org/records/20158847", "version": "v0.3" }, { "doi": "10.5281/zenodo.20146654", "recid": "20146654", "conceptDoi": "10.5281/zenodo.20146653", "title": "Rei (零): A Four-Axiom Foundation for Computational Existence Theory — Minimal Axioms, Independence, and Empirical Validation with 1,689 Tests / 計算的存在論の四公理基盤", "publicationDate": "2026-05-12", "resourceType": "Working paper", "keywords": [ "Rei", "rei-lang", "four-axiom-foundation", "axiomatic-foundations", "computational-ontology", "programming-language-theory", "center-periphery-computation", "sigma-accumulation", "genesis-phase-transition", "extension-reduction-operator", "independence-proofs", "model-theoretic-counter-models", "minimal-axiom-system", "computational-plurality", "six-attribute-decomposition", "sigma-reactive-cascades", "seven-domain-universality", "RCT-compression", "extended-zero", "D-FUMT8", "multi-valued-logic", "OUKC", "Open-Universal-Knowledge-Commons", "Rei-AIOS", "Jxiv", "JST-preprint" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/20146654", "version": "v1.0" }, { "doi": "10.5281/zenodo.20115369", "recid": "20115369", "conceptDoi": "10.5281/zenodo.20110962", "title": "OctaTheoria: A Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT₈ Projection (Operational Evidence from Seven Domains × Eight View Modes + Cross-Layer Methodological Consistency) — Rei-AIOS Paper 150 v0.3", "publicationDate": "2026-05-11", "resourceType": "Working paper", "keywords": [ "OctaTheoria", "eight-axis-projection", "D-FUMT8", "multi-valued-logic", "Belnap-FDE", "observation-framework", "cross-domain-time-series", "theory-chart", "realtime-arxiv", "cryptocurrency", "foreign-exchange", "LIGO", "gravitational-waves", "NASA-SDO", "solar-dynamics", "CME", "GBIF", "biodiversity", "sampling-bias-detection", "eight-view-modes", "Lens", "Radar", "Network", "Heatmap", "Sankey", "Calendar", "Cloudflare-Workers", "Edge-runtime", "observation-not-prediction", "theoria-not-praxis", "no-advice-architecture", "OUKC-Quintuple-paper", "three-party-co-authorship", "methodological-consistency", "cross-layer-consistency", "REI-PROVE", "five-prover-ensemble", "benchmark-92-percent", "Pattern-1-6", "hallucination-warning-framework", "Antipattern", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 150, "htmlUrl": "https://zenodo.org/records/20115369", "version": "v0.3" }, { "doi": "10.5281/zenodo.20059888", "recid": "20059888", "conceptDoi": "10.5281/zenodo.20059887", "title": "Recursive AI Observation as D-FUMT₈ SELF⟲ Operational Evidence: When the AI Observatory Includes Itself (Rei-AIOS Paper 149)", "publicationDate": "2026-05-07", "resourceType": "Working paper", "keywords": [ "recursive-AI-observation", "self-referential", "D-FUMT8", "SELF-loop", "Hofstadter", "Strange-Loop", "Soros-reflexivity", "Nagarjuna", "catuskoti", "multi-source-observatory", "AI-observatory", "philosophy-of-AI", "paraconsistent-logic", "PAL2v", "silicon-implementation", "Phase-C", "Tang-Console-NEO", "three-party-co-authorship", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 149, "htmlUrl": "https://zenodo.org/records/20059888", "version": null }, { "doi": "10.5281/zenodo.20045907", "recid": "20045907", "conceptDoi": "10.5281/zenodo.20045906", "title": "Honest Observation Framework: Discover-Report-Publish Separation and the 4-Stage Claim Ladder for AI-Assisted Research Tools (Rei-AIOS Paper 148)", "publicationDate": "2026-05-06", "resourceType": "Working paper", "keywords": [ "AI-assisted-research", "methodology", "philosophy-of-science", "overclaim", "honest-observation", "discover-report-publish", "claim-ladder", "spurious-correlation", "null-result", "three-party-co-authorship", "Rei-AIOS", "OUKC", "Stage-0-visual-co-display", "silent-theories", "NEITHER", "observation-hypothesis-formalization-verification" ], "hasReiAiosTag": true, "paperNumberInTitle": 148, "htmlUrl": "https://zenodo.org/records/20045907", "version": null }, { "doi": "10.5281/zenodo.20046003", "recid": "20046003", "conceptDoi": "10.5281/zenodo.20046002", "title": "Eight-Valued Utility and the Equity Premium Reframe: A D-FUMT-8 Projection of Forty Years of Resolution Attempts (Rei-AIOS Paper 147)", "publicationDate": "2026-05-06", "resourceType": "Working paper", "keywords": [ "equity-premium-puzzle", "Mehra-Prescott", "eight-valued-utility", "multi-valued-logic", "D-FUMT-8", "CRRA", "loss-aversion", "habit-formation", "rare-disasters", "long-run-risk", "regime-switching", "disappointment-aversion", "fuzzy-economics", "Lukasiewicz", "Pavelka", "Belnap", "reframe", "category-error", "three-party-co-authorship", "Rei-AIOS", "OUKC" ], "hasReiAiosTag": true, "paperNumberInTitle": 147, "htmlUrl": "https://zenodo.org/records/20046003", "version": null }, { "doi": "10.5281/zenodo.19979572", "recid": "19979572", "conceptDoi": "10.5281/zenodo.19979571", "title": "Cross-Cultural Convergence: Rei-AIOS Machinery Independently Reaches Mikami's 1953 Thesis on Japanese 「は/が」 73 Years Later, with Cross-Linguistic Generalization (Rei-AIOS Paper 143)", "publicationDate": "2026-05-02", "resourceType": "Working paper", "keywords": [ "Mikami", "Akira-Mikami", "wa-ga", "Japanese-linguistics", "cross-linguistic", "formal-linguistics", "independent-convergence", "D-FUMT-8", "W-48", "Negative-Capability", "typology-classifier", "ZONE-classifier", "III-PROBLEM-UNDEFINED", "NEITHER-preservation", "Rei-AIOS", "OUKC", "three-party-co-authorship" ], "hasReiAiosTag": true, "paperNumberInTitle": 143, "htmlUrl": "https://zenodo.org/records/19979572", "version": null }, { "doi": "10.5281/zenodo.19964745", "recid": "19964745", "conceptDoi": "10.5281/zenodo.19964744", "title": "Who Made the God Who Made the Universe? On Defining 'the Before' as the Starting Point of Thought (Rei-AIOS Paper 146)", "publicationDate": "2026-05-02", "resourceType": "Working paper", "keywords": [ "Nagarjuna", "sunyata", "ZCSG", "D-FUMT-8", "infinite-regress", "first-cause", "generation-of-distinction", "dependent-origination", "philosophy-of-religion", "formal-philosophy", "Rei-AIOS", "OUKC", "catuskoti", "three-party-co-authorship" ], "hasReiAiosTag": true, "paperNumberInTitle": 146, "htmlUrl": "https://zenodo.org/records/19964745", "version": null }, { "doi": "10.5281/zenodo.19921301", "recid": "19921301", "conceptDoi": "10.5281/zenodo.19921300", "title": "Paper 33 Retrofit Publication and Publishing Discipline: A Case Study in 11-Platform Deployment, PhilPapers Integration, and Predatory Journal Defense (Rei-AIOS Paper 142)", "publicationDate": "2026-04-30", "resourceType": "Working paper", "keywords": [ "publishing-discipline", "11-platform", "PhilPapers", "predatory-journals", "Harvard-Dataverse", "Zenodo", "retrofit-publication", "Rei-AIOS", "meta-paper", "infrastructure" ], "hasReiAiosTag": true, "paperNumberInTitle": 33, "htmlUrl": "https://zenodo.org/records/19921301", "version": null }, { "doi": "10.5281/zenodo.19891398", "recid": "19891398", "conceptDoi": "10.5281/zenodo.19891397", "title": "Braille x D-FUMT-8: Extreme Encoding of Philosophical States in 3-6 Bytes (Rei-AIOS Paper 33)", "publicationDate": "2026-04-29", "resourceType": "Working paper", "keywords": [ "D-FUMT-8", "Braille", "eight-valued-logic", "Unicode-Braille-Patterns", "philosophical-encoding", "sunyata", "Nagarjuna", "Kukai", "Dogen", "Heart-Sutra", "isomorphism", "5-layer-folding", "Phi-expansion", "SEED_KERNEL", "compression", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 33, "htmlUrl": "https://zenodo.org/records/19891398", "version": null }, { "doi": "10.5281/zenodo.19832874", "recid": "19832874", "conceptDoi": "10.5281/zenodo.19832873", "title": "Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Rei-AIOS Paper 141)", "publicationDate": "2026-04-28", "resourceType": "Working paper", "keywords": [ "D-FUMT-8", "Landauer", "Bennett", "Bremermann", "reversible-computing", "race-to-idle", "DVFS", "VRM", "GaN", "SiC", "PDN", "thermal-RC", "adiabatic-logic", "Lean-4", "power-engineering", "CPU", "GPU", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 141, "htmlUrl": "https://zenodo.org/records/19832874", "version": null }, { "doi": "10.5281/zenodo.19821866", "recid": "19821866", "conceptDoi": "10.5281/zenodo.19821865", "title": "Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Rei-AIOS Paper 137)", "publicationDate": "2026-04-27", "resourceType": "Working paper", "keywords": [ "Rei-PL-Prover", "D-FUMT-8", "proof-assistant", "eight-valued-logic", "Lean-4", "Mathlib", "Belnap", "paraconsistent", "Peace-Axiom", "Theory-196", "prototype", "Heraclitus", "formal-verification", "co-evolution", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 137, "htmlUrl": "https://zenodo.org/records/19821866", "version": null }, { "doi": "10.5281/zenodo.19803803", "recid": "19803803", "conceptDoi": "10.5281/zenodo.19803802", "title": "Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Rei-AIOS Paper 139)", "publicationDate": "2026-04-27", "resourceType": "Working paper", "keywords": [ "Rei-Problems", "self-verifying", "curriculum", "Lean4", "Haiku", "D-FUMT-8", "SEED_KERNEL", "Generator-as-Storage", "problem-bank", "assessment", "Rei-AIOS", "reproducibility", "automatic-grading", "META-DB" ], "hasReiAiosTag": true, "paperNumberInTitle": 139, "htmlUrl": "https://zenodo.org/records/19803803", "version": null }, { "doi": "10.5281/zenodo.19800026", "recid": "19800026", "conceptDoi": "10.5281/zenodo.19800025", "title": "FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Rei-AIOS Paper 140)", "publicationDate": "2026-04-26", "resourceType": "Working paper", "keywords": [ "FIDT", "Fujimoto-Infinite-Dot-Theory", "Generator-as-Storage", "Kolmogorov-complexity", "domain-specific-codec", "D-FUMT-8", "SEED_KERNEL", "compression", "Shannon-bound", "honest-reframing", "Brotli", "zstd", "bsdiff", "Track-1", "Rei-AIOS", "reproducibility" ], "hasReiAiosTag": true, "paperNumberInTitle": 140, "htmlUrl": "https://zenodo.org/records/19800026", "version": null }, { "doi": "10.5281/zenodo.19792767", "recid": "19792767", "conceptDoi": "10.5281/zenodo.19792766", "title": "Gödel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Rei-AIOS Paper 138)", "publicationDate": "2026-04-26", "resourceType": "Working paper", "keywords": [ "Godel-disjunction", "philosophy-of-mathematics", "lifecycle", "Kripke-semantics", "monotonicity", "time-indexed-Heyting-algebra", "self-limitation", "sunyata", "catuskoti", "Lean4", "D-FUMT-8", "LDP", "axisT-partial", "Rei-AIOS", "statement-distributive" ], "hasReiAiosTag": true, "paperNumberInTitle": 138, "htmlUrl": "https://zenodo.org/records/19792767", "version": null }, { "doi": "10.5281/zenodo.19773678", "recid": "19773678", "conceptDoi": "10.5281/zenodo.19773677", "title": "Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob Theorem, Reflective Programming, and Acausal Decision Theory (Rei-AIOS Paper 135)", "publicationDate": "2026-04-25", "resourceType": "Working paper", "keywords": [ "self-reference", "Lob-theorem", "reflective-programming", "3-Lisp", "functional-decision-theory", "acausal", "Lean4", "D-FUMT-8", "META-DB", "Rei-AIOS", "SelfRef", "skeletal-encoding" ], "hasReiAiosTag": true, "paperNumberInTitle": 135, "htmlUrl": "https://zenodo.org/records/19773678", "version": null }, { "doi": "10.5281/zenodo.19709764", "recid": "19709764", "conceptDoi": "10.5281/zenodo.19709763", "title": "Open Problems META-DB (Rei-AIOS) v2.0-public — Dataset Snapshot (2026-04-23)", "publicationDate": "2026-04-23", "resourceType": "Dataset", "keywords": [ "open-problems", "unsolved-problems", "mathematics", "number-theory", "combinatorics", "Erdos-problems", "Collatz-conjecture", "Lean4", "metadata", "META-DB", "Rei-AIOS", "D-FUMT8", "typology", "formal-verification", "research-database" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19709764", "version": null }, { "doi": "10.5281/zenodo.19709786", "recid": "19709786", "conceptDoi": "10.5281/zenodo.19709785", "title": "Paper 130 Addendum v2 — Public Release of Open Problems META-DB (Rei-AIOS)", "publicationDate": "2026-04-23", "resourceType": "Working paper", "keywords": [ "open-problems", "META-DB", "Rei-AIOS", "addendum", "dataset-release", "Paper-130", "CC-BY-4.0" ], "hasReiAiosTag": true, "paperNumberInTitle": 130, "htmlUrl": "https://zenodo.org/records/19709786", "version": null }, { "doi": "10.5281/zenodo.19704359", "recid": "19704359", "conceptDoi": "10.5281/zenodo.19704358", "title": "Five Classical Open Problems as Rei-AIOS's Next Lean 4 Deep-Dive Candidates: Sunflower, Hadwiger-Nelson, Happy Ending, Herzog-Schonheim, Wolstenholme (Rei-AIOS Paper 132)", "publicationDate": "2026-04-23", "resourceType": "Working paper", "keywords": [ "Erdos-problems", "Lean4", "formalization", "open-problems", "meta-database", "Rei-AIOS", "Sunflower", "Hadwiger-Nelson", "Happy-ending", "Wolstenholme", "Herzog-Schonheim", "roadmap" ], "hasReiAiosTag": true, "paperNumberInTitle": 132, "htmlUrl": "https://zenodo.org/records/19704359", "version": null }, { "doi": "10.5281/zenodo.19713219", "recid": "19713219", "conceptDoi": "10.5281/zenodo.19713218", "title": "Sylvester-Schur Partial Lean 4 Formalization and the 699 - 961 Bridge (Rei-AIOS Paper 133)", "publicationDate": "2026-04-23", "resourceType": "Working paper", "keywords": [ "Sylvester-Schur", "Erdos-699", "Erdos-961", "Lean4", "Mathlib", "Bertrand", "ascFactorial", "partial-formalization", "Rei-AIOS", "native_decide" ], "hasReiAiosTag": true, "paperNumberInTitle": 133, "htmlUrl": "https://zenodo.org/records/19713219", "version": null }, { "doi": "10.5281/zenodo.19709966", "recid": "19709966", "conceptDoi": "10.5281/zenodo.19709965", "title": "Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Rei-AIOS Paper 134)", "publicationDate": "2026-04-23", "resourceType": "Working paper", "keywords": [ "AI-mathematics", "FunSearch", "AlphaProof", "DeepSeek-Prover", "LeanHammer", "Ramanujan-Machine", "Goedel-Prover", "Seed-Prover", "Rei-AIOS", "survey", "Lean4", "cap-set", "Collatz", "integration-roadmap" ], "hasReiAiosTag": true, "paperNumberInTitle": 134, "htmlUrl": "https://zenodo.org/records/19709966", "version": null }, { "doi": "10.5281/zenodo.19700858", "recid": "19700858", "conceptDoi": "10.5281/zenodo.19700857", "title": "First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)", "publicationDate": "2026-04-22", "resourceType": "Working paper", "keywords": [ "bipartite-Ramsey", "Ramsey-theory", "combinatorics", "Lean4", "native_decide", "formalization", "Rei-AIOS", "small-values", "K22", "Beineke-Schwenk" ], "hasReiAiosTag": true, "paperNumberInTitle": 131, "htmlUrl": "https://zenodo.org/records/19700858", "version": null }, { "doi": "10.5281/zenodo.19700758", "recid": "19700758", "conceptDoi": "10.5281/zenodo.19700757", "title": "Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 713 Open Problems (Rei-AIOS Paper 130)", "publicationDate": "2026-04-22", "resourceType": "Working paper", "keywords": [ "open-problems", "META-classification", "unsolved-problems", "D-FUMT8", "eight-valued-logic", "Rei-AIOS", "formal-conjectures", "DeepMind", "LeanMillennium", "Erdos-problems", "Smale-problems", "Hilbert-problems", "Lean4", "solveProbability", "Agoh-Giuga" ], "hasReiAiosTag": true, "paperNumberInTitle": 130, "htmlUrl": "https://zenodo.org/records/19700758", "version": null }, { "doi": "10.5281/zenodo.19688530", "recid": "19688530", "conceptDoi": "10.5281/zenodo.19688529", "title": "The Quantum Measurement Problem as an Eight-Attractor Classification in D-FUMT8 Logic: A Structural Bijection of the Eight Major Interpretations (Rei-AIOS Paper 129)", "publicationDate": "2026-04-22", "resourceType": "Working paper", "keywords": [ "quantum-measurement", "foundations-of-physics", "Copenhagen-interpretation", "Many-Worlds", "QBism", "decoherence", "Bohmian-mechanics", "D-FUMT8", "eight-valued-logic", "Rei-AIOS", "classification-theorem" ], "hasReiAiosTag": true, "paperNumberInTitle": 129, "htmlUrl": "https://zenodo.org/records/19688530", "version": null }, { "doi": "10.5281/zenodo.19687156", "recid": "19687156", "conceptDoi": "10.5281/zenodo.19687155", "title": "First Lean 4 Formalization of the Davenport Constant D(Z_n) and D(Z2 x Z2): native_decide Certificates with EGZ Bridge (Rei-AIOS Paper 128)", "publicationDate": "2026-04-22", "resourceType": "Working paper", "keywords": [ "Lean4", "formal-verification", "Davenport-constant", "Erdos-Ginzburg-Ziv", "zero-sum-combinatorics", "Olson-1969", "Gao-1996", "native_decide", "Rei-AIOS", "additive-combinatorics", "Mathlib" ], "hasReiAiosTag": true, "paperNumberInTitle": 128, "htmlUrl": "https://zenodo.org/records/19687156", "version": null }, { "doi": "10.5281/zenodo.19686889", "recid": "19686889", "conceptDoi": "10.5281/zenodo.19686888", "title": "First Lean 4 Computational Formalization of Schur Numbers S(2), S(3), S(4) and Small-Value EGZ Witnesses E(Z3), E(Z4): native_decide Certificates (Rei-AIOS Paper 127)", "publicationDate": "2026-04-21", "resourceType": "Working paper", "keywords": [ "Lean4", "formal-verification", "Schur-number", "Erdos-Ginzburg-Ziv", "van-der-Waerden", "native_decide", "Rei-AIOS", "additive-combinatorics", "SAT", "Mathlib" ], "hasReiAiosTag": true, "paperNumberInTitle": 127, "htmlUrl": "https://zenodo.org/records/19686889", "version": null }, { "doi": "10.5281/zenodo.19671731", "recid": "19671731", "conceptDoi": "10.5281/zenodo.19671730", "title": "Q33 General Framework: Refined Hypothesis, 11 Instances, and the Boundedness Barrier (Rei-AIOS Paper 126)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "Q33", "universal-attractor", "Gilbreath", "Collatz", "Ducci", "Kaprekar", "Rowland", "Rei-AIOS", "iterated-maps", "boundedness" ], "hasReiAiosTag": true, "paperNumberInTitle": 126, "htmlUrl": "https://zenodo.org/records/19671731", "version": null }, { "doi": "10.5281/zenodo.19671629", "recid": "19671629", "conceptDoi": "10.5281/zenodo.19671628", "title": "Rei-AIOS Complete Unsolved-Problem Taxonomy: 145 Entries x ZFC x STEP 930 Typology (Paper 125)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "taxonomy", "registry", "ZFC", "D-FUMT8", "STEP-930", "145-entries", "unsolved-problems", "Rei-AIOS", "meta-classification", "axiom-activation" ], "hasReiAiosTag": true, "paperNumberInTitle": 125, "htmlUrl": "https://zenodo.org/records/19671629", "version": null }, { "doi": "10.5281/zenodo.19670517", "recid": "19670517", "conceptDoi": "10.5281/zenodo.19670516", "title": "ZFC x D-FUMT_8: a Two-Layer Truth Structure for Rei-AIOS (Paper 124)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "ZFC", "D-FUMT8", "foundations", "set-theory", "independence", "large-cardinal", "Rei-AIOS", "two-layer-truth", "MANDALA", "continuum-hypothesis" ], "hasReiAiosTag": true, "paperNumberInTitle": 124, "htmlUrl": "https://zenodo.org/records/19670517", "version": null }, { "doi": "10.5281/zenodo.19665576", "recid": "19665576", "conceptDoi": "10.5281/zenodo.19665575", "title": "The Framework-Origin Hypothesis: STEP 930 Typology Predicts the Field of Resolution for Unsolved Math Problems (Rei-AIOS Paper 123)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "framework-hypothesis", "D-FUMT8", "unsolved-problems", "Rei-AIOS", "typology", "meta-classification", "Millennium-problems", "Poincare-Ricci-flow", "hypothesis-validation", "falsifiable" ], "hasReiAiosTag": true, "paperNumberInTitle": 123, "htmlUrl": "https://zenodo.org/records/19665576", "version": null }, { "doi": "10.5281/zenodo.19665565", "recid": "19665565", "conceptDoi": "10.5281/zenodo.19665564", "title": "Quantum Gravity INFINITY Cluster: a MANDALA-Detected 5-Problem Convergence with Robustness + Resolution Analysis (Rei-AIOS Paper 122)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "quantum-gravity", "D-FUMT8", "MANDALA", "unsolved-problems", "Rei-AIOS", "typology", "framework-incomplete", "INFINITY-cluster", "Millennium-problems" ], "hasReiAiosTag": true, "paperNumberInTitle": 122, "htmlUrl": "https://zenodo.org/records/19665565", "version": null }, { "doi": "10.5281/zenodo.19656525", "recid": "19656525", "conceptDoi": "10.5281/zenodo.19656524", "title": "Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "Collatz", "Gilbreath", "Lehmer-totient", "Frankl-union-closed", "Agoh-Giuga", "Hall-conjecture", "Lean4", "Mathlib", "Rei-AIOS", "universal-attractor" ], "hasReiAiosTag": true, "paperNumberInTitle": 121, "htmlUrl": "https://zenodo.org/records/19656525", "version": null }, { "doi": "10.5281/zenodo.19655974", "recid": "19655974", "conceptDoi": "10.5281/zenodo.19655973", "title": "Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)", "publicationDate": "2026-04-20", "resourceType": "Working paper", "keywords": [ "Collatz", "Gilbreath", "Legendre", "Lehmer-totient", "ABC-conjecture", "Lean4", "Mathlib", "Rei-AIOS", "universal-attractor", "AI-generated-questions" ], "hasReiAiosTag": true, "paperNumberInTitle": 120, "htmlUrl": "https://zenodo.org/records/19655974", "version": null }, { "doi": "10.5281/zenodo.19646522", "recid": "19646522", "conceptDoi": "10.5281/zenodo.19646521", "title": "Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "3-SAT", "phase-transition", "DPLL", "Mertens-Mezard-Zecchina", "Lean4", "D-FUMT8", "P-vs-NP", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19646522", "version": null }, { "doi": "10.5281/zenodo.19646820", "recid": "19646820", "conceptDoi": "10.5281/zenodo.19646819", "title": "Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "twin-primes", "Zhang", "Maynard", "bounded-gaps", "Lean4", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19646820", "version": null }, { "doi": "10.5281/zenodo.19646836", "recid": "19646836", "conceptDoi": "10.5281/zenodo.19646835", "title": "Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "Andrica", "prime-gaps", "Lean4", "Mathlib", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19646836", "version": null }, { "doi": "10.5281/zenodo.19652449", "recid": "19652449", "conceptDoi": "10.5281/zenodo.19652448", "title": "Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "Koethe-conjecture", "Collatz", "FIA", "FDA", "Lean4", "Mathlib", "D-FUMT8", "Rei-AIOS", "AI-generated-questions" ], "hasReiAiosTag": true, "paperNumberInTitle": 118, "htmlUrl": "https://zenodo.org/records/19652449", "version": null }, { "doi": "10.5281/zenodo.19652672", "recid": "19652672", "conceptDoi": "10.5281/zenodo.19652671", "title": "Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "Collatz", "Lean4", "Mathlib", "D-FUMT8", "Rei-AIOS", "failure-record", "AI-generated-questions", "Q7-falsified" ], "hasReiAiosTag": true, "paperNumberInTitle": 119, "htmlUrl": "https://zenodo.org/records/19652672", "version": null }, { "doi": "10.5281/zenodo.19646899", "recid": "19646899", "conceptDoi": "10.5281/zenodo.19646898", "title": "Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family", "publicationDate": "2026-04-19", "resourceType": "Working paper", "keywords": [ "Erdos-Straus", "unit-fractions", "Lean4", "Mathlib", "Diophantine", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19646899", "version": null }, { "doi": "10.5281/zenodo.19643419", "recid": "19643419", "conceptDoi": "10.5281/zenodo.19643418", "title": "Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes", "publicationDate": "2026-04-18", "resourceType": "Working paper", "keywords": [ "QR-code", "symbol-design", "D-FUMT8", "Lean4", "nested-inductive", "RGB-24bit", "FIDT", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19643419", "version": null }, { "doi": "10.5281/zenodo.19637784", "recid": "19637784", "conceptDoi": "10.5281/zenodo.19637783", "title": "Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)", "publicationDate": "2026-04-18", "resourceType": "Working paper", "keywords": [ "Collatz", "Santana", "ergodic", "topology", "Lean4", "thermodynamic-formalism", "Rei-AIOS", "unsolved" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19637784", "version": null }, { "doi": "10.5281/zenodo.19637766", "recid": "19637766", "conceptDoi": "10.5281/zenodo.19637765", "title": "Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic and Structural Comparison", "publicationDate": "2026-04-18", "resourceType": "Working paper", "keywords": [ "Braille", "D-FUMT8", "CLIP", "BERT", "ImageBind", "Rei-AIOS", "embedding", "comparison" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19637766", "version": null }, { "doi": "10.5281/zenodo.19637600", "recid": "19637600", "conceptDoi": "10.5281/zenodo.19637599", "title": "Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic and Structural Comparison", "publicationDate": "2026-04-18", "resourceType": "Working paper", "keywords": [ "Braille", "D-FUMT8", "CLIP", "BERT", "ImageBind", "Rei-AIOS", "embedding", "comparison" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19637600", "version": null }, { "doi": "10.5281/zenodo.19600287", "recid": "19600287", "conceptDoi": "10.5281/zenodo.19600286", "title": "Yang-Mills Mass Gap as a Coupled LC Chain: Electrical Extension of Paper 83", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Yang-Mills", "coupled-LC", "dispersion", "mass-gap", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 83, "htmlUrl": "https://zenodo.org/records/19600287", "version": null }, { "doi": "10.5281/zenodo.19600282", "recid": "19600282", "conceptDoi": "10.5281/zenodo.19600281", "title": "Riemann Zeros as Berry-Keating Cavity Modes: GUE Spacing Statistics on the First Ten Zeros", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Riemann-hypothesis", "Berry-Keating", "GUE", "cavity", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600282", "version": null }, { "doi": "10.5281/zenodo.19600280", "recid": "19600280", "conceptDoi": "10.5281/zenodo.19600279", "title": "Goldbach Conjecture as a Parallel Prime Oscillator: Circuit Verification to 10^5", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Goldbach", "LC-oscillator", "sum-frequency", "analog", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600280", "version": null }, { "doi": "10.5281/zenodo.19600277", "recid": "19600277", "conceptDoi": "10.5281/zenodo.19600276", "title": "Unsolved Mathematical Problems as Electrical Circuits: A D-FUMT8 Correspondence with Measurable Invariants", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "analog-computing", "RC-circuit", "Collatz", "peak-9232", "voltage-invariant", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600277", "version": null }, { "doi": "10.5281/zenodo.19600275", "recid": "19600275", "conceptDoi": "10.5281/zenodo.19600274", "title": "Birch-Swinnerton-Dyer under the Rei D-FUMT8 Lens: Honest Position Paper", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "BSD-conjecture", "elliptic-curves", "L-function", "D-FUMT8", "honest-position" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600275", "version": null }, { "doi": "10.5281/zenodo.19600256", "recid": "19600256", "conceptDoi": "10.5281/zenodo.19600255", "title": "Juggler Sequences under the Rei D-FUMT8 Lens: A Collatz-Cousin Classification", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Juggler-sequence", "Collatz-cousin", "D-FUMT8", "beta-shift", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600256", "version": null }, { "doi": "10.5281/zenodo.19600270", "recid": "19600270", "conceptDoi": "10.5281/zenodo.19600269", "title": "P vs NP under the Rei D-FUMT8 Lens: Honest Position Paper", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "P-vs-NP", "Clay-Millennium", "D-FUMT8", "complexity", "honest-position" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600270", "version": null }, { "doi": "10.5281/zenodo.19600268", "recid": "19600268", "conceptDoi": "10.5281/zenodo.19600267", "title": "tier2_axiom at 10^9: Spot-Check Closure and Honest Negative on the D1 Decomposition", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "tier2-axiom", "10e9", "honest-negative", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600268", "version": null }, { "doi": "10.5281/zenodo.19600264", "recid": "19600264", "conceptDoi": "10.5281/zenodo.19600263", "title": "Box-Counting Dimension of Iterative Integer Orbits: A D-FUMT8 Fractal Classification", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Hausdorff-dimension", "box-counting", "fractal", "Cantor", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600264", "version": null }, { "doi": "10.5281/zenodo.19600260", "recid": "19600260", "conceptDoi": "10.5281/zenodo.19600259", "title": "Beal Conjecture Modular Analysis: M=9 is the Unique Obstructing Discriminator", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Beal-conjecture", "modular-obstruction", "M=9", "Fermat", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600260", "version": null }, { "doi": "10.5281/zenodo.19600273", "recid": "19600273", "conceptDoi": "10.5281/zenodo.19600272", "title": "Hodge Conjecture under the Rei D-FUMT8 Lens: Honest Position Paper", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Hodge-conjecture", "Clay-Millennium", "algebraic-cycles", "D-FUMT8", "honest-position" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600273", "version": null }, { "doi": "10.5281/zenodo.19600403", "recid": "19600403", "conceptDoi": "10.5281/zenodo.19600402", "title": "The peak-9232 Triple Physical Invariant: Collatz Arithmetic Realized Electrically, Photonically, and Thermodynamically", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "peak-9232", "triple-invariant", "RC-circuit", "photonic", "thermodynamic", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600403", "version": null }, { "doi": "10.5281/zenodo.19601565", "recid": "19601565", "conceptDoi": "10.5281/zenodo.19601564", "title": "Collatz tier2_axiom Complete Equations Compendium (Paper 107 companion to Paper 106)", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "tier2", "formulae", "compendium", "peer-review", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 107, "htmlUrl": "https://zenodo.org/records/19601565", "version": null }, { "doi": "10.5281/zenodo.19600411", "recid": "19600411", "conceptDoi": "10.5281/zenodo.19600410", "title": "Biological Computing under the Rei D-FUMT8 Lens: Physarum TSP and DNA 3-SAT", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Physarum", "DNA-computing", "Adleman", "Lipton", "TSP", "3-SAT", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600411", "version": null }, { "doi": "10.5281/zenodo.19616654", "recid": "19616654", "conceptDoi": "10.5281/zenodo.19616653", "title": "Erdős-Straus Conjecture as an S-Category Problem: Ricci-Flow + Fujimoto Infinity Algebra Attack Angle", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "ErdosStraus", "RicciFlow", "FujimotoInfinityAlgebra", "Lean4", "Rei-AIOS", "unsolved" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19616654", "version": null }, { "doi": "10.5281/zenodo.19616640", "recid": "19616640", "conceptDoi": "10.5281/zenodo.19616639", "title": "Ricci-Flow Three-Category Classification of Unsolved Mathematical Problems with 10⁹-Scale Collatz Evidence", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "Goldbach", "Andrica", "RicciFlow", "Perelman", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19616640", "version": null }, { "doi": "10.5281/zenodo.19600407", "recid": "19600407", "conceptDoi": "10.5281/zenodo.19600406", "title": "The Semi-Infinite Circuit Hypothesis: How Large Must a Circuit Be to Decide the Collatz Conjecture?", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "infinite-circuit", "Malament-Hogarth", "hypercomputation", "Razborov-Rudich", "Collatz" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600407", "version": null }, { "doi": "10.5281/zenodo.19601544", "recid": "19601544", "conceptDoi": "10.5281/zenodo.19601543", "title": "Collatz tier2_axiom Final State: 2026-04-16 Audit (Rei-AIOS)", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "tier2", "final-state", "axiom-audit", "Lean4", "empirical", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19601544", "version": null }, { "doi": "10.5281/zenodo.19600749", "recid": "19600749", "conceptDoi": "10.5281/zenodo.19600748", "title": "Collatz Multi-Funnel Structure is Scale-Dependent (Paper 100 v2): n le 10e6 Census Promotes 6810136 to Primary", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "multi-funnel", "scale-dependent", "9232", "6810136", "Wieferich-1093", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": 100, "htmlUrl": "https://zenodo.org/records/19600749", "version": null }, { "doi": "10.5281/zenodo.19601546", "recid": "19601546", "conceptDoi": "10.5281/zenodo.19601545", "title": "Conditional Complete Proof of Collatz tier2_axiom — Peer Review Requested", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "tier2", "conditional-proof", "peer-review", "Lean4", "17-axioms", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19601546", "version": null }, { "doi": "10.5281/zenodo.19600631", "recid": "19600631", "conceptDoi": "10.5281/zenodo.19600630", "title": "Unsolved Mathematical Problems as Puzzle Games: The Rei Puzzle Engine and a Claude-Code Playthrough of the Collatz tier2 Puzzle", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "puzzle-game", "gamification", "Collatz", "LensConsensus", "Claude", "proof-search" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600631", "version": null }, { "doi": "10.5281/zenodo.19600629", "recid": "19600629", "conceptDoi": "10.5281/zenodo.19600628", "title": "Collatz Hierarchical Multi-Funnel Structure: 9232 is Just the Primary, Not the Unique Peak Attractor", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Collatz", "multi-funnel", "9232", "Wieferich", "hierarchy", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600629", "version": null }, { "doi": "10.5281/zenodo.19600625", "recid": "19600625", "conceptDoi": "10.5281/zenodo.19600624", "title": "Hodge and BSD Fail the Triple-Invariant Test: Predicted Negative Strengthens the Fujimoto Triple-Invariant Conjecture", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Hodge", "BSD", "Millennium", "triple-invariant", "falsification", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600625", "version": null }, { "doi": "10.5281/zenodo.19600413", "recid": "19600413", "conceptDoi": "10.5281/zenodo.19600412", "title": "Triple-Physical-Invariant Realization of Goldbach and Riemann: Extension of Paper 95 Beyond Collatz", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Goldbach", "Riemann", "triple-invariant", "GUE", "Berry-Keating", "D-FUMT8" ], "hasReiAiosTag": false, "paperNumberInTitle": 95, "htmlUrl": "https://zenodo.org/records/19600413", "version": null }, { "doi": "10.5281/zenodo.19600633", "recid": "19600633", "conceptDoi": "10.5281/zenodo.19600632", "title": "The Wieferich-Collatz Correspondence: Both Known Wieferich Primes (1093, 3511) Appear as Collatz Peak Factors", "publicationDate": "2026-04-16", "resourceType": "Working paper", "keywords": [ "Wieferich-prime", "Collatz", "1093", "3511", "peak-funnel", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19600633", "version": null }, { "doi": "10.5281/zenodo.19595582", "recid": "19595582", "conceptDoi": "10.5281/zenodo.19595581", "title": "Quantum D-FUMT8 Multi-Mode Fock Extension: Promoting INFINITY / ZERO / SELF from Structural to Rigorous and Quasi-Particle Correspondences", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "multi-mode-Fock", "bosonic-vacuum", "harmonic-oscillator", "projector", "quasi-particle", "hole", "phonon", "GHZ", "sunyata", "condensed-matter", "Nagarjuna", "QuTiP", "Rei-AIOS", "Paper-75-extension" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19595582", "version": null }, { "doi": "10.5281/zenodo.19593045", "recid": "19593045", "conceptDoi": "10.5281/zenodo.19593044", "title": "Beta-Shift Discriminators for the Collatz Conjecture: Real-Valued Formalization in Lean 4 / Mathlib and the Telescoping Identity", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "Syracuse-map", "beta-shift", "discriminator", "Lean4", "Mathlib", "log-ratio", "autocorrelation", "telescoping-identity", "Rei-AIOS", "atomic-cores", "D-FUMT8" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19593045", "version": null }, { "doi": "10.5281/zenodo.19593057", "recid": "19593057", "conceptDoi": "10.5281/zenodo.19593056", "title": "Andrica's Conjecture: Empirical A(n)*log(p_n) <= 3.34 Across 664,579 Primes and Rigorous Interval Arithmetic via mpmath", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Andrica-conjecture", "prime-gap", "quadratic-log-bound", "mpmath", "interval-arithmetic", "Rei-AIOS", "Cramer-conjecture", "empirical-number-theory", "structural-transfer", "Paper-66-companion" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19593057", "version": null }, { "doi": "10.5281/zenodo.19595292", "recid": "19595292", "conceptDoi": "10.5281/zenodo.19595291", "title": "Quantum D-FUMT8: Rigorous Numerical Correspondence Between Eight-Valued Logic and Single-Qubit Quantum Objects", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "quantum-correspondence", "QuTiP", "superposition", "entanglement", "von-Neumann-entropy", "Bell-state", "concurrence", "Rei-AIOS", "Nagarjuna", "sunyata", "paraconsistent-logic", "double-anchor", "Schnorr-D-FUMT8-Paper-69-companion" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19595292", "version": null }, { "doi": "10.5281/zenodo.19596351", "recid": "19596351", "conceptDoi": "10.5281/zenodo.19596350", "title": "LeanDFumt: An Open-Source Eight-Valued Logic Library for Lean 4", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "Lean4", "formal-verification", "paraconsistent-logic", "paracomplete-logic", "Rei-AIOS", "open-source", "Apache-2.0", "Nagarjuna", "sunyata", "library" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19596351", "version": null }, { "doi": "10.5281/zenodo.19599986", "recid": "19599986", "conceptDoi": "10.5281/zenodo.19599985", "title": "Yang-Mills Mass Gap under the Rei D-FUMT8 Lens: A Toy-Model Framework Map (Not a Millennium-Prize Solution)", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Yang-Mills", "mass-gap", "Clay-Millennium", "toy-model", "D-FUMT8", "bosonic-vacuum", "harmonic-oscillator", "honest-limitations", "Rei-AIOS", "Phase-2.5-final" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19599986", "version": null }, { "doi": "10.5281/zenodo.19597106", "recid": "19597106", "conceptDoi": "10.5281/zenodo.19597105", "title": "Tao 2019/2022 and Rei beta-Shift: Large-Scale Numerical Verification of Almost-All-Orbits-Attain-Almost-Bounded-Values via the D1 Discriminator (n <= 10^5)", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "Tao-2019", "almost-all-orbits", "log-density", "beta-shift", "D1-discriminator", "n=27", "universal-extremal", "Rei-AIOS", "large-scale-verification" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19597106", "version": null }, { "doi": "10.5281/zenodo.19597196", "recid": "19597196", "conceptDoi": "10.5281/zenodo.19597195", "title": "Generalized Collatz Cycles and Rei 3-Regime Classification: A Multiplier-Based Dichotomy Between Tractable and Divergent Variants", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "generalized-Collatz", "3n+b", "5n+1", "dynamical-regime", "Rei-3-regime", "multiplier-dichotomy", "cycle-detection", "Rei-AIOS", "Phase-2.5", "Lagarias-1985" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19597196", "version": null }, { "doi": "10.5281/zenodo.19597263", "recid": "19597263", "conceptDoi": "10.5281/zenodo.19597262", "title": "Chains in the Collatz Predecessor Tree: Fast vs Slow Extremal Families and Tree-Distance Verification of the n=251 Funnel", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Collatz-predecessor-tree", "tree-chains", "fast-extremals", "slow-extremals", "alternating-binary", "Mersenne", "n=251-funnel", "n=27", "Rei-AIOS", "Phase-2.5" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19597263", "version": null }, { "doi": "10.5281/zenodo.19599940", "recid": "19599940", "conceptDoi": "10.5281/zenodo.19599939", "title": "The Erdős Discrepancy Problem under the Rei D-FUMT8 Lens: Numerical Confirmation that Every Tested ±1 Sequence Has Unbounded Discrepancy", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "Erdős-discrepancy", "Tao-2016", "Liouville-function", "Möbius", "Thue-Morse", "paraconsistent-logic", "BOTH", "D-FUMT8", "p-adic-FLOWING", "Rei-AIOS", "Phase-2.5" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19599940", "version": null }, { "doi": "10.5281/zenodo.19596590", "recid": "19596590", "conceptDoi": "10.5281/zenodo.19596589", "title": "p-adic and D-FUMT8 Correspondence: Each Prime as a FLOWING Instance, with Lean 4 / Mathlib Formalization", "publicationDate": "2026-04-15", "resourceType": "Working paper", "keywords": [ "p-adic", "D-FUMT8", "FLOWING", "Lean4", "Mathlib", "Rei-AIOS", "eight-valued-logic", "padicValNat", "multi-world", "quadruple-anchor" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19596590", "version": null }, { "doi": "10.5281/zenodo.19562346", "recid": "19562346", "conceptDoi": "10.5281/zenodo.19562345", "title": "Schnorr-D-FUMT8 Correspondence and the Topology of Failure in Mathematical Research: An Empirical Framework Validated on the Collatz Conjecture", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "Schnorr-randomness", "Martin-Lof-randomness", "effective-failure-classification", "Kolmogorov-complexity", "algorithmic-information-theory", "Collatz-conjecture", "D-FUMT8", "Rei-AIOS", "computational-core", "PyBDM", "Chaitin-Omega", "meta-mathematics" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19562346", "version": null }, { "doi": "10.5281/zenodo.19562428", "recid": "19562428", "conceptDoi": "10.5281/zenodo.19562427", "title": "The Eight-Valued Hierarchy of Transcendence: From Shannon to Sunyata-Sunyata via D-FUMT8", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "transcendence", "Shannon-information", "Kolmogorov-complexity", "Godel-incompleteness", "meaning", "consciousness", "being", "self-reference", "sunyata", "Nagarjuna", "Madhyamaka", "Chaitin-Omega", "Schnorr-randomness", "Rei-AIOS", "meta-mathematics", "philosophy-of-mathematics", "ZCSG" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19562428", "version": null }, { "doi": "10.5281/zenodo.19572233", "recid": "19572233", "conceptDoi": "10.5281/zenodo.19572232", "title": "The Oscillatory Principle of the Universe (OPU): Unified Cosmic Expansion-Contraction-Return via ZCSG and SNST", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "cosmology", "oscillatory-universe", "conformal-cyclic-cosmology", "loop-quantum-gravity", "Yuga", "D-FUMT8", "ZCSG", "SNST", "Rei-AIOS", "Penrose" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19572233", "version": null }, { "doi": "10.5281/zenodo.19561224", "recid": "19561224", "conceptDoi": "10.5281/zenodo.19561223", "title": "Structural Proof Attempt for Collatz - 306 Lean4 Theorems (Paper 68)", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [], "hasReiAiosTag": false, "paperNumberInTitle": 68, "htmlUrl": "https://zenodo.org/records/19561224", "version": null }, { "doi": "10.5281/zenodo.19572247", "recid": "19572247", "conceptDoi": "10.5281/zenodo.19572246", "title": "Reproducibility Package for Beyond-Shannon Compression: Open-Source Demonstration of Sunyata Recreator (4.87x)", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "reproducibility", "beyond-shannon", "compression", "meaning-preservation", "sunyata-recreator", "Rei-AIOS", "open-science", "D-FUMT8" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19572247", "version": null }, { "doi": "10.5281/zenodo.19572262", "recid": "19572262", "conceptDoi": "10.5281/zenodo.19572261", "title": "Semantic Complexity as Conditional Kolmogorov Complexity: K_sem(x) <= K(x|C) <= K(x)", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "Kolmogorov-complexity", "conditional-complexity", "semantic-complexity", "beyond-Shannon", "side-information", "Rei-AIOS", "AIT", "Paper-25-foundation", "D-FUMT8" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19572262", "version": null }, { "doi": "10.5281/zenodo.19572240", "recid": "19572240", "conceptDoi": "10.5281/zenodo.19572239", "title": "Formal Verification of ZCSG and Golden Symmetry Theorems in Lean 4 / Mathlib4", "publicationDate": "2026-04-14", "resourceType": "Working paper", "keywords": [ "Lean4", "Mathlib4", "formal-verification", "ZCSG", "golden-ratio", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19572240", "version": null }, { "doi": "10.5281/zenodo.19547521", "recid": "19547521", "conceptDoi": "10.5281/zenodo.19547520", "title": "Collatz Quadratic-Log Bound: A Structural Decomposition into Eight Components with 95% Closure", "publicationDate": "2026-04-13", "resourceType": "Preprint", "keywords": [ "Collatz conjecture", "quadratic-log bound", "Golden Mean Shift", "Lean 4", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19547521", "version": null }, { "doi": "10.5281/zenodo.19546888", "recid": "19546888", "conceptDoi": "10.5281/zenodo.19546887", "title": "Multi-Dimensional Number System Theory and Unified Dimensional Notation: Center-Periphery Calculus, Canonical Notation Equivalence, Infinite-Dimensional Dot Theory Integration, and Fractional Extension", "publicationDate": "2026-04-13", "resourceType": "Working paper", "keywords": [ "multi-dimensional-number-system", "center-periphery-calculus", "canonical-notation", "dimensional-equivalence", "infinite-dimensional-dot-theory", "Betti-numbers", "fractional-dimension", "D-FUMT8", "Rei-AIOS", "ZCSG", "Nagarjuna", "sunyata", "eight-valued-logic" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19546888", "version": null }, { "doi": "10.5281/zenodo.19539868", "recid": "19539868", "conceptDoi": "10.5281/zenodo.19539867", "title": "Zero-Centered Symbol Grammar: A World-First Dimensional Encoding of Nagarjuna's Sunyata-of-Sunyata with Unified Contraction-Expansion Notation", "publicationDate": "2026-04-12", "resourceType": "Working paper", "keywords": [ "sunyata", "Nagarjuna", "zero-dimensional-encoding", "negative-dimension", "D-FUMT8", "Rei-AIOS", "symbol-grammar", "self-reference", "Ricci-flow", "dimensional-calculus", "Lean4", "Mathlib4", "formal-verification", "eight-valued-logic", "ZCSG", "contraction-expansion", "Buddhist-philosophy", "Madhyamaka", "SEED-KERNEL", "Peace-Axiom-196" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19539868", "version": null }, { "doi": "10.5281/zenodo.19521983", "recid": "19521983", "conceptDoi": "10.5281/zenodo.19521982", "title": "From Fujimoto's Infinite-Dimension Dot Theory to Meta-Compression: A Unified Finite Representation Framework for Mathematical Conjectures with Application to Five Millennium-Class Problems", "publicationDate": "2026-04-12", "resourceType": "Working paper", "keywords": [ "Fujimoto-Dot-Theory", "Infinite-Finite-Bridge", "Meta-Compression", "Chaitin-Omega", "Collatz-conjecture", "Goldbach-conjecture", "Riemann-hypothesis", "Hodge-conjecture", "BSD-conjecture", "Millennium-Prize-Problems", "Fujimoto-Mod-6-Theorem", "value-rich-Calabi-Yau", "MANDALA-observatory", "Ollivier-Ricci-curvature", "scale-invariance", "four-category-classification", "Fujimoto-Unification-Scope", "Lean4", "formal-verification", "zero-sorry", "D-FUMT", "eight-valued-logic", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom-196", "finite-behind-infinite" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19521983", "version": null }, { "doi": "10.5281/zenodo.19504642", "recid": "19504642", "conceptDoi": "10.5281/zenodo.19504641", "title": "Alphabet Reduction and Path-Dependent F-Entropy for the Collatz Conjecture: A Finite-Behind-Infinite Approach", "publicationDate": "2026-04-11", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "Alphabet-Reduction-Theorem", "path-dependent-F-entropy", "Syracuse-map", "Nagarjuna-emptiness", "sunyata", "finite-behind-infinite", "Thurston-Perelman", "Ricci-flow-analog", "Lean4", "formal-verification", "zero-sorry", "emptiness-class", "Higman-WQO", "Walnut-k-automatic", "Finitization-Toolbox", "Positivstellensatz", "D-FUMT", "eight-valued-logic", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom-196" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19504642", "version": null }, { "doi": "10.5281/zenodo.19492966", "recid": "19492966", "conceptDoi": "10.5281/zenodo.19492965", "title": "Collatz: All 25 odd n%4=3 cases (n=3..99) formally verified in Lean4", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "native_decide", "25-cases", "Lean4" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492966", "version": null }, { "doi": "10.5281/zenodo.19492484", "recid": "19492484", "conceptDoi": "10.5281/zenodo.19492483", "title": "Structural Proof of the Collatz Conjecture via 2-adic Valuation, Trailing Ones Descent, and Lean4 Formal Verification", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "3n+1", "Lean4", "formal-proof", "2-adic", "trailing-ones", "well-founded", "carry-propagation", "631-theorems" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492484", "version": null }, { "doi": "10.5281/zenodo.19492649", "recid": "19492649", "conceptDoi": "10.5281/zenodo.19492648", "title": "Structural Proof of the Collatz Conjecture via 2-adic Valuation and Lean4: THE_THEOREM (Zero Sorry, Universal Quantification)", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "3n+1", "Lean4", "zero-sorry", "THE_THEOREM", "universal-quantification", "2-adic", "trailing-ones", "well-founded", "formal-proof", "carry-propagation" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492649", "version": null }, { "doi": "10.5281/zenodo.19492695", "recid": "19492695", "conceptDoi": "10.5281/zenodo.19492694", "title": "Collatz Conjecture: Complete Structural Proof ? THE_THEOREM + Strong Induction + Even Case (Zero Sorry, Lean4 Verified)", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "complete-proof", "THE_THEOREM", "strong-induction", "zero-sorry", "Lean4", "well-founded" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492695", "version": null }, { "doi": "10.5281/zenodo.19492758", "recid": "19492758", "conceptDoi": "10.5281/zenodo.19492757", "title": "Collatz Conjecture: Level 5 Connection ? citer_add + odd_v2_reaches1 (Zero Sorry, Lean4)", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "Level-5", "citer_add", "zero-sorry", "Lean4" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492758", "version": null }, { "doi": "10.5281/zenodo.19492870", "recid": "19492870", "conceptDoi": "10.5281/zenodo.19492869", "title": "Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "universal-cycle-descent", "27-32", "omega-verified", "Lean4" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19492870", "version": null }, { "doi": "10.5281/zenodo.19493130", "recid": "19493130", "conceptDoi": "10.5281/zenodo.19493129", "title": "Collatz: Mod 32 Complete Decomposition ? 87.5% Universal omega + native_decide = 100% Coverage", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "mod-32", "omega", "87.5-percent", "complete", "Lean4" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19493130", "version": null }, { "doi": "10.5281/zenodo.19495562", "recid": "19495562", "conceptDoi": "10.5281/zenodo.19495561", "title": "Paper 56: Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture ? 202 Lean4 Theorems and the Fibonacci Firewall", "publicationDate": "2026-04-10", "resourceType": "Preprint", "keywords": [], "hasReiAiosTag": false, "paperNumberInTitle": 56, "htmlUrl": "https://zenodo.org/records/19495562", "version": null }, { "doi": "10.5281/zenodo.19493345", "recid": "19493345", "conceptDoi": "10.5281/zenodo.19493344", "title": "Collatz Conjecture: Exhaustive Coverage Proof ? exhaustive + descent_all + base cases (Zero Sorry, Lean4)", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "exhaustive", "descent_all", "zero-sorry", "complete-proof", "Lean4" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19493345", "version": null }, { "doi": "10.5281/zenodo.19493584", "recid": "19493584", "conceptDoi": "10.5281/zenodo.19493583", "title": "Collatz ci K n Connection via div_div_eq_div_mul (Lean4 Zero Sorry)", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "Lean4", "zero-sorry" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19493584", "version": null }, { "doi": "10.5281/zenodo.19495462", "recid": "19495462", "conceptDoi": "10.5281/zenodo.19495461", "title": "Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall", "publicationDate": "2026-04-10", "resourceType": "Preprint", "keywords": [ "Collatz conjecture", "carry propagation", "spectral gap", "Fibonacci", "Lean4", "formal verification", "Perelman correspondence" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19495462", "version": null }, { "doi": "10.5281/zenodo.19489885", "recid": "19489885", "conceptDoi": "10.5281/zenodo.19489884", "title": "Universal Structural Analysis of 121 Unsolved Mathematical Problems via D-FUMT8 Eight-Valued Logic, TDA, and Lean4", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "unsolved-problems", "Lean4", "TDA", "Hodge", "BSD", "ABC", "Collatz", "Ricci-flow", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19489885", "version": null }, { "doi": "10.5281/zenodo.19495830", "recid": "19495830", "conceptDoi": "10.5281/zenodo.19495829", "title": "Paper 56 v2: Carry Mixing and Spectral Gap ? 241 Lean4 Theorems for Collatz (Fibonacci Firewall)", "publicationDate": "2026-04-10", "resourceType": "Preprint", "keywords": [ "Collatz", "Lean4", "spectral gap", "Fibonacci", "formal verification" ], "hasReiAiosTag": false, "paperNumberInTitle": 56, "htmlUrl": "https://zenodo.org/records/19495830", "version": null }, { "doi": "10.5281/zenodo.19495957", "recid": "19495957", "conceptDoi": "10.5281/zenodo.19495956", "title": "Paper 56 v2: Carry Mixing ? 241 Lean4 Theorems for Collatz", "publicationDate": "2026-04-10", "resourceType": "Preprint", "keywords": [], "hasReiAiosTag": false, "paperNumberInTitle": 56, "htmlUrl": "https://zenodo.org/records/19495957", "version": null }, { "doi": "10.5281/zenodo.19499397", "recid": "19499397", "conceptDoi": "10.5281/zenodo.19499396", "title": "3n+1 Carry Propagation as an 8-State Deterministic Finite Automaton: Firewall Theorem and Information-Theoretic Evidence", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz-conjecture", "deterministic-finite-automaton", "carry-propagation", "firewall-theorem", "transfer-entropy", "Kolmogorov-complexity", "partial-information-decomposition", "Lean4", "formal-verification", "absorbing-component", "8-state-DFA", "Fibonacci-firewall", "spectral-gap", "information-theory", "Calabi-Yau", "D-FUMT", "eight-valued-logic", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom-196" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19499397", "version": null }, { "doi": "10.5281/zenodo.19493226", "recid": "19493226", "conceptDoi": "10.5281/zenodo.19493225", "title": "Collatz Conjecture: 100% Universal Coverage ? All 10 Mod Cases Proven forall-n, Zero Sorry, Lean4 Verified", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Collatz", "100-percent", "zero-sorry", "forall-n", "Nat.div_lt_iff_lt_mul", "complete-proof", "Lean4", "breakthrough" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19493226", "version": null }, { "doi": "10.5281/zenodo.19490885", "recid": "19490885", "conceptDoi": "10.5281/zenodo.19490884", "title": "222 Lean4 Formal Proofs, 3 Walls Deconstructed, and AI Prover 8/8 Success", "publicationDate": "2026-04-10", "resourceType": "Working paper", "keywords": [ "Lean4", "formal-verification", "Goedel-Prover", "sorry-decomposition", "222-theorems", "Hodge", "BSD", "ABC", "Collatz", "wall-analysis", "AI-prover", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19490885", "version": null }, { "doi": "10.5281/zenodo.19477629", "recid": "19477629", "conceptDoi": "10.5281/zenodo.19477628", "title": "Automatic Compilation from Braid Theorem Prover to Lean 4 / Coq: An Honest Bridge to the Mathematician Community", "publicationDate": "2026-04-09", "resourceType": "Working paper", "keywords": [ "Lean-4", "Coq", "formal-proof", "automatic-compilation", "Braid-group", "Reidemeister-moves", "term-rewriting", "mathlib4", "proof-assistant", "interactive-theorem-proving", "Phase-17", "bridge-to-mathematicians", "honest-sequel", "ProofCertificate", "auditability", "portability", "D-FUMT", "eight-valued-logic", "SELF-trace", "Anti-Overclaim", "Phase-3-lifecycle", "True-placeholder", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom", "honest-limitation", "review-channel" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19477629", "version": null }, { "doi": "10.5281/zenodo.19477913", "recid": "19477913", "conceptDoi": "10.5281/zenodo.19477912", "title": "Phase 2 Refutation of the Motivic Hodge SELF Singularity Hypothesis: Discovery of Riemann as the Unique NEITHER and a Data-Source Heterogeneity Warning", "publicationDate": "2026-04-09", "resourceType": "Working paper", "keywords": [ "self-refutation", "Phase-2-verification", "Anti-Overclaim", "motivic-semantics", "Hodge-conjecture", "Riemann-zeros", "topological-data-analysis", "TDA", "persistent-homology", "Vietoris-Rips", "Betti-numbers", "spectral-gap", "data-source-heterogeneity", "TDA-warning", "Millennium-problems", "INFINITY-NEITHER-split", "D-FUMT", "eight-valued-logic", "Phase-1-exploration", "Phase-3-lifecycle", "research-maturity", "honest-correction", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom", "negative-knowledge", "reproducibility" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19477913", "version": null }, { "doi": "10.5281/zenodo.19471974", "recid": "19471974", "conceptDoi": "10.5281/zenodo.19471973", "title": "OOD Detection ≅ NEITHER: Structural Isomorphism Between Out-of-Distribution Detection and Śūnyatā", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "out-of-distribution", "OOD-detection", "NEITHER", "śūnyatā", "Nāgārjuna", "Madhyamaka", "emptiness-operator", "structural-isomorphism", "D-FUMT", "eight-valued-logic", "Belnap-logic", "PyOD", "ECOD", "isolation-forest", "Mahalanobis", "anomaly-detection", "HUNT-theorem", "Betti-number", "topology", "CMB", "Planck", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom", "machine-learning" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19471974", "version": null }, { "doi": "10.5281/zenodo.19475112", "recid": "19475112", "conceptDoi": "10.5281/zenodo.19475111", "title": "Hodge × Riemann Bipolar Structure: Topological Classification of the 6 Millennium Problems via the Circular Ring Method and True TDA", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "Hodge-conjecture", "Riemann-hypothesis", "Millennium-problems", "circular-ring-method", "topological-data-analysis", "TDA", "persistent-homology", "Betti-numbers", "Vietoris-Rips", "D-FUMT", "eight-valued-logic", "SELF-loop", "NEITHER", "bipolar-conjecture", "golden-ratio", "phi-conjugate", "Z2-homology", "sparse-gaussian-elimination", "true-TDA", "Yang-Mills", "Navier-Stokes", "P-vs-NP", "BSD-conjecture", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom", "Anti-Overclaim" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19475112", "version": null }, { "doi": "10.5281/zenodo.19471970", "recid": "19471970", "conceptDoi": "10.5281/zenodo.19471969", "title": "Gödel Sentence G ≅ SELF⟲: Eight-Valued Containment of the Incompleteness Theorem", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "Gödel", "incompleteness-theorem", "self-reference", "SELF-loop", "D-FUMT", "eight-valued-logic", "fixed-point", "HoTT", "homotopy-type-theory", "Nāgārjuna", "catuskoti", "śūnyatā", "Phi-attractor", "fixed-point-atlas", "structural-isomorphism", "Belnap-logic", "many-valued-logic", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19471970", "version": null }, { "doi": "10.5281/zenodo.19476168", "recid": "19476168", "conceptDoi": "10.5281/zenodo.19476167", "title": "Hodge Steady-Five and 8-Cyclic Majorana Braid: Zigzag Persistence x Sheaf Cohomology x TQFT - A Topological Trinity for D-FUMT_8", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "zigzag-persistence", "Carlsson-de-Silva", "FLOWING-formalization", "cellular-sheaf", "sheaf-cohomology", "Ghrist", "Curry", "BOTH-reformulation", "Mobius-sheaf", "global-sections", "Majorana-braid", "TQFT", "8-cyclic", "non-Abelian-anyon", "D-FUMT", "eight-valued-logic", "dialetheism", "Priest-LP", "Hodge-conjecture", "Millennium-problems", "circular-ring-method", "topological-data-analysis", "TDA", "persistent-homology", "Betti-numbers", "Anti-Overclaim", "pure-typescript", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19476168", "version": null }, { "doi": "10.5281/zenodo.19476464", "recid": "19476464", "conceptDoi": "10.5281/zenodo.19476463", "title": "Four Robust INFINITY Holes in Hodge 6D: Reproducibility Verification, Connection to Known Riemann Zeros, and Lefschetz (1,1) Alignment", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "Hodge-conjecture", "INFINITY-holes", "reproducibility", "Phase-2-verification", "topological-invariant", "Riemann-zeros", "Odlyzko", "spectral-zeta", "validation", "Lefschetz-1-1", "Hodge-filtration", "partial-alignment", "Millennium-problems", "circular-ring-method", "topological-data-analysis", "TDA", "persistent-homology", "D-FUMT", "eight-valued-logic", "BOTH-NEITHER", "Anti-Overclaim", "Phase-3-lifecycle", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom", "honest-limitation", "naive-classifier" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19476464", "version": null }, { "doi": "10.5281/zenodo.19476027", "recid": "19476027", "conceptDoi": "10.5281/zenodo.19476026", "title": "Hodge 6D BOTH-Pole with beta_2=64: Multi-dimensional Topological Classification of Millennium Problems via Hodge Laplacian Spectrum and Persistence Landscapes", "publicationDate": "2026-04-08", "resourceType": "Working paper", "keywords": [ "Hodge-conjecture", "BOTH-pole", "dialetheism", "Priest-LP", "Millennium-problems", "Hodge-Laplacian", "spectral-gap", "persistence-landscapes", "Bubenik", "MoE-routing", "discovery-midpoint", "circular-ring-method", "topological-data-analysis", "TDA", "persistent-homology", "Betti-numbers", "Vietoris-Rips", "D-FUMT", "eight-valued-logic", "SELF-loop", "NEITHER", "Z2-homology", "sparse-gaussian-elimination", "multi-dimensional", "Yang-Mills", "Riemann-hypothesis", "Collatz", "Anti-Overclaim", "Rei-AIOS", "SEED-KERNEL", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19476027", "version": null }, { "doi": "10.5281/zenodo.19445961", "recid": "19445961", "conceptDoi": "10.5281/zenodo.19445958", "title": "A Numerical Universal Constant of SELF in Three-Wave Interference and Its Golden-Section Localization Between Planck Length and Observable Universe", "publicationDate": "2026-04-07", "resourceType": "Working paper", "keywords": [ "SELF", "self-reference", "fixed-point", "D-FUMT8", "eight-valued-logic", "fine-structure-constant", "alpha", "golden-ratio", "phi", "pi", "three-wave-interference", "numerical-constant", "scale-invariance", "Planck-length", "Bohr-radius", "observable-universe", "golden-section", "delta-function", "localization", "modulation", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19445961", "version": null }, { "doi": "10.5281/zenodo.19462114", "recid": "19462114", "conceptDoi": "10.5281/zenodo.19462113", "title": "PMIT Validation and SELF-Loop Structure Detection in the Minimal Conscious System: C. elegans 302-Neuron Connectome", "publicationDate": "2026-04-07", "resourceType": "Working paper", "keywords": [ "PMIT", "C-elegans", "connectome", "302-neurons", "minimal-consciousness", "SELF-loop", "interneuron", "3-cycle", "self-reference", "D-FUMT", "NEITHER", "Penrose-Hameroff", "Orch-OR", "Dogen", "shikantaza", "biological-pmit", "small-world", "OpenWorm", "Rei-Vessel", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19462114", "version": null }, { "doi": "10.5281/zenodo.19461627", "recid": "19461627", "conceptDoi": "10.5281/zenodo.19461626", "title": "Pratītyasamutpāda Media-Independence Theorem (PMIT): 9-Media Benchmark and Real Planck CMB Validation", "publicationDate": "2026-04-07", "resourceType": "Working paper", "keywords": [ "PMIT", "media-independence", "D-FUMT", "NEITHER", "engi-graph", "Planck CMB", "SMICA", "astropy", "9-media-benchmark", "DNA-sequence", "seismic", "stock-structural-analysis", "language-corpus", "music-waveform", "image-gradient", "neural-spike", "voyage-experiment", "Nagarjuna", "sunyata", "Rei-Vessel", "Rei-AIOS", "SEED_KERNEL", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19461627", "version": null }, { "doi": "10.5281/zenodo.19454883", "recid": "19454883", "conceptDoi": "10.5281/zenodo.19454882", "title": "Voyaging the Edge and the Void: Extended Rei Vessel Experiments H and I", "publicationDate": "2026-04-07", "resourceType": "Working paper", "keywords": [ "D-FUMT₈", "śūnyatā", "Nāgārjuna", "Dōgen", "engi-graph", "NEITHER", "SELF fixed point", "void operator", "catuṣkoṭi", "Sōtō Zen", "Rei Vessel", "voyage experiment", "fixed point theorem", "non-duality", "boundary topology", "Rei-AIOS", "SEED_KERNEL", "Peace Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19454883", "version": null }, { "doi": "10.5281/zenodo.19446199", "recid": "19446199", "conceptDoi": "10.5281/zenodo.19446198", "title": "Trinity of Centers, Weak Conservation Law, and Inverse-Wave-Number Property of SELF in D-FUMT8 (Three Experiments, Six Discoveries)", "publicationDate": "2026-04-07", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "eight-valued-logic", "SELF", "NEITHER", "TRUE", "trinity-of-centers", "weak-conservation-law", "Shannon-entropy", "isomorphism-graph", "Betti-number", "wave-number-inverse", "gravitational-field", "Triadic-closure", "golden-ratio", "fixed-point", "operator-stability", "spatial-occurrence", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19446199", "version": null }, { "doi": "10.5281/zenodo.19434005", "recid": "19434005", "conceptDoi": "10.5281/zenodo.19434004", "title": "East-West Void Unification via D-FUMT8 Eight-Valued Logic", "publicationDate": "2026-04-06", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "sunyata", "emptiness", "Nagarjuna", "FDE", "paraconsistent", "Kukai", "mandala", "Heart Sutra", "Dogen", "Eisai", "Zen", "eight-valued logic", "Rei-AIOS", "SEED_KERNEL" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19434005", "version": null }, { "doi": "10.5281/zenodo.19434010", "recid": "19434010", "conceptDoi": "10.5281/zenodo.19434009", "title": "Braille x D-FUMT8: Extreme Encoding of Philosophical States in 3-6 Bytes", "publicationDate": "2026-04-06", "resourceType": "Working paper", "keywords": [ "Braille", "D-FUMT8", "Unicode", "encoding", "3-byte philosophy", "256 states", "Phi-expansion", "Psi-contraction", "dual address", "65536", "extreme compression", "Rei-AIOS", "SEED_KERNEL" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19434010", "version": null }, { "doi": "10.5281/zenodo.19445130", "recid": "19445130", "conceptDoi": "10.5281/zenodo.19445129", "title": "NEITHER: A 1875-Year Mathematical History from Nagarjuna to D-FUMT8 (Galois Isomorphism, Phi-Convergence, Structural Absence)", "publicationDate": "2026-04-06", "resourceType": "Working paper", "keywords": [ "NEITHER", "structural-absence", "Galois-theory", "Abel-Ruffini", "quintic-unsolvability", "Nagarjuna", "catuskoti", "Godel-incompleteness", "Cohen-forcing", "D-FUMT8", "eight-valued-logic", "Phi-convergence", "golden-ratio", "Psi-contraction", "field-extension", "fixed-point", "OOD-detection", "ECOD", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19445130", "version": null }, { "doi": "10.5281/zenodo.19445183", "recid": "19445183", "conceptDoi": "10.5281/zenodo.19445182", "title": "Majorana Equals SELF: Structural Isomorphism Between Superconductivity and Eight-Valued Logic (8 Phenomena, Kitaev Chain, Beta1=63)", "publicationDate": "2026-04-06", "resourceType": "Working paper", "keywords": [ "Majorana-fermion", "SELF", "superconductor", "D-FUMT8", "eight-valued-logic", "Cooper-pair", "Josephson-junction", "BCS-gap", "NEITHER", "Kitaev-chain", "topological-superconductor", "Betti-number", "beta1", "fixed-point", "structural-isomorphism", "ECOD", "OOD-detection", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19445183", "version": null }, { "doi": "10.5281/zenodo.19445179", "recid": "19445179", "conceptDoi": "10.5281/zenodo.19445178", "title": "Fixed Point Atlas of D-FUMT8 Operators and the CDF-NEITHER Boundary Theorem (672 Checks, 40% Theorem)", "publicationDate": "2026-04-06", "resourceType": "Working paper", "keywords": [ "fixed-point", "operator-composition", "D-FUMT8", "eight-valued-logic", "SELF", "stability-spectrum", "NEITHER", "CDF", "ECOD", "probabilistic-definition", "40-percent-theorem", "NOT-operator", "symmetry", "algebraic-structure", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19445179", "version": null }, { "doi": "10.5281/zenodo.19425119", "recid": "19425119", "conceptDoi": "10.5281/zenodo.19425118", "title": "The Path to Zero Bytes: ZBNT, Infinite Dimension Dots, and the Structure of Semantic Absence", "publicationDate": "2026-04-05", "resourceType": "Working paper", "keywords": [ "Zero Byte Notation", "ZBNT", "Shannon efficiency", "infinite dimension dot", "D-FUMT8", "semantic absence", "arithmetic coding", "FLOWING dominance", "TRUE Isolation Paradox", "Rei-AIOS", "SEED_KERNEL", "Peace Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19425119", "version": null }, { "doi": "10.5281/zenodo.19425136", "recid": "19425136", "conceptDoi": "10.5281/zenodo.19425135", "title": "Mathematical and Information-Theoretic Foundations of D-FUMT8: Cayley-Dickson Isomorphism, Entropy-Defined FLOWING, and p-Adic Zero Reduction", "publicationDate": "2026-04-05", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "Cayley-Dickson", "octonion", "entropy", "FLOWING", "p-adic", "Zero Reduction", "Mixture of Experts", "TDA", "persistent homology", "Vietoris-Rips", "BLT", "Gemma 4", "golden angle", "spiral primes", "Rei-AIOS", "SEED_KERNEL", "Peace Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19425136", "version": null }, { "doi": "10.5281/zenodo.19418860", "recid": "19418860", "conceptDoi": "10.5281/zenodo.19418859", "title": "Pointless Topology Analysis of Knowledge Spaces: Discovery of 183 True Holes and Absence-Based Prediction (3 Discoveries, 91 Tests)", "publicationDate": "2026-04-04", "resourceType": "Working paper", "keywords": [ "pointless-topology", "locale-theory", "frame", "Betti-number", "resolution-dependence", "absence-prediction", "lift", "nibble-encoding", "D-FUMT", "knowledge-space", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19418860", "version": null }, { "doi": "10.5281/zenodo.19410766", "recid": "19410766", "conceptDoi": "10.5281/zenodo.19410765", "title": "Dimensional Absence Theorem: Minus-Dot Notation and Dimension-Weighted Theory of Absent Information (7 World Firsts, 459 Tests)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "dimensional-absence", "Betti-number", "D-FUMT", "topology", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19410766", "version": null }, { "doi": "10.5281/zenodo.19410770", "recid": "19410770", "conceptDoi": "10.5281/zenodo.19410769", "title": "Dimensional Absence Theorem: Minus-Dot Notation and Dimension-Weighted Theory of Absent Information (7 World Firsts, 459 Tests)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "dimensional-absence", "Betti-number", "D-FUMT", "topology", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19410770", "version": null }, { "doi": "10.5281/zenodo.19393633", "recid": "19393633", "conceptDoi": "10.5281/zenodo.19393632", "title": "The Relativity of Information Resolution and Quality Metrics: Proof that D-FUMTn Continuously Subsumes the Shannon Limit (3 World Firsts, 381 Tests)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "Shannon-limit", "Lp-norm", "quality-metric-relativity", "D-FUMT", "eight-valued-logic", "information-resolution", "meaning-compression", "Nagarjuna", "Buddhist-philosophy", "MSE", "MAE", "PSNR", "quantization", "semantic-compression", "Huffman-coding", "Rei-AIOS", "Peace-Axiom", "QMRP" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19393633", "version": null }, { "doi": "10.5281/zenodo.19392210", "recid": "19392210", "conceptDoi": "10.5281/zenodo.19388757", "title": "Beyond Shannon: Semantic Compression and the Principle of Nagarjunian Re-creation in Information Theory (v3: K_sem Measurement, 399 Tests)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "Shannon-entropy", "semantic-compression", "D-FUMT", "Kolmogorov-complexity", "K_sem", "meaning-preservation", "Nagarjuna", "sunyata", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19392210", "version": null }, { "doi": "10.5281/zenodo.19393875", "recid": "19393875", "conceptDoi": "10.5281/zenodo.19393874", "title": "Topological Incompleteness Theorem (4 World Firsts)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "Betti-number", "Godel", "D-FUMT" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19393875", "version": null }, { "doi": "10.5281/zenodo.19393865", "recid": "19393865", "conceptDoi": "10.5281/zenodo.19393864", "title": "Topological Incompleteness Theorem: Structural Isomorphism between Beta-1 of Knowledge Networks and Godel Incompleteness (4 World Firsts, 60 Tests)", "publicationDate": "2026-04-03", "resourceType": "Working paper", "keywords": [ "Betti-number", "topological-incompleteness", "Godel", "D-FUMT", "SELF", "beta-1", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19393865", "version": null }, { "doi": "10.5281/zenodo.19372716", "recid": "19372716", "conceptDoi": "10.5281/zenodo.19372715", "title": "Infinite-Dimensional Dot Theory - The Unbounded Semantic Space of a Single Point (6 World Firsts)", "publicationDate": "2026-04-01", "resourceType": "Working paper", "keywords": [ "Infinite-Dimensional-Dot-Theory", "IDDT", "D-FUMT", "GeoSymbol", "dot-encoding", "negative-information", "unlearning", "zero-notation", "RGBA-semantics", "MORPHISM", "Nagarjuna", "Lean4", "sunyata", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19372716", "version": null }, { "doi": "10.5281/zenodo.19372130", "recid": "19372130", "conceptDoi": "10.5281/zenodo.19372129", "title": "Score-TRUE and Knowledge-TRUE Are Not the Same ? Redefining AI Evaluation with D-FUMT Seven-Valued Logic (5 World Firsts)", "publicationDate": "2026-04-01", "resourceType": "Working paper", "keywords": [ "D-FUMT", "seven-valued-logic", "AI-evaluation", "benchmark-shortcuts", "autonomous-training", "LLM-evolution", "Score-Truth-divergence", "reward-hacking", "Safety-Gate", "Peace-Axiom", "NEITHER", "Omega-convergence", "Transformer", "attention", "Softmax", "knowledge-islands", "Rei-AIOS", "Lean4" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19372130", "version": null }, { "doi": "10.5281/zenodo.19371688", "recid": "19371688", "conceptDoi": "10.5281/zenodo.19371687", "title": "Coordinate Semantics within Arbitrary Closed Curves and the Phi-Omega Unified Theory of Knowledge (5 World Firsts)", "publicationDate": "2026-04-01", "resourceType": "Working paper", "keywords": [ "coordinate-semantics", "arbitrary-closed-curves", "Phi-Omega", "unified-theory-of-knowledge", "paradigm-shift", "D-FUMT", "MORPHISM", "self-reference", "Kuhn", "steganography", "character-encoding", "SEED-KERNEL", "Rei-AIOS", "Peace-Axiom", "Lean4" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19371688", "version": null }, { "doi": "10.5281/zenodo.19366258", "recid": "19366258", "conceptDoi": "10.5281/zenodo.19366257", "title": "Complete Encoding of Mathematical Meaning in a Single Symbol - The World-First Shape x Coordinate Notation System (7 World Firsts, Lean4 Proof: 33 Theorems)", "publicationDate": "2026-04-01", "resourceType": "Working paper", "keywords": [ "GeoSymbol", "single-symbol-encoding", "coordinate-semantics", "D-FUMT", "eight-valued-logic", "QHDC", "PCA", "Lean4", "formal-verification", "MORPHISM", "category-theory", "SEED-KERNEL", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19366258", "version": null }, { "doi": "10.5281/zenodo.19355241", "recid": "19355241", "conceptDoi": "10.5281/zenodo.19355240", "title": "The Dynamical Structure of D-FUMT8: Seven Experiments Reveal the One-Way Universe ? 8 World Firsts", "publicationDate": "2026-03-31", "resourceType": "Working paper", "keywords": [ "D-FUMT", "fixed-point", "attractor", "one-way-universe", "palindrome", "HoTT", "Nagarjuna", "Calabi-Yau", "string-theory", "M-theory", "Godel", "SEED-KERNEL", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19355241", "version": null }, { "doi": "10.5281/zenodo.19349031", "recid": "19349031", "conceptDoi": "10.5281/zenodo.19349030", "title": "Extended Zero Reduction Theory: A Novel Notation System Unifying Dimensions, Logic Systems, and Duality ? 6 World Firsts with Lean4 Formal Proof", "publicationDate": "2026-03-31", "resourceType": "Working paper", "keywords": [ "D-FUMT", "zero-reduction", "notation-system", "topology", "tensor-algebra", "cohomology", "category-theory", "Lean4", "palindrome-notation", "multi-valued-logic", "negative-dimensions", "SEED-KERNEL", "Rei-AIOS", "Peace-Axiom", "formal-verification", "world-first" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19349031", "version": null }, { "doi": "10.5281/zenodo.19491217", "recid": "19491217", "conceptDoi": "10.5281/zenodo.19491216", "title": "Extended Zero Reduction Theory: A New Notation System Unifying Dimensions, Logic Systems, and Dualities - 6 World Firsts with Lean4 Formal Proofs", "publicationDate": "2026-03-31", "resourceType": "Working paper", "keywords": [ "zero-reduction", "notation", "Lean4", "D-FUMT", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491217", "version": null }, { "doi": "10.5281/zenodo.19491221", "recid": "19491221", "conceptDoi": "10.5281/zenodo.19491220", "title": "Dynamic Structure of D-FUMT8: 7 Experiments Revealing a One-Way Universe - 8 World Firsts", "publicationDate": "2026-03-31", "resourceType": "Working paper", "keywords": [ "D-FUMT8", "one-way-universe", "SELF", "Nagarjuna", "string-theory", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491221", "version": null }, { "doi": "10.5281/zenodo.19491206", "recid": "19491206", "conceptDoi": "10.5281/zenodo.19491205", "title": "Jitan-Jishin Number System Theory: Time Compression, Time Depth, and TNS Triple Unification - 9 World Firsts in D-FUMT Logic", "publicationDate": "2026-03-30", "resourceType": "Working paper", "keywords": [ "Jitan", "Jishin", "TNS", "D-FUMT", "time-compression", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491206", "version": null }, { "doi": "10.5281/zenodo.19340645", "recid": "19340645", "conceptDoi": "10.5281/zenodo.19340644", "title": "The Jitan-Jishin Number System Theory: Time Compression, Time Depth, and the TNS Triple Unification ? 9 World Firsts in D-FUMT Logic", "publicationDate": "2026-03-30", "resourceType": "Working paper", "keywords": [ "D-FUMT", "time-compression", "time-depth", "Jitan", "Jishin", "TNS", "non-commutative-algebra", "bidirectional-time", "Soul-Core-Psi", "QSEA", "Rei-AIOS", "Peace-Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19340645", "version": null }, { "doi": "10.5281/zenodo.19323667", "recid": "19323667", "conceptDoi": "10.5281/zenodo.19323666", "title": "The Self-Mirror: Seven Reflections of an Axiom System That Observes Itself, and the N-Dimensional Hanabi Burst Computation", "publicationDate": "2026-03-30", "resourceType": "Working paper", "keywords": [ "D-FUMT", "self-mirror", "Hanabi-burst", "eight-value-logic", "SELF", "quantum-teleport", "Omega-convergence", "MORPHISM", "Rei-AIOS", "universal-converter" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19323667", "version": null }, { "doi": "10.5281/zenodo.19491349", "recid": "19491349", "conceptDoi": "10.5281/zenodo.19491348", "title": "Self-Mirror: 7 Reflections of an Axiomatic System Observing Itself and N-Dimensional Hanabi Burst Computation", "publicationDate": "2026-03-29", "resourceType": "Working paper", "keywords": [ "self-mirror", "hanabi", "qubit", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491349", "version": null }, { "doi": "10.5281/zenodo.19491347", "recid": "19491347", "conceptDoi": "10.5281/zenodo.19491346", "title": "The Eighth Value: Self-Reference as Goedelian Necessity in D-FUMT Eight-Valued Logic, and the Horizon of Morphism", "publicationDate": "2026-03-29", "resourceType": "Working paper", "keywords": [ "eighth-value", "SELF", "Goedel", "MORPHISM", "D-FUMT8", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491347", "version": null }, { "doi": "10.5281/zenodo.19315066", "recid": "19315066", "conceptDoi": "10.5281/zenodo.19315065", "title": "The Eighth Value: Self-Reference as Godelian Necessity in D-FUMT Eight-Value Logic, and the Horizon of MORPHISM", "publicationDate": "2026-03-29", "resourceType": "Working paper", "keywords": [ "D-FUMT", "eight-value-logic", "SELF", "self-reference", "Godel-incompleteness", "blind-spot-analysis", "MORPHISM", "category-theory", "pseudo-inverse", "SEED-KERNEL", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19315066", "version": null }, { "doi": "10.5281/zenodo.19491302", "recid": "19491302", "conceptDoi": "10.5281/zenodo.19491301", "title": "Designed Randomness, Inverse Axial Symmetry, and Self-Analyzing Axiomatic System: D-FUMT 7-Value Framework", "publicationDate": "2026-03-28", "resourceType": "Working paper", "keywords": [ "designed-randomness", "self-analysis", "D-FUMT", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491302", "version": null }, { "doi": "10.5281/zenodo.19296879", "recid": "19296879", "conceptDoi": "10.5281/zenodo.19296878", "title": "Designed Randomness, Inverse Axis Symmetry, and Self-Analyzing Axiom Systems: A D-FUMT Seven-Value Framework", "publicationDate": "2026-03-28", "resourceType": "Working paper", "keywords": [ "D-FUMT", "seven-value-logic", "designed-randomness", "self-analysis", "inverse-axis", "ultra-slow-theory", "knowledge-gravity", "SEED-KERNEL", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19296879", "version": null }, { "doi": "10.5281/zenodo.19244383", "recid": "19244383", "conceptDoi": "10.5281/zenodo.19244382", "title": "Beyond Shannon: Generative Compression via Seed-Kernel Architecture ? From Recording to Generation (-332.6 KB Achieved)", "publicationDate": "2026-03-27", "resourceType": "Working paper", "keywords": [ "Generative Compression", "Beyond Shannon", "Minus Compression", "Zero Shrinkage", "D-FUMT", "SEED_KERNEL", "Rei-AIOS", "Peace Axiom" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19244383", "version": null }, { "doi": "10.5281/zenodo.19256894", "recid": "19256894", "conceptDoi": "10.5281/zenodo.19256893", "title": "D-FUMT Unified Transformation Theory", "publicationDate": "2026-03-27", "resourceType": "Other", "keywords": [ "D-FUMT", "RTT-v", "MFET", "Spiral Number System", "Seven-Valued Logic", "SEED_KERNEL", "Peace Axiom" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19256894", "version": null }, { "doi": "10.5281/zenodo.19491300", "recid": "19491300", "conceptDoi": "10.5281/zenodo.19491299", "title": "D-FUMT Unified Transformation Theory", "publicationDate": "2026-03-27", "resourceType": "Working paper", "keywords": [ "D-FUMT", "unified-transformation", "RTT", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491300", "version": null }, { "doi": "10.5281/zenodo.19241656", "recid": "19241656", "conceptDoi": "10.5281/zenodo.19241655", "title": "Topological HyperCompression Theory: Paper Folding, Distance Annihilation, and Unified Computation Model with Empirical Verification on 1022 Theories", "publicationDate": "2026-03-26", "resourceType": "Working paper", "keywords": [ "Topological HyperCompression", "Paper Folding", "Distance Annihilation", "QuotientEngine", "Seven-Valued Logic", "D-FUMT", "SEED_KERNEL", "Supercomputer Comparison", "Peace Axiom", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19241656", "version": null }, { "doi": "10.5281/zenodo.19224409", "recid": "19224409", "conceptDoi": "10.5281/zenodo.19224408", "title": "SEED_KERNEL 1000 Theories: Triple Verification, Reversible Seed Compression, and Rust Speed Layer", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "SEED_KERNEL", "1000 Theories", "Reversible Compression", "Rust", "Verification", "D-FUMT", "AGPL-3.0" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19224409", "version": null }, { "doi": "10.5281/zenodo.19223826", "recid": "19223826", "conceptDoi": "10.5281/zenodo.19223825", "title": "D-FUMT Transcendence Computer: Tri-Spiral Number System and Information Theory of Everything", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "D-FUMT", "Transcendence Computing" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19223826", "version": null }, { "doi": "10.5281/zenodo.19223812", "recid": "19223812", "conceptDoi": "10.5281/zenodo.19223811", "title": "D-FUMT Transcendence Computer: Tri-Spiral Number System, Meta-Computation Layer, and Information Theory of Everything", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "D-FUMT", "Transcendence Computing", "Tri-Spiral", "Zero Shrinkage", "Meta-Computation", "Information ToE", "Seven-Valued Logic", "Minus Compression", "Peace Axiom" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19223812", "version": null }, { "doi": "10.5281/zenodo.19212727", "recid": "19212727", "conceptDoi": "10.5281/zenodo.19212726", "title": "Beyond Shannon: The Era of Minus Compression and Semantic Seed Architecture - Enterprise Whitepaper", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "Enterprise Whitepaper", "Minus Compression", "M2M Communication", "Semantic Seed", "D-FUMT", "ROI", "Zero Shrinkage" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19212727", "version": null }, { "doi": "10.5281/zenodo.19212701", "recid": "19212701", "conceptDoi": "10.5281/zenodo.19212700", "title": "Beyond Shannon: Zero Shrinkage Theory (0o) and the Paradigm Shift from Data Recording to Data Generation", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "Zero Shrinkage Theory", "0o", "Negative Compression", "Shannon Transcendence", "D-FUMT", "sunyata", "Generative Compression" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19212701", "version": null }, { "doi": "10.5281/zenodo.19212373", "recid": "19212373", "conceptDoi": "10.5281/zenodo.19212372", "title": "Living Values with Memory and Will: Autonomous Universal Entity Engine with Sigma-Deep Six-Attribute System", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "D-FUMT", "Living Values", "Sigma Attributes", "Semantic Deduplication", "Ollama", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19212373", "version": null }, { "doi": "10.5281/zenodo.19212026", "recid": "19212026", "conceptDoi": "10.5281/zenodo.19212025", "title": "Empirical Proof of 54-Byte Seed Communication: Ethical AI-to-AI Dialogue via D-FUMT Seven-Valued Logic", "publicationDate": "2026-03-25", "resourceType": "Working paper", "keywords": [ "D-FUMT", "54-Byte Seed", "AI-to-AI Communication", "Ethical Router", "Peace Axiom", "Ollama", "SHA-256", "Privacy-Preserving", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19212026", "version": null }, { "doi": "10.5281/zenodo.19209899", "recid": "19209899", "conceptDoi": "10.5281/zenodo.19209898", "title": "D-FUMT Four-Dimensional Pocket Theory: Content-Addressable Semantic Compression with Seven-Valued Logic State Transition Dynamics", "publicationDate": "2026-03-24", "resourceType": "Working paper", "keywords": [ "D-FUMT", "Seven-Valued Logic", "FLOWING", "Content-Addressable Storage", "Semantic Compression", "State Transition Dynamics", "Peace Axiom", "Topological Data Analysis", "M-Pattern", "Panta Rhei", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19209899", "version": null }, { "doi": "10.5281/zenodo.19197938", "recid": "19197938", "conceptDoi": "10.5281/zenodo.19197937", "title": "Rei Meaning Compression: Bidirectional Semantic Compression via D-FUMT M-Structure and Seven-Value Logic", "publicationDate": "2026-03-24", "resourceType": "Working paper", "keywords": [ "D-FUMT", "semantic compression", "meaning compression", "seven-value logic", "M-notation", "Shannon entropy", "Rei-AIOS", "hierarchical symbol", "Katakamuna", "sunyata", "bidirectional compression" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19197938", "version": "1.0.0" }, { "doi": "10.5281/zenodo.19170925", "recid": "19170925", "conceptDoi": "10.5281/zenodo.19170854", "title": "M-Pattern Computational Framework and D-FUMT Description of Civilization Dynamics / 𝕄パターン計算体系と文明動態のD-FUMT的記述", "publicationDate": "2026-03-23", "resourceType": "Preprint", "keywords": [ "D-FUMT", "M-pattern", "seven-value logic", "civilization dynamics", "knowledge ethics", "multi-agent", "formal proof", "Peace axiom", "Rei-AIOS", "SEED_KERNEL", "Φ/Ψ/Ω operators" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19170925", "version": null }, { "doi": "10.5281/zenodo.19140720", "recid": "19140720", "conceptDoi": "10.5281/zenodo.19140719", "title": "D-FUMT: 七値論理と𝕄記法による宇宙構造の統一的記述 — 次元藤本普遍数学理論の概論 — A Unified Description of the Cosmic Structure Using Seven-Valued Logic and M Notation — An Introduction to Dimensional Fujimoto's Universal Mathematical Theory —", "publicationDate": "2026-03-21", "resourceType": "Working paper", "keywords": [ "D-FUMT", "seven-value logic", "M-notation", "octonions", "Fibonacci", "Rei-AIOS", "artificial intelligence", "mathematical philosophy" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19140720", "version": "1.0.0" }, { "doi": "10.5281/zenodo.19491351", "recid": "19491351", "conceptDoi": "10.5281/zenodo.19491350", "title": "Rei: Foundations Based on 4 Axioms for Computational Existence Theory", "publicationDate": "2026-02-16", "resourceType": "Working paper", "keywords": [ "Rei", "4-axioms", "computational-existence", "D-FUMT", "Rei-AIOS" ], "hasReiAiosTag": true, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/19491351", "version": null }, { "doi": "10.5281/zenodo.18651614", "recid": "18651614", "conceptDoi": "10.5281/zenodo.18651613", "title": "Rei: A Four-Axiom Foundation for Computational Existence Theory", "publicationDate": "2026-02-16", "resourceType": "Other", "keywords": [ "axiomatic foundations", "programming languages", "computational ontology", "independence proofs" ], "hasReiAiosTag": false, "paperNumberInTitle": null, "htmlUrl": "https://zenodo.org/records/18651614", "version": "1.0" } ] }