Function section_ids_for_page

scripts/extract_source_text.py:181–189

(sections: list[dict[str, Any]], page_number: int)

def section_ids_for_page(sections: list[dict[str, Any]], page_number: int) -> list[str]:
    ids = [
        str(section.get("section_id", ""))
        for section in sections
        if int(section.get("page_start", 0) or 0)
        <= page_number
        <= int(section.get("page_end", 0) or 0)
    ]
    return [sid for sid in ids if sid]


def build_pages(