{{title}}

{{summary}}

状态入口{{state-entry}}

数据写入{{data-write}}

状态出口{{state-exit}}

异常状态{{bad-state}}

异常数据{{bad-data}}

修复约束{{guard}}

验证口径{{check}}

{{evidence_and_notes}}