| 1 | package provider |
| 2 | |
| 3 | // ReadPause is a display-only terminal receipt. It carries no source text, |
| 4 | // cursor or executable evidence and cannot resume a historical read. |
| 5 | type ReadPause struct { |
| 6 | Code string `json:"code,omitempty"` |
| 7 | ID string `json:"id"` |
| 8 | Reads []PausedRead `json:"reads"` |
| 9 | Omitted int `json:"omitted,omitempty"` |
| 10 | } |
| 11 | |
| 12 | type PausedRead struct { |
| 13 | Snapshot string `json:"snapshot,omitempty"` |
| 14 | ReadID string `json:"readId"` |
| 15 | Path string `json:"path"` |
| 16 | Intent string `json:"intent,omitempty"` |
| 17 | Covered [][2]int `json:"covered,omitempty"` |
| 18 | Missing [][2]int `json:"missing,omitempty"` |
| 19 | Reason string `json:"reason"` |
| 20 | } |
| 21 |