I agree with your statements about local reasoning. I do want to call out that micro services also make debugging more complex (in addition to deployment, as yo

I agree with your statements about local reasoning. I do want to call out that micro services also make debugging more complex (in addition to deployment, as you already mentioned). You have to take care to make it possible to stitch together the context in which an error happened. In a monolith, you get this for free with exception stack traces.