{
  "kind": "Authored arithmetic exercises, not clock captures or new firmware runs",
  "clock_contract": "Same uint32 microsecond clock, no reset; actual elapsed interval below 2^31 us; cannot infer multiple wraps",
  "cutoff_us": 20000,
  "examples": [
    {
      "example_id": "C1",
      "stamp_us": 100000,
      "now_us": 119999
    },
    {
      "example_id": "C2",
      "stamp_us": 100000,
      "now_us": 120000
    },
    {
      "example_id": "C3",
      "stamp_us": 100000,
      "now_us": 120001
    },
    {
      "example_id": "C4",
      "stamp_us": 4294957296,
      "now_us": 9999
    },
    {
      "example_id": "C5",
      "stamp_us": 4294957296,
      "now_us": 10000
    },
    {
      "example_id": "C6",
      "stamp_us": 4294957296,
      "now_us": 10001
    }
  ],
  "recheck_example": {
    "stamp_us": 100000,
    "decision_us": 119900,
    "use_us": 120100,
    "scope": "Authored counterexample: additional delay200us after decision; not observed LED timing"
  }
}