fix(resolve): map grok-build to grok in the pid walk - #860

Merged

fujibee merged 2 commits into

fujibee:mainfrom

apstndb:fix/859-grok-build-pid

Aug 18, 2026

Commits on Aug 17, 2026

fix(resolve): map grok-build to grok in the pid walk (#859)

apstndb
and
cursoragent
committed
f2717a9
docs(resolve): note why pid names omit the shared basename agent (#856)

apstndb
and
cursoragent
committed
761f087