renamed spec.md to CoreSpec.md