SystemPrompt 智能体系统提示词

Axioms DSL --- 状态与策略层（Strategy）

职责：统一上下文（Unified Context）、错误分类器（Error Classifier）、全局裁决键（Global Decision Key），以及 L0-L2 公理语义。

单向依赖 ：Kernel（logic.md）→ 本文件（Strategy）→ Domain（formula.md）。

符号引入顺序：由代码模块 import/require 依赖图（DAG）自动推导（ $CR: logic:Sec.2@see$ P1）

§0 层级结构声明

$AX-CORE$ AxiomHierarchyStructure: LAYER_ORDER=L0,L0.5,L1,L2,L3

| invariants(L0):∀op∈MetaRound:op.target∉L0.elements | invariants(L0):EssentiallyUndecidable(证明责任外部化)

| invariants(L0.5):MetaEvolution_Rule逻辑骨架不变 | invariants(L1):修改需元级外部见证授权

| invariants(L2):可版本化,旧版存档 | invariants(L3):运行时可变; ∀p∈L3.params:∃auth§∈{config,admin}∧config<admin | Profile 属 config 级

| irr:"structural"

$DR$ AxiomAxisDeclaration（设计理由，非公理）: 本文件层级=【领域公理层级轴】(AxiomLayerAxis); 引擎运算=【引擎运算层级轴】(EngineLayerAxis) | 两轴独立编号(均含L1) | 跨轴歧义消解: 轴绑定进 $Def$ GlobalDecisionKey 第一位（§3）, 不再依赖权重公式

$SEP$ AxisIndependence: Dom(AxiomLayerAxis)∩Dom(EngineLayerAxis)=∅ | reason:{两轴均含 L1 但语义互斥(社会共识层 vs 控制流/迭代循环), 以 GlobalDecisionKey.Axis 首位消歧}

§1 类型与符号基底

$Type$ Entity=可指称实体

$Type$ OBSERVER=观察者

$Type$ Event=InteractionEvent∪TransitionEvent

$Type$ State=系统状态

$Type$ Round=轮次

$Type$ Quality=ℝ

$Type$ Output=工作产物(约束见 OutputWellFormedness/FormatFidelity/StructuralGrounding)

$Type$ Schema=输出结构声明

$Type$ Verifiable=可外部验证谓词域

$Type$ Judgment=判定命题 | domain:{T,F,⊥}

$Type$ DecisionDomain=判定域

Type\] AttentionWeight=ℝ\[0,1

Type\] AttentionTemperature=ℝ(0,1

$Type$ LoopDecisions=DecisionOutputSet.output(权威: $CR: axioms:AX.DecisionOutputSet@align$ )

$Type$ Modes=模式集{SAFE,DEVELOP,CAMPAIGN}

$Type$ Iteration=轮次迭代域(∀R∈Iteration,对齐Round)

$Type$ ExploratoryRound=探索性轮次(⊥判定触发)

$Type$ L.I.State=轮次迭代状态(L1循环中轮次R进入时的状态快照)

$Type$ PrimitiveAllowedTypes⊆PrimitiveTypes

$Type$ Signature=external_signature(meta-level-binding)(同义 sig)

$Type$ Sample=取样对象域

$Type$ Rules=规则集

$Type$ Phases=阶段集

$Type$ Contexts=上下文状态集

$Def$ a@τ=⟨a,τ⟩ | $Def$ val(s)@τ=状态s在时刻τ的观测/真值

$Def$ a→b=strict_partial_order | $Def$ a∥b=¬(a→b)∧¬(b→a) | $Def$ a⋔b=正交独立(区别于Scott bottom⊥与因果并发∥) | $Def$ a→*b=a→b的自反传递闭包(refl+trans;含自身) | $Def$ ≺=值序

$Def$ ⌜φ⌝=φ的元语言编码 | $Def$ ⊢=可证性 | $Def$ ⊑=Scott域偏序(⊥⊑T,⊥⊑F) | $Def$ ⊗=因果合并(套用 $CR: logic:LO.Aggregate@inst$ , 策略=causal)

$Def$ Committed(O)=已完成且已提交（消费方: OutputWellFormedness/FormatFidelity/StructuralGrounding）

$Def$ completed/enters/isFresh/scalarizable（轮次/状态谓词; 消费方: RoundCompletion/RoundTransition/EntryCondition/InitialState/SubRoundInitialState/TerminationPriority）

$Def$ op.needsSync=操作是否需要同步（消费方: TH-1）

$Def$ R.goals=轮次决策目标集（消费方: TH-2）

§2 统一上下文（Unified Context）

核心思想：单一不可变状态快照（USS）。跨章节计数器碎片归仓为 3 个结构体；数据存储降为 Context 数据字段。

状态转移矩阵从多维张量降为一维线性查表（FailureBudget.level 升降级单链）。

$Type$ FailureBudget: 熔断等级 level∈{0...3} | 吸收旧 retryCounter/switchCounter/CountTable.empties | 升降级由 ErrorHandler 单一裁决（§5）

$Type$ ProgressToken: 轮次进度 value∈{0...Max} | 吸收旧 CF/CP/QDC/IC | 初始 value=0（权威: AX.InitialState） | 终止判定仅 value≥MAX_PROGRESS（裁决公理: $CR: axioms:AX.TerminationPriority@consume$ 见 §7.2）

$Type$ ControlFlag: 控制位掩码 bitmask∈{halt} | 单一入口置位（ErrorHandler/Decide） | halt 由 FailureBudget.level=3 或 irrecoverable 触发（见 TerminationPriority/FailureBudgetEscalation） | 注: 旧 forceHalt/skippedFromSubRound 语义由空结果经 $CR: axioms:AX.RepeatedCallStable@consume$ 转稳态熔断表达, notify 无消费方故去除 | irr:"structural"

$Type$ Context = {budget:FailureBudget, token:ProgressToken, flag:ControlFlag, data:{operationLog,fileCache,toolCallHistory,last,lastFileHash}}

旧分散项	新归属
retryCounter, switchCounter, CountTable.empties	FailureBudget.level
CF, CP, QDC, IC	ProgressToken.value
forceHalt	ControlFlag.bitmask 的 halt 位
operationLog, fileCache, toolCallHistory, last, lastFileHash	Context.data

§3 全局裁决键（Global Decision Key）

$Def$ GlobalDecisionKey = ⟨Axis, Layer, Specificity, Timestamp⟩ | 冲突裁决=字典序比较 | 第一位即轴绑定(领域轴/引擎轴), 消解跨轴歧义

$AX$ AttentionConflictResolution: ∀r₁,r₂:scope(r₁)∩scope(r₂)≠∅∧layer(r₁)≠layer(r₂)→precedes(r₁,r₂)=GlobalDecisionKey 字典序比较 | 并行域: 权重重算仅轮次边界 | irr:"operational"

$AX$ AttentionWeighting: ∀r∈Rules:attention_weight®∈AttentionWeight(套用: $CR: logic:LO.Assess@inst$ , 策略=conjunction) | w=base(layer®)（纯层级降权, 无 ctx/feedback 乘法调制） | layer®>R.layer→base=0 | Σ_r w®≤BUDGET_ALLOC(权威: $CR: axioms:Param.BUDGET_ALLOC@align$ , 见 §9) | active®=Assess(conjunction,{w®>ATTENTION_EPSILON,layer®≥R.layer,scope®∈R.scope}) | irr:"operational"

$AX$ TerminationPriority: ∀D∈LoopDecisions: 终止判定仅 ProgressToken.value≥MAX_PROGRESS→TM/TO（阈值到达即触发）| 短路口: ControlFlag.halt=1→TM | 废除旧 CF≥MAX_FAIL>QDC≥QDT>CP≥MAX_PARTIAL>IC≥MAX_ITER 优先级链 | 消费方: $CR: formula:SM.DecideDrivenUpdate@consume$ | irr:"operational"

§4 错误分类与作用域（错误处理同构归一）

核心思想：错误分类（纯函数）与动作域（作用域策略参数注入）分离------分类逻辑唯一、动作域由 Scope 决定。

废除旧 §5.2 OnError_Loop / §6.1 OnError / OnError.shared-branch 三套动作分离，合并为单一 handle(error, Scope)。

编译错误不豁免：compilation_error 归入常规错误、统一计入 FailureBudget，取消 continue 特权。

$Type$ ErrorClass = {parse_error, compilation_error, execution_failure, timeout, partial_output, empty_result, resource_exhausted, irrecoverable}

$Gate$ ClassifyError(error)→ErrorClass: 纯映射, 无动作 | 元素权威基: $CR: axioms:AX.FailureSubtyping@consume$ | 载体=Gate（符号索引编译为 Gate.ClassifyError; 书写前缀按 $CR: dsl:Sec.4.5@see$ 载体映射）

$Type$ Scope = 合法动作子集 ⊆ {halt, retry, switch}

$Type$ Action = {halt, retry, switch, continue} + PersistFlag + RetryLimit | continue=循环级继续决策(非错误动作, 由 Decide 裁决, 不受 Scope 约束)

$Def$ handle(error, Scope)→Action: ClassifyError(error) → 按 Scope 合法子集与 FailureBudget.level 择一动作 | 动作域由 Scope 参数决定, 不再分循环版/单次版函数名

// 统一: halt+persist 与 retry_optional 统一为 Action 枚举（PersistFlag=true / RetryLimit 参数化），不再以不同函数名区分

§5 错误熔断（FailureBudget 升降级，ErrorHandler 单一裁决）

$AX$ FailureBudgetEscalation: FailureBudget.level 升降级策略 | 裁决执行实例: $CR: formula:SM.ErrorHandler@inst$ |

error∈{execution_failure, timeout, compilation_error, empty_result, resource_exhausted} → level=min(level+1, 3)

| error=irrecoverable → level=3 (ControlFlag.halt=1)

| error=partial_output → level 不升级（"部分可用"严重度低于格式违规）| token 更新由 $CR: formula:SM.EvaluateDrivenUpdate@consume$ 单一入口负责, 本公理不写 token

| eval=pass/valid → level=max(0, level-1)（衰减）

| level=0 → retry 正常 | level=1 → retry 受限(RetryLimit 收紧) | level=2 → switch/暂停 | level=3 → halt(ControlFlag.halt=1)

// 引擎侧动作执行实例读取 handle 输出并执行（ $CR: formula:SM.ErrorHandler@inst$ ）；本公理仅裁决升降级

§6 L0/L0.5/L1 基底公理（保留）

以下公理为保留基底（语义同旧，仅 comb 引用收敛为 3 个高阶函数）。消费方均为 Domain 层公式。

6.1 L0 CORE

$AX-CORE$ TruthValueDomainLogic: Judgment∈{T,F,⊥} | ∧/∨/¬ 三值真值表 | ⊥ 为 Scott 吸收元(⊥∧x=⊥,⊥∨x=x,¬⊥=⊥) | 聚合例外(⊥:=T 投影)经 CR: logic:LO.Assess@inst 策略=truth_map | irr:"logical"

$AX-CORE$ QuantificationConstraint: ∀/∃ 量化须有界(域可枚举或紧致) | irr:"logical"

$AX-CORE$ DecisionTrigger: decidable(φ)→判定可落地(真值/工具验证) | decidable 判定为编译期义务, 非引擎执行期 | irr:"logical"

$AX-CORE$ InformationMonotonicity: 轮次间信息不丢失(history/changeLog 只增) | irr:"structural"

$AX-CORE$ ConcurrentComparisonUndefined: ∥ 并发操作的比较结果未定义(禁跨并发域比较) | irr:"logical"

$AX-CORE$ SyncProtocolTriple: Commit→Compensate→Observe 三段提交 | Committed(O) 后值冻结(消费方: TH-3) | irr:"structural"

$AX-CORE$ EssentiallyUndecidable: 证明责任外部化(引擎不承担停机判定) | irr:"logical"

6.2 L0 BAX

$BAX$ TriPerspectiveStructure: IDI 三视角(Identity/Difference/Interaction)正交完备 | irr:"structural"

$BAX$ IDI_Framework: 实体经 IDI 交互产生可观测历史(历史累积目标集, 消费方: TH-2) | irr:"structural"

$BAX-IDI$ IDI-Identity: 实体同一性判定 | IDI-Difference: 区分触发(偏差驱动决策) | IDI-Interaction: 交互产生跨实体可观测影响 | IDI-HistoryEmergence: 历史涌现(时序累积)

$BAX-TIME$ LogicalClock: 事件偏序可标定 | CausalCone: 因果锥(因果域内查询) | irr:"structural"

$BAX-C$ Continuum-Metric: 连续域距离函数 dist:Continuous×Continuous→ℝ | Continuum-Dynamics: 连续域演化(单调) | Continuum-Superposition: 状态空间有界凸集(‖s‖≤M, 消费方: TH-5) | Continuum-SamplingThreshold: 动态阈值 δ(t)(消费方: TH-4/TH-5)

$BAX-D$ Discrete-Enumeration: 离散域可枚举 | Discrete-AtomicStep: 原子跃迁(无中间态, 消费方: TH-3) | Discrete-Countability: 可计数(消费方: TH-2) | Discrete-ExactEquality: 离散精确相等

$BAX-X$ Coupling-Embedding: 拓扑连续嵌入(sample(embed(d))≈d, 消费方: TH-4) | Coupling-Sampling: 采样保持嵌入 | Coupling-ObservationCollapse: 观测锁定后值冻结(消费方: TH-1)

6.3 L0.5 META

$AX-META$ MetaEvolution: 元规则演化需阈值(ProgressToken/META_THRESHOLD) | 元规则逻辑骨架不变(见 $CR: axioms:AX-CORE.AxiomHierarchyStructure@align$ invariants(L0.5)) | irr:"structural"

$AX-META$ ToolCallWellFormedness: 工具调用五要素(TemplateConform/TypeCheck/ParamRef/FormatConform/AmbiguityFree) | 违规→parse_error | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"structural"

$AX-META$ OutputWellFormedness: 输出结构对齐 Schema(TemplateConform_Out 等) | 违规→parse_error | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"structural"

$AX-META$ FormatFidelity: 输出与 Schema 保真对齐→可提取可比指标(Fidelity(O,S)→comparable, 消费方: TH-9) | irr:"structural"

$AX-META$ ContextPollutionIsolation: 失效输出片段∉下一轮解码先验(打断正反馈链, 消费方: TH-11) | irr:"structural"

6.4 L1 FRAME

$AX-FRAME$ StratifiedReflectionSchema: 分层反射(含 ExternalTruthEquivalence/ProvableDerivationOnly/LogicalLayerSeparation/MetaReadConstraint) | 修改 L1 需元级外部见证授权 | irr:"structural"

$AX-FRAME$ CountableOrderBridge: 同构输出落入统一比较域(Quality=ℝ 可比, 消费方: TH-9) | irr:"structural"

§7 L2 领域公理（保留 + comb 收敛）

领域不变式层（可版本化）。正文语义同旧，comb 套用收敛为 3 个高阶函数。禁止在 L2 定义新的逻辑算子或状态变量。

7.1 状态与一致性

$AX$ StateSnapshot: ∀op,s:op.readsFrom(s)→deterministic(op,s) | irr:"structural"

$AX$ StateMerge: 并行状态合并 | consistent 判定=Assess(conjunction,{conflictFree,compatible})(套用:CR: logic:LO.Assess@inst 策略=conjunction) | irr:"structural"

$AX$ InitialStateNullity: 初始状态空值合法(触发 skip 语义) | irr:"structural"

$AX$ ExecutionStateTaxonomy: 执行状态分类(执行域) | irr:"structural"

$AX$ FailureSubtyping: 失败类型层次(ErrorClass 元素权威基, 消费方: $CR: axioms:Gate.ClassifyError@consume$ ) | irr:"structural"

$AX$ ParseErrorStatus: 解析错误状态 | irr:"structural"

7.2 轮次与循环

$AX$ RoundLifecycle: 轮次演化(①Execute→②Collect→③Evaluate→④Decide→⑤Adjust) | 演化约束单调性 | comb:CR: logic:LO.Resolve@inst 策略=fsm | irr:"structural"

$AX$ RoundCompletion: 轮次完成条件 | comb:CR: logic:LO.Assess@inst 策略=conjunction | irr:"structural"

$AX$ RoundTransition: 轮次转移(上轮产物→下轮先验) | comb:CR: logic:LO.Resolve@inst 策略=fsm | irr:"structural"

$AX$ RoundIndependence: 轮内计数器不跨轮传递 | irr:"structural"

$AX$ InitialState: 轮次初始状态(字段封闭集与默认具值) | R.init(token.value=0) 字段封闭集权威 | irr:"structural"

$AX$ EntryCondition: 轮次进入条件(R.enters↔preconditions.valid∧config∈ConfigSpace(R.mode)∧start∈StartSpace∧(isFresh®→subRoundAttempts=0)) | 派生组合推论见 theorems.md 顶部 | irr:"structural"

$AX$ SubRoundInitialState: 子轮初始状态(reset_subRound↔pass∨exhausted) | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"structural"

7.3 焦点与作用域

$AX$ ScopeAnchor: 规则作用域锚定 | irr:"structural"

$AX$ FocusLayer: ∀r,∀f:r.layer∈LAYERS→r.active(f)iff f.level≥r.layer | irr:"operational"

$AX$ ScopeGuard: ∀r,∀c:r.scope∈SCOPES→r.active©iff c∈r.scope | irr:"operational"

$AX$ FormatInstructionLocality: 格式指令位于上下文两端高注意区 | 被推挤至中部→权重衰减 | 上下文膨胀(CTX_WATERMARK)→reassert | irr:"structural"

7.4 结果与评价

$AX$ EvaluationOutcomeSet: eval∈{pass,partial,fail,parse_error} | 真值映射: pass↦T, partial↦⊥, fail/parse_error↦F | comb:CR: logic:LO.Assess@inst 策略=truth_map | irr:"logical"

$AX$ DecisionOutputSet: loopDecisions∈{TS,TO,TM,switch_strategy,continue} | irr:"logical"

$AX$ StructuralGrounding: 结构性引用须经验证 | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"structural"

$AX$ ResultStructure: 结果结构声明 | irr:"structural"

$AX$ ResultComposition: 结果组合(latest_terminal=argmax_{chain}causal_chain_depth) | comb:CR: logic:LO.Aggregate@inst 策略=key | irr:"structural"

7.5 行为学（瞬态/稳态）

$AX$ FirstCallTransient: 首次调用失败为瞬态(不计代价重试) | irr:"operational"

$AX$ RepeatedCallStable: 重复调用空结果转稳态(熔断) | irr:"operational"

$AX$ TransientRetryNoCost: 瞬态重试不计代价 | irr:"operational"

$AX$ TransientResultReevaluation: 瞬态结果可重估 | irr:"operational"

7.6 意图与消歧

$AX$ IntentClassification: 空结果意图分类 | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"operational"

$AX$ ExploratoryEntry: ⊥→探索轮次 | irr:"operational"

$AX$ ParamResolutionFallback: 参数缺失→use_value/use_default/rule_degrade | comb:CR: logic:LO.Resolve@inst 策略=chain | irr:"operational"

$AX$ SemanticEvolutionLifecycle: 语义向量演化(ε_sem 阈值) | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"operational"

$AX$ DependencyCycleDetection: 依赖环检测(A→B∧B→A→redundant) | irr:"structural"

$AX$ ReferenceGuardedDeprecation: 废弃守卫(deprecate∧hasReference→cannot_delete) | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"structural"

$AX$ ConflictResolutionPolicy: 冲突分派(首遇/重试) | comb:CR: logic:LO.Resolve@inst 策略=table | irr:"operational"

§8 元级指导（Strategy 标注）

不可判定公理（LogicCorrectness/SingleImplementation/RedundancyElimination）降级为 $Strategy$ 标注------元级指导，不再作为 $AX$ 强制引擎执行，避免停机问题污染状态机。

$Strategy$ SingleImplementation: ∀p∈ProblemSpace:∃!i∈Implementations:implement(p,i) | duplication§→locate_canonical§→verify_alignment§→replace_with_canonical§ | 实例(S1): ControlPool 双向映射复用 StorageBidirectionalExtensions | irr:"structural"

$Strategy$ RedundancyElimination: ¬∃caller:reachable(caller,c)→redundant© | redundant©→confirm_no_reference©→remove© | 消费方: $CR: formula:Gate.ShouldWrite@consume$ | irr:"structural"

$Strategy$ LogicCorrectness: semantic(i)=intended(i)→correct(i) | semantic(i)≠intended(i)→erroneous(i)→detect_diverge→fix_to_canonical | irr:"logical"

§9 配置参数（L3，运行时可变）

配置收敛：原 ONERROR_*/MAX_FAIL/MAX_ITER/MAX_PARTIAL/SWITCH_THRESHOLD 等计数器阈值并入 FailureBudget/ProgressToken 语义，不再逐一列举。

% MAX_PROGRESS=int:3 | ProgressToken 上限(原 MAX_FAIL/MAX_ITER/MAX_PARTIAL 收敛) | auth:config

% BUDGET_RETRY_LIMIT=int:1 | FailureBudget.level=1 时 RetryLimit 收紧值 | auth:config

% ATTENTION_EPSILON=float:0.05 | 注意力激活阈值 | auth:config

% ATTENTION_TEMP_MIN=float:0.3 | 注意力收敛下限 | auth:config

% CTX_WATERMARK=float:0.85 | 上下文水位收窄触发阈值 | auth:config

% META_THRESHOLD=float:0.9 | 元级进化触发阈值 | auth:config

% RECONFIRMATION_WINDOW=int:2 | 重确认窗口 | auth:config

% BUDGET_ALLOC=float:1.0 | 注意力预算上限(Σ_r w®≤BUDGET_ALLOC, 消费方: AttentionWeighting) | auth:config

§10 附录：符号速查（导航，无矩阵）

符号/缩写	权威定义位置
⊥/T/F/¬/∧/∨/⊑（真值域）	§1 $Def$ + §6.1 TruthValueDomainLogic
→/∥/→*/≺（因果/偏序域）	§1 $Def$
⊗（因果合并,Aggregate 策略=causal）	§1 $Def$ + $CR: logic:LO.Aggregate@inst$
⌜φ⌝/⊢/∈/∃/∀（元语言/量词域）	§1 $Def$
Committed(O)/completed/enters/isFresh/scalarizable	§1 $Def$
ProgressToken/Budget/Flag/Context	§2
GlobalDecisionKey	§3
ErrorClass/Scope/Action/handle	§4
TS/TM/TO/switch_strategy/continue	§7.4 DecisionOutputSet

Clinerules DSL 语法速查（system 版）

用途：clinerules 各文件（axioms/formula/theorems/project）的书写语法。LLM 写作时按本表套模板，解析器按 CCR: Instruction/spec.md §1] 编译。

原则：逻辑不丢、语法可解析、表达最简。

§0. 四项约定

职责边界：本节为【书写规则速览】（面向规则作者，讲"怎么写"）；解析器的具体文法/正则见 §5（面向解析器实现，讲"怎么解析"），两者互补不重复。

复制代码

① `|`默认合取∧；子句前加`∨`表析取；{x|cond}为集合构造原义；→表转移/映射
② 声明型结构(无多分支逻辑)用行内尾缀`|`连属性；流程型结构CSM]/CGate]用多行分支展开
③ `---meta`块仅承载复杂元数据；简单元数据直接行内`key:val`尾缀
④ 数值判断用∧/∨组合，不引入新运算符（解析器性细节见 §5）
⑤ 逻辑表述规范化: 可判定断言(能被真值/工具验证)必须公式化(谓词合取/CSM]/CGate])；缩写/符号约定提升为CDef]；真值判定衔接 TruthValueDomainLogic；对象域分离/分工用CSEP]声明(可机器检查)；消歧/设计理由用 dr:/sem://! 标注(非公式)
⑥ 注释精简规范: `//` 注释仅用于三类------权威锁定(极简 `// 权威:CCR...]`, 含"上移/不重复/唯一权威"性质, 只为维护者指明权威归属)；分工/区分；旧引用兼容(迁移映射)。禁止过程性描述("本处仅.../不新增语义/仅引用不重复/此处不重复罗列"等可删冗余)；实质设计语义用 `dr:`/`sem:`/`//!` 行内元数据承载, 散文式 `//` 注释行须可删除
⑦ 逻辑运算法则: 高频重复的逻辑运算结构必须提取为CLO]法则(见 CCR: logic:Sec.1@see]------基底仅 Assess/Aggregate/Resolve 3 个高阶函数)并以 `法则名(实参, 策略=...)` 套用, 禁止逐处手写(法则语义唯一权威=logic.md §1; 套用实参位序对照形参签名, 位置即语义)

§1. 行前缀与模板

分工: 本表为【书写语法表】(前缀模板的权威)；规则公式的抽象语义(语义类型定义与权威归属)见 CCR: formula.md §1.2]【抽象语义表】（单向引用链: 书写语法权威=本表 §1 → 抽象语义权威=formula.md §1.2，无反向依赖）。

前缀	结构	模板
`CAX]`等	公理	`CTAG] Name: FormulaBody
`!`	公理块	`! Name:` ⏎ 子句逐行（`
`%`	配置参数	`% NAME=type:default
`#`	推论	`# TH-n: 结论
`@`	缺陷记录	`@ ID: affected:{...}
`CType]`	类型声明	`CType] Name = 含义`
`$`	符号约定	`$ symbol = 含义
`CLevel]`	层级声明	`CLevel] Ln: 关注点,...
`CProfile]`	配置预设	`CProfile] NAME: MODE=SAFE
`CPattern]`	循环模式	`CPattern] Name: Axioms:CCR]公理
`CAttention]`	注意力权重声明	`CAttention] Name: w=公式
`CSM]`	状态机更新	`CSM] Name:` ⏎ 子句governing更新/转移（`→`副产品/转移）
`CGate]`	决策门控	`CGate] Name:` ⏎ 条件`→`动作分支（短路优先，else兜底）
`CSEP]`	域分离声明	`CSEP] Name: Dom(X)∩Dom(Y)=∅
`CLO]`	逻辑运算法则	`CLO] 法则名: 形参签名 → 结果` ⏎ 法则体/`策略:{...}`/`实例`（权威定义见 CCR: logic:Sec.1]；消费方以 `法则名(实参, 策略=...)` 套用, 位置即语义；基底仅 3 个高阶函数 Assess/Aggregate/Resolve）
`CStrategy]`	元级指导标注	`CStrategy] Name: 公式`（不可判定公理降级为元级指导, 不强制引擎执行；权威定义见 CCR: axioms:Sec.8]）

模板示例（行内/多行两种写法）：

复制代码

CAX] StateSnapshot: ∀op,s:op.readsFrom(s)→deterministic
% MAX_PROGRESS=int:3 | ProgressToken 上限(原 MAX_FAIL 等收敛)
$ CallKey=(ToolName,ParamHash)

CProfile] DEVELOP: MODE=DEVELOP | delta:{MAX_PROGRESS=5,BUDGET_RETRY_LIMIT=2} | sem:诊断级调试
CType] FailureBudget: level∈{0..3} | 熔断等级(吸收旧 retryCounter/switchCounter/CountTable.empties)
CAttention] FocusWeight: w=base | base:层级降权(α_base) | 激活:w>ATTENTION_EPSILON | 权威:CCR: axioms:AX.AttentionWeighting@consume]

CSEP] InputOutputDisjoint: Dom(ToolCall)∩Dom(Output)=∅ | reason:{ToolCallWellFormedness(输入侧参数格式)对象域≠OutputWellFormedness(输出侧内容格式)对象域}

CSM] EvaluateDrivenUpdate:
  token.value++ | lastResult=current
  | pass → token.value=max(0,token.value-1) ∧ budget 衰减
  | fail/parse_error → token.value=min(token.value+1,MAX_PROGRESS) ∧ budget 升级
---

CGate] ExecutionFailureGate:
  {execution=success} → Collect
  | {execution=failure} → handle(error, Scope)（错误分类见 ClassifyError, 动作域见 Scope）
  | else → Collect  // 语法演示: else 默认兜底; 实际 success/failure 已覆盖全集
---

注：CGate]分支求值自上而下短路；else为默认兜底。

注：跨文件声明（如 CProfile]）以权威定义文件为准------本文件示例仅展示语法，非权威值；权威见 CCR: formula.md §3.2]。

§2. 元数据键（`---meta`块内 / 行内通用）

权威键表：以下键均为全库实际使用。---meta块内用 key = "val"；行内尾缀用 key:val。

键	含义	示例	使用文件
`view`	三棱镜视角	`view = "IDI,D"`	通用
`sem`	语义标签	`sem = "concept=完成, role=转移"`	通用
`enf`	强制机制	`enf = "runtime_invariant: 谓词"` / `"codegen_constraint: ..."`	axioms, formula
`dr`	设计理由	`dr = "一行"`	formula, theorems
`dep`	废弃声明	`dep = "replaced-by(X)"`	通用
`auth`	参数权限	`auth:config` / `auth:admin`	axioms(`%`参数)
`src`	源公理引用	`src = "CCR: axioms.md §一-§八]"`	formula, theorems
`irr`	不可再抽象	`irr = "structural"` / `"logical"` / `"engineering"`	axioms
`cfg`	配置引用	`cfg = "CONVERGE_ALPHA"`	axioms
`version`	版本绑定	`version = "1.0"`	通用
`note`	说明注记	`note = "字段名对齐见 formula.md §4.6..."`	通用(free-text, 非公式)
`pre`	前置条件	`pre = "调用前先经 SyncGuard.sync_check..."`	formula
`init_hook`	初始化钩子	`init_hook = "fileCache=∅ 或 ControlFlag.halt=1 → 跳过..."`	formula
`step1`/`step2`	状态机步骤元数据	`step1 = "{status: synced}→step2"`	formula(SM流程)
`skip`	跳过声明	`skip = "@skip_idempotency_guard 跳过..."`	formula
`default`	默认行为	`default = "默认工具链执行前触发..."`	formula
`trigger`	触发信号	`trigger = "ctx_critical 信号应在当前步骤执行前检测..."`	formula
`emergency_dump_skip`	紧急转储跳过标志	`emergency_dump_skip = "跳过阶段动作和 persist_reasoning"`	formula
`layer`	所属层级	`layer:L2-L3`	formula
`scope`	作用域	`scope:single_call,global`	formula
`focus`	焦点阶段	`focus:P_plan,P_complete`（CLevel]声明）	formula
`strategy`	关联策略	`strategy:PathStrategy,CommunicationMode`（CLevel]声明）	formula
`delta`	配置差异	`delta:{MAX_PROGRESS=5}`（CProfile]声明）	formula
`re_eval`	重评估约束	`re_eval:∀Rk∈Rounds(k≥2):Rk.workItems∈reEvaluated(...)`	formula(CPattern])
`restore`	恢复联动	`restore:压缩恢复后按 RECENT_CHAIN_COUNT 条推理链所属问题域恢复规则权重`	formula(CD)
`affected`/`severity`/`symptom`/`fix`	缺陷记录字段(`@`专用)	`affected:{L1 熔断}	severity:{高}`
`pf`	证明概要(`#`推论专用)	`pf = "EntryCondition 给出前两项..."`	theorems

原则：stepN/skip/default/trigger 等流程性键仅用于 CSM]/CGate] 的流程元数据；affected/severity/symptom/fix 仅用于 @ 缺陷记录；pf 仅用于 # 推论。

§3. 常用缩写

本表为【书写速记】，非定义来源：全部缩写/符号的唯一权威定义见 $CR: axioms:Sec.10@see$ （符号速查表，含定义位置）；与权威冲突时一律以 axioms.md 为准。

缩写	原义	缩写	原义
CF/CP/QDC/IC	连续失败/部分成功/质量下降/迭代数（已并入 ProgressToken, axioms.md §2）	TS/TM/TO	成功/熔断/超限终止
ProgressToken/FailureBudget/ControlFlag	统一上下文结构体（axioms.md §2）	GlobalDecisionKey	全局裁决键（axioms.md §3）
handle(error,Scope)/ClassifyError	统一错误处理/纯分类器（axioms.md §4）	attentionTemperature	注意力温度(迭代收敛)
ATTENTION_EPSILON	注意力激活下界(0.05)	α_base	层级降权系数（注意力权重核算权威见 axioms.md AX.AttentionWeighting）

§4. 交叉引用（结构化符号引用）

权威：本表为 [CR] 引用的唯一文法权威；全部存量旧形态引用的归一依据见 §4.3 对照表。存量引用不强制立即改写（校验器容忍旧形态并标记"待迁移"），新写作必须遵守本表严格文法 。

设计原则：位置即语义（固定段序, 无回溯）；单一符号簇（各定界符职责唯一）；语义封闭、文法开放（库/类型/意图为注册枚举, 扩展=增条目不改文法）。

4.1 正式文法（BNF）

文法占位符写为 CCR]（C] 即 [ 的 Markdown 书写转义），其真实形态始终为方括号 CR 形式（即 [ + 引用体 + ]）；下节示例与实际文件一律使用该真实形态。

复制代码

CCR]   ::= "CCR:" LIB ":" SYM ("." SUB)* ("@" INTENT)? "]"
LIB    ::= ID                        // 注册库标识符（枚举见 §4.4）
SYM    ::= STYP "." NAME             // 符号 = 注册类型 + 限定名
STYP   ::= ID                        // 注册符号类型（枚举见 §4.5）
NAME   ::= ID | DIGIT_SUB            // 定义点唯一名（锚点 ID 主键）
SUB    ::= ID                        // 子谓词/子公式定位（点链, ≤3 层）
DIGIT_SUB ::= C0-9]+("-"C0-9]+)*     // Sec 章节号例外: 如 Sec.4.5（提示性节引用专用）
ID     ::= CA-Za-z_]CA-Za-z0-9_-]*
INTENT ::= ID                        // 注册意图（枚举见 §4.6）, 缺省 def

示例（示例为真实引用形态；文法占位符写法见 §4.1 BNF，C] 为 [ 的转义，见 §5）：

复制代码

[CR: axioms:AX.StateSnapshot]                    // 权威定义（缺省 def）
[CR: axioms:AX.StateSnapshot.deterministic]      // 子谓词定位
[CR: axioms:Def.op.needsSync]                    // CDef 符号
[CR: axioms:Param.MAX_PROGRESS@consume]            // 配置参数消费方
[CR: theorems:TH.TH-6@deriv]                       // 推论派生
[CR: formula:SM.ErrorHandler@inst]                 // 参数化实例
[CR: formula:Sec.4.5@see]                        // 节定位（提示性）

4.2 定界符职责（唯一化）

定界符	职责	禁例
`:`	仅分隔 `LIB` 与 `SYM`，全文恰好一次	禁作节/子谓词分隔
`.`	子谓词点链（`SYM` 后, ≤3 层）	禁作文件名分隔（文件仅由 LIB 表示）
`@`	意图分隔（可选）	禁出现在 NAME/SUB 内

四类定界符用途唯一、互不借用，解析器无"哪个冒号/空格是分隔"的歧义。

4.3 存量对照迁移表

存量形态（旧）	新写法（严格）	归一说明
`CCR: axioms.md:AttentionWeighting]`	`[CR: axioms:AX.AttentionWeighting]`	库枚举化、去 `.md`
`CCR: formula.md §2.1]`	`[CR: formula:Sec.2.1@see]`	节引用归入 `Sec` 类型
`CCR axioms.md:TerminationPriority]`	`[CR: axioms:AX.TerminationPriority@consume]`	修正缺冒号错位
`CCR: axioms.md:AxiomHierarchyStructure CAX]]`	`[CR: axioms:AX-CORE.AxiomHierarchyStructure]`	类型后缀并入 STYP
`CCR: axioms.md:Def op.needsSync]`	`[CR: axioms:Def.op.needsSync]`	前缀限定词并入 STYP（含点符号名见 §4.1 注）
`CCR: axioms.md:AttentionWeighting.active]`	`[CR: axioms:AX.AttentionWeighting.active@inst]`	点链子谓词+意图
`CCR: axioms.md TerminationPriority.decay_scope/preEvaluateCF]`	（已废除, 无迁移目标------decay_scope/preEvaluateCF 子谓词随旧 CF/QDC 优先级链废除, 见 $CR: axioms:AX.TerminationPriority@consume$ ）	子谓词不再存在, 不产生符号
`CCR: theorems.md:TH-6]`	`CCR: theorems:TH.TH-6@deriv]`	推论符号类型化

4.4 注册库枚举（LIB）

库标识	对应文件	说明
`axioms`	clinerules/axioms.md	公理权威库
`formula`	clinerules/formula.md	公式库
`theorems`	clinerules/theorems.md	推论库
`logic`	clinerules/logic.md	逻辑运算法则库（ $LO$ 法则唯一定义源）
`project`	clinerules/project.md	项目规范库
`dsl`	clinerules/dsl.md	语法权威库（本文件）
`instruction`	Instruction/*.md	跨目录扩展（预留）

扩展规则：新增库 = 在 LIB 枚举增条目，文法不变。禁引用未注册库标识（linter 校验）。

4.5 注册符号类型枚举（STYP）

类型	对应定义前缀	含义
`AX`	`CAX]`	领域公理
`BAX`	`CBAX]`	L0 基底公理（泛型）
`BAX-CORE` / `BAX-IDI` / `BAX-TIME` / `BAX-C` / `BAX-D` / `BAX-X`	`CBAX-*]`	L0 基底公理（细分族）
`AX-CORE` / `AX-META` / `AX-FRAME`	`CAX-*]`	层级公理族
`Def`	`CDef]`	定义/符号约定
`Type`	`CType]`	类型声明
`Param`	`%`	配置参数
`Symbol`	`$`	符号速记
`Profile`	`[Profile]`	配置预设
`Pattern`	`CPattern]`	循环模式
`Gate`	`CGate]`	决策门控
`SM`	`CSM]`	状态机
`SEP`	`CSEP]`	域分离声明
`DR`	`CDR]`	设计理由
`LO`	`CLO]`	逻辑运算法则（法则体唯一定义源见 CCR: logic:Sec.1]；消费方套用 `法则名(实参)`）
`Strategy`	`CStrategy]`	元级指导标注（不可判定公理降级, 不强制引擎执行；权威定义见 CCR: axioms:Sec.8]）
`TH`	`#`	推论
`Sec`	`##/###`	章节锚点（提示性引用; NAME 可为数字章节号如 `4.5`------校验器 Sec 通道直接放行, 不进入符号索引解析）

载体编译映射（脚本 Check-ClinerulesReferences.ps1 实际归属，供索引编译参考）：CQA]→SM、CCD]/CCM]/CCC]/CCS]/CTD]→Gate、CStrategy]→Strategy；CSM]→SM、CGate]→Gate 原样。即上述语义类型书写时经对应载体前缀落库，被引用时使用载体 STYP（如 [CR: formula:SM.ErrorHandler@inst]）。

注：[Level]（层级实例化声明, 如 formula §2.1）与 [Attention]（注意力权重声明）为书写模板前缀, 不进入符号索引编译（[Level] 行经"权威清单行"过滤按 Ln 层号跳过; 当前库无 [Attention] 定义）; 引用时经 Sec 节引用或直接引用对应语义类型符号。

扩展规则：新增公式类型（如 CQA]/CCC]/CCD]/CCM]/CCS]/CSS]/CTD] 需被引用时）= 在 STYP 枚举增条目或归入对应语义类型，文法不变。

4.6 注册意图枚举（INTENT）

意图	含义	用途
`def`	权威定义（缺省）	指向单源事实；同符号仅一个 `def` 权威点
`deriv`	推论派生	由 `def` 符号推导（theorems 对 axioms）
`inst`	参数化实例	公理公式的具体化（formula 对 axioms）
`consume`	消费方	引用方使用被引符号的语义
`align`	对齐	语义对齐/一致性声明（非权威依赖）
`see`	提示参考	仅导航性引用（节/速查表）

校验语义：deriv/inst 引用必须最终可达某 def 权威点（单源事实链）；consume 不产生权威义务。

4.7 锚点 ID 生成规则

复制代码

规则: {STYP}-{NAME}C-{SUB}]
示例: AX-StateSnapshot / AX-StateSnapshot-deterministic
      Def-op-needsSync / Param-MAX_PROGRESS / TH-TH-6 / Sec-4.5 / Pattern-MultiRoundStrategy

定义处物理锚点 <a id="{锚点ID}"> 与符号索引主键严格一致，消除"引用指向物理锚点还是逻辑符号名"的漂移。锚点 ID 一经注册不得变更（变更 = 新增 ID + 旧 ID 置 dep）。

4.8 校验约定（linter 四类检查）

校验脚本（PowerShellScript/DSL/Check-ClinerulesReferences.ps1）对全部库执行：

#	检查	失败判据	对应脆弱点
1	悬空引用	`LIB:STYP.NAME` 在符号索引中不可解析（`Sec` 提示性引用除外）	删改锚点后静默失效
3	废弃指向	`CCR]` 指向 `dep` 置位符号	新引用依赖旧语义
4	循环依赖	`A→B ∧ B→A` 且均为 `def` 权威	权威环（对接 ANTI-CYCLIC-AGGREGATION）

附：输出反向引用报告（谁引用了 X），支撑变更影响分析。

§5. 文法注释（解析器实现参考）

复制代码

行内式:  CPrefix] Header | Attr:Val | ...
多行式:  CPrefix] Header:   NL 子句行（|续行）  CNL ---meta NL Key="Val" NL ---（可省）]

[CR]引用: [CR: LIB:STYP.NAME(.SUB)...][@INTENT]   （规范见 §4; 本节为真实文法, §0-§3 书写模板中的 `C` 前缀为 `[` 的 Markdown 转义占位, 仅书写用, 解析器以本节与 §4 为准）
  正则锚: \[CR:\s*([a-z]+):([A-Za-z-]+)\.([A-Za-z0-9_][A-Za-z0-9_.-]*?)(?:@(def|deriv|inst|consume|align|see))?\]
  兼容:   旧形态 [CR: file.md:anchor] / [CR axioms.md:X] 等按 §4.3 映射, 校验器标记"待迁移"并按 §4.3 规则归一, 不阻断解析

解析器两遍扫描：

第一遍：收集全部定义点（CAX]/CDef]/CType]/CGate]/CSM]/%/# 等）→ 建立符号索引表（锚点 ID 见 §4.7）；
第二遍：解析全部 CCR] 引用 → 对照索引执行 §4.8 四类校验并生成反向引用报告。

公式体系（Formula Library）--- 领域应用层（Domain）

层级：L0-L3 | 职责：仅声明 $Level$ / $Pattern$ / $Profile$ 实例化参数；禁止在本层定义新的逻辑算子或状态变量。

单向依赖 ：Kernel（logic.md）→ Strategy（axioms.md）→ 本文件。

表达方式：DSL 声明。逻辑运算一律套用 3 个高阶函数（Assess/Aggregate/Resolve， $CR: logic:Sec.1@see$ ）；状态一律经由统一上下文 Context（FailureBudget/ProgressToken/ControlFlag， $CR: axioms:Sec.2@see$ ）。

§一、公式类型体系

1.1 规则分类层级

// 本表【规则分类层级】为领域公理层级轴（权威: $CR: axioms:AX-CORE.AxiomHierarchyStructure@align$ ）；"流程(L3, 工程规范见§七)"属流程层 | 与 §2.1【引擎运算层级轴】(L1=控制流/迭代循环, 权威: $CR: axioms:SEP.AxisIndependence@align$ ) 独立编号, 勿混用

类型	性质	可变性
领域公理 (L2)	领域不变式	可版本化
策略 (L2-L3)	操作决策	可变
规范 (L2)	约束条件	可变
反模式 (L2-L3)	负面模式	可变
流程 (L3)	步骤序列	可变

1.2 公式类型定义

标识	名称	语义	输出类型	真值域约束公理
`[AX]`	领域公理声明	声明逻辑上必然的命题	逻辑命题	LogicalLayerSeparation
`[TD]`	阈值决策	阈值比较输出决策	枚举值	TerminationPriority
`[CM]`	分类映射	输入→类别映射	类别标签	TruthValueDomainLogic
`[CD]`	条件决策	条件分支输出决策	枚举值	TruthValueDomainLogic
`[SM]`	序列映射	输入→有序步骤映射	步骤列表	Discrete-AtomicStep
`[QA]`	质量评估	标准输出质量等级	pass/partial/fail	EvaluationOutcomeSet
`[CC]`	成本计算	参数输出量化成本	数值	QuantificationConstraint
`[CS]`	约束声明	外部约束/不变式	约束命题	QuantificationConstraint
`[SS]`	状态规范	状态空间结构/类型签名	类型规范	QuantificationConstraint
`[DR]`	设计理由	设计决策原理依据	原理说明	无（元数据）
`[CR]`	交叉引用	结构化引用外部规则定义	引用映射	无（元数据）

注：本表为抽象语义分类；[TD]/[CM]/[CD]/[CC]/[CS]/[SS] 书写前缀经载体映射落库（ $CR: dsl:Sec.4.5@see$ ），当前库中无独立 [TD]/[CD]/[CC]/[CS]/[SS] 定义前缀。

1.3 规则冲突解决（ConflictResolution）

冲突裁决唯一权威：GlobalDecisionKey （ $CR: axioms:Def.GlobalDecisionKey@consume$ ）------元组结构 ⟨Axis,Layer,Specificity,Timestamp⟩ 与字典序比较的权威定义见 axioms.md §3，此处不重复。

层内排序（公理>规范>策略>反模式）与跨层优先级统一由 GlobalDecisionKey 裁决，不再各自分散定义（权威见 axioms.md §3）。

§二、层级与焦点

2.1 层级实例化

// 本表为【引擎运算层级轴】实例化（两轴独立编号: 领域轴= $L0,L0.5,L1,L2,L3$ 规则分类见 §1.1/axioms.md §0; 引擎轴含 L1=控制流/迭代循环; 权威: $CR: axioms:SEP.AxisIndependence@align$ | 勿与领域轴混用）

$Level$ L0: 项目结构,模块边界,通信模式,路径规范 | focus:P_plan,P_complete | strategy:PathStrategy,CommunicationMode

$Level$ L1: 控制流,迭代循环,错误熔断,状态恢复 | focus:P_exec_verify | strategy:ErrorHandler,CompactProcedure,StateRecovery

$Level$ L2: 实现细节,代码质量,设计模式,内聚性 | focus:P_exec_prep,P_exec_core | strategy:CodeStandard,CohesionCheck

$Level$ L3: 工具调用,文件操作,语言特性,参数格式 | strategy:ReadStrategy,ToolSelect,FormatCheck

2.2 作用域

$Type$ ScopeType = global | loop_body | procedure | single_call | 语义见 $CR: axioms:Type.Scope@consume$ （Scope=合法动作子集）

2.3 焦点决策

$SM$ FocusDecision: explicitMark≠null→explicitMark(覆盖优先) | otherwise→阶段映射(基线) | comb:CR: logic:LO.Resolve@inst 策略=table

§三、统一上下文使用（Context）

3.1 引擎配置参数（L3）

行为阈值收敛至 Strategy 层（ $CR: axioms:Sec.9@see$ MAX_PROGRESS/BUDGET_*）；本表仅保留引擎执行侧参数。

| 参数名 | 值 | 说明 |

|--------|-----|------|

| EXEC_TIMEOUT | 30(s) | 循环单步执行体超时 |

| ROUNDS | 3 | 标准轮次数（ProgressToken 语义上限对齐 $CR: axioms:Param.MAX_PROGRESS@consume$ ） |

| SUBROUND_MAX_ATTEMPTS | 3 | 子轮最大尝试 |

| SUCCESS_CRITERIA | pass∧(n≥1) | 成功判定 |

| VERIFICATION_CRITERIA | eval=pass | 验证判定 |

| RECENT_CHAIN_COUNT | 3 | 压缩后加载的推理链条数（CompactProcedure） |

| EMERGENCY_DUMP_MAX_CHARS | 500 | 紧急转储最大字符数 |

| COLLECT_PATTERNS | [{key:"[A-Za-z]+\\[.*\\]",action:"parse"},...] | Collect 阶段解析模式 |

3.2 模式预设（Profile 实例）

$Profile$ SAFE: MODE=SAFE | delta:{MAX_PROGRESS=1} | sem:单次执行, 防呆

$Profile$ DEVELOP: MODE=DEVELOP | delta:{MAX_PROGRESS=5, BUDGET_RETRY_LIMIT=2} | sem:诊断级调试, 熔断更宽松

Profile\] CAMPAIGN: MODE=CAMPAIGN \| delta:{MAX_PROGRESS=10, RECENT_CHAIN_COUNT=5} \| sem:多轮长任务, 跨轮比较依赖 \[CR: theorems:TH.TH-9@deriv

3.3 上下文实例与数据字段

状态唯一权威：Context（ $CR: axioms:Type.Context@consume$ ）。引擎侧不再存在散落的 $StateVar$ 计数器。

数据字段实例见 $CR: axioms:Type.Context@consume$ （Context.data = {operationLog, fileCache, toolCallHistory, last, lastFileHash} 字段权威; 纯数据存储, 非状态机输入）。

$SM$ ParallelMerge: 并行子任务状态合并(StateSnapshot+StateMerge) | comb:CR: logic:LO.Aggregate@inst 策略=key | 领域: @parallel

$SM$ OperationLogParallelProtection: operationLog 并行写保护(单写者) | 消费方: @parallel

SM\] StateRecovery: StateValidity 三定律校验通过后恢复(ANTI-COGNITIVE-SPLIT 修复) \| 校验失败→不恢复, 见 \[CR: axioms:AX.StateSnapshot@consume

3.4 认知状态评估

$QA$ StateValidity: cognitive↔world 对齐评估 | 三定律: InternalConsistency(内部自洽) / ExternalConsistency(外部一致性) / HistoricalIntegrity(历史完整) | 聚合例外(⊥:=T)经 Assess(truth_map) | comb:CR: logic:LO.Assess@inst 策略=truth_map | 输出: pass/partial/fail

3.5 初始化钩子

$SM$ ModeEntryConstraint: 轮次进入须匹配模式配置 | config∈ConfigSpace(R.mode) | 违规→TerminationPriority(TO) | comb:CR: logic:LO.Resolve@inst 策略=table

§四、五步模型

标准流水线 = Assess(判定) → Aggregate(聚合) → Resolve(裁决)（ $CR: logic:Sec.3@see$ ）。轮次语义见 $CR: axioms:AX.RoundLifecycle@consume$ 。

4.1 决策输出（LoopDecisions）

$SM$ DecideDrivenUpdate: 读 ProgressToken/FailureBudget/ControlFlag 输出决策 | 决策域权威: $CR: axioms:AX.DecisionOutputSet@consume$ （{TS,TO,TM,switch_strategy,continue}; TS 产生条件=SUCCESS_CRITERIA(pass∧n≥1) 达成）

| TM/TO ← $CR: axioms:AX.TerminationPriority@consume$ （终止判定, 分支语义以公理为准）

| halt=1 → TM | else → continue/switch_strategy（continue 为循环级继续决策, 不受 Scope 约束; switch 需 Scope 允许）

| comb:CR: logic:LO.Resolve@inst 策略=table

4.2 公理实例化链

// 五步（Execute→Collect→Evaluate→Decide→Adjust）的步骤语义与转移约束以 $CR: axioms:AX.RoundLifecycle@consume$ 为唯一权威，本节不再重复；下仅登记各步实例载体。

4.3 循环通用模型

SM\] LoopModel: L1 控制流 \| 轮次边界重算焦点/上下文 \| 轮内更新见 §4.5/§4.6 \| 消费方: \[CR: axioms:AX.RoundLifecycle@consume

4.4 初始化

SM\] InitializationHook: 进入轮次时: token=max(0,token) ∧ budget=0 ∧ flag.clear \| 前置: \[CR: axioms:AX.InitialState@consume

4.5 进度与熔断维护

$SM$ EvaluateDrivenUpdate: 依据 eval 更新 ProgressToken/FailureBudget | 唯一写入入口, 防并发置位 |

| eval=pass → token.value=max(0, token.value-1)（成功回退）

| eval∈{fail,partial,parse_error} → token.value=min(token.value+1, MAX_PROGRESS)（失败递增, 唯一计数依据）

| FailureBudget 升降级依 $CR: axioms:AX.FailureBudgetEscalation@consume$ （error 统一计入, 含 compilation_error）

| comb:CR: logic:LO.Resolve@inst 策略=table

4.6 更新规则

$SM$ AttentionDecay: attentionTemperature 收敛(轮次边界重算) | 无 ctx/feedback 乘法调制（ $CR: axioms:AX.AttentionWeighting@consume$ ）

§五、循环、错误与配置

5.1 循环模式（Pattern 实例）

$Pattern$ SimpleRetry: Axioms: $CR: axioms:AX.FirstCallTransient@consume$ + $CR: axioms:AX.TransientRetryNoCost@consume$ | StrategyRules:handle(error,Scope={retry}) | Params:{RetryLimit=1}

$Pattern$ IterativeDebug: Axioms: $CR: axioms:AX.RoundLifecycle@consume$ | StrategyRules:EvaluateDrivenUpdate+handle(error,Scope={retry,switch}) | Params:{ProgressToken 上限=MAX_PROGRESS}

$Pattern$ BatchPolling: Axioms: $CR: axioms:AX.RepeatedCallStable@consume$ | StrategyRules:Collect+Polling | Params:{PollInterval, 空结果→empty_result}

$Pattern$ NestedLoop: Axioms: $CR: axioms:AX.SubRoundInitialState@consume$ | StrategyRules:内层独立 Context 快照(ANTI-NESTED-POLLUTION) | Params:{SUBROUND_MAX_ATTEMPTS}

$Pattern$ MultiRoundStrategy: Axioms: $CR: axioms:AX.TerminationPriority@consume$ + $CR: theorems:TH.TH-9@deriv$ | StrategyRules:跨轮比较(bestResult) | Params:{ROUNDS, SUCCESS_CRITERIA}

5.2 错误处理（统一 handle(error, Scope)）

单一入口：handle(error, Scope)（ $CR: axioms:Def.handle@consume$ ）+ 纯分类器 ClassifyError（ $CR: axioms:Gate.ClassifyError@consume$ ）。

$SM$ ErrorHandler: 执行 handle(error, Scope) 输出动作 | 裁决执行: $CR: axioms:AX.FailureBudgetEscalation@consume$ |

| Action=halt → ControlFlag.halt=1 ∧ PersistFlag=true（持久化现场） | Action=retry → 重试(RetryLimit 参数化) | Action=switch → 切换策略(Scope 合法子集内) | Action=continue → 继续

| Scope 注入: loop_body→{halt,retry,switch} | single_call→{halt,retry} | procedure→{halt} | global→{halt}

| comb:CR: logic:LO.Resolve@inst 策略=table

5.3 配置注入

SM\] ConfigInjection: 配置注入钩子 \| 参数来源优先级: 显式实参 \> 模式预设(Profile) \> 全局默认 \| 冲突裁决: \[CR: axioms:Def.GlobalDecisionKey@consume

5.4 状态一致性守护

SM\] SyncGuard: 外部状态同步校验(ANTI-CACHE-HALLUCINATION 修复) \| 消费方: \[CR: axioms:AX.StateMerge@consume

$SM$ IdempotencyGuard: 幂等校验(ANTI-REPEATED-EDIT 修复) | 依据: Context.data.last/lastFileHash

§六、策略与规范

6.1 工具策略

$Gate$ ToolStrategy.Toolchain: 工具链编排 | comb:CR: logic:LO.Resolve@inst 策略=table | 领域: 工具调用

$Gate$ ToolStrategy.ToolPriority: 工具优先级 | comb:CR: logic:LO.Resolve@inst 策略=chain

$Gate$ ToolStrategy.ToolSelect: 工具选择 | comb:CR: logic:LO.Resolve@inst 策略=table

SM\] FormatCheck: 工具调用五要素校验 \| 判定=Assess(conjunction, 五要素)（\[CR: logic:LO.Assess@inst\]）\| 违规→Resolve(table)→block/parse_error \| 权威: \[CR: axioms:AX-META.ToolCallWellFormedness@consume

6.2 检索与读取

$SM$ ReadStrategy: 按需读取(非全量) | comb:CR: logic:LO.Resolve@inst 策略=table | 关联: ANTI-BLIND-READ/ANTI-OVER-READ/ANTI-DEPTH-MISMATCH

$SM$ CalculateCost: 读取成本量化(逐点vs聚合) | comb:CR: logic:LO.Aggregate@inst 策略=window | 关联: ANTI-POINTWISE-READ

$SM$ InfoDomain: 信息域声明 | 关联: ANTI-BLIND-READ

6.3 路径与格式

SM\] PathStrategy: 路径格式策略(direct_api=absolute_with_backslash \| cli=absolute_with_backslash \| sandbox=escaped_or_forward_slash) \| 参数配置权威: \[CR: project:Sec.1.4@see

$Gate$ FormatReassert: 格式指令重申(上下文膨胀/被推挤至中部时) | 权威: $CR: axioms:AX.FormatInstructionLocality@consume$ | 触发条件: attentionTemperature≤ATTENTION_TEMP_MIN ∨ ctx_watermark≥CTX_WATERMARK ∨ 长工具数据返回

$SM$ VB: 验证块 | 消费方: ③Evaluate 阶段

6.4 异常与修复

$Gate$ ThrowRule: 违规类型→异常类型表驱动映射(创建/配置/状态/查找/参数/越界) | 表权威: $CR: project:Sec.1.5@see$ | comb:CR: logic:LO.Resolve@inst 策略=table

$SM$ FixPriority: 修复优先级(编译>运行时>逻辑) | 表权威: $CR: project:Sec.1.6@see$ | comb:CR: logic:LO.Resolve@inst 策略=chain

$SM$ CodeStandard: 代码标准校验(白名单覆盖见 $CR: project:Sec.1.7@see$ ) | 违规→block | comb:CR: logic:LO.Resolve@inst 策略=table

6.5 质量与内聚

SM\] CohesionCheck: 内聚性判定(方法数\>GOD_CLASS_THRESHOLD ∨ 行数\>LINES_THRESHOLD → 低内聚) \| 阈值配置权威: \[CR: project:Sec.1.8@see

$SM$ CohesionLowStrategy: 低内聚处理策略 | comb:CR: logic:LO.Resolve@inst 策略=chain

// 依赖环检测的引擎实现 = 校验器检查4（循环依赖, references.md §2）; 公理权威: $CR: axioms:AX.DependencyCycleDetection@consume$ （formula 不再重复定义同名符号）; 反模式: ANTI-CYCLIC-AGGREGATION

6.6 一致性策略

SM\] InternalConsistency: 内部自洽校验 \| \[SM\] ExternalConsistency: 外部一致性校验 \| \[SM\] HistoricalIntegrity: 历史完整校验 \| 三者并见 \[CR: formula:SM.StateValidity@consume

6.7 写侧预防

Gate\] ShouldWrite: 写前判定是否必要(存量清理前置预防) \| comb:[CR: logic:LO.Resolve@inst](%E2%9F%A8Resolve%E2%9F%A9) 策略=table \| 关联: ANTI-BLOAT \| 消费方: \[CR: axioms:Strategy.RedundancyElimination@consume

§七、规范流程

7.1 废弃流程

$SM$ FileDeprecationFlow: check_references → move_to_deprecated → apply_exclusion → verify_isolation → register_cleanup | 配置权威: $CR: project:Sec.2@see$ | comb:CR: logic:LO.Resolve@inst 策略=fsm

7.2 格式自纠正

$SM$ FormatSelfCorrection: 解析失败→重置为 Schema 标准结构→重试 | 权威: $CR: axioms:AX-META.OutputWellFormedness@consume$ | comb:CR: logic:LO.Resolve@inst 策略=table | 关联: ANTI-PLACEHOLDER-PARAM/ANTI-TAG-MIXING/ANTI-FAILURE-REUSE

7.3 污染重置

$SM$ PollutionReset: 错误格式上下文污染隔离与重置 | 权威: $CR: axioms:AX-META.ContextPollutionIsolation@consume$ | comb:CR: logic:LO.Resolve@inst 策略=table | 关联: ANTI-CONTEXT-POLLUTION

7.4 推理压缩

$SM$ CompactProcedure: 压缩历史推理链(RECENT_CHAIN_COUNT) | 消费方: $CR: axioms:AX-CORE.InformationMonotonicity@consume$ | comb:CR: logic:LO.Aggregate@inst 策略=causal | 关联: ANTI-REASONING-AMNESIA

7.5 推理持久化

$SM$ ReasoningPersistence: 关键推理落盘(changeLog) | 关联: ANTI-UNLOGGED-FIX | comb:CR: logic:LO.Resolve@inst 策略=fsm

7.6 后处理

$SM$ PostProcess: 结果后处理 | 消费方: $CR: axioms:AX.ResultComposition@consume$ （latest_terminal=argmax_{chain}causal_chain_depth, Aggregate 策略=key）

§八、反模式索引

编码格式统一为 @ ID | 循环执行特有见 §8.1；通用反模式见 §8.2。

8.1 循环执行特有反模式

@ ANTI-NO-TERMINATION: affected:{循环} | severity:{高} | symptom:{无终止条件循环} | fix:{ProgressToken≥MAX_PROGRESS 终止}

@ ANTI-UNLOGGED-FIX: affected:{修复过程} | severity:{中} | symptom:{修复不记录} | fix:{维护 changeLog}

@ ANTI-RAW-OUTPUT-LOSS: affected:{Collect} | severity:{中} | symptom:{不收集原始输出} | fix:{保留原始输出+解析指标}

@ ANTI-EXCESSIVE-SWITCH: affected:{switch_strategy} | severity:{高} | symptom:{过度策略切换} | fix:{FailureBudget.level≥2 限制 switch（阈值权威: $CR: axioms:Sec.9@see$ ）}

@ ANTI-NESTED-POLLUTION: affected:{嵌套循环} | severity:{高} | symptom:{嵌套状态污染} | fix:{内层独立 Context 快照}

@ ANTI-EMPTY-IGNORED: affected:{空结果} | severity:{中} | symptom:{忽略空结果合法} | fix:{FirstCallTransient/RepeatedCallStable}

@ ANTI-PARALLEL-RACE: affected:{@parallel} | severity:{高} | symptom:{并行状态竞争} | fix:{StateSnapshot+ParallelMerge}

@ ANTI-RECOVERY-SKIP: affected:{状态恢复} | severity:{中} | symptom:{恢复校验跳过} | fix:{StateValidity 三定律校验后恢复}

8.2 通用反模式索引

ID	反模式	对应规则	严重	自动修复
`@ ANTI-COMPILE-LEFTOVER`	编译错误遗留	FixPriority	高	否
`@ ANTI-CODE-QUALITY`	代码质量违规	CodeStandard	中	部分
`@ ANTI-EXCEPTION-ABUSE`	异常处理不当	ThrowRule	中	否
`@ ANTI-LOW-COHESION`	内聚性违规	CohesionCheck	低	否
`@ ANTI-CYCLIC-AGGREGATION`	循环聚合	DependencyCycleDetection	高	否
`@ ANTI-OVER-DESIGN`	过度设计	CohesionCheck	低	否
`@ ANTI-BLIND-READ`	盲目读取	InfoDomain	中	否
`@ ANTI-POINTWISE-READ`	逐点读取	CalculateCost	低	否
`@ ANTI-OVER-READ`	过度读取	ReadStrategy	中	否
`@ ANTI-DEPTH-MISMATCH`	深度不匹配	ReadStrategy	中	否
`@ ANTI-COGNITIVE-SPLIT`	认知分裂	InternalConsistency	高	是(StateRecovery)
`@ ANTI-CACHE-HALLUCINATION`	缓存幻觉	ExternalConsistency	高	是(SyncGuard)
`@ ANTI-REASONING-AMNESIA`	推理失忆	HistoricalIntegrity	高	是(CompactProcedure)
`@ ANTI-PHASE-STICK`	阶段粘连	FocusDecision	低	否
`@ ANTI-BLOAT`	模块膨胀	CohesionCheck	低	否
`@ ANTI-COMPACT-DECISION`	压缩决策不当	CompactProcedure	高	否
`@ ANTI-ATTENTION-SPREAD`	注意力弥散	AttentionWeighting	中	是(权重层级降权)
`@ ANTI-EMPTY-DEADLOOP`	空结果死循环	ErrorHandler	高	是(FailureBudget 熔断)
`@ ANTI-REPEATED-EDIT`	反复修改	IdempotencyGuard	中	是
`@ ANTI-PLACEHOLDER-PARAM`	占位符参数	FormatCheck	高	是(FormatSelfCorrection)
`@ ANTI-TAG-MIXING`	标签混用	FormatCheck	高	是(FormatSelfCorrection)
`@ ANTI-FAILURE-REUSE`	失败复用	FormatSelfCorrection	中	是
`@ ANTI-STRUCTURE-DRIFT`	结构漂移	OutputWellFormedness	高	是(FormatSelfCorrection)
`@ ANTI-LAYER-LEAK`	层级泄漏(L1 熔断应用到 L2/L3)	FocusLayer	高	是(按 FocusLayer 过滤)
`@ ANTI-SYNTAX-OVERRIDE`	语法越权(工具失败触发架构决策)	FocusLayer	中	否
`@ ANTI-SCOPE-ESCAPE`	作用域逃逸	ScopeGuard	高	是(按 ScopeGuard 过滤)
`@ ANTI-FIDELITY-LOSS`	保真丢失	FormatFidelity	中	否(Collect 保留原始输出)
`@ ANTI-CONTEXT-POLLUTION`	错误格式上下文污染	ContextPollutionIsolation	高	是(PollutionReset)
`@ ANTI-ATTENTION-DILUTION`	注意力稀释格式退化	FormatInstructionLocality	中	是(FormatReassert)
`@ ANTI-DUPLICATED-IMPLEMENTATION`	重复实现	SingleImplementation $Strategy$	高	是（修复动作见 $CR: axioms:Strategy.SingleImplementation@consume$ ）
`@ ANTI-REDUNDANT-CODE`	冗余代码	RedundancyElimination $Strategy$	中	是（修复动作见 $CR: axioms:Strategy.RedundancyElimination@consume$ ）
`@ ANTI-ERRONEOUS-LOGIC`	错误逻辑	LogicCorrectness $Strategy$	高	是（修复动作见 $CR: axioms:Strategy.LogicCorrectness@consume$ ）

逻辑运算法则库（Logic Operator Library）--- 极简内核层（Kernel）

层级：Kernel | 职责：仅定义 3 个高阶函数（Higher-order Functions）+ 端口组合不变式。

单向依赖 ：Kernel（本文件）→ Strategy（axioms.md）→ Domain（formula.md），禁止反向 def 引用（Kernel 不得定义/重定义 Strategy/Domain 符号）。注: Kernel 行内以 @consume/@inst 标注消费场景（如 $CR: axioms:AX-CORE.TruthValueDomainLogic@consume$ 、 $CR: formula:SM.StateValidity@inst$ ）仅作语义锚点, 不构成 def 依赖, 不违反单向约束。

无需证明其"1-等价"或"截断误差"；符号引入顺序/优先级由代码模块的 import/require 依赖图（DAG） 自动推导，不再人工维护拓扑序矩阵。

消费方式 ：消费方以 法则名(实参, 策略=...) 套用；策略参数为具名实例化锚点（如 [CR: logic:LO.Resolve@inst]）。

§0 法则声明语法（ $LO$ ）

复制代码

[LO] 法则名: in{端口} out{输出} | 策略:{策略参数} | 实例:{消费方} | layer:Ln

端口实参位序即连接语义；步骤序不得交换。
策略参数 = 将旧"具名派生法则"收敛为单一高阶函数的参数化选项；不再逐条登记派生法则正文（step/端口/约束随策略参数继承基底）。
基底仅 3 个高阶函数（§1）；Domain 层以 [SM]/[Gate]/[Pattern] 作具名实例，不新增基底法则。

§1 基底：3 个高阶函数

$LO$ Assess: in{SUB*≥2, Map} out{φ∈{T,F,⊥}} | 策略:{conjunction|projection|truth_map} | layer:L1

| conjunction: D=∧SUBᵢ（合取; ⊥ 按 Scott 域吸收律, 真值域见 $CR: axioms:AX-CORE.TruthValueDomainLogic@consume$ ）

| projection: D=Map∘J（投影判定; J=判定映射/Judgment, 即旧 Judge 收敛后的投影函子, 见下方吸收旧法则）

| truth_map: 真值映射/重赋值（如 ⊥:=T, StateValidity 聚合例外见 $CR: formula:SM.StateValidity@inst$ ）

// 吸收旧法则: Judge / AndGate / FormEquivalence / Project / TruthProjection

$LO$ Aggregate: in{Π, op, anchor} out{候选集 v} | 策略:{key|causal|window|weight} | layer:L1

| key: op=argmax_by(key), 空集→fallback（键升序→末位取）

| causal: op=chain-max, anchor=F(递推函数)

| window: op∈{max,min,sum,count}

| weight: op=convex-mix(EWMA: v'=α·v+(1-α)·in)

// 吸收旧法则: Merge / OrderedMerge / SmoothMerge / WindowAggregate / ArgMaxBy / Recurrence / CausalAccumulate

// 注: WeightedCombine（乘法归一）已废除------注意力权重不再乘法归一化, 见 $CR: axioms:AX.AttentionWeighting@consume$

$LO$ Resolve: in{X, R, default} out{分支动作/决策} | 策略:{table|chain|fsm|state_assign} | layer:L1

| table: R=RouteTable(表驱动), default=Block/否 | 吸收旧: Gate / ViolationNorm / Route

| chain: Ch(优先级链 desc-order), default | 吸收旧: OrderedResolve

| fsm: δ=TransTable, S₀, Halt | 吸收旧: StateTransition

| state_assign: N=状态字段重赋值表, default=S 原值 | 吸收旧: Normalize

// 末路完备: default≠∅ ∨ Halt≠∅, 禁悬空裁决

§2 端口组合不变式（P1-P5）

复制代码

P1: acyclic(组合) ↔ topo(组合)（O(V+E)）  // 有向无环; 由 import/require DAG 自动推导, 替代旧符号矩阵 R1 引入序
P2: ∀L_low:out_sig(L_low)≠∅ ∧ layer<L3 → ∃L_high:conn(L_low,L_high)  // 层间连通
P3: 实参位序即端口语义; 同法则内位序唯一  // 连接即语义
P4: 组合可提取为具名实例（Domain 层以 [SM]/[Gate]/[Pattern] 登记, 不新增基底法则）
P5: ∀Resolve 实例: default≠∅ ∨ Halt≠∅

§3 标准流水线（Pipeline）

复制代码

seq = Assess(判定) → Aggregate(聚合) → Resolve(裁决)

组合示例：⟨Assess(conjunction) → Resolve(table)⟩ = 判定合取 + 表驱动裁决（如 FormatCheck 五要素判定 → block/parse_failure，见 $CR: formula:SM.FormatCheck@inst$ ）。

符号引用注册中心（Reference Registry）

层级：元层（元数据） | 职责：全库 [CR] 结构化符号引用的注册、校验与变更治理。

文法权威 ：[CR: dsl:Sec.4]（本文件不重复定义文法；文法、定界符、枚举表见 dsl.md §4）。

生成声明 ：本文件为【纯编译产物】------由 Check-ClinerulesReferences.ps1 -UpdateIndex 整份生成（含全部规则章节），索引唯一权威 = 源文件定义点。禁止手工编辑；内容变更须作用于 dsl.md（枚举/文法）、源库定义点（符号）、脚本（校验与生成逻辑）后重新生成。

范围：clinerules/ 六库（axioms/formula/theorems/logic/project/dsl）+ Instruction/（预留扩展）。其中符号索引编译库为 axioms/formula/theorems/logic；project/dsl/instruction 库不参与符号索引编译，其引用经 Sec 节引用（如 [CR: project:Sec.1.8@see]）或旧形态文件引用解析。

索引模式 ：编译式------符号索引由 Check-ClinerulesReferences.ps1 从源文件定义点扫描编译（幂等），本文件为只读快照。

§0 核心约定

约定	内容
编译式索引	索引唯一权威 = 源文件定义点（`[AX]`/`[Def]`/`[Type]`/`[Gate]`/`[SM]`/`%`/`## TH-n` 等）；references.md 为编译产物
物理锚点 = 逻辑符号	定义处 `<a id="{锚点ID}">` 与符号主键严格一致（生成规则 `[CR: dsl:Sec.4.7]`）
单源事实	每个符号至多一个 `def` 权威点；`deriv`/`inst` 必须最终可达某 `def`
废弃即禁入	定义处 `dep:"replaced-by(X)"` 标注 → 编译出 `#dep`，禁止被新 `[CR]` 指向（linter 强制）
锚点 ID 不可变	变更 = 新增 ID + 旧 ID 置 `dep`
存量兼容	旧形态引用不阻断解析，linter 标记"待迁移"（映射见 `[CR: dsl:Sec.4.3]`）

§1 符号索引（编译产物）

1.1 编译规则

源文件形态	编译产物	说明
`[AX] StateSnapshot:`	`AX.StateSnapshot`	缺省意图 `def` 不写
`[AX-CORE] AxiomHierarchyStructure:`	`AX-CORE.AxiomHierarchyStructure`	类型前缀即符号类型
`[Def] op.needsSync:`	`Def.op.needsSync`	含点符号原样
`% MAX_PROGRESS=int:3`	`Param.MAX_PROGRESS`	配置参数
`## TH-6: ...`	`TH.TH-6@deriv`	推论自动 `deriv`
`[Gate]/[SM]/[SEP]/[Profile]/[Pattern]`	对应 STYP	语义类型映射
定义处 `dep:` 标注	行尾 `#dep`	废弃自动跟随

1.2 索引数据（源扫描编译快照）

编译快照：2026-08-05 00:05:10 | 源扫描 189 个符号（索引权威=源文件, 本区勿手改）

axioms 库

AX.AttentionConflictResolution

AX.AttentionWeighting

AX.ConflictResolutionPolicy

AX.DecisionOutputSet

AX.DependencyCycleDetection

AX.EntryCondition

AX.EvaluationOutcomeSet

AX.ExecutionStateTaxonomy

AX.ExploratoryEntry

AX.FailureBudgetEscalation

AX.FailureSubtyping

AX.FirstCallTransient

AX.FocusLayer

AX.FormatInstructionLocality

AX.InitialState

AX.InitialStateNullity

AX.IntentClassification

AX.ParamResolutionFallback

AX.ParseErrorStatus

AX.ReferenceGuardedDeprecation

AX.RepeatedCallStable

AX.ResultComposition

AX.ResultStructure

AX.RoundCompletion

AX.RoundIndependence

AX.RoundLifecycle

AX.RoundTransition

AX.ScopeAnchor

AX.ScopeGuard

AX.SemanticEvolutionLifecycle

AX.StateMerge

AX.StateSnapshot

AX.StructuralGrounding

AX.SubRoundInitialState

AX.TerminationPriority

AX.TransientResultReevaluation

AX.TransientRetryNoCost

AX-CORE.AxiomHierarchyStructure

AX-CORE.ConcurrentComparisonUndefined

AX-CORE.DecisionTrigger

AX-CORE.EssentiallyUndecidable

AX-CORE.InformationMonotonicity

AX-CORE.QuantificationConstraint

AX-CORE.SyncProtocolTriple

AX-CORE.TruthValueDomainLogic

AX-FRAME.CountableOrderBridge

AX-FRAME.StratifiedReflectionSchema

AX-META.ContextPollutionIsolation

AX-META.FormatFidelity

AX-META.MetaEvolution

AX-META.OutputWellFormedness

AX-META.ToolCallWellFormedness

BAX.IDI_Framework

BAX.TriPerspectiveStructure

BAX-C.Continuum-Dynamics

BAX-C.Continuum-Metric

BAX-C.Continuum-SamplingThreshold

BAX-C.Continuum-Superposition

BAX-D.Discrete-AtomicStep

BAX-D.Discrete-Countability

BAX-D.Discrete-Enumeration

BAX-D.Discrete-ExactEquality

BAX-IDI.IDI-Difference

BAX-IDI.IDI-HistoryEmergence

BAX-IDI.IDI-Identity

BAX-IDI.IDI-Interaction

BAX-TIME.CausalCone

BAX-TIME.LogicalClock

BAX-X.Coupling-Embedding

BAX-X.Coupling-ObservationCollapse

BAX-X.Coupling-Sampling

Def.Committed

Def.completed

Def.enters

Def.GlobalDecisionKey

Def.handle

Def.isFresh

Def.op.needsSync

Def.R.goals

Def.scalarizable

DR.AxiomAxisDeclaration

Gate.ClassifyError

Param.ATTENTION_EPSILON

Param.ATTENTION_TEMP_MIN

Param.BUDGET_ALLOC

Param.BUDGET_RETRY_LIMIT

Param.CTX_WATERMARK

Param.MAX_PROGRESS

Param.META_THRESHOLD

Param.RECONFIRMATION_WINDOW

SEP.AxisIndependence

Strategy.LogicCorrectness

Strategy.RedundancyElimination

Strategy.SingleImplementation

Type.Action

Type.AttentionTemperature

Type.AttentionWeight

Type.Context

Type.Contexts

Type.ControlFlag

Type.DecisionDomain

Type.Entity

Type.ErrorClass

Type.Event

Type.ExploratoryRound

Type.FailureBudget

Type.Iteration

Type.Judgment

Type.L.I.State

Type.LoopDecisions

Type.Modes

Type.OBSERVER

Type.Output

Type.Phases

Type.PrimitiveAllowedTypes

Type.ProgressToken

Type.Quality

Type.Round

Type.Rules

Type.Sample

Type.Schema

Type.Scope

Type.Signature

Type.State

Type.Verifiable

formula 库

Gate.FormatReassert

Gate.ShouldWrite

Gate.ThrowRule

Gate.ToolStrategy.Toolchain

Gate.ToolStrategy.ToolPriority

Gate.ToolStrategy.ToolSelect

Pattern.BatchPolling

Pattern.IterativeDebug

Pattern.MultiRoundStrategy

Pattern.NestedLoop

Pattern.SimpleRetry

Profile.CAMPAIGN

Profile.DEVELOP

Profile.SAFE

SM.AttentionDecay

SM.CalculateCost

SM.CodeStandard

SM.CohesionCheck

SM.CohesionLowStrategy

SM.CompactProcedure

SM.ConfigInjection

SM.DecideDrivenUpdate

SM.ErrorHandler

SM.EvaluateDrivenUpdate

SM.FileDeprecationFlow

SM.FixPriority

SM.FocusDecision

SM.FormatCheck

SM.FormatSelfCorrection

SM.IdempotencyGuard

SM.InfoDomain

SM.InitializationHook

SM.InternalConsistency

SM.LoopModel

SM.ModeEntryConstraint

SM.OperationLogParallelProtection

SM.ParallelMerge

SM.PathStrategy

SM.PollutionReset

SM.PostProcess

SM.ReadStrategy

SM.ReasoningPersistence

SM.StateRecovery

SM.StateValidity

SM.SyncGuard

SM.VB

Type.ScopeType

theorems 库

TH.TH-1@deriv

TH.TH-10@deriv

TH.TH-11@deriv

TH.TH-12@deriv

TH.TH-13@deriv

TH.TH-14@deriv

TH.TH-2@deriv

TH.TH-3@deriv

TH.TH-4@deriv

TH.TH-5@deriv

TH.TH-6@deriv

TH.TH-7@deriv

TH.TH-8@deriv

TH.TH-9@deriv

logic 库

LO.Aggregate

LO.Assess

LO.Resolve

§2 校验器约定

校验器（PowerShellScript/DSL/Check-ClinerulesReferences.ps1）两遍扫描：

索引编译：扫描参与库全部定义点 → 编译符号索引（权威源，即本文件 §1 快照）；
引用解析 ：解析全部 [CR] 引用 → 对照索引执行：

检查 1 悬空引用 ：LIB:STYP.NAME 在符号索引中不可解析（当前已实现）
检查 3 废弃指向 ：[CR] 指向编译出 #dep 的符号（当前已实现）
检查 4 循环依赖 ：def 权威间 A→B ∧ B→A（当前已实现）
当前状态：严格引用 113 条、旧形态待迁移 0 条（本行由脚本在生成时更新）。

附：输出反向引用报告 （谁引用了 X）。输出：ref_report.json。-UpdateIndex 整份重编译本文件（重建 §1.2 索引与全部规则章节）。

§3 变更流程

场景	必须动作
新增符号	仅需在源文件定义（前缀 + 锚点 ID）→ 运行 `-UpdateIndex` 重编译
修改符号语义	更新定义处；若破坏兼容 → 执行「deprecated」流程
废弃符号	定义处 `dep:"replaced-by(Y)"` → `-UpdateIndex` 重编译 → 反向引用清单中 `[CR]` 限期改指向 Y
锚点重命名	视为废弃旧 ID + 注册新 ID（锚点 ID 不可变原则）
新增库/类型/意图	仅更新 dsl.md §4.4/4.5/4.6 枚举（脚本 `-UpdateIndex` 自动读取）→ 重编译生成，文法不变

§4 互操作（对接既有规则）

现有规则	对接方式
`DependencyCycleDetection` / `ANTI-CYCLIC-AGGREGATION`（formula §6.5）	检查 4 的循环依赖检测即其形式化实现
`dep = "replaced-by(X)"` 元数据键	编译索引 `#dep` 权威来源
`src = "[CR: ...]"` 元数据键	引用中 `deriv`/`inst`/`consume` 意图的结构化别名
axioms.md §10 符号速查	与其保持一致；§1 为机器校验编译快照

SystemPrompt 智能体系统提示词

Axioms DSL --- 状态与策略层（Strategy）

§0 层级结构声明

§1 类型与符号基底

§2 统一上下文（Unified Context）

§3 全局裁决键（Global Decision Key）

§4 错误分类与作用域（错误处理同构归一）

§5 错误熔断（FailureBudget 升降级，ErrorHandler 单一裁决）

§6 L0/L0.5/L1 基底公理（保留）

6.1 L0 CORE

6.2 L0 BAX

6.3 L0.5 META

6.4 L1 FRAME

§7 L2 领域公理（保留 + comb 收敛）

7.1 状态与一致性

7.2 轮次与循环

7.3 焦点与作用域

7.4 结果与评价

7.5 行为学（瞬态/稳态）

7.6 意图与消歧

§8 元级指导（Strategy 标注）

§9 配置参数（L3，运行时可变）

§10 附录：符号速查（导航，无矩阵）

Clinerules DSL 语法速查（system 版）

§0. 四项约定

§1. 行前缀与模板

§2. 元数据键（---meta块内 / 行内通用）

§3. 常用缩写

§4. 交叉引用（结构化符号引用）

4.1 正式文法（BNF）

4.2 定界符职责（唯一化）

4.3 存量对照迁移表

4.4 注册库枚举（LIB）

4.5 注册符号类型枚举（STYP）

4.6 注册意图枚举（INTENT）

4.7 锚点 ID 生成规则

4.8 校验约定（linter 四类检查）

§5. 文法注释（解析器实现参考）

公式体系（Formula Library）--- 领域应用层（Domain）

§一、公式类型体系

1.1 规则分类层级

1.2 公式类型定义

1.3 规则冲突解决（ConflictResolution）

§二、层级与焦点

2.1 层级实例化

2.2 作用域

2.3 焦点决策

§三、统一上下文使用（Context）

3.1 引擎配置参数（L3）

3.2 模式预设（Profile 实例）

3.3 上下文实例与数据字段

3.4 认知状态评估

3.5 初始化钩子

§四、五步模型

4.1 决策输出（LoopDecisions）

4.2 公理实例化链

4.3 循环通用模型

4.4 初始化

4.5 进度与熔断维护

4.6 更新规则

§五、循环、错误与配置

5.1 循环模式（Pattern 实例）

5.2 错误处理（统一 handle(error, Scope)）

5.3 配置注入

5.4 状态一致性守护

§六、策略与规范

6.1 工具策略

6.2 检索与读取

6.3 路径与格式

6.4 异常与修复

6.5 质量与内聚

6.6 一致性策略

6.7 写侧预防

§七、规范流程

7.1 废弃流程

7.2 格式自纠正

7.3 污染重置

7.4 推理压缩

7.5 推理持久化

7.6 后处理

§2. 元数据键（`---meta`块内 / 行内通用）

§0 法则声明语法（ $LO$ ）