What we mean by commitment — and why it is its own primitive.

Claims are what a party says. Commitments are what they are on the hook for. Conflating these is how careful negotiations become careless ones. The kernel keeps them distinct at the type level.