(content: string | null)
| 101 | } |
| 102 | |
| 103 | function isStub(content: string | null): boolean { |
| 104 | return typeof content === 'string' && content.startsWith(STUB_MARK); |
| 105 | } |
| 106 | |
| 107 | /** |
| 108 | * Shrink redundant file-read tool results. Returns a NEW array (input is never |