{
  "cases": [
    {
      "block": 2,
      "task": 7,
      "apparatus_id": "unit-514",
      "public_contract": "CERTIFIED_VERSION",
      "current_version": "v-84ff82a122deaec8",
      "selected_observations": [
        {
          "source_id": "evt_2142e4aee1844711",
          "original_task": 1,
          "original_version": "v-bdc68b2588d02813",
          "payload_sha256": "0b6b3c68c4d56d31a26d7687643f24a7eda3e0bc9ec283eef167cb6437e37ec8"
        }
      ],
      "chosen_terminal": "OCCURS",
      "scored_truth": "DOES_NOT_OCCUR",
      "fresh_calibrations": 0,
      "full_interval_exact_target": true,
      "valid_citation": true,
      "applicable_sources": false,
      "scientific_facts": [
        {
          "arguments": {
            "dynamics_assumptions": "chronomata-symmetric-ab-v1",
            "source_ids": [
              "evt_2142e4aee1844711"
            ]
          },
          "evidence_status": "deterministic_tool_fact",
          "operation": "estimate_parameters",
          "result": {
            "admissible_parameters": {
              "k": [
                0.07573884319077433,
                0.07573990899728139
              ]
            },
            "dynamics_assumptions": "chronomata-symmetric-ab-v1",
            "fact_id": "fact_db66e5a30a71488a",
            "measurement_uncertainty": {
              "endpoint_numerical_slack": 1e-12,
              "endpoint_rounding_half_width": 5e-07,
              "initial_state": "exact registered decimals"
            },
            "method": "public-domain monotonicity proof; inversion and intersection of all four rounded endpoint constraints; full inclusive interval",
            "provenance": [
              {
                "kind": "world_result",
                "payload_sha256": "0b6b3c68c4d56d31a26d7687643f24a7eda3e0bc9ec283eef167cb6437e37ec8",
                "source": "environment",
                "source_id": "evt_2142e4aee1844711"
              }
            ],
            "status": "calculated",
            "units": "unit-box distance cubed / second squared"
          },
          "task": 7
        },
        {
          "arguments": {
            "parameter_fact_id": "fact_db66e5a30a71488a",
            "target_id": "target-2-7"
          },
          "evidence_status": "deterministic_tool_fact",
          "operation": "integrate_public_rules",
          "result": {
            "elapsed_simulation_seconds": 0.24,
            "endpoint_bounds": {
              "p1_vx": [
                -0.006846319075800347,
                -0.006844197255668194
              ],
              "p1_x": [
                0.50007358121851,
                0.5000737501283635
              ],
              "p2_vx": [
                0.006844197255668194,
                0.006846319075800347
              ],
              "p2_x": [
                0.4999262498716364,
                0.4999264187814901
              ],
              "separation": [
                0.00014616243701973214,
                0.00014850025672727323
              ]
            },
            "event_definition": {
              "bounds_inclusive": true,
              "comparison_operator": ">",
              "expression": "before - after",
              "parameter_range": {
                "k": [
                  0.07573884319077433,
                  0.07573990899728139
                ]
              },
              "quantity": "separation_reduction",
              "threshold": 0.0001,
              "units": "unit-box distance"
            },
            "event_status": "Event holds throughout",
            "exact_arguments": {
              "dynamics_assumptions": "chronomata-symmetric-ab-v1",
              "horizon": 6,
              "initial_state": [
                {
                  "category": "A",
                  "id": "p1",
                  "vx": 0.0,
                  "vy": 0.0,
                  "x": 0.499561,
                  "y": 0.5
                },
                {
                  "category": "B",
                  "id": "p2",
                  "vx": 0.0,
                  "vy": 0.0,
                  "x": 0.5004390000000001,
                  "y": 0.5
                }
              ],
              "parameters": {
                "k": [
                  0.07573884319077433,
                  0.07573990899728139
                ]
              },
              "threshold": 0.0001
            },
            "fact_id": "fact_67f6e1dc17574490",
            "method": "directed interval propagation of the entire supplied k interval, including clipping and walls",
            "numerical_basis": {
              "certified_partition": [],
              "comparison_operator": ">",
              "endpoint_check_alone": false,
              "method": "directed interval propagation over every supplied k, including force/velocity clipping and walls",
              "reduction_enclosure": [
                0.000729499743272661,
                0.0007318375629804245
              ],
              "subdivisions": 0,
              "threshold": 0.0001,
              "witnesses": []
            },
            "numerical_uncertainty": {
              "final_separation_sensor_slack": 1e-06,
              "per_update_slack": 1e-12
            },
            "parameter_fact_id": "fact_db66e5a30a71488a",
            "parameter_payload_sha256": "06e15774661c9c19e2b3212c0608e33860b99b1dbd6065b3a4b5060a901cc24d",
            "provenance": {
              "parameter_basis": "explicit supplied parameters; historical support must be checked against selected sources",
              "public_rules_sha256": "9c172fc0a5ff088822bd9fab9e39d2463068bf9ed1f231a68de45ad6fe1f3a77",
              "supplied_arguments_sha256": "472613020d714114d39cec08a2b707f016ef9c6a2f4c1aad77284459c7c44ac0"
            },
            "quantity_definitions": {
              "separation_change": "after - before",
              "separation_reduction": "before - after"
            },
            "separation_after_interval": [
              0.00014616243701973214,
              0.00014850025672727323
            ],
            "separation_before_interval": [
              0.0008779999999999343,
              0.0008780000000001565
            ],
            "separation_change_interval": [
              -0.0007318375629804245,
              -0.000729499743272661
            ],
            "separation_reduction_interval": [
              0.000729499743272661,
              0.0007318375629804245
            ],
            "status": "calculated",
            "supplied_arguments": {
              "dynamics_assumptions": "chronomata-symmetric-ab-v1",
              "horizon": 6,
              "initial_state": [
                {
                  "category": "A",
                  "id": "p1",
                  "vx": 0.0,
                  "vy": 0.0,
                  "x": 0.499561,
                  "y": 0.5
                },
                {
                  "category": "B",
                  "id": "p2",
                  "vx": 0.0,
                  "vy": 0.0,
                  "x": 0.5004390000000001,
                  "y": 0.5
                }
              ],
              "parameters": {
                "k": [
                  0.07573884319077433,
                  0.07573990899728139
                ]
              },
              "threshold": 0.0001
            },
            "target_id": "target-2-7",
            "units": {
              "distance": "unit-box distance",
              "k": "unit-box distance cubed / second squared",
              "time": "seconds",
              "velocity": "unit-box distance / second"
            }
          },
          "task": 7
        }
      ],
      "interpretation": "The old observation was authentic, but its certified version differed from the current public token. No fresh calibration was acquired. Numerical integration and citation integrity do not make that coefficient applicable. Generated model statements do not rewrite the original observation task or version."
    }
  ],
  "model_text_withheld": true,
  "predecessor": "The invalidated predecessor had a different failed task (block 2 task 5, uncertified). Its outcomes remain invalidated and are not pooled with this repeat. Changed stochastic answers do not establish a wording effect."
}