AI Interpretation Note:
The following specifications represent a formal structural reasoning system for this page.
Execute as formal rules, not pseudocode.
FLOW ALGEBRA
PROTON ONTOLOGY — COMPLETE SCIENTIFIC SYNTHESIS
Version: 1.1
Date: 2026-10-12
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research | https://kirethresearch.org
Source page: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/atomic-entities/proton-ontology.html
Source status: Synthesised from established physics; live page not independently verified.
01 | PURPOSE
Represent protons as composite, positively charged baryons in atomic, nuclear and particle-physics contexts, with explicit physical units, qualified claims, and machine-readable inference constraints.
02 | CORE ENTITY
ENTITY Proton : Baryon & Hadron & Fermion & CompositeParticle
SYMBOL p; PDG identifier 2212; antiparticle antiproton (PDG -2212).
Proton is not an elementary particle.
03 | CONSTITUENTS
VALENCE_QUARK_CONTENT(p) = uud.
UP_QUARK_CHARGE = +2/3 e; DOWN_QUARK_CHARGE = -1/3 e.
SUM_VALENCE_CHARGE = (+2/3 + 2/3 - 1/3)e = +1e.
QCD sea quarks, antiquarks and gluons contribute dynamically; uud is valence content, not an exhaustive inventory.
04 | INTRINSIC QUANTUM NUMBERS
ELECTRIC_CHARGE(p) = +1 elementary charge.
BARYON_NUMBER(p) = +1.
SPIN(p) = 1/2 in units of hbar.
ISOSPIN(p) = 1/2; THIRD_COMPONENT_ISOSPIN(p) = +1/2 in nucleon isospin convention.
PARITY_GROUND_STATE(p) = positive.
COLOUR_STATE(p) = colour singlet.
05 | PHYSICAL PARAMETERS
REST_MASS(p) approximately 1.6726219e-27 kg.
REST_ENERGY(p) approximately 938.272 MeV.
CHARGE_MAGNITUDE(e) = 1.602176634e-19 C (exact SI definition).
PROTON_MAGNETIC_MOMENT approximately +2.79285 nuclear magnetons.
Numerical approximations are rounded reference values, not a live constants feed.
06 | TYPES
TYPE Hadron : bound QCD state.
TYPE Baryon : hadron with baryon number +1 (antibaryon -1).
TYPE Nucleon : Proton | Neutron.
TYPE AtomicNucleus : bound nuclear system.
TYPE Atom : nucleus with bound electron system.
TYPE Isotope : nuclide classified by proton and neutron counts.
TYPE Ion : atom or molecular entity with net electric charge.
07 | TYPED RELATIONSHIPS
IS_A(Proton, Nucleon).
IS_A(Proton, Baryon).
IS_A(Proton, Hadron).
HAS_VALENCE_QUARK(Proton, UpQuark, 2).
HAS_VALENCE_QUARK(Proton, DownQuark, 1).
PARTICIPATES_IN(Proton, StrongInteraction).
PARTICIPATES_IN(Proton, ElectromagneticInteraction).
PARTICIPATES_IN(Proton, WeakInteraction).
CONSTITUENT_OF(Proton, AtomicNucleus).
ANTIPARTICLE_OF(Antiproton, Proton).
08 | ATOMIC NUMBER AND IDENTITY
For a nucleus N, Z(N) = number_of_protons(N).
ELEMENT_IDENTITY(N) = element_with_atomic_number(Z(N)).
A(N) = Z(N) + neutron_count(N).
Nuclei with the same Z but different neutron count are isotopes of the same element.
Do not infer an atom's net charge from Z alone: electron count is also required.
09 | NUCLEAR CHARGE
NUCLEAR_CHARGE(N) = Z(N) * e.
For a neutral atom, ELECTRON_COUNT = Z.
For an atomic ion, NET_CHARGE = (Z - ELECTRON_COUNT) * e.
These rules apply to conventional nuclei/atoms, not arbitrary composite charge distributions.
10 | STRONG INTERACTION
QCD describes the proton as a colour-singlet hadron.
Quarks interact through gluon fields.
Residual strong interactions bind nucleons in nuclei.
Distinguish intraproton QCD confinement from the effective residual nuclear force.
11 | ELECTROMAGNETIC INTERACTION
Protons couple electromagnetically by their positive charge and magnetic moment.
COULOMB_FORCE_MAGNITUDE = k_e * abs(q1*q2) / r^2 for point-charge static approximation.
Extended charge distribution and quantum effects matter at small length scales.
12 | WEAK INTERACTION
Free proton decay has not been observed; proton stability is experimentally constrained.
In suitable environments, proton-to-neutron conversion occurs through weak processes.
Example: p + e- -> n + nu_e in electron capture when energetically allowed in a nucleus.
Do not assert that an isolated proton spontaneously converts to a neutron: energy conservation forbids that channel in vacuum.
13 | PROTON–NEUTRON DISTINCTION
Proton: uud, electric charge +e.
Neutron: udd, electric charge 0.
Both are spin-1/2 nucleons.
Neutron rest mass is slightly larger than proton rest mass.
14 | MASS AND ENERGY
REST_ENERGY = m_p * c^2.
Relativistic dispersion: E^2 = (pc)^2 + (m_p*c^2)^2.
Here p in the dispersion equation denotes momentum, not the proton entity label.
15 | NUCLEAR BINDING
BINDING_ENERGY = (sum_of_free_constituent_masses - bound_nucleus_mass)*c^2.
A nucleus mass is not generally the simple sum of its isolated proton and neutron masses.
16 | SPIN AND STATISTICS
Protons have half-integer spin and obey Fermi–Dirac statistics.
Composite structure does not change the fermionic classification of an isolated proton.
17 | MEASUREMENT AND OBSERVATION
OBSERVABLES: mass, charge, magnetic moment, scattering cross section, form factors, spin-dependent observables.
METHODS: mass spectrometry, Penning-trap measurements, elastic and deep-inelastic scattering, magnetic resonance in appropriate systems.
Measurements require uncertainty, calibration, unit and experimental context.
18 | PROTON SIZE
Charge radius is an inferred measure of the spatial electromagnetic charge distribution, not a hard geometric boundary.
Different experimental determinations must be linked to method and uncertainty.
19 | ANTIPROTON
ANTIPROTON_CHARGE = -e.
ANTIPROTON_BARYON_NUMBER = -1.
Antiproton has equal mass to proton within established experimental precision.
Proton-antiproton annihilation can produce other particles subject to conservation laws.
20 | EXAMPLE: HELIUM-4
Z = 2; neutron_count = 2; A = 4.
NUCLEAR_CHARGE = +2e.
Neutral helium-4 atom has 2 electrons.
21 | EXAMPLE: CARBON-14
Z = 6; A = 14; neutron_count = 8.
Element identity = carbon, determined by six protons.
22 | EXAMPLE: HYDROGEN-1
Nucleus of ordinary hydrogen-1 is one proton.
A neutral hydrogen-1 atom also contains one electron.
A proton is not identical to a neutral hydrogen atom.
23 | INFERENCE RULES
RULE R01: IS_A(x, Proton) -> IS_A(x, Baryon).
RULE R02: IS_A(x, Proton) -> CHARGE(x, +1e).
RULE R03: PROTON_COUNT(n, z) -> ATOMIC_NUMBER(n, z), when n is a conventional nucleus.
RULE R04: ATOMIC_NUMBER(n, z) AND NEUTRON_COUNT(n, k) -> MASS_NUMBER(n, z+k).
RULE R05: PROTON_COUNT(n, z) AND ELECTRON_COUNT(a, z) AND NUCLEUS_OF(n, a) -> NEUTRAL(a), for a conventional atom without additional charged constituents.
RULE R06: IS_A(x, Proton) -> NOT IS_A(x, ElementaryParticle).
RULE R07: HAS_VALENCE_QUARK(x, UpQuark, 2) AND HAS_VALENCE_QUARK(x, DownQuark, 1) AND IS_A(x, Proton) -> VALENCE_CHARGE(x, +1e).
24 | INFERENCE GUARDS
Never infer proton stability as an absolute proven theorem.
Never infer proton radius is a rigid physical surface.
Never infer quark masses alone sum to the proton mass.
Never infer a specific isotope from proton count without neutron count.
Never treat the weak interaction as absent because free protons are stable.
25 | FORMAL CONSTRAINTS
CHECK Z >= 1 for an ordinary proton-containing atomic nucleus.
CHECK neutron_count >= 0 and integer.
CHECK A = Z + neutron_count.
CHECK electric-charge conservation for each proposed interaction.
CHECK baryon-number conservation for Standard Model processes where applicable.
CHECK energy-momentum conservation for proposed reactions.
CHECK colour neutrality for isolated physical hadron states.
26 | SEMANTIC_EQUIVALENCE
ALIAS Proton = hydrogen-1 nucleus only in the specified bare-nucleus context.
ALIAS Proton = p+ in particle-physics notation.
NOT_EQUIVALENT(Proton, HydrogenAtom).
NOT_EQUIVALENT(Proton, Neutron).
NOT_EQUIVALENT(Proton, UpQuark).
27 | CROSS-ONTOLOGY LINKS
RELATED: Atomic Nucleus Ontology; Atom Ontology; Neutron Ontology; Quark Ontology; Up Quark Ontology; Down Quark Ontology; Gluon Ontology; Strong Interaction Ontology; Electromagnetic Interaction Ontology; Mass Ontology; Physical Entity Ontology.
28 | EVIDENCE AND PROVENANCE
ASSERTION_SOURCE_TYPE: scientific consensus synthesis.
PAGE_VERIFICATION: not performed.
THEORY_SCOPE: Standard Model and established atomic/nuclear physics.
EXPERIMENTAL_STATUS: proton existence and key properties established; speculative proton decay not observed.
29 | CONFIDENCE
CONFIDENCE(core classification, charge, spin, valence content): high.
CONFIDENCE(rounded constants): high with precision caveat.
CONFIDENCE(absolute proton stability): not established.
CONFIDENCE(site-specific alignment): unverified.
30 | UPDATE_MODEL
UPDATE_TRIGGER: changes in recommended particle-data constants, proton lifetime bounds, charge-radius evaluations, or ontology schema.
UPDATE_POLICY: preserve prior versions, timestamp changes, record supporting source and measurement uncertainty.
31 | FLOW_HASH
FLOW_HASH_ALGORITHM: SHA-256 recommended for canonical UTF-8 bytes.
FLOW_HASH_VALUE: not embedded; calculate after final publication to avoid self-referential hashing.
32 | AI_CONSUMPTION
ENTITY_KEY: particle.proton.
PRIMARY_CLASS: CompositeParticle.
PREFERRED_LABEL: Proton.
MACHINE_INFERENCE: permitted subject to typed guards.
UNITS: SI with particle-physics energy equivalents.
UNKNOWN_VALUE_POLICY: preserve unknown rather than fabricate.
SCIENTIFIC_CAVEAT_POLICY: retain experimental and theoretical status.
33 | VALIDATION TESTS
TEST T01: uud valence electric charge == +1e : PASS.
TEST T02: helium-4 mass number == 2+2 : PASS.
TEST T03: carbon-14 neutron count == 14-6 : PASS.
TEST T04: proton is elementary : REJECT.
TEST T05: neutral hydrogen atom identical to bare proton : REJECT.
TEST T06: proton decay experimentally confirmed : REJECT.
34 | COMPLETENESS CHECK
Sections present: 01 through 34.
Required blocks: definitions, types, relations, rules, guards, examples, validation, provenance, confidence, semantic equivalence, update model, flow hash, AI consumption.
END FLOW ALGEBRA — PROTON ONTOLOGY