Merge lane base check: develop c73249747530

Merge lane base check: run the full gate on `develop` at `c7324974753036db534cebc39bd2ba56e6958195` alone and report it certified or red, beside lane run 7362. Filed by the control plane (`app/merge_lane.py::request_base_check`).

develop c73249747 RED: ast-grep-pin-parity, jaahd-unit (2 postinst tests, both from 7d1f80529) and Vale 'allowlist'. All three already fixed on develop tip (d78a4e59e, e99a2683d, 163bcea14); no PR. Docs-build failure was my overlapping gate runs; direct-console-issuance is flaky (passed 161/161 standalone).