Function run_collected

explainshell/extraction/runner.py:690–710

Like ``run``, but collects per-file results into a list.

(
    extractor: Extractor,
    gz_files: list[str],
    *,
    manifest: BatchManifestWriter | None = None,
    batch_size: int | None = None,
    jobs: int = 1,
    on_start: Callable[[str], None] | None = None,
)

def run_collected(
    extractor: Extractor,
    gz_files: list[str],
    *,
    manifest: BatchManifestWriter | None = None,
    batch_size: int | None = None,
    jobs: int = 1,
    on_start: Callable[[str], None] | None = None,
) -> tuple[BatchResult, list[ExtractionResult]]:
    """Like ``run``, but collects per-file results into a list."""
    files: list[ExtractionResult] = []
    batch = run(
        extractor,
        gz_files,
        batch_size=batch_size,
        jobs=jobs,
        on_start=on_start,
        on_result=lambda _p, e: files.append(e),
        manifest=manifest,
    )
    return batch, files


def run_batch_collected(