{
  "schema": 1,
  "study": "cast-shutdown-v13",
  "date": "2026-10-27",
  "outcome": "kept",
  "shipping_status": "V13 is retained as the accepted version; V11 remains the immutable comparison baseline.",
  "title": "Shutdown wakeups: kept",
  "comparison": "Immutable accepted V11 C++ Cast versus V13 C++ Cast; both clock families; no third-party engine measured.",
  "primary_case": "pipeline_okay_terminal",
  "primary_metric": "full_command_seconds",
  "calls": 2400,
  "blocks": 20,
  "replicates_per_block_per_version": 5,
  "cases": 12,
  "endpoints": 24,
  "controls": 23,
  "controls_passed": 23,
  "full_command_controls_passed": 11,
  "native_wall_controls_passed": 12,
  "exact_output_calls": 2400,
  "contended_calls": 1925,
  "worker_admission_shortfall_calls": 78,
  "workers_admitted_counts": {
    "1": 15,
    "2": 63,
    "3": 2322
  },
  "recorded_operating_anomalies": 0,
  "retries": 0,
  "exclusions": 0,
  "primary": {
    "case": "pipeline_okay_terminal",
    "metric": "full_command_seconds",
    "time_unit": "seconds",
    "role": "primary",
    "previous_time_median": 1.0323631039999555,
    "candidate_time_median": 0.03853493750000325,
    "paired_latency_change_percent": -94.65184509547974,
    "adjusted_latency_interval_percent": [
      -96.74573412105858,
      -91.21068715748322
    ],
    "raw_sign_randomization_p": 0.0000019073486328125,
    "passed": true,
    "label": "Small pipeline"
  },
  "case_results": [
    {
      "case": "count_product_all_250k",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0885757714999613,
      "candidate_time_median": 0.11562612500006253,
      "paired_latency_change_percent": -86.41181472384905,
      "adjusted_latency_interval_percent": [
        -89.78387291412355,
        -81.92673431458537
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Count by product + join · 250k"
    },
    {
      "case": "count_product_all_1m",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.2195614795000154,
      "candidate_time_median": 0.4472431454999537,
      "paired_latency_change_percent": -60.236092151696575,
      "adjusted_latency_interval_percent": [
        -66.46114212197027,
        -52.85562874208244
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Count by product + join · 1M"
    },
    {
      "case": "pipeline_synth_terminal_250k",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0509589584999972,
      "candidate_time_median": 0.20667974999992111,
      "paired_latency_change_percent": -78.57699724845043,
      "adjusted_latency_interval_percent": [
        -81.5281760652309,
        -75.1543188959787
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Filter + aggregate + join · 250k"
    },
    {
      "case": "pipeline_synth_terminal_1m",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0917348954999113,
      "candidate_time_median": 0.3437677920000226,
      "paired_latency_change_percent": -63.06825415026398,
      "adjusted_latency_interval_percent": [
        -69.3052715898168,
        -55.563905525321644
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Filter + aggregate + join · 1M"
    },
    {
      "case": "pipeline_okay_terminal",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "primary",
      "previous_time_median": 1.0323631039999555,
      "candidate_time_median": 0.03853493750000325,
      "paired_latency_change_percent": -94.65184509547974,
      "adjusted_latency_interval_percent": [
        -96.74573412105858,
        -91.21068715748322
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Small pipeline"
    },
    {
      "case": "duplicate_right_64",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0330850210000335,
      "candidate_time_median": 0.03895047949998798,
      "paired_latency_change_percent": -95.02921329663573,
      "adjusted_latency_interval_percent": [
        -97.13636055151524,
        -91.371567232943
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Duplicate join keys · 64"
    },
    {
      "case": "empty_right_left_64",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.030886374500028,
      "candidate_time_median": 0.03873002049996899,
      "paired_latency_change_percent": -92.3601848592771,
      "adjusted_latency_interval_percent": [
        -96.21485572952838,
        -84.58003943475931
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Empty right input · 64"
    },
    {
      "case": "empty_left_inner_64",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0343313334999635,
      "candidate_time_median": 0.038790603999984796,
      "paired_latency_change_percent": -93.57866539968417,
      "adjusted_latency_interval_percent": [
        -97.0609244135561,
        -85.97057583704296
      ],
      "raw_sign_randomization_p": 0.000003814697265625,
      "passed": true,
      "label": "Empty left input · 64"
    },
    {
      "case": "pipeline_synth_sorted_1m",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.094398750000039,
      "candidate_time_median": 0.34960268700001507,
      "paired_latency_change_percent": -63.67265155644494,
      "adjusted_latency_interval_percent": [
        -68.70713976512326,
        -57.828199946112704
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Pipeline + sort · 1M"
    },
    {
      "case": "inferred_product_keys_1m",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.227737958500029,
      "candidate_time_median": 0.4873281874999975,
      "paired_latency_change_percent": -58.92882129576923,
      "adjusted_latency_interval_percent": [
        -66.01183418741856,
        -50.369733705063936
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Inferred join keys · 1M"
    },
    {
      "case": "count_product_all_1m_default_control",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.2346535624999433,
      "candidate_time_median": 0.5212323750000678,
      "paired_latency_change_percent": -59.96739946870308,
      "adjusted_latency_interval_percent": [
        -66.22025224607617,
        -52.55710264703688
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Count + join default control · 1M"
    },
    {
      "case": "sum_then_sort_1m",
      "metric": "full_command_seconds",
      "time_unit": "seconds",
      "role": "nonregression",
      "previous_time_median": 1.0345449170000904,
      "candidate_time_median": 0.05325412499993831,
      "paired_latency_change_percent": -93.97096911045028,
      "adjusted_latency_interval_percent": [
        -94.85498393680048,
        -92.93506317169006
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Sum + sort · 1M"
    },
    {
      "case": "count_product_all_250k",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 105.35318699999999,
      "candidate_time_median": 60.946521000000004,
      "paired_latency_change_percent": -41.42639600670236,
      "adjusted_latency_interval_percent": [
        -46.97298399822569,
        -35.29963887372327
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Count by product + join · 250k"
    },
    {
      "case": "count_product_all_1m",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 312.413729,
      "candidate_time_median": 231.8674585,
      "paired_latency_change_percent": -22.890668656903422,
      "adjusted_latency_interval_percent": [
        -29.004426603085065,
        -16.250426671843353
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Count by product + join · 1M"
    },
    {
      "case": "pipeline_synth_terminal_250k",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 210.3811245,
      "candidate_time_median": 179.638479,
      "paired_latency_change_percent": -19.267746902534732,
      "adjusted_latency_interval_percent": [
        -24.96072558362504,
        -13.142860976666004
      ],
      "raw_sign_randomization_p": 0.0000057220458984375,
      "passed": true,
      "label": "Filter + aggregate + join · 250k"
    },
    {
      "case": "pipeline_synth_terminal_1m",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 315.325979,
      "candidate_time_median": 283.0315415,
      "paired_latency_change_percent": -13.29589131843486,
      "adjusted_latency_interval_percent": [
        -18.41536680645688,
        -7.855166248885848
      ],
      "raw_sign_randomization_p": 0.00000762939453125,
      "passed": true,
      "label": "Filter + aggregate + join · 1M"
    },
    {
      "case": "pipeline_okay_terminal",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 104.8585415,
      "candidate_time_median": 4.925396,
      "paired_latency_change_percent": -93.89514005868318,
      "adjusted_latency_interval_percent": [
        -95.44971794994508,
        -91.80944950376319
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Small pipeline"
    },
    {
      "case": "duplicate_right_64",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 105.2943545,
      "candidate_time_median": 4.882,
      "paired_latency_change_percent": -94.26298147065476,
      "adjusted_latency_interval_percent": [
        -95.43274072915882,
        -92.79362531131524
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Duplicate join keys · 64"
    },
    {
      "case": "empty_right_left_64",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 104.990521,
      "candidate_time_median": 4.7870004999999995,
      "paired_latency_change_percent": -94.349709305609,
      "adjusted_latency_interval_percent": [
        -95.48202178869829,
        -92.93361246159635
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Empty right input · 64"
    },
    {
      "case": "empty_left_inner_64",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 105.34204199999999,
      "candidate_time_median": 5.0326664999999995,
      "paired_latency_change_percent": -93.86221678188387,
      "adjusted_latency_interval_percent": [
        -95.24198295643174,
        -92.08233545873648
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Empty left input · 64"
    },
    {
      "case": "pipeline_synth_sorted_1m",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 315.1952295,
      "candidate_time_median": 288.2847505,
      "paired_latency_change_percent": -11.817642141879038,
      "adjusted_latency_interval_percent": [
        -15.246849522043993,
        -8.249685190873791
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Pipeline + sort · 1M"
    },
    {
      "case": "inferred_product_keys_1m",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 312.3516455,
      "candidate_time_median": 247.4260005,
      "paired_latency_change_percent": -23.26139691112935,
      "adjusted_latency_interval_percent": [
        -29.4229044280199,
        -16.56197869427267
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Inferred join keys · 1M"
    },
    {
      "case": "count_product_all_1m_default_control",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 312.16510400000004,
      "candidate_time_median": 241.4414375,
      "paired_latency_change_percent": -21.133361092067936,
      "adjusted_latency_interval_percent": [
        -29.05439718532704,
        -12.327945836443932
      ],
      "raw_sign_randomization_p": 0.0000057220458984375,
      "passed": true,
      "label": "Count + join default control · 1M"
    },
    {
      "case": "sum_then_sort_1m",
      "metric": "wall_ms",
      "time_unit": "milliseconds",
      "role": "nonregression",
      "previous_time_median": 105.33850000000001,
      "candidate_time_median": 18.846979,
      "paired_latency_change_percent": -75.64535109425805,
      "adjusted_latency_interval_percent": [
        -81.31871966432091,
        -68.24902187302912
      ],
      "raw_sign_randomization_p": 0.0000019073486328125,
      "passed": true,
      "label": "Sum + sort · 1M"
    }
  ],
  "failed_controls": [],
  "hardware": "Apple M5 Max, 18 cores, macOS",
  "topology": "Three requested loopback workers, four threads each, on one shared Mac.",
  "change": "Interrupt worker heartbeat and leader ticker waits at the existing final stop points. The running heartbeat/Tick cadence, operators, wire format and both timer boundaries remain unchanged.",
  "correctness_summary": "Existing native suite: 963 passed cases and 362601 assertions; Cast subset: 16 passed cases and 813 assertions. Goldens retain the same seven known transcript mismatches (634/641) and 14 database skips.",
  "correctness_scope": "Correctness only. Same7golden failures; worker deaths hit Map tasks6and10;9spills/0reloads; two leader restarts loseall3originalworkers and recomputeoldDone; mixed actualDonecoverage includes bothversions. No fresh timing inference.",
  "prior_experiment_history": "V12 remains a separate rejected experiment. Its user-paused trial (655 complete calls and one interrupted invocation) and subsequent unpooled 2400-call trial are unchanged. None of those observations enters V13 statistics.",
  "interpretation": "V13 primary paired full-command time changed -94.65% versus immutable V11. The primary and all 23 controls passed the frozen rule; V13 was kept.",
  "method": {
    "familywise_alpha": 0.05,
    "per_endpoint_alpha": 0.0020833333333333333,
    "inference_units": 20,
    "replicate_aggregation": "Five per-version values form a geometric mean within each paired block.",
    "primary_gate": "Adjusted full-command upper <= -20% and exact p < .05/24.",
    "controls_gate": "All other 23 adjusted upper bounds <= +5%.",
    "combined_gate_passed": true
  },
  "source_ids": {
    "accepted_V11_baseline_source_commit": "7d94e68c043c5111f52a624bda8e347b9a9da34b",
    "V13_candidate_source_commit": "97d2ead89b8cbae1a46effed7738de9a106077b4",
    "final_accepted_source_commit": "97d2ead89b8cbae1a46effed7738de9a106077b4",
    "raw_backup_commit": "90d501cf03f3e4268f97e7d8b58e363ecfbb9847",
    "analysis_sha256": "5e8bde7c483308d118b3e8b1b75d1fd45111863119252afd76fa57ada461cbe6",
    "protocol_sha256": "958213b04e1114d07badfe642568dbdbe9081830c5c945a90eca31a6189f7a7d",
    "records_sha256": "f9b45ea0411f6ca60320f03e0e8760cb95522aee9440c81d859418ce26af4f38",
    "review_sha256": "e21a8a98cf5c0e0fbced9289da1ea9b0a0ac749d4930d6c99d952bd186083777",
    "statistics_sha256": "1924be22be675072879903987ee62a969a720abd2bf89aac2067aa641303c018",
    "raw_sha256": "00124fc82c2b5ce463791f0f467de93d995ffe40151d035a074be405864016cc",
    "state_sha256": "704b08b03c23b2e23d3b3a60e577e9ea0f7b808cbd8b39d4034da0ca7924ca46",
    "decision_sha256": "d9440caeea244772b7bb39eef0f3d8b8cdb3451e1ce05892a1346aa9c0e1774d",
    "identity_sha256": "d09d132422e5f1734e4526b62ccb31e0da35d5047e1c761310d5acf9bd0050aa",
    "correctness_sha256": "f2b6d12e17e0e3a9d8c87b74d8922529565c6bb0efd2639b2789045dec215895"
  },
  "preserved_results": {
    "V11_and_V12_study_data_unchanged": true,
    "existing_language_tables_unchanged": true,
    "existing_site_evals_json_sha256": "26aacea70db62f9bd5f9528187ba09c25cfbd45feaab72c71c8d49f94d2ff70f",
    "no_V13_multiplier_applied": true
  }
}