[docs.dirac.Ω.D9+] record the adversarially hardened twin

WHY: The Program loop now has database-owned scope guards, collision-safe canonical identity, finite numeric boundaries, repeatable hostile tests, and a live source poller proven to add and remove function nodes without periodic Git churn. Refresh the offline optimization twin so those implementation and verification edges are inspectable.

Author: ivanicu