Electron Ontology

FLOW ALGEBRA
ELECTRON ONTOLOGY — COMPLETE SCIENTIFIC SYNTHESIS
Version: 1.1
Source URL: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles/electron-ontology.html
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research | https://kirethresearch.org
Status: Formal synthesis; source webpage content not independently verified.

01. PURPOSE
Model the electron as an elementary charged lepton, including intrinsic attributes, quantum states, interactions, measurement, and valid inference.

02. NAMESPACE
PREFIX ex: <https://kirethresearch.org/ontology/electron#>
PREFIX phys: <https://kirethresearch.org/ontology/physics#>

03. ENTITY TYPES
TYPE ElementaryParticle
TYPE Fermion <: ElementaryParticle
TYPE Lepton <: Fermion
TYPE ChargedLepton <: Lepton
TYPE Electron <: ChargedLepton
TYPE Positron <: ChargedLepton
TYPE QuantumState
TYPE QuantumField
TYPE ElectromagneticField <: QuantumField
TYPE Interaction
TYPE Measurement
TYPE Observable
TYPE AtomicOrbital
TYPE Atom
TYPE Photon <: ElementaryParticle
TYPE Neutrino <: Lepton
TYPE ExperimentalEvidence

04. CANONICAL IDENTITY
ENTITY electron : Electron
  symbol = e-
  generation = 1
  elementary = true [within Standard Model]
  spin = 1/2 * hbar
  electric_charge = -1 * e
  lepton_number = +1
  baryon_number = 0
  colour_charge = none
  rest_mass_approx = 9.1093837e-31 kg
  rest_energy_approx = 0.51099895 MeV
  antiparticle = positron
NOTE Numerical constants are rounded reference values; use current CODATA values for precision metrology.

05. FORMAL SIGNATURE
SORT Particle, State, Field, Time, SpaceTime, Observable, Measurement
FUNCTION charge : Particle -> ElectricCharge
FUNCTION mass : Particle -> Mass
FUNCTION spin : Particle -> AngularMomentum
FUNCTION state : Particle x Time -> State
RELATION interacts_with : Particle x Field
RELATION occupies : Particle x State
RELATION measured_by : Observable x Measurement
RELATION antiparticle_of : Particle x Particle

06. TYPED RELATIONSHIPS
Electron IS_A ChargedLepton
ChargedLepton IS_A Lepton
Lepton IS_A Fermion
Electron HAS_SPIN 1/2
Electron COUPLES_TO ElectromagneticField
Electron PARTICIPATES_IN WeakInteraction
Electron PARTICIPATES_IN GravitationalInteraction
Electron HAS_ANTIPARTICLE Positron
Electron CAN_OCCUPY AtomicOrbital
Electron DOES_NOT_CARRY ColourCharge

07. QUANTUM NUMBERS
Electric charge Q/e = -1
Spin s = 1/2
Third spin projection m_s = +/-1/2 for a chosen axis
Lepton flavour = electron
Electron lepton number L_e = +1 (in conventional charged-lepton assignments)

08. SPIN AND STATISTICS
AXIOM electron is a spin-1/2 fermion.
RULE Identical electrons obey Fermi-Dirac statistics.
RULE Antisymmetric many-electron wavefunction under exchange.
RULE No two electrons in a bound system occupy the same complete one-particle quantum state (Pauli exclusion principle).

09. FIELD DESCRIPTION
MODEL ElectronField = charged Dirac spinor field psi_e.
EQUATION (i*hbar*c*gamma^mu*D_mu - m_e*c^2) psi_e = 0.
CONDITION Equation represents minimally coupled relativistic electron field in a suitable convention.
MODEL In quantum electrodynamics, electromagnetic coupling is mediated by the photon field.

10. FREE-PARTICLE RELATIONS
E^2 = (p*c)^2 + (m_e*c^2)^2
At rest: E_0 = m_e*c^2
Nonrelativistic approximation: K approximately p^2/(2*m_e)
De Broglie relation: lambda = h/p for momentum magnitude p > 0.

11. ELECTROMAGNETIC COUPLING
Lorentz force (classical limit): F = q*(E + v cross B), q = -e.
Magnetic moment magnitude approximately g_e*(e/(2*m_e))*sqrt(s*(s+1))*hbar for spin magnitude convention.
NOTE Spin magnetic moment is a vector operator; its z-component is proportional to spin projection and negative charge.

12. ATOMIC STRUCTURE
RULE Electrons occupy quantum states of atomic systems rather than classical planetary orbits.
RULE Atomic orbitals are one-electron basis functions or approximations to many-body states.
RULE Electron configuration influences atomic spectra and chemistry.
RULE Bound-electron energies depend on nucleus, electron-electron interactions, and external fields.

13. INTERACTIONS
Electromagnetic: electron-photon coupling; scattering, radiation, absorption.
Weak: charged-current interactions involving electron neutrinos and W bosons.
Gravitational: coupling to spacetime geometry via stress-energy.
Strong: no direct QCD colour coupling for the electron.

14. ANTIPARTICLE
ENTITY positron : Positron
  symbol = e+
  charge = +e
  spin = 1/2
  rest_mass = electron.rest_mass
RELATION antiparticle_of(positron, electron)
EXAMPLE e- + e+ -> gamma + gamma is an allowed annihilation channel with suitable kinematics.

15. CONSERVATION AND SELECTION
RULE Electric charge is conserved in established electromagnetic and weak processes.
RULE Energy and momentum are conserved for isolated interactions.
RULE Angular momentum is conserved in rotationally invariant interactions.
CAUTION Individual lepton-flavour numbers are not exact universal conservation laws in the presence of neutrino mixing; do not infer strict global conservation without model assumptions.

16. MEASUREMENT ONTOLOGY
MEASURE electron_charge USING precision electrical measurements.
MEASURE electron_mass USING Penning traps and related precision methods.
MEASURE electron_spin USING magnetic resonance and spin-dependent scattering.
MEASURE electron_energy USING spectroscopy or calorimetry as appropriate.
MEASURE electron_momentum USING tracking and magnetic deflection in detectors.
RULE Every measured quantity has unit, uncertainty, method, calibration, and provenance.

17. MATHEMATICAL EXAMPLE — HYDROGENIC ENERGY
MODEL Nonrelativistic Coulomb approximation for hydrogen-like ions.
E_n approximately -13.6 eV * Z^2 / n^2 (infinite nuclear mass approximation).
INPUT Z=1, n=1
OUTPUT E_1 approximately -13.6 eV
CAUTION Reduced mass, fine structure, Lamb shift, and other corrections are omitted.

18. MATHEMATICAL EXAMPLE — ELECTRON CHARGE
INPUT N = 3 electrons
CALCULATE Q = N*(-e)
OUTPUT Q = -3e approximately -4.8065e-19 C.
VALIDATION Negative sign preserved; unit coulomb.

19. MATHEMATICAL EXAMPLE — REST ENERGY
INPUT m_e approximately 9.1093837e-31 kg
CALCULATE E_0 = m_e*c^2
OUTPUT E_0 approximately 8.1871e-14 J approximately 0.511 MeV.

20. INFERENCE RULES
RULE R01: Electron(x) -> Lepton(x) AND Fermion(x).
RULE R02: Electron(x) -> ElectricCharge(x,-e).
RULE R03: Electron(x) -> SpinQuantumNumber(x,1/2).
RULE R04: Electron(x) -> NOT ColourCharged(x).
RULE R05: Electron(x) -> HasAntiparticle(x,Positron).
RULE R06: IdenticalElectrons(x,y) AND SameCompleteSingleParticleState(x,y) AND SameFermionicSystem(x,y) -> InvalidConfiguration.
RULE R07: Measurement(m,x) AND HasUnit(m,u) AND HasUncertainty(m,d) -> TraceableObservationCandidate(m).
RULE R08: QEDProcess(p) -> EnforceElectricChargeConservation(p).

21. GRAPH EDGES
(electron, rdf:type, ElementaryParticle)
(electron, rdf:type, ChargedLepton)
(electron, hasGeneration, first)
(electron, hasAntiparticle, positron)
(electron, participatesIn, electromagneticInteraction)
(electron, participatesIn, weakInteraction)
(electron, governedBy, FermiDiracStatistics)
(electron, describedBy, ElectronQuantumField)
(electron, carriesCharge, minusElementaryCharge)
(electron, carriesColourCharge, false)

22. SEMANTIC EQUIVALENCE
EQUIVALENT_LABELS electron = e-minus = negative electron [context-sensitive aliases]
NOT_EQUIVALENT electron != positron
NOT_EQUIVALENT electron != electron_neutrino
NOT_EQUIVALENT electron != orbital
NOT_EQUIVALENT electron != classical_point_charge_model
RULE An approximation model is not identical to the physical entity it represents.

23. CONTEXT AND DISAMBIGUATION
CONTEXT particle_physics: electron denotes fundamental first-generation charged lepton.
CONTEXT chemistry: electron denotes bound or transferred negatively charged lepton.
CONTEXT solid_state: electron may refer to quasiparticle excitations with effective mass; distinguish physical electron from effective model.
CONTEXT electronics: electron current differs in direction from conventional positive current.

24. CONFIDENCE
CONFIDENCE electron_charge_sign = high
CONFIDENCE electron_spin = high
CONFIDENCE electron_elementary_in_standard_model = high
CONFIDENCE absolute_elementarity_beyond_all_future_physics = unknown
RULE Confidence attaches to propositions with scope, evidence and model context.

25. PROOF OBLIGATIONS
CHECK Units consistent across all equations.
CHECK Spin and charge are not conflated.
CHECK Approximation regimes are declared.
CHECK Conservation claims include model assumptions.
CHECK Numeric values indicate precision and provenance.
CHECK Fermion antisymmetry is enforced in multi-electron states.

26. VALIDATION TESTS
TEST T01: charge(electron) == -e -> PASS.
TEST T02: spin(electron) == 1/2 -> PASS.
TEST T03: colour_charge(electron) == none -> PASS.
TEST T04: antiparticle(electron) == positron -> PASS.
TEST T05: electron classified as boson -> REJECT.
TEST T06: electron equated with atomic orbital -> REJECT.
TEST T07: free electron assigned hydrogen bound energy without context -> REJECT.
TEST T08: two identical electrons assigned identical full one-particle state -> REJECT.

27. CROSS-ONTOLOGY LINKS
LINK ElementaryParticleOntology
LINK LeptonOntology
LINK PositronOntology
LINK NeutrinoOntology
LINK PhotonOntology
LINK ElectromagneticInteractionOntology
LINK QuantumFieldOntology
LINK AtomicStructureOntology
LINK MeasurementOntology
LINK PhysicalEntityOntology

28. UPDATE MODEL
UPDATE_MODEL:
  revision = 1.1
  trigger = [new_precision_measurement, standard_model_revision, ontology_alignment]
  preserve = [stable_identifiers, provenance, prior_versions]
  action = [validate_units, compare_claims, recalculate_derived_values, record_changes]
  conflict_policy = flag_and_review

29. FLOW HASH
FLOW_HASH:
  algorithm = SHA-256
  scope = canonical_utf8_file_content_excluding_hash_value
  value = COMPUTE_ON_PUBLICATION
NOTE No cryptographic digest is claimed without canonicalisation and calculation.

30. AI CONSUMPTION
AI_CONSUMPTION:
  entity_id = electron
  semantic_type = ElementaryParticle/ChargedLepton
  extraction_mode = typed_graph_and_rules
  reasoning_mode = scoped_deductive_inference
  evidence_policy = cite_measurements_and_theoretical_assumptions
  uncertainty_policy = preserve_numeric_uncertainty_and_model_limits
  hallucination_guard = reject_unsupported_particle_properties
  output_format = machine_readable_text

31. COMPLETENESS CHECK
CHECK sections_01_through_31_present = true
CHECK core_properties_present = true
CHECK equations_and_examples_present = true
CHECK typed_relationships_present = true
CHECK inference_validation_present = true
CHECK metadata_present = true

END FLOW ALGEBRA — ELECTRON ONTOLOGY