[{ "code": "unused-transition", "message": "The 'spin' transition is unused", "start": { "line": 4, "column": 3, "character": 47 }, "end": { "line": 6, "column": 4, "character": 99 }, "pos": 47 }]