GT32 · 渐进授权与非执行边界

五项授权陆续到达后,什么时候才算可起飞?

路线和天气预检已经通过,GT31的气象冲突也已完成限定裁决。但空域、运营人、起降场、气象放行和任务授权不会同时到达,系统必须在每份证据进入后重新计算门禁。

最后一个授权到达,只让输出变为可用;不代表指令已经发送,更不代表飞机已经起飞。

未知授权从5项逐步降到0

每一步只吸收一份明确证据,不根据其他记录推断缺失授权。

1空域授权剩余未知:4项

起飞授权与指令继续阻断。

2运营人授权剩余未知:3项

不能因为已有两份记录就提前放行。

3起降场授权剩余未知:2项

仍缺气象放行与任务授权。

4气象放行剩余未知:1项

最后一项未到达,门禁仍为未知。

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

能力边界

五份授权记录、签发主体、任务和时间均为虚构。公共核心只验证调用方提交的布尔状态、有限控制表达式和固定制品绑定。

公共核心没有判断真实授权文件是否合法,没有联系真实主管机构,没有发布生产输出,没有发送起飞指令,也没有执行现实动作。