Release notes: 2026-05-25 — proof-database-arch¶

Summary: Proof-db manifest + v0 CI smoke for release regression pins.

Agent continuation: Read docs/verification/proof-database.md; run ./scripts/check-proof-db.sh; update rows when closing P-/G-.

Not changed: lic build certificate wiring.