Rules 3, 4 and 5 (canary, healthy elsewhere, a hold's lift) and the outside-cause judge read `running.healthy` (a running with none reads healthy, nothing heard reads not healthy); no fallback to the have. Phase and failed-health reads of the have stay where `running` says nothing of them. Builds: design 47 G §520, §556 (survey AS22) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h