Read event — a per-commit summary of the reads a derived performed.
Remarks
Capped at K=256 reads per commit (SPEC §16.2.1.3 granularity
decisions). seq is the index in the retained slice
(0..len-1) — the original read sequence number is not preserved
past truncation. The last retained read of a truncated summary
carries truncated: true so consumers can distinguish
"the derived read 256 nodes" from "the derived read more than 256
but we only kept the first 256". PR-B1 reserves the wire-format
slot but does not yet instrument the engine to emit these.
Read event — a per-commit summary of the reads a derived performed.
Remarks
Capped at K=256 reads per commit (SPEC §16.2.1.3 granularity decisions).
seqis the index in the retained slice (0..len-1) — the original read sequence number is not preserved past truncation. The last retained read of a truncated summary carriestruncated: trueso consumers can distinguish "the derived read 256 nodes" from "the derived read more than 256 but we only kept the first 256". PR-B1 reserves the wire-format slot but does not yet instrument the engine to emit these.