Registry · Remark VI.R29 tau-effective not_applicable

VI.R29 — Scope: structural, not empirical

Substrate Abstraction is structural: proves conditions impose no substrate restriction; does not predict which systems will satisfy them. Carbon sufficient not necessary.

Book VI Part 6 Ch. 42

Lean Formalization

Module:

Symbol: