SD-07｜财务核算

状态：placeholder（候选子域，边界待梳理）
Design=draft；Contract=absent；Implementation=not-assessed；Verification=not-assessed（仅指本次重整）。
上游：业务域 · 候选子域目录
业务 / 设计维护责任人：待指定
日期：2026-09-18

本次占位依据

• 候选业务需要：需要把经营产生的经济事实转换为可解释、可核对的账务结果。
• 优先边界问题：交易资金事实与会计核算事实的边界是什么？
• 既有输入：对应模块材料（历史材料保留在 docs_bak/）。只用于核对覆盖、规则和反例，不自动继承其 BC 划分。
• 名称与编号用于讨论定位，不表示边界、分类、数量或实现模块已定案。

1. 我们需要有什么

待梳理：用业务能力和可观察结果描述需求；记录为什么需要、缺失会造成什么问题、哪些不属于本子域。不能只列页面或接口名称。

2. 它是什么

待梳理：一句话定义、统一术语、范围与反例、核心概念。说明与相邻子域的区别；Core / Supporting / Generic 分类在论据充分后填写。

3. 有哪些参与者和调用者

同时检查人、内部领域调用方、异步进程和外部系统。产品端是入口，业务角色是行为主体，不能混为一列。

4. 各自如何使用

每个场景继续说明：如何事先获知权限与可用动作、执行时如何校验、其他参与方如何看到同一事实的变化。覆盖正常、边界、越权、重复、并发、超时与结果未知；不适用项须有依据。

5. 从使用场景收敛子域设计

以上内容足够明确后再展开本节，不能用既有 Go 包或表结构倒推答案。

• 责任与事实：拥有、引用、派生和不拥有的事实；唯一 Owner。
• 规则与状态：业务不变量、合法动作、状态变化和审计要求。
• 边界：候选限界上下文及其理由；与其他子域的关系和争议。
• 统一契约：公共数据语义、命令、查询、事件、权限和错误；引用唯一主讲位置。
• 协作与一致性：谁编排、何时完成、如何幂等、如何处理冲突与部分失败。
• 验证：用哪些跨参与方场景及反例证明设计成立。

本节尚未形成结论；当前没有新增生效的 BC、聚合、接口或状态枚举。

6. 待决问题与设计证据

每项设计结论记录来源、备选方案、取舍、可能推翻它的证据和未解决事项。业务政策未确定时保持待决，不编造默认规则。

7. 本文完成条件

• 所需能力、定义、参与方及使用场景均已明确，并核对遗漏。
• 子域边界与相邻子域无未解释的重复归属。
• 公共事实、权限和交互语义有唯一归属及可追踪引用。
• 场景包含失败、并发、恢复与跨端结果一致性的验证要求。
• 未决项、影响、实际维护责任与成熟度已登记。
• 满足条件后再记录评审结论；占位文件存在不等于设计完成，也不等于可进入实现。