A compiler has no day two
Read the ten back and notice how many are properties of the change itself. Reviewable, predictable, checkable before it runs, bounded, reversible. A compiler turns those from habits you maintain into facts you get for free, and it does it with two guarantees people usually blur together. It runs on your machine, with no cloud and no credentials, so the check costs nothing and touches nothing. And it gives you the same output tomorrow as today, because the output is a pure function of the source. A red squiggle needs both. A check that needs the cloud is a plan, and a plan comes too late to catch you at the keystroke. A check whose answer can drift is a squiggle that lied.
The deeper thing a compiler does is erase day two. In most shops, day one is standing the system up, and day two is the rest of its life, the changes and the drift and the state surgery and the runbooks no one wrote. Day two is a different and scarier discipline, and it is where the tribal knowledge accretes. A compiler collapses it. A change on day two is the same act as day one. Edit the source, recompile, read the diff, apply. Operating is authoring, so everything that made authoring safe carries into every change the system ever takes.
That is why the test holds past the first day. You onboard a newcomer, a person or an agent, into one loop, and that loop is the entire operational surface. The operational dark arts, the second thing you used to have to learn, are gone, because operating is the same act as authoring. Day two is day one again.