Module exec_read_target 

Exec read-target extraction shared by loop guards and execution-history replay.

A bounded shell slice read (sed -n '<range>p' <file>, awk 'NR...' <file>) is a positioned read of a workspace file, structured the same way as a read_file call with an offset/limit identity. The turn-local read guard and the cross-turn history replay both need the same (path, slice) identity, so the parsers live here instead of in one consumer and being re-derived (divergently) in the other.

Structs

ExecReadTarget

A parsed bounded shell read: the target path plus the requested slice.

Functions

parse_exec_read_target

Parse a bounded shell slice read from command args.