{
  "title": "Sources and measurement methods",
  "publicSources": [
    {
      "name": "ALFA original recordings",
      "href": "https://doi.org/10.1184/R1/12707963"
    },
    {
      "name": "ALFA author description",
      "href": "https://www.cs.cmu.edu/~mmousaei/alfa-dataset/"
    },
    {
      "name": "ROS battery message contract",
      "href": "https://github.com/ros2/common_interfaces/blob/jazzy/sensor_msgs/msg/BatteryState.msg"
    },
    {
      "name": "ROS magnetic field message contract",
      "href": "https://github.com/ros2/common_interfaces/blob/jazzy/sensor_msgs/msg/MagneticField.msg"
    },
    {
      "name": "ROS IMU message contract",
      "href": "https://github.com/ros2/common_interfaces/blob/jazzy/sensor_msgs/msg/Imu.msg"
    }
  ],
  "methods": [
    {
      "id": "reference",
      "title": "Reproduce the failure, then test the recorded repair",
      "description": "For each recorded upstream change, compare unchanged regression tests against the production code before and after that change. Keep a case only when both repaired controls pass and both faulty controls reproduce the same failure. Check original source, patch and log hashes against the recorded receipts.",
      "scope": "These 150 reference cases cover reproducible upstream test differences. The 600 control runs are two faulty and two repaired runs for each case. They are not 150 autonomous TrialONE repairs or 600 distinct faults. Seven of the 76 causally reviewed changes are classified as feature additions; 74 changes have not yet received causal classification.",
      "download": "/proof/referenzfaelle.json",
      "sha256": "8dece7fd90cc833290c3e2fb08940e3267a63fd9f9c19f9bffdcb114d977d129"
    },
    {
      "id": "recordings",
      "title": "Check real sensor messages against their declared contract",
      "description": "Read declared ROS message types and numeric fields from every original ALFA processed ROS bag. Check current TrialONE message rules. No language model, API call or new robot flight is involved.",
      "scope": "This measures recorded message inconsistencies in a research dataset collected with a modified MAVROS bridge. It does not score detection of all 47 labelled aircraft failures or prove a general defect in current MAVROS releases.",
      "download": "/proof/normchecks.json",
      "sha256": "507ad0fcc3f2dc2fd7da46b93a580981de429ba1b5cc710ffd670fbfbde2e880"
    }
  ]
}