Fill = declared status. Red ring = weakest-link: a node is only as confirmed as its shakiest assumption (dashed = its own open hole; solid-red = inherited from a dependency). Fick's law roots the bottom; arrows flow up from each foundation to the claims it supports. Node size ∝ in-degree.