Top level specification is rendered at https://github.com/computablelabs/compspec/blob/master/TopLevelSpec.md Edit: Moved specification into versioned markdown file. Keeping this issue to coordinate discussion.