Registry · Remark V.R436 conjectural not_applicable

V.R436 — N4 Falsification Update

Ch56 N4 updated: Li-7 prediction from 'factor of 2' to '+0.9σ' via 1/3 fiber suppression. Falsifier: Li-7 deviates >3σ from S=1/3 prediction.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: