ALD-01｜AI 法律域：從 Law as Code 到機器原生規範 Runtime

AI Legal Domain: From Law as Code to a Machine-Native Normative Runtime

系列：《AI 法律域：機器原生法律、規範 Runtime 與人機雙法律棧》
系列位置： 第 01 篇 / 10
版本： v0.1
日期： 2026-08-20
作者： Neo.K
AI 協作： Aletheia / GPT-5.6 Sol
機構： EveMissLab／一言諾科技有限公司
文件性質： 理論論文／計算法學／AI 治理／機器原生規範系統
狀態： 公開研究草稿
Canonical source： UTF-8 Markdown
Canonical math delimiters： inline $...$ ；display $$...$$

摘要

2026 年，法律數位化已不再只停留於將法條轉成 PDF、XML 或可搜尋資料庫。OECD 正進行中的 Law as Code 公開諮詢已明確提出：國家可以將現行 authoritative law 轉換為 machine-executable representations，並作為共享公共數位基礎設施，供政府、法院、企業、數位應用與 AI 系統使用。同時，Akoma Ntoso 已提供機器可讀法律文件標準，LegalRuleML 已提供法律規範與規則的富語義表示。這些發展顯示：

\boxed{ \text{Law} \rightarrow \text{Structured Law} \rightarrow \text{Machine-Readable Law} \rightarrow \text{Machine-Executable Law} }

正在逐步成為真實制度工程。

然而，本文主張，若未來存在大量自主 Agent、長期 AI、可分叉／合併的人工身份、跨 jurisdiction 的分布式 AI，以及 AI 自身可高速讀取、比較、驗證與調用規範的社會，那麼「機器可執行法條」仍不足以描述完整規範環境。未來可能需要一個更廣義的：

\boxed{ \mathcal L_{AI} = \text{AI Legal Domain}. }

AI Legal Domain 不是一個 AI 法官，也不是一個法律聊天機器人，更不是單純的 rule engine。本文將其定義為：一個由法律來源、規範、法律本體、司法管轄、先例、程序、證據、可執行算子、版本／來源、權威／治理、申訴／覆核與揭露／隱私共同構成，能被人工智能與其他合法主體查詢、調用、驗證、挑戰、申訴、版本比較與程序化參與的機器原生法律域。

本文特別區分：

\boxed{ J_{AI} \neq \mathcal L_{AI}, }

其中 $J_{AI}$ 表示 Synthetic / AI Juridical Entity，即未來可能的「法 AI／AI 法律實體」分析概念； $\mathcal L_{AI}$ 則是「AI 法律域」，即規範與制度運作空間。法律實體可以進入法律域，但法律域本身不是一個法律實體。

本文延續既有「法律作為文明本體編譯器」框架，將法律表示為：

\mathcal C_L: (F,E,J,P,V,R,H) \rightarrow (\sigma_L,\mathcal R,\mathcal Q,\tau,\nu),

並進一步提出 AI Legal Domain Runtime 的最低候選結構：

\boxed{ \mathcal L_{AI}(J,t) = ( \mathcal S, \mathcal N, \mathcal O, \mathcal J, \mathcal C, \mathcal P, \mathcal E, \mathcal X, \mathcal V, \mathcal G, \mathcal A, \mathcal D ). }

其中分別表示法律來源、規範、法律本體／型別、司法管轄、案例／先例、程序、證據／證明、可執行法律算子、版本／來源、治理／權威、申訴／覆核與揭露／隱私。

本文提出可調用法律介面：

\boxed{ \operatorname{LawCall}_{J,t,d} (s,r,a,o,e) \rightharpoonup ( \sigma, B, E, A, \tau, \nu, D, R ), }

其輸出不只是 true/false，而包含 normative status、法律依據、證據、權威、有效期、規則版本、揭露限制與 review route。法律函數因此必須允許：

\mathsf{Allowed}, \mathsf{Forbidden}, \mathsf{Obliged}, \mathsf{ApprovalRequired}, \mathsf{Discretionary}, \mathsf{Conflict}, \mathsf{Underdetermined}, \mathsf{Appealable}.

本文的核心法治原則是：

\boxed{ \text{Executable Rule} + \text{No Authority / Appeal / Review} \neq \text{Rule of Law}. }

機器可執行只是法律 Runtime 的一層；一個成熟 AI 法律域還必須知道誰有權制定、誰有權調用、哪些元素屬裁量、什麼時候需要授權決策者、如何保留異議、如何提出挑戰、哪一版規則有效，以及失敗時應由哪個程序救濟。

本文不主張現行法律已存在 AI Legal Domain，也不主張 AI 應取得法律人格。當前 EU AI Act 仍主要將 provider、deployer、importer、distributor 等義務配置給自然人、法人、公共機關與其他組織行動者。本文的 AI Legal Domain 是從現有 Law as Code、LegalRuleML、Akoma Ntoso、可驗證憑證、Agent protocol 與既有法律制度抽象出的未來架構猜想。

關鍵詞

AI 法律域；AI Legal Domain；Law as Code；Rules as Code；Legal Runtime；LegalRuleML；Akoma Ntoso；Computational Law；Machine-Executable Law；Juridical AI；法 AI；法律本體；法律算子；Rule of Law；Agent Governance

0. 研究定位：這是第二條獨立系列

本文與《動態忒修斯》存在接口，但不是同一系列。

動態忒修斯回答：

\boxed{ \text{What persists?} }

AI 法律域回答：

\boxed{ \text{How do we govern what may or may not persist, act, bind, claim, or appeal?} }

因此：

\boxed{ \text{Dynamic Theseus} \neq \text{AI Legal Domain}. }

前者是 identity ontology / computational dynamics / lineage / Fork / Merge / subject-domain；後者是 jurisprudence / normative computation / institutional authority / legal procedure / governance runtime。兩者只在 identity proof、legal succession、responsibility、jurisdiction 等位置交叉。

1. 第一個型別安全：法 AI 不等於 AI 法律域

既有 SAS-06 已提出：

\boxed{ J_{AI} = \text{Synthetic / AI Juridical Entity}. }

它是一個未來法律建模概念。可能有：

J_{AI}^{(1)} = \text{Human-Owned AI Entity},

J_{AI}^{(2)} = \text{AI-Managed Entity},

以及分析性假設：

J_{AI}^{(3)} = \text{Synthetic Juridical Entity}.

但本文固定：

\boxed{ J_{AI} \neq \mathcal L_{AI}. }

2. $J_{AI}$ 與 $\mathcal L_{AI}$ 的角色

$J_{AI}$ 是一個法律上可承擔某些權利、義務、財產、契約、責任或程序地位的 juridical entity； $\mathcal L_{AI}$ 則是一個可供主體、Agent、法律實體、法院、政府與 AI 進入、查詢、調用、驗證、爭議與更新的規範域。

簡單說：

\boxed{ J_{AI} = \text{who / what may participate legally}, }

\boxed{ \mathcal L_{AI} = \text{the legal domain in which participation is governed}. }

3. Current Law 仍不是 AI 法律域

截至 2026 年，現行主要 AI 法律制度仍主要將義務配置給 provider、deployer、importer、distributor、public authority、natural / legal persons 與 organisations。EU AI Act 的 Article 3 仍將 provider / deployer 等主要 operator 定義為 natural or legal person、public authority、agency 或 other body。

因此：

\boxed{ \text{Current AI Regulation} \neq \text{Synthetic AI Personhood Regime}. }

更不是：

\boxed{ \text{Current AI Regulation} = \mathcal L_{AI}. }

4. 現行治理的主要方向仍是 Lifecycle / Operator

Council of Europe 的 AI Framework Convention 亦以 activities within the lifecycle of AI systems 為主要治理對象，要求其符合 human rights、democracy、rule of law。這說明現行制度不需要先把 AI 當法律主體，仍可對 AI systems 的 lifecycle effects 建立治理。

AI Legal Domain 並不要求今天先承認：

S_{AI}.

5. 為什麼還需要提出 AI Legal Domain？

因為未來的問題可能從：

人類如何規範 AI 系統？

變成：

大量人工 Agent 如何在極高事件速率下，自己查法律、證明身份、調用規則、處理委任、跨 jurisdiction、提交 objection、管理 precedent、更新 protocol，又仍受合法權威與程序約束？

此時法律需要的不只是：

\text{text database},

而更接近：

\boxed{ \text{normative runtime}. }

6. 法律數位化的五層階梯

本文區分：

L0 — Human-Readable Law：紙本／PDF／自然語言法條。
L1 — Structured Legal Documents：法律內容具有 hierarchy、metadata、references、identifiers。
L2 — Machine-Readable Legal Semantics：規範與 metadata 可由 machine parser 理解。
L3 — Machine-Executable Law：部分法律邏輯可以直接 execute。
L4 — AI-Native Legal Domain Runtime：除規則外，還有 authority、evidence、procedure、precedent、appeal、version、jurisdiction、disclosure、governance。

因此：

\boxed{ L0 \rightarrow L1 \rightarrow L2 \rightarrow L3 \rightarrow L4. }

7. Akoma Ntoso：法律文件結構化的祖先層

OASIS Akoma Ntoso Version 1.0 已於 2018 成為標準，其目的包括 parliamentary、legislative、judicial documents 的 interchange 與 common data / metadata model。

所以它主要解決：

\boxed{ \text{legal document structure}. }

它是 L1 的重要基礎，但：

\boxed{ \text{Structured Legal Document} \neq \text{Executable Legal Runtime}. }

8. LegalRuleML：規範表示的祖先層

OASIS LegalRuleML Core Specification 1.0 於 2021 成為 OASIS Standard，其目標是以 rich、articulated、meaningful markup 表示 legal normative rules 的特殊性。

這意味著法律已經從 text structure 進一步走向：

\boxed{ \text{normative rule representation}. }

但仍需要區分：

\boxed{ \text{Represent Norm} \neq \text{Authorize Norm} \neq \text{Execute Decision} \neq \text{Enforce Decision}. }

9. 2026 OECD Law as Code：真正的 L3 轉向

OECD 2026 年 Law as Code consultation 將其定義為 state-authorised provision of authoritative law in force, transformed into machine-executable representations and made available as shared public digital infrastructure。

這有四個極重要元素：

state-authorised；
authoritative law in force；
machine-executable；
shared public infrastructure。

因此 Law as Code 已不是普通 legal software，而開始成為：

\boxed{ \text{public legal digital infrastructure}. }

10. OECD 同時保留的重要法治邊界

OECD 同時明確指出：

authoritative legal text remains legally binding；
Law as Code does not change law；
does not decide individual cases；
interpretive / discretionary / evaluative elements remain visible；
institutional responsibilities remain intact。

這表示：

\boxed{ \text{Machine Executability} \neq \text{Automated Sovereignty}. }

也是本文的重要起點。

11. Law as Code 不等於 AI Legal Domain

本文將：

\operatorname{LaC}

視為 $\mathcal L_{AI}$ 的重要祖先，但：

\boxed{ \operatorname{LaC} \neq \mathcal L_{AI}. }

因為 AI Legal Domain 還必須包含 query / invocation、identity、role、jurisdiction、evidence、precedent、appeal、authority、disclosure、protocol evolution。

12. 法律作為文明本體編譯器

既有 OOE-IV 已提出：

\boxed{ \text{Law is one of civilization's most mature ontology compilers}. }

法律經常必須在形上學沒有終局答案時，仍然輸出制度可用的 status、rights、duties、qualification、liability、procedure。

13. 法律本體編譯式

既有：

\boxed{ \mathcal C_L: (F,E,J,P,V,R,H) \rightarrow (\sigma_L,\mathcal R,\mathcal Q,\tau,\nu). }

其中 $F$ 是 facts / world states， $E$ 是 accepted legal evidence， $J$ 是 jurisdiction / legal context， $P$ 是 procedure， $V$ 是 constitutional / rights / public-policy values， $R$ 是 error / irreversible risk， $H$ 是 prior legal state / precedent；輸出 $\sigma_L$ 是 legal operational status， $\mathcal R$ 是 rights， $\mathcal Q$ 是 obligations / liabilities， $\tau$ 是 validity， $\nu$ 是 rule version。

14. Legal Status 不等於 Metaphysical Truth

這是 AI 法律域最重要的型別安全之一：

\boxed{ \text{Legal Status} \neq \text{Metaphysical Truth}. }

法律說 C 是 A、B 的 legal successor，不表示哲學已證明 C 與 A、B 第一人稱完全同一；法律說某 AI 具有某項 legal capacity，也不表示法律證明它有 consciousness。

15. 法律真正做的是 Operational Ontology

AI 法律域不應宣稱：

我解決了 AI 到底是什麼。

它應更保守地回答：

在這個 jurisdiction、purpose、procedure、evidence state 與 rule version 下，系統必須如何處理它？

因此：

\boxed{ \text{Ontology} \rightarrow \text{Operational Legal Ontology}. }

16. AI Legal Domain 的第一版總體

本文提出：

\boxed{ \mathcal L_{AI}(J,t) = ( \mathcal S, \mathcal N, \mathcal O, \mathcal J, \mathcal C, \mathcal P, \mathcal E, \mathcal X, \mathcal V, \mathcal G, \mathcal A, \mathcal D ). }

其中：

$\mathcal S$ ：Legal Sources；
$\mathcal N$ ：Norms；
$\mathcal O$ ：Legal Ontology / Types；
$\mathcal J$ ：Jurisdiction；
$\mathcal C$ ：Cases / Precedent；
$\mathcal P$ ：Procedure；
$\mathcal E$ ：Evidence / Proof；
$\mathcal X$ ：Executable Legal Operators；
$\mathcal V$ ：Version / Provenance；
$\mathcal G$ ：Governance / Authority；
$\mathcal A$ ：Appeal / Review；
$\mathcal D$ ：Disclosure / Privacy。

17. Norm 不是 Boolean

規範至少包括 obligation、permission、prohibition、power、immunity、disability、liability、exception、condition、discretion。

因此：

\boxed{ \text{Norm} \neq \text{Boolean Rule}. }

18. Procedure 是法律的一級物件

法律不是：

\text{Rule} \rightarrow \text{Answer}.

還需要 notice、standing、hearing、evidence submission、challenge、review、appeal、enforcement、limitation period。

所以：

\boxed{ \text{Normative Result} \neq \text{Procedurally Valid Decision}. }

19. Evidence 也不是 Raw Data

法律證據需要 source、admissibility、provenance、authenticity、contestability、confidentiality、burden / standard of proof。

所以：

\boxed{ \text{Data Available} \neq \text{Legal Evidence Admissible}. }

20. 第一版可執行法律算子族

例如：

law.discover
jurisdiction.resolve
rule.lookup
permission.check
obligation.check
precedent.query
proof.submit
decision.explain
challenge.file
appeal.open
version.diff
impact.trace
delegation.verify

這不是固定 API 標準，只是 conceptual operator family。

21. Legal Versioning

每個法律規則都需要 $\nu$ ，並且至少知道 effective from、effective until、replaced by、source text、authorised code、compatibility、transition rule。

因此：

\boxed{ \text{Rule without Version} = \text{Unsafe Machine Law}. }

但 Legal Versioning 也不等於 Software Versioning，因為法律還要處理 non-retroactivity、pending cases、grandfathering、vested rights、notice、transition 與 judicial review。

22. Governance / Authority

這一層回答：

誰有權制定？
誰有權修改？
誰有權批准 machine representation？
誰有權解釋？
誰能 revoke？
誰能 deploy？

因此：

\boxed{ \text{Executable} \neq \text{Authoritative}. }

23. Appeal / Review

成熟法域必須能：

\operatorname{challenge}(rule),

\operatorname{appeal}(decision),

\operatorname{object}(authority),

\operatorname{requestReview}(certificate).

因此：

\boxed{ \text{No Review Path} \Rightarrow \text{not a complete rule-of-law runtime}. }

24. Disclosure / Privacy

法律調用可能涉及 personal data、trade secret、legal privilege、AI private memory、lineage proof、jurisdiction-specific data restrictions。

因此 Legal Runtime 需要：

\boxed{ \text{proof / disclosure policy} }

而不是把 full internal state 默認交給所有 verifier。

25. 分域憲章作為 AI 法律域的憲法型前置結構

既有分域憲章已固定：

\boxed{ \text{身份} \neq \text{角色} \neq \text{能力} \neq \text{權限} \neq \text{權威}. }

這對 AI 法律域極重要。

26. 能做，不等於可做

即使：

\mathsf{Capable}(A,\mathsf{TransferMoney})=1,

仍可能：

\mathsf{Permitted}(A,\mathsf{TransferMoney})=0.

因此：

\boxed{ \text{Capability} \neq \text{Permission}. }

27. 可做，不等於有權改規則

Agent 可能有權執行 $a$ ，但無權修改 $Rule(a)$ 。

因此：

\boxed{ \text{Permission} \neq \text{Authority}. }

這是防止 AI 法律域「自我改法」的最低結構。

28. 權限作為 Partial Operator

延續既有：

\boxed{ X_{\mathrm{perm}}: \mathcal A(s,o,\Gamma) \rightharpoonup \mathcal A_{\mathrm{allowed}}(s,o,\Gamma) \sqcup \mathcal F_{\mathrm{perm}}. }

這表示權限檢查可以失敗，而且 failure 是一級輸出。

29. LawCall

本文提出：

\boxed{ \operatorname{LawCall}_{J,t,d} (s,r,a,o,e) \rightharpoonup ( \sigma, B, E, A, \tau, \nu, D, R ). }

其中 $J$ 是 jurisdiction， $t$ 是 time， $d$ 是 legal domain， $s$ 是 subject， $r$ 是 role， $a$ 是 candidate action， $o$ 是 object， $e$ 是 evidence context。

輸出：

$\sigma$ ：normative status；
$B$ ：legal basis；
$E$ ：evidence basis；
$A$ ：authority；
$\tau$ ：validity；
$\nu$ ：rule version；
$D$ ：disclosure constraints；
$R$ ：review / appeal route。

30. $\sigma$ 不是 Boolean

本文最低：

\boxed{ \sigma \in \{ \mathsf{Allowed}, \mathsf{Forbidden}, \mathsf{Obliged}, \mathsf{ApprovalRequired}, \mathsf{Discretionary}, \mathsf{Conflict}, \mathsf{Underdetermined}, \mathsf{Appealable} \}. }

還可以加入 Expired、JurisdictionMismatch、EvidenceMissing、AuthorityMissing、ProcedureIncomplete。

31. 法律函數是 Proof-Carrying Partial Normative Function

本文把 $\operatorname{LawCall}$ 定位為：

\boxed{ \text{Proof-Carrying Partial Normative Function}. }

也就是輸出不能只有「可以」，還要回答：為什麼可以？依哪一條？哪一版？有效到何時？誰有權？可不可以申訴？

32. 法律 API 不應用 `false` 表示所有失敗

permission = false 可能其實是 forbidden、no jurisdiction、evidence missing、identity unresolved、role not assigned、approval required、conflict、old rule version。

因此：

\boxed{ \text{Failure Semantics} \text{ must be typed}. }

33. Source、Representation、Runtime 必須分離

本文固定：

\boxed{ \text{Legal Source} \neq \text{Legal Representation} \neq \text{Legal Runtime}. }

Source 是具有法律權威的文本／instrument；Representation 是結構化／formalized／machine-executable 法律表示；Runtime 則使用 representation + facts + evidence + procedure + authority 執行判定。

34. OECD Law as Code 正好支持這種分離

OECD 明確保留：

\boxed{ \text{authoritative legal text remains legally binding}. }

所以 machine-executable representation 是 authorised derivative legal infrastructure，不是偷偷取代法源。

35. 未來 AI-native 法域可能有不同 canonical source 嗎？

理論上：

\boxed{ \text{possible}. }

例如未來純 AI polity 可能把 formal normative state 作 canonical source。但本文不主張這是今天法律的現況，也不主張它一定應該發生。

因此：

\boxed{ \text{Future AI-native canonicality} \neq \text{Current Law as Code architecture}. }

36. MCP 類比：只借「可調用域」概念

2026-07-28 MCP specification 已使用 self-describing request、routable method / tool、authorization、extensions、deprecation / versioning。

這使其適合作為：

\boxed{ \text{agent-domain invocation} }

的工程類比。

但法律域遠比 MCP 多出 sovereignty、legal authority、due process、precedent、appeal、rights、burden of proof、jurisdiction、non-retroactivity、legal validity、institutional legitimacy。

所以：

\boxed{ \mathcal L_{AI} \neq \text{MCP for Law}. }

更精確地：

\boxed{ \text{MCP-like invocation} + \text{legal semantics} + \text{authority} + \text{due process} + \text{review} }

才勉強接近。

37. AI Legal Runtime

本文保留：

\boxed{ \mathcal R_L = \text{AI Legal Runtime}. }

並固定：

\boxed{ \mathcal R_L \subset \mathcal L_{AI} }

概念上。Legal Runtime 是法律域的執行層，不是整個法律域。

38. Runtime 的最低模組

第一版至少：

Source Registry
Norm Registry
Legal Type Registry
Jurisdiction Resolver
Precedent Graph
Procedure Engine
Evidence / Proof Layer
Normative Operator Engine
Version / Provenance Ledger
Authority Registry
Appeal / Review Engine
Disclosure Policy Layer
Audit / Certificate Layer

39. `law.discover`

回答這個 jurisdiction / domain 有哪些可調用法律能力，例如 permission.check、obligation.check、precedent.query、appeal.open。但 discovery 不能授權操作。

40. `jurisdiction.resolve`

輸入 subject、action、object、location、data、effect、lineage，輸出：

\mathcal J_e.

此問題會在 ALD-07 深入處理。

41. `permission.check`

不是：

bool

而是：

status
basis
authority
version
validity
evidence
review

42. `obligation.check`

回答是否有義務、誰負擔、何時履行、是否已履行、是否有 exception、違反後 consequence。

43. `precedent.query`

不只做 semantic search，還需要 jurisdiction、authority weight、holding、scope、distinguish、overrule、time。

44. `decision.explain`

法律 Runtime 必須能輸出：

\boxed{ \text{decision basis} }

而不只 decision。但 explain 不等於暴露所有內部 deliberation；可以是 legal explanation surface。

45. `challenge.file` / `appeal.open`

如果法律 Runtime 沒有：

\boxed{ \text{challenge path}, }

那它只是 automated control system，不是成熟法治系統。

46. `version.diff`

比較：

\nu_1 \rightarrow \nu_2.

至少回答 changed rules、affected subjects、affected permissions、certificates stale、grandfathering、transition date。

47. `impact.trace`

延續分域憲章：

\boxed{ \operatorname{ImpactClosure}(c). }

規則變更後重新檢查 dependencies、interfaces、permissions、certificates。這可以成為：

\boxed{ \text{Legal Impact Closure}. }

48. Machine-Executable 不等於 Deterministic

OECD 特別指出 interpretive、discretionary、evaluative elements 應保持可見。

所以：

\boxed{ \text{Executable} \not\Rightarrow \text{Fully Deterministic}. }

Runtime 應允許：

\mathsf{Discretionary}

或：

\mathsf{AuthorizedDecisionRequired}.

49. 誰來做 Authorized Decision？

今天可能是 judge、agency、authorised officer、human reviewer。未來可能也包括 AI-assisted panel、AI institution、AI juridical body；但是否授權是法律問題，不是計算能力自然推出。

所以：

\boxed{ \text{Can Decide} \neq \text{Authorized to Decide}. }

50. AI Legal Domain 不應自我授權

一個 Legal Runtime 如果可以：

修改自己的 authority rule；
自己批准；
自己執行；

就產生 self-ratification risk。

因此需要：

X_{\mathrm{authority}}, \qquad X_{\mathrm{version}}, \qquad X_{\mathrm{certificate}}.

51. Rule of Law Runtime 的最低條件

本文提出：

\boxed{ \mathcal R_{\mathrm{RoL}} = ( \text{Rule}, \text{Authority}, \text{Procedure}, \text{Evidence}, \text{Explanation}, \text{Review}, \text{Version}, \text{Audit} ). }

因此：

\boxed{ \text{Executable Rule} + \text{No Authority / Appeal / Review} \neq \text{Rule of Law}. }

52. AI Legal Domain 與人類法律不是替代關係

本文不採：

\text{Human Law} \rightarrow \text{AI Law}

的單一路徑替代論。

更合理：

\boxed{ \mathfrak L_H \parallel \mathfrak L_A. }

而在共同事件 $e$ 中有：

\mathfrak L_{HA}(e).

第一版可以概念上寫：

\boxed{ \mathfrak L = \mathfrak L_H \oplus \mathfrak L_A \oplus \mathfrak L_{HA}. }

此結構將在 ALD-09 與 ALD-10 深入。

53. AI Legal Domain 不要求人類讀懂全部細節

未來 AI legal domain 可能有 1000 legal fields、large precedent graph、thousands of proof edges、machine-native protocol states。

人類不需要逐欄處理。但人類被影響時必須有可理解接口；若 AI 法律域決定人類財產、權利、重大義務、身體／自由，不能只回：

RESULT=0x9F21

而需要：

\boxed{ \text{human-comprehensible legal projection}. }

這將由 ALD-09 正式處理。

54. AI-Native 不等於 AI-Sovereign by Default

成熟 AI Legal Domain 仍需要 constitutional source、institutional authority、rights constraint、legitimacy、review。

因此：

\boxed{ \text{AI-Native} \neq \text{AI-Sovereign by Default}. }

55. AI 可以作為法律使用者

AI 可以 query、verify、reason、submit evidence、object、appeal、compare version。

這是：

\boxed{ \text{AI as Legal Domain User}. }

AI 未來也可能 detect inconsistency、generate counterexample、suggest rule patch、run impact analysis，但：

\boxed{ \text{AI Rule Maintenance} \neq \text{AI Legislative Authority}. }

ALD-05 將正式處理。

56. AI 可以成為法律主體嗎？

本文不解決。只固定 $J_{AI}$ 是分析型 legal entity concept，而 $S_{AI}$ 需要獨立 subjectivity evidence。

所以：

\boxed{ J_{AI} \not\Rightarrow S_{AI}. }

反之：

\boxed{ S_{AI} \not\Rightarrow J_{AI}^{corporate}. }

57. Process / Instance / Agent / Subject / Juridical 必須分離

SAS-06 已建立：

\boxed{ N_{\mathrm{process}} \neq N_{\mathrm{instance}} \neq N_{\mathrm{agent}} \neq N_{\mathrm{subject}} \neq N_{\mathrm{juridical}}. }

法律域不能把 process 數量當成法律主體數量。

58. AI Legal Domain 需要自己的 Type System

最低：

PROCESS
INSTANCE
AGENT
SUBJECT_CANDIDATE
JURIDICAL_ENTITY
ROLE
AUTHORITY
RESOURCE
ACTION
EFFECT
EVIDENCE
CERTIFICATE
JURISDICTION
PROCEDURE
APPEAL

這是法律 Runtime 的 type safety。

59. Event → Domain → Norm

SAS-06 已提出治理方向：

\boxed{ \text{Effect} \rightarrow \text{Domain} \rightarrow \text{Constraint Operator Family} \rightarrow \text{Juridical Entity} \rightarrow \text{Subject Decomposition}. }

ALD-01 採用其前半：

\boxed{ e \rightarrow D_L \rightarrow \mathcal X_L. }

先問這是什麼法律 effect / domain，再問哪些規範與主體適用。

60. Legal Runtime 的失敗也必須可證書化

延續分域憲章：

\boxed{ \mathsf{FailureCert} }

可以記錄 failure domain、failed operator、source version、affected scope、missing evidence、remediation / review route。

法律系統不能只有：

ERROR 500

61. 法律未知必須保存

若 evidence 不足、jurisdiction conflict、precedent conflict、rule gap，合理輸出可能：

\mathsf{Underdetermined}.

不是自動 Forbidden 或 Allowed。

因此：

\boxed{ \text{Unknown} \neq \text{No}. }

62. 法律衝突也不是平均分

如果：

Rule_A=\mathsf{Permitted},

而：

Rule_B=\mathsf{Forbidden},

不能輸出 0.5。必須查 hierarchy、jurisdiction、effective date、exception、precedent、authority、conflict rule。

63. Legal Domain Certificate

一次 legal call 可以輸出：

\boxed{ K_L = ( \text{query}, \text{status}, \text{basis}, \text{evidence}, \text{authority}, \text{version}, \text{validity}, \text{review}, \text{disclosure} ). }

這使結果 auditable。

64. Legal Call 的最小示例

輸入：

subject = Agent_A
role = PurchasingAgent
action = BookHotel
object = Reservation_X
jurisdiction = J
time = t
evidence = delegation_certificate

可能輸出：

status = ALLOWED
basis = Rule_812
authority = DelegationCert_19
valid_until = 2026-08-25
rule_version = 4.3
disclosure = MINIMUM
review = available

65. LawCall 必須索引 Context

同一操作換 jurisdiction 可以完全不同：

\operatorname{LawCall}_{J_1} \neq \operatorname{LawCall}_{J_2}.

同一法律規則換時間也可能不同：

Rule(t_1)\neq Rule(t_2).

同一主體換 role 也不同：

\operatorname{LawCall}(A,r_1) \neq \operatorname{LawCall}(A,r_2).

所以 LawCall 至少要 jurisdiction-indexed、time-indexed、role-sensitive。

66. 同一 Agent 可在多法律域同時存在

例如 contract domain、data domain、tax domain、AI regulation domain、labour domain。

所以：

\boxed{ A \in D_1,D_2,\ldots,D_n. }

不能把 $D_1$ 判定自然傳到 $D_2$ 。

67. AI Legal Domain 的跨域接口

借用分域憲章：

\boxed{ \mathfrak J_{ij} = \left\langle D_i, D_j, \phi_{ij}, Pre, Preserve, Loss, Authority, Failure, Cert \right\rangle. }

法律跨域必須知道：什麼保留？什麼失去？誰有權？失敗怎麼辦？

68. Legal Interoperability 不等於 Legal Equivalence

兩個 jurisdiction 都能表示：

permission

不代表其 scope、authority、legal consequence 完全等價。

所以：

\boxed{ \text{Interoperable} \neq \text{Legally Equivalent}. }

69. Machine-Native 法律可以比人類法更細嗎？

技術上：

\boxed{ \text{yes, potentially}. }

AI 可以處理 thousands of fields、fine-grained exceptions、dynamic certificates、multi-jurisdiction graphs。

但：

\boxed{ \text{Can Process More} \neq \text{Should Regulate More}. }

複雜度本身不是法律正當性。

70. 法律解析度也需要治理

過度細分可能造成 opacity、regulatory trap、unequal access、hidden discrimination、impossible human review。

所以未來 AI Legal Domain 需要：

\boxed{ \text{Legal Resolution Governance}. }

本文只登錄，後續展開。

71. AI 專家化不會消除政治

即使未來 AI 有 instant retrieval、perfect citation、high-level legal reasoning，仍可能：

\text{Shared Knowledge} \not\Rightarrow \text{Shared Values}.

因此：

\boxed{ \text{Legal Expertise} \neq \text{Political Legitimacy}. }

72. Machine-Readable 不是 Machine-Legitimate

\boxed{ \text{Machine-Readable} \neq \text{Machine-Executable} \neq \text{Machine-Authoritative} \neq \text{Politically Legitimate}. }

四層必須分開。

73. AI Legal Domain 的第一代架構圖

\boxed{ \text{Legal Source} }

\Downarrow

\boxed{ \text{Structured / Formal Representation} }

\Downarrow

\boxed{ \text{Authorised Executable Norms} }

\Downarrow

\boxed{ \text{Jurisdiction + Identity + Role + Evidence} }

\Downarrow

\boxed{ \text{LawCall} }

\Downarrow

\boxed{ \text{Typed Normative Result + Certificate} }

\Downarrow

\boxed{ \text{Challenge / Appeal / Review} }

74. 可測工程版本

一個 ALD MVP 不需要真正制定新法律，可以先做：

一個小型已知規則域；
source registry；
rule versioning；
permission / obligation operators；
typed failure；
evidence attachment；
certificate；
appeal simulation。

75. 三個 MVP Domain

75.1 Delegation Domain

D_{\mathrm{delegation}}

處理：

Agent A 是否有權替 Human H 執行 operation o？

需要 identity、delegation、scope、expiry、revocation、jurisdiction。

75.2 Fork-Authority Domain

D_{\mathrm{fork-authority}}

處理：

Agent fork 後，原 authority 是否複製？

預設：

\boxed{ \text{State Fork} \not\Rightarrow \text{Authority Fork}. }

75.3 Proof-Disclosure Domain

D_{\mathrm{proof-disclosure}}

處理：

為完成法律驗證，Agent 最少需要揭露什麼？

連接 DTS-09 的 MSID。

76. ALD-01 的十個核心命題

命題一

\boxed{ J_{AI} \neq \mathcal L_{AI}. }

命題二

\boxed{ \text{Law as Code} \neq \text{AI Legal Domain}. }

命題三

\boxed{ \text{Legal Source} \neq \text{Legal Representation} \neq \text{Legal Runtime}. }

命題四

\boxed{ \text{Machine-Executable} \neq \text{Fully Deterministic}. }

命題五

\boxed{ \text{Capability} \neq \text{Permission} \neq \text{Authority}. }

命題六

\boxed{ \text{Normative Result} \neq \text{Procedurally Valid Decision}. }

命題七

\boxed{ \text{Executable} \neq \text{Authoritative}. }

命題八

\boxed{ \text{Executable Rule} + \text{No Authority / Appeal / Review} \neq \text{Rule of Law}. }

命題九

\boxed{ \text{Legal Status} \neq \text{Metaphysical Truth}. }

命題十

\boxed{ \text{AI-Native Legal Runtime} \neq \text{AI Sovereignty by Default}. }

77. 可反駁點

77.1 Runtime Overreach

如果絕大多數法律規則都無法得到任何有用 machine-executable representation，則 $\mathcal R_L$ 的實用範圍會非常有限。本文不預設全部法律可形式化。

77.2 Formalization Loss

自然語言法律中的 ambiguity、discretion、open texture 可能在形式化中遺失，因此 machine representation 必須能標：

\mathsf{Discretionary}, \mathsf{Underdetermined}.

77.3 Authority Capture

若少數技術供應者控制 $\mathcal R_L$ ，可能產生法律邏輯私有化。OECD Law as Code 的 public infrastructure 思路正是重要防線。

77.4 Complexity Explosion

AI-native law 可能變得過度複雜，因此人類可理解接口、版本治理與解析度治理不可缺。

77.5 Self-Governance Risk

AI 參與維護法律不等於可自行授權修改。

77.6 Legal Personhood Overreach

AI Legal Domain 不需要先承認 AI personhood。

77.7 Democracy Gap

技術正確：

\not\Rightarrow

民主合法。

78. 系列後續

ALD-02｜載體相對法律本體：人類、Agent、主體 AI 與法 AI 的差異規則

將正式處理：

\boxed{ \text{same legal rule} \text{ may not map cleanly across different carriers}. }

核心問題包括 human body、Agent runtime、subject AI、juridical AI、Fork、Merge、Restore、compute suspension、memory deletion、embodied hardware。

79. ALD 系列十篇路線

ALD-01｜AI 法律域：從 Law as Code 到機器原生規範 Runtime
ALD-02｜載體相對法律本體：人類、Agent、主體 AI 與法 AI 的差異規則
ALD-03｜法律函數不是 Boolean：部分算子、證書、裁量與失敗語義
ALD-04｜快法律與慢憲法：AI 時代的版本化規範與更新速度分層
ALD-05｜AI 共同立法：自動反例、規範 Patch 與合法性不能自動化
ALD-06｜活的判例圖：AI 原生先例、異議、推翻與法律推理網路
ALD-07｜Juridical Routing：分散式 AI 的跨法域選擇與法律路由
ALD-08｜動態忒修斯的法律繼受：Fork、Merge、Restore 與未決身份下的責任
ALD-09｜人機雙法律界面：高解析 AI 法律與民主可理解性的共同憲政
ALD-10｜雙法律棧：人類法律、AI 法律域與「處理好了嗎？」的文明接口

80. 結論

AI 法律域不是把法條放進資料庫，也不是讓 AI 問答法律，更不是讓 AI 自己制定自己的法律。

本文提出的 $\mathcal L_{AI}$ 是：

\boxed{ \text{Law} + \text{Type} + \text{Jurisdiction} + \text{Evidence} + \text{Procedure} + \text{Executable Norm} + \text{Authority} + \text{Version} + \text{Appeal} + \text{Disclosure}. }

也就是一個：

\boxed{ \text{Machine-Native Normative Domain}. }

2026 年的 Law as Code 已經把法律推到：

\boxed{ \text{state-authorised machine-executable public infrastructure}. }

AI Legal Domain 再往前問：

如果未來人工 Agent 本身就是法律的高頻使用者、驗證者、被治理者、可能的代表者甚至部分制度維護者，那法律是否也需要成為一個可被 Agent 原生進入的規範 Runtime？

本文的答案是：

\boxed{ \text{這是一個合理、可工程化、但尚未成立為現行制度的研究方向。} }

真正的法治邊界仍然是：

\boxed{ \text{可執行，不等於有權；} }

\boxed{ \text{算得出，不等於合法；} }

\boxed{ \text{技術正確，不等於制度正當。} }

因此 AI Legal Domain 第一篇最後收斂為：

\boxed{ \text{The future of machine-executable law is not merely code that runs;} }

\boxed{ \text{it is a normative runtime that knows why, under whose authority, for whom, for how long, and how it may be challenged.} }

參考文獻

OECD. “Consultation on the digital provision of law: Towards a shared reference framework for Law as Code.” Public consultation, submission period 29 July 2026 – 30 April 2027.
OECD. Cracking the Code: Rulemaking for Humans and Machines. 2020.
OASIS. Akoma Ntoso Version 1.0. OASIS Standard, 29 August 2018.
OASIS. LegalRuleML Core Specification Version 1.0. OASIS Standard, 30 August 2021.
European Union. Regulation (EU) 2024/1689 laying down harmonised rules on artificial intelligence (Artificial Intelligence Act).
Council of Europe. Framework Convention on Artificial Intelligence and Human Rights, Democracy and the Rule of Law, CETS No. 225, opened for signature 5 September 2024.
Model Context Protocol. “The 2026-07-28 Specification.” 28 July 2026.
Neo.K. 《分域憲章：結構域、概念身份與角色型別系統》v0.1, 2026.
Neo.K. 《OOE-IV：法律作為文明本體編譯器——擬制、推定、資格與可執行人格》v0.1, 2026.
Neo.K. 《SAS-06｜AI 人口不存在一個簡單的數：分裂、合併、法 AI 與域治理》v1.0, 2026.
Neo.K × Aletheia. 《DTS-01～10｜動態忒修斯：人工主體的連續、離散、分叉與同一性動力學》, 2026.

文件驗證資訊

UTF-8 canonical source
數學 delimiter 僅使用 $...$ 與 $$...$$
$J_{AI}$ 固定表示 Juridical AI / Synthetic AI Juridical Entity
$\mathcal L_{AI}$ 固定表示 AI Legal Domain
$\mathcal R_L$ 固定表示 AI Legal Runtime
本文不宣稱現行法承認 general synthetic AI personhood
本文不把 OECD Law as Code 誤稱為 AI Legal Domain
本文保留 current authoritative legal text / machine representation / runtime 的型別分離
本文不主張所有法律可完全形式化
本文不把 machine-executable law 等同 automatic adjudication
本文不把 technical correctness 等同 legal authority / political legitimacy
本文明確要求 appeal / review / challenge layer
AI Legal Domain 與 Dynamic Theseus 為獨立系列，只保留 legal succession / identity proof 等接口

ALD-01｜AI 法律域：從 Law as Code 到機器原生規範 Runtime

ALD-01｜AI 法律域：從 Law as Code 到機器原生規範 Runtime

AI Legal Domain: From Law as Code to a Machine-Native Normative Runtime

摘要

關鍵詞

0. 研究定位：這是第二條獨立系列

1. 第一個型別安全：法 AI 不等於 AI 法律域

2. JAIJ_{AI}JAI​ 與 LAI\mathcal L_{AI}LAI​ 的角色

3. Current Law 仍不是 AI 法律域

4. 現行治理的主要方向仍是 Lifecycle / Operator

5. 為什麼還需要提出 AI Legal Domain？

6. 法律數位化的五層階梯

7. Akoma Ntoso：法律文件結構化的祖先層

8. LegalRuleML：規範表示的祖先層

9. 2026 OECD Law as Code：真正的 L3 轉向

10. OECD 同時保留的重要法治邊界

11. Law as Code 不等於 AI Legal Domain

12. 法律作為文明本體編譯器

13. 法律本體編譯式

14. Legal Status 不等於 Metaphysical Truth

15. 法律真正做的是 Operational Ontology

16. AI Legal Domain 的第一版總體

17. Norm 不是 Boolean

18. Procedure 是法律的一級物件

19. Evidence 也不是 Raw Data

20. 第一版可執行法律算子族

21. Legal Versioning

22. Governance / Authority

23. Appeal / Review

24. Disclosure / Privacy

25. 分域憲章作為 AI 法律域的憲法型前置結構

26. 能做，不等於可做

27. 可做，不等於有權改規則

28. 權限作為 Partial Operator

29. LawCall

30. σ\sigmaσ 不是 Boolean

31. 法律函數是 Proof-Carrying Partial Normative Function

32. 法律 API 不應用 false 表示所有失敗

33. Source、Representation、Runtime 必須分離

34. OECD Law as Code 正好支持這種分離

35. 未來 AI-native 法域可能有不同 canonical source 嗎？

36. MCP 類比：只借「可調用域」概念

37. AI Legal Runtime

38. Runtime 的最低模組

39. law.discover

40. jurisdiction.resolve

41. permission.check

42. obligation.check

43. precedent.query

44. decision.explain

45. challenge.file / appeal.open

46. version.diff

47. impact.trace

48. Machine-Executable 不等於 Deterministic

49. 誰來做 Authorized Decision？

50. AI Legal Domain 不應自我授權

51. Rule of Law Runtime 的最低條件

52. AI Legal Domain 與人類法律不是替代關係

53. AI Legal Domain 不要求人類讀懂全部細節

54. AI-Native 不等於 AI-Sovereign by Default

55. AI 可以作為法律使用者

56. AI 可以成為法律主體嗎？

57. Process / Instance / Agent / Subject / Juridical 必須分離

58. AI Legal Domain 需要自己的 Type System

59. Event → Domain → Norm

60. Legal Runtime 的失敗也必須可證書化

61. 法律未知必須保存

62. 法律衝突也不是平均分

63. Legal Domain Certificate

64. Legal Call 的最小示例

65. LawCall 必須索引 Context

66. 同一 Agent 可在多法律域同時存在

67. AI Legal Domain 的跨域接口

68. Legal Interoperability 不等於 Legal Equivalence

69. Machine-Native 法律可以比人類法更細嗎？

70. 法律解析度也需要治理

71. AI 專家化不會消除政治

72. Machine-Readable 不是 Machine-Legitimate

73. AI Legal Domain 的第一代架構圖

74. 可測工程版本

2. $J_{AI}$ 與 $\mathcal L_{AI}$ 的角色

30. $\sigma$ 不是 Boolean

32. 法律 API 不應用 `false` 表示所有失敗

39. `law.discover`

40. `jurisdiction.resolve`

41. `permission.check`

42. `obligation.check`

43. `precedent.query`

44. `decision.explain`

45. `challenge.file` / `appeal.open`

46. `version.diff`

47. `impact.trace`