Step 1

Combine stock, gelatin, tomato paste, soy sauce, anchovies or fish sauce, and Worcestershire sauce in a blender and blend on high speed until homogeneous. Set aside.

Step 2

In a pressure cooker, heat oil over medium-high heat until shimmering. Season beef all over with salt and pepper and add to pressure cooker, working in batches if necessary (beef should fit in a single layer). Cook, turning occasionally, until beef is well browned on 2 sides, about 10 minutes. Transfer beef to a rimmed baking sheet or large plate and set aside.

Step 3

Add mushrooms to pressure cooker and cook, stirring, until liquid is released and mushrooms begin to brown, about 6 minutes, lowering heat as necessary to prevent scorching. Add chopped carrots and pearl onions and cook, stirring, until well browned on all sides, a few minutes longer. Season to taste with salt and pepper, then transfer to a bowl and set aside.

Step 4

Add halved yellow onion to pressure cooker, cut side down. Add whole carrots, celery ribs, and garlic. Cook, turning carrots, celery, and garlic occasionally, until all vegetables are well browned, about 4 minutes.

Step 5

Add wine or sherry, scrape up browned bits with a wooden spoon, and cook until reduced by three-quarters, about 3 minutes. Add reserved stock mixture.

Step 6

Cut seared steaks into 1 1/2– to 2-inch chunks and transfer to a large bowl. Toss with flour. Add beef and any juices accumulated in the tray or plate to pressure cooker, along with bay leaves and thyme sprigs. Stir to combine, seal pressure cooker, and bring to high pressure. Cook for 30 minutes, then rapidly release pressure and open cooker.

Step 7

Using tongs, fish out and discard carrot, celery, thyme, bay leaves, onion, and garlic. Add potatoes and reserved sautéed mushrooms, pearl onions, and carrots to stew, reseal cooker, bring to high pressure, and cook 15 minutes longer. Rapidly release pressure.

Step 8

Stir in peas. Season to taste with salt and pepper if necessary. Serve immediately, or let cool overnight or for up to 5 days and reheat to serve.