起飞授权与指令继续阻断。
GT32 · 渐进授权与非执行边界
五项授权陆续到达后,什么时候才算可起飞?
路线和天气预检已经通过,GT31的气象冲突也已完成限定裁决。但空域、运营人、起降场、气象放行和任务授权不会同时到达,系统必须在每份证据进入后重新计算门禁。
最后一个授权到达,只让输出变为可用;不代表指令已经发送,更不代表飞机已经起飞。
未知授权从5项逐步降到0
每一步只吸收一份明确证据,不根据其他记录推断缺失授权。
不能因为已有两份记录就提前放行。
仍缺气象放行与任务授权。
最后一项未到达,门禁仍为未知。
两个输出转为可用,动作仍未执行。
三个状态不能混在一起
全部条件满足
control_state: satisfied五项调用方声明的授权值与路线、天气条件共同满足控制表达式。
起飞相关输出可用
eligible自动起飞授权和起飞指令可以交给外部运行时继续处理,但核心没有发布它们。
飞机仍未起飞
action_executed: false没有联系真实主管单位,没有发送指令,也没有执行飞行动作。
选择系统下一步
交互完全在浏览器本地运行,不接入真实授权或飞行系统。
尚未选择。
固定结果
第五份证据到达前
控制状态:未知
自动起飞授权:阻断
起飞指令:阻断
缺失项:至少1项
第五份证据到达后
控制状态:满足
自动起飞授权:可用
起飞指令:可用
动作执行:否
unknown_authorization_count: 5 -> 4 -> 3 -> 2 -> 1 -> 0 control_state: satisfied automatic_takeoff_authorization: eligible takeoff_command: eligible production_output_released: false command_sent: false action_authorized_by_core: false action_executed: false
能力边界
五份授权记录、签发主体、任务和时间均为虚构。公共核心只验证调用方提交的布尔状态、有限控制表达式和固定制品绑定。
公共核心没有判断真实授权文件是否合法,没有联系真实主管机构,没有发布生产输出,没有发送起飞指令,也没有执行现实动作。