github.com/badrootd/nibiru-cometbft@v0.37.5-0.20240307173500-2a75559eee9b/spec/light-client/supervisor (about) supervisor_001_draft.md supervisor_001_draft.tla supervisor_002_draft.md