| 1 | package provider |
| 2 | |
| 3 | // ReadCompletion retains terminal coverage for diagnostics, never executable |
| 4 | // evidence. Missing fields in older transcripts are safe zero values. |
| 5 | type ReadCompletion struct { |
| 6 | ID string `json:"id"` |
| 7 | Reads []CompletedRead `json:"reads"` |
| 8 | Omitted int `json:"omitted,omitempty"` |
| 9 | } |
| 10 | |
| 11 | type CompletedRead struct { |
| 12 | ReadID string `json:"read_id"` |
| 13 | Path string `json:"path"` |
| 14 | Snapshot string `json:"snapshot,omitempty"` |
| 15 | Intent string `json:"intent"` |
| 16 | Verdict string `json:"verdict"` |
| 17 | Covered [][2]int `json:"covered"` |
| 18 | SourceEnd *int `json:"source_end,omitempty"` |
| 19 | } |
| 20 |