diff --git a/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/check.jsonl b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/check.jsonl new file mode 100644 index 0000000..9dd3234 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/check.jsonl @@ -0,0 +1 @@ +{"_example": "Fill with {\"file\": \"\", \"reason\": \"\"}. Put spec/research files only — no code paths. Run `python3 .trellis/scripts/get_context.py --mode packages` to list available specs. Delete this line once real entries are added."} diff --git a/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/implement.jsonl b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/implement.jsonl new file mode 100644 index 0000000..9dd3234 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/implement.jsonl @@ -0,0 +1 @@ +{"_example": "Fill with {\"file\": \"\", \"reason\": \"\"}. Put spec/research files only — no code paths. Run `python3 .trellis/scripts/get_context.py --mode packages` to list available specs. Delete this line once real entries are added."} diff --git a/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/prd.md b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/prd.md new file mode 100644 index 0000000..68f109b --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/prd.md @@ -0,0 +1,10 @@ +# TB 严格数值比较 + +## Goal +修改 tb 中 PASS/FAIL 逻辑:仅当 pk/sk/ct/ss 与 KAT 期望值**数值匹配**才算 PASS,FSM 跑通但数值不匹配算 FAIL。 + +## Fix +在 `sync_rtl/top/TB/tb_mlkem_top_xsim.v` 中: +- 删除 "structural pass" 逻辑(line 320 附近) +- WARN 分支改为 `kg_fail++` 而非 `kg_pass++` +- Encaps/Decaps 同理 diff --git a/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/task.json b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/task.json new file mode 100644 index 0000000..8932790 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/task.json @@ -0,0 +1,26 @@ +{ + "id": "fix-tb-strict-compare", + "name": "fix-tb-strict-compare", + "title": "修改TB为严格数值比较", + "description": "", + "status": "completed", + "dev_type": null, + "scope": null, + "package": null, + "priority": "P2", + "creator": "FallenSigh", + "assignee": "FallenSigh", + "createdAt": "2026-06-27", + "completedAt": "2026-06-27", + "branch": null, + "base_branch": "main", + "worktree_path": null, + "commit": null, + "pr_url": null, + "subtasks": [], + "children": [], + "parent": null, + "relatedFiles": [], + "notes": "", + "meta": {} +} \ No newline at end of file