---
title: "SRBC Core Patch v0.4：Underdetermination Origin Type 與 Layer Attribution"
version: "v0.4"
date: "2026-09-23"
status: "Round 04 real-text transfer patch candidate"
---

# SRBC Core Patch v0.4

Round 04 將 SRBC 從 synthetic worlds 移到真實經典問題後，發現一個重要邊界：

$$
\boxed{
\text{multiple answers}
\not\Rightarrow
\text{natural-language semantic ambiguity}.
}
$$

Sleeping Beauty 與 Newcomb 類問題的 setup 可以相當完整，分岔仍可來自不同的 epistemic update rule 或 normative decision rule。

因此 SRBC 必須保存 **Underdetermination Origin Type**。

---

# 1. Branch origin

新增：

$$
O_{\mathrm{und}}
\in
\{
\text{text},
\text{context},
\text{protocol},
\text{measure},
\text{prior},
\text{inference-rule},
\text{normative-rule},
\text{causal-semantics},
\text{utility},
\text{representation},
\text{unknown}
\}.
$$

一個案例可同時有多個 origin。

---

# 2. Source-semantic gap 與 theory-relative gap

定義：

## 2.1 Source-Semantic Underdetermination

若 branch 差異來自：

$$
O_{\mathrm{und}}
\in
\{
\text{text},
\text{context},
\text{protocol},
\text{measure},
\text{prior}
\},
$$

且 source 未固定該欄位，則可稱 source / model specification gap。

## 2.2 Theory-Relative Underdetermination

若 source setup 已固定，但：

$$
O_{\mathrm{und}}
\in
\{
\text{inference-rule},
\text{normative-rule},
\text{causal-semantics},
\text{utility}
\},
$$

則不應寫成「自然語言不完備」。

應寫：

$$
\boxed{
\text{theory-relative underdetermination}.
}
$$

---

# 3. QDU 也要帶 origin

例如 Bertrand-style probability：

$$
\text{randomly chosen}
$$

若 sampling measure 未指定，可標：

```yaml
qdu:
  true
origin:
  - measure
```

Two Envelopes 可標：

```yaml
qdu:
  true
origin:
  - prior
  - integrability
```

而 Newcomb 不應簡單標：

```yaml
source_ambiguous: true
```

更合理是：

```yaml
qru:
  true
origin:
  - normative-rule
  - causal-semantics
```

---

# 4. QRSRC artifact 擴充

```yaml
underdetermination:
  source_semantic: true | false | unknown
  theory_relative: true | false | unknown
  origins:
    - protocol
    - measure
    - inference-rule
```

---

# 5. 禁止來源歸因膨脹

如果：

$$
Q(M_i)\neq Q(M_j)
$$

只因兩套 decision theory 不同，不能寫：

> 原自然語言有歧義。

SRBC 的責任是指出：

$$
\boxed{
\text{差異發生在哪一層。}
}
$$

而不是把所有不唯一都收編成語義論。

---

# 6. Real-text transfer 的新型別

Round 04 顯示至少要支援：

- host protocol；
- observation-generation protocol；
- probability measure；
- prior distribution；
- self-locating update rule；
- normative decision rule；
- causal / evidential evaluation；
- integrability / expectation regime。

這些應成為 typed slots，而不是都塞進 generic ambiguity。