Comment by abdullin

They are flavor of BDD specs. More data than the code.

Either way Codex writes them under my supervision.