{
  "absence_treatments": [
    {
      "human_result": "not-run",
      "id": "quiet-reserved",
      "inactive_slot_visibility": "persistent low-contrast dashed outline",
      "interaction_required": false
    },
    {
      "human_result": "not-run",
      "id": "on-demand",
      "inactive_slot_visibility": "high-contrast only while absence focus is requested",
      "interaction_required": true
    }
  ],
  "arms": [
    {
      "encodes": "exact present edge identity through endpoint-spanning geometry",
      "id": "persistent-lines",
      "label": "Persistent-line baseline"
    },
    {
      "encodes": "direct adjacency to the selected origin, not individual edge identity",
      "id": "binary-outline",
      "label": "Binary-outline control"
    },
    {
      "encodes": "exact present edge identity in fixed node-relative slots",
      "id": "invariant-tokens",
      "label": "Invariant endpoint tokens"
    },
    {
      "encodes": "A only, B only, both, and neither with redundant appearance",
      "id": "set-overlay",
      "label": "Aligned two-state set overlay"
    }
  ],
  "capacity": {
    "edges_dropped": false,
    "first_rejected_edge_count": 9,
    "marks_shrunk": false,
    "overflow_error": "stable token capacity exceeded: 9 edges require 8 slots",
    "tokens_reused": false,
    "validated_edge_count": 8
  },
  "changed_axis": "edge-encoding channel",
  "claim_boundary": {
    "binary_origin_adjacency": "The outline arm identifies direct neighbors of one selected origin only.",
    "not_claimed": "No edge strength, direction, causality, semantic similarity, or human-task advantage is inferred.",
    "stable_edge_identity": "Endpoint tokens identify exact edges within this seven-edge frozen universe."
  },
  "decision": {
    "line_baseline_retained_for": "tasks where route, direction, span, or endpoint geometry is information",
    "status": "retain-for-human-evaluation",
    "useful_boundary": "At most 8 frozen edge identities in one comparison universe; larger universes fail rather than reuse or shrink tokens."
  },
  "diagnostics": {
    "binary_outline_added_ink_outside_node_masks": 0.0,
    "line_template_similarity_after_endpoint_movement": 0.074274,
    "stable_token_patch_count": 14,
    "state_a_line": {
      "added_ink_outside_endpoint_masks": 868.585,
      "line_line_crossing_count": 1,
      "non_endpoint_crossing_count": 1,
      "non_endpoint_crossings": [
        {
          "centerline_distance": 0.0,
          "edge_id": "e01",
          "node_id": "crossed"
        }
      ],
      "shared_corridor_length": 89.698
    },
    "state_b_line": {
      "added_ink_outside_endpoint_masks": 790.401,
      "line_line_crossing_count": 1,
      "non_endpoint_crossing_count": 1,
      "non_endpoint_crossings": [
        {
          "centerline_distance": 0.0,
          "edge_id": "e01",
          "node_id": "crossed"
        }
      ],
      "shared_corridor_length": 189.764
    },
    "token_added_ink_outside_node_masks": 0.0,
    "token_patch_similarity_after_endpoint_movement": 1.0
  },
  "findings": [
    {
      "evidence": "State A produces 1 line-to-non-endpoint mask intersections; endpoint-local arms add no ink outside node masks.",
      "title": "The crossed-node mechanism exists in the frozen fixture"
    },
    {
      "evidence": "The frozen token descriptor remains at similarity 1.00; the endpoint-spanning line descriptor falls to 0.074.",
      "title": "The token patch remains invariant when an endpoint moves"
    },
    {
      "evidence": "All 4 declared A/B states appear exactly once per candidate edge using the frozen seven-edge dictionary.",
      "title": "The set overlay is complete and exclusive"
    },
    {
      "evidence": "8 identities validate and 9 fail loudly without reuse.",
      "title": "The useful universe is bounded"
    }
  ],
  "fixture": {
    "edges": [
      {
        "endpoints": [
          "east",
          "origin"
        ],
        "id": "e01"
      },
      {
        "endpoints": [
          "north",
          "origin"
        ],
        "id": "e02"
      },
      {
        "endpoints": [
          "origin",
          "south"
        ],
        "id": "e03"
      },
      {
        "endpoints": [
          "far",
          "north"
        ],
        "id": "e04"
      },
      {
        "endpoints": [
          "far",
          "south"
        ],
        "id": "e05"
      },
      {
        "endpoints": [
          "east",
          "far"
        ],
        "id": "e06"
      },
      {
        "endpoints": [
          "north",
          "south"
        ],
        "id": "e07"
      }
    ],
    "id": "e02-primary-v1",
    "node_radius": 22.0,
    "nodes": [
      {
        "id": "origin",
        "label": "O",
        "role": "origin",
        "x": 90.0,
        "y": 150.0
      },
      {
        "id": "crossed",
        "label": "X",
        "role": "non-endpoint",
        "x": 260.0,
        "y": 150.0
      },
      {
        "id": "east",
        "label": "E",
        "role": "endpoint",
        "x": 430.0,
        "y": 150.0
      },
      {
        "id": "north",
        "label": "N",
        "role": "endpoint",
        "x": 300.0,
        "y": 60.0
      },
      {
        "id": "south",
        "label": "S",
        "role": "endpoint",
        "x": 300.0,
        "y": 240.0
      },
      {
        "id": "far",
        "label": "F",
        "role": "endpoint",
        "x": 500.0,
        "y": 250.0
      }
    ],
    "selected_origin": "origin",
    "states": {
      "A": [
        "e01",
        "e02",
        "e04",
        "e05"
      ],
      "B": [
        "e01",
        "e03",
        "e04",
        "e06"
      ],
      "corridor": [
        "e01",
        "e02",
        "e03"
      ],
      "sparse": [
        "e02"
      ]
    },
    "viewport": {
      "height": 300.0,
      "width": 590.0
    }
  },
  "frozen_axes": [
    "graph membership",
    "node positions",
    "labels",
    "node morphology",
    "scale",
    "viewport"
  ],
  "human_measurements": {
    "accuracy": null,
    "completion_time": null,
    "confidence": null,
    "confusion_pairs": null,
    "revision_after_focus": null,
    "status": "not-run"
  },
  "movement_block": {
    "edge_id": "e01",
    "endpoint_positions": [
      {
        "id": "right-near",
        "x": 330.0,
        "y": 150.0
      },
      {
        "id": "right-far",
        "x": 520.0,
        "y": 150.0
      },
      {
        "id": "left",
        "x": 30.0,
        "y": 150.0
      }
    ],
    "isolated_from_primary_accuracy_block": true,
    "line_descriptors": [
      {
        "angle_degrees": 0.0,
        "id": "right-near",
        "length": 240.0
      },
      {
        "angle_degrees": 0.0,
        "id": "right-far",
        "length": 430.0
      },
      {
        "angle_degrees": 180.0,
        "id": "left",
        "length": 60.0
      }
    ],
    "line_template_similarity": 0.074274,
    "token_descriptor": {
      "normalized_offset": [
        0.0,
        -0.6363636363636364
      ],
      "shape": "circle",
      "slot": 0
    },
    "token_patch_similarity": 1.0
  },
  "non_findings": [
    "No reader study was run, so the experiment does not establish that stable tokens improve accuracy, speed, confidence, or learnability.",
    "The sparse case has no non-endpoint crossing; E02 therefore does not support a claim that straight lines are inherently ambiguous.",
    "Pixel and descriptor diagnostics support representation stability only; they are not proxies for human recognition."
  ],
  "oracles": {
    "all_four_set_states_present": true,
    "both_absence_treatments_are_declared": true,
    "capacity_overflow_fails": true,
    "crossed_non_endpoint_is_detected": true,
    "every_occurrence_uses_frozen_token": true,
    "exactly_two_endpoint_occurrences": true,
    "four_arms_present": true,
    "human_results_are_not_invented": true,
    "line_patch_changes": true,
    "movement_is_isolated": true,
    "primary_geometry_is_shared": true,
    "set_states_are_exclusive": true,
    "token_patches_are_stable": true
  },
  "predeclared_human_tasks": [
    "direct-adjacency accuracy and crossed-node false inclusion",
    "highlighted-relation endpoint identification",
    "recurring-edge recognition",
    "A-only, B-only, both, and neither classification",
    "same-edge-set recognition after layout perturbation"
  ],
  "primary_cases": [
    {
      "endpoint_occurrences": [
        {
          "edge_id": "e01",
          "node_id": "east",
          "offset": [
            0.0,
            -14.0
          ],
          "shape": "circle",
          "slot": 0
        },
        {
          "edge_id": "e01",
          "node_id": "origin",
          "offset": [
            0.0,
            -14.0
          ],
          "shape": "circle",
          "slot": 0
        },
        {
          "edge_id": "e02",
          "node_id": "north",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        },
        {
          "edge_id": "e02",
          "node_id": "origin",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        },
        {
          "edge_id": "e04",
          "node_id": "far",
          "offset": [
            9.9,
            9.9
          ],
          "shape": "triangle-up",
          "slot": 3
        },
        {
          "edge_id": "e04",
          "node_id": "north",
          "offset": [
            9.9,
            9.9
          ],
          "shape": "triangle-up",
          "slot": 3
        },
        {
          "edge_id": "e05",
          "node_id": "far",
          "offset": [
            0.0,
            14.0
          ],
          "shape": "triangle-down",
          "slot": 4
        },
        {
          "edge_id": "e05",
          "node_id": "south",
          "offset": [
            0.0,
            14.0
          ],
          "shape": "triangle-down",
          "slot": 4
        }
      ],
      "id": "crossing",
      "label": "Crossed-node ambiguity",
      "line_diagnostics": {
        "added_ink_outside_endpoint_masks": 868.585,
        "line_line_crossing_count": 1,
        "non_endpoint_crossing_count": 1,
        "non_endpoint_crossings": [
          {
            "centerline_distance": 0.0,
            "edge_id": "e01",
            "node_id": "crossed"
          }
        ],
        "shared_corridor_length": 89.698
      },
      "state": [
        "e01",
        "e02",
        "e04",
        "e05"
      ]
    },
    {
      "endpoint_occurrences": [
        {
          "edge_id": "e01",
          "node_id": "east",
          "offset": [
            0.0,
            -14.0
          ],
          "shape": "circle",
          "slot": 0
        },
        {
          "edge_id": "e01",
          "node_id": "origin",
          "offset": [
            0.0,
            -14.0
          ],
          "shape": "circle",
          "slot": 0
        },
        {
          "edge_id": "e02",
          "node_id": "north",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        },
        {
          "edge_id": "e02",
          "node_id": "origin",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        },
        {
          "edge_id": "e03",
          "node_id": "origin",
          "offset": [
            14.0,
            0.0
          ],
          "shape": "diamond",
          "slot": 2
        },
        {
          "edge_id": "e03",
          "node_id": "south",
          "offset": [
            14.0,
            0.0
          ],
          "shape": "diamond",
          "slot": 2
        }
      ],
      "id": "corridor",
      "label": "Shared corridor and plausible near-passes",
      "line_diagnostics": {
        "added_ink_outside_endpoint_masks": 664.946,
        "line_line_crossing_count": 0,
        "non_endpoint_crossing_count": 1,
        "non_endpoint_crossings": [
          {
            "centerline_distance": 0.0,
            "edge_id": "e01",
            "node_id": "crossed"
          }
        ],
        "shared_corridor_length": 179.396
      },
      "state": [
        "e01",
        "e02",
        "e03"
      ]
    },
    {
      "endpoint_occurrences": [
        {
          "edge_id": "e02",
          "node_id": "north",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        },
        {
          "edge_id": "e02",
          "node_id": "origin",
          "offset": [
            9.9,
            -9.9
          ],
          "shape": "square",
          "slot": 1
        }
      ],
      "id": "sparse",
      "label": "Sparse counterexample",
      "line_diagnostics": {
        "added_ink_outside_endpoint_masks": 184.473,
        "line_line_crossing_count": 0,
        "non_endpoint_crossing_count": 0,
        "non_endpoint_crossings": [],
        "shared_corridor_length": 0
      },
      "state": [
        "e02"
      ]
    }
  ],
  "question": "Can frozen endpoint-local edge tokens support recurring-edge and A/B set comparison while avoiding line geometry outside node forms?",
  "report_fingerprint": "sha256:7b06b0b6efbd9dd932fa1337b5cb5cf5a92c356747850842a603f156e0c85956",
  "set_overlay": [
    {
      "edge_id": "e01",
      "state": "both"
    },
    {
      "edge_id": "e02",
      "state": "a-only"
    },
    {
      "edge_id": "e03",
      "state": "b-only"
    },
    {
      "edge_id": "e04",
      "state": "both"
    },
    {
      "edge_id": "e05",
      "state": "a-only"
    },
    {
      "edge_id": "e06",
      "state": "b-only"
    },
    {
      "edge_id": "e07",
      "state": "neither"
    }
  ],
  "state_a_occurrences": [
    {
      "edge_id": "e01",
      "node_id": "east",
      "offset": [
        0.0,
        -14.0
      ],
      "shape": "circle",
      "slot": 0
    },
    {
      "edge_id": "e01",
      "node_id": "origin",
      "offset": [
        0.0,
        -14.0
      ],
      "shape": "circle",
      "slot": 0
    },
    {
      "edge_id": "e02",
      "node_id": "north",
      "offset": [
        9.9,
        -9.9
      ],
      "shape": "square",
      "slot": 1
    },
    {
      "edge_id": "e02",
      "node_id": "origin",
      "offset": [
        9.9,
        -9.9
      ],
      "shape": "square",
      "slot": 1
    },
    {
      "edge_id": "e04",
      "node_id": "far",
      "offset": [
        9.9,
        9.9
      ],
      "shape": "triangle-up",
      "slot": 3
    },
    {
      "edge_id": "e04",
      "node_id": "north",
      "offset": [
        9.9,
        9.9
      ],
      "shape": "triangle-up",
      "slot": 3
    },
    {
      "edge_id": "e05",
      "node_id": "far",
      "offset": [
        0.0,
        14.0
      ],
      "shape": "triangle-down",
      "slot": 4
    },
    {
      "edge_id": "e05",
      "node_id": "south",
      "offset": [
        0.0,
        14.0
      ],
      "shape": "triangle-down",
      "slot": 4
    }
  ],
  "state_b_occurrences": [
    {
      "edge_id": "e01",
      "node_id": "east",
      "offset": [
        0.0,
        -14.0
      ],
      "shape": "circle",
      "slot": 0
    },
    {
      "edge_id": "e01",
      "node_id": "origin",
      "offset": [
        0.0,
        -14.0
      ],
      "shape": "circle",
      "slot": 0
    },
    {
      "edge_id": "e03",
      "node_id": "origin",
      "offset": [
        14.0,
        0.0
      ],
      "shape": "diamond",
      "slot": 2
    },
    {
      "edge_id": "e03",
      "node_id": "south",
      "offset": [
        14.0,
        0.0
      ],
      "shape": "diamond",
      "slot": 2
    },
    {
      "edge_id": "e04",
      "node_id": "far",
      "offset": [
        9.9,
        9.9
      ],
      "shape": "triangle-up",
      "slot": 3
    },
    {
      "edge_id": "e04",
      "node_id": "north",
      "offset": [
        9.9,
        9.9
      ],
      "shape": "triangle-up",
      "slot": 3
    },
    {
      "edge_id": "e06",
      "node_id": "east",
      "offset": [
        -9.9,
        9.9
      ],
      "shape": "plus",
      "slot": 5
    },
    {
      "edge_id": "e06",
      "node_id": "far",
      "offset": [
        -9.9,
        9.9
      ],
      "shape": "plus",
      "slot": 5
    }
  ],
  "task_fixtures": {
    "direct_adjacency": {
      "correct_answer": false,
      "question": "Is crossed node X directly adjacent to origin O in State A?",
      "status": "answer-key-frozen; reader responses not-run",
      "tempting_non_endpoint": "crossed"
    },
    "recurring_edge": {
      "accepted_answers": [
        "e01",
        "e04"
      ],
      "question": "Which declared edge recurs in both State A and State B?",
      "status": "answer-key-frozen; reader responses not-run"
    },
    "set_states": {
      "a-only": [
        "e02",
        "e05"
      ],
      "b-only": [
        "e03",
        "e06"
      ],
      "both": [
        "e01",
        "e04"
      ],
      "neither": [
        "e07"
      ]
    }
  },
  "token_dictionary": [
    {
      "edge_id": "e01",
      "normalized_offset": [
        0.0,
        -0.6363636363636364
      ],
      "offset": [
        0.0,
        -14.0
      ],
      "shape": "circle",
      "slot": 0
    },
    {
      "edge_id": "e02",
      "normalized_offset": [
        0.45,
        -0.45
      ],
      "offset": [
        9.9,
        -9.9
      ],
      "shape": "square",
      "slot": 1
    },
    {
      "edge_id": "e03",
      "normalized_offset": [
        0.6363636363636364,
        0.0
      ],
      "offset": [
        14.0,
        0.0
      ],
      "shape": "diamond",
      "slot": 2
    },
    {
      "edge_id": "e04",
      "normalized_offset": [
        0.45,
        0.45
      ],
      "offset": [
        9.9,
        9.9
      ],
      "shape": "triangle-up",
      "slot": 3
    },
    {
      "edge_id": "e05",
      "normalized_offset": [
        0.0,
        0.6363636363636364
      ],
      "offset": [
        0.0,
        14.0
      ],
      "shape": "triangle-down",
      "slot": 4
    },
    {
      "edge_id": "e06",
      "normalized_offset": [
        -0.45,
        0.45
      ],
      "offset": [
        -9.9,
        9.9
      ],
      "shape": "plus",
      "slot": 5
    },
    {
      "edge_id": "e07",
      "normalized_offset": [
        -0.6363636363636364,
        0.0
      ],
      "offset": [
        -14.0,
        0.0
      ],
      "shape": "cross",
      "slot": 6
    }
  ],
  "version": "invariant-edge-slots-e02-v1"
}