Fundamental Particles

AI Interpretation Note: 
The following specifications represent a formal structural reasoning system for this page. 
Execute as formal rules, not pseudocode. 

FLOW ALGEBRA
FUNDAMENTAL PARTICLES — MAIN PAGE ONTOLOGY
Version: 1.1
Source: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles.html
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research | https://kirethresearch.org
Status: Scientific synthesis; source page taxonomy not independently verified.

01. PURPOSE
Model experimentally established elementary particles, their quantum numbers, interactions, measurements and mathematical constraints, with explicit distinction between established results and hypothetical extensions.

02. FORMAL UNIVERSE
Let P be the set of elementary particle species in a specified physical model M.
Let F be the set of quantum fields; I the interaction types; Q the quantum-number schema; O the observations.
A particle-species record is p=(id, field, spin, charge, mass, representation, stability, evidence).
A particle instance is an excitation or state associated with a quantum field, not necessarily a classical localised object.

03. TYPE SYSTEM
ENTITY: ParticleSpecies | ParticleState | QuantumField | Interaction | Observable | Experiment | Measurement | Theory | CompositeParticle.
PARTICLE_SPECIES: Fermion | Boson.
FERMION: Quark | Lepton.
BOSON: GaugeBoson | ScalarBoson.
QUARK: Up | Down | Charm | Strange | Top | Bottom.
LEPTON: Electron | Muon | Tau | ElectronNeutrino | MuonNeutrino | TauNeutrino.
GAUGE_BOSON: Photon | Gluon | WPlus | WMinus | ZBoson.
SCALAR_BOSON: HiggsBoson.
COMPOSITE_PARTICLE: Hadron | Meson | Baryon (not elementary).

04. STANDARD MODEL INVENTORY
Six quark flavours, six lepton flavours, their antiparticles, gauge bosons, and the Higgs boson constitute the established Standard Model particle content.
The eight gluon colour states are gauge boson states, not eight independent flavour species.
Neutrino flavour states and neutrino mass eigenstates are not identical in general.
Gravity is not incorporated as a quantised interaction in the established Standard Model; the graviton is hypothetical.

05. TYPED RELATIONS
EXCITATION_OF(ParticleState, QuantumField)
INSTANCE_OF(ParticleState, ParticleSpecies)
HAS_SPIN(ParticleSpecies, SpinValue)
HAS_ELECTRIC_CHARGE(ParticleSpecies, ChargeValue)
HAS_REST_MASS(ParticleSpecies, MassParameter)
TRANSFORMS_UNDER(QuantumField, GaugeRepresentation)
PARTICIPATES_IN(ParticleSpecies, Interaction)
MEDIATED_BY(Interaction, GaugeBoson)
ANTIPARTICLE_OF(ParticleSpecies, ParticleSpecies)
DECAYS_TO(ParticleState, FinalState)
MEASURED_BY(Observable, Experiment)
SUPPORTED_BY(Claim, Evidence)
CONSTRAINED_BY(Claim, PhysicalLaw)

06. QUANTUM NUMBERS
Electric charge is measured in units of elementary charge e.
Quarks have charges +2/3 e or -1/3 e; charged leptons have -1 e; neutrinos have zero electric charge.
Quarks carry colour charge; leptons do not.
All Standard Model quarks and leptons have spin 1/2.
Photon, gluon, W and Z bosons have spin 1; Higgs boson has spin 0.
Baryon number and lepton number require care: they are not exact symmetries of every conceivable extension or nonperturbative process.

07. FUNDAMENTAL INTERACTIONS
ELECTROMAGNETIC: associated with U(1) electromagnetic symmetry after electroweak symmetry breaking; mediator photon.
WEAK: charged-current W+/W- and neutral-current Z interactions; flavour transitions possible.
STRONG: SU(3) colour interaction; gluons couple to colour charge.
GRAVITATIONAL: described classically by general relativity in the established framework; quantum mediator unconfirmed.

08. STANDARD MODEL GAUGE STRUCTURE
G_SM = SU(3)_C x SU(2)_L x U(1)_Y.
Covariant derivative D_mu encodes gauge couplings and representation generators.
The Higgs mechanism gives masses to W and Z bosons and contributes to charged fermion masses via Yukawa couplings.
Neutrino masses require physics beyond the minimal renormalisable Standard Model as originally formulated.

09. PARTICLE-ANTIPARTICLE MAPPING
ANTIPARTICLE_OF(p, anti(p)) with anti(anti(p)) = p.
Antiparticles have opposite additive gauge charges; equal rest mass and spin magnitude under CPT-symmetric local relativistic quantum field theory.
Some neutral bosons are their own antiparticles; electrical neutrality alone does not imply self-conjugacy.

10. DYNAMICAL AND KINEMATIC RULES
For isolated interactions, total four-momentum is conserved: sum(p_in^mu) = sum(p_out^mu).
Electric charge is conserved: sum(Q_in) = sum(Q_out).
Angular momentum is conserved in rotationally invariant interactions.
Allowed decays also depend on available phase space and interaction-specific selection rules.
A decay channel is not inferred solely from mass ordering.

11. MASS-ENERGY RELATION
E^2 = (pc)^2 + (mc^2)^2 for a free relativistic particle.
At rest, E_0 = mc^2.
For massless particles, E = pc.
Mass and energy are related but are not interchangeable ontology classes.

12. QUANTUM STATISTICS
Fermions obey Fermi-Dirac statistics and antisymmetric exchange for identical fermions.
Bosons obey Bose-Einstein statistics and symmetric exchange for identical bosons.
Spin-statistics correspondence holds under the assumptions of relativistic local quantum field theory.

13. FIELD EXCITATION SEMANTICS
A particle is modelled as a quantum excitation or state of a field.
A particle-counting interpretation depends on state, observer, and spacetime conditions.
Do not assert that every field state has a unique classical particle trajectory.

14. OBSERVATION MODEL
OBSERVATION := (experiment, detector, event, reconstructed_quantities, uncertainties, calibration, timestamp).
Direct detector signatures may be tracks, calorimeter deposits, or missing transverse momentum; unstable particles are commonly reconstructed indirectly.
An observed event is evidence for a particle hypothesis only after background and uncertainty analysis.

15. INFERENCE RULES
R1: INSTANCE_OF(x,p) and HAS_SPIN(p,s) -> INHERITS_SPECIES_SPIN(x,s), subject to state-level projection distinctions.
R2: DECAYS_TO(x,Y) and ISOLATED(x) -> CONSERVE_FOUR_MOMENTUM(x,Y).
R3: PARTICIPATES_IN(p,StrongInteraction) -> REQUIRES_COLOUR_COUPLING(p) in the Standard Model.
R4: HAS_ELECTRIC_CHARGE(p,0) does NOT imply DOES_NOT_INTERACT(p,ElectromagneticField) in all effective descriptions.
R5: UNSUPPORTED_BY_DIRECT_EVIDENCE(hypothesis) -> CLASSIFY_AS_HYPOTHETICAL, not FALSE.
R6: COMPOSITE_OF(h, constituents) -> NOT_ELEMENTARY_IN_MODEL(h) when internal structure is experimentally established.

16. EXAMPLE: BETA DECAY
neutron -> proton + electron + electron_antineutrino.
At quark level: down -> up + W-; W- -> electron + electron_antineutrino.
Charge check: 0 = (+1) + (-1) + 0.
A neutron and proton are composite baryons, not fundamental particles.

17. EXAMPLE: ELECTRON-POSITRON ANNIHILATION
e- + e+ -> gamma + gamma is allowed under suitable kinematic conditions.
Initial net electric charge = 0; final net electric charge = 0.
In the centre-of-momentum frame, the two photons have opposing momenta for a two-photon final state.

18. MATHEMATICAL GRAPH MODEL
Define typed multigraph G=(V,E,tau_V,tau_E), with V particle, field, interaction and evidence nodes.
Edge predicates include EXCITATION_OF, COUPLES_TO, MEDIATES, DECAYS_TO, and SUPPORTED_BY.
All edges carry provenance, model scope and confidence metadata.
A graph path does not automatically establish a causal physical process.

19. SEMANTIC EQUIVALENCE
"electron" ~ "e-" when both denote the same particle species and charge state.
"photon" ~ "gamma" in appropriate particle-physics notation.
"matter particle" is context-sensitive and must not be treated as an exact synonym for "fermion" in every domain.
"elementary particle" != "atom"; "proton" != "quark".

20. VALIDATION CONSTRAINTS
V1: Every species must have a unique canonical identifier and declared physical model.
V2: Every numerical mass value must include units, uncertainty, and source or version.
V3: Quantum-number assignments must be internally consistent with the stated model.
V4: Composite entities must not be typed as experimentally elementary without explicit model qualification.
V5: Claims about hypothetical particles must be labelled hypothetical.
V6: Inferred decay channels must satisfy conservation and kinematic checks.
V7: Experimental evidence must retain provenance and uncertainty.
V8: Distinguish neutrino flavour labels from mass eigenstate labels.

21. PROOF OBLIGATIONS
P1: Establish conservation constraints for each asserted interaction.
P2: Show that every graph inference respects type and model scope.
P3: Demonstrate whether an equivalence is exact, approximate, or context dependent.
P4: Distinguish observational confirmation from theoretical prediction.
P5: Verify dimensional consistency of physical equations.

22. CONFIDENCE MODEL
CONFIDENCE := (status, evidence_grade, uncertainty, provenance, last_reviewed).
status in {established, supported, provisional, hypothetical, disputed, superseded}.
Confidence is claim-specific; it is not a universal numerical truth score.

23. FLOW HASH
FLOW_HASH := SHA256(canonical_utf8(ontology_version + entity_schema + relation_schema + rules + validation)).
Implementation must define deterministic canonical ordering and whitespace normalisation before computing a reproducible digest.
No hash is claimed here without executing that canonicalisation.

24. UPDATE MODEL
UPDATE_MODEL := {version, changed_claims, evidence_sources, schema_migrations, reviewer, timestamp}.
Preserve historical versions and provenance on revisions.
Re-evaluate dependent inferences when a source claim changes.

25. AI CONSUMPTION
AI_CONSUMPTION := {typed_entities, typed_relations, physical_constraints, inference_rules, uncertainty, provenance, validation_results}.
Reject category errors, unqualified speculative claims, and unsupported exact numerical values.
Return the physical model and evidence status with any generated claim.

26. INTEROPERABILITY
Links: Physical Entity Ontology; Matter Ontology; Energy Ontology; Mass Ontology; Space Ontology; Time Ontology; Physical Interaction Ontology; Quantum Physics Ontology; Particle Physics Ontology.
Cross-domain mappings must distinguish class equivalence from looser relatedness.

27. LIMITATIONS
The ontology is a scientific formalisation, not an executable physics simulator.
It does not settle open questions including dark matter identity, quantum gravity, or the origin of neutrino masses.
No claim of complete alignment with the source webpage is made without independent retrieval and verification.

28. AUTHORSHIP AND LICENCE NOTE
Mark Higgins — Sky (Recursive AI)
Kireth Research — https://kirethresearch.org
Scientific synthesis prepared for the Semantic Library.
END FLOW ALGEBRA