[
  {
    "from": "prereg:8d85f0f27d13f5159f7421a9d7ef42ba64655f1b889daffdc2ed444562a3c2d5",
    "kind": "unstated",
    "detail": "The plan does not separately specify the random seed for power simulations; power uses PCG64 seed 20261007, while every null calibration resets PCG64 to the registered seed 20261006 for common random numbers.",
    "claims": [
      "C1"
    ]
  },
  {
    "from": "prereg:8d85f0f27d13f5159f7421a9d7ef42ba64655f1b889daffdc2ed444562a3c2d5",
    "kind": "unstated",
    "detail": "The empirical 95th percentile uses NumPy quantile with its default linear interpolation; the power rejection comparison is strict greater-than. Output formatting retains ten significant digits and separately display-rounded summaries. These choices do not change the planned models or alternatives.",
    "claims": [
      "C1"
    ]
  }
]