add: json of state-spec in state-spec doc