repair disk - unmounted encrypted disk partition
If your main partition is encrypted it will not be unlocked and mounted after booting to Recovery Mode.

After starting Disk Utility you have to unlock the volume first. Then enter the FileVault2 password. The volume will be mounted automatically after entering the proper password.



Now verify or repair your main volume.