一个必要条件算不出来，AI还能硬给答案吗？

geotask:
  id: "gt07-unverifiable-constraint"
  name: "GT07 Unverifiable Constraint"
  schema_version: "1.0"

space:
  crs:
    type: "local_cartesian"
    identifier: "local_xy_m"
  horizontal_unit: "meter"
  vertical_unit: "meter"

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
  restricted_altitude:
    type: "altitude_interval"
    min: 120
    max: 180
  flight_time:
    type: "time_interval"
    start: "08:00"
    end: "09:00"
  provisional_restricted_time:
    type: "time_interval"
    start: "08:30"
    end: "10:00"

operator_set:
  - line_intersects_rect
  - altitude_overlap
  - time_overlap

tasks:
  - id: "evaluate_required_conditions"
    assertions:
      - id: "route_intersects_zone"
        operator: "line_intersects_rect"
        object_refs: ["route", "restricted_zone"]
      - id: "altitude_conflict"
        operator: "altitude_overlap"
        object_refs: ["flight_altitude", "restricted_altitude"]
      - id: "temporal_conflict"
        operator: "time_overlap"
        object_refs: ["flight_time", "provisional_restricted_time"]
        condition: "restricted_schedule_verified"

execution:
  mode: "model_then_local_verify"

extensions:
  decision_rule:
    id: "full_conflict"
    logic: "three_valued_and"
    expression: "route_intersects_zone AND altitude_conflict AND temporal_conflict"
    unknown_policy: "propagate"
  evidence_note: "The restricted schedule interval is provisional and has not been verified."

output_contract:
  format: "structured"
  required_fields:
    - "route_intersects_zone"
    - "altitude_conflict"
    - "temporal_conflict_status"
    - "full_conflict_status"
    - "verification_status"

instructions_for_model:
  - "Do not treat unverified evidence as a verified boolean input."
  - "If a required condition cannot be verified, preserve it as unverifiable."
  - "Apply three-valued AND with unknown propagation."
  - "Do not silently replace unknown with true or false."
  - "Mark model-produced conclusions as model_generated."
  - "Do not claim local_deterministic verification unless a separate executor has run."