Converge discovers an environment, builds a typed dependency graph, proposes a repair, and proves it in isolation. Lock and stale-state checks protect the live apply path; an audit record makes exact undo possible.
Adapted from the Notion Architecture Atlas v5. Scroll horizontally to inspect the complete system.
01Discover the environment
02Construct the typed graph
03Plan a minimal repair
04Prove it in isolation
05Apply atomically with audit and undo