概念/概念定义

从“看起来成功”开始

建模 Agent 可以画出一张像样的图，模型库里仍然存在悬空关系、错误归属、重复对象或空变更。等到写回后再让模型点评，工程状态已经被污染。

定义

结构写回门禁位于候选计划与正式工程模型库之间。它在产生副作用前检查：

1. 范围存在、唯一且允许写入；
2. 元素、关系和图类型合法；
3. 每条关系的端点形成引用闭包；
4. 用户明确列举的对象完整进入计划；
5. 视图内容是已验收模型结果的子集；
6. 写入产生真实增量，空增量记录为 NOOP；
7. 模型库和画布经过唯一写回通道，并生成回执与撤销句柄。

结果使用有限枚举：APPLIED、APPLIED_WITH_WARNINGS、BLOCKED、NOOP。

工程边界

门禁检查可程序化的不变量，不承担全部建模品质评审。命名、粒度和方案合理性可在写前人审、生成评审或离线评估中处理。

来源与谱系

• 初始研究来源：AI4MBSE 个人研究项目，作者袁良锭（Liangding Yuan）；ADPS 依据公开机制归纳。
• 历史近邻：admission controller、database constraint、precondition、transaction validation。
• ADPS 整理：把验证对象换成 Agent 候选结构，并把裁决连到写回回执和结果状态。
• 定义地位：ADPS 重述。