Proton Charge from Conservation
The proton charge is Q_p = +e. This is not a primitive property but follows from conservation: enumerate The neutron...
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: IV.T333
- Type: theorem
- Scope: tau-effective
- Lean status: not_formalized
- Book / part / chapter: Book IV · Part 1 · Chapter 8
Result summary
The proton charge is Q_p = +e. This is not a primitive property but follows from conservation: enumerate The neutron…
Related Results surfaces
- Proton Charge Radius r_p at +12 ppm (37× Improvement in Wave 46)
- Proton-Neutron Mass Difference at +33 ppm
- Proton Stability: Address Irresolvability Forbids Baryon Decay
- Proton–Neutron Mass Splitting
- Proton-Neutron Mass Difference at +33 ppm
- Proton Charge Radius r_p at +12 ppm (37× Improvement in Wave 46)
- Proton Stability: Address Irresolvability Forbids Baryon Decay
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: neutron, proton
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.