diff --git a/Drivers/BSP/GD5F2GQ5UE/nand_ftl.c b/Drivers/BSP/GD5F2GQ5UE/nand_ftl.c
index 93840991..632aa6e2 100644
--- a/Drivers/BSP/GD5F2GQ5UE/nand_ftl.c
+++ b/Drivers/BSP/GD5F2GQ5UE/nand_ftl.c
@@ -20,7 +20,11 @@
  *                       DHARA_PAGE_NONE）旧会被地址位截断成真实页 → 静默读写
  *                       错页，现报 DHARA_E_CORRUPT_MAP（不能用 BAD_BLOCK：会
  *                       误标无辜好块；不能用 RECOVER：会触发回收）；
- *                       ③ 补主机侧移植层单测 test/host/nand_port/（L0.5）
+ *                       ③ 补主机侧移植层单测 test/host/nand_port/（L0.5）；
+ *                       ④ 几何字面量收成 FTL_LOG2_PAGE_SIZE / FTL_LOG2_PPB
+ *                       单一真源 + 两条负数组编译期守卫：越界上界依赖
+ *                       log2_ppb，换料时只改 GD5F_* 而忘改字面量会**静默**
+ *                       把守卫算大 = 越界守卫失效，现改为直接编译错
  */
 
 /* 头文件包含区 */
@@ -50,6 +54,22 @@
 #define FTL_NUM_BLOCKS          (GD5F_TOTAL_BLOCKS - FTL_START_BLOCK)
 #define FTL_START_PAGE          (FTL_START_BLOCK * GD5F_PAGES_PER_BLOCK)
 
+/* dhara 几何字面量的**单一真源**（Trap 07 遗留 3 的收口）：disk_initialize 与
+ * 下方守卫都取这两个宏，不再各写一遍 11 / 6。 */
+#define FTL_LOG2_PAGE_SIZE      11u
+#define FTL_LOG2_PPB            6u
+
+/* 编译期守卫：`ftl_page_in_range()` 的越界上界 = `num_blocks << log2_ppb`，
+ * **完全依赖 log2_ppb**。将来换料（例如 128 页/块的兼容片）只改了 GD5F_* 常量
+ * 而忘了同步这里的字面量，守卫会静默算错——偏大就是越界守卫失效，正是它要防的
+ * 那一类错误，而且不报任何错。下面两条把"字面量 == GD5F 常量的 log2"钉死，
+ * 不一致直接编译错。负数组 typedef 是 AC5 下的项目惯用法（AC5 不支持 C11
+ * _Static_assert），同本目录 gd5f2gq5ue.h 的 N-26 DMA 契约守卫。 */
+typedef char ftl_geometry_log2_page_size_check_t[
+    (FTL_PAGE_SIZE == (1 << FTL_LOG2_PAGE_SIZE)) ? 1 : -1];
+typedef char ftl_geometry_log2_ppb_check_t[
+    (GD5F_PAGES_PER_BLOCK == (1 << FTL_LOG2_PPB)) ? 1 : -1];
+
 /* dhara 逻辑地址到物理地址转换 */
 static inline uint32_t ftl_phy_block(dhara_block_t b) { return b + FTL_START_BLOCK; }
 static inline uint32_t ftl_phy_page(dhara_page_t p)   { return p + FTL_START_PAGE; }
@@ -341,8 +361,8 @@ DSTATUS disk_initialize(BYTE pdrv) {
         return STA_NOINIT;
     }
 
-    s_nand.log2_page_size = 11;
-    s_nand.log2_ppb = 6;
+    s_nand.log2_page_size = FTL_LOG2_PAGE_SIZE;
+    s_nand.log2_ppb = FTL_LOG2_PPB;
     /* dhara 可见块数 = 总块数 - 保留块池（BBT 存储区不交给 dhara，避免被擦写） */
     s_nand.num_blocks = gd5f_get_usable_blocks();
 
diff --git a/docs/问题记录/GD5F2GQ5UE_Trap_Records.md b/docs/问题记录/GD5F2GQ5UE_Trap_Records.md
index c78ce423..0850c6f6 100644
--- a/docs/问题记录/GD5F2GQ5UE_Trap_Records.md
+++ b/docs/问题记录/GD5F2GQ5UE_Trap_Records.md
@@ -293,8 +293,11 @@ if (ok) {
 2. **空白卷首启成本**：dhara resume 扫到的每个检查点页都是全 0xFF → 每页要 32 次列读
    （旧实现 1 次）。量级仍小（O(log N) × ppc），但**首次挂载（新格式化卷）会明显变慢**。
    台架若观察到该现象，根因在此，**不是回归**。
-3. **守卫上界依赖硬编码 `log2_ppb = 6`**：`ftl_page_in_range()` 的上界 =
-   `n->num_blocks << n->log2_ppb`，而这两个 `log2_*` 在 `disk_initialize` 里是字面量。
+3. **守卫上界依赖硬编码 `log2_ppb = 6`** ✅ **同日已收口**：`ftl_page_in_range()` 的上界 =
+   `n->num_blocks << n->log2_ppb`，而这两个 `log2_*` 原本在 `disk_initialize` 里是裸字面量。
    将来换 128 页/块的芯片，守卫会**静默算错**（偏大 = 越界守卫失效，正是它要防的那类）。
-   → 待办：加编译期断言 `GD5F_PAGES_PER_BLOCK == (1u << 6)`（本仓 `gd5f2gq5ue.h` 已有
-   "负数组 typedef"式契约断言先例，照抄即可）。
+   → 收口方式比"加一条断言"更彻底：字面量收成 `FTL_LOG2_PAGE_SIZE` / `FTL_LOG2_PPB`
+   **单一真源**（`disk_initialize` 与守卫同取此宏，杜绝两处各写一遍再各自漂移），
+   再加两条负数组编译期守卫 `FTL_PAGE_SIZE == (1 << FTL_LOG2_PAGE_SIZE)` /
+   `GD5F_PAGES_PER_BLOCK == (1 << FTL_LOG2_PPB)`——改 GD5F 常量而不同步几何即编译错。
+   AC5 不支持 C11 `_Static_assert`，负数组是本项目惯用法（同本目录 `gd5f2gq5ue.h` 的 N-26 守卫）。