{
  "source_fact_boundaries": [
    "streaming shapes exist",
    "clients should set realistic explicit deadlines",
    "flow control may delay streaming progress",
    "write return is not proof peer processed data"
  ],
  "forbidden_conclusions": [
    "streaming always faster",
    "one deadline fits every system",
    "DEADLINE_EXCEEDED proves worker cleanup",
    "transport flow control equals business admission control"
  ],
  "required_probe_semantics": {
    "baseline_fast_receiver": "COMPLETE_OR_BOUNDED_LOCAL_SUCCESS",
    "short_deadline_active_work": "DEADLINE_OR_BOUNDED_TERMINATION",
    "slow_receiver_flow_probe": "OBSERVE_WRITE_PROGRESS_TIMING",
    "write_heavy_no_read_guard": "DEADLOCK_RISK_SIMULATION_ONLY"
  }
}