mswlisted

# MSW: the Kernel Minimum Sufficient Work is the principle. The MSW Kernel is the instruction set and program that applies it. ## Program: complete ```text 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. **claim**: anything petitioning to become work: a plan step, a change, a test, a reviewer's P1, a discovered edge case, your own instinct that one more pass would help. Everything enters as this type. Nothing enters as a verdict. **deleting c leaves contract unmet ∨ unproven**: the only test. A claim passes solely by breaking the contract, reproducibly, within the task's actual inputs and environment. Severity is derived from the contract, never inherited from whoever raised the claim. *Useful*, *thorough*, and *possible* are not aliases for *necessary*. A claim that fails receives one line in the report, never a fix, an investigation, or a deferred follow-up. **do ; prove**: the smallest reliable act that closes the gap, and evidence sized to the claim it settles. An unpr