Registry · Remark VI.R30 tau-effective not_applicable

VI.R30 — Empirical identification caveat

Whether a specific system satisfies CC1-CC3 is empirical, outside tau-framework scope; framework provides criterion, identification requires empirical investigation.

Book VI Part 8 Ch. 51

Lean Formalization

Module:

Symbol: