docs: refresh retained replay drain state

[kim-em]

Summary

• bind the active public and private retained replay chains
• record their exact remaining budgets and shared validated State checkpoint
• keep the fail-closed two-variable stop contract current

This updates current operational state in place; it adds no run history or incident narrative.

Validation

• git diff --check