迭代循环指令元指令定义通用迭代循环的执行规范。任何需要运行→分析→修复→重试模式的场景均可引用本指令。本指令引用 core.md 的公式类型体系、StateManager、ConfigInjection 和 ConflictResolution 元规则。1. 循环定义循环要素维度内容输入操作序列、任务定义、上下文配置输出执行结果、状态报告、迭代历史副作用外部系统状态变更共享状态StateManager§5.1 初始化中由 StateManager 管理的计数器专用状态iterationCountbestResultlastResultchangeLoghistory2. 终止公理2.1 轮次完成公理RoundCompletion [AX]∀R∈Rounds : R.completed ↔ R.executed ∧ R.verified ∧ R.loggedexecuted本轮计划的处理项已执行verified本轮变更通过验证由VERIFICATION_CRITERIA见 §7定义。验证失败修复属于 verified 的子任务不构成独立一轮修复尝试次数受SUBROUND_MAX_ATTEMPTS见 §7约束超过次数后标记该次 Evaluate partial 并跳出不递增 consecutiveFailureslogged变更已记录到 changeLogRoundTransition [AX]∀Rk,Rk1∈Rounds : enters(Rk1) ↔ completed(Rk) ∧ reEvaluated(Rk)completed(Rk)满足 RoundCompletion 公理reEvaluated(Rk)对 Rk 修改后的产物执行新的分析扫描不沿用上一轮的分析结论2.2 评估结果公理EvaluationOutcomeSet [AX]∀eval∈Evaluation : eval.outcome ∈ {pass, partial, fail, parse_error}pass全部达标partial部分达标fail未达标parse_error提取失败2.3 决策输出公理DecisionOutputSet [AX]∀D∈LoopDecisions : D.output ∈ {terminate_success, terminate_overflow, terminate_meltdown, switch_strategy, continue}terminate_success成功终止terminate_overflow超限终止terminate_meltdown熔断终止switch_strategy切换策略continue继续2.4 终止优先级公理TerminationPriority [AX]∀D1,D2∈LoopDecisions : priority(D1) priority(D2) ↔ D1 优先于 D2前置条件短路forceHalttrue → terminate_meltdownforceHaltfalse ∧ Evaluatepass → terminate_success计数器优先级链consecutiveFailures≥MAX_FAIL qualityDeclineCount≥QUALITY_DECLINE_THRESHOLD consecutivePartials≥MAX_PARTIAL iterationCount≥MAX_ITER consecutiveFailures≥SWITCH_THRESHOLD continuequalityDeclineCount记录 bestResult 连续下降轮数由 §5.2 的 bestResult 更新逻辑维护。RoundIndependence [AX]∀R∈Rounds : R.stateSpace ∩ R.stateSpace ∅ → R ∥ R每轮迭代是独立完整流程有自己的状态空间。轮次之间通过明确定义的接口输入/输出/变更历史传递状态。3. 循环体规范3.1 五步通用模型① Execute → [ExecutionFailureGate] → ② Collect [CM] → ③ Evaluate [QA] → ④ Decide [CD] → ⑤ Adjust [SM]① Execute执行操作序列记录起止时间捕获输出stdout/stderr/返回码。超时强制终止默认值见 §7EXEC_TIMEOUT。ExecutionFailureGate [CD]{executionfailure ∧ errorcompilation_error} → 进入 Collect·{executionfailure ∧ errorenvironment} → 直接进入 Decide 输出 terminate_meltdown·{executionsuccess} → 进入 Collectcompilation_error 的 retryCounter 递增由工具链执行体在返回 compilation_error 时即进入 ExecutionFailureGate 之前完成不经过 §8 OnError 主决策树。OnError 的计数器递增规则仅适用于进入其主决策树①→①.5→②→③的执行失败/超时等路径。ExecutionFailureGate 的 compilation_error 分支进入 Collect 后若 Collect 提取失败parse_error解析失败信息通过lastResult.metadata.parseError传递给 §⑤ Adjust 的 Adjust_Parser 分支。② Collect [CM]执行输出 → 指标集。提取规则预先定义正则/结构化解析器提取失败标记parse_failed。Collect 提取失败parse_error时① 标记parse_failed② 记录失败详情到lastResult.metadata.parseError{rawOutput, pattern}③lastResult.metadata.parseError传递给 Evaluate 和 Adjust_Parser 分支使用提取指标示例状态标志successtrue/false计数指标totalN, passedM, failedK错误信息errorMessage...诊断标记[ERROR][WARN][DIAG]③ Evaluate [QA]指标集 → 评估结果。结果空间由 EvaluationOutcomeSet [AX]§2.2定义pass→ Decide 输出 terminate_successpartial→ 进入 Decide 继续评估consecutiveFailures 不变见 §5.2fail→ 进入 Decide 继续评估consecutiveFailures见 §5.2parse_error→ 等效 fail解析失败信息从lastResult.metadata.parseError读取供 Adjust_Parser 分支使用④ Decide [CD]{evaluate_result, state, config} → 决策输出。输出空间由 DecisionOutputSet [AX]§2.3定义。裁决顺序由 TerminationPriority [AX]§2.4定义。决策输出后续动作说明terminate_success成功终止不进入 ErrorHandler设置 forceHaltfalse通知用户成功terminate_overflow引发 halt通知用户超限终止terminate_meltdown引发 forcehalt置位 forceHalttrue → 通知用户 → 等待确认switch_strategy回滚脏代码 → 进入 AdjustswitchCounter1consecutiveFailures 折半见 §5.2continue直接进入 Adjust不操作计数器空结果熔断规则遵循 §8 OnError 策略的①.5瞬态重试、②空结果熔断分支迁移自 core.md详见 §8。⑤ Adjust [SM]{evaluate_result, state, config, lastResult.metadata} → 有序调整步骤。类型示例参数调整增等待时间、调超时值配置修改修正路径、换参数值代码修复修复 bug、调整逻辑环境准备安装依赖、重建项目策略切换换工具/方法/参数组合Adjust_Parser从lastResult.metadata.parseError读取解析失败信息修复输出提取规则COLLECT_PATTERNSAdjust 完成后追加changeLog。失败含代码修改时通过 StateManager 文件快照记录原始内容以支持回滚。4. 终止条件策略类型触发条件成功终止Evaluate pass*当 forceHalttrue 时优先触发熔断终止见 §2.4 TerminationPriority [AX]partial 超限终止consecutivePartials ≥ MAX_PARTIAL超限终止iterationCount ≥ MAX_ITER策略切换consecutiveFailures ≥ SWITCH_THRESHOLD熔断终止forceHalttrue或consecutiveFailures ≥ MAX_FAIL外部中断用户/系统信号各条件的优先级由 §2.4 TerminationPriority [AX] 的计数器优先级链定义。5. 状态管理5.1 初始化// StateManager 共享状态 retryCounter0 switchCounter0 forceHaltfalse operationLog{} emptyCount{} // 本循环专用 iterationCount0 consecutiveFailures0 consecutivePartials0 qualityDeclineCount0 bestResultnull lastResultnull changeLog[] history[] // 子任务步数计数器 subRoundAttempts05.2 状态更新规范子任务修复检查位于 Evaluate 之前if (subRoundAttempts SUBROUND_MAX_ATTEMPTS) { evaluateResult partial; lastResult.metadata.subRoundExhausted true; subRoundAttempts 0; }注意子任务检查仅设置 evaluateResult不递增任何计数器。计数器递增统一由 Evaluate 驱动的 switch 处理避免双重计数。subRoundAttempts 递增每次进入 Adjust 执行验证修复即 VERIFICATION_CRITERIA 验证失败后的代码修复时由 Adjust 步骤在修复开始前将subRoundAttempts 1。该递增发生在 Adjust 内部与 Evaluate 阶段的计数器更新无关。Evaluate 驱动的更新iterationCount lastResult currentResult history.push({iteration, result, metrics, adjustments}) // bestResult 更新与 qualityDeclineCount 维护 if (bestResult null ‖ currentResult.quality bestResult.quality) { bestResult currentResult qualityDeclineCount 0 } else if (currentResult.quality bestResult.quality) { qualityDeclineCount } // 质量持平qualityDeclineCount 不变 switch (evaluateResult) { pass: consecutiveFailures max(0, consecutiveFailures - 1); consecutivePartials0; subRoundAttempts0 partial: consecutiveFailures 不变; consecutivePartials fail/parse_error: consecutiveFailures; consecutivePartials0 }衰减而非归零方案Apass 时 consecutiveFailures 衰减 1不下零而非完全重置。失败积累不因单次成功清零消除计数器满血复活假性繁荣。与switch_strategy 折半配合形成二级衰减机制。bestResult 趋势检测方案D通过qualityDeclineCount跟踪 bestResult 连续下降轮数。当qualityDeclineCount ≥ QUALITY_DECLINE_THRESHOLD时触发terminate_meltdown见 §2.4 优先级链解决全局成功率走低但局部 pass 掩盖问题的博弈陷阱。currentResult.quality由 §③ Evaluate 的指标集输出提供如 pass_rate、error_count 等具体量化标准由调用方在 COLLECT_PATTERNS 中定义。Decide 驱动的更新decide(switch_strategy) → { switchCounter 1 consecutiveFailures max(0, floor(consecutiveFailures / 2)) } decide(continue) → 不操作计数器 decide(terminate_meltdown | terminate_overflow | terminate_success) → 不操作计数器6. 循环模式6.1 模式定义公式M (Axioms: 公理集合, StrategyRules: 策略配置, Params: 参数特化)6.2 模式速查表模式公理基础核心策略配置参数特化简单重试TerminationPriority [AX]仅 terminate/continue 路径OnError [CD] 输出空间不含 switch_strategyAdjust [SM] 固定为 parameter_adjustSWITCH_THRESHOLD → ∞迭代调试EvaluationOutcomeSet [AX]partial/fail 触发深入分析Collect [CM] 扩展为诊断级提取模式Adjust [SM] 含 Analyze 子步骤COLLECT_PATTERNS 扩展诊断模式批量轮询StateIsolation [AX] StateMerge [AX]ToolStrategy [CM] 的 batch_processing 模式各 item 独立 Execute→Collect→Evaluateparallel 标注多层嵌套StateSnapshot [AX] RoundIndependence [AX]内层循环使用独立 StateManager 状态副本终止后通过 StateMerge 合并内层计数器独立于外层多轮完整迭代RoundIndependence [AX] RoundTransition [AX] TerminationPriority [AX]MultiRoundStrategy [SM]§6.3.5 定义ROUNDS, GLOBAL_MAX_FAIL6.3 各模式详细定义6.3.1 简单重试三元组定义Axioms: TerminationPriority [AX]§2.4StrategyRules:OnError [CD] 输出空间限制为{retry, continue, terminate_success, terminate_overflow}Adjust [SM] 固定类型为parameter_adjustParams:SWITCH_THRESHOLD INF典型案例轮询等待、指数退避。配置预设SAFE 预设§7.1。6.3.2 迭代调试三元组定义Axioms: EvaluationOutcomeSet [AX]§2.2StrategyRules:Collect [CM] 扩展为诊断级提取——COLLECT_PATTERNS 含诊断标记[ERROR]/[WARN]/[DIAG]和堆栈跟踪Adjust [SM] 类型空间包含code_fix、strategy_switch、config_modifyOnError [CD] 开放全决策空间Params:EXEC_TIMEOUT可调大PARTIAL_THRESHOLD应有调用方定义典型案例测试失败后分析堆栈→修复→重新测试。配置预设DEVELOP 预设§7.1。6.3.3 批量轮询三元组定义Axioms: StateIsolation [AX]、StateMerge [AX]、StateSnapshot [AX]StrategyRules:ToolStrategy [CM] 选择batch_processing模式→ core.md §二 ToolStrategy循环体实例化为parallelfor each item:Execute→Collect→Evaluate按工具链顺序合并Params:TIMEOUT按 item 计rate_limit按 project.md 配置6.3.4 多层嵌套三元组定义Axioms: StateSnapshot [AX]、RoundIndependence [AX]§2.4StrategyRules:内层循环使用独立的 StateManager 副本独立iterationCount、consecutiveFailures、consecutivePartials、changeLog、history内层终止后通过 StateMerge [AX] 的 conflictFree 合并规则写入外层先完成写入优先内层计数器完全独立于外层不参与外层的计数器计算Params: 内层使用独立的阈值配置6.3.5 多轮完整迭代MultiRoundStrategy[SM]三元组定义Axioms: RoundIndependence [AX]§2.4、RoundTransition [AX]§2.1、TerminationPriority [AX]§2.4StrategyRules:MultiRoundStrategy [SM][① 重新评估 → ② 识别问题 → ③ 制定计划 → ④ 执行验证记录] × ROUNDSReEvaluationEntry [SM]轮次工作项必须来源于 reEvaluated 的输出轮内使用独立计数器§5.2跨轮通过globalCumulativeFailures累积Params:ROUNDS、GLOBAL_MAX_FAIL、MAX_FAIL覆盖为 3、SWITCH_THRESHOLD覆盖为 2每轮起始的重新评估是否第1轮第 k-1 轮输出k ≥ 2?① 重新评估当前工作产物② 识别本轮待处理问题③ 制定本轮处理计划④ 执行 → 验证 → 记录第 k1 轮输入ReEvaluationEntry [SM]∀Rk∈Rounds(k≥2) : Rk.workItems ∈ reEvaluated(Rk-1.artifacts)轮次间状态传递传递项说明工作产物上一轮修改后的完整产物变更历史changeLog[]追加到全局历史遗留问题上一轮未处理的问题 → 作为第 2 轮① 重新评估的输入参考轮内计数器轮内计数器不跨轮传递。每轮独立分配计数器每轮开始时重置全局累计失败globalCumulativeFailures在每轮完成后累加该轮最终的consecutiveFailures值配置预设CAMPAIGN 预设§7.1。6.4 并行冲突解决并行操作的状态一致性由 core.md 的公理家族保证公理定义位置核心语义StateSnapshot [AX]core.md §一每个操作基于一致的状态快照执行StateMerge [AX]core.md §一状态合并应保持一致性冲突时先完成写入优先StateIsolation [AX]core.md §一并行操作访问不同状态变量时可安全并发ToolDeterminism [AX]core.md §一相同工具相同参数产生相同结果冲突解决策略链ConflictResolution [CD]由 core.md 元规则统一管理本指令引用其输出输出触发条件auto_mergewriteSet(step₁) ∩ writeSet(step₂) ∅且readSet(step₂) ∩ writeSet(step₁) ∅rollback_retrywriteSet(step₁) ∩ writeSet(step₂) ≠ ∅但readSet(step₂) ∩ writeSet(step₁) ∅serial_fallbackreadSet(step₂) ∩ writeSet(step₁) ≠ ∅且depDecl(step₂) ∅halt以上均不满足优先级auto_merge rollback_retry serial_fallback halt依赖声明机制∀s∈Steps : depDecl(s) [s₁, s₂, ..., sₓ] ⟹ s ∥ {s₁, s₂, ..., sₓ} after {s₁, s₂, ..., sₓ} completeddepDecl(s) ∅→ 视为无依赖可安全并行depDecl(s) ≠ ∅→ 当前步骤在列表中所有步骤完成后才开始执行auto_merge 验证闸门方案Eauto_merge 完成后在进入后续步骤前必须执行一次全局验证复用 §7VERIFICATION_CRITERIA如编译/测试。验证失败视为语义冲突而非写集冲突执行以下回退回滚 auto_merge 的合并结果按 StateMerge [AX] 的 conflictFree 规则撤销后完成步骤的写入降级为 serial_fallback按顺序重新执行步骤记入 changeLog{event: auto_merge semantic conflict, rollback: true}设计依据写集无交集 ≠ 语义无冲突如函数签名修改 调用处文件的隐式依赖链。验证闸门用执行结果覆盖静态分析无法判定的语义冲突与现有 VERIFICATION_CRITERIA 机制天然兼容。7. 配置参数ConfigInjection 优先级→ core.md §〇运行时 project.md env default参数类型默认值说明MAX_ITERint10最大迭代次数MAX_FAILint5熔断阈值连续失败上限SWITCH_THRESHOLDint3策略切换阈值 MAX_FAILMAX_PARTIALint4连续 partial 上限PARTIAL_THRESHOLDfloat0.8partial 判定阈值EXEC_TIMEOUTint60单次执行超时秒SUBROUND_MAX_ATTEMPTSint3子任务最大修复尝试次数SUCCESS_CRITERIACriteria{executionsuccess}成功判定标准VERIFICATION_CRITERIACriteria{compilationsuccess}验证标准COLLECT_PATTERNSPattern[][success, total, errorMessage]输出提取模式QUALITY_DECLINE_THRESHOLDint3bestResult 连续下降熔断阈值SWITCH_DECAY_Nint8switchCounter 衰减间隔轮数FORCEHALT_NOTIFY_Nint5forceHalt 无新错误通知轮数7.1 配置预设ProfilesSAFE 预设保守模式——对应模式简单重试§6.3.1MODE SAFE MAX_ITER 5 MAX_FAIL 3 SWITCH_THRESHOLD INF PARTIAL_THRESHOLD 1.0 SUBROUND_MAX_ATTEMPTS 2 Adjust 类型空间 [parameter_adjust] COLLECT_PATTERNS [success, total, errorMessage]对外 APIRunWithRetry(action, {mode: SAFE, maxRetries: 3})DEVELOP 预设调试模式——对应模式迭代调试§6.3.2MODE DEVELOP MAX_ITER 10 MAX_FAIL 5 SWITCH_THRESHOLD 3 PARTIAL_THRESHOLD 0.8 SUBROUND_MAX_ATTEMPTS 3 Adjust 类型空间 [parameter_adjust, code_fix, config_modify, strategy_switch] COLLECT_PATTERNS [success, total, errorMessage, [ERROR], [WARN], [DIAG]]对外 APIRunWithDiagnostics(action, {mode: DEVELOP})CAMPAIGN 预设多轮模式——对应模式多轮完整迭代§6.3.5MODE CAMPAIGN ROUNDS 2 MAX_FAIL 3 GLOBAL_MAX_FAIL ROUNDS * MAX_FAIL SWITCH_THRESHOLD 2 PARTIAL_THRESHOLD 0.8 SUBROUND_MAX_ATTEMPTS 3 COLLECT_PATTERNS [success, total, errorMessage, [ERROR], [WARN], [DIAG]]对外 APIRunMultiRound(analysis, {mode: CAMPAIGN, rounds: 2})8. OnError 策略迭代循环专用的错误处理策略。通用错误处理策略定义于 core.md §二。OnError(error, stepIndex, toolchain) [CD]Provides: 错误处理决策retry/switch_strategy/halt/continue/skip_remaining/forcehalt空结果∅与错误exception共用同一套熔断机制。输出纯决策值不含流程动作动作由 §9 ErrorHandler 执行。内部查询 StateManager.callCount 和 StateManager.emptyCount 获取调用计数和空结果计数。① forceHalttrue? → true: forcehalt | false: 进入①.5 ①.5 瞬态重试?依据 NullResultLegitimacy 公理——首次空结果重试一次不递增 emptyCount ├─ result∅ ∧ callCount(T, params)0 → retry └─ 否则 → 进入② ② 重试/空结果熔断? ├─ retryCounter ≥ 3 ∨ emptyCount(T) ≥ 3 → forcehalt ├─ emptyCount(T, params) ≥ 2 → switch_strategy ├─ result∅ ∧ callCount(T, params)≥1 → switch_strategy └─ 均不满足 → 进入③ ③ 错误分类处理: ├─ error∈{timeout, execution_failure} ∧ stepIndexlen(toolchain) → haltpersist ├─ error∈{partial_output, warning} → continue ├─ error∈{resource_exhausted} → skip_remaining └─ error∈{irrecoverable} → halt计数器递增error ∈ {execution_failure, compilation_error}时retryCounter 1在①的 false 分支之后、进入②之前执行。入口处 forceHalttrue 时跳过所有计数器递增。forceHalt 通知机制forceHalttrue 状态在连续 N 轮 OnError 调用NFORCEHALT_NOTIFY_N无新错误触发后向用户报告当前熔断状态并请求确认是否清除 forceHalt 标志。用户确认前 forceHalt 保持有效。空结果熔断emptyCount是工具连续返回空结果的计数器分两个粒度——emptyCount(T)不限参数和emptyCount(T, params)特定参数。两者共享同一套熔断模式超过阈值T≥3 或 Tparams≥2触发 forcehalt 或 switch_strategy。emptyCount与retryCounter独立计数但共享 forceHalt 标志。优先级规则当emptyCount(T) ≥ 3和emptyCount(T, params) ≥ 2同时满足时emptyCount(T) ≥ 3优先粗粒度阈值覆盖细粒度输出 forcehalt。emptyCount 与 switchCounter 联动当工具 T 返回非空结果时emptyCount(T)重置为 0emptyCount(T, params)同样重置为 0。当switch_strategy被触发时switchCounter 1且emptyCount(T, params)重置为 0。switchCounter ≥ 3时后续 switch_strategy 输出降级为 forcehalt防止无限策略切换循环。switchCounter 衰减switchCounter在阶段变更phaseChangedtrue时减半switchCounter floor(switchCounter × 0.5)。连续 N 轮NSWITCH_DECAY_N无 switch_strategy 触发时switchCounter减 1不低于 0。OnError 相关的公理基础基础公理定义于core.md §一NullResultLegitimacy [AX]/FirstCallTransient [AX]/RepeatedCallStable [AX]/TransientRetryNoCost [AX]本指令直接引用不重复定义。9. ErrorHandler 流程循环体执行过程中当 §3.1 ④ Decide 输出非 continue/terminate_success 决策时以及执行步骤出错时由 ErrorHandler 统一处理。ErrorHandler 是通用流程定义于core.md §五 ErrorHandler本指令不重复定义。在循环场景中的角色§8 OnError 输出决策值ErrorHandler 根据决策值执行对应动作Decide 输出terminate_meltdown→ ErrorHandler 的forcehalt路径Decide 输出terminate_overflow→ ErrorHandler 的halt路径Decide 输出switch_strategy→ ErrorHandler 的switch_strategy路径含回滚机制Decide 输出continue→ ErrorHandler 的continue路径ErrorHandler 的动作映射、回滚机制、persist_reasoning 职责区分等详细定义见core.md §五 ErrorHandler。10. 反模式循环执行特有反模式core.md §四 已涵盖的通用反模式不再重复反模式严重正确做法无终止条件循环高始终设置 MAX_ITER 和 MAX_FAIL修复不记录中维护 changeLog不收集原始输出中同时保留原始输出和解析指标过度策略切换高依赖 switchCounter 衰减和 ≥3→forcehalt 降级嵌套状态污染高内层循环使用独立状态快照忽略空结果合法中遵循 FirstCallTransient / RepeatedCallStable 公理并行状态竞争高遵循 StateIsolation StateMerge恢复校验跳过中按 StateValidity 三定律校验后恢复