docs/02-ontology-v0.md

本体论 v0：对象、关系、命令、事件、谓词

人与组织只有 Party 一套户籍。每个对象类型有且只有一个 owner 模块。施工节点名称不在本仓写死。命令走网关；本页的试探接口会校验形状、算出管线并返回 501。

本体关系图 v0mermaid

正在绘制…

细施工规则种子/待对齐，不在此编造。

对象目录（由模块 manifest 聚合）

类型	中文	owner 模块	被扩展	对齐	说明
ObjectRecord	对象户籍	kernel	—	本仓	所有业务对象的登记头：type、id、owner 模块、创建者、软删除。
Relation	关系	kernel	—	本仓	有类型的边，禁止用对方表里的姓名字符串当外键。
Command	命令	kernel	—	本仓	人或 Agent 的意图，必须进命令网关。
DomainEvent	领域事件	kernel	—	本仓	已发生事实，只追加。数仓只消费事件。
PolicyPredicate	权限谓词	kernel	—	本仓	can_read / can_command / can_approve，不是角色名列表。多模块贡献取交集。
AuditRecord	审计记录	kernel	—	本仓	谁对何对象做了何命令、经过哪些模块钩子。人与 Agent 同一时间线。
ApprovalCase	人机审批	kernel	—	本仓	跨模块共享的审批壳；通知走外购 IM/邮件。
AgentSession	Agent 会话	kernel	—	本仓	一次 Agent 运行。只经本体 API，无数据库后门。
ModuleRecord	模块登记	kernel	—	本仓	已启用模块、版本、已跑迁移。禁用不删数据。
Party	参与方	party	scm, fin	本仓	全公司唯一户籍。业主、供应商、员工都是 Party + 角色。
Person	自然人	party	—	本仓	Party 的自然人细分。
Organization	组织	party	—	本仓	Party 的组织细分。供应商也走这里。
PartyRole	参与方角色	party	—	本仓	owner / supplier / foreman / worker / employee / manager。角色不是新的人表。
Property	房屋	party	eng	本仓	空置房 / 工地房屋。线索、合同、项目都指向它。
Lead	线索	crm	—	本仓	找到空置房业主。必须同时挂 Party 与 Property。
DesignScheme	装修方案/效果	crm	—	种子/待对齐	方案对象；文件存对象存储，本体只留指针。细规则待对齐。
Quote	报价	crm	—	本仓	评估价格。签发后改金额只能出新 Quote。
Contract	合同	crm	fin	本仓	签约事实。工程与财务只读并引用，不复制客户。
Employee	员工	hr	—	本仓	在职人员 = Person + 雇佣关系。
OfficeDoc	文档指针	hr	—	本仓	合同扫描件、验收 PDF。不存邮件正文仓库。
Project	工程项目	eng	—	种子/待对齐	一次交付。必须挂已签署 Contract。与 DMS「项目」对齐。
ConstructionNode	施工节点	eng	—	种子/待对齐	节点类型来自 seeds/construction-node-types.json（DMS 过程图对齐后填入），禁止写死工艺名。
WorkInstruction	现场指令	eng	—	种子/待对齐	可选。v0 可空，不编造表单字段。
Acceptance	验收	eng	—	种子/待对齐	交付验收事实。细项清单种子/待对齐。
Crew	施工团队	eng	—	种子/待对齐	项目班组。成员是 Party，不是工程库私有用户。
Requisition	要货	eng	—	本仓	从项目/节点提出。工程发起（owner），scm 承接并挂钩子校验。
Material	材料	scm	—	本仓	材料主数据：名称、规格、单位。
PurchaseOrder	采购单	scm	—	本仓	必须指向要货与供应商 Party。
GoodsReceipt	到货	scm	—	本仓	MVP 可后置。
Receivable	应收	fin	—	本仓	必须指向 Contract。禁止财务自建客户编码。
Payment	回款	fin	—	本仓	必须指向 Receivable。
CostEntry	成本入账	fin	—	本仓	来自采购或人工。MVP 可后置明细。
FinanceReview	财务复核	fin	—	本仓	对某合同的财务复核事实。大额合同签署前必须存在。

关系

approves审批挂载kernel

ApprovalCase → ObjectRecord · n:1 · 可挂任意对象

declared_by对象归属模块kernel

ObjectRecord → ModuleRecord · n:1 · 每个业务对象类型有且只有一个 owner 模块

is_person自然人细分party

Person → Party · 1:1 · 见本体文档

is_organization组织细分party

Organization → Party · 1:1 · 见本体文档

plays扮演角色party

PartyRole → Party · n:1 · 同一人可同时是业主与供应商

owns权属party

Party → Property · n:n · 允许共有

subject_of线索主体crm

Lead → Party · n:1 · 业主

about_property关于房屋crm

Lead | Quote | Contract → Property · n:1 · 同一套房

proposed_as方案所属crm

DesignScheme → Lead · n:1 · 见本体文档

priced_as报价针对方案crm

Quote → DesignScheme · n:1 · 见本体文档

quoted_to报价对象crm

Quote → Party · n:1 · 见本体文档

supersedes替代旧报价crm

Quote → Quote · 1:1 · 改价只能出新报价，旧的标 superseded

agreed_in合同来自报价crm

Contract → Quote · 1:1 · 变更另开对象

customer_of合同客户crm

Contract → Party · n:1 · 不是财务客户编码

employed_as雇佣hr

Employee → Person · 1:1 · 见本体文档

delivered_by项目履行合同eng

Project → Contract · n:1 · 默认一合同一项目

project_property项目所在房屋eng

Project → Property · n:1 · 与合同同一套房

node_of节点属于项目eng

ConstructionNode → Project · n:1 · 种子/待对齐

staffed_by项目班组eng

Crew → Project · n:1 · 见本体文档

member_of班组成员eng

Party → Crew · n:n · 角色名待与 DMS 对齐

accepts验收项目eng

Acceptance → Project · n:1 · 种子/待对齐

requests要货属于项目eng

Requisition → Project · n:1 · 见本体文档

requests_material要货材料scm

Requisition → Material · n:n · Requisition 属 eng，Material 属 scm

fulfills采购履行要货scm

PurchaseOrder → Requisition · n:1 · 见本体文档

sold_by供应商scm

PurchaseOrder → Party · n:1 · 见本体文档

receives到货针对采购单scm

GoodsReceipt → PurchaseOrder · n:1 · 见本体文档

due_from应收来自合同fin

Receivable → Contract · n:1 · 见本体文档

settles回款核销fin

Payment → Receivable · n:1 · 见本体文档

costs成本来源fin

CostEntry → PurchaseOrder | Project · n:1 · 见本体文档

reviews复核针对合同fin

FinanceReview → Contract · n:1 · 见本体文档

命令与事件

命令	owner	审批	钩子	事件	Agent 可提交
RegisterParty 登记参与方	party	none	—	PartyRegistered	否
RegisterProperty 登记房屋	party	none	—	PropertyRegistered	否
UpdateParty 更新参与方	party	none	fin:after	PartyUpdated	否
GrantPartyRole 授予角色	party	none	—	PartyRoleGranted	否
MergeParty 合并参与方	party	required	—	PartyMerged	否
CaptureLead 捕获线索	crm	none	—	LeadCaptured	否
ProposeScheme 提出方案	crm	none	—	SchemeProposed	否
IssueQuote 签发报价	crm	recommended	—	QuoteIssued	否
DraftContract 起草合同	crm	none	fin:after	ContractDrafted	否
SignContract 签署合同	crm	required	fin:validate, fin:after	ContractSigned	否
OpenProject 打开项目	eng	none	—	ProjectOpened	否
RequestMaterials 要货	eng	recommended	scm:validate	MaterialsRequested	否
AssignCrew 召集施工团队	eng	none	—	CrewAssigned	否
StartNode 开始施工节点	eng	none	—	NodeStarted	否
CompleteNode 完成施工节点	eng	recommended	—	NodeCompleted	否
AcceptHandover 交付验收	eng	required	—	HandoverAccepted	否
RegisterMaterial 登记材料	scm	none	—	MaterialRegistered	否
PlacePurchaseOrder 下采购单	scm	required	—	PurchaseOrderPlaced	否
ReviewContractFinance 财务复核合同	fin	none	—	ContractFinanceReviewed	否
RecordPayment 登记回款	fin	recommended	—	PaymentRecorded	否

权限谓词

can_read能否看见该对象。

can_command能否对该对象提交某类命令。

can_approve能否批准挂在该对象上的审批。

can_export能否导出（默认严于 can_read）。

agent_may_proposeAgent 可否生成命令草案。

agent_may_commitAgent 可否直接提交。v0 默认 false。

模块贡献的谓词片段： party 收紧 can_command(*)； party 收紧 can_approve(*)； party 收紧 can_read(*)； party 收紧 can_export(*)； fin 收紧 can_command(SignContract)。只能收紧，不能放宽。

不变量

· Lead 必须同时指向 Party 与 Property。

· Quote 必须指向 Party；签发后金额变更只能出新 Quote。

· Contract 必须指向 Party、Property、Quote。

· Project 必须指向已签署 Contract。

· Requisition 必须指向 Project；PO 必须指向 Requisition 与供应商 Party。

· Receivable 必须指向 Contract；Payment 必须指向 Receivable。

· 任何工作台不得插入「姓名+手机」而不登记 Party。

· Agent 对 SignContract / PlacePurchaseOrder / AcceptHandover / RecordPayment 不可 commit。

· 每个业务对象类型有且只有一个 owner 模块；命令的主 handler 只能属于 owner 模块。

· 模块只能通过 manifest 声明的依赖引用别人的对象；模块之间零源码 import。

· 扩展别人的对象只能落 1:1 扩展表；扩展别人的命令只能挂 validate / before / after 钩子。

· 权限贡献只能收紧；禁用模块不删数据。

命令网关桩

试一条命令：合法命令返回 501 并附带执行管线（哪个模块的 handler、哪些钩子、谁订阅）；带 customerName 返回 409；Agent 提交签约返回 403。

预设

注册表中共 20 条命令，来自 5 个模块。以当前登录身份提交（未登录 → 401，非员工 → 403，都留审计）。party / crm / fin 已实现的命令真写库；其余模块解析管线后停在 501。

尚未试探。选一条预设，看网关如何放行、拒绝或停住一条命令。