dr-runtime-contract

Runtime configuration changes: propagate, detect stale declarations, and prove capability across enabled execution paths.