chore(ledger+stubs): uibound（F3）合入回填台账；ui_sink stub 随格式钩子修净

merge 9d90e00（F3 sink 往返喂位）后 @build 0/0 重编：Code=224,860 /
ER_IROM1 249,488 / RW=1,332 / ZI=135,100，lane-f 申报（+92B、RAM 79,008）
一致；凭证重盖、内存两账回填、覆盖率基线含新 ui_sink 套（39→40 套，
AGENTS 单测计数 22→23 同步）。stub 五头的空白/末行改动为格式钩子
（trailing-whitespace / end-of-file-fixer）在合并现场落笔，非语义变化。

scripts/size_attestation.json

@@ -1,25 +1,25 @@
 {
-  "built_at": "2026-10-25T18:03:15+08:00",
-  "fingerprint": "e05ca262a6f07c2bf7ca2a5927cf0801af0442a2c542f10428941beafbbc3481",
+  "built_at": "2026-10-25T18:46:17+08:00",
+  "fingerprint": "101b6500c00ec55bba062c4141f5942479e329bba1b839be5d25be287751c228",
   "fingerprint_files": 1422,
   "fingerprint_source": "git-index",
   "gated_regions": [
     "RW_IRAM1",
     "RW_CCM"
   ],
-  "git_head": "66f862e7705d6b4e27816eecd4e47c9d2d83b527",
+  "git_head": "9d90e00d52bba74834c80f8fef483dc00e6f7507",
   "map": "MDK-ARM/STM32F407-Demo/STM32F407-Demo.map",
-  "map_mtime": 1792922569,
+  "map_mtime": 1792925151,
   "pct": {
     "ER_IROM1": 23.79,
     "RW_CCM": 87.89,
-    "RW_IRAM1": 60.27,
+    "RW_IRAM1": 60.28,
     "UNINIT_CCM": 18.75
   },
   "regions": {
     "ER_IROM1": {
       "max": 1048576,
-      "size": 249408
+      "size": 249500
     },
     "RW_CCM": {
       "max": 65280,
@@ -27,7 +27,7 @@
     },
     "RW_IRAM1": {
       "max": 131072,
-      "size": 79000
+      "size": 79008
     },
     "UNINIT_CCM": {
       "max": 256,
@@ -37,10 +37,10 @@
   "schema": 2,
   "scope_note": "\u540c\u7801\u51ed\u8bc1\uff1a\u6307\u7eb9\u8986\u76d6\u56fa\u4ef6\u4f53\u79ef\u76f8\u5173\u6e90\u7801\uff0c\u53e3\u5f84\u89c1\u672c\u811a\u672c docstring",
   "sizes": {
-    "code": 224768,
+    "code": 224860,
     "ro_data": 24640,
-    "rw_data": 1328,
-    "zi_data": 135096
+    "rw_data": 1332,
+    "zi_data": 135100
   },
   "threshold_pct": 92.0,
   "worktree_dirt_at_stamp": 0,