用途：在创建、修改、审查或解读领域实体代码时，判断某个单值引用（直接实体引用或标识引用）应声明为必需还是可选。
主要能力：识别实体上的单值引用；评估实体在缺少该引用时能否处于有效领域状态；检查是否用哨兵值（空字符串、零 ID、占位常量）掩盖了可选性；确认集合引用是否被错误声明为可空。
判定规则：单值引用在实体无法脱离被引用实体而有效存在时为必需（如订单必属于客户，customerId 必需）；存在合法缺失场景时为可选（如球员可无球队，teamId 可选）。集合引用永不可空，用非空集合类型表示，空集合即表示无关联实体。可选性应使用语言惯用的可选类型（T | null、Optional<T>、T?、Option<T> 等），不用哨兵值。
使用方式：先找出单值引用并排除集合引用；对每个引用判断能否在无引用时创建、是否存在合法缺失状态，两者皆否为必需，任一为是为可选；发现哨兵值则替换为显式可选类型；若语义模糊，向人类说明实体与引用并询问，等待答复后再继续。写入时，必需引用用非空类型并在创建时强制存在；可选引用用惯用可选类型并显式处理缺失分支；集合引用用非空集合类型，无关联时初始化为空。
适用场景：领域模型设计、实体字段新增或可选性变更、代码审查。
限制：仅适用于单值引用，不适用于集合引用；资料未提供具体安装命令、平台或收费信息。