动作名结清核销（账单结清）
职能域账务
对客/对内对客
隐式是
执行者系统（账务核心 ICPS）
产物none(账单 N|O→F；借据 PAID_OUT_DATE 写入)
参数结清触发源(账单还款足额 / 借据提前结清 / 重组结清)·结清金额
副作用P025 →F·P027 PAID_OUT_DATE·P031 借据结清·(账户逾期天数 P233 随账单结清在 F-83 查询时自然归 0;本动作拔除 A 码)·可用额度即刻释放(P220,由 F-63 推导)·触发 A-44 / A-32·(账户账单状态 P007 由 F-82 查询时聚合)·P201 写入·P224 写入
可逆性不可逆
前置条件L074
其余涉及构件 IDP229
反馈—
状态
○ 草稿
登记 2026-10-09 · trista出处 R5§③·05§E.2·R5§⑧ 借据/账单人话字段(语句 / 定义)是正本,这里是它的机器可执行翻译。只补在已确认(verified)的条目上;齐了、闸门过了,由本体管理员切 active 进编译。
✕ allowed_states 为空
✕ params_schema 为空(无参数请填 [])
✕ writes 为空(无写入请填 [])
✕ dispatch 为空
✕ metrics 为空(确认无观测口径请填 none)
✕ 前置规则 L074 未就绪(precondition 无法合成)
△ side_effects 含 P025 但 writes 未列(6.4.5 互指)
△ side_effects 含 P027 但 writes 未列(6.4.5 互指)
△ side_effects 含 P031 但 writes 未列(6.4.5 互指)
△ side_effects 含 P201 但 writes 未列(6.4.5 互指)
△ side_effects 含 P224 但 writes 未列(6.4.5 互指)
允许状态 allowed_states说明书 6.3.2
— 未填(留白=尚未翻译,缺口)
填写 · [{"axis":"P007","values":["O"]}]
参数范围 params_schema说明书 6.3.2
— 未填(留白=尚未翻译,缺口)
填写 · [{"name":"渠道","type":"enum","values":["SMS","WA"],"required":true}];无参数填 []
写入清单 writes说明书 6.3.2
— 未填(留白=尚未翻译,缺口)
填写 · [{"op":"modify","target":"P143","from":"const:true"}];无写入填 []
执行去向 dispatch说明书 6.3.2
— 未填(留白=尚未翻译,缺口)
填写 · {"system":"触达系统","entry":"api","payload_map":{},"human_gate":"optional","ack":"…","callback":"…"}
观测指标 metrics说明书 6.3.2
— 未填(留白=尚未翻译,缺口)
填写 · [{"name":"送达率","definition":"…","window":"7d","columns":["C011"],"direction":"higher_better"}];确认无则填 none
变更草稿历史 · 0
尚无变更记录。
改动历史 · 1
2026-10-09 03:36编辑trista(迁库前记录)· side_effects 与派生属性函数写入方对齐