Ln 652 Transaction Correctness Auditor

This is a specialized auditor that hunts down database transaction bugs before they bite you in production. It checks for the stuff that code review misses: missing commits that break real-time notifications when pg_notify events get deferred, transactions held open during HTTP calls that starve your connection pool, and rollback handling that assumes the happy path. The two-layer detection approach (candidate scan then context verification) is smart, especially for tracing whether updates to trigger-affected tables actually have intermediate commits for progress tracking. It calculates a compliance score and writes structured findings with severity ratings. Best used when you're running Postgres with triggers and asyncio, or when you've had "why didn't the webhook fire" incidents that turned out to be transaction scope issues.