docs: reconcile spec-compliance driver against head 05643975 #26

Job	Run time
Spec mutex (both features must not compile)	26s
Opt-in lane (2025-11-25)	5m 26s
Default lane (2026-07-28)	4m 52s
Rustdoc (deny warnings)	59s
	11m 43s

Provide feedback