{
  "verdict": "PASS for stated point-queue computation; no empirical-road interpretation",
  "plan_hash": "95f58c90ac06a46a3cdd63f933bb4947a3de0d228791837f45e0db4ec631b321",
  "code_hash": "c59ca1409b63445f124ccdf23b7ac893ef7c9162408ce97991cc59ba0bd42214",
  "metadata_hashes_match": true,
  "plan_timestamp_precedes_recorded_run": true,
  "independent_third_party_preregistration_proven": false,
  "conditions": 15,
  "replicates": 960,
  "cycles": 96000000,
  "checkpoint_rows": 20160,
  "summary_numeric_values_checked": 660,
  "csv_json_consistency": true,
  "all_seeds_match_declared_scheme": true,
  "three_preselected_independent_replays": [
    {
      "rho": "0.80",
      "batch": 4,
      "replicate": 0,
      "seed": 16054864545817316933,
      "all_metrics_and_21_checkpoints_exactly_match": true,
      "metrics": {
        "mean_queue": 6.0449625,
        "tail_ge_10": 0.22845,
        "tail_ge_100": 0.0,
        "empty_fraction": 0.2384625,
        "measured_mean_arrivals": 0.8105,
        "max_queue": 48,
        "queue_at_half_horizon": 0,
        "queue_at_end": 0,
        "late_endpoint_growth": 0.0,
        "early_half_mean_queue": 5.785375,
        "late_half_mean_queue": 6.30455,
        "half_window_growth": 1.2979374999999993e-05
      }
    },
    {
      "rho": "0.80",
      "batch": 4,
      "replicate": 1,
      "seed": 8503738098107385915,
      "all_metrics_and_21_checkpoints_exactly_match": true,
      "metrics": {
        "mean_queue": 5.7314,
        "tail_ge_10": 0.2159875,
        "tail_ge_100": 0.0,
        "empty_fraction": 0.247525,
        "measured_mean_arrivals": 0.8026,
        "max_queue": 42,
        "queue_at_half_horizon": 9,
        "queue_at_end": 6,
        "late_endpoint_growth": -6e-05,
        "early_half_mean_queue": 5.502625,
        "late_half_mean_queue": 5.960175,
        "half_window_growth": 1.1438749999999986e-05
      }
    },
    {
      "rho": "1.05",
      "batch": 8,
      "replicate": 0,
      "seed": 3490869987324132155,
      "all_metrics_and_21_checkpoints_exactly_match": true,
      "metrics": {
        "mean_queue": 3317.7508,
        "tail_ge_10": 1.0,
        "tail_ge_100": 1.0,
        "empty_fraction": 0.0,
        "measured_mean_arrivals": 1.057,
        "max_queue": 5671,
        "queue_at_half_horizon": 2737,
        "queue_at_end": 5601,
        "late_endpoint_growth": 0.05728,
        "early_half_mean_queue": 2189.1816,
        "late_half_mean_queue": 4446.32,
        "half_window_growth": 0.05642845999999999
      }
    }
  ],
  "deterministic_results": [
    {
      "pattern": "constant_fluid",
      "mean_queue_exact": "0",
      "mean_arrival_exact": "4/5",
      "variance_arrival_exact": "0",
      "max_queue": 0.0
    },
    {
      "pattern": "periodic_burst",
      "mean_queue_exact": "6/5",
      "mean_arrival_exact": "4/5",
      "variance_arrival_exact": "64/25",
      "max_queue": 3.0
    }
  ],
  "selected_conditions": [
    {
      "rho": "0.80",
      "batch": 1,
      "mean_queue_mean": 0.0,
      "mean_queue_ci_low": 0,
      "mean_queue_ci_high": 0.0,
      "analytic_stationary_mean_queue": 0.0,
      "late_endpoint_growth_mean": 0.0,
      "late_endpoint_growth_ci_low": 0.0,
      "late_endpoint_growth_ci_high": 0.0
    },
    {
      "rho": "0.80",
      "batch": 4,
      "mean_queue_mean": 5.971623828125,
      "mean_queue_ci_low": 5.910971078897318,
      "mean_queue_ci_high": 6.032276577352682,
      "analytic_stationary_mean_queue": 6.0,
      "late_endpoint_growth_mean": -7.500000000000001e-06,
      "late_endpoint_growth_ci_low": -5.779673851018478e-05,
      "late_endpoint_growth_ci_high": 4.2796738510184783e-05
    },
    {
      "rho": "0.80",
      "batch": 8,
      "mean_queue_mean": 13.8970939453125,
      "mean_queue_ci_low": 13.656718966840748,
      "mean_queue_ci_high": 14.137468923784253,
      "analytic_stationary_mean_queue": 14.0,
      "late_endpoint_growth_mean": -1.5000000000000004e-05,
      "late_endpoint_growth_ci_low": -9.582412809637777e-05,
      "late_endpoint_growth_ci_high": 6.582412809637777e-05
    },
    {
      "rho": "0.95",
      "batch": 8,
      "mean_queue_mean": 67.1660447265625,
      "mean_queue_ci_low": 62.768413081080205,
      "mean_queue_ci_high": 71.5636763720448,
      "analytic_stationary_mean_queue": 66.5,
      "late_endpoint_growth_mean": 0.00027875,
      "late_endpoint_growth_ci_low": -0.00028110179090342984,
      "late_endpoint_growth_ci_high": 0.0008386017909034299
    },
    {
      "rho": "1.05",
      "batch": 8,
      "mean_queue_mean": 3186.1734140625,
      "mean_queue_ci_low": 3041.8054260332606,
      "mean_queue_ci_high": 3330.541402091739,
      "analytic_stationary_mean_queue": null,
      "late_endpoint_growth_mean": 0.0511275,
      "late_endpoint_growth_ci_low": 0.048005311677583345,
      "late_endpoint_growth_ci_high": 0.05424968832241665
    }
  ],
  "stationary_comparisons": [
    {
      "rho": "0.50",
      "batch": 1,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.50",
      "batch": 2,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.50",
      "batch": 4,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.50",
      "batch": 8,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.80",
      "batch": 1,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.80",
      "batch": 2,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.80",
      "batch": 4,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.80",
      "batch": 8,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.95",
      "batch": 1,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.95",
      "batch": 2,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.95",
      "batch": 4,
      "theory_inside_approx_mc_interval": true
    },
    {
      "rho": "0.95",
      "batch": 8,
      "theory_inside_approx_mc_interval": true
    }
  ],
  "source_files_modified": false
}