Skip to content

feat: formal CLI for v2 report - #17

Merged
XucroYuri merged 5 commits into
mainfrom
goratio-dev-formal-cli
Sep 3, 2026
Merged

feat: formal CLI for v2 report#17
XucroYuri merged 5 commits into
mainfrom
goratio-dev-formal-cli

Conversation

@XucroYuri

Copy link
Copy Markdown
Owner

新增 formal 命令,输出双因子 v2 正式验收前报告。

Copilot AI lite review requested due to automatic review settings September 3, 2026 00:07
@XucroYuri
XucroYuri merged commit ce0076b into main Sep 3, 2026
11 checks passed
@XucroYuri
XucroYuri deleted the goratio-dev-formal-cli branch September 3, 2026 00:08

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

变更范围小且与既有 formal_v2 报告生成逻辑对齐,并新增了覆盖该命令的集成测试以验证输出契约。

Pull request overview

该 PR 为双因子 v2 的“正式验收前可审计报告入口”补齐了一个对应的命令行子命令 formal,使 formal_v2.generate_v2_formal_report() 能通过 CLI 直接输出(含 JSON),并补充了测试与文档/规划记录。

Changes:

  • 新增 goratio formal 子命令:生成并输出 v2 formal report(支持 JSON/文本、成本参数)。
  • 增加 CLI 集成测试覆盖 formal 命令的 JSON 输出关键字段。
  • 更新 README/CHANGELOG/ROADMAP,补充命令用法与里程碑状态。
File summaries
File Description
tests/test_cli.py 新增 formal 命令集成测试,校验返回码与 report 关键字段。
src/goratio/cli.py 注册 formal 子命令参数并在 main() 中调用 generate_v2_formal_report() 输出报告。
README.md 增加 goratio formal ... --json 使用示例。
CHANGELOG.md 在 Unreleased 新增条目中记录新增 formal CLI。
.planning/ROADMAP.md 更新路线图勾选项与测试数量统计。
Review details
  • Files reviewed: 5/5 changed files
  • Comments generated: 0
  • Review effort level: Lite

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants