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.