Whether the output file is executable is part of write_source_file's declared state, so it should be checked in tests along with diffing the contents. Currently, you can run the updater, manually flip the executable bit on the output, and the tests will still pass.