Registry · Remark VI.R03 tau-effective not_applicable

VI.R03 — Falsifiability Program

4 structural predictions: no autonomous virus, no stable free neutron, no NS with SelfDesc, sharp NS-to-BH phase boundary. Falsifiable by counterexample.

Book VI Part 1 Ch. 10

Lean Formalization

Module:

Symbol: