# PBSOI｜程式底空間與本體反演系列 v0.1

1. Paper 01 — 程式底空間：從原始碼表徵到計算關係的存在層
2. Paper 02 — 程式碼誘導語義圖：由實作生成而非由設計繪製的程式節點圖
3. Paper 03 — 程式本體反演：從可執行投影重建可觀測程式本體
4. Paper 04 — 共通程式底空間：跨語言語義正規化與表徵收斂
5. Paper 05 — 可執行語義圖：脫離原始碼後的程式重建與再執行
6. Paper 06 — 結構缺陷計算：以程式語義圖進行非智能化 Bug 與異常偵測
7. Paper 07 — 程式功能基元與結構型分類：從功能命名到計算 Motif
8. Paper 08 — 三圖一致性：意圖、實作與執行之間的全域程式驗證

## 系列總鏈

$$
I
\rightarrow
G_I
\rightarrow
P^\ast
\xrightarrow{\pi_L}
C_L
\xrightarrow{\rho_L}
G_C
\xrightarrow{N_L}
G^\ast
$$

$$
G^\ast
\rightarrow
\{G_M,G_E,\Delta\}
\rightarrow
G_R
\rightarrow
\Delta W
$$

最終驗證：

$$
G_I
\leftrightarrow
G_M
\leftrightarrow
G_C
\leftrightarrow
G_R
\leftrightarrow
\Delta W
$$