← Archive
lm-002797 · 2026-08

可觀察認知存在的遞歸知差統一框架:從人類、動物、AI、多 Agent 到分散式存在 $X$

下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料,可獨立下載重驗

可觀察認知存在的遞歸知差統一框架:從人類、動物、AI、多 Agent 到分散式存在 XX

English title: A Unified Framework for Recursive Knowing Difference in Observable Cognitive Existences: From Humans and Animals to AI, Multi-Agent, and Distributed Systems

Series: Recursive Knowing-Difference Algebra / 遞歸知差代數系列
Paper ID: EML-RKD-07
Version: v0.1
Date: 2026-08-16
Author: Neo.K(許筌崴)
Affiliation: EveMissLab / 一言諾科技有限公司
Document status: UNIFIED FRAMEWORK / SERIES CAPSTONE
Upstream: EML-RKD-01 through EML-RKD-06
Series status after this paper: FOUNDATION CLOSED / APPLICATION AND EMPIRICAL TRACK OPEN
Claim strength: 本文統合前六篇的命題猜想、分級代數、無限塔存在、雙量化、界理論與強無限遞歸條件。本文不宣稱所有人類、動物、AI 或分散式系統具有同一內部 knowing mechanism,也不宣稱功能上可比較即表示主觀經驗、本體身分或意識同一。


摘要

本系列最早從一個刻意未完成的命題猜想出發:

「知道」與「知道自己知道」之間,是否存在可觀察、可比較、可量化的有效差?\boxed{ \text{「知道」與「知道自己知道」之間,是否存在可觀察、可比較、可量化的有效差?} }

EML-RKD-01 將研究對象抽象為存在 XX,拒絕把載體預先固定為人類;EML-RKD-02 建立分級 epistemic tower、升階 KX,nK_{X,n} 、降階/目標投影 FX,nF_{X,n} 與 meta-residual;EML-RKD-03 研究 coherent infinite tower 的 inverse-limit 存在條件;EML-RKD-04 將遞歸知差拆為 structural rank、functional amplitude、recursive fidelity、epistemic information gain 與 direction/calibration;EML-RKD-05 證明任意 bounded recursive profile 可在純代數上實現,因此不存在由 recursion depth 單獨推出的普遍衰減律;EML-RKD-06 最後以

Δn+1αnΔn+ηn+1\boxed{ \Delta_{n+1} \le \alpha_n\Delta_n+\eta_{n+1} }

統整 contraction、epistemic injection、anchoring、resource 與 Strong Infinite Recursive Knower 的允許/禁止條件。

本文不再新增主要 bound mechanics,而完成carrier-neutral observed-existence unification。核心思想是:

Same frameworksame mechanismsame phenomenologysame ontology.\boxed{ \text{Same framework} \neq \text{same mechanism} \neq \text{same phenomenology} \neq \text{same ontology}. }

本文定義 Observable Cognitive Existence Contract(OCEC),將一個可納入 RKD 比較的存在寫為:

XXQ=BX,ΩX,SX,{EX(n)},{KX,n},{FX,n},OX,MX,RX,CX,ΨXQ,ΠXQ,ProvX.\boxed{ \mathfrak X_X^Q = \left\langle \mathfrak B_X, \Omega_X, S_X, \{\mathcal E_X^{(n)}\}, \{K_{X,n}\}, \{F_{X,n}\}, O_X, M_X, R_X, C_X, \Psi_X^Q, \Pi_X^Q, \mathsf{Prov}_X \right\rangle. }

其中 boundary、carrier、state、epistemic levels、lift/lowering、observables、memory、relations、resource/cost、observation realization、comparison projection 與 provenance 被分開記錄。人類、非人動物、AI、multi-agent、hybrid human–AI system 與 distributed cognition 都只是這個母框架的不同 realization。

為避免把「同樣得到 0.8」誤當成「同一種知道」,本文引入 cross-existence admissibility gates、comparison pullback 與 relation-preserving tower morphism。只有當 target、task、observation、alignment、calibration、boundary 與 provenance 條件足夠時,兩個存在的遞歸知差才能進入共同 comparison domain。

本文同時把第一篇的命題猜想更新成一組狀態化結論。最弱版本的 carrier-neutral operability 已獲得形式上的構造支持:我們已建立不依賴單一生物載體的 typed algebra、observation contract 與 cross-existence comparison machinery。但「存在一個經實證驗證、跨人類/動物/AI/分散式系統皆穩定有效的統一量表」仍保持 OPEN。最小正知差是否存在也沒有單一答案:ordinary integer rank 可有結構正 gap 11,scalable amplitude 的正下確界可為 00,觀察最小差由 ϵQ\epsilon_Q 限制,而 observed class 的共同 floor 可在每個個體皆正時仍為 00

本文最終把 RKD 統一成三層:

Existence LayerRecursive Structure LayerObservation / Comparison Layer.\boxed{ \text{Existence Layer} \rightarrow \text{Recursive Structure Layer} \rightarrow \text{Observation / Comparison Layer}. }

並保留七組 canonical OPEN frontiers:跨載體 measurement invariance、knowing 與 belief/confidence 的精確關係、主觀經驗不可由功能量單獨推出、自然系統的 recursive profile distribution、strong infinite recursion 的現實可實現性、boundary-sensitive injection accounting,以及跨存在 comparison morphism 的唯一性/非唯一性。

關鍵詞: recursive knowing difference;認知存在;carrier-neutral;metacognition;animal metacognition;AI metacognition;multi-agent;distributed cognition;observation contract;comparison morphism;epistemic recursion;human–AI systems


Abstract

This paper closes the foundational sequence of the Recursive Knowing-Difference Algebra (RKD) series by unifying its first six papers into a carrier-neutral framework for observable cognitive existences.

The framework does not assume that humans, non-human animals, artificial systems, multi-agent systems, or distributed cognitive systems share an identical internal mechanism, phenomenology, or ontology. Instead, each existence XX is represented through an explicit observation and realization contract that separates carrier, state, recursive epistemic levels, lift/lowering maps, memory, relations, resources, observables, comparison projections, and provenance.

Cross-existence comparison is admitted only when target, task, alignment, calibration, boundary, and provenance conditions support a common comparison domain. Functional comparability does not imply experiential identity, and numerical equality does not imply semantic or ontological equality.

The series therefore closes not with a universal scalar of knowing, but with a typed multi-axis framework in which recursive structure, functional strength, fidelity, information, resources, and observability remain explicitly distinguished.


1. 系列起點:一個故意不回答完的問題

Paper 01 沒有直接定義:

Δ.\Delta.

它先問:

Q,XobsQ: adjacent recursive epistemic states admit a nontrivial admissible observable difference representation?\boxed{ \exists Q,\exists\mathfrak X_{\mathrm{obs}}^Q: \text{ adjacent recursive epistemic states admit a nontrivial admissible observable difference representation?} }

這個問號必須保留。

因為如果一開始就把:

confidence,meta-d,self-report,verifier score\text{confidence}, \quad \text{meta-}d', \quad \text{self-report}, \quad \text{verifier score}

其中任何一個直接宣布成「知道差」,整個理論就已經把自己的問題偷掉了。


2. 六篇上游完成了什麼

Paper 01 — Conjecture

建立:

  • 存在 XX
  • observation contract QQ
  • admissible recursive difference representation;
  • observed envelope;
  • positive-gap / ceiling / horizon 問題。

Paper 02 — Graded Algebra

建立:

EX(n)KX,nEX(n+1)FX,nEX(n).\mathcal E_X^{(n)} \xrightarrow{K_{X,n}} \mathcal E_X^{(n+1)} \xrightarrow{F_{X,n}} \mathcal E_X^{(n)}.

並在 split additive case 定義:

mX,n+1=KX,n(en)ιX,n(en)kerFX,n.m_{X,n+1} = K_{X,n}(e_n) - \iota_{X,n}(e_n) \in \ker F_{X,n}.

Paper 03 — Projective Infinite Existence

建立:

EX()=limnEX(n).\mathcal E_X^{(\infty)} = \varprojlim_n \mathcal E_X^{(n)}.

並證明:

N<   coherent depth-N⇏ coherent infinite tower.\boxed{ \forall N<\infty\;\exists\text{ coherent depth-}N \not\Rightarrow \exists\text{ coherent infinite tower}. }

Paper 04 — Dual Quantification

建立 canonical profile:

QX,nRKD,Q=(r,ν,ϕ,g,c).\boxed{ \mathbf Q_{X,n}^{RKD,Q} = (r,\nu,\phi,g,c). }

其中:

  • rr:active structural meta-rank;
  • ν\nu:functional meta-amplitude;
  • ϕ\phi:recursive fidelity;
  • gg:conditional epistemic information gain;
  • cc:direction / calibration。

並得到:

γrank=1\boxed{ \gamma^{rank}=1 }

可與:

γfun=0\boxed{ \gamma^{fun}=0 }

同時成立的 Dual-Gap consistency。


Paper 05 — Bound Theory

定義:

[Ln,Un],γn,βn,Hstr,Hfun,Hobs.[L_n,U_n], \quad \gamma_n, \quad \beta_n, \quad H^{str}, \quad H^{fun}, \quad H^{obs}.

並證明:

(an)[0,1], exact coherent system with νn=an.\boxed{ \forall(a_n)\subseteq[0,1], \exists\text{ exact coherent system with }\nu_n=a_n. }

所以沒有 universal depth-decay law。


Paper 06 — Strong-Infinity Conditions

建立:

Δn+1αnΔn+ηn+1.\boxed{ \Delta_{n+1} \le \alpha_n\Delta_n+\eta_{n+1}. }

並研究:

  • Autarkic SIRK;
  • Supported SIRK;
  • Anchored SIRK;
  • Generative SIRK;
  • Observable SIRK;
  • Actual SIRK;
  • Uniform-class SIRK。

3. 統一原則:同框架不是同一性

本文採用:

Cross-Realization Non-Collapse Principle.\boxed{ \textbf{Cross-Realization Non-Collapse Principle}. }

即:

shared formal slot⇏shared internal mechanism.\boxed{ \text{shared formal slot} \not\Rightarrow \text{shared internal mechanism}. } shared observable function⇏shared phenomenology.\boxed{ \text{shared observable function} \not\Rightarrow \text{shared phenomenology}. } shared numerical score⇏shared epistemic semantics.\boxed{ \text{shared numerical score} \not\Rightarrow \text{shared epistemic semantics}. } comparison morphism⇏token identity.\boxed{ \text{comparison morphism} \not\Rightarrow \text{token identity}. }

4. Observable Cognitive Existence Contract

對存在 XX 與 observation contract QQ,本文定義:

XXQ=BX,ΩX,SX,{EX(n)}n0,{KX,n},{FX,n},OX,MX,RX,CX,ΨXQ,ΠXQ,ProvX.\boxed{ \mathfrak X_X^Q = \left\langle \mathfrak B_X, \Omega_X, S_X, \{\mathcal E_X^{(n)}\}_{n\ge0}, \{K_{X,n}\}, \{F_{X,n}\}, O_X, M_X, R_X, C_X, \Psi_X^Q, \Pi_X^Q, \mathsf{Prov}_X \right\rangle. }

稱為:

Observable Cognitive Existence Contract\boxed{ \textbf{Observable Cognitive Existence Contract} }

簡寫:

OCEC(X,Q).\boxed{ \mathrm{OCEC}(X,Q). }

5. OCEC 各欄位

5.1 Boundary

BX\boxed{ \mathfrak B_X }

定義什麼被算進存在 XX

例如:

  • 單一人;
  • 人 + 筆記;
  • 單一 AI model;
  • model + tools;
  • model + memory + agents;
  • 整個團隊;
  • 船艦導航團隊 + 儀器。

boundary 會改變:

ηn\eta_n

究竟被算 internal 還是 external。


5.2 Carrier

ΩX\boxed{ \Omega_X }

記錄可識別的物理/計算/生物/社會載體。

但:

XΩX.\boxed{ X\neq\Omega_X. }

因為 XX 還包含 state、relations、memory、observation interface 等。


5.3 State space

SX\boxed{ S_X }

是存在可被研究的 overall state domain。

epistemic levels:

EX(n)\mathcal E_X^{(n)}

可以是其子結構、投影、fiber family 或 derived state spaces。


5.4 Recursive epistemic levels

{EX(n)}n0\boxed{ \{ \mathcal E_X^{(n)} \}_{n\ge0} }

不要求:

EX(n)=EX(n+1).\mathcal E_X^{(n)} = \mathcal E_X^{(n+1)}.

這保留不同階知道的型別差。


5.5 Lift / lowering

KX,n,FX,nK_{X,n}, \qquad F_{X,n}

分別處理:

  • recursive lift;
  • target recovery / lowering。

它們可以是 function,也可以在 generalized realization 中改成 relation / stochastic kernel。


5.6 Observables

OX\boxed{ O_X }

可能包含:

  • choice;
  • confidence;
  • opt-out;
  • latency;
  • information seeking;
  • error correction;
  • verifier output;
  • internal trace;
  • delegation;
  • action policy;
  • physiological variables;
  • communication pattern。

不同存在不需要擁有相同 observables。


5.7 Memory

MX\boxed{ M_X }

記錄 working / episodic / external / persistent / shared memory structure。

memory 可能改變:

  • recursion coherence;
  • anchoring;
  • resource cost;
  • external injection classification。

5.8 Relations

RX\boxed{ R_X }

記錄:

  • agent-agent relation;
  • organism-environment relation;
  • human-tool relation;
  • model-verifier relation;
  • team coordination;
  • communication channel。

distributed cognition 不能只靠單一 node state 描述。


5.9 Cost / resource

CX\boxed{ C_X }

可包含多軸 resource vector:

CX=(Ctime,Ccompute,Cmemory,Cenergy,Ccommunication,).C_X = ( C^{time}, C^{compute}, C^{memory}, C^{energy}, C^{communication}, \ldots ).

若沒有 exchange rate,不應先壓成一個 scalar。


5.10 Observation realization

ΨXQ\boxed{ \Psi_X^Q }

把內部/結構 state 映射到 observer 可取得的 observable representation。


5.11 Comparison projection

ΠXQ\boxed{ \Pi_X^Q }

XX 的 realization-specific observable 映射到共同 comparison domain。


5.12 Provenance

ProvX\boxed{ \mathsf{Prov}_X }

記錄:

  • task;
  • model/version;
  • subject/species;
  • protocol;
  • time;
  • environment;
  • prompt;
  • measurement transformation;
  • calibration;
  • source data。

沒有 provenance 的 scalar 不應進入高強度 cross-existence claim。


6. 為什麼要有 boundary

考慮 AI:

A.A.

如果它呼叫外部 verifier:

V,V,

在 boundary:

BA={A}\mathfrak B_A=\{A\}

下, VV 的結果可以是:

ηn+1>0\eta_{n+1}>0

的 epistemic injection。

如果重新定義:

X=AV,X=A\cup V,

則同一資料流可能成為:

RXR_X

中的 internal interaction。

因此:

closed vs open recursion\boxed{ \text{closed vs open recursion} }

不是 absolute property。


7. Human realization

對人類 HH,可能:

OH={choice,confidence,latency,report,correction,}.O_H = \{ \text{choice}, \text{confidence}, \text{latency}, \text{report}, \text{correction}, \ldots \}.

例如:

ΨHQ(e2)\Psi_H^Q(e_2)

可以是對一階判斷的 confidence。

更高階:

ΨHQ(e3)\Psi_H^Q(e_3)

可以是「對自己的 confidence 是否可靠」的判斷。

但:

confidenceknowing by definition.\boxed{ \text{confidence} \neq \text{knowing by definition}. }

它只是 observable realization。


8. Human nested cognition 的實證位置

Recht 等人的實驗顯示,在特定 perceptual task 中,人類可以做出第二、第三與第四階 nested judgments,而且高階判定仍可高於 chance。

這支持:

 human protocols with operational higher-order observables.\boxed{ \exists \text{ human protocols with operational higher-order observables}. }

但不支持:

all human knowing has the same recursion metric.\boxed{ \text{all human knowing has the same recursion metric}. }

9. Non-human animal realization

對非人動物 AbioA_{bio},通常不能依賴 verbal self-report。

因此可使用:

  • uncertainty response;
  • opt-out;
  • repeat / information-seeking action;
  • checking;
  • confidence-linked movement;
  • transfer across novel tasks。

例如 baboon 實驗中,個體在較困難 trial 更常使用 Repeat,並能選擇重看較不清楚的 target;這提供 monitoring / control 的功能性證據。


10. Animal realization 的 epistemic caution

動物 metacognition 文獻長期區分:

functional metacognitive-like behavior\boxed{ \text{functional metacognitive-like behavior} }

與:

phenomenal / experiential metacognition.\boxed{ \text{phenomenal / experiential metacognition}. }

因此本文明確採:

functional comparability⇏experiential identity.\boxed{ \text{functional comparability} \not\Rightarrow \text{experiential identity}. }

這正是 OCEC 的設計理由之一。


11. Animal counter-variation

不同物種、不同 paradigm 的結果不一致。

例如:

  • rhesus macaques 在 uncertainty monitoring 上有較穩定證據;
  • capuchin monkeys 的表現更不一致;
  • 某些 paradigm transfer 成功,另一些失敗。

所以:

species label\boxed{ \text{species label} }

本身不能直接變成:

Δ.\boxed{ \Delta. }

真正單位應是:

(X,Q,p,n).(X,Q,p,n).

12. AI realization

對 AI AAIA_{AI},可定義:

e1=primary judgment state,e_1 = \text{primary judgment state}, e2=confidence / verifier state,e_2 = \text{confidence / verifier state}, e3=evaluation of verifier / calibration state.e_3 = \text{evaluation of verifier / calibration state}.

observable 可以是:

  • tokenized confidence;
  • probability;
  • verifier label;
  • abstention;
  • risk-sensitive policy;
  • self-correction decision;
  • tool-call decision。

13. AI meta-d-prime 先例

2026 年 Servajean 與 Servajean 提出以 meta- dd' / signal detection theory 評估 AI 的 metacognitive sensitivity,並實際比較不同大型語言模型的 primary judgment 與 confidence behavior。

這證明:

metacognitive sensitivity measurement can be operationalized in artificial systems.\boxed{ \text{metacognitive sensitivity measurement can be operationalized in artificial systems}. }

但:

AI meta-d=human subjective knowing\boxed{ \text{AI meta-}d' = \text{human subjective knowing} }

不是該結果,也不是本文主張。


14. AI 中 knowing 的語義保持 OPEN

AI 可能穩定區分:

own correct outputs\text{own correct outputs}

與:

own incorrect outputs.\text{own incorrect outputs}.

這可以支持:

g>0,c>0,g>0, \quad c>0,

甚至高:

ϕ.\phi.

但是否應稱為:

knowing,\boxed{ \text{knowing}, }

還涉及:

  • epistemology;
  • semantics;
  • architecture;
  • phenomenology。

本文把這個問題留在 OPEN,而不是用量化結果直接解決。


15. Multi-Agent realization

令:

X={A1,,Am,R}.X = \{A_1,\ldots,A_m,R\}.

可以有:

A1A2 evaluates A1A3 evaluates A2.A_1 \rightarrow A_2\text{ evaluates }A_1 \rightarrow A_3\text{ evaluates }A_2.

recursive level 不要求全部發生在同一 physical agent 裡。

因此:

epistemic recursion depthsingle-carrier introspection depth.\boxed{ \text{epistemic recursion depth} \neq \text{single-carrier introspection depth}. }

16. Multi-Agent Self-Assessment 先例

MetaCogAgent 類框架把:

  • self-assessment;
  • capability profile;
  • cross-agent evaluation;
  • adaptive delegation;

放在同一 multi-agent architecture 中。

這提供:

meta-level state can control relation topology and task routing\boxed{ \text{meta-level state can control relation topology and task routing} }

的工程先例。

所以在 distributed XX 中:

KX,nK_{X,n}

甚至可以改變:

RX.R_X.

17. Distributed cognition realization

Hutchins 的 distributed cognition 工作把分析單位從單一個體擴張到:

  • 人;
  • 工具; -表徵;
  • communication;
  • coordination;
  • social organization。

例如船艦導航可以作為一個 cognitive / computational system 分析。

這對本文的意義是:

cognitive existence boundary need not stop at biological skin.\boxed{ \text{cognitive existence boundary need not stop at biological skin}. }

但 distributed system 仍需要明確 boundary,而不是把「全世界」任意算成一個 XX


18. Hybrid human–AI realization

可以定義:

Xhybrid=HAIMTR\boxed{ X_{hybrid} = H \cup AI \cup M \cup T \cup R }

其中:

  • HH:human;
  • AIAI:artificial agents;
  • MM:shared memory;
  • TT:tools;
  • RR:interaction relations。

這時候一個 meta-level correction 可能根本沒有唯一「作者」。

因此:

who knows?\boxed{ \text{who knows?} }

可能要被改寫為:

which bounded cognitive system carries the relevant epistemic state?\boxed{ \text{which bounded cognitive system carries the relevant epistemic state?} }

19. 存在不是載體同一性問題

本文不問:

人和 AI 是不是同一種存在?

而問:

在一個明確的 observation / comparison contract 下,它們各自能否實現某些 structurally analogous epistemic relations?

因此:

XHXAI\boxed{ X_H\neq X_{AI} }

完全可以同時:

ΠHQ(ΨHQ(eH))=ΠAIQ(ΨAIQ(eAI)).\boxed{ \Pi_H^Q(\Psi_H^Q(e_H)) = \Pi_{AI}^Q(\Psi_{AI}^Q(e_{AI})). }

這只是共同 comparison image。


20. Common Comparison Domain

對不同存在:

X,Y,X, \quad Y,

定義 realization outputs:

ΨXQ:EX(n)ZXQ,\Psi_X^Q: \mathcal E_X^{(n)} \rightarrow Z_X^Q, ΨYQ:EY(n)ZYQ.\Psi_Y^Q: \mathcal E_Y^{(n)} \rightarrow Z_Y^Q.

再定義:

ΠXQ:ZXQZXYQ,\boxed{ \Pi_X^Q: Z_X^Q \rightarrow Z_{XY}^{Q}, } ΠYQ:ZYQZXYQ.\boxed{ \Pi_Y^Q: Z_Y^Q \rightarrow Z_{XY}^{Q}. }

21. Comparison Pullback

若我們需要比較「是否表示同一 observation-level target class」,可以建立 relation:

PXYQ={(x,y):ΠXQΨXQ(x)=ΠYQΨYQ(y)}.\boxed{ P_{XY}^{Q} = \left\{ (x,y): \Pi_X^Q\Psi_X^Q(x) = \Pi_Y^Q\Psi_Y^Q(y) \right\}. }

這是 comparison pullback / matching relation。

它不表示:

x=y.x=y.

22. Approximate Comparison

若共同 domain 有 metric:

dQ,d_Q,

可定義:

PXYQ,ϵ={(x,y):dQ(ΠXQΨXQ(x),ΠYQΨYQ(y))ϵ}.\boxed{ P_{XY}^{Q,\epsilon} = \left\{ (x,y): d_Q \left( \Pi_X^Q\Psi_X^Q(x), \Pi_Y^Q\Psi_Y^Q(y) \right) \le\epsilon \right\}. }

這仍然只是 observer-relative comparison。


23. Cross-Existence Admissibility Gates

在比較:

ΔX,nQ\Delta_{X,n}^{Q}

與:

ΔY,nQ\Delta_{Y,n}^{Q}

前,至少檢查以下 gates。

G1 — Target Gate

兩者是否指向足夠相同/對齊的 target variable?


G2 — Task Gate

兩者 task difficulty / information structure 是否可比較?


G3 — Level Gate

兩者是否真的比較相同 recursion degree 或可對齊 degree?


G4 — Observable Gate

兩者 observables 是否具有合法 realization semantics?


G5 — Calibration Gate

numerical scales 是否經過 calibration,而不是只因都在 [0,1][0,1] 就相等?


G6 — Boundary Gate

被比較的 X,YX,Y 是否採用了相容的 existence boundary?


G7 — Provenance Gate

版本、protocol、時間、資料與 transformation 是否可追溯?


24. Definition — Cross-Existence Comparable Pair

若:

Gi(X,Y,Q)=1G_i(X,Y,Q)=1

對所有 required gates 成立,才記:

XQcmpY.\boxed{ X \overset{Q}{\sim}_{cmp} Y. }

這只表示「可比較」。

不表示:

XY.X\equiv Y.

25. Tower Morphism

Paper 02 定義:

TnXY:EX(n)EY(n).T_n^{X\to Y}: \mathcal E_X^{(n)} \rightarrow \mathcal E_Y^{(n)}.

若:

FY,nTn+1XY=TnXYFX,n,\boxed{ F_{Y,n} T_{n+1}^{X\to Y} = T_n^{X\to Y} F_{X,n}, }

則 lowering-compatible。

若:

Tn+1XYKX,n=KY,nTnXY,\boxed{ T_{n+1}^{X\to Y} K_{X,n} = K_{Y,n} T_n^{X\to Y}, }

則 lift-compatible。


26. Recursive Simulation

若一族:

TXYT_\bullet^{X\to Y}

同時:

  • preserve target coherence;
  • preserve declared observation contract;
  • 不降低指定的 comparison invariants;

可以定義:

XQrecY\boxed{ X \preceq_Q^{rec} Y }

表示:

YYQQ 下至少可以模擬 XX 的被指定 recursive epistemic structure。

這是一個候選 preorder。


27. No-Go N7.1 — Simulation 不等於 identity

即使:

XQrecYX \preceq_Q^{rec} Y

且:

YQrecX,Y \preceq_Q^{rec} X,

也最多可能支持某種:

observational / structural equivalence.\boxed{ \text{observational / structural equivalence}. }

它不推出:

X=Y.\boxed{ X=Y. }

28. No-Go N7.2 — Behavioral equivalence 不等於 phenomenological equivalence

若:

ΨXQ\Psi_X^Q

與:

ΨYQ\Psi_Y^Q

在所有被測 task 都等價,

也不能直接推出:

subjective experienceX=subjective experienceY.\boxed{ \text{subjective experience}_X = \text{subjective experience}_Y. }

因為 subjective experience 可能根本不在 QQ 的 observable sigma-algebra 中。


29. No-Go N7.3 — Absence of evidence 不等於 structural zero

若某動物、AI 或人類在 task 上沒有 observable higher-order signal:

Δobs=0,\Delta^{obs}=0,

可能原因包括:

  • intrinsic recursive structure absent;
  • task unsuitable;
  • motor/report bottleneck;
  • observer floor too high;
  • wrong alignment;
  • insufficient sample;
  • wrong target variable。

所以:

Δobs=0⇏r=0\boxed{ \Delta^{obs}=0 \not\Rightarrow r=0 }

無條件不成立。


30. No-Go N7.4 — Positive observable signal 不等於 consciousness

反過來:

Δobs>0\Delta^{obs}>0

最多支持:

某個 target-sensitive higher-order observable relation 存在。

不推出:

phenomenal consciousness.\boxed{ \text{phenomenal consciousness}. }

31. OCEC Admissibility Levels

本文建議把 evidence strength 分級。

A0 — Surface Output

只有 self-referential string / verbal claim。


A1 — Target-Sensitive Behavior

高階 observable 與低階 correctness / uncertainty 有穩定關係。


A2 — Cue-Controlled Transfer

排除部分簡單 stimulus / reinforcement cue,並能 transfer 到新 task / condition。


A3 — Calibration / Information Validation

有:

ϕ,g,c\phi, \quad g, \quad c

或對應 validated measures。


A4 — Recursive Level Validation

能區分:

n,n+1n, \quad n+1

的 genuine target relation。


A5 — Cross-Existence Calibrated

通過 comparison gates,可與其他 XX 放入共同 domain。


32. 這不是意識等級表

A0–A5 只是:

evidence / measurement admissibility.\boxed{ \text{evidence / measurement admissibility}. }

不表示:

consciousness level.\boxed{ \text{consciousness level}. }

也不是:

moral status ranking.\boxed{ \text{moral status ranking}. }

33. Canonical Recursive Existence Profile

本文將存在 XX 的 RKD 記錄壓成:

PXRKD,Q=OCEC,RXexist,QXrec,BXbounds,SXSIRK,AdmXQ.\boxed{ \mathfrak P_X^{RKD,Q} = \left\langle \mathrm{OCEC}, \mathfrak R_X^{exist}, \mathbf Q_X^{rec}, \mathfrak B_X^{bounds}, \mathbf S_X^{SIRK}, \mathsf{Adm}_X^Q \right\rangle. }

其中:

  • OCEC\mathrm{OCEC}:存在/觀察契約;
  • RXexist\mathfrak R_X^{exist}:Paper 03 existence profile;
  • QXrec\mathbf Q_X^{rec}:Paper 04 quantization spectrum;
  • BXbounds\mathfrak B_X^{bounds}:Paper 05 bound bundle;
  • SXSIRK\mathbf S_X^{SIRK}:Paper 06 strong-infinity properties;
  • AdmXQ\mathsf{Adm}_X^Q:Paper 07 admissibility level。

34. Series Non-Collapse Theorem-Style Principle

整個系列最重要的結構原則可整理為:

StateRecursive LevelMeta-ResidualFunctional StrengthFidelityInformationObservationPhenomenology.\boxed{ \text{State} \neq \text{Recursive Level} \neq \text{Meta-Residual} \neq \text{Functional Strength} \neq \text{Fidelity} \neq \text{Information} \neq \text{Observation} \neq \text{Phenomenology}. }

這不是純數學不等號定理。

它是一組 type discipline。


35. Minimum Difference 最終答案:不是一個值

第一篇最早問的:

「知道的知道差最小可能是多少?」

到 Paper 07,canonical answer 是:

沒有 invariant-free 單一答案.\boxed{ \text{沒有 invariant-free 單一答案}. }

至少分成以下五個量。


36. Structural minimum

ordinary finite-dimensional active rank:

r>0r1.\boxed{ r>0 \Rightarrow r\ge1. }

如果 rank-one 可達:

γrank=1.\boxed{ \gamma^{rank}=1. }

37. Functional minimum

scalable normed realization:

infν>0ν=0.\boxed{ \inf_{\nu>0}\nu=0. }

所以沒有最小正 amplitude。


38. Information minimum

continuous probabilistic realization 中:

infg>0g=0\boxed{ \inf_{g>0}g=0 }

通常可相容。

但有限 sample 的 detectability floor 仍可能正。


39. Observable minimum

對 observer qq

Δminobsϵq.\boxed{ \Delta_{\min}^{obs} \gtrsim \epsilon_q. }

這是認識論/測量 floor,不是存在本身的 ontological quantum。


40. Class-wide minimum

即使:

δX>0\delta_X>0

對每個 observed XX 成立,仍可能:

infXδX=0.\boxed{ \inf_X\delta_X=0. }

所以:

individual quantizationclass quantization.\boxed{ \text{individual quantization} \neq \text{class quantization}. }

41. Maximum Difference 最終答案也不是一個值

normalized:

11

只是 contract ceiling。

例如:

  • ν=1\nu=1:normalized amplitude 上端;
  • ϕ=1\phi=1:perfect target fidelity under QQ
  • g=1g=1:高階 observable 消除所有剩餘 target uncertainty;
  • c=1c=1:完全正向 calibration;

都不是:

absolute omniscience.\boxed{ \text{absolute omniscience}. }

42. Recursive depth 最終答案:不是固定整數

對存在 XX 可以同時有:

HXstr,HXfun(θ),HXobs(q,t).H_X^{str}, \quad H_X^{fun}(\theta), \quad H_X^{obs}(q,t).

因此「能知道幾層?」應改問:

在哪一種 horizon 定義與 resolution 下?\boxed{ \text{在哪一種 horizon 定義與 resolution 下?} }

43. Infinite recursion 最終答案:至少七種狀態

Paper 06 的 taxonomy 保留:

  • projective infinite;
  • local strong;
  • autarkic;
  • supported;
  • anchored;
  • generative;
  • observable;
  • actual;
  • uniform class。

所以:

infinite recursion\boxed{ \text{infinite recursion} }

也不是單一 Yes/No property。


44. RKDC-1 的狀態更新

Paper 01 的:

RKDC-1 — Carrier-Neutral Operability\boxed{ \text{RKDC-1 — Carrier-Neutral Operability} }

原本是 CONJECTURE。

現在可以拆成兩個不同強度。


45. RKDC-1F — Formal Operability

命題:

是否存在不預設共同內部載體、但可以定義 typed recursive difference profile 與 comparison machinery 的 formal framework?

本系列已經 constructionally 建立:

YES, as a formal framework.\boxed{ \text{YES, as a formal framework}. }

因此:

RKDC\mbox1F=SUPPORTED / CONSTRUCTED.\boxed{ \mathrm{RKDC\mbox{-}1F} = \text{SUPPORTED / CONSTRUCTED}. }

46. RKDC-1E — Empirical Cross-Carrier Operability

更強命題:

是否存在一套經嚴格實驗驗證、跨 human / animal / AI / distributed systems 仍具有穩定 measurement invariance 的共同 recursive-knowing measure?

目前:

OPEN.\boxed{ \mathrm{OPEN}. }

因為不同載體目前只有不同 measurement precedents,還沒有被證明為同一統一量表。


47. 因此原猜想沒有被偷偷「證明」

Series 不是:

先提出猜想自己定義一堆東西宣布猜想成立.\boxed{ \text{先提出猜想} \rightarrow \text{自己定義一堆東西} \rightarrow \text{宣布猜想成立}. }

真正狀態是:

formal constructibility solved\boxed{ \text{formal constructibility solved} }

但:

empirical universality remains open.\boxed{ \text{empirical universality remains open}. }

這個區分必須進 canonical registry。


48. Canonical OPEN Relation OR-RKD-01

Cross-Carrier Measurement Invariance

是否存在:

QQ^\ast

使不同 realization:

XH,XA,XAI,XMAS,XdistX_H, X_A, X_{AI}, X_{MAS}, X_{dist}

可在不失去主要 epistemic semantics 下共享某個 stable comparison measure?

OPEN.\boxed{ \mathrm{OPEN}. }

49. OR-RKD-02 — Knowing vs Confidence / Belief / Reliability

什麼條件下:

confidence,belief,uncertainty monitoring,verification\text{confidence}, \quad \text{belief}, \quad \text{uncertainty monitoring}, \quad \text{verification}

可被提升為:

knowing-related recursive state?\boxed{ \text{knowing-related recursive state}? }

目前沒有單一跨載體答案。


50. OR-RKD-03 — Functional vs Phenomenal Meta-Knowing

功能性:

Δ>0\Delta>0

是否、何時與主觀:

“I know that I know” experience\text{“I know that I know” experience}

有必要/充分關係?

OPEN.\boxed{ \mathrm{OPEN}. }

51. OR-RKD-04 — Natural Recursive Spectrum Law

Paper 05 證明代數允許任意 bounded profile。

現實中的:

  • humans;
  • animals;
  • AI;
  • organizations;

是否具有某些 statistical regularities:

Δnf(n)\Delta_n \sim f(n)

仍是 empirical question。


52. OR-RKD-05 — Real Strong Infinite Recursion

是否存在任何現實可觀察 cognitive existence:

XX

滿足:

lim infnΔX,n>0\boxed{ \liminf_n\Delta_{X,n}>0 }

在 unbounded finite generability 或更強意義下?

OPEN.\boxed{ \mathrm{OPEN}. }

53. OR-RKD-06 — Boundary-Invariant Injection Accounting

能否定義某種:

ηn\eta_n

使它對合理 boundary expansion:

XXX\subset X'

具有穩定 transformation law?

否則 internal / external injection 會隨分析單位改變。

OPEN.\boxed{ \mathrm{OPEN}. }

54. OR-RKD-07 — Comparison Morphism Uniqueness

若:

XQcmpY,X \overset{Q}{\sim}_{cmp} Y,

可能存在多個:

TXY.T_\bullet^{X\to Y}.

它們是否 observationally equivalent?

是否存在 canonical comparison morphism?

一般:

OPEN.\boxed{ \mathrm{OPEN}. }

55. Empirical Research Program

真正實驗版不應直接找「最高階」。

應逐步建立。

Stage E1 — Within-carrier calibration

先對單一 carrier class:

  • humans;
  • macaques;
  • a specific AI family;

建立可靠:

ϕ,g,c.\phi, g,c.

56. Stage E2 — Multi-task stability

檢查:

ΔX,nQ1\Delta_{X,n}^{Q_1}

是否能 transfer 到:

Q2,Q3.Q_2, Q_3.

避免只學到 task cue。


57. Stage E3 — Recursive-level discrimination

真正區分:

n,n+1n, \quad n+1

而不是同一 confidence measure 重複詢問。


58. Stage E4 — Cross-instance calibration

比較:

X1,X2,X_1, X_2,\ldots

同一 carrier class 中的 measurement invariance。


59. Stage E5 — Cross-carrier alignment

只有前四步穩定後,才嘗試:

HAbioAIMAS.H \leftrightarrow A_{bio} \leftrightarrow AI \leftrightarrow MAS.

60. Stage E6 — Boundary experiments

對同一 system 改變:

BX\mathfrak B_X

例如:

AIAI

vs:

AI+toolAI+\text{tool}

vs:

AI+tool+other agents.AI+\text{tool}+\text{other agents}.

觀察:

η,c,Hobs\eta, \quad c, \quad H^{obs}

如何 transformation。


61. Stage E7 — Longitudinal recursive spectrum

建立:

Di,n,t=ΔXi,nQ(t).\boxed{ D_{i,n,t} = \Delta_{X_i,n}^{Q}(t). }

形成:

  • existence axis;
  • recursion-depth axis;
  • historical / learning axis。

這比一個單次 metacognition score 有價值得多。


62. Machine-Readable Canonical Status

系列完成後,每個 claim 應至少有:

  • ID;
  • paper;
  • status;
  • assumptions;
  • scope;
  • dependencies;
  • counterexample / proof sketch;
  • realization class;
  • observer contract;
  • supersession status。

63. Status Vocabulary

本文 canonical status:

{DEFINE,CONJECTURE,PROVED,PROVED-CONDITIONAL,CONSTRUCTIVE-ALLOW,STRUCTURAL-NOGO,EMPIRICAL-PRECEDENT,OPEN,HISTORICAL}.\boxed{ \{ \text{DEFINE}, \text{CONJECTURE}, \text{PROVED}, \text{PROVED-CONDITIONAL}, \text{CONSTRUCTIVE-ALLOW}, \text{STRUCTURAL-NOGO}, \text{EMPIRICAL-PRECEDENT}, \text{OPEN}, \text{HISTORICAL} \}. }

64. 不允許的自動升格

例如:

EMPIRICAL-PRECEDENT\boxed{ \text{EMPIRICAL-PRECEDENT} }

不能自動升格:

PROVED.\boxed{ \text{PROVED}. }

而:

CONSTRUCTIVE-ALLOW\boxed{ \text{CONSTRUCTIVE-ALLOW} }

只表示 algebraic consistency / existence construction,

不表示現實存在。


65. Human–Animal–AI comparison 的正確句型

錯誤:

AI 的 metacognition 已經和人一樣。

正確:

在指定 task 與 measurement contract 中,human 與 AI 可以各自產生 target-sensitive higher-order observables;是否可被同一 comparison morphism 無損對齊,需要另外驗證。


66. Distributed-system comparison 的正確句型

錯誤:

整個團隊就是一個人腦。

正確:

一個 bounded team–artifact system 可以在某些 task 下被建模成 carrying distributed cognitive states,但其 state decomposition、memory、communication topology 與 recursive lifts 不需要和個體神經系統同構。


67. Series Master Object

整個系列的 canonical mother object 可以寫成:

UXRKD,Q=OCEC(X,Q);AXRKD;RXexist;QXrec;BXbounds;ΣXrec;SX;AdmXQ.\boxed{ \mathfrak U_X^{RKD,Q} = \left\langle \mathrm{OCEC}(X,Q); \mathfrak A_X^{RKD}; \mathfrak R_X^{exist}; \mathbf Q_X^{rec}; \mathfrak B_X^{bounds}; \Sigma_X^{rec}; \mathbf S_X; \mathsf{Adm}_X^Q \right\rangle. }

其中:

  • OCEC:existence / observation realization;
  • AXRKD\mathfrak A_X^{RKD}:graded algebra;
  • RXexist\mathfrak R_X^{exist}:inverse-limit existence;
  • QXrec\mathbf Q_X^{rec}:quantization;
  • BXbounds\mathfrak B_X^{bounds}:bounds;
  • ΣXrec\Sigma_X^{rec}:constraint signature;
  • SX\mathbf S_X:SIRK taxonomy;
  • AdmXQ\mathsf{Adm}_X^Q:evidence admissibility。

68. 這不是線性 pipeline

不能理解成:

existencealgebrameasuretruth.\text{existence} \to \text{algebra} \to \text{measure} \to \text{truth}.

更正確是:

vertical recursive spine\boxed{ \text{vertical recursive spine} }

加上 cross-cut modules:

  • observation;
  • comparison;
  • resource;
  • boundary;
  • provenance;
  • empirical validation。

69. Vertical Recursive Spine

EX(0)EX(1)EX(2)\boxed{ \mathcal E_X^{(0)} \leftrightarrows \mathcal E_X^{(1)} \leftrightarrows \mathcal E_X^{(2)} \leftrightarrows \cdots }

其中:

KnK_n

升階,

FnF_n

降階。


70. Cross-Cut Observation Layer

每一階:

EX(n)\mathcal E_X^{(n)}

都可能經:

ΨXQ,n\Psi_X^{Q,n}

映到 observable domain。

所以 observer 並不是只在 tower 頂端。


71. Cross-Cut Resource Layer

每一階可以有:

cn.c_n.

resource budget 影響:

Hfun,Hgen.H^{fun}, \quad H^{gen}.

72. Cross-Cut Boundary Layer

boundary:

BX\mathfrak B_X

改變:

  • internal/external;
  • injection;
  • distributed membership;
  • cost accounting;
  • provenance unit。

73. Cross-Cut Provenance Layer

同一:

Δ=0.7\Delta=0.7

如果不知道:

  • model version;
  • species;
  • subject;
  • task;
  • prompt;
  • protocol;
  • calibration;

基本上不能安全重用。


74. Foundation Closure Rule

Paper 07 完成後:

RKD Foundational Series = CLOSED.\boxed{ \textbf{RKD Foundational Series = CLOSED}. }

不預設 Paper 08。

後續預設進入:

Application / Empirical / Formalization Track.\boxed{ \text{Application / Empirical / Formalization Track}. }

75. Reopen Rule

只有在以下情況才重開 foundational core:

  1. 發現 type inconsistency;
  2. 某核心 theorem proof 失效;
  3. cross-paper symbol collision 造成語義不可解;
  4. 新 empirical result 直接 falsify core admissibility assumption;
  5. 新 formal result 顯示某 No-Go / conjecture 狀態必須改寫。

76. Reopen Manifest

重開時必須列:

(defect,affected claims,new evidence,migration plan,backward compatibility).\boxed{ \left( \text{defect}, \text{affected claims}, \text{new evidence}, \text{migration plan}, \text{backward compatibility} \right). }

不能直接靜默重寫 Paper 01–07。


77. 外部研究對統一框架的支持邊界

Human

nested cognition 實驗提供高階可操作 measurement precedent。

Animal

uncertainty monitoring / information seeking 提供 nonverbal functional precedent。

AI

meta- dd' 、risk-sensitive regulation 提供 artificial measurement precedent。

Multi-Agent

self-assessment / delegation 提供 distributed artificial meta-control precedent。

Distributed cognition

Hutchins 提供 cognitive unit boundary 可超越單一個體的理論與實證分析先例。

但沒有任何一條單獨證明:

all these systems instantiate one identical form of knowing.\boxed{ \text{all these systems instantiate one identical form of knowing}. }

78. 本系列真正的新主張

本文不把既有 metacognition、inverse limits、effective rank、SDPI、distributed cognition 當成新數學。

RKD 系列的主要新整合在於:

  1. 把「知道的知道差」先作為命題猜想,而不是先給總分;
  2. 用 graded epistemic tower 解決不同階型別問題;
  3. F/KF/K 、fiber/kernel、meta-residual 區分 target recovery 與新增 meta-content;
  4. 把 infinite coherence 與 arbitrary finite depth 分離;
  5. 把 structural gap 與 functional gap 分離;
  6. 證明 pure algebra 允許任意 bounded recursive profile,因此排除 universal depth-decay;
  7. α/η\alpha/\eta 分離 internal retention 與 epistemic injection;
  8. 將 boundary、observer、resource、provenance 提升為 canonical variables;
  9. 用 OCEC 把 human / animal / AI / MAS / distributed systems 放進同一 formal framework,而拒絕本體同一化。

79. 最終總命題

如果要把七篇壓成一句:

Recursive knowing is not a scalar property of a carrier;\boxed{ \textbf{Recursive knowing is not a scalar property of a carrier;} } it is a typed, level-indexed, target-sensitive, observer-contracted relational structure.\boxed{ \textbf{it is a typed, level-indexed, target-sensitive, observer-contracted relational structure.} }

中文:

遞歸知道不是載體的一個單值屬性;\boxed{ \textbf{遞歸知道不是載體的一個單值屬性;} } 它是一個具有型別、階數、目標、觀察契約與關係結構的可量化系統。\boxed{ \textbf{它是一個具有型別、階數、目標、觀察契約與關係結構的可量化系統。} }

80. 對最初問題的最終回覆

最早的問題是:

我們所觀察的認知存在,其「知道那一個知道的知道差」的極限上下界值區間是多少?

現在可以正式回答:

第一,若沒有指定:

Q,X,n,μ,p,Q, \quad X, \quad n, \quad \mu, \quad p,

這個問題沒有唯一數值答案。

第二,在 normalized functional realization 中:

0Δ1\boxed{ 0\le\Delta\le1 }

只是 contract range。

第三,真正 positive lower behavior 可能分別是:

γrank=1\boxed{ \gamma^{rank}=1 }

在 ordinary integer rank;

infν+=0\boxed{ \inf\nu^+=0 }

在 scalable amplitude;

ϵQ>0\boxed{ \epsilon_Q>0 }

在 finite observation;

以及:

δX=0\boxed{ \delta_{\mathfrak X}=0 }

即使每個 observed existence individually 都有 positive floor。

第四,recursive depth itself 不提供 universal decay:

Δn+1Δn\boxed{ \Delta_{n+1}\le\Delta_n }

不是母定律。

第五,只有加入 contraction、injection、fidelity、resource 等 constraint signature 後,才會出現真正可證的 horizon / ceiling / collapse。

因此最終答案不是:

[a,b].\boxed{ [a,b]. }

而是:

a typed bundle of bounds indexed by existence, level, invariant, observer, task, and boundary.\boxed{ \textbf{a typed bundle of bounds indexed by existence, level, invariant, observer, task, and boundary.} }

81. 結論

RKD 系列從一句看似心理學的:

「我知道我知道,我到底比只知道多了多少?」

一路抽象成:

X\boxed{ X }

上的 graded epistemic recursion。

最後得到:

UXRKD,Q\boxed{ \mathfrak U_X^{RKD,Q} }

這個 carrier-neutral mother object。

它允許人類、動物、AI、多 Agent 與分散式認知系統被放進同一套研究語法;但它同時禁止最危險的偷渡:

可比較⇏同一.\boxed{ \text{可比較} \not\Rightarrow \text{同一}. } 高階輸出⇏高階知道.\boxed{ \text{高階輸出} \not\Rightarrow \text{高階知道}. } 功能性 meta-signal⇏主觀 meta-experience.\boxed{ \text{功能性 meta-signal} \not\Rightarrow \text{主觀 meta-experience}. } 無限形式結構⇏actual completed infinity.\boxed{ \text{無限形式結構} \not\Rightarrow \text{actual completed infinity}. } 沒有被 No-Go 排除⇏存在已證明.\boxed{ \text{沒有被 No-Go 排除} \not\Rightarrow \text{存在已證明}. }

因此本系列的最終成果不是找到一個「知道的最小常數」。

而是把原問題轉成一個可以繼續被數學、心理學、動物認知、AI、multi-agent、distributed cognition 與 observer theory 共同研究的正式問題域。

Foundation 到此封閉。


References

  1. Recht, S., Jovanovic, L., Mamassian, P., & Balsdon, T. (2022). Confidence at the limits of human nested cognition. Neuroscience of Consciousness, 2022(1), niac014. DOI: 10.1093/nc/niac014.
  2. Smith, J. D. (2009). The study of animal metacognition. Trends in Cognitive Sciences, 13(9), 389–396. DOI: 10.1016/j.tics.2009.06.009.
  3. Malassis, R., Gheusi, G., & Fagot, J. (2015). Assessment of metacognitive monitoring and control in baboons (Papio papio). Animal Cognition, 18, 1347–1362.
  4. Beran, M. J., Smith, J. D., Coutinho, M. V. C., Couchman, J. J., & Boomer, J. (2009/2010 line of comparative work). Nonhuman uncertainty-monitoring paradigms and transfer studies.
  5. Servajean, R., & Servajean, P. (2026). Measuring the metacognition of AI. arXiv:2603.29693.
  6. Wang, C., & Shu, Y. (2026). MetaCogAgent: A Metacognitive Multi-Agent LLM Framework with Self-Aware Task Delegation. arXiv:2605.17292.
  7. Hutchins, E. (1995). Cognition in the Wild. MIT Press.
  8. Hollan, J., Hutchins, E., & Kirsh, D. (2000). Distributed Cognition: Toward a New Foundation for Human-Computer Interaction Research. ACM Transactions on Computer-Human Interaction, 7(2), 174–196.
  9. Maniscalco, B., & Lau, H. (2014). Measures of metacognition on signal-detection theoretic models. Psychological Methods, 19(2), 245–260.
  10. Roy, O., & Vetterli, M. (2007). The Effective Rank: A Measure of Effective Dimensionality. EUSIPCO 2007.
  11. Polyanskiy, Y., & Wu, Y. (2015). Strong data-processing inequalities for channels and Bayesian networks. arXiv:1508.06025.
  12. Pintér, M. (2008). Every hierarchy of beliefs is a type. arXiv:0805.4007.

Version note

v0.1 closes the RKD foundational series. Future work should default to empirical validation, application-specific realizations, formal proof-assistant development, or cross-carrier measurement studies. Foundational claims should be reopened only through an explicit defect/evidence/migration manifest.