feat: add domain core and verification harness

docs/decisions.md

@@ -121,6 +121,16 @@
 - 后果：P4 必须实现保存策略、事务关联、设置、单次退出、删除、迁移和备份排除测试；ADR-012 是生产事实源，决策时尚未同步的 v0.2 原型只能作为旧流程评审材料，现行 v0.3 已完成同步。
 - 复审触发：引入账号、导出、云同步、系统备份、跨设备迁移或新的隐私/合规要求。
 
+## ADR-013：仓库门禁采用无外部依赖脚本并由 Gradle 聚合
+
+- 状态：`Accepted`
+- 日期：2026-08-04
+- 关联：解决 TBD-012、P0/P1/P2/P6
+- 决定：在 Android application 壳建立前，使用仓库内 Node 脚本执行格式、文档链接、高置信 secret scan、domain 依赖边界、原型语法和内容完整性检查；Gradle 8.2 的 `verifyLocal` 聚合这些检查与 JVM 测试，CI 调用同一入口。
+- 原因：当前系统已实测 Node 22、JDK 17 和 Gradle 8.2，且无需新增全局工具或把个人路径写进工程；门禁错误能够给出可修复的文件位置。
+- 后果：`spotlessCheck` 当前是仓库内的无依赖格式兼容入口，不表示已引入 Spotless 插件。Android 壳建立后必须把 lint/debug build 加入 `verifyLocal`；将来若采用维护良好的专用插件，应保留命令兼容或同步更新 CI 与文档。
+- 复审触发：Android 工具链启用、现有脚本无法表达新边界，或专用工具能以可接受成本提供明显更强的检查。
+
 ## 未决问题
 
 | ID | 问题 | 推荐默认 | 阻塞阶段 |
@@ -134,7 +144,6 @@
 | TBD-009 | AI 模型供应商与自有后端 | 供应商无关接口；先交付本地版 | P5 |
 | TBD-010 | 服务端问题/回复保留期 | 最小化且明确披露，优先不持久化正文 | P5，发布阻塞 |
 | TBD-011 | 高风险本地资源表覆盖地区 | 首发市场确认后维护，不让模型编号码 | P5 |
-| TBD-012 | 架构检查工具 | 选择维护活跃工具或小型自定义测试 | P0/P1 |
 
 ## 新增决策模板