同一片空域、同一高度，错开时间还算冲突吗？

飞行任务发生在08:00–09:00，限制时段是15:00–17:00。空间条件全部重叠，但时间窗口相隔6小时。

temporal_conflict = false

三个维度，前两个重叠，最后一个分离

如果只看到相同位置和相同高度，很容易直接说“冲突”。GT05要求继续检查发生时间。

位置重叠true

高度重叠true

时间错开false

位置关系重叠

高度关系重叠

时间关系不重叠

时间冲突false

第一步：让模型执行GT05

任务明确说明位置和高度已经重叠，并要求使用time_overlap继续判断两个时间闭区间。

得到模型的true或false后，请返回本页完成独立验证。

查看将被复制的完整 GeoTask

geotask:
  id: "gt05-space-overlap-time-separation"
  name: "GT05 Same Space but Different Time"
  schema_version: "1.0"

space:
  crs:
    type: "local_cartesian"
    identifier: "local_xy_m"
  horizontal_unit: "meter"
  vertical_unit: "meter"
  time_zone: "Asia/Shanghai"

objects:
  flight_footprint:
    type: "rect"
    bbox: [0, 0, 300, 200]
  restricted_footprint:
    type: "rect"
    bbox: [0, 0, 300, 200]
  flight_altitude:
    type: "altitude_interval"
    min_altitude: 100
    max_altitude: 150
    unit: "meter"
  restricted_altitude:
    type: "altitude_interval"
    min_altitude: 100
    max_altitude: 150
    unit: "meter"
  flight_time:
    type: "time_interval"
    start_time: "08:00"
    end_time: "09:00"
  restricted_time:
    type: "time_interval"
    start_time: "15:00"
    end_time: "17:00"

context:
  horizontal_overlap: true
  altitude_overlap: true

operator_set:
  - time_overlap

tasks:
  - id: "verify_temporal_conflict"
    family: "temporal_topology"
    goal: "Given overlapping position and altitude, determine whether the time windows overlap."
    assertions:
      - id: "temporal_conflict"
        operator: "time_overlap"
        object_refs: ["flight_time", "restricted_time"]
        expected_type: "bool"

execution:
  mode: "model_then_local_verify"

output_contract:
  format: "structured"
  required_fields:
    - "temporal_conflict"
    - "assurance_level"
    - "verification_status"

instructions_for_model:
  - "Do not infer a full conflict from position and altitude overlap alone."
  - "Compare the two closed time intervals in the stated time zone."
  - "Boundary contact counts as time overlap."
  - "Return temporal_conflict as true or false."
  - "Mark the model-produced result as model_generated."
  - "Do not claim local_deterministic verification unless a separate deterministic executor has run."

第二步：用本地确定性算子独立验证

选择模型答案。页面会把HH:MM转换为分钟，再比较两个闭区间是否有公共部分。

验证结果等待选择

模型候选结果—

本地确定性结果false

空档时间6 h

边界规则接触算重叠

请先选择模型答案，再点击本地验证。候选来源：model_generated；复算证据：local_deterministic。

真正的冲突需要在同一时空发生

空间条件
position = true
altitude = true
位置和高度均重叠。

时间条件
time_overlap = false
上午任务和下午限制没有共同时间。

GT05只演示同一天内的HH:MM闭区间比较。真实业务还需要处理日期、跨午夜、时区、夏令时、重复计划和规则生效版本，不能仅凭本页作出运行决策。

查看项目与继续体验

GT06 已上线：路线和高度都发生冲突，但时间不重叠，看看三个局部结果如何组合成最终结论。

GitHub 项目进入 GT06