Registry · Remark V.R351 tau-effective not_applicable

V.R351 — Honest comparison

SM predicts cross-sections and decay rates that tau has not yet demonstrated; cascade predicts constants not processes.

Book V Part 8 Ch. 71

Lean Formalization

Module: