Menú
通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
通过脚本把 DUT 基本信息写入 .formal_records.yaml 的 basic_info 字段，并由系统自动渲染 02 基本信息文档。
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。
提取和分析被测模块(DUT)的功能规格和形式化检测点
| name | formal-summary |
| description | 通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。 |
本技能用于维护 .formal_records.yaml 中的 summary 字段。
本阶段的唯一事实来源是 .formal_records.yaml.summary。
核心规则：
05_{DUT}_formal_summary.mdRunSkillScript 调用 update_summary.py 修改 YAML05_{DUT}_formal_summary.md 是派生产物，Checker 会结合 run_results、coverage、bugs 自动校验并重建执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖常用命令：
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action show
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action set -path acceptance_conclusion -value "当前存在高严重度 RTL bug，不建议验收"
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action append -path severe_bugs -value '{"bug_id":"BG-FORMAL-001","bug_type":"RTL_BUG","desc":"位宽错误","checker_link":"A_CK_ADD_RESULT"}'
字段清单：
core_function：对 DUT 核心功能的总结overall_result：整体验证结果结论coi_assessment.unreachable_notes[]：COI 或不可达逻辑说明completeness.safety：安全性检查覆盖说明completeness.liveness：活性检查覆盖说明completeness.cover：cover 完整性说明severe_bugs[]：高严重度问题列表，每项包含 bug_id/bug_type/desc/checker_linkacceptance_conclusion：是否建议验收及理由最小骨架：
summary:
core_function: ""
overall_result: ""
coi_assessment:
unreachable_notes: []
completeness:
safety: ""
liveness: ""
cover: ""
severe_bugs: []
acceptance_conclusion: ""
推荐填写顺序：
run_results、coverage、bug_records 写 overall_result。core_function 与 completeness，交代本次形式化覆盖了什么、还缺什么。severe_bugs[]，并补齐 checker_link。acceptance_conclusion，明确是否可验收。写入约束：
summary 只写人工判断和结论，不要手动填写统计数字；通过率、覆盖率、bug 数量由系统自动汇总。severe_bugs[] 仅记录高严重度问题，普通提示或待确认项不要混入这里。checker_link 应指向可定位的 checker 名称或断言标识，避免只写“见日志”。