2.1 KiB

Raw Permalink Blame History

开放断言与命题验证包

ID：v5-open-assertion-proposition-pack
关键词：开放断言、命题验证、前瞻登记、反证、申诉、可撤回、判断勇气

源锚点

V5-H002 模型是什么（段落 406-410）
V5-H019 一、框架定位（段落 479-487）
V5-H021 1.1 跨尺度迁移闸（段落 490-494）
V5-H046 零级至二级开放断言许可规则（段落 704-709）
V5-H047 权力封闭度触发规则（段落 710-712）
V5-H053 2.9.4 程序有效性检查（段落 727-729）
V5-H054 2.9.5 人工智能合规表演与反俘获机制（段落 730-732）
V5-H057 2.9.8 判断勇气与开放断言协议（段落 742-747）
V5-H103 A5 反馈写回根假设（段落 1252-1254）
V5-H108 中介化判断补充（段落 1268-1279）
V5-H114 偿付约束推论（段落 1288-1289）
V5-H167 第四部分：诊断层：流程、工具箱、维度与输出（段落 1505-1506）

必须连读原因

保留必要判断勇气，同时让判断停留在可撤回、可验证、可申诉的层级。

触发场景

证据不足但风险不能无视、用户要求判断、需要提出命题或预测。

必须同读材料

开放断言记录表、命题验证表、前瞻登记、反证入口、撤回条件。

必须同读包（硬约束）

v5-source-evidence-separation-pack
v5-evidence-downgrade-action-ceiling-pack

必须同读闭包（递归展开）

v5-source-evidence-separation-pack
v5-evidence-downgrade-action-ceiling-pack

硬失败

用开放断言绕过证据责任，或把命题验证写成已经证明。

降档规则

未完成验证前不得进入强处置或公共记忆。

相邻候选包（非硬约束）

v5-evidence-downgrade-action-ceiling-pack
v5-strong-judgment-eight-pack

输出影响

输出必须写命题、证据状态、反向条件和验证窗口。

输出自检

是否先声明对象、事实、证据缺口和用途？
是否明确本包只影响结构判断，不替代现实核验？
是否写出降档、暂停或撤回条件？