Sorry, must be a very naive question, but what if you give LLM just a source code (maybe even obfuscate the names like Raft and Etcd) and ask it to create a TLA+ spec of that?
This is already being done by some folks, reverse-engineering existing source into a TLA+ spec. Like other commenters have mentioned, the challenge is in ensuring that the spec and code match each other.
You mileage may vary but in my (unfortunate) experience, stuffing up by any other reason than grassroots "we need more hands" raised by engineers themselves typically backfires. Teams that are constrained by people resources often find creative ways to work smarter. Teams that have an abundance of labor, often end up working unnecessarily harder, duplicating work, reinventing the wheel, not solving the right problems, etc. See also intensive vs extensive development.
so is there a formula that can be automatically applied to restore the original colors? at least some reasonable approximation, based on the painting's age?
I seriously doubt it. Degradation would be in some part related to the conditions the painting was held in, which would be nearly impossible to backtrack outside of one-off case studies. Imagine a painting that was stuck in a room full of smoke -- or was put on some less than good backing paper/framing.
There has been some research on what causes degradation on paper/pigment but as far as I know much of it ends up as a mystery, a fact of time...
