在模型对齐领域，RLHF 的奖励模型、红队测试用例和系统提示词都会间接引用行为契约，使规范文本成为连接产品意图与工程实现的中间层。