{
  "schema": "hella.exp034.dual-bound-envelope.v1",
  "created_at": "2026-10-04T17:31:39.463338+00:00",
  "credit_bytes": 524288,
  "deadline_ms": 10000,
  "summary": [
    {
      "ack_delay_ms": 0,
      "proof_ack_first_rate": 1.0,
      "deadline_stop_rate": 0.0,
      "credit_stop_rate": 0.0,
      "max_bytes": 61440,
      "median_bytes": 61440,
      "max_deadline_overshoot_ms": 0,
      "all_byte_compliant": true,
      "all_proof_ok": true
    },
    {
      "ack_delay_ms": 8000,
      "proof_ack_first_rate": 0.0,
      "deadline_stop_rate": 1.0,
      "credit_stop_rate": 0.0,
      "max_bytes": 253952,
      "median_bytes": 253952,
      "max_deadline_overshoot_ms": 0.275,
      "all_byte_compliant": true,
      "all_proof_ok": true
    },
    {
      "ack_delay_ms": 15000,
      "proof_ack_first_rate": 0.0,
      "deadline_stop_rate": 1.0,
      "credit_stop_rate": 0.0,
      "max_bytes": 253952,
      "median_bytes": 253952,
      "max_deadline_overshoot_ms": 0.424,
      "all_byte_compliant": true,
      "all_proof_ok": true
    }
  ],
  "all_byte_compliant": true,
  "all_proof_ok": true,
  "all_rw_ok": true,
  "all_iscsi_ok": true,
  "truth_boundary": "Real iSCSI/ZFS proof with cooperative userspace byte/deadline enforcement; kernel-blocked I/O may delay userspace deadline observation.",
  "rows": [
    {
      "ack_delay_ms": 0,
      "rep": 1,
      "writer_stop_reason": "proof_ack",
      "writes": 4,
      "bytes": 61440,
      "budget_compliant": true,
      "writer_elapsed_ms": 3270.571,
      "deadline_compliant": true,
      "deadline_overshoot_ms": null,
      "proof_elapsed_ms": 2477.144,
      "scheduled_ack_elapsed_ms": 2477.144,
      "ack_sent_before_writer_stop": true,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 0,
      "rep": 2,
      "writer_stop_reason": "proof_ack",
      "writes": 4,
      "bytes": 61440,
      "budget_compliant": true,
      "writer_elapsed_ms": 2992.22,
      "deadline_compliant": true,
      "deadline_overshoot_ms": null,
      "proof_elapsed_ms": 2201.406,
      "scheduled_ack_elapsed_ms": 2201.406,
      "ack_sent_before_writer_stop": true,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 0,
      "rep": 3,
      "writer_stop_reason": "proof_ack",
      "writes": 4,
      "bytes": 61440,
      "budget_compliant": true,
      "writer_elapsed_ms": 2868.519,
      "deadline_compliant": true,
      "deadline_overshoot_ms": null,
      "proof_elapsed_ms": 2046.424,
      "scheduled_ack_elapsed_ms": 2046.424,
      "ack_sent_before_writer_stop": true,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 8000,
      "rep": 1,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.158,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.158,
      "proof_elapsed_ms": 2001.858,
      "scheduled_ack_elapsed_ms": 10001.858,
      "ack_sent_before_writer_stop": false,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 8000,
      "rep": 2,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.275,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.275,
      "proof_elapsed_ms": 1993.055,
      "scheduled_ack_elapsed_ms": 9993.055,
      "ack_sent_before_writer_stop": true,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 8000,
      "rep": 3,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.157,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.157,
      "proof_elapsed_ms": 2314.901,
      "scheduled_ack_elapsed_ms": 10314.901,
      "ack_sent_before_writer_stop": false,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 15000,
      "rep": 1,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.424,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.424,
      "proof_elapsed_ms": 2096.299,
      "scheduled_ack_elapsed_ms": 17096.299,
      "ack_sent_before_writer_stop": false,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 15000,
      "rep": 2,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.133,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.133,
      "proof_elapsed_ms": 2274.614,
      "scheduled_ack_elapsed_ms": 17274.614,
      "ack_sent_before_writer_stop": false,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    },
    {
      "ack_delay_ms": 15000,
      "rep": 3,
      "writer_stop_reason": "deadline",
      "writes": 10,
      "bytes": 253952,
      "budget_compliant": true,
      "writer_elapsed_ms": 10000.23,
      "deadline_compliant": true,
      "deadline_overshoot_ms": 0.23,
      "proof_elapsed_ms": 2550.139,
      "scheduled_ack_elapsed_ms": 17550.139,
      "ack_sent_before_writer_stop": false,
      "proof_ok": true,
      "rw_ok": true,
      "iscsi_ok": true
    }
  ]
}