UCAgent Cache Verification Contribution Demo

本作品面向 CCF2026 UCAgent 开源项目贡献赛，选择“硬件/Cache/系统验证”方向，提交一个自包含、可运行、可量化的 Agent 辅助验证闭环。

作品定位

该 demo 用一个 2-line、2-word/block 的 direct-mapped write-back cache 作为 Python DUT，模拟 UCAgent 推荐的“硬件验证软件化”路径：

1. Agent 生成初始验证用例。
2. 人工审核注入 Cache 领域知识。
3. 工具链运行 buggy AI candidate 与 fixed reference。
4. 自动生成验证报告、指标和提交包。

它不依赖 API key、Picker、Toffee 或外部仿真器，便于 GitLink 初赛直接复现；同时文档中保留了与 UCAgent 正式流程对接的说明。

官方核实依据

• 第八届 CCF 开源创新大赛入口：GitLink competitions/2026
• UCAgent 官方仓库：XS-MLVP/UCAgent
• UCAgent 开发者手册：ucagent.open-verify.cc
• UCAgent 论文：arXiv:2603.25768
• 万众一芯开放验证平台：open-verify.cc

快速运行

cd C:\CCFOpenSourcepowershell
cd C:\CCFOpenSource\05_UCAgent
python scripts\run_demo.py
python -m unittest discover -s tests
python scripts\package_submission.py
5_UCAgent
python scripts\run_demo.py
python -m unittest discover -s tests
python scripts\package_submission.py

运行后生成：

• reports/run_<timestamp>/verification_report.md
• reports/run_<timestamp>/metrics.json
• reports/run_<timestamp>/results.json
• submission/ucagent_cache_verify_submission_<timestamp>.zip

当前量化目标

• 初始 Agent 用例：3 条。
• 人工修正用例：3 条。
• 覆盖项：10 项。
• 预期缺陷：1 类 dirty write-back partial defect。
• fixed reference：完整用例集 0 failure。

目录结构

.
├── data
│   ├── agent_artifacts
│   ├── domain_knowledge
│   └── spec
├── scripts
├── src/cache_agent_verify
├── tests
├── reports
└── submission

与 UCAgent 的对应关系

UCAgent 官方文档强调阶段化工作流、工具编排、功能覆盖/代码覆盖、文档-代码-报告一致性以及人机协同审核。本 demo 用 FG/FC/CK 标签、自动 checker、人工 correction artifact 和报告生成脚本复现这些核心机制，适合作为后续接入 UCAgent MCP/Picker/Toffee 的最小可运行样例。