From d61efc96c3985d37958d6544bb0127714dfeb58e Mon Sep 17 00:00:00 2001
From: FallenSigh <fallensigh@gmail.com>
Date: Sat, 27 Jun 2026 01:48:14 +0800
Subject: [PATCH] chore(task): archive 06-27-fix-tb-strict-compare

---
 .../06-27-fix-tb-strict-compare/check.jsonl   |  1 +
 .../implement.jsonl                           |  1 +
 .../06-27-fix-tb-strict-compare/prd.md        | 10 +++++++
 .../06-27-fix-tb-strict-compare/task.json     | 26 +++++++++++++++++++
 4 files changed, 38 insertions(+)
 create mode 100644 .trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/check.jsonl
 create mode 100644 .trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/implement.jsonl
 create mode 100644 .trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/prd.md
 create mode 100644 .trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/task.json

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\": \"<path>\", \"reason\": \"<why>\"}. 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\": \"<path>\", \"reason\": \"<why>\"}. 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