[jdrumgoole]

Summary

The PG suites spend their time inside a debug secantusd-pg. This PR optimizes the code the server spends that time in, and leaves the two crates that dominate compile time at debug.

• Profile change, in crates/secantus-pg/Cargo.toml:
  • third-party crates at opt-level = 2;
  • secantus-core, -storage, -wt, -pgwire, -pgcatalog and -auth at 1;
  • secantus-pgplan and secantus-pg at 0. They are 325k of our 458k lines.
• Correctness checks unchanged: debug-assertions and overflow-checks stay on everywhere, because a per-package opt-level changes neither.
• The other half of item 2: the backlog step now uses --dist worksteal, as the suites step already does. Its isolation specs run up to 126 s each.

Measured (2026-11-09, one tree, our crates rebuilt as CI does on a cache hit, -n 4)

profile	compile	328 tests¹	backlog shard (2,792)
debug (before)	50 s	292 s	546 s
third-party crates opt-2	48 s	212 s	340 s
+ runtime crates opt-1 (this)	72 s	170 s	252 s
every crate opt-1	207 s	160 s	163 s
every crate opt-2	262 s	148 s	152 s

¹ The corpora, the rule trees and the builtin coverage. Every run passed every test.

Not done yet: splitting the backlog shard into two jobs is held until this PR's numbers are measured on CI. With the faster server, that shard should come down to about the differential shard's length, so a split would barely shorten the run.

First run is slow: the cache key changes with Cargo.toml, so this PR's own first run compiles the third-party crates cold. Runs after the merge use the cache that main saves.

Test plan

• All five profiles above passed the same 328 + 2,792 tests locally.
• CI: every pg-oracle shard passes, including the secantus-pg cargo tests under the new profile.
• After the merge: compare shard times on the next snapshot PR against Rust PG server: fix-one batch snapshot of pg-batch (1b2d4532, 1 commits) #2550 and CI: run the disk clean-up beside the job when the runner has room #2554.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QpXX75h9VN88qdKV17kGNS