Merge "[2/N] implementation of verifier controller and status tracker" into main