{
  "rate_work_units_per_second": 2,
  "capacity_work_units": 3,
  "initial_tokens": 3,
  "trace": [
    {
      "time": "0",
      "cost": "1",
      "before": "3",
      "elapsed": "0",
      "available": "3",
      "accepted": true,
      "after": "2"
    },
    {
      "time": "0",
      "cost": "1",
      "before": "2",
      "elapsed": "0",
      "available": "2",
      "accepted": true,
      "after": "1"
    },
    {
      "time": "0",
      "cost": "1",
      "before": "1",
      "elapsed": "0",
      "available": "1",
      "accepted": true,
      "after": "0"
    },
    {
      "time": "0",
      "cost": "1",
      "before": "0",
      "elapsed": "0",
      "available": "0",
      "accepted": false,
      "after": "0"
    },
    {
      "time": "1/4",
      "cost": "1",
      "before": "0",
      "elapsed": "1/4",
      "available": "1/2",
      "accepted": false,
      "after": "1/2"
    },
    {
      "time": "1/2",
      "cost": "1",
      "before": "1/2",
      "elapsed": "1/4",
      "available": "1",
      "accepted": true,
      "after": "0"
    },
    {
      "time": "1/2",
      "cost": "1",
      "before": "0",
      "elapsed": "0",
      "available": "0",
      "accepted": false,
      "after": "0"
    },
    {
      "time": "10",
      "cost": "3",
      "before": "0",
      "elapsed": "19/2",
      "available": "3",
      "accepted": true,
      "after": "0"
    },
    {
      "time": "10",
      "cost": "1",
      "before": "0",
      "elapsed": "0",
      "available": "0",
      "accepted": false,
      "after": "0"
    }
  ],
  "independent_interval_envelope_checks": 45,
  "interval_bounds": [
    {
      "first_event": 0,
      "last_event": 0,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 0,
      "last_event": 1,
      "admitted": "2",
      "envelope": "3"
    },
    {
      "first_event": 0,
      "last_event": 2,
      "admitted": "3",
      "envelope": "3"
    },
    {
      "first_event": 0,
      "last_event": 3,
      "admitted": "3",
      "envelope": "3"
    },
    {
      "first_event": 0,
      "last_event": 4,
      "admitted": "3",
      "envelope": "7/2"
    },
    {
      "first_event": 0,
      "last_event": 5,
      "admitted": "4",
      "envelope": "4"
    },
    {
      "first_event": 0,
      "last_event": 6,
      "admitted": "4",
      "envelope": "4"
    },
    {
      "first_event": 0,
      "last_event": 7,
      "admitted": "7",
      "envelope": "23"
    },
    {
      "first_event": 0,
      "last_event": 8,
      "admitted": "7",
      "envelope": "23"
    },
    {
      "first_event": 1,
      "last_event": 1,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 1,
      "last_event": 2,
      "admitted": "2",
      "envelope": "3"
    },
    {
      "first_event": 1,
      "last_event": 3,
      "admitted": "2",
      "envelope": "3"
    },
    {
      "first_event": 1,
      "last_event": 4,
      "admitted": "2",
      "envelope": "7/2"
    },
    {
      "first_event": 1,
      "last_event": 5,
      "admitted": "3",
      "envelope": "4"
    },
    {
      "first_event": 1,
      "last_event": 6,
      "admitted": "3",
      "envelope": "4"
    },
    {
      "first_event": 1,
      "last_event": 7,
      "admitted": "6",
      "envelope": "23"
    },
    {
      "first_event": 1,
      "last_event": 8,
      "admitted": "6",
      "envelope": "23"
    },
    {
      "first_event": 2,
      "last_event": 2,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 2,
      "last_event": 3,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 2,
      "last_event": 4,
      "admitted": "1",
      "envelope": "7/2"
    },
    {
      "first_event": 2,
      "last_event": 5,
      "admitted": "2",
      "envelope": "4"
    },
    {
      "first_event": 2,
      "last_event": 6,
      "admitted": "2",
      "envelope": "4"
    },
    {
      "first_event": 2,
      "last_event": 7,
      "admitted": "5",
      "envelope": "23"
    },
    {
      "first_event": 2,
      "last_event": 8,
      "admitted": "5",
      "envelope": "23"
    },
    {
      "first_event": 3,
      "last_event": 3,
      "admitted": "0",
      "envelope": "3"
    },
    {
      "first_event": 3,
      "last_event": 4,
      "admitted": "0",
      "envelope": "7/2"
    },
    {
      "first_event": 3,
      "last_event": 5,
      "admitted": "1",
      "envelope": "4"
    },
    {
      "first_event": 3,
      "last_event": 6,
      "admitted": "1",
      "envelope": "4"
    },
    {
      "first_event": 3,
      "last_event": 7,
      "admitted": "4",
      "envelope": "23"
    },
    {
      "first_event": 3,
      "last_event": 8,
      "admitted": "4",
      "envelope": "23"
    },
    {
      "first_event": 4,
      "last_event": 4,
      "admitted": "0",
      "envelope": "3"
    },
    {
      "first_event": 4,
      "last_event": 5,
      "admitted": "1",
      "envelope": "7/2"
    },
    {
      "first_event": 4,
      "last_event": 6,
      "admitted": "1",
      "envelope": "7/2"
    },
    {
      "first_event": 4,
      "last_event": 7,
      "admitted": "4",
      "envelope": "45/2"
    },
    {
      "first_event": 4,
      "last_event": 8,
      "admitted": "4",
      "envelope": "45/2"
    },
    {
      "first_event": 5,
      "last_event": 5,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 5,
      "last_event": 6,
      "admitted": "1",
      "envelope": "3"
    },
    {
      "first_event": 5,
      "last_event": 7,
      "admitted": "4",
      "envelope": "22"
    },
    {
      "first_event": 5,
      "last_event": 8,
      "admitted": "4",
      "envelope": "22"
    },
    {
      "first_event": 6,
      "last_event": 6,
      "admitted": "0",
      "envelope": "3"
    },
    {
      "first_event": 6,
      "last_event": 7,
      "admitted": "3",
      "envelope": "22"
    },
    {
      "first_event": 6,
      "last_event": 8,
      "admitted": "3",
      "envelope": "22"
    },
    {
      "first_event": 7,
      "last_event": 7,
      "admitted": "3",
      "envelope": "3"
    },
    {
      "first_event": 7,
      "last_event": 8,
      "admitted": "3",
      "envelope": "3"
    },
    {
      "first_event": 8,
      "last_event": 8,
      "admitted": "0",
      "envelope": "3"
    }
  ],
  "invalid_cases_rejected": [
    "cost_gt_B",
    "backwards",
    "zero_rate",
    "negative_rate",
    "bool_time",
    "NaN_time",
    "zero_cost"
  ],
  "time_source": "injected Fraction elapsed seconds; no sleep or clock change",
  "scope": "strict atomic-in-one-function teaching example; no distributed concurrency, live API quotas, LLM tokens or scheduler"
}