{
  "profile": "bounded-driver-model-v1",
  "python": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
  "seeds": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30,
    31,
    32,
    33,
    34,
    35,
    36,
    37,
    38,
    39,
    40,
    41,
    42,
    43,
    44,
    45,
    46,
    47,
    48,
    49,
    50,
    51,
    52,
    53,
    54,
    55,
    56,
    57,
    58,
    59,
    60,
    61,
    62,
    63
  ],
  "scenarios": [
    {
      "name": "handshake-cap-and-expiry",
      "metrics": {
        "handshake_full": 1,
        "handshake_expired": 4
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 0,
        "handshakes": 4,
        "frame_bytes": 0,
        "verification_jobs": 0,
        "verification_payload_bytes": 0,
        "commit_payload_bytes": 0,
        "sources": 0,
        "frame_count": 0,
        "active_tasks": 4,
        "ordinary": 0,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "slow-input",
      "metrics": {
        "input_expired": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 0,
        "verification_payload_bytes": 0,
        "commit_payload_bytes": 0,
        "sources": 0,
        "frame_count": 1,
        "active_tasks": 1,
        "ordinary": 0,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "slow-output-committed-state-survives",
      "metrics": {
        "offered": 1,
        "verification_credits": 4,
        "ordinary_offered": 1,
        "ordinary_queued": 1,
        "commit_verification_credits": 4,
        "writes_started": 1,
        "output_expired": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 1,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "verification-expiry",
      "metrics": {
        "offered": 1,
        "verification_expired": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 0,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 1,
        "ordinary": 0,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "commit-lease-expiry",
      "metrics": {
        "offered": 1,
        "verification_credits": 4,
        "ordinary_offered": 1,
        "ordinary_queued": 1,
        "commit_verification_credits": 4,
        "commit_invalid": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 1,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 1,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "epoch-race",
      "metrics": {
        "offered": 1,
        "verification_credits": 4,
        "ordinary_offered": 1,
        "ordinary_queued": 1,
        "commit_verification_credits": 4,
        "commit_invalid": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 1,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 1,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "stalled-sync-survives-retry",
      "metrics": {
        "offered": 2,
        "verification_credits": 8,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "recovery_blocked_by_writer": 1,
        "error_survives": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 2,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "error_survives-restart",
      "metrics": {
        "offered": 2,
        "verification_credits": 8,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "error_survives": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 2,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "error_lost-restart",
      "metrics": {
        "offered": 2,
        "verification_credits": 8,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "error_lost": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 2,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "lost-ack-replay",
      "metrics": {
        "offered": 2,
        "verification_credits": 8,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "ack_lost": 1
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 2,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "attack-first-sessions-and-invalid-flood",
      "metrics": {
        "offered": 128,
        "sessions_full": 1,
        "verification_credits": 32,
        "verification_invalid": 8,
        "verification_expired": 120
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 32,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 128,
        "verification_payload_bytes": 56576,
        "commit_payload_bytes": 0,
        "sources": 32,
        "frame_count": 1,
        "active_tasks": 33,
        "ordinary": 0,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      },
      "passed": true
    },
    {
      "name": "both-lanes-full-alternating-service",
      "metrics": {
        "offered": 34,
        "verification_credits": 136,
        "ordinary_offered": 17,
        "ordinary_queued": 16,
        "local_offered": 17,
        "local_queued": 16,
        "ordinary_full": 1,
        "local_full": 1,
        "commit_verification_credits": 8,
        "writes_started": 2
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 17,
          "full": 1,
          "full_fraction": 0.058823529411764705
        },
        "local": {
          "offered": 17,
          "full": 1,
          "full_fraction": 0.058823529411764705
        }
      },
      "high_water": {
        "sessions": 1,
        "handshakes": 1,
        "frame_bytes": 884,
        "verification_jobs": 1,
        "verification_payload_bytes": 884,
        "commit_payload_bytes": 21216,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 2,
        "ordinary": 16,
        "local": 16,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    },
    {
      "name": "success-after-writer-timeout",
      "metrics": {
        "offered": 2,
        "verification_credits": 8,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2
      },
      "lane_refusals": {
        "ordinary": {
          "offered": 2,
          "full": 0,
          "full_fraction": 0.0
        },
        "local": {
          "offered": 0,
          "full": 0,
          "full_fraction": null
        }
      },
      "high_water": {
        "sessions": 2,
        "handshakes": 1,
        "frame_bytes": 442,
        "verification_jobs": 1,
        "verification_payload_bytes": 442,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 1,
        "active_tasks": 3,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      },
      "passed": true
    }
  ],
  "generated_runs": [
    {
      "seed": 0,
      "events": 2000,
      "metrics": {
        "offered": 43,
        "frame_size": 18,
        "session_busy": 17,
        "input_expired": 7,
        "verification_credits": 52,
        "verification_invalid": 3,
        "ordinary_offered": 10,
        "ordinary_queued": 10,
        "commit_verification_credits": 24,
        "writes_started": 6,
        "verification_expired": 3,
        "recovery_blocked_by_writer": 2
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 2,
        "verification_payload_bytes": 884,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 1,
      "events": 2000,
      "metrics": {
        "frame_size": 23,
        "session_busy": 16,
        "offered": 43,
        "input_expired": 4,
        "verification_credits": 16,
        "ordinary_offered": 4,
        "ordinary_queued": 4,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "error_lost": 1,
        "verification_expired": 2
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 5,
        "verification_payload_bytes": 3094,
        "commit_payload_bytes": 442,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 2,
      "events": 2000,
      "metrics": {
        "offered": 40,
        "frame_size": 21,
        "verification_credits": 56,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "commit_verification_credits": 16,
        "writes_started": 4,
        "error_survives": 1,
        "session_busy": 21,
        "verification_invalid": 5,
        "recovery_blocked_by_writer": 1,
        "unavailable": 1,
        "input_expired": 2,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 2210,
        "verification_jobs": 5,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 3,
        "active_tasks": 7,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 3,
      "events": 2000,
      "metrics": {
        "frame_size": 24,
        "offered": 42,
        "verification_credits": 32,
        "verification_invalid": 3,
        "session_busy": 15,
        "input_expired": 3,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 12,
        "commit_invalid": 1,
        "verification_expired": 2,
        "writes_started": 2,
        "error_lost": 1,
        "unavailable": 2
      },
      "high_water": {
        "sessions": 8,
        "handshakes": 1,
        "frame_bytes": 2652,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 8,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 4,
      "events": 2000,
      "metrics": {
        "offered": 37,
        "session_busy": 25,
        "frame_size": 16,
        "verification_credits": 48,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "verification_invalid": 5,
        "input_expired": 3,
        "verification_expired": 3,
        "commit_verification_credits": 12,
        "commit_invalid": 3
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 4,
        "ordinary": 2,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 5,
      "events": 2000,
      "metrics": {
        "session_busy": 13,
        "frame_size": 14,
        "offered": 42,
        "verification_credits": 24,
        "ordinary_offered": 3,
        "ordinary_queued": 3,
        "verification_expired": 4,
        "input_expired": 5,
        "verification_invalid": 3,
        "commit_verification_credits": 4,
        "writes_started": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 2210,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 6,
      "events": 2000,
      "metrics": {
        "frame_size": 27,
        "offered": 47,
        "verification_credits": 48,
        "verification_invalid": 4,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "commit_verification_credits": 8,
        "writes_started": 1,
        "recovery_blocked_by_writer": 3,
        "ack_lost": 1,
        "verification_expired": 3,
        "input_expired": 2,
        "commit_invalid": 1,
        "session_busy": 3
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 7,
      "events": 2000,
      "metrics": {
        "offered": 63,
        "frame_size": 17,
        "session_busy": 13,
        "verification_credits": 60,
        "verification_invalid": 9,
        "input_expired": 4,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "commit_verification_credits": 8,
        "commit_invalid": 1,
        "verification_expired": 3,
        "writes_started": 1,
        "error_survives": 1
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 7,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 8,
      "events": 2000,
      "metrics": {
        "offered": 50,
        "frame_size": 24,
        "session_busy": 9,
        "verification_expired": 11,
        "input_expired": 5,
        "verification_credits": 48,
        "verification_invalid": 6,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "commit_verification_credits": 12,
        "commit_invalid": 1,
        "writes_started": 2,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 4,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 9,
      "events": 2000,
      "metrics": {
        "offered": 60,
        "frame_size": 18,
        "verification_credits": 64,
        "ordinary_offered": 10,
        "ordinary_queued": 10,
        "commit_verification_credits": 20,
        "writes_started": 3,
        "session_busy": 13,
        "ack_lost": 1,
        "verification_expired": 5,
        "verification_invalid": 6,
        "commit_invalid": 2,
        "input_expired": 6
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 10,
      "events": 2000,
      "metrics": {
        "offered": 40,
        "session_busy": 16,
        "frame_size": 20,
        "verification_credits": 36,
        "verification_invalid": 3,
        "input_expired": 4,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "commit_verification_credits": 12,
        "commit_invalid": 3,
        "verification_expired": 2
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 7,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 11,
      "events": 2000,
      "metrics": {
        "offered": 41,
        "verification_expired": 2,
        "frame_size": 18,
        "session_busy": 20,
        "verification_credits": 40,
        "ordinary_offered": 3,
        "ordinary_queued": 3,
        "verification_invalid": 7,
        "input_expired": 3,
        "commit_verification_credits": 4,
        "writes_started": 1,
        "unavailable": 2,
        "source_full": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 442,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 12,
      "events": 2000,
      "metrics": {
        "frame_size": 17,
        "offered": 45,
        "session_busy": 16,
        "input_expired": 3,
        "verification_expired": 5,
        "verification_credits": 40,
        "verification_invalid": 5,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 16,
        "writes_started": 3,
        "commit_invalid": 1,
        "error_survives": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 13,
      "events": 2000,
      "metrics": {
        "offered": 49,
        "frame_size": 13,
        "session_busy": 21,
        "verification_credits": 32,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "input_expired": 5,
        "verification_invalid": 2,
        "verification_expired": 2,
        "commit_verification_credits": 8,
        "writes_started": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 442,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 14,
      "events": 2000,
      "metrics": {
        "offered": 48,
        "session_busy": 18,
        "input_expired": 5,
        "frame_size": 7,
        "verification_credits": 32,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "error_survives": 1,
        "verification_invalid": 3,
        "verification_expired": 5
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 2,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 15,
      "events": 2000,
      "metrics": {
        "session_busy": 10,
        "offered": 42,
        "frame_size": 16,
        "verification_credits": 80,
        "ordinary_offered": 15,
        "ordinary_queued": 15,
        "commit_verification_credits": 28,
        "writes_started": 6,
        "input_expired": 4,
        "verification_invalid": 5,
        "recovery_blocked_by_writer": 4,
        "error_survives": 2,
        "unavailable": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 2,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 1768,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 3,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 16,
      "events": 2000,
      "metrics": {
        "offered": 59,
        "verification_credits": 64,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "commit_verification_credits": 4,
        "commit_invalid": 1,
        "session_busy": 19,
        "frame_size": 17,
        "verification_invalid": 8,
        "input_expired": 2,
        "verification_expired": 3
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 2210,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 3,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 17,
      "events": 2000,
      "metrics": {
        "session_busy": 23,
        "offered": 45,
        "frame_size": 14,
        "verification_credits": 40,
        "verification_invalid": 6,
        "verification_expired": 2,
        "ordinary_offered": 4,
        "ordinary_queued": 4,
        "commit_verification_credits": 4,
        "writes_started": 1,
        "recovery_blocked_by_writer": 2,
        "input_expired": 4
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 18,
      "events": 2000,
      "metrics": {
        "frame_size": 21,
        "offered": 35,
        "verification_credits": 44,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "session_busy": 8,
        "commit_verification_credits": 12,
        "commit_invalid": 1,
        "input_expired": 2,
        "writes_started": 2,
        "verification_invalid": 5,
        "verification_expired": 3,
        "error_survives": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 442,
        "sources": 1,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 19,
      "events": 2000,
      "metrics": {
        "offered": 37,
        "verification_expired": 2,
        "frame_size": 15,
        "session_busy": 13,
        "verification_credits": 16,
        "verification_invalid": 2,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 442,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 20,
      "events": 2000,
      "metrics": {
        "offered": 53,
        "verification_expired": 7,
        "verification_credits": 64,
        "verification_invalid": 6,
        "frame_size": 25,
        "session_busy": 23,
        "ordinary_offered": 10,
        "ordinary_queued": 10,
        "commit_verification_credits": 12,
        "writes_started": 3,
        "recovery_blocked_by_writer": 2,
        "error_survives": 1,
        "unavailable": 1,
        "input_expired": 3
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 8,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 21,
      "events": 2000,
      "metrics": {
        "offered": 44,
        "verification_expired": 4,
        "frame_size": 14,
        "verification_credits": 36,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 16,
        "commit_invalid": 3,
        "session_busy": 18,
        "input_expired": 4,
        "verification_invalid": 4,
        "writes_started": 1,
        "recovery_blocked_by_writer": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 22,
      "events": 2000,
      "metrics": {
        "frame_size": 17,
        "offered": 45,
        "verification_credits": 64,
        "verification_invalid": 5,
        "session_busy": 12,
        "ordinary_offered": 11,
        "ordinary_queued": 11,
        "commit_verification_credits": 24,
        "commit_invalid": 4,
        "input_expired": 2,
        "writes_started": 2,
        "verification_expired": 2,
        "recovery_blocked_by_writer": 2,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 23,
      "events": 2000,
      "metrics": {
        "session_busy": 23,
        "frame_size": 23,
        "offered": 52,
        "verification_credits": 60,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "verification_expired": 3,
        "verification_invalid": 9,
        "input_expired": 2,
        "commit_verification_credits": 4,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 24,
      "events": 2000,
      "metrics": {
        "session_busy": 13,
        "offered": 46,
        "verification_credits": 48,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "verification_expired": 7,
        "frame_size": 19,
        "verification_invalid": 6,
        "input_expired": 5
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 2,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 25,
      "events": 2000,
      "metrics": {
        "offered": 61,
        "verification_credits": 56,
        "verification_invalid": 8,
        "frame_size": 20,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "session_busy": 22,
        "input_expired": 5,
        "commit_verification_credits": 16,
        "writes_started": 2,
        "error_survives": 1,
        "commit_invalid": 2,
        "verification_expired": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 26,
      "events": 2000,
      "metrics": {
        "frame_size": 16,
        "offered": 43,
        "verification_credits": 44,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "commit_verification_credits": 12,
        "writes_started": 2,
        "session_busy": 13,
        "input_expired": 4,
        "verification_invalid": 4,
        "verification_expired": 2,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 27,
      "events": 2000,
      "metrics": {
        "offered": 45,
        "verification_credits": 28,
        "ordinary_offered": 1,
        "ordinary_queued": 1,
        "session_busy": 12,
        "verification_invalid": 6,
        "frame_size": 17,
        "verification_expired": 3,
        "input_expired": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 2652,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 442,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 28,
      "events": 2000,
      "metrics": {
        "offered": 48,
        "verification_credits": 32,
        "verification_invalid": 3,
        "session_busy": 5,
        "input_expired": 4,
        "verification_expired": 8,
        "frame_size": 11,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "recovery_blocked_by_writer": 1
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 7,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 29,
      "events": 2000,
      "metrics": {
        "offered": 44,
        "frame_size": 23,
        "session_busy": 22,
        "verification_expired": 6,
        "verification_credits": 60,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "input_expired": 5,
        "verification_invalid": 7,
        "commit_verification_credits": 16,
        "writes_started": 2,
        "recovery_blocked_by_writer": 1,
        "commit_invalid": 2
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 2,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 30,
      "events": 2000,
      "metrics": {
        "offered": 50,
        "frame_size": 14,
        "input_expired": 10,
        "session_busy": 24,
        "verification_credits": 64,
        "ordinary_offered": 11,
        "ordinary_queued": 11,
        "verification_expired": 4,
        "commit_verification_credits": 28,
        "writes_started": 5,
        "recovery_blocked_by_writer": 7,
        "verification_invalid": 5,
        "unavailable": 6,
        "error_lost": 2,
        "commit_invalid": 2
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 2210,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 7,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 31,
      "events": 2000,
      "metrics": {
        "offered": 44,
        "frame_size": 20,
        "verification_credits": 64,
        "verification_invalid": 9,
        "session_busy": 13,
        "input_expired": 5,
        "verification_expired": 2,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "commit_verification_credits": 20,
        "commit_invalid": 1,
        "writes_started": 4,
        "error_survives": 1
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 8,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 32,
      "events": 2000,
      "metrics": {
        "session_busy": 12,
        "offered": 41,
        "verification_credits": 48,
        "verification_invalid": 8,
        "verification_expired": 5,
        "frame_size": 17,
        "input_expired": 5,
        "ordinary_offered": 4,
        "ordinary_queued": 4,
        "commit_verification_credits": 8,
        "writes_started": 1,
        "recovery_blocked_by_writer": 2,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 1,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 33,
      "events": 2000,
      "metrics": {
        "session_busy": 15,
        "offered": 54,
        "frame_size": 14,
        "input_expired": 5,
        "verification_credits": 48,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "commit_verification_credits": 20,
        "writes_started": 4,
        "verification_invalid": 3,
        "commit_invalid": 1,
        "verification_expired": 2,
        "error_survives": 1,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 34,
      "events": 2000,
      "metrics": {
        "offered": 44,
        "frame_size": 25,
        "verification_credits": 48,
        "verification_invalid": 3,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "commit_verification_credits": 20,
        "writes_started": 3,
        "verification_expired": 7,
        "session_busy": 28,
        "commit_invalid": 2,
        "input_expired": 5,
        "recovery_blocked_by_writer": 2,
        "error_lost": 2,
        "unavailable": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 3094,
        "commit_payload_bytes": 442,
        "sources": 4,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 35,
      "events": 2000,
      "metrics": {
        "offered": 59,
        "verification_credits": 60,
        "ordinary_offered": 11,
        "ordinary_queued": 11,
        "verification_invalid": 4,
        "frame_size": 25,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "verification_expired": 8,
        "unavailable": 3,
        "error_lost": 1,
        "session_busy": 20,
        "input_expired": 2,
        "recovery_blocked_by_writer": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 7,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 36,
      "events": 2000,
      "metrics": {
        "frame_size": 16,
        "offered": 51,
        "session_busy": 22,
        "input_expired": 4,
        "verification_credits": 48,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "commit_verification_credits": 20,
        "commit_invalid": 2,
        "writes_started": 3,
        "error_lost": 2,
        "verification_invalid": 4,
        "recovery_blocked_by_writer": 5,
        "error_survives": 1,
        "unavailable": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 37,
      "events": 2000,
      "metrics": {
        "offered": 50,
        "frame_size": 15,
        "verification_credits": 52,
        "verification_invalid": 8,
        "session_busy": 19,
        "verification_expired": 7,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 20,
        "commit_invalid": 2,
        "writes_started": 3,
        "input_expired": 2,
        "recovery_blocked_by_writer": 1,
        "error_survives": 1
      },
      "high_water": {
        "sessions": 9,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 4,
        "active_tasks": 9,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 38,
      "events": 2000,
      "metrics": {
        "session_busy": 11,
        "input_expired": 3,
        "frame_size": 19,
        "offered": 44,
        "verification_credits": 52,
        "verification_invalid": 6,
        "verification_expired": 3,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "commit_verification_credits": 8,
        "commit_invalid": 1,
        "writes_started": 1,
        "error_lost": 1,
        "unavailable": 4
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 39,
      "events": 2000,
      "metrics": {
        "offered": 50,
        "frame_size": 18,
        "verification_credits": 60,
        "ordinary_offered": 14,
        "ordinary_queued": 14,
        "commit_verification_credits": 28,
        "commit_invalid": 2,
        "writes_started": 5,
        "input_expired": 5,
        "session_busy": 21,
        "verification_expired": 1,
        "source_full": 1,
        "recovery_blocked_by_writer": 3,
        "error_survives": 1,
        "unavailable": 1,
        "verification_invalid": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 5,
        "verification_payload_bytes": 3536,
        "commit_payload_bytes": 1326,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 40,
      "events": 2000,
      "metrics": {
        "offered": 41,
        "verification_credits": 28,
        "verification_invalid": 5,
        "input_expired": 6,
        "session_busy": 15,
        "frame_size": 22,
        "verification_expired": 5,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 4,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 41,
      "events": 2000,
      "metrics": {
        "frame_size": 22,
        "offered": 47,
        "verification_credits": 56,
        "verification_invalid": 5,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "verification_expired": 1,
        "commit_verification_credits": 4,
        "writes_started": 1,
        "session_busy": 3,
        "error_lost": 1,
        "input_expired": 2
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 2,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 42,
      "events": 2000,
      "metrics": {
        "frame_size": 14,
        "offered": 47,
        "verification_credits": 44,
        "verification_invalid": 6,
        "session_busy": 8,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 8,
        "commit_invalid": 2,
        "verification_expired": 1,
        "input_expired": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 43,
      "events": 2000,
      "metrics": {
        "offered": 69,
        "verification_credits": 48,
        "ordinary_offered": 4,
        "ordinary_queued": 4,
        "verification_expired": 6,
        "verification_invalid": 8,
        "session_busy": 24,
        "input_expired": 5,
        "frame_size": 15
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 3094,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 4,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 0,
        "response_bytes": 0
      }
    },
    {
      "seed": 44,
      "events": 2000,
      "metrics": {
        "offered": 52,
        "session_busy": 20,
        "input_expired": 4,
        "frame_size": 22,
        "verification_credits": 84,
        "ordinary_offered": 14,
        "ordinary_queued": 14,
        "verification_expired": 1,
        "verification_invalid": 7,
        "commit_verification_credits": 36,
        "commit_invalid": 2,
        "writes_started": 7,
        "recovery_blocked_by_writer": 2,
        "unavailable": 5,
        "error_survives": 2,
        "error_lost": 1
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 1,
        "frame_count": 3,
        "active_tasks": 8,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 45,
      "events": 2000,
      "metrics": {
        "offered": 32,
        "frame_size": 15,
        "verification_credits": 28,
        "verification_invalid": 1,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "session_busy": 21,
        "input_expired": 1,
        "commit_verification_credits": 16,
        "commit_invalid": 2,
        "writes_started": 2,
        "error_lost": 1,
        "unavailable": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 46,
      "events": 2000,
      "metrics": {
        "offered": 46,
        "session_busy": 18,
        "verification_credits": 44,
        "verification_invalid": 4,
        "frame_size": 13,
        "verification_expired": 7,
        "input_expired": 8,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "commit_verification_credits": 12,
        "writes_started": 3,
        "unavailable": 2,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 2210,
        "verification_jobs": 3,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 47,
      "events": 2000,
      "metrics": {
        "offered": 39,
        "verification_credits": 52,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "verification_invalid": 7,
        "frame_size": 22,
        "session_busy": 18,
        "input_expired": 6,
        "verification_expired": 2,
        "commit_verification_credits": 12,
        "writes_started": 3,
        "error_lost": 1,
        "unavailable": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 2,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 48,
      "events": 2000,
      "metrics": {
        "offered": 38,
        "session_busy": 22,
        "input_expired": 4,
        "frame_size": 23,
        "verification_credits": 20,
        "verification_invalid": 3,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 8,
        "commit_invalid": 1,
        "verification_expired": 3,
        "writes_started": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 2,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 49,
      "events": 2000,
      "metrics": {
        "frame_size": 23,
        "offered": 58,
        "verification_credits": 80,
        "verification_invalid": 10,
        "ordinary_offered": 10,
        "ordinary_queued": 10,
        "commit_verification_credits": 28,
        "writes_started": 4,
        "error_survives": 1,
        "unavailable": 1,
        "session_busy": 18,
        "verification_expired": 3,
        "input_expired": 6,
        "commit_invalid": 3,
        "recovery_blocked_by_writer": 2,
        "error_lost": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 50,
      "events": 2000,
      "metrics": {
        "offered": 37,
        "frame_size": 22,
        "verification_credits": 48,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "input_expired": 4,
        "verification_expired": 3,
        "session_busy": 14,
        "verification_invalid": 4,
        "commit_verification_credits": 8,
        "writes_started": 2
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 2,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 51,
      "events": 2000,
      "metrics": {
        "offered": 38,
        "verification_expired": 2,
        "session_busy": 17,
        "verification_credits": 32,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "commit_verification_credits": 20,
        "writes_started": 4,
        "ack_lost": 1,
        "frame_size": 21,
        "input_expired": 4,
        "recovery_blocked_by_writer": 2,
        "error_survives": 1,
        "unavailable": 2,
        "verification_invalid": 2,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 1,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 52,
      "events": 2000,
      "metrics": {
        "offered": 51,
        "session_busy": 23,
        "input_expired": 6,
        "frame_size": 19,
        "verification_expired": 10,
        "verification_credits": 44,
        "verification_invalid": 4,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "commit_verification_credits": 8,
        "commit_invalid": 1,
        "writes_started": 1,
        "recovery_blocked_by_writer": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 2210,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 1326,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 3,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 53,
      "events": 2000,
      "metrics": {
        "offered": 45,
        "verification_credits": 48,
        "verification_invalid": 8,
        "ordinary_offered": 4,
        "ordinary_queued": 4,
        "commit_verification_credits": 12,
        "writes_started": 3,
        "verification_expired": 8,
        "session_busy": 16,
        "frame_size": 14,
        "input_expired": 2,
        "recovery_blocked_by_writer": 2
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 2,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 1,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 54,
      "events": 2000,
      "metrics": {
        "session_busy": 21,
        "offered": 34,
        "verification_expired": 9,
        "input_expired": 4,
        "frame_size": 13,
        "verification_credits": 16,
        "ordinary_offered": 3,
        "ordinary_queued": 3,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "verification_invalid": 1
      },
      "high_water": {
        "sessions": 7,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1326,
        "commit_payload_bytes": 442,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 8,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 55,
      "events": 2000,
      "metrics": {
        "offered": 41,
        "verification_credits": 44,
        "ordinary_offered": 7,
        "ordinary_queued": 7,
        "verification_invalid": 4,
        "commit_verification_credits": 16,
        "writes_started": 3,
        "session_busy": 18,
        "frame_size": 16,
        "input_expired": 6,
        "verification_expired": 7,
        "ack_lost": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 56,
      "events": 2000,
      "metrics": {
        "offered": 45,
        "frame_size": 13,
        "session_busy": 27,
        "verification_credits": 60,
        "ordinary_offered": 6,
        "ordinary_queued": 6,
        "commit_verification_credits": 24,
        "commit_invalid": 2,
        "verification_invalid": 9,
        "verification_expired": 3,
        "writes_started": 4,
        "recovery_blocked_by_writer": 3,
        "ack_lost": 3,
        "input_expired": 3
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 57,
      "events": 2000,
      "metrics": {
        "frame_size": 20,
        "offered": 43,
        "verification_credits": 52,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "verification_expired": 2,
        "session_busy": 12,
        "commit_verification_credits": 16,
        "writes_started": 3,
        "verification_invalid": 4,
        "error_survives": 1,
        "input_expired": 2,
        "recovery_blocked_by_writer": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 4,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 3,
        "frame_count": 2,
        "active_tasks": 6,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 58,
      "events": 2000,
      "metrics": {
        "offered": 38,
        "session_busy": 10,
        "verification_credits": 44,
        "verification_invalid": 3,
        "frame_size": 27,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "commit_verification_credits": 8,
        "writes_started": 2,
        "recovery_blocked_by_writer": 1,
        "unavailable": 1,
        "verification_expired": 3,
        "input_expired": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 2,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 128
      }
    },
    {
      "seed": 59,
      "events": 2000,
      "metrics": {
        "frame_size": 29,
        "offered": 34,
        "session_busy": 15,
        "verification_credits": 24,
        "verification_invalid": 4,
        "ordinary_offered": 2,
        "ordinary_queued": 2,
        "commit_verification_credits": 4,
        "writes_started": 1,
        "input_expired": 1,
        "verification_expired": 1
      },
      "high_water": {
        "sessions": 3,
        "handshakes": 1,
        "frame_bytes": 1326,
        "verification_jobs": 4,
        "verification_payload_bytes": 2652,
        "commit_payload_bytes": 884,
        "sources": 1,
        "frame_count": 2,
        "active_tasks": 3,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 60,
      "events": 2000,
      "metrics": {
        "offered": 59,
        "frame_size": 19,
        "verification_credits": 60,
        "verification_invalid": 6,
        "session_busy": 19,
        "ordinary_offered": 9,
        "ordinary_queued": 9,
        "input_expired": 2,
        "verification_expired": 6,
        "commit_verification_credits": 12,
        "writes_started": 2,
        "error_lost": 1,
        "unavailable": 2,
        "recovery_blocked_by_writer": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 6,
        "handshakes": 1,
        "frame_bytes": 2652,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 6,
        "ordinary": 2,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 61,
      "events": 2000,
      "metrics": {
        "offered": 59,
        "verification_expired": 7,
        "frame_size": 19,
        "session_busy": 16,
        "verification_credits": 60,
        "verification_invalid": 7,
        "ordinary_offered": 8,
        "ordinary_queued": 8,
        "commit_verification_credits": 20,
        "writes_started": 3,
        "error_lost": 1,
        "input_expired": 6,
        "commit_invalid": 2,
        "error_survives": 1,
        "unavailable": 2
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 62,
      "events": 2000,
      "metrics": {
        "offered": 49,
        "frame_size": 22,
        "verification_credits": 52,
        "verification_invalid": 8,
        "input_expired": 6,
        "session_busy": 19,
        "ordinary_offered": 5,
        "ordinary_queued": 5,
        "commit_verification_credits": 8,
        "writes_started": 1,
        "commit_invalid": 1
      },
      "high_water": {
        "sessions": 5,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 1768,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 5,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    },
    {
      "seed": 63,
      "events": 2000,
      "metrics": {
        "offered": 52,
        "verification_expired": 2,
        "verification_credits": 72,
        "ordinary_offered": 12,
        "ordinary_queued": 12,
        "commit_verification_credits": 24,
        "writes_started": 4,
        "error_lost": 1,
        "unavailable": 2,
        "session_busy": 16,
        "frame_size": 18,
        "verification_invalid": 6,
        "commit_invalid": 2,
        "input_expired": 1,
        "ack_lost": 1
      },
      "high_water": {
        "sessions": 4,
        "handshakes": 1,
        "frame_bytes": 1768,
        "verification_jobs": 3,
        "verification_payload_bytes": 2210,
        "commit_payload_bytes": 884,
        "sources": 2,
        "frame_count": 3,
        "active_tasks": 4,
        "ordinary": 1,
        "local": 0,
        "writers": 1,
        "response_bytes": 0
      }
    }
  ],
  "generated_events": 128000,
  "source_sha256": "8f9e6fb3e4eaf075396ef567ce416595842899a4e0d69f975e95e6ed95d2fe5a",
  "limitations": "Deterministic schedules plus seeded Python model, not exhaustive verification or Rust refinement. Validity, successful recovery sync, and atomic rollover are oracles. Kernel buffers, CPU time, actual memory, real sockets, and handshake cryptography are not modeled. Observer histories are test instrumentation, not bounded node storage."
}