Documentation
README
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
contract: the requested outcome and the smallest set of acceptance criteria that would prove it, stated before any work. The sole source of necessity; a ceiling as much as a floor. If the request is ambiguous: attended → ask; unattended → bind the smallest reading consistent with stated intent and record the assumption.
This is the opening of the README. Read the full README on GitHub.