Codex
ce172ffd4f
## 背景
2026-09-13 UI 重设计方案的 13 个契约门禁中 3 个为红，逐一查明性质后分类处理。
## 1. activity 页迁移 TypeScript（11/11 页现已全 TS）
- activity.js → activity.ts（139 行），业务逻辑零改动，仅补类型
- 此前 STATUS.md 记「9/11 TS-only、3 页待迁」，但 messages/matchmaker
已在 4f91be0 迁完，实际只剩 activity 一页，本提交后清零
## 2. miniapp-reference-contracts 契约自身过期（非代码问题）
- 契约引用 messages.js / matchmaker.js / activity.js，但页面已 TS 化，
readFileSync 抛裸 ENOENT 栈，看不出「契约引用了陈旧文件名」这一真实原因
- 改为统一走 readPageLogic(page)：断言 .ts 存在 + .js 不存在（锁单一运行源），
找不到文件时给出可读断言而非崩溃
- 核心 11 页循环内统一加 TS-only 校验，防止 JS 回流
## 3. phase07-home-contracts 契约断言架构写反（非代码问题）
- 契约要求 HomeApplicationService 字面出现 userIdentityMapper.findByUserId，
但实际是 capabilityService.isIdentityVerified(userId)（HomeApplicationService:116）
- 这符合 AGENTS.md #26「前端入口可见性由服务端 CapabilityService 返回决定」，
让首页穿透 Capability 直接持有 mapper 反而是架构重复
- 且契约自身另一条已断言 CapabilityService 必须有 isIdentityVerified，
两条要求互相矛盾
- 改为：查库断言落在 caps 侧；首页断言必须委托 capabilityService.isIdentityVerified；
新增 doesNotMatch(home, /userIdentityMapper/) 禁止首页绕过 Capability
- 保留原有 doesNotMatch(home, /setVerified\(true\)/) 防硬编码断言
## 4. 新增 11 页静态预览器（本机无微信开发者工具）
- scripts/preview-miniapp.mjs：把 WXML + WXSS 转成可浏览器打开的静态 HTML
- 能力：wx:if/wx:elif/wx:else 链、wx:for 列表、嵌套三元、比较/取反运算、
自定义组件按属性展开、slot 替换、rpx→px 换算、组件样式收集
- mock 数据严格对齐 types/index.d.ts 与各页 WXML 实际读取字段
（如 regionName/heightCm/educationCode、status: registration_open），
不用想象字段，避免误导验收判断
- 产出 artifacts/ui-redesign/miniapp/preview.html（11 页可切换，284K）
- 明确边界：非真机渲染、不执行页面 JS、不连后端，
只用于视觉走查，不得作为功能验收证据
## 验证
- 契约门禁 12/13 通过（唯一红的 ui-document-baseline-contracts 涉及
STATUS.md 验收口径，待用户看真机效果后裁决，本轮不动）
- 11 页渲染体量：116/70/47/56/94/68/39/39/41/37/38 个类名元素，
零残留 {{}} 插值、零残留原始组件标签
- 小程序 tsc --noEmit 通过
善缘丹阳公益婚恋服务平台 V1.1 增量恢复中
面向丹阳市成年单身人士，由公益组织参与运营的实名制公益婚恋服务平台。
真实 · 公益 · 本地 · 安全 · 高效
当前基线: V1.0.0-RC.2 + V1.1 客户需求增量 · 状态：INCREMENTAL RECOVERY / NO-GO
当前代码包含 V1.1 部分实现，但尚未通过 Admin、Miniapp、权限和 E2E 发布门禁。请勿依据历史 Completion Report 或 Jira 勾选项判断已经上线。唯一执行计划见
docs/善缘丹阳 V1.1 客户需求基线增量开发与修复计划.md。
项目简介
本平台帮助丹阳本地单身人士通过实名认证、人工审核、智能匹配、双向喜欢、在线沟通、公益红娘和线下相亲活动，安全、高效、真实地寻找合适伴侣。
用户永久免费。
技术栈
| 组件 | 技术 |
|---|---|
| 后端 | Java 21 + Spring Boot 3.x |
| 数据库 | PostgreSQL |
| 缓存/Session | Redis |
| 对象存储 | S3 兼容（MinIO / 国内云存储） |
| 实时通信 | WebSocket |
| 数据库迁移 | Flyway |
| 小程序 | 微信原生 + TypeScript |
| 管理后台 | Vue 3 + TypeScript + Vite + Pinia + Element Plus |
| 容器化 | Docker + Docker Compose + Nginx |
| CI/CD | GitHub Actions |
项目结构
├── backend/ # Spring Boot 后端服务
├── miniapp/ # 微信小程序用户端
├── admin-web/ # 运营管理后台（Web）
├── infrastructure/ # Docker Compose 编排
├── scripts/ # 运维脚本
├── tests/ # 测试代码
│ ├── unit/
│ ├── integration/
│ ├── api/
│ ├── permission/
│ ├── concurrency/
│ ├── e2e/
│ └── invariants/ # 核心不变量测试（每次CI必跑）
├── docs/ # 项目文档
│ ├── product/
│ ├── architecture/
│ ├── api/
│ ├── database/
│ ├── security/
│ ├── testing/
│ ├── ops/
│ └── decisions/
├── AGENTS.md # 项目最高执行规则摘要
├── CHANGELOG.md
└── README.md
快速开始（开发环境）
前置要求
- Docker & Docker Compose
- JDK 21
- Node.js 18+
- npm / pnpm
一键启动基础设施
# 进入基础设施目录
cd infrastructure
# 启动 PostgreSQL / Redis / MinIO
docker compose up -d
# 等待服务就绪（约30秒）
# 可运行：docker compose logs -f
启动后端
cd backend
# 复制环境变量
cp src/main/resources/application-dev.yml.example src/main/resources/application-dev.yml
# 编辑 application-dev.yml，设置数据库连接等
# 构建并启动
./mvnw spring-boot:run -Dspring-boot.run.profiles=dev
启动管理后台
cd admin-web
# 安装依赖
pnpm install
# 启动开发服务器
pnpm dev
启动小程序
使用微信开发者工具打开 miniapp/ 目录，配置 AppID 后即可预览。
环境变量
所有环境变量参见各模块的 .env.example 文件。
关键变量：
# 数据库
DB_HOST=localhost
DB_PORT=5432
DB_NAME=danyang_match
DB_USER=app_rw
DB_PASSWORD=<secret>
# Redis
REDIS_HOST=localhost
REDIS_PORT=6379
# 对象存储
MINIO_ENDPOINT=localhost:9000
MINIO_ACCESS_KEY=<secret>
MINIO_SECRET_KEY=<secret>
MINIO_BUCKET_PUBLIC=public
MINIO_BUCKET_PRIVATE=private
# 微信
WECHAT_APP_ID=<secret>
WECHAT_APP_SECRET=<secret>
Secret 不进 Git。
数据库迁移
cd backend
./mvnw flyway:migrate -Dflyway.url=jdbc:postgresql://localhost:5432/danyang_match
运行测试
Phase 01 一键基线检查
PowerShell：
.\scripts\verify-phase01.ps1
Bash：
./scripts/verify-phase01.sh
脚本依次检查 Git、Backend tests、Admin type-check/build、Miniapp TypeScript 和 V1.1 E2E。任一门禁失败时脚本返回非零退出码，并在结尾列出失败项。Windows 未安装 JDK/Maven 时，Backend 检查使用 Docker 中的 JDK 21 与仓库内 Maven 包；不会永久修改系统环境。
首次执行 Admin/Miniapp 检查前，在 admin-web 目录运行 npm ci。E2E 使用 python -m pytest，不要依赖全局 pytest 命令。
分项命令
# 后端单元测试
cd backend
./mvnw test
# 后端集成测试
./mvnw verify
# 管理后台构建检查
cd admin-web
pnpm build
# 小程序编译检查
cd miniapp
# 在微信开发者工具中查看编译结果
构建部署
# 构建后端镜像
docker build -t danyang-match-backend:latest ./backend
# 构建管理后台
cd admin-web && pnpm build
# 完整部署
cd infrastructure && docker compose up -d
核心业务闭环
微信登录 → 绑定手机 → 实名认证 → 填写资料 → 设置择偶 → 提交审核
↓
审核通过 → 系统推荐 → 用户Like → 双向Match → 安全聊天
↓
公益红娘辅助 / 参加线下活动 → 进一步了解 → 双方确认成功牵手
开发阶段
项目按 Phase 01～Phase 26 顺序推进。详见 docs/STATUS.md。
许可证
本项目为公益项目，服务于丹阳市单身人士婚恋匹配。