Function write_static_timings_csv

perf/run_analysis.py:201–218

Write CSV with decode_page timing keys only, one row per page.

(out_path: Path, pages: List[PageTimings])

def write_static_timings_csv(out_path: Path, pages: List[PageTimings]) -> None:
    """Write CSV with decode_page timing keys only, one row per page."""
    ensure_parent(out_path)

    # Get decode_page keys in order (excludes the global decode_page timer)
    decode_page_keys = get_decode_page_timing_keys()

    header = ["filename", "page_number", "elapsed_original_sec", *decode_page_keys]

    with out_path.open("w", newline="") as f:
        w = csv.writer(f)
        w.writerow(header)
        for p in pages:
            row = [p.filename, p.page_number, f"{p.elapsed_original:.9f}"]
            for k in decode_page_keys:
                v = p.timings.get(k, 0.0)
                row.append(f"{v:.9f}" if v else "")
            w.writerow(row)


def print_top_summary(pages: List[PageTimings]) -> None: