Category: docs Severity: major
Location: README.md:88-91
What
Each bullet describes behavior not implemented: there is no resume_token (f-0007); envelopes carry no event_seq, so 'gap-free monotonic sequence numbers' is unbacked (f-0006); terminal states are completed/failed/cancelled with no timed_out (f-0008); lease enforcement is agent-cooperative, not runtime-enforced 'at every operation boundary' (f-0010). The overview promises a stronger contract than the SDK delivers.
Evidence
- **Session** — ... reconnect with a resume token and the runtime replays buffered events. ...
- **Job** — ... ends in exactly one terminal state: `success`, `error`, `cancelled`, or `timed_out`. ...
- **Event** — ... Events carry strictly monotonic sequence numbers so the stream survives reconnects gap-free. ...
- **Lease** — ... The runtime enforces the lease at every operation boundary; a job can never act outside it.
Proposed fix
Either implement the missing behaviors (tracked by f-0006/f-0007/f-0008/f-0010) or soften the README overview to describe what the SDK actually does today.
Acceptance criteria
Category: docs Severity: major
Location:
README.md:88-91What
Each bullet describes behavior not implemented: there is no resume_token (f-0007); envelopes carry no event_seq, so 'gap-free monotonic sequence numbers' is unbacked (f-0006); terminal states are completed/failed/cancelled with no timed_out (f-0008); lease enforcement is agent-cooperative, not runtime-enforced 'at every operation boundary' (f-0010). The overview promises a stronger contract than the SDK delivers.
Evidence
Proposed fix
Either implement the missing behaviors (tracked by f-0006/f-0007/f-0008/f-0010) or soften the README overview to describe what the SDK actually does today.
Acceptance criteria