completed specification v0.1