路线和高度都冲突，为什么最终结果仍然是false？

路线穿过限制区，高度区间也重叠，但时间窗口完全错开。GT06把三个Core算子的结果按明确的AND规则组合。

full_conflict = true ∧ true ∧ false = false

三个局部判断，必须分别留下证据

完整结论不是模型凭感觉汇总，而是由三项确定性检查逐层组成。

路线相交true

高度重叠true

时间重叠false

true ∧ true ∧ false 最终冲突 full_conflict = false

第一步：让模型执行完整GT06

模型需要分别回答三项局部结果，并按照显式AND规则给出最终full_conflict。

得到模型最终回答true或false后，请返回本页独立验证。

查看将被复制的完整 GeoTask

geotask:
  id: "gt06-multi-constraint-conflict"
  name: "GT06 Multi-Constraint Conflict"
  schema_version: "1.0"

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

objects:
  route:
    type: "polyline"
    coordinates:
      - [-200, 0]
      - [400, 0]
  restricted_zone:
    type: "rect"
    bbox: [250, -100, 350, 100]
  flight_altitude:
    type: "altitude_interval"
    min: 100
    max: 150
    unit: "meter"
  restricted_altitude:
    type: "altitude_interval"
    min: 120
    max: 180
    unit: "meter"
  flight_time:
    type: "time_interval"
    start: "08:00"
    end: "09:00"
  restricted_time:
    type: "time_interval"
    start: "15:00"
    end: "17:00"

operator_set:
  - line_intersects_rect
  - altitude_overlap
  - time_overlap

tasks:
  - id: "evaluate_constraints"
    assertions:
      - id: "route_intersects_zone"
        operator: "line_intersects_rect"
        object_refs: ["route", "restricted_zone"]
        expected_type: "bool"
      - id: "altitude_conflict"
        operator: "altitude_overlap"
        object_refs: ["flight_altitude", "restricted_altitude"]
        expected_type: "bool"
      - id: "temporal_conflict"
        operator: "time_overlap"
        object_refs: ["flight_time", "restricted_time"]
        expected_type: "bool"

execution:
  mode: "model_then_local_verify"

extensions:
  decision_rule:
    id: "full_conflict"
    expression: "route_intersects_zone AND altitude_conflict AND temporal_conflict"

output_contract:
  format: "structured"
  required_fields:
    - "route_intersects_zone"
    - "altitude_conflict"
    - "temporal_conflict"
    - "full_conflict"
    - "verification_status"

instructions_for_model:
  - "Execute all three assertions independently."
  - "Do not infer the final result before all local conditions are available."
  - "Compute full_conflict using the explicit AND expression."
  - "Return all four boolean fields."
  - "Mark model-produced fields as model_generated."
  - "Do not claim local_deterministic verification unless a separate executor has run."

第二步：本地运行三个算子，再组合

请选择模型给出的最终full_conflict。页面会真实执行路线、高度和时间算法，再按AND规则组合。

验证结果等待选择

模型最终候选—

本地最终结果false

局部证据T / T / F

组合规则AND

候选来源：model_generated；三项局部复算与组合结果：local_deterministic。

最终结论必须能回溯到每一项局部证据

水平证据
route_intersects_zone = true

垂直证据
altitude_conflict = true

时间证据
temporal_conflict = false

GT06的AND规则是当前演示显式声明的组合逻辑，不代表所有行业冲突都采用同一规则。真实业务还需要处理优先级、例外、缓冲阈值、未知值和规则版本。

查看项目与继续体验

GT07 已上线：当一个必要条件不可验证时，系统会保留unknown，而不是强行输出true或false。

GitHub 项目进入 GT07