github.com/aakash4dev/cometbft@v0.38.2/spec/light-client/detection (about) 004bmc-apalache-ok.csv 005bmc-apalache-error.csv Blockchain_003_draft.tla LCD_MC3_3_faulty.tla LCD_MC3_4_faulty.tla LCD_MC4_4_faulty.tla LCD_MC5_5_faulty.tla LCDetector_003_draft.tla LCVerificationApi_003_draft.tla README.md detection_001_reviewed.md detection_003_reviewed.md discussions.md draft-functions.md req-ibc-detection.md