High-level logic for SDCR's Kraken