elaborating gocheck_go, minor changes to base protocol