Instant Pot Roast

Bahan-bahan (6 porsi)

• 2 ½ to 3 pound boneless chuck roast (cut in half)
• 6 cloves garlic (divided)
• 2 long sprigs fresh rosemary (cut into thirds (or 3 shorter sprigs cut in half))
• 1 tablespoon chopped fresh rosemary
• 1 teaspoon kosher salt (plus a few pinches)
• ½ teaspoon ground black pepper
• ½ cup water
• 1 pound baby red potatoes (scrubbed and left whole)
• 1 (8-ounce) can tomato sauce*
• 3 tablespoons Worcestershire sauce
• 2 ½ cups baby carrots** (see note)
• 2 tablespoons cornstarch (plus 2 tablespoons water to create a slurry)