{
  "schema": "csl.geo02-affine-sum-report/2",
  "report_id": "geo02-20261013T061151Z-338ff7d1d63c",
  "algorithm": {
    "id": "GEO-02",
    "source_commit": "6f450e09bdb247a94dc4365a7b36ac5d4d263ece",
    "harness_commit": "8a5f1360dc54154094615d4742f98a44dccaa8b3",
    "api": "csl.geometry.affine-sum"
  },
  "collection": {
    "state": "complete",
    "expected_trials": 35,
    "actual_trials": 35,
    "failures": 0,
    "measured_repetitions": 7,
    "warmups_per_scenario": 1,
    "warmup_results": [
      {
        "scenario": "scalar_interval_affine_image",
        "repetition": 0,
        "status": "passed",
        "detail": "",
        "generated_candidate_count": 2,
        "materialized_output_point_count": 2,
        "reduction_status": "preserved",
        "output_points": [
          [
            2
          ],
          [
            -2
          ]
        ],
        "support_checks": 2,
        "support_values": [
          2,
          2
        ],
        "oracle_passed": true
      },
      {
        "scenario": "rectangular_projection_box",
        "repetition": 0,
        "status": "passed",
        "detail": "",
        "generated_candidate_count": 4,
        "materialized_output_point_count": 2,
        "reduction_status": "reduced",
        "output_points": [
          [
            0
          ],
          [
            2
          ]
        ],
        "support_checks": 2,
        "support_values": [
          2,
          0
        ],
        "oracle_passed": true
      },
      {
        "scenario": "singular_map_box_segment",
        "repetition": 0,
        "status": "passed",
        "detail": "",
        "generated_candidate_count": 4,
        "materialized_output_point_count": 2,
        "reduction_status": "reduced",
        "output_points": [
          [
            0,
            0
          ],
          [
            2,
            4
          ]
        ],
        "support_checks": 4,
        "support_values": [
          2,
          0,
          4,
          0
        ],
        "oracle_passed": true
      },
      {
        "scenario": "minkowski_interval_sum",
        "repetition": 0,
        "status": "passed",
        "detail": "",
        "generated_candidate_count": 4,
        "materialized_output_point_count": 4,
        "reduction_status": "preserved",
        "output_points": [
          [
            1
          ],
          [
            2
          ],
          [
            3
          ],
          [
            4
          ]
        ],
        "support_checks": 2,
        "support_values": [
          4,
          -1
        ],
        "oracle_passed": true
      },
      {
        "scenario": "redundant_interval_candidates",
        "repetition": 0,
        "status": "passed",
        "detail": "",
        "generated_candidate_count": 5,
        "materialized_output_point_count": 2,
        "reduction_status": "reduced",
        "output_points": [
          [
            0
          ],
          [
            1
          ]
        ],
        "support_checks": 2,
        "support_values": [
          1,
          0
        ],
        "oracle_passed": true
      }
    ],
    "warmup_failures": 0,
    "warmup_parse_error": null,
    "process_return_code": 0,
    "aborted_or_timed_out": false,
    "parse_error": null,
    "order": "forward scenario order each repetition",
    "timing_unit": "steady-clock nanoseconds"
  },
  "timing_scopes": {
    "setup_ns": "Registry/provider construction, operation selection/preparation, and workspace creation; starts after fixture construction.",
    "operation_ns": "Elapsed time inside the prepared geometry workspace run call.",
    "oracle_ns": "Literal expected-point and support-value checks; excludes output extraction and serialization.",
    "total_ns": "End-to-end driver time from fixture construction through output extraction, serialization, and oracle checks; includes the named phases plus intervening harness work."
  },
  "expected": {
    "scalar_interval_affine_image": {
      "inputs": {
        "vertices": [
          [
            -1.0
          ],
          [
            1.0
          ]
        ],
        "A": [
          [
            2.0
          ]
        ],
        "b": [
          0.0
        ]
      },
      "candidate_count": 2,
      "outputs": [
        [
          -2.0
        ],
        [
          2.0
        ]
      ],
      "directions": [
        [
          1.0
        ],
        [
          -1.0
        ]
      ],
      "support": [
        2.0,
        2.0
      ]
    },
    "rectangular_projection_box": {
      "inputs": {
        "vertices": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            1
          ]
        ],
        "A": [
          [
            1.0,
            1.0
          ]
        ],
        "b": [
          0.0
        ]
      },
      "candidate_count": 4,
      "outputs": [
        [
          0.0
        ],
        [
          2.0
        ]
      ],
      "directions": [
        [
          1.0
        ],
        [
          -1.0
        ]
      ],
      "support": [
        2.0,
        0.0
      ]
    },
    "singular_map_box_segment": {
      "inputs": {
        "vertices": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            1
          ]
        ],
        "A": [
          [
            1.0,
            1.0
          ],
          [
            2.0,
            2.0
          ]
        ],
        "b": [
          0.0,
          0.0
        ]
      },
      "candidate_count": 4,
      "outputs": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "directions": [
        [
          1.0,
          0.0
        ],
        [
          -1.0,
          0.0
        ],
        [
          0.0,
          1.0
        ],
        [
          0.0,
          -1.0
        ]
      ],
      "support": [
        2.0,
        0.0,
        4.0,
        0.0
      ]
    },
    "minkowski_interval_sum": {
      "inputs": {
        "left_vertices": [
          [
            -1.0
          ],
          [
            1.0
          ]
        ],
        "right_vertices": [
          [
            2.0
          ],
          [
            3.0
          ]
        ]
      },
      "candidate_count": 4,
      "outputs": [
        [
          1.0
        ],
        [
          4.0
        ]
      ],
      "directions": [
        [
          1.0
        ],
        [
          -1.0
        ]
      ],
      "support": [
        4.0,
        -1.0
      ]
    },
    "redundant_interval_candidates": {
      "inputs": {
        "vertices": [
          [
            0.0
          ],
          [
            0.0
          ],
          [
            0.5
          ],
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "A": [
          [
            1.0
          ]
        ],
        "b": [
          0.0
        ]
      },
      "candidate_count": 5,
      "outputs": [
        [
          0.0
        ],
        [
          1.0
        ]
      ],
      "directions": [
        [
          1.0
        ],
        [
          -1.0
        ]
      ],
      "support": [
        1.0,
        0.0
      ]
    }
  },
  "inputs": {
    "scenario_catalog_sha256": "0a70cfc66de5532207e0da0d643f64807d8b666894bc29c203e75f8c92f9d4be",
    "executable_sha256": "21b6394b3ed3c4c17ffa18e32ac0c88595385c2e03d8657c191d23efd7a2958e",
    "build_provenance_sha256": "aa3f3fdbcbc8a17802a58dd11a93b3591a2639049de8b4e705151e659a0c8f4e",
    "concurrent_work_sha256": "79c352c815357da7bed4e0a850a3148141e2261fc8d4bcb11059822faba37b7f",
    "profile_evidence_sha256": "3738e51aff5e0d0eea366ea0b98c64b442c18e0cfc932e88d3abdd2679df4bfc"
  },
  "summary": {
    "scalar_interval_affine_image": {
      "attempts": 7,
      "passed": 7,
      "failures": 0,
      "phases": {
        "setup_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 7300,
          "min": 6600,
          "max": 8800,
          "range": 2200,
          "trials_excluded_from_summary": 0
        },
        "operation_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 368300,
          "min": 339600,
          "max": 432200,
          "range": 92600,
          "trials_excluded_from_summary": 0
        },
        "oracle_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 1800,
          "min": 1700,
          "max": 2000,
          "range": 300,
          "trials_excluded_from_summary": 0
        },
        "total_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 385800,
          "min": 363000,
          "max": 452100,
          "range": 89100,
          "trials_excluded_from_summary": 0
        }
      }
    },
    "rectangular_projection_box": {
      "attempts": 7,
      "passed": 7,
      "failures": 0,
      "phases": {
        "setup_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 7700,
          "min": 6300,
          "max": 8100,
          "range": 1800,
          "trials_excluded_from_summary": 0
        },
        "operation_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 761800,
          "min": 709000,
          "max": 1002200,
          "range": 293200,
          "trials_excluded_from_summary": 0
        },
        "oracle_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 1700,
          "min": 1600,
          "max": 1800,
          "range": 200,
          "trials_excluded_from_summary": 0
        },
        "total_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 779600,
          "min": 725200,
          "max": 1020600,
          "range": 295400,
          "trials_excluded_from_summary": 0
        }
      }
    },
    "singular_map_box_segment": {
      "attempts": 7,
      "passed": 7,
      "failures": 0,
      "phases": {
        "setup_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 7500,
          "min": 6800,
          "max": 9000,
          "range": 2200,
          "trials_excluded_from_summary": 0
        },
        "operation_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 731000,
          "min": 691300,
          "max": 795500,
          "range": 104200,
          "trials_excluded_from_summary": 0
        },
        "oracle_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 2600,
          "min": 2500,
          "max": 2600,
          "range": 100,
          "trials_excluded_from_summary": 0
        },
        "total_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 751100,
          "min": 711200,
          "max": 818600,
          "range": 107400,
          "trials_excluded_from_summary": 0
        }
      }
    },
    "minkowski_interval_sum": {
      "attempts": 7,
      "passed": 7,
      "failures": 0,
      "phases": {
        "setup_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 7200,
          "min": 6500,
          "max": 9600,
          "range": 3100,
          "trials_excluded_from_summary": 0
        },
        "operation_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 786000,
          "min": 692500,
          "max": 893300,
          "range": 200800,
          "trials_excluded_from_summary": 0
        },
        "oracle_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 2100,
          "min": 2100,
          "max": 2200,
          "range": 100,
          "trials_excluded_from_summary": 0
        },
        "total_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 804700,
          "min": 711100,
          "max": 912100,
          "range": 201000,
          "trials_excluded_from_summary": 0
        }
      }
    },
    "redundant_interval_candidates": {
      "attempts": 7,
      "passed": 7,
      "failures": 0,
      "phases": {
        "setup_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 7500,
          "min": 6800,
          "max": 9200,
          "range": 2400,
          "trials_excluded_from_summary": 0
        },
        "operation_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 924500,
          "min": 809700,
          "max": 1157500,
          "range": 347800,
          "trials_excluded_from_summary": 0
        },
        "oracle_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 1700,
          "min": 1600,
          "max": 2500,
          "range": 900,
          "trials_excluded_from_summary": 0
        },
        "total_ns": {
          "unit": "ns",
          "successful_trials": 7,
          "median": 943700,
          "min": 826300,
          "max": 1179300,
          "range": 353000,
          "trials_excluded_from_summary": 0
        }
      }
    }
  },
  "trials": [
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 0,
      "status": "passed",
      "detail": "",
      "setup_ns": 8200,
      "operation_ns": 403300,
      "oracle_ns": 1800,
      "total_ns": 421500,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 0,
      "status": "passed",
      "detail": "",
      "setup_ns": 7800,
      "operation_ns": 814500,
      "oracle_ns": 1800,
      "total_ns": 833400,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 0,
      "status": "passed",
      "detail": "",
      "setup_ns": 9000,
      "operation_ns": 795500,
      "oracle_ns": 2500,
      "total_ns": 818600,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 0,
      "status": "passed",
      "detail": "",
      "setup_ns": 7600,
      "operation_ns": 888700,
      "oracle_ns": 2100,
      "total_ns": 908500,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 0,
      "status": "passed",
      "detail": "",
      "setup_ns": 8600,
      "operation_ns": 1157500,
      "oracle_ns": 1800,
      "total_ns": 1179300,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 1,
      "status": "passed",
      "detail": "",
      "setup_ns": 8300,
      "operation_ns": 432200,
      "oracle_ns": 1800,
      "total_ns": 452100,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 1,
      "status": "passed",
      "detail": "",
      "setup_ns": 7800,
      "operation_ns": 821000,
      "oracle_ns": 1700,
      "total_ns": 839900,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 1,
      "status": "passed",
      "detail": "",
      "setup_ns": 7500,
      "operation_ns": 752600,
      "oracle_ns": 2600,
      "total_ns": 773700,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 1,
      "status": "passed",
      "detail": "",
      "setup_ns": 7500,
      "operation_ns": 803700,
      "oracle_ns": 2100,
      "total_ns": 824000,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 1,
      "status": "passed",
      "detail": "",
      "setup_ns": 7600,
      "operation_ns": 949900,
      "oracle_ns": 2500,
      "total_ns": 973900,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 2,
      "status": "passed",
      "detail": "",
      "setup_ns": 8800,
      "operation_ns": 395700,
      "oracle_ns": 1900,
      "total_ns": 414600,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 2,
      "status": "passed",
      "detail": "",
      "setup_ns": 7600,
      "operation_ns": 1002200,
      "oracle_ns": 1700,
      "total_ns": 1020600,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 2,
      "status": "passed",
      "detail": "",
      "setup_ns": 9000,
      "operation_ns": 776800,
      "oracle_ns": 2600,
      "total_ns": 800100,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 2,
      "status": "passed",
      "detail": "",
      "setup_ns": 9600,
      "operation_ns": 763500,
      "oracle_ns": 2200,
      "total_ns": 784900,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 2,
      "status": "passed",
      "detail": "",
      "setup_ns": 7500,
      "operation_ns": 924500,
      "oracle_ns": 1600,
      "total_ns": 943700,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 3,
      "status": "passed",
      "detail": "",
      "setup_ns": 7000,
      "operation_ns": 353000,
      "oracle_ns": 1800,
      "total_ns": 370400,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 3,
      "status": "passed",
      "detail": "",
      "setup_ns": 6900,
      "operation_ns": 761800,
      "oracle_ns": 1700,
      "total_ns": 779600,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 3,
      "status": "passed",
      "detail": "",
      "setup_ns": 7300,
      "operation_ns": 731000,
      "oracle_ns": 2600,
      "total_ns": 751100,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 3,
      "status": "passed",
      "detail": "",
      "setup_ns": 6800,
      "operation_ns": 786000,
      "oracle_ns": 2100,
      "total_ns": 804700,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 3,
      "status": "passed",
      "detail": "",
      "setup_ns": 7200,
      "operation_ns": 963400,
      "oracle_ns": 1600,
      "total_ns": 979700,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 4,
      "status": "passed",
      "detail": "",
      "setup_ns": 6600,
      "operation_ns": 368300,
      "oracle_ns": 2000,
      "total_ns": 385800,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 4,
      "status": "passed",
      "detail": "",
      "setup_ns": 6300,
      "operation_ns": 709000,
      "oracle_ns": 1700,
      "total_ns": 725200,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 4,
      "status": "passed",
      "detail": "",
      "setup_ns": 8500,
      "operation_ns": 691300,
      "oracle_ns": 2600,
      "total_ns": 721100,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 4,
      "status": "passed",
      "detail": "",
      "setup_ns": 6500,
      "operation_ns": 718800,
      "oracle_ns": 2100,
      "total_ns": 736700,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 4,
      "status": "passed",
      "detail": "",
      "setup_ns": 6800,
      "operation_ns": 843100,
      "oracle_ns": 1700,
      "total_ns": 861100,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 5,
      "status": "passed",
      "detail": "",
      "setup_ns": 6600,
      "operation_ns": 348000,
      "oracle_ns": 1800,
      "total_ns": 364000,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 5,
      "status": "passed",
      "detail": "",
      "setup_ns": 7700,
      "operation_ns": 722200,
      "oracle_ns": 1600,
      "total_ns": 741000,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 5,
      "status": "passed",
      "detail": "",
      "setup_ns": 6800,
      "operation_ns": 722000,
      "oracle_ns": 2600,
      "total_ns": 740400,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 5,
      "status": "passed",
      "detail": "",
      "setup_ns": 7200,
      "operation_ns": 692500,
      "oracle_ns": 2100,
      "total_ns": 711100,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 5,
      "status": "passed",
      "detail": "",
      "setup_ns": 7300,
      "operation_ns": 809700,
      "oracle_ns": 1700,
      "total_ns": 826300,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    },
    {
      "scenario": "scalar_interval_affine_image",
      "repetition": 6,
      "status": "passed",
      "detail": "",
      "setup_ns": 7300,
      "operation_ns": 339600,
      "oracle_ns": 1700,
      "total_ns": 363000,
      "generated_candidate_count": 2,
      "materialized_output_point_count": 2,
      "reduction_status": "preserved",
      "output_points": [
        [
          2
        ],
        [
          -2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        2
      ],
      "oracle_passed": true,
      "input_sha256": "2c9d98400ee6a342e1dcde232fea2c7e8ad6cd81d26eeca32572ba275d82d272"
    },
    {
      "scenario": "rectangular_projection_box",
      "repetition": 6,
      "status": "passed",
      "detail": "",
      "setup_ns": 8100,
      "operation_ns": 720300,
      "oracle_ns": 1800,
      "total_ns": 739400,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          2
        ]
      ],
      "support_checks": 2,
      "support_values": [
        2,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "127519d6bef621de30b37c15a1efa2e18e595043d73a37631bfdade2c410b91a"
    },
    {
      "scenario": "singular_map_box_segment",
      "repetition": 6,
      "status": "passed",
      "detail": "",
      "setup_ns": 6800,
      "operation_ns": 692100,
      "oracle_ns": 2500,
      "total_ns": 711200,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0,
          0
        ],
        [
          2,
          4
        ]
      ],
      "support_checks": 4,
      "support_values": [
        2,
        0,
        4,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "045ed50b4c1eeeed3aa0fca0461e3df5aa042efb8c3837f0bb7c31d17b06a01e"
    },
    {
      "scenario": "minkowski_interval_sum",
      "repetition": 6,
      "status": "passed",
      "detail": "",
      "setup_ns": 6600,
      "operation_ns": 893300,
      "oracle_ns": 2200,
      "total_ns": 912100,
      "generated_candidate_count": 4,
      "materialized_output_point_count": 4,
      "reduction_status": "preserved",
      "output_points": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ]
      ],
      "support_checks": 2,
      "support_values": [
        4,
        -1
      ],
      "oracle_passed": true,
      "input_sha256": "7546cbc8cab9f58eb71540744db492d2328e24070f60df3d60e5ec7259153132"
    },
    {
      "scenario": "redundant_interval_candidates",
      "repetition": 6,
      "status": "passed",
      "detail": "",
      "setup_ns": 9200,
      "operation_ns": 898700,
      "oracle_ns": 1700,
      "total_ns": 919500,
      "generated_candidate_count": 5,
      "materialized_output_point_count": 2,
      "reduction_status": "reduced",
      "output_points": [
        [
          0
        ],
        [
          1
        ]
      ],
      "support_checks": 2,
      "support_values": [
        1,
        0
      ],
      "oracle_passed": true,
      "input_sha256": "13fa08d3e774131e000dc3d54f7168bd84ff4519fb87ed11a413d60ff3b7daa4"
    }
  ],
  "evidence": {
    "arithmetic": "IEEE 754 binary64 candidates with exact dyadic deletion certificates",
    "scope": "five tiny deterministic analytic fixtures; descriptive measurements",
    "limiter_profile": "not collected; no OS limiter/CPU sampling available",
    "unavailable_counters": [
      "per-trial CPU time",
      "native thread count",
      "peak memory",
      "OS limiter profiling",
      "internal LP timings"
    ],
    "limitations": [
      "tiny fixtures only",
      "no competitor, speedup, application-scale, or scalability claim",
      "affine/sum generation and geometry outputs retain numerical assurance only",
      "exact deletion proves equality of the generated binary64 candidate hull, not validated geometry of the source model"
    ]
  },
  "payload_hash_scope": "canonical JSON payload excluding report_id, payload_sha256, and payload_hash_scope",
  "payload_sha256": "338ff7d1d63cabd9010ea2924b5fb7845195b7dcc1e90752b0673bc3c5743b6c"
}