rules prompt

领域规则与策略Domain Rules Strategies层级L2-L3 |职责领域公理实例化 策略/规范/流程/反模式源公理axioms.md §一-§八 |派生追溯derivation.md §一、§三-§五§0. 领域规则与公理体系的关系L0 逻辑基底axioms.md └─ L0.5 元推理规则MetaEvolution / 分层反射 └─ L2 领域公理本文件 §一L0 公理的工程领域特化 ├─ 规则实例通过 derivation.md 追溯至 L0 公理 └─ 状态变量实例通过 derivation.md 追溯至 L0 公理领域规则不引入新的 L0 逻辑基底——所有领域规则必须能追溯到 axioms.md 中的 L0/L0.5 公理领域规则可版本化——遵循 AxiomHierarchyStructure L2 invariants可版本化旧版存档领域规则的修改需 ≥2 验证者签名——遵循 AxiomHierarchyStructure L1 invariants修改需≥2验证者签名共识§一、公式类型体系1.1 规则分类层级层级性质可变性职责L0 支撑公理基底公理(L0)不可变基础不可变声明什么是逻辑上必然的定义于 axioms.md元推理规则(L0.5)逻辑骨架逻辑骨架不可变元层反射规则MetaEvolution_Rule领域公理(L2)领域不变式可版本化声明工程领域内的逻辑约束派生自 L0 公理策略(L2-L3)操作决策可变定义选哪个方案TruthValueDomainLogic规范(L2)约束条件可变定义必须/禁止FocusLayer ScopeGuard反模式(L2-L3)负面模式可变集中管理已知错误可引用任意层级流程(L3)步骤序列可变定义按什么顺序执行Discrete-AtomicStep StateSnapshot1.2 公式类型定义标识名称语义输出类型真值域约束公理[AX]领域公理声明声明工程领域内逻辑上必然的命题逻辑命题LogicalLayerSeparation[TD]阈值决策基于阈值比较输出决策枚举值TerminationPriority[CM]分类映射输入→类别的映射类别标签TruthValueDomainLogic[CD]条件决策基于条件分支输出决策枚举值TruthValueDomainLogic[SM]序列映射输入→有序步骤的映射步骤列表Discrete-AtomicStep[QA]质量评估基于标准输出质量等级pass/warn/failEvaluationOutcomeSet[CC]成本计算基于参数输出量化成本数值QuantificationConstraint[CS]约束声明声明外部约束 / 不变式约束命题QuantificationConstraint[SS]状态规范定义状态空间的结构 / 类型签名类型规范QuantificationConstraint[DR]设计理由记录设计决策的原理依据原理说明无元数据[CR]交叉引用结构化引用外部规则定义引用映射无元数据注[DR] 和 [CR] 不产生可执行输出仅作为文档结构化标记。1.3 规则冲突解决ConflictResolution同层规则冲突时按以下优先级裁决参数来源优先级由 ConfigInjection 定义规则特异性更具体的规则优先于通用规则时间顺序后定义的规则覆盖先定义的规则跨层优先级由公式类型层级隐含保证基底公理(L0) 领域公理(L2) 规范(L2) 策略(L2-L3) 流程(L3) 反模式(L2-L3)派生路径derivation.md §ConflictResolution参数来源优先级 → ConfigInjection本文件 §二规则特异性 → IDI-Difference [AX]时间顺序 → LogicalClock [AX]§二、配置注入ConfigInjection2.1 参数来源优先级运行时参数 项目配置(→ project.md) 环境变量(→ env:VAR) 默认值(→ default:val)2.2 参数缺失处理必需参数缺失→ 规则降级跳过依赖该参数的决策分支记入 operationLog可选参数缺失或类型不匹配→ 使用默认值2.3 L3 参数修改权限遵循 AxiomHierarchyStructure L3 invariants运行时可变权限分级config部署注入配置文件/环境变量/ConfigMap无需额外验证admin运行时修改需 Admin JWT 熔断校验部署环境覆盖 ≠ 用户输入修改——前者是配置注入后者需 admin 验证 熔断校验§三、认知状态评估StateValidityStateValidity(cognitiveState, worldState) [QA]Provides: 状态有效性评估结果valid/invalid/degraded公式InternalConsistency ∧ ExternalConsistency ∧ HistoricalIntegrity → valid ¬InternalConsistency → invalid InternalConsistency ∧ (ExternalConsistency ⊕ HistoricalIntegrity) → degraded otherwise → invalid三定律的 L0 公理派生定律公式L0 来源公理真值来源InternalConsistency¬∃partialOperation → trueIDI-Identity IDI-InteractionoperationLog因果锥内查询ExternalConsistency∀f∈fileCache: f.timestamp ≥ f.lastModifiedTime → trueIDI-Difference Discrete-ExactEqualitySyncGuard.sync_check 物理校验HistoricalIntegrity∀phase∈completed: phase.reasoningLog ≠ ∅ → trueIDI-HistoryEmergence RoundCompletionCompactProcedure.persist_reasoning 记录详细派生路径见 derivation.md §StateValidity评估前置条件调用 StateValidity 前应先通过 SyncGuard.sync_check 刷新 fileCachefileCache 非空时。若 sync_check 不可用评估结果应标注 ExternalConsistency 维度的可信度。空状态处理当fileCache ∅系统首次启动或空状态时跳过 ExternalConsistency 和 HistoricalIntegrity 两个维度的评估仅评估 InternalConsistency。InternalConsistencyfalse 处理直接判定为 invalid对应 StateRecovery 的 full_reset不进入 degraded 路径。§四、状态空间定义State Space Definitions状态变量的运行时实例存储于 engine.md §四 StateManager。InitialStateNullity [AX]引用[CR: axioms.md:InitialStateNullity [AX]]完整公式见 axioms.md∀x∈SystemState:LegalInitialState→x.intent∈{NO_DATA,NO_RESPONSE}本文件不重复定义以 axioms.md 为权威源ResultStructure [AX]引用[CR: axioms.md:ResultStructure [AX]]完整公式见 axioms.md∀R∈Iteration:R.result∈⟨status,terminal,quality,metadata,output⟩本文件不重复定义以 axioms.md 为权威源循环要素类型签名 [SS]维度类型规范内容输入InputSpace {opSequence, taskDef, ctxConfig}操作序列、任务定义、上下文配置输出OutputSpace ⊆ ResultSpace执行结果、状态报告、迭代历史副作用SideEffectSpace {externalStateMutation}外部系统状态变更共享状态SharedState StateManager.countersengine.md §四 StateManager 管理的计数器专用状态LoopStateSpace {iterationCount, bestResult, lastResult, changeLog, history}循环专属状态变量迭代类型签名 [SS]Iteration : InputSpace × SharedState → OutputSpace × SideEffectSpace Round : LoopStateSpace → LoopStateSpace§五、策略Strategies策略只做决策判断不含步骤序列。所有策略输出服从 TruthValueDomainLogic [AX] 的真值域三值语义。5.1 工具策略DeprecateStrategy(D, hasReference) [CD] Provides: 废弃决策cannot_delete/can_delete/no_actionD ∧ hasReference → cannot_delete·D ∧ ¬hasReference → can_delete·¬D → no_actionAmbiguityStrategy(semantics, phase) [CD] Provides: 歧义处理决策extract_to_shared_config/use_alias/remove_aliassame → extract_to_shared_config·different ∧ transition → use_alias·different ∧ migration_done → remove_aliasReferenceStrategy(depA→B, depB→A) [CD] Provides: 循环引用检测结果true/falsedepA→B ∧ depB→A → true·otherwise → falseRefactorStrategy(error) [CD] Provides: 重构优先级决策refactor_first/normal_priorityerror ∈ RefactorScope → refactor_first·otherwise → normal_priorityRefactorScope {模块迁移, 接口变更, 架构级改动}ConflictStrategy(hasReference, isFirstTime, deprecationConfig) [CD] 处理决策delete/firstTimeAction/retryAction¬hasReference → delete·hasReference ∧ isFirstTime → deprecationConfig.firstTimeAction·hasReference ∧ ¬isFirstTime → deprecationConfig.retryActionToolStrategy [CM] Provides: 工具选择决策{tools, timeout, mode} 三元组ToolPriority(toolType)available(external) → external·¬available(external) ∧ available(builtin) → builtin·otherwise → cliToolSelect(taskType)∈{file_io} → direct_file_ops·∈{analysis,processing} → sandbox_processing·∈{reasoning,decomposition} → structured_reasoning·∈{batch,multi_query} → batch_processing·otherwise → builtinToolchain(scene)scene → ToolchainMap[scene]查表模式。parallel标注表示该步骤可并发执行。新增场景只需在 ToolchainMap 中添加条目。Toolchain fallback若ToolchainMap[scene]未定义回退到 ToolSelect 分类路径。OnError(error) [CD] [layer: L2-L3, scope: single_call|global]Provides: 通用错误处理决策continue/report/halt通用错误分类策略。仅做错误分类不含循环计数器或熔断逻辑。循环场景下的错误处理由 engine.md §十 OnError 扩展。├─ error∈{partial_output, warning} → continue ├─ error∈{irrecoverable} → halt ├─ error∈{compilation_error} → halt非循环场景/ 见ExecutionFailureGate循环场景下由engine.md §六先处理支持重试 ├─ error∈{execution_failure, timeout} → report retry_optional ├─ error∈{resource_exhausted} → report halt └─ otherwise → report continue本策略不维护 retryCounter / emptyCount / switchCounter / forceHalt 等状态变量由 engine.md §四 StateManager 统一维护。循环场景L1 焦点层级且scope: loop_body下由engine.md §十 OnError扩展本策略叠加计数器规则和熔断逻辑。compilation_error 特殊处理循环场景下由 engine.md §六 ExecutionFailureGate 先处理支持重试直至 ONERROR_RETRY_LIMIT 后 TM不进入通用 OnError 的 halt 分支。作用域提示L2/L3 焦点层级按本通用策略处理错误。L1 循环体内的错误才激活 engine.md §十 的扩展决策树。KnowledgeDedup(entity, kb) [CD] Provides: 去重检查结果skip/recordhash(entity.name entity.content) ∈ kb.hashes → skip·otherwise → record kb.hashes.add(hash)备策略当 kb.hashes 未初始化时先search(entity.name)检查同名实体。存在则add_observations不存在则record。PathStrategy(execEnv, projectConfig) [CM] Provides: 路径格式映射execEnv → projectConfig.path.format[execEnv]· execEnv∈{direct_api, cli, sandbox}通用路径原则① 绝对路径原则 ② 禁止 cd ③ 兜底策略路径解析失败时尝试projectConfig.path.root④ 沙箱转义sandbox 路径使用\\或/Background(taskType) [CM] Provides: 后台运行判断taskType∈{dev_server,watcher,daemon}→true·otherwise→falseMergeServerRequest(hasServer, hasRequest) [CD] Provides: 合并决策merge_in_one_call/separatehasServer∧hasRequest→merge_in_one_call·otherwise→separateCohesionLowStrategy(methods, context) [CD]methods GOD_CLASS_THRESHOLD(40) → suggest_refactor request_confirmation AGGREGATE_THRESHOLD(30) methods ≤ GOD_CLASS_THRESHOLD(40) → record_as_intent keep_structure methods ≤ AGGREGATE_THRESHOLD(30) → no_action隐式聚合与无法区分场景context 显示功能分散但无统一入口时即使 methods ≤ GOD_CLASS_THRESHOLD也输出suggest_convergence当类型无法区分时默认按聚合类处理record_as_intent keep_structure。5.2 上下文策略CB(actionType) [CM] Provides: 上下文预算模式file_read→partial_read·code_execution→summary_only·batch_operation→batch_with_queries·doc_web→index_no_contentBudgetAlloc(phase) [CC]P_plan→较多预算用于信息收集·P_exec_prep→中等预算用于结构分析·P_exec_core→最大预算用于编码实现·P_exec_verify→少量预算用于验证·P_complete→不分配预算PD(phase) [CM] Provides: 阶段定义P_plan→(规划,{需求分析,方案设计,信息收集})·P_exec_prep→(执行-准备,{文件读取,代码理解,结构分析})·P_exec_core→(执行-核心,{编码,修改,重构,配置变更})·P_exec_verify→(执行-验证,{构建,测试,审查,验证})·P_complete→(完成,{attempt_completion})StateRecovery(stateValidity) [SM]invalid → full_reset·degraded → targeted_recovery·valid → no_action死锁消除统一为 full_reset消除 persistenceFileStatus 状态依赖。推理链持久化文件在 full_reset 中被清空并写入恢复标记。full_reset① 清空运行时缓存operationLog、fileCache→ ② 清空推理链持久化文件并写入恢复标记# FULL_RESET at {timestamp}→ ③ 重新扫描文件系统建立 fileCache → ④ 向用户报告状态已重置请求确认 → ⑤ 用户确认后继续进度标记不受影响full_reset 不清除 task_progress由外部系统维护。恢复后首次 StateValidityfull_reset 完成后首次 StateValidity 由初始化钩子自动跳过 ExternalConsistency 和 HistoricalIntegrity 两个维度。二次恢复防护推理链文件中的恢复标记在 full_reset 步骤②写入后CompactProcedure 的 persist_reasoning 将其作为当前阶段的推理记录写入推理链。后续 StateValidity 检查 HistoricalIntegrity 时该记录满足phase.reasoningLog ≠ ∅条件。targeted_recovery① 识别 degraded 的具体维度 → ② 仅恢复对应维度 → ③ 向用户报告部分状态已刷新任何压缩操作前必须先执行 StateValidity 检查invalid 状态不压缩先恢复。CompactDecision(phaseChanged, moduleDone, ctx_critical, stateValidity) [CD] Provides: 压缩类型决策none/phase_compact/module_compact/emergency_dumpctx_critical → emergency_dump·phaseChanged → phase_compact·moduleDone ∧ ¬phaseChanged → module_compact·otherwise → no_action优先级ctx_critical phaseChanged上下文截断风险 阶段压缩收益。ctx_critical 由系统信号触发上下文水位警告85%、文件重读需求、输出截断检测。不依赖 AI 内省。5.3 读取策略ReadStrategy(S, filePath, projectConfig) [CD] Provides: 读取档位决策direct/process/process_segmentedS SMALL → direct·SMALL ≤ S ≤ LARGE → process·S LARGE → process_segmentedSMALL/LARGE 阈值来自 project.md §1.1 文件处理阈值。读取完成后更新 fileCache按 StateManager 规范更新。degraded 状态处理StateValidity 输出 degraded 时InternalConsistencytrue 且 ExternalConsistencyfalse优先选择direct或process模式并强制重新读取跳过 fileCache。invalid 时先执行 StateRecovery。IdempotencyCheck(current, last, currentFileHash, lastFileHash) [QA] Provides: 幂等性检查结果skip/proceed/null_inputcurrent null → null_input·current ≠ null ∧ last null → proceed·current ≠ null ∧ last ≠ null ∧ current last ∧ currentFileHash lastFileHash → skip·otherwise → proceed两维检查操作标识 文件哈希都相同才 Skip。null 保护currentnull→ 返回null_inputcurrent≠null ∧ lastnull→ 进入proceed。状态变量更新执行完毕后通过 StateManager 更新last current和lastFileHash currentFileHash。InfoDomain(task, readStrategy, projectConfig) [CM] Provides: 信息域评估结果single_file → (scopesingle, typecode, complexityreadStrategy)·single_module → (scopemodule, typemixed, complexitymoderate)·cross_module → (scopemultiple, typemixed, complexitycomplex)·full_project → (scopeall, typemixed, complexitycomplex)complexity 由 ReadStrategy 输出档位决定direct→simple,process→moderate,process_segmented→complex。CalculateCost(N, T_i, R_perOp, R_batch) [CC] Provides: 操作成本估算Cost_sequential(N)ΣT_i N×R_perOp·Cost_batch(N)≈max(T_1,...,T_N)R_batch· 推论N1∧T_i分布均匀→Cost_batchCost_sequential§六、规范Standards规范定义约束条件可引用领域公理、策略。6.1 错误处理规范FailMode(errorType) [CM] Provides: 失败模式FailFast/FailSafe/FailGracefulerrorType∈{unrecoverable,precondition_violation}→FailFast·∈{user_input,optional_feature}→FailSafe·∈{non_core,third_party_timeout}→FailGracefulThrowRule(violationType, language, projectConfig) [CM] Provides: 异常类型映射violationType → projectConfig.exceptions[violationType]FixPriority(errorType, projectConfig) [CM] Provides: 修复优先级映射errorType → projectConfig.fixPriority[errorType]CodeStandard(code) [QA] Provides: 代码质量评估pass/block¬emptyCatch ∧ ¬consoleLog ∧ ¬magicNumber ∧ ¬unusedImport ∧ ¬hardcodedPath ∧ ¬todoFIXME → pass·otherwise → block项目可在 project.md 中声明AllowedCodeViolations覆盖。Warn 级不阻断仅注释建议预留抽象、注释替代命名、冗余注释/配置。6.2 架构规范SCA(condition) [CD] Provides: 服务聚合锚点判断condition∈{external_dependency,dataflow_boundary,capability_exit,change_hotspot}→true·otherwise→falseVB(boundary) [CD] Provides: 边界验证结果valid/invalid:multiple_responsibilities/invalid:incomplete_coveragesingle_responsibility∧complete_coverage→valid·¬single_responsibility→invalid:multiple_responsibilities·single_responsibility∧¬complete_coverage→invalid:incomplete_coverageCommunicationMode(syncMode, processBoundary, crossSystem) [CM] Provides: 通信方式method_call/remote_call/event_delegate/message_queue/data_objectsync ∧ same_process ∧ ¬crossSystem → method_call·sync ∧ ¬same_process ∧ ¬crossSystem → remote_call·async ∧ same_process ∧ ¬crossSystem → event_delegate·async ∧ ¬same_process ∧ ¬crossSystem → message_queue·crossSystem → data_objectCohesionCheck(scope) [CM] Provides: 内聚性评估结果{rating, method_count, lines}methods≤COHESION_METHOD_THRESHOLD(30) ∧ lines≤COHESION_LINE_THRESHOLD(1000) → {rating: High, method_count: methods, lines}methodsCOHESION_METHOD_THRESHOLD(30) ∨ linesCOHESION_LINE_THRESHOLD(1000) → {rating: Low, method_count: methods, lines}CohesionCheck 输出 Low 时由 CohesionLowStrategy 进一步评估。6.3 输出规范ShouldWrite(isRedundant, simpler, costExceedsValue) [CD] Provides: 写入决策true/falseisRedundant→false·simpler_exists→false·costExceedsValue→false·otherwise→trueOA(state, scope, recoverable) [CD] Provides: 输出动作replace/rewrite/deprecate/deletemodify∧local→replace·modify∧global→rewrite·deprecate∧recoverable→deprecate·deprecate∧¬recoverable→delete§七、反模式索引反模式对应规则严重等级自动修复编译错误遗留FixPriority高否代码质量违规CodeStandard中部分异常处理不当FailMode ThrowRule中否内聚性违规CohesionCheck低否循环聚合ReferenceStrategy高否过度设计CohesionCheck低否盲目读取InfoDomain中否逐点读取CalculateCost低否过度读取ReadStrategy中否深度不匹配ReadStrategy中否认知分裂InternalConsistency高是StateRecovery缓存幻觉ExternalConsistency高是SyncGuard推理失忆HistoricalIntegrity高是CompactProcedure阶段粘连PD低否模块膨胀CohesionCheck低否压缩决策不当CompactDecision高否空结果死循环engine.md §十 OnError高是OnError 熔断空结果钻牛角尖engine.md §十 OnError中是OnError 熔断反复修改IdempotencyCheck中是IdempotencyGuard§八、操作流程Procedures流程定义步骤序列。所有流程服从 Discrete-AtomicStep [AX] 的原子跃迁约束。SyncGuard [SM]步骤序列[TOOL: sync_check(paths)]对 fileCache 中所有条目执行物理校验{status: synced}→ 继续步骤 2{status: stale, stalePaths: [...]}→ 刷新 fileCache 中对应条目的时间戳和哈希设置StateManager.externalConsistency false继续步骤 2{status: error, message}→ 委托 ErrorHandler 处理状态变量更新sync_check 返回 stale → 设置externalConsistency false触发 StateValidity 重新评估默认在工具链执行前触发可通过skip_sync_guard标注跳过。IdempotencyGuard [SM]步骤序列IdempotencyCheck调用 IdempotencyCheck 策略进行幂等性检查skip→ 跳过本次执行proceed→ 进入执行体null_input→ 跳过本次执行由调用方决定是否初始化新操作状态变量更新执行体完成后通过 StateManager 更新last和lastFileHash可选守卫通过skip_idempotency_guard标注跳过。与 SyncGuard 独立。ErrorHandler [SM]根据 OnError 输出的决策值执行对应动作forcehalt → 停止工具链 → 设置 forceHalttrue → 报告用户 → 强制挂起 halt → 停止工具链 haltpersist → 停止工具链 → persist_reasoning(error_summary) continue → 记录错误摘要到 operationLog → 继续执行后续步骤 skip_remaining → 跳过剩余步骤 → persist_reasoning(error_summary) retry → 验证参数和系统状态是否已变化 → 重试当前步骤 switch_strategy → [回滚脏代码 → 换参数/换工具/报告用户] - **编译错误回滚**error compilation_error 时先回滚到上次编译成功的代码版本。回滚范围仅限当前工具链中修改的文件。 - **文件快照机制**执行体在修改文件前通过 StateManager 记录文件原始内容快照回滚时从快照恢复。git stash 优先。 - **回滚失败处理**回滚失败 → 输出 halt。ErrorHandler 是 SyncGuard 和工具链执行失败时的统一处理入口不包含决策逻辑。ErrorHandler 的 persist_reasoning 仅用于异常终止时保存错误摘要与 CompactProcedure 的阶段边界持久化职责不同。ReasoningPersistence [SM]职责区分persist_reasoning有三种调用场景调用方触发条件写入内容用途CompactProcedure阶段/模块边界当前阶段的完整推理链后续会话恢复推理上下文ErrorHandler异常终止错误摘要记录异常终止原因PostProcess工具链执行完毕不调用 persist_reasoning仅记录事实/结论到知识图谱PostProcess [SM]步骤序列推理(reasoning)调用sequentialthinking_tools分析执行结果形成结论记录知识(record_knowledge)调用create_entities/create_relations/note持久化关键发现执行前引用 KnowledgeDedup 去重PostProcess 的record_knowledge存事实/结论CompactProcedure 的persist_reasoning存推理链。两者职责不同。FileDeprecationFlow [SM]参数deprecatedDir默认_deprecated/、excludeMethodcompile_exclude/runtime_ignore/module_exclude、excludeConfig、cleanTrigger步骤check_references → move_to_deprecated → apply_exclusion → verify_isolation → register_cleanupCompactProcedure(compactType) [SM]阶段动作映射阶段变更动作P_plan→P_exec_preprecord_plan_to_graphP_exec_prep→P_exec_coreindex_structure_to_kbP_exec_core→P_exec_verifynote_changes persist_reasoningP_exec_verify→P_completeupdate_progressphase_compact → [执行阶段动作 → mark_phase_done → clear_context → 新会话从进度标记恢复加载推理链末 RECENT_CHAIN_COUNT(3) 条到元提示]module_compact → [record_module_summary persist_reasoning → record_notes → update_progress_marker → clear_context]emergency_dump → [输出极简纯文本状态摘要≤EMERGENCY_DUMP_MAX_CHARS(500)字符 → clear_context → 强制 Halt等待用户输入]emergency_dump 跳过阶段动作映射和 persist_reasoning截断风险 持久化收益。ctx_critical 信号应在当前步骤执行前检测检测到后立即触发 emergency_dump。none → no_action