{
  "checks": [
    "partial peer EOF reclaimed during held writer",
    "third queued job refused",
    "closed queued sources reclaimed",
    "inflight source close does not cancel owner",
    "old completion cannot address replacement session",
    "reclaimed capacity accepts new claim",
    "unacknowledged admission replay adds no record"
  ],
  "limitations": "Finite four-session/two-job profile; gate after real operation, not stalled fsync. Queued/inflight closures are explicit local transport-close events, not detection of remote full close. A TCP write-half-close remains valid for awaiting a reply. One schedule, no fairness or arbitrary interleaving proof.",
  "network_checkpoints": [
    {
      "busy": true,
      "claims": 0,
      "fenced": false,
      "phase": "queue_full_refuses_third",
      "queued": 2,
      "responses": [
        0,
        0,
        0
      ],
      "sessions": 3,
      "submitted": 1
    },
    {
      "busy": true,
      "claims": 0,
      "fenced": false,
      "phase": "closed_sources_leave_owner",
      "queued": 0,
      "responses": [
        0,
        0,
        0
      ],
      "sessions": 0,
      "submitted": 1
    },
    {
      "busy": false,
      "claims": 1,
      "fenced": false,
      "phase": "old_completion_skips_reused_slot",
      "queued": 0,
      "responses": [
        0,
        0,
        0
      ],
      "sessions": 1,
      "submitted": 1
    },
    {
      "busy": false,
      "claims": 2,
      "fenced": false,
      "phase": "reclaimed_capacity_and_replay",
      "queued": 0,
      "responses": [
        0,
        2,
        0
      ],
      "sessions": 0,
      "submitted": 3
    }
  ],
  "passed": true,
  "peak_queue_jobs": 2,
  "profile": "network-pressure-v1",
  "queue_capacity": 2
}