This records the application-dev DDL apply/replay, compile and targeted test evidence, fresh-jar HTTP smoke, DB writeback checks, and cleanup proof for the PRICE_DIFF_ADJUST formal-table batch. Constraint: Evidence must stay aligned with the backend price-diff formal-table implementation and application-dev verification run on 2026-04-17 Rejected: Fold this evidence into unrelated doc drafts in the main docs worktree | would mix scopes and weaken traceability Confidence: high Scope-risk: narrow Reversibility: clean Directive: Append future price-diff reruns as dated subsections or follow-up evidence files instead of overwriting this baseline Tested: Verified against backend compile/test output and direct psql + fresh-jar smoke results on 2026-04-17 Not-tested: No doc export/render pipeline executed for this evidence-only commit
docs 研究与指南入口
目录用途
docs/ 用于维护研究资料、映射说明、工具使用指南与历史版本参考。
子目录说明
docs/design/00_Management/:项目管理、治理基线与 AI 维护规范docs/design/01_Overview/:概要设计主文档与总体架构docs/design/02_Detailed_Design/:详细设计主文档与模块设计docs/design/03_Technical_Design/:数据库、接口、安全、部署等技术专项docs/design/04_Appendix/:附录与历史归档资料guides/:执行指南与映射口径(优先使用)design/:设计辅助文档research/:调研资料v1.6/:历史版本材料
推荐阅读顺序
guides/SPECKIT_WORKFLOW_HUMAN_GUIDE.mdguides/SYSTEM_CAPABILITY_CLOSURE_MAP.mdguides/BACKEND_CURRENT_STATUS.mdguides/BACKEND_TABLE_MAPPING.md- 其他辅助资料
维护原则
- 该目录作为“辅助事实来源”,不替代主文档
- 如与主文档冲突,优先以主文档与当次用户要求为准