一条路线有四个点，AI会检查每一段吗？

前两段都绕开，最后一段才穿过限制区。用本地确定性算子逐段验证模型的相交判断。

任务可视化

蓝色路线由四个点依次连接。红色矩形为限制区。前两段完全避开，第三段水平穿过。

路线 polyline 限制区 rect 相交部分（第3段）

第1段 P1→P2 和第2段 P2→P3 均未进入限制区；第3段 P3→P4 在 x∈[250,350] 区间穿过限制区。

本期任务

判断一条四点多段路线是否与矩形限制区相交。路线逐段检查，边界接触算作相交。

路线 route4 个点, 3 段

限制区 zone[250,−100]→[350,100]

指定算子line_intersects_rect

确定性结果true（第3段相交）

第一步：让模型执行任务

复制完整 GT03 任务主按钮会复制任务并尝试打开 DeepSeek。

粘贴、发送并记下答案模型应返回 true 或 false，并逐段说明判断依据。

微信内无法打开时，请点右上角"···"，选择"在浏览器打开"。

查看将被复制的完整 GeoTask

geotask:
  id: "gt03-multisegment-route-zone-intersection"
  name: "GT03 Multi-segment Route Zone Intersection"
  schema_version: "1.0"

space:
  crs:
    type: "local_cartesian"
    identifier: "local_xy_m"
  horizontal_unit: "meter"
  coordinate_order: ["x", "y"]

objects:
  route:
    type: "line"
    points:
      - [-200, 220]
      - [100, 220]
      - [100, 0]
      - [400, 0]

  zone:
    type: "rect"
    bbox: [250, -100, 350, 100]

operator_set:
  - line_intersects_rect

tasks:
  - id: "verify_route_zone_intersection"
    family: "topology"
    goal: "Determine whether any segment of route crosses or touches zone."
    assertions:
      - id: "route_intersects_zone"
        operator: "line_intersects_rect"
        object_refs: ["route", "zone"]
        expected_type: "bool"

execution:
  mode: "model_then_local_verify"

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

instructions_for_model:
  - "Check every consecutive pair of route points."
  - "Boundary contact counts as intersection."
  - "Return route_intersects_zone 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."

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

选择模型给出的答案，然后点击"本地验证"。页面会在浏览器中执行固定的相交判断逻辑，不调用任何后台。

验证结果 等待选择

模型候选结果—

本地确定性结果true

检查段数3

相交规则边界接触算作相交

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

这里演示的不是"让 AI 再判断一次"

模型路径
model_generated
模型理解任务、逐段推理并生成候选结果。

确定性路径
local_deterministic
固定算法逐段检查线段与矩形边的相交关系，相同输入得到相同输出。

本页用浏览器 JavaScript 演示独立验证；GeoTask Core 的正式确定性执行由本地 Python 算子完成。页面 JS 用于移动端体验演示，不替代 Core 的正式运算。

查看项目与继续体验

GT04 已上线：两个对象在二维地图上完全重叠，高度上却相隔 150 米，看看模型会不会把二维重叠误判成三维冲突。

GitHub 项目进入 GT04