Just talking about the first item: you're asserting that first verifying your understanding of specifications, discovering then specifying currently implicit re

Just talking about the first item: you're asserting that first verifying your understanding of specifications, discovering then specifying currently implicit requirements of an in-production system, then automating your system's compliance with specs in a way that does not require changing the automation while specs remain constant but the system grows, is menial. At least to me, as a person who struggles even with math proofs, and is trying to figure out a robust way to discover features in complex systems (for example, to reverse engineer/port video games without access to the source), that is -very surprising-.