Registry · Remark
VI.R21
tau-effective
not_applicable
VI.R21 — BH-as-Alive Is Theorem, Not Metaphor
BH-as-alive follows by modus ponens from predicates; same logical status as cell-as-alive. Structural, deductive, exact.