Walks src/**/*.rs and lib/**/*.rs, extracts internal-event definitions
and tracing log calls via syn’s AST, and validates them against the
rules in docs/specs/instrumentation.md. Macro argument scraping (the
contents of counter!(...), trace!(...), etc.) uses small targeted
regexes on the macro’s already-tokenised input — never on raw source.