{
  "environment": {
    "python": "3.12.6",
    "platform": "Windows-11-10.0.26200-SP0"
  },
  "guard_sweep": {
    "cases": 135,
    "missed_detections": 0,
    "false_alarms": 0
  },
  "simulator_injection": {
    "gps": [
      {
        "x_threshold": 0.5,
        "detected": false,
        "cycles_to_detect": null,
        "expected_detect": false
      },
      {
        "x_threshold": 0.9,
        "detected": false,
        "cycles_to_detect": null,
        "expected_detect": false
      },
      {
        "x_threshold": 1.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 1.1,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 2.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 10.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      }
    ],
    "imu": [
      {
        "x_threshold": 0.5,
        "detected": false,
        "cycles_to_detect": null,
        "expected_detect": false
      },
      {
        "x_threshold": 0.9,
        "detected": false,
        "cycles_to_detect": null,
        "expected_detect": false
      },
      {
        "x_threshold": 1.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 1.1,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 2.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      },
      {
        "x_threshold": 10.0,
        "detected": true,
        "cycles_to_detect": 1,
        "expected_detect": true
      }
    ]
  },
  "nominal_noise": {
    "cycles": 200000,
    "false_alarms": 0,
    "noise_sigmas": [
      5.0,
      5.0,
      0.01,
      0.005,
      0.05
    ],
    "min_margin_threshold_over_sigma": 10.0,
    "note": "consistency check only: with a margin of >= 10 sigma a false alarm has probability ~1e-23 per sample"
  },
  "guard_timing": {
    "calls_per_repeat": 200000,
    "repeats": [
      {
        "median_ns": 500,
        "p99_ns": 5000,
        "max_ns": 711900
      },
      {
        "median_ns": 400,
        "p99_ns": 500,
        "max_ns": 56300
      },
      {
        "median_ns": 400,
        "p99_ns": 4000,
        "max_ns": 176800
      },
      {
        "median_ns": 400,
        "p99_ns": 500,
        "max_ns": 227100
      },
      {
        "median_ns": 400,
        "p99_ns": 7800,
        "max_ns": 530200
      }
    ],
    "median_ns": 400,
    "median_ns_range": [
      400,
      500
    ],
    "p99_ns_range": [
      500,
      7800
    ],
    "max_ns_range": [
      56300,
      711900
    ],
    "note": "includes perf_counter_ns overhead; Python/desktop OS, not real-time; p99 and max vary strongly between repeats, only the median is stable"
  },
  "limits": [
    "software on a desktop OS; no flight hardware, no FPGA, no real-time guarantee",
    "cycles_to_detect=1 means same evaluation cycle; cycle period is not defined by this simulation",
    "noise levels are the documented assumptions, not measured sensor data"
  ]
}