• Stale-Safety Verification
• Proof-of-Concept