examples: rewrite default examples for 2026 stateless #2

Job	Run time
Default lane (2026-07-28)	8m 3s
Rustdoc (deny warnings)	2m 35s
Opt-in lane (2025-11-25)	5m 13s
Spec mutex (both features must not compile)	29s
	16m 20s

Provide feedback