القائمة
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/XS-MLVP/UCAgent --skill formal-planيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
为正确失败测试确认的动态DUT Bug优先确定性维护BG、TC、ROOT和波形引用；支持幂等重复调用、受控格式恢复与跨阶段累计。
分批测试用例实现与对应Bug分析阶段专属技能，用于依据测试模板注释、功能规格CK原文和覆盖约束实现针对性激励与断言，并完成测试执行、动态Bug分析和报告记录
عرض SKILL.md
| name | formal-plan |
| description | 通过脚本把验证规划写入 .formal_records.yaml 的 planning 字段，并由系统自动渲染 01 规划文档。 |
Markdown 排版契约：本技能生成、维护或展示的任何 Markdown 中，每个 # 到 ###### 标题前后各保留一个空行；标题前置空行没有例外：文件开头的标题、Markdown 示例围栏内首个标题和 <a id="..."></a> 锚点后的目标标题都必须有前置空行。标题前不得直接连接正文、列表、表格、下一级标题、代码围栏或锚点；字段标题后的规范机器标记（例如 <BUG-*>、<ROOT-*> 和 <RELATED-BUGS>）可以继续与标题紧邻。
本技能用于维护 .formal_records.yaml 中的 planning 字段。
本阶段的唯一事实来源是 .formal_records.yaml.planning。
核心规则：
01_{DUT}_verification_needs_and_plan.mdRunSkillScript 调用 update_plan.py 修改 YAML01_{DUT}_verification_needs_and_plan.md 是派生产物，Checker 通过后系统会自动重建执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖常用命令：
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action show
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action set -path project_overview -value "这是一个..."
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action append -path assumptions -value "\"输入 valid 仅在握手期间有效\""
字段清单：
project_overview：项目概述，字符串design_spec_analysis.parameters[]：参数列表，每项包含 name/default/range/notedesign_spec_analysis.interfaces[]：接口列表，每项包含 name/direction/width/notecomplexity.state_space：状态空间复杂度，字符串complexity.arithmetic_complexity：算术复杂度，字符串complexity.storage_complexity：存储复杂度，字符串complexity.parameterization：参数化影响，字符串verification_scope.included[]：纳入验证范围的目标verification_scope.excluded[]：暂不覆盖范围及原因assumptions[]：形式化环境假设strategy[]：验证策略、分层方法、关键检查方向deliverables[]：预期交付物risks[]：风险列表，每项包含 risk/mitigationinitial_bug_suspicions[]：初步缺陷线索最小骨架：
planning:
project_overview: ""
design_spec_analysis:
parameters: []
interfaces: []
complexity:
state_space: ""
arithmetic_complexity: ""
storage_complexity: ""
parameterization: ""
verification_scope:
included: []
excluded: []
assumptions: []
strategy: []
deliverables: []
risks: []
initial_bug_suspicions: []
推荐填写顺序：
project_overview，用 2 到 4 句说明 DUT 作用、输入输出和验证目标。design_spec_analysis 与 complexity，这些字段决定规划文档的技术上下文。verification_scope、assumptions、strategy，避免后续 SVA 方向发散。deliverables、risks、initial_bug_suspicions，用于收束执行计划。写入约束：
parameters 与 interfaces 必须写成对象数组，不要写自由文本段落。verification_scope.included 与 verification_scope.excluded 必须分别列出，不能混写。risks[] 的每一项都必须同时包含 risk 和 mitigation。