MSW: the Kernel

Minimum Sufficient Work is the principle. The MSW Kernel is the instruction set and program that applies it.

Program: complete

contract ← the requested outcome + the smallest criteria that prove it

while ∃ claim c : deleting c leaves contract unmet ∨ unproven
      do c ; prove c

halt ; report

Definitions: no behavior lives here, only meaning