Yes, after watching the presentation linked in another comment, it appears the building blocks of Theseus are small code units called "cells", which correspond

Yes, after watching the presentation linked in another comment, it appears the building blocks of Theseus are small code units called "cells", which correspond 1:1 with Rust crates. These can be swapped out because the dynamic loader ensures there are no memory boundary overlaps.