[beinan]

Summary

After a managed Lance publication closes its source pins, the catalog still retains the pending plan and prepared descriptors, preventing the next publication. Add AdvancePublication to atomically advance each selected source's checkpoint after verifying all signed source-quorum closure proofs, then release those dependencies.

A bounded completion receipt preserves exact retries after publisher takeover, a newer pending plan, and checkpoint/restart. Table checkpoint frames preserve their legacy bytes before the first advancement and use a tagged extension afterward. Upgrade every replica before submitting the new command; advanced directories and the extended public Table query encoding do not support older readers. This change performs no physical file or object deletion.

Refs #378.

Testing

• All-feature WAL unit tests: 100 passed, 1 ignored.
• Actual TCP/Lance process tests: 10 passed, 1 child fixture ignored, including lost advancement replies followed by checkpointing and restarting all six replicas.
• Feature Clippy and no-default compilation passed.
• Full repository helper: 628 Rust tests and 229 Python tests passed (2 skipped, 1 expected failure), plus formatting, workspace Clippy, Ruff and Pyright.
• Workspace packaging with all features passed.