{
  "inputs": {
    "contract": {
      "c": "19/20",
      "mismatch": "1/2",
      "kappa": "9/10",
      "eta": "1/20"
    },
    "theta": "1/100",
    "delta": "1/100",
    "alpha": "1/20",
    "reference_task": "Prespecified reference recovery task (synthetic placeholder)",
    "eligible_population": "Independently sampled eligible units after exposure (synthetic placeholder)",
    "exposure": 1.0,
    "activation_deadline": 8.0,
    "observation_deadline": 24.0
  },
  "configured_plan": {
    "feasible": true,
    "random_minimum": 2300,
    "balanced_minimum": 2300,
    "total_error": 0.049949362294131994,
    "error_at_random_predecessor": 0.05000515823842384,
    "error_at_balanced_predecessor": 0.05006103211105348,
    "integer_neighbors_exact": true,
    "all_negative_endpoint": [
      0.00999605662050107,
      0.009996056620501074
    ]
  },
  "sharpness_population": {
    "admitted": true,
    "covered_mass": "19/20",
    "mean_square": "1/4",
    "actual_response": "44631/320000",
    "guaranteed_response": "44631/320000"
  },
  "record": {
    "status": "conditional calculation only",
    "confidence_endpoint": null,
    "reason": "The source/calibration/sampling contract has not been established"
  },
  "if_contract_is_established": {
    "status": "excludes target fraction",
    "error_upper": 0.049949362294131994,
    "confidence_endpoint": [
      0.00999605662050107,
      0.009996056620501074
    ],
    "interpretation": "Repeated-sampling conditional error guarantee; neither sterility nor a posterior death probability"
  },
  "planning_rows": [
    {
      "c": "1",
      "d": "1/2",
      "kappa": "1",
      "eta": "0",
      "delta": "0",
      "floor": "3/16",
      "g": "3/16",
      "feasible": true,
      "random_minimum": 1597,
      "balanced_minimum": 1598,
      "total_error": 0.0498337656029442,
      "error_at_random_predecessor": 0.05002116913151465,
      "error_at_balanced_predecessor": 0.05002116913151465,
      "integer_neighbors_exact": true,
      "all_negative_endpoint": [
        0.009988906178441274,
        0.009988906178441278
      ]
    },
    {
      "c": "19/20",
      "d": "1/2",
      "kappa": "1",
      "eta": "0",
      "delta": "0",
      "floor": "261/1600",
      "g": "261/1600",
      "feasible": true,
      "random_minimum": 1835,
      "balanced_minimum": 1836,
      "total_error": 0.049915663072050274,
      "error_at_random_predecessor": 0.050078912264501396,
      "error_at_balanced_predecessor": 0.050078912264501396,
      "integer_neighbors_exact": true,
      "all_negative_endpoint": [
        0.009994372541795568,
        0.009994372541795572
      ]
    },
    {
      "c": "19/20",
      "d": "1/2",
      "kappa": "9/10",
      "eta": "1/20",
      "delta": "0",
      "floor": "261/1600",
      "g": "44631/320000",
      "feasible": true,
      "random_minimum": 2147,
      "balanced_minimum": 2148,
      "total_error": 0.049889385825006405,
      "error_at_random_predecessor": 0.05002884083158162,
      "error_at_balanced_predecessor": 0.05002884083158162,
      "integer_neighbors_exact": true,
      "all_negative_endpoint": [
        0.009992617647459507,
        0.00999261764745951
      ]
    },
    {
      "c": "19/20",
      "d": "1/2",
      "kappa": "9/10",
      "eta": "1/20",
      "delta": "1/100",
      "floor": "261/1600",
      "g": "44631/320000",
      "feasible": true,
      "random_minimum": 2300,
      "balanced_minimum": 2300,
      "total_error": 0.049949362294131994,
      "error_at_random_predecessor": 0.05000515823842384,
      "error_at_balanced_predecessor": 0.05006103211105348,
      "integer_neighbors_exact": true,
      "all_negative_endpoint": [
        0.00999605662050107,
        0.009996056620501074
      ]
    },
    {
      "c": "3/2",
      "d": "1/2",
      "kappa": "9/10",
      "eta": "1/20",
      "delta": "1/100",
      "floor": "1/2",
      "g": "171/400",
      "feasible": true,
      "random_minimum": 749,
      "balanced_minimum": 750,
      "total_error": 0.04982847022464676,
      "error_at_random_predecessor": 0.05017119982940428,
      "error_at_balanced_predecessor": 0.05017119982940428,
      "integer_neighbors_exact": true,
      "all_negative_endpoint": [
        0.00998665386083538,
        0.009986653860835384
      ]
    }
  ],
  "allocation_optimization_gap": 4.996003610813204e-16,
  "pooled_trap": {
    "mean_activation": "1/2",
    "mean_second_stage": "1/2",
    "complete_path": "0",
    "conditional_progeny": "0"
  },
  "adaptive_negative_mass": "1042738352586888922907228197921/1048576000000000000000000000000",
  "identified_set_example": {
    "observable_event_at_deadline": 0.09816843611112658,
    "compatible_recoverable_interval": [
      0.09816843611112658,
      1
    ],
    "example_recoverable_fractions": [
      0.2,
      0.8
    ],
    "conditional_cdf_at_deadline": [
      0.4908421805556329,
      0.12271054513890822
    ],
    "scope": "Illustrative finite-follow-up law; unseen detection mass is placed after the deadline"
  },
  "scope": "Exact source algebra and integer decisions; no empirical calibration or Lean rerun"
}