Systemprompt 体系全览：形式化公理驱动的分层系统设计

clinerules 体系全览：形式化公理驱动的分层系统设计

本文是对 clinerules/ 目录下全部 7 个源文件的系统性概述。每个章节对应一个源文件，以代码块形式直接复制粘贴源文件中的核心逻辑，并附简明的体系定位说明。

---

目录

• [一、公理基底 ------ axioms.md](#一、公理基底 —— axioms.md)
• [二、DSL 语法规范 ------ dsl.md](#二、DSL 语法规范 —— dsl.md)
• [三、派生追溯矩阵 ------ derivation.md](#三、派生追溯矩阵 —— derivation.md)
• [四、领域规则与策略 ------ rules.md](#四、领域规则与策略 —— rules.md)
• [五、引擎状态机 ------ engine.md](#五、引擎状态机 —— engine.md)
• [六、编译映射与工程规范 ------ spec.md](#六、编译映射与工程规范 —— spec.md)
• [七、项目配置 ------ project.md](#七、项目配置 —— project.md)

---

一、公理基底 ------ axioms.md

定位：整个体系的逻辑起点。声明"什么是逻辑上必然的"，定义 L0~L3 分层结构、三棱镜视角基底、同步协议、因果偏序、连续-离散拓扑嵌入等不可变公理。748 行。

1.1 分层架构声明

以下逻辑摘自 axioms.md [AX-CORE] AxiomHierarchyStructure：

[AX-CORE] AxiomHierarchyStructure:
  LAYER_ORDER=[L0,L0.5,L1,L2,L3](严格全序)
  | invariants(L0):∀op∈MetaRound:op.target∉L0.elements // L0绝对不可变
  | invariants(L0):EssentiallyUndecidable(系统本质不可判定,证明责任外部化)
  | invariants(L0.5):MetaEvolution_Rule逻辑骨架不变(自反修正可行)
  | invariants(L1):修改需≥2验证者签名共识
  | invariants(L2):可版本化，旧版存档
  | invariants(L3):运行时可变(权限分级:config(部署注入)/admin(管理员))
  | persistence(L0):contractRegistry哈希验证(外部持久化,非LLM上下文窗口记忆)

说明：五层严格全序，L0 绝对不可变，L0.5 逻辑骨架不可变，L1 需签名共识，L2 可版本化，L3 运行时可变。每层有不同的不变性约束和持久化策略。

1.2 三棱镜视角基底

以下逻辑摘自 axioms.md [BAX] TriPerspectiveStructure：

[BAX] TriPerspectiveStructure:
  ∃IDI,C,D(三视角独立) | IDI⊥C⊥D(删除任一→其余失去意义)
  | ∀s∈SystemState:s≅IDI_s⊗C_s⊗D_s

以下逻辑摘自 axioms.md [BAX-IDI] IDI-Identity：

[BAX-IDI] IDI-Identity:
  ∀(x:Entity),(obs:OBSERVER):x≡_obsx
  | ∀(x:Entity),(y:Entity),(obs:OBSERVER):(x≡_obsy)↔∀P∈Obs(obs)(P(x)↔P(y))
  | Obs(obs)由L0注入而非递归自省
  | (x≡_obs₁y)∧(x≢_obs₂y)→ep_gap(obs₁,obs₂)
  | Obs(obs)∌λP.P∈Obs(obs)

以下逻辑摘自 axioms.md [BAX-IDI] IDI-Difference：

[BAX-IDI] IDI-Difference:
  ∀(x:Entity),(y:Entity),(obs:OBSERVER):Diff_obs(x,y)↔¬(x≡_obsy)
  | ∀S⊆Entity,(obs:OBSERVER):|S|≥2→∃x,y∈S:Diff_obs(x,y)
  | (Diff_obs₁∧¬Diff_obs₂)→ep_gap≥1

以下逻辑摘自 axioms.md [BAX-IDI] IDI-Interaction：

[BAX-IDI] IDI-Interaction:
  ∀(x:Entity),(y:Entity):(x≢_obsy)→∃⟷(x,y) | ⟷(x,y)=可观测相互影响

以下逻辑摘自 axioms.md [BAX-IDI] IDI-HistoryEmergence：

[BAX-IDI] IDI-HistoryEmergence:
  ∀(x:Entity):x.history={⟨τ,y,e⟩|(x⟷y)@τ∧e∈{causal,concurrent}}

说明 ：系统由 IDI（观察者框架） 、C（连续域） 、D（离散域） 三个独立视角的张量积分解。IDI 定义同一性、差异、交互和历史涌现------同一性绑定观察者（≡_obs），差异产生单位信息（1bit），交互连接差异，历史从交互记录中涌现。

1.3 同步协议三元组

以下逻辑摘自 axioms.md [AX-CORE] SyncProtocolTriple：

[AX-CORE] SyncProtocolTriple:
  Sync操作分解为三个有序阶段:Try-Compensate/Commit
  | ! TryPhase(阶段1-尝试):
  |   ◇_{≤Δt} Response    // 存在超时,可中断,非原子
  |   | ∀obs₁,obs₂:try(obs₁,obs₂)在逻辑时钟域内可超时
  |   | timeout(obs₁,Δt)∧¬response→进入CompensatePhase
  |
  | ! CommitPhase(阶段2-提交/终止):
  |   ○ (AtomicLock)    // 不可中断,逻辑时钟域内单个滴答
  |   | ∀obs₁,obs₂:commit(obs₁,obs₂)在逻辑时钟域内原子不可中断
  |   | atomicity_domain(commit)=clock_domain(逻辑原子)
  |   | ¬atomicity_domain(commit)=wall_clock(物理不可中断)
  |   | ¬∃obs:commit(obs,obs)   // 自反提交在语义上无意义
  |   | commit(obs₁,obs₂).completed↔obs₁.val|_obs₂≡_obs₁obs₂.val|_obs₁∧obs₂.val|_obs₁≡_obs₂obs₁.val|_obs₂
  |   | ¬∃obs₃:commit(obs₁,obs₂).requires(obs₃)  // 不依赖第三方
  |
  | ! CompensatePhase(阶段3-补偿):
  |   TryPhase超时后进入补偿路径(回滚+恢复,非原子)
  |   | completed(sync)↔Commited(sync)∨Compensated(sync)
  |   | 路径1(正常→Commit):Try→Commit→Completed(Commited)
  |   | 路径2(超时→补偿):Try→Timeout→Compensate→Completed(Compensated)
  |   | 路径3(崩溃恢复):obs₁.recovered→使用本地持久化快照→重入Try

说明 ：用 Try→Commit/Compensate 三阶段替代原子同步。原子性仅限定在 Commited 子集，Compensated 路径拥有独立的完备证明树。¬∃obs:commit(obs,obs) 消除时间自噬。

1.4 时间基底与因果偏序

以下逻辑摘自 axioms.md [BAX-TIME] LogicalClock：

[BAX-TIME] LogicalClock:
  ∀a,b∈Event:a→b(严格偏序:传递+反对称+非自返)
  | a∥b↔¬(a→b)∧¬(b→a) // 并发
  | Event=InteractionEvent∪TransitionEvent(互斥)
  | InteractionEvent:≥2实体交互 | TransitionEvent:单实体状态变迁(因果前因由交互传递)
  | ¬∃e∈TransitionEvent:e.cause=∅

以下逻辑摘自 axioms.md [BAX-TIME] CausalCone：

[BAX-TIME] CausalCone:
  ∀x:cone_forward(x)={y|x→y}(未来光锥) | cone_backward(x)={y|y→x}(过去光锥)
  | ∀R,R':R.stateSpace∩R'.stateSpace=∅→cone_fwd(R)∩cone_bwd(R')=∅

说明 ：用严格偏序 →（happened-before）替代全局物理时钟。事件分为交互事件（≥2 实体）和跃迁事件（单实体）。因果锥定义了独立决策空间------状态空间不相交的轮次因果锥也不相交，无需全局共识。

1.5 连续-离散拓扑嵌入

以下逻辑摘自 axioms.md [BAX-X] Coupling-Embedding：

[BAX-X] Coupling-Embedding(TopologicalContinuityEmbedding):
  embed:Discrete→Continuous | sample:Continuous→Discrete | 构成拓扑连续嵌入(非逻辑函子)
  | //! 重要声明:本映射是拓扑连续嵌入(TopologicalContinuityEmbedding),非范畴论逻辑函子(LogicalFunctor)
  | //! 原因:ε-近似保守性不满足逻辑态射的严格保真要求,放弃逻辑态射元定理声称
  | // 嵌入保守性(EmbedConservativity):
  | ∀φ∈Formulas_D:(⊢_D φ)→(⊢_C embed(φ))
  | // 离散域证明的定理在连续域解释下依然成立(单向保守成立)
  | // ε-近似采样(工程启发式,非公理):
  | // (⊢_C ψ)→(⊢_D sample(ψ))在误差界ε内成立仅作为工程启发式,不享有逻辑态射地位
  | // ε由Continuum-SamplingThreshold的δ(t)决定:ε=δ(t)/2
  | // Galois Connection保底(当嵌入性质退化时):
  | ∀d,∀c:sample(embed(d))=d(下封闭) | embed(sample(c))≤_cc(上封闭)

以下逻辑摘自 axioms.md [BAX-X] Coupling-Sampling：

[BAX-X] Coupling-Sampling:
  ∀sig∈ℝ,∀do∈Sensors:do.value=f(sig)(f=采样函数,含阈值+量化)

以下逻辑摘自 axioms.md [BAX-X] Coupling-ObservationCollapse：

[BAX-X] Coupling-ObservationCollapse:
  ∀fv∈IDI,∀obs∈Observer:fv.continuousVariance≠0
  | ∀ov∈Discrete:observed(fv,obs)→fv.continuousVariance|_obs=0
  | // 拜占庭:obs₁≠obs₂→fv.val|_obs₁≠fv.val|_obs₂合法→sync后收敛

说明 ：连续域与离散域之间的映射是拓扑连续嵌入（非逻辑函子），放弃逻辑态射保真声称。embed 映射离散到连续，sample 采样连续到离散（含阈值+量化）。观测坍缩使连续变差在被观测时冻结为精确值。Galois Connection 保底保留但仅用于拓扑连续性。

1.6 真值域与信息单调性

以下逻辑摘自 axioms.md [AX-CORE] TruthValueDomainLogic：

[AX-CORE] TruthValueDomainLogic:
  TruthValueDomain={⊥,T,F}(Scott信息域)
  | //! 语义映射:T≡verified_true_by_internal_derivation | F≡verified_false_by_internal_derivation | ⊥≡insufficient_evidence(Scott底元素)
  | //! 关键澄清:Truth不由外部签名投票决定,不由共识机制赋值
  | //! T/F仅由内部推导⊢_{Ln} φ确定,外部签名仅影响ProofCandidate的见证状态,不影响Truth值
  | //! 信息偏序:⊥⊑T ∧ ⊥⊑F ∧ ¬(T⊑F) ∧ ¬(F⊑T)
  | //! 单调性保证:信息只增不减,约束为因果偏序下的非反转,而非全局时序
  | //! 连接词(Scott域单项连续):
  | ¬⊥=⊥ | ¬T=F | ¬F=T
  | ⊥∧T=⊥ | ⊥∧F=⊥ | T∧F=F | T∧T=T | F∧F=F
  | ⊥∨T=T | ⊥∨F=⊥ | T∨F=T | T∨T=T | F∨F=F

以下逻辑摘自 axioms.md [AX-CORE] InformationMonotonicity：

[AX-CORE] InformationMonotonicity:
  ∀s∈StateSpace:¬∃τ₁,τ₂:τ₁→τ₂∧(val(s)@τ₁=F∧val(s)@τ₂=T)
  | //! 同一命题在因果后继时间不会先判假后判真------信息域保证单调性
  | //! 若先⊥后T/F,这是信息增加,合法;若先F后T,这是信息反转,非法
  | //! 并发分支(∥)之间的真值比较无定义,不违反单调性

说明 ：用 Scott 信息域替代 Kleene 伪三值逻辑。⊥（证据不足）→ T/F 是合法信息增加，F→T 是非法信息反转。Truth 绑定内部推导而非外部签名。并发分支间真值比较无定义。

1.7 分层反射与本质不可判定

以下逻辑摘自 axioms.md [AX-CORE] StratifiedReflectionSchema：

[AX-CORE] StratifiedReflectionSchema:
  ∀n∈[0..|LAYER_ORDER|-2],Ln=LAYER_ORDER[n],Lnext=LAYER_ORDER[n+1]:(⊢_{Ln} φ)→Provable_{Ln}(⌜φ⌝)在Lnext中为真
  | //! 分层反射:Ln的定理在Lnext中可被"谈论"(作为可证明性标签)
  | //! 元层(L0.5)只能引用Ln(∀n≥1)的可证明性标签,不能直接读取Ln的状态变量
  | [AX] TarskiTruthEquivalence:
  |   ∀n∈[0..|LAYER_ORDER|-2],Ln=LAYER_ORDER[n],Lnext=LAYER_ORDER[n+1]:Truth_{Lnext}(⌜φ⌝)↔Provable_{Ln}(⌜φ⌝)
  | [AX] ProvableDerivationOnly:
  |   ∀Ln∈LAYER_ORDER,∀φ∈Formulas(Ln):Provable_{Ln}(⌜φ⌝)↔⊢_{Ln} φ

以下逻辑摘自 axioms.md [AX-CORE] EssentiallyUndecidable：

[AX-CORE] EssentiallyUndecidable:
  system≡essentially_undecidable(本质不可判定)
  | //! 这不是弱点,而是系统的能力边界声明
  | //! PA+RCF+反射→绝对不可判定,将此特性写进L0硬核
  | //! 证明论基础:系统属于半可判定(半可计算)类

说明：分层反射机制避免哥德尔不完备：Ln 的定理在 Lnext 中作为可证明性标签被"谈论"。元层只引用对象层的可证明性标签，不直接读取对象层状态变量。系统声明本质不可判定------这不是弱点，而是能力边界。

1.8 终止优先级链

以下逻辑摘自 axioms.md [AX] TerminationPriority：

[AX] TerminationPriority:
  ∀D1,D2∈LoopDecisions:priority(D1)>priority(D2)↔precedes(D1,D2)
  | short_circuit(forceHalt=true→TM; forceHalt=false∧pass→TS; else→counter_chain)
  | priority_chain(CF≥MAX_FAIL > QDC≥QDT > CP≥MAX_PARTIAL > IC≥MAX_ITER > CF≥SWITCH_TH)
  | qdc_increment(仅当eval=partial∧quality<prev(因果有效):+1; TS时重置0)
  | commensurability_rule(R.CF与MAX_FAIL可比较iff∃R'∈causal_chain(R):R'.CF可归约至标量)
  | projection(proj_cf(R)=if ∃R'∈causal_chain(R):R'.CF→R.CF then R'.CF else undefined)
  | judgement(proj_cf(R)≥MAX_FAIL@τ_decision→TM; proj_cf(R)undefined→跳过CF判定)
  | parameter_versioning(参数值绑定到判定时刻τ_decision;历史回放使用τ_decision活跃值,非回放时刻值)

说明 ：优先级链 short_circuit → priority_chain（CF > QDC > CP > IC > SWITCH_TH）。引入了可公度性规则（commensurability_rule）解决并发轮次计数器比较问题，以及参数版本化（parameter_versioning）绑定参数值到判定时刻。

1.9 类型基底与定义

以下逻辑摘自 axioms.md 类型声明与定义：

[Type] Entity = 可指称实体 | domain:非空(至少包含OBSERVER)
[Type] OBSERVER = 观察者类型 | domain:⊆Entity,由IDI-Identity定义同一性
[Type] Event = InteractionEvent∪TransitionEvent
[Type] Round = 轮次类型 | domain:由RoundCompletion定义
[Type] State = 系统状态 | domain:由TriPerspectiveStructure定义张量积分解
[Type] Counter = ℕ | domain:由Discrete-Countability定义
[Type] Judgment = 判定命题 | domain:∀φ∈Formulas, φ∈{T,F,⊥} by TruthValueDomainLogic

以下逻辑摘自 axioms.md 定义节选：

[Def] ActionAtClock: a@τ = ⟨a,τ⟩ | τ∈ClockTick, a∈Action
[Def] Concurrency: a∥b ↔ ¬(a→b) ∧ ¬(b→a)
[Def] HappenedBefore: a→b = strict_partial_order(transitive+antisymmetric+irreflexive)
[Def] ProvabilityToken: Provable_{Ln}(⌜φ⌝) ↔ ⊢_{Ln} φ 在 Ln+1 中可证
[Def] Derivability: ⊢_{L} φ ↔ φ在L中可推导

1.10 配置参数与证明义务

以下逻辑摘自 axioms.md 配置参数节选：

% MAX_FAIL = int:3 | sem:最大CF,达到后触发TM | authority:config(部署注入)
% QUALITY_DECLINE_THRESHOLD = int:10 | sem:QDC达到后触发TO | authority:config,admin
% MAX_PARTIAL = int:5 | sem:最大连续部分成功次数 | authority:config,admin
% MAX_ITER = int:10 | sem:最大轮次迭代次数 | authority:config,admin
% SWITCH_THRESHOLD = int:2 | sem:策略切换阈值(CF) | authority:config,admin
% META_THRESHOLD = int:3 | type:ℕ⁺(正整数) | sem:连续meltdown次数触发MetaRound | authority:config,admin

以下逻辑摘自 axioms.md 证明义务节选：

[PO-1] ⊢_L0 (CommitPhase原子性满足Commited子集无无限回归) | solved_by: Defect-1
[PO-2] ⊢_L0 (CountableOrderBridge消除并发轮次同时熔断判定悬浮) | solved_by: Defect-2
[PO-3] ⊢_L0 (IDI-Interaction的类型限定阻止罗素悖论) | solved_by: Defect-3
[PO-7] ⊢_{元层级} (ExternalConsistencyWitness不编码为系统内公式,不触发哥德尔第二不完备定理) | solved_by: Defect-7
[PO-8] ⊢_L0 (InformationMonotonicity使用因果偏序→替代全局时序<) | solved_by: Defect-8
[PO-9] ⊢_L0 (MetaEvolution_Rule threshold:ℕ⁺类型约束阻断零值短路) | solved_by: Defect-9

---

二、DSL 语法规范 ------ dsl.md

定位 ：定义 axioms.md 中公理书写语法的形式化规范。核心是"三明治结构"---------meta 块承载元数据，公式体只含纯逻辑公式。377 行。

2.1 三明治结构声明

以下逻辑摘自 dsl.md 公理声明格式定义：

[TAG] 公理名: 纯逻辑公式体（Formula_body）
---meta
key1 = "val1"
key2 = "val2, val3"
key3 = "type: predicate_expression"
---

说明 ：---meta 块是元数据边界标记，消除 | 的语法歧义（公式体内的 | 只表示逻辑合取/析取/集合构造）。若无需元数据，可完全省略 ---meta 块。

2.2 行类型前缀完整表

以下逻辑摘自 dsl.md 行类型前缀表：

| 前缀 | 含义 | 适用对象 |
|------|------|----------|
| `##` | 元文档声明 | 顶层文档描述 |
| `//` | 注释 / 章节标题 | 自然语言段落、章节分组 |
| 无前缀 | 公理声明（单行公式） | 核心公理公式 |
| `!` | 公理定义块（多行/代码块） | MetaEvolution、代码块公式 |
| `[AX]` / `[AX-CORE]` 等 | 公理类别标记 | 公理声明行首 |
| `%` | 配置参数 | 配置参数条目 |
| `#` | 推论 [TH] | 推论声明 + 推导 |
| `@` | 缺陷记录 | 缺陷修复上下文 |
| `---` | 分隔线 | 节与节之间 |
| `[Type]` | 类型声明 | 类型基底中的原始类型 |

2.3 元数据键标准表

以下逻辑摘自 dsl.md 元数据键表：

| 键 | 含义 | 对应原标记 | 值格式 |
|----|------|------------|--------|
| `view` | 三棱镜视角 | ^^PERSPECTIVE | `"IDI,C,D"` 等 |
| `src` | 基底来源 | ^^SRC | `"AxiomA, AxiomB"` |
| `irr` | 不可再抽象标注 | ^^IRR | `"logical"` / `"informational"` / `"topological"` / `"relational"` / `"structural"` |
| `sem` | 语义结构化标签 | ^^SEM | `"key=val, key=val, ..."` |
| `enf` | 强制执行机制 | ^^ENFORCE | `"类型: 具体约束"` |
| `dr` | 设计理由（一行） | ^^DR | 简短中文或英文 |
| `dep` | 废弃声明 | ^^DEPRECATED | `"replaced-by(新公理名)"` |
| `authority` | 参数修改权限 | 新增 | `"config"` / `"admin"` |

2.4 EBNF 简化文法

以下逻辑摘自 dsl.md EBNF：

Document       = { Section | Comment | Separator }
Section        = "##" MetaDoc | SectionBlock
SectionBlock   = AxiomDef | MultiLineBlock | ConfigDef | TheoremDef | DefectRecord | TypeDecl | SymbolDef

AxiomDef       = "[" Tag "]" Name ":" FormulaBody NL "---meta" NL { MetaLine } "---"
MultiLineBlock = "!" Name ":" Line { "|" Line } [ NL "---meta" NL { MetaLine } "---" ]
ConfigDef      = "%" Name "=" Type ":" Value { "|" SuffixEntry }
TheoremDef     = "#" Name ":" Formula "|" "src:" "{" NameList "}" [ "|" "pf:" Steps ]
TypeDecl       = "[Type]" Name "=" Description [ "|" "domain:" Constraint ]
FormulaBody    = Formula { "|" Formula }     (* | 仅表示逻辑合取/析取/集合构造 *)
MetaLine       = Key "=" "\"" MetaValue "\""
MetaValue      = TextContent                  (* 键值的自由文本内容 *)

2.5 公理分层编译策略引用

以下逻辑摘自 dsl.md §7：

公理到代码的编译映射、层级实现机制详见 spec.md §1。
层级定义与不可变性约束由 axioms.md: AxiomHierarchyStructure 声明。

---

三、派生追溯矩阵 ------ derivation.md

定位 ：证明每个领域规则/状态变量/流程步骤如何从 axioms.md 中的 L0/L0.5 公理派生------"合规证明"。224 行。

3.1 领域规则派生表

以下逻辑摘自 derivation.md §一：

| 领域规则 | 源公理 | 派生路径 |
|---------|--------|---------|
| ConflictResolution | IDI-Difference + LogicalClock | 同层冲突：特异性→IDI-Difference；时间顺序→LogicalClock |
| ConfigInjection | AxiomHierarchyStructure L3 invariants + Discrete-ExactEquality | 参数来源优先级是类型匹配的逐层尝试 |
| StateValidity.InternalConsistency | IDI-Identity + IDI-Interaction | 操作完整性由交互记录保证 |
| StateValidity.ExternalConsistency | IDI-Difference + Discrete-ExactEquality | 外部文件状态与缓存的差异检测 |
| StateValidity.HistoricalIntegrity | IDI-HistoryEmergence + RoundCompletion | 已完成轮次的推理链非空 |

3.2 状态变量派生表

以下逻辑摘自 derivation.md §二 循环专用状态变量：

| 状态变量 | 源公理 | 派生路径 |
|---------|--------|---------|
| iterationCount | Discrete-Countability | IC∈ℕ |
| consecutiveFailures (CF) | TerminationPriority | CF≥MAX_FAIL→TM |
| consecutivePartials (CP) | TerminationPriority | CP≥MAX_PARTIAL→TO |
| qualityDeclineCount (QDC) | TerminationPriority + InformationMonotonicity | QDC≥QDT→TO |
| bestResult | InformationMonotonicity + EvaluationOutcomeSet | 质量值随因果时间只增不减 |
| subRoundAttempts | SubRoundInitialState + RoundCompletion | subRoundAttempts=0初始约束 |

3.3 五步模型派生表

以下逻辑摘自 derivation.md §六：

| 步骤 | 源公理 | 派生路径 |
|------|--------|---------|
| ① Execute | StateSnapshot + Discrete-AtomicStep | 执行=原子状态跃迁 |
| ② Collect | Coupling-ObservationCollapse | 收集=观测锁定后的快照捕获 |
| ③ Evaluate | TruthValueDomainLogic + EvaluationOutcomeSet | 评估=三值真值判定 |
| ④ Decide | DecisionOutputSet + TerminationPriority | 决策=决策空间枚举+优先级链 |
| ⑤ Adjust | SyncProtocolTriple | 调整=Try→Commit/Compensate |

3.4 证明义务落实位置表

以下逻辑摘自 derivation.md §九：

| 证明义务 | 落实位置 |
|---------|---------|
| PO-1 无限回归 | engine.md §六 Adjust |
| PO-2 并发熔断悬浮 | engine.md §七：因果约束下的计数器比较 |
| PO-3 罗素悖论 | rules.md §一：类型化输入禁止裸量化 |
| PO-5 逻辑态射保真 | spec.md §3.3：ε-近似仅为工程启发式 |
| PO-7 哥德尔自指 | spec.md §2：ProofOracle 不编码为系统内公式 |
| PO-11 时间自噬 | engine.md §六：CommitPhase 不自反 |

---

四、领域规则与策略 ------ rules.md

定位 ：L2-L3 层。领域公理实例化 + 策略/规范/流程/反模式。源公理来自 axioms.md §一至§八。434 行。

4.1 规则分类层级

以下逻辑摘自 rules.md §1.1：

| 层级 | 性质 | 可变性 | 职责 |
|------|------|--------|------|
| 基底公理 (L0) | 不可变基础 | 不可变 | 声明"什么是逻辑上必然的" |
| 元推理规则 (L0.5) | 逻辑骨架 | 逻辑骨架不可变 | 元层反射规则 |
| 领域公理 (L2) | 领域不变式 | 可版本化 | 声明"工程领域内的逻辑约束" |
| 策略 (L2-L3) | 操作决策 | 可变 | 定义"选哪个方案" |
| 规范 (L2) | 约束条件 | 可变 | 定义"必须/禁止" |
| 反模式 (L2-L3) | 负面模式 | 可变 | 集中管理已知错误 |
| 流程 (L3) | 步骤序列 | 可变 | 定义"按什么顺序执行" |

4.2 公式类型体系

以下逻辑摘自 rules.md §1.2：

| 标识 | 名称 | 语义 | 输出类型 |
|------|------|------|----------|
| `[AX]` | 领域公理声明 | 声明工程领域内逻辑上必然的命题 | 逻辑命题 |
| `[TD]` | 阈值决策 | 基于阈值比较输出决策 | 枚举值 |
| `[CM]` | 分类映射 | 输入→类别的映射 | 类别标签 |
| `[CD]` | 条件决策 | 基于条件分支输出决策 | 枚举值 |
| `[SM]` | 序列映射 | 输入→有序步骤的映射 | 步骤列表 |
| `[QA]` | 质量评估 | 基于标准输出质量等级 | pass/warn/fail |
| `[CC]` | 成本计算 | 基于参数输出量化成本 | 数值 |

4.3 认知状态三定律

以下逻辑摘自 rules.md §三 StateValidity：

StateValidity(cognitiveState, worldState) [QA]

InternalConsistency ∧ ExternalConsistency ∧ HistoricalIntegrity → valid
¬InternalConsistency → invalid
InternalConsistency ∧ (ExternalConsistency ⊕ HistoricalIntegrity) → degraded

| 定律 | 公式 | L0 来源公理 |
|------|------|------------|
| InternalConsistency | `¬∃partialOperation → true` | IDI-Identity + IDI-Interaction |
| ExternalConsistency | `∀f∈fileCache: f.timestamp ≥ f.lastModifiedTime → true` | IDI-Difference + Discrete-ExactEquality |
| HistoricalIntegrity | `∀phase∈completed: phase.reasoningLog ≠ ∅ → true` | IDI-HistoryEmergence + RoundCompletion |

说明：认知状态的三个维度全部派生自 L0 公理。InternalConsistency 通过 operationLog 查询，ExternalConsistency 通过 SyncGuard 物理校验，HistoricalIntegrity 通过 CompactProcedure 记录。

4.4 策略速查

以下逻辑摘自 rules.md §5 策略节选：

DeprecateStrategy(D, hasReference) [CD]: D ∧ hasReference → cannot_delete | D ∧ ¬hasReference → can_delete | ¬D → no_action

ToolStrategy [CM]: ToolPriority(toolType): available(external)→external | ¬available(external)∧available(builtin)→builtin | otherwise→cli

StateRecovery(stateValidity) [SM]: invalid→full_reset | degraded→targeted_recovery | valid→no_action

CompactDecision(phaseChanged, moduleDone, ctx_critical, stateValidity) [CD]:
  ctx_critical→emergency_dump | phaseChanged→phase_compact | moduleDone∧¬phaseChanged→module_compact | otherwise→no_action

4.5 操作流程

以下逻辑摘自 rules.md §8 流程节选：

SyncGuard [SM]:
  1. [TOOL: sync_check(paths)]：对 fileCache 中所有条目执行物理校验
  2. 状态变量更新：sync_check 返回 stale → 设置 externalConsistency = false

IdempotencyGuard [SM]:
  1. IdempotencyCheck：两维检查（操作标识 + 文件哈希都相同才 Skip）
  2. 状态变量更新：执行体完成后更新 last 和 lastFileHash

ErrorHandler [SM]:
  forcehalt → 停止工具链 → 设置 forceHalt=true → 报告用户 → 强制挂起
  halt+persist → 停止工具链 → persist_reasoning(error_summary)
  continue → 记录错误摘要到 operationLog → 继续执行后续步骤
  retry → 验证参数和系统状态是否已变化 → 重试当前步骤
  switch_strategy → [回滚脏代码 → 换参数/换工具/报告用户]

CompactProcedure(compactType) [SM]:
  phase_compact → [执行阶段动作 → mark_phase_done → clear_context]
  module_compact → [record_module_summary + persist_reasoning → clear_context]
  emergency_dump → [输出极简纯文本状态摘要(≤500字符) → clear_context → 强制 Halt]

---

五、引擎状态机 ------ engine.md

定位：L1-L2 引擎运行时视角。注意力控制 + 运行时状态机 + 迭代循环执行 + OnError 熔断。496 行。

5.1 引擎层级定义

以下逻辑摘自 engine.md §一：

| 层级 | 名称 | 关注点 | 典型策略/规范 |
|------|------|--------|----------|
| L0-ENG | 架构层 | 项目结构、模块边界、通信模式、路径规范 | PathStrategy, CommunicationMode |
| L1-ENG | 逻辑层 | 控制流、迭代循环、错误熔断、状态恢复 | OnError(loop), CompactProcedure, StateRecovery |
| L2-ENG | 代码层 | 实现细节、代码质量、设计模式、内聚性 | CodeStandard, CohesionCheck |
| L3-ENG | 语法层 | 工具调用、文件操作、语言特性、参数格式 | ReadStrategy, ToolSelect |

5.2 五步模型（公理实例化链）

以下逻辑摘自 engine.md §六：

公理实例化链:
  Execute       ← StateSnapshot[AX] + Discrete-AtomicStep[AX]
    ↓ happens-before
  Collect       ← Coupling-ObservationCollapse[AX]
    ↓ truth evaluation
  Evaluate      ← TruthValueDomainLogic[AX] + EvaluationOutcomeSet[AX]
    ↓ decision derivation
  Decide        ← DecisionOutputSet[AX] + TerminationPriority[AX]
    ↓ causal transition
  Adjust        ← SyncProtocolTriple[AX]
    ↓ round completion
  Next Round    ← RoundCompletion[AX] + RoundTransition[AX]

以下逻辑摘自 engine.md §六 循环通用模型：

① Execute → [ExecutionFailureGate] → ② Collect [CM] → ③ Evaluate [QA] → ④ Decide [CD] → ⑤ Adjust [SM]

5.3 ExecutionFailureGate

以下逻辑摘自 engine.md §六 ExecutionFailureGate：

{execution=failure ∧ error=compilation_error ∧ retryCounter<ONERROR_RETRY_LIMIT} → 进入 Collect
{execution=failure ∧ error=compilation_error ∧ retryCounter≥ONERROR_RETRY_LIMIT} → 直接进入 Decide 输出 TM
{execution=failure ∧ error=environment} → 直接进入 Decide 输出 TM
{execution=success} → 进入 Collect
{execution=failure ∧ error∉{compilation_error, environment}} → 进入 §十 OnError

5.4 Decide 裁决顺序

以下逻辑摘自 engine.md §六 Decide：

short_circuit(forceHalt=true→TM; forceHalt=false∧pass→TS; else→counter_chain)
priority_chain(CF≥MAX_FAIL > QDC≥QDT > CP≥MAX_PARTIAL > IC≥MAX_ITER > CF≥SWITCH_TH)

5.5 计数器更新规则

以下逻辑摘自 engine.md §7.3：

Evaluate 驱动的更新:
  iterationCount++
  if (bestResult = null || currentResult.quality > bestResult.quality) {
    bestResult = currentResult; qualityDeclineCount = 0
  } else if (currentResult.quality < bestResult.quality) { qualityDeclineCount++ }
  switch (evaluateResult) {
    pass:        CF = max(0, CF-1); CP=0; subRoundAttempts=0
    partial:     CF不变; CP += subRoundExhausted ? 0 : 1
    fail/parse_error: CF++; CP=0
  }

Decide 驱动的更新:
  decide(switch_strategy) → { switchCounter++; CF = max(0, floor(CF/2)); emptyCount=0 }
  decide(continue | TM | TO | TS) → 不操作计数器

5.6 状态变量表

以下逻辑摘自 engine.md §4.1：

| 变量名 | 类型 | 初始值 | 说明 | 所属层级 | 派生公理 |
|--------|------|--------|------|----------|---------|
| operationLog | Map<OpID,Status> | {} | 操作状态记录 | L1 | IDI-Interaction + IDI-HistoryEmergence |
| fileCache | Map<Path,{timestamp,hash}> | {} | 已读文件缓存 | L2 | StateSnapshot + RepeatedCallStable |
| externalConsistency | bool | true | 外部一致性标志 | L2 | IDI-Difference |
| last / lastFileHash | OpID / Hash | null | 上次操作标识与哈希 | L2 | Discrete-Countability / Discrete-ExactEquality |
| retryCounter | int | 0 | 连续重试计数 | L1 | Discrete-Countability |
| switchCounter | int | 0 | 连续策略切换计数 | L1 | TerminationPriority |
| forceHalt | bool | false | 熔断标志 | L1 | TerminationPriority |
| emptyCount | Map<ToolKey,int> | {} | 空结果计数 | L1 | FirstCallTransient |
| callCount | Map<CallKey,int> | {} | 调用次数 | L1 | Discrete-Countability |

5.7 OnError 决策树（循环版本）

以下逻辑摘自 engine.md §十：

OnError(error, stepIndex, toolchain) [CD] [layer: L1, scope: loop_body]
决策树：
① forceHalt=true? → true: forcehalt | false: 进入①.5
①.5 瞬态重试?
    ├─ result=∅ ∧ callCount(T, params)=0 → retry
    └─ 否则 → 进入②
② 重试/空结果熔断?
    ├─ retryCounter ≥ ONERROR_RETRY_LIMIT ∨ emptyCount(T) ≥ ONERROR_EMPTY_T_LIMIT → forcehalt
    ├─ emptyCount(T, params) ≥ ONERROR_EMPTY_PARAMS_LIMIT → switch_strategy
    └─ 均不满足 → 进入③
③ 错误分类处理:
    ├─ error∈{timeout, execution_failure} → halt+persist
    ├─ error∈{partial_output, warning} → continue
    ├─ error∈{resource_exhausted} → skip_remaining
    └─ error∈{irrecoverable} → halt

计数器规则：
- error ∈ {execution_failure} 时 retryCounter += 1
- forceHalt=true 时跳过所有计数器递增
- compilation_error 的 retryCounter 递增见 ExecutionFailureGate

5.8 引擎专用参数

以下逻辑摘自 engine.md §3.1：

| 参数 | 默认值 | 说明 | 引用的公理 |
|------|--------|------|-----------|
| PARTIAL_THRESHOLD | 0.8 | partial 判定阈值 | EvaluationOutcomeSet |
| EXEC_TIMEOUT | 60 | 单次执行超时(秒) | StateSnapshot |
| SUBROUND_MAX_ATTEMPTS | 3 | 子任务最大修复尝试次数 | RoundCompletion |
| ONERROR_RETRY_LIMIT | 3 | 重试熔断阈值 | FirstCallTransient |
| ONERROR_EMPTY_T_LIMIT | 3 | 空结果(T)熔断阈值 | RepeatedCallStable |
| ONERROR_SWITCH_LIMIT | 3 | 策略切换 forcehalt 降级阈值 | TerminationPriority |
| RECENT_CHAIN_COUNT | 3 | 压缩后加载的推理链条数 | CompactProcedure |
| EMERGENCY_DUMP_MAX_CHARS | 500 | 紧急转储最大字符数 | CompactProcedure |

---

六、编译映射与工程规范 ------ spec.md

定位 ：跨层。公理→代码的编译映射接口 + 工程落地规范。代码示例见 docs/Refactoring/code-examples/spec-code-examples.md。218 行。

6.1 层级映射表（代码生成视角）

以下逻辑摘自 spec.md §1.1：

| 层级 | 代码生成角色 | 代码生成目标 | 实现机制 |
|------|------------|-------------|---------|
| L0 | 硬核不变式 | 编译期静态断言 + 过程宏 | 生成 Rust const 泛型约束或 Zig 编译期求值。违反 L0 导致编译失败 |
| L0.5 | 元推理规则 | 状态机 DSL（如 Stateright） | 生成 TLA+ 模型检查桩，注入 Proof Token Verifier |
| L1 | 社会共识 | 智能合约接口 | 生成多签钱包逻辑（≥2 签名校验） |
| L2 | 领域公理 | Versioned Spec + 数据库迁移 | 每个版本生成独立的 SQL Schema / Protobuf 版本 |
| L3 | 配置参数 | etcd / Kubernetes ConfigMap | 部署注入覆盖默认值；运行时修改需 Admin JWT + 熔断校验 |

6.2 ProofOracle 接口

以下逻辑摘自 spec.md §2.1：

/// 证明 Oracle Trait：外部化证明验证
/// dev 环境：witness 为空，直接查询本地状态变量 (#[cfg(debug)])
/// prod 环境：witness 必须是链下验证者委员会签名的 Merkle 证明或 ZK-SNARK 证明
/// 层级约束：level 不能为 L0 或 L0.5（防止自指）
trait ProofOracle {
    fn verify_proof(level: Layer, statement: &str, witness: &[u8]) -> bool;
}

6.3 证明令牌生成与验证流程

以下逻辑摘自 spec.md §2.3：

L2 层公理判定流程:
  1. 对象层到达判定点（如 CF≥META_THRESHOLD）
  2. 生成 Provable_{L2}("CF≥threshold") 令牌请求
  3. 调用 ProofOracle::verify_proof(L2, "CF≥threshold", witness)
  4. true → 触发 enters(MetaRound); false → 继续当前轮次或触发降级

6.4 双缓冲采样器

以下逻辑摘自 spec.md §3.1：

// Sampler 实现连续→离散的阈值采样
// 对应公理 Continuum-SamplingThreshold:
//   δ(t+1)=ConvergeUpdate(δ(t),osc_hist)=δ(t)·α+osc_amp(t)·(1-α)
//   Nyquist_condition: 采样率sr≥2×max_freq;sr<2f_max→标记AliasingWarning(冻结δ不更新)
type Sampler struct {
    lastValid    DiscreteState
    epsilon      float64
    oscHistory   []float64
    sampleRate   float64
    aliasingWarn bool
}
func (s *Sampler) ConvergeUpdate(alpha float64)
func (s *Sampler) CheckNyquist(maxFreq float64)
func (s *Sampler) Sample(c ContinuousState) DiscreteState

6.5 混合逻辑时钟实现

以下逻辑摘自 spec.md §3.2：

/// 混合逻辑时钟（HLC）
#[derive(PartialOrd, Ord, Eq, PartialEq, Clone, Debug)]
struct LogicalClock { pt: u64, lc: u64 }
impl LogicalClock {
    fn tick(&mut self) -> LogicalClock;
    fn recv(&mut self, other: &LogicalClock);
}

/// 事件结构，自动承载因果偏序
#[derive(Clone, Debug)]
struct Event<T> { clock: LogicalClock, payload: T }
impl<T> PartialOrd for Event<T> {
    // 严格遵循 happened-before 偏序
    // 并发事件(¬(a→b)∧¬(b→a))返回 None
}

6.6 连续-离散代码生成映射

以下逻辑摘自 spec.md §3.3：

| 公理组件 | 代码生成目标 |
|---------|-------------|
| embed: Discrete → Continuous | fn embed<T: Discrete>(d: T) -> Continuous<T> |
| sample: Continuous → Discrete | fn sample(c: Continuous<T>) -> DiscreteState |
| Galois Connection 保底 | assert_eq!(sample(embed(d)), d) + embed(sample(c)) ≤ c |
| ε-近似保守性 | assert!(distance(embed(sample(c)), c) < EPSILON) |

6.7 元层门卫与降级状态机

以下逻辑摘自 spec.md §4：

/// 元层门卫：防止无限递归的守护线程
struct MetaGatekeeper {
    proof_registry: Arc<RwLock<ProofRegistry>>,
    meta_threshold: u64,
}
impl MetaGatekeeper { fn should_enter_metaround(&self) -> bool; }

/// 逻辑骨架：enters(MetaRound) ↔ Provable_{L2}("CF≥threshold") ∧ threshold > 0
const fn meta_evolution_rule(threshold: u64, cf_provable: bool) -> bool {
    cf_provable && threshold > 0
}

/// 降级状态机（CRD）
#[derive(Clone, Debug, PartialEq)]
enum DegradationState { Standard, DegradeA, DegradeB, SafeHalt }
fn degradation_transition(current: DegradationState, ctx: &Context) -> DegradationState;

---

七、项目配置 ------ project.md

定位：WorkFlowPrj 项目的路径、日志、废弃处理和构建规范。80 行。

7.1 项目级配置参数

以下逻辑摘自 project.md §一：

文件处理阈值：
  THRESHOLD_SMALL = 50KB
  THRESHOLD_LARGE = 1MB

执行环境配置：
  ExecMode.IO:     timeout=30s,  rate_limit=50files/min, retry=2
  ExecMode.Compute: timeout=120s, rate_limit=unlimited,   retry=1
  ExecMode.Hybrid:  timeout=60s,  rate_limit=25files/min, retry=1

项目类型与废弃策略：
  ProjectType = C#
  Deprecation.firstTimeAction = move_and_exclude
  Deprecation.retryAction = deprecate_in_place

路径格式配置：
  Path.root = d:\Project\Program\WorkFlowPrj\
  Path.forbiddenCommands = ["cd"]
  Path.format.direct_api = absolute_with_backslash
  Path.format.cli = absolute_with_backslash
  Path.format.sandbox = escaped_or_forward_slash

7.2 异常类型与修复优先级映射

以下逻辑摘自 project.md §1.5-1.6：

异常类型映射：
  creation_failure → InvalidOperationException
  config_missing → InvalidOperationException
  state_inconsistency → InvalidOperationException
  lookup_failure → KeyNotFoundException
  null_parameter → ArgumentNullException
  index_out_of_range → ArgumentOutOfRangeException

修复优先级映射：
  compilation_error → P0
  runtime_exception → P1
  code_quality_warning → P2

7.3 废弃文件规范

以下逻辑摘自 project.md §二：

deprecatedDir = _deprecated/
excludeMethod = compile_exclude
excludeConfig = <Compile Remove="_deprecated\**\*" /> + <None Include="_deprecated\**\*" />
cleanTrigger = no_references

---

体系总结

文件	层级	职责	核心产出
axioms.md	L0-L3	逻辑基底	分层结构、三棱镜视角、同步协议、因果偏序、真值域、终止优先级
dsl.md	元层	语法规范	三明治结构、行类型前缀、元数据键、EBNF 文法
derivation.md	跨层	追溯矩阵	规则→公理派生、状态变量派生、五步模型派生、证明义务落实
rules.md	L2-L3	领域规则	公式类型体系、认知状态三定律、策略/规范/流程/反模式
engine.md	L1-L2	运行时引擎	五步模型、计数器更新、OnError 熔断、状态变量管理、循环模式
spec.md	跨层	编译规范	层级映射、ProofOracle、Sampler、HLC、MetaGatekeeper
project.md	L3	项目配置	文件阈值、执行环境、路径格式、异常映射