"""Log search: a grep subset executed in Python, never in a shell (ARCHITECTURE §2.7)."""