@furongjun1999/dsh-memory 0.4.3 → 0.4.5

package/md_cg/whitebox_kb/data/verify_cache.json

@@ -0,0 +1,1873 @@
+{
+ "_verifier_version": 6,
+ "82edd8c70420dd082252cf34fd80aa54": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "5 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "3ca2c3b17b4e596a1b9f813f2927d2ec": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "952ebcb154ed4fe8a700f4548e25c796": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "ac7f888fc7dd2cfba362e55bd16a5bbf": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "1 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "cccc0d2b4564461decaf786eecd8a869": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "1 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "4601ea80db7046ee1cd0a508392c8321": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "ad9b038f3f6283bf15a3b05c76555850": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "be4b12ef4dd953e1c28a73ff6f256108": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "8 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "0985f0423985053d5bad6dfafe1724e8": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "04f9ca03ee5383a95cb8ab68537b75f3": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "7 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "a93f8d164540dfdedca1f7a97f21490d": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "5448035a3fd2ac905415cb708bbe4075": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "04423c28c86ded47888d0078124ce48f": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "ae73bea61d30edb2cfdf1f5760f2940c": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "a364f8399615c286625a83cd1fa05d6c": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "a4efa853576a7f14e40d6def99b1a5c3": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "7 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "164cc770b26192cfbf49f713f212a24a": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "5 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "8b0dd0ae771c6c38249b40c75d13cc9b": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "6 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "eaf0489ca0ee01b34fa4d91b83b100e0": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "1 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "f2cbb5224c2966f059c607b579328168": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "dbab41fdff319d8d4f8983a9939ad6ed": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "8ab3a8459c3e9f237fe52b85b499e3cd": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "1 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "cbe2cd91ca135838959139f5c9a829c1": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "74b3db5c3dac0426c438c304d5d85e32": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "13b50c398821206f022ceeff6b5e6726": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "ffdd0d8e58177e7b332af2c8cc878ab6": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（4 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "注入型单元（样例均为 call 标记，由集成测试覆盖）"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:10:59",
+  "version": 6
+ },
+ "c7ae928cc414ce9efa9b3bc433515f4f": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "c15816756b526b257fcb00fa87e8f143": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "24da9685f848935386c7e49d9c0eb5f3": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "1 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "ff2058a8eeca4c1f388b01f23202fc76": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "3c2dfd574f861c43c27d5802e347b634": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "2c35ff3fb4404899405be687c8a484f0": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "83be5c86cba42eab14aee3c63f9b06ef": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "5 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "7964cc9c9975f0e948062154d071c52e": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "5 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "跳过（函数 2 个参数，边界形态依赖参数语义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "8969641f725e3d1f83b7a8b7d03cd38e": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "1 组边界用例通过"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "384c8ce85b7a1b4b490aabe129f29f7f": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "f6b3dc873aeadc24477bd7c9b85f46fc": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "跳过（函数 2 个参数，边界形态依赖参数语义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "4a084d1338675352811d9133da5ea890": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "30f498dbe285d761e24977b91316bcec": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（6 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "注入型单元（样例均为 call 标记，由集成测试覆盖）"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "7ffd213f59befbbb0b459eaa1d44c7d9": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "f91d9d398cccf58bbd31e467a485c094": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "dc6f749af77a2deecddd47fd976e4994": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "注入型单元（样例均为 call 标记，由集成测试覆盖）"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "2e5664a6f9ad8f0eb1a42b0cf4e2a43d": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "5a1be0eba009e39ee14d18b2f430ed76": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（3 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "注入型单元（样例均为 call 标记，由集成测试覆盖）"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "c319392b24cb139671aaf2d53e30ef4d": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "f8bf45c3f784a13ae17d2c0bef8045de": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "86f67f988fe5eae458130c3ad3252a08": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "30a2cca4c92618001ae45a4a1209356e": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "1c193cfb5e84494765036fdaea3b3c26": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "8f83dd819ab4edb58a6bf8fe13a32a70": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "18d5d854aaba91ef4daec39545a5d326": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "5e5a2ceeb650e34905763fff092b8409": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "307b7adaf7b77b1728ef19310b2a639b": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "ad2fac524f568431b50550c4cedc235c": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "576212f85a2407ca47b1855045a2ffae": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "eed61b3a016010eb4cfec60a996a8092": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "634e18a00be11d3fd9fcee03b374f065": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "f779abf5e49eac84ea28121cea97d119": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "a45e94a868dc35e937d4415a70ba4401": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "1902ce8993cba6a46858999edf3c32da": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "ab7a98c387fb69771a49b844ed5688ea": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "4 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "7365e9982bbbce0e0f5a4d09c8630eb3": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:00",
+  "version": 6
+ },
+ "2b6f12f54b223f46811a94a4a5be6d27": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "986cc44244be4dc16f654d1ed9ad6d4e": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "85b07530bc6997a160c86eafbb5c636e": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（2 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "d67ccea338f4b50ce03f1bc27b10b23c": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "2 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "跳过（函数 2 个参数，边界形态依赖参数语义）"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "aee70a3f0a55da1184639b360063709a": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "e0ec04a572692e05af32d0b490bd20ef": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "a9f6b6d1e94c2d6c2d25aab6b959e72d": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ },
+ "a866f668bd6f4a1c048e16f684df69bf": {
+  "ok": true,
+  "checks": [
+   {
+    "level": "L1语法",
+    "ok": true,
+    "evidence": "语法通过（1 个函数定义）"
+   },
+   {
+    "level": "L2样例",
+    "ok": true,
+    "evidence": "3 组样例全部通过"
+   },
+   {
+    "level": "L3边界",
+    "ok": true,
+    "evidence": "无额外边界用例"
+   },
+   {
+    "level": "规范符合性",
+    "ok": true,
+    "evidence": "结构规范 + 语义对齐 + 条件论注释通过"
+   }
+  ],
+  "reason": "",
+  "verified_at": "2026-09-10 20:11:01",
+  "version": 6
+ }
+}