Is there a way of intercepting pandoc’s numbering via a Lua filter? That would help a lot with implementing --top-level-division=part for HTML via a filter.

The field numbering (in Sec) is useful. If Header had it, then numbering could happen within the document (instead of – AFAICT – a separate step) and filters could influence it.