nomos-specs/.gitignore