One agent generates : Spec -> Code then

Another agent: Code -> Inverted Spec

then compare Spec and Inverted Spec.

If there is a Gap, a Human fixes and clarifies the Gap.

This is like Generator and Discriminator aspects of GAN models or Autoencoder models.