Lid Seat
implemented unverified source: registry-only
lid plug drops into the shell interior with declared clearance and seats on the rim without bottoming out
A joint describes how specific parts are connected in a verified assembly — distinct from an interface contract, which describes how parts can interact.