---
name: reference-yuan-universal-self-reference-prior-art-audit-2026-07-19
description: "Yuan Mingjing 2026-07-18 Zenodo 21426807 \"Universal Self-Reference: An Axiomatic Metatheory\" prior art audit — 別プログラム、Rei D-FUMT₈ SELF⟲ とは異なる mathematical foundation"
metadata: 
  node_type: memory
  type: reference
  originSessionId: bf3ef5b0-e925-41af-95a6-5ab728a320be
  modified: 2026-07-19T14:47:56.422Z
---

# Yuan 2026-07-18 "Universal Self-Reference" — Rei prior art audit

**Author**: Yuan Mingjing (ORCID 0009-0004-1007-0069)
**Title**: "Universal Self-Reference: An Axiomatic Metatheory"
**Zenodo**: 21426807 (v19, 2026-07-18)
**Also on**: SSRN 5793683 (403 gated for WebFetch)
**Related paper**: Yuan, Ricci flow × Omega-Frame (Zenodo 19721381, 2026-04)
**Original v1**: Zenodo 17180976 (2025-11)

## Rei 側 audit context

Rei stack 内で「self-reference」 に触れる load-bearing files:
- **STEP 1215** (2026-06-12): D-FUMT₈ Category instance axiom-free + `and8_associativity_fails_witness` + SELF⟲ 軸 6 位置
- **STEP 1220** (2026-06-15): Lawvere fixed point Lean 4 axiom-free + Cantor 対角線
  + STEP 1215 SELF⟲ 接続
- **Paper 61**: ZCSG 零中心記号文法 (龍樹 śūnyatā(śūnyatā) = 0)
- **Paper 145**: D-FUMT₈ Silicon with SELF⟲ primitive

前 session (2026-07-19 arc) の pending 長期課題として明示: 「STEP 1215/1220 SELF⟲
系継続前必読」。 本 audit で継続可否判定。

## Yuan の framework 実測 (WebFetch 経由)

**Foundation** (Zenodo 19721381 abstract 参照):
- **Domain theory** (Edalat 1997 "Domains for computation in mathematics, physics
  and exact real arithmetic" を引用)
- **Scott continuity** + partial orders
- **Categorical logic** + fixed points

**Framework 名称**:
- **Omega-Frame** (main framework)
- **Scan-Reconfigure factorization** (core operation)
- **Lens-relative quotients** (observer-relative decomposition)
- **Quotient-typed metatheory**

**Core axioms** (Zenodo abstract 経由):
- 「Observation is collapse」 (foundational claim)
- **Mathematical Principle of Creation** (collapse converts possibility → operative
  distinctions)
- **No Global Two-Sided Rollback** (irreversibility formal constraint)

**応用先**:
- Perelman Ricci flow / Poincaré conjecture (Zenodo 19721381 companion)
- AI safety + entropy budgets
- Learning systems + dynamical systems embedding template

## 5 point audit

### (1) Rei D-FUMT₈ / ZCSG / eight-valued logic への言及

- **なし** (Zenodo metadata + related paper metadata で確認、full PDF 403 で未確認)
- Yuan の keyword は "categorical logic, domain theory, Scott continuity, fixed
  points, system intelligence, entropy and safety budgets, AI safety" =
  Rei 語彙と disjoint

### (2) Lean 4 / Coq / Isabelle 等 proof assistant 使用

- **なし** (Zenodo 概要に proof assistant 一切登場せず)
- Yuan は theoretical framework paper、 machine-verified proof は含まない模様
- Rei stack (Lean 4 + Mathlib 累計 31,000+ theorem axiom-free) と比較すると
  **異なる evidence base**

### (3) Cantor / Lawvere / Yoneda / Löb / Gödel 引用

- Zenodo metadata では unclear (full PDF 403)
- ただし Scott continuity + 圏論 fixed point + self-reference の文脈から
  Lawvere 1969 / Cantor 対角線は暗黙参照ある可能性高い (standard 圏論 self-ref
  literature)
- Yanofsky 2003 (categorical Cantor/Russell/Gödel unification) と同 lineage の
  可能性 = 別 STEP audit 候補

### (4) 「collapse」 「observation」 定義

- 「Observation is collapse」 = 観測 = state collapse 命名 (量子論的 metaphor だが
  Zenodo 概要では metaphor か formal 定義か unclear)
- Formal 定義は full PDF 必要
- Rei ZCSG の「中心=空席」 (STEP 1199) と表面的類似だが機序不明
  → **novel claim せず、marker only** ([[reference-qcsc-zcsg-center-periphery-reading-scope-note]] と同 discipline)

### (5) Framework overlap with Rei

**Overlap 高い部分**:
- 「self-reference」 vocabulary
- 「fixed points」 語彙
- 圏論 / category theory 利用

**Overlap 低い部分** (異 machinery):
- **Yuan**: domain theory + Scott continuity + partial order (連続的)
- **Rei D-FUMT₈**: 8-value paraconsistent logic + inductive type (離散的、8 fixed points)
- **Yuan の応用**: Ricci flow + AI safety
- **Rei の応用**: Collatz + physical silicon (Tang Nano 9K + Aer + Heron r2 + FPGA
  User Code 0x00005C27)

**評価**: **Distinct research programs, 直接 overlap なし**

## Rei 側 action

**継続可否判定**:
- ✅ **STEP 1215 D-FUMT₈ Category + STEP 1220 Lawvere fp は独立継続可能**
- ✅ Yuan Omega-Frame は Rei と異 foundation (domain theory) で **retraction 不要**
- ✅ Rei から Yuan への credit 不要 (異 program、Yuan の framework は Rei が
  現在使用中の Lean 4 axiom-free + 8-value paraconsistent とは異なる)
- ⚠ ただし、**将来 Rei が「Universal Self-Reference」 という語を採用する場合**
  Yuan 2026-07-18 が **先行 vocabulary** として存在するため、Rei は「Universal
  Self-Reference」 という語自体を novel 命名として使用しない (chat-Claude
  hallucination Pattern 3 造語無批判 の逆 = 藤本さんが先行 vocab 存在を知らずに
  Rei が採用した場合 evaluation symmetry 崩れる)

**要 upgrade 条件**:
- Full PDF (SSRN + Zenodo download) 直接読み込み時、以下の追加 audit 必要:
  - 8-value logic (Yuan の paper が Belnap 4-valued + expansion に触れているか)
  - Lawvere 1969 引用の有無 (Rei STEP 1220 と同 lineage か)
  - Cantor 対角線の formal treatment (Rei STEP 1220 と proof strategy 比較)

**結論**: **Yuan 2026-07-18 = 別プログラム、 Rei D-FUMT₈ SELF⟲ + STEP 1215/1220
系継続 OK**。 ただし「Universal Self-Reference」 という語 usage には藤本さん判断
必要 (Rei 独自 vocabulary 保護 or Yuan credit)。 藤本さん 「急がずゆっくり」 で
full PDF 直接 read 後に final decision。

## 関連

- [[project-session-2026-07-19-priority-1-2-arc]] (audit trigger source: pending 長期 6)
- [[project-step1215-dfumt8-category-axiom-free]] (Rei SELF⟲ origin)
- [[project-step1220-lawvere-fixed-point-chat-claude-third-proposal]] (Rei Lawvere fp origin)
- [[feedback-super-naming-siren-family-pattern]] (「Universal Self-Reference」 語 usage 判定に適用)
- [[feedback-chat-claude-term-uncritical-adoption]] (Yuan の Omega-Frame 用語を Rei が採用しない discipline)
- [[feedback-evaluation-symmetry-principle]] (Yuan の framework を inflate せず deflate せず: 別 program 判定)
- [[feedback-no-direct-author-contact]] (Yuan 直接接触せず、Zenodo/SSRN 公開経路のみ)
- [[reference-qcsc-zcsg-center-periphery-reading-scope-note]] (Yuan collapse ↔ ZCSG 中心の marker-only reading)

## Sources

- Zenodo 21426807 (Yuan v19, 2026-07-18) metadata
- Zenodo 19721381 (Yuan Ricci flow companion, 2026-04) metadata
- SSRN 5793683 abstract page (403 for full PDF)
- Zenodo 17180976 (Yuan v1, 2025-11) reference
- Rei local: STEP 1215 (`Dfumt8CategoryAxiomFree.lean`) + STEP 1220
  (`LawvereFixedPointExperiment.lean`)