This is kind of nuts on the face of it, but this is the way things will go now that humans don't have to do the insane amount of work this requires - verifiable-spec-driven, verifiable-criteria-driven development. We'll all become bot-powered specmaticians.