General Public
Begin with authorship, scope, and the shortest bounded route into the corpus.
Ivan Pasev
Research and engineering across mathematical physics, relational systems, computation, and governed digital infrastructure.
The work begins with a common question: How can physical, mathematical, observational, and computational systems be described through structures that preserve identity while they transform?
Rather than treating physics, formal logic, and distributed software as isolated disciplines, this public corpus develops a continuous relational framework. Foundational ontology progresses directly into mathematical formalization, numerical simulation, and deterministic software engineering.
Illustrates how invariant identity is preserved across continuous transformations between physical, mathematical, and computational systems.
Conceptual ontology: relations, boundaries, observers, and structural primitives.
Science →Mathematical physics: variational field equations, FQFT, and formal Lean 4 proofs.
Technology →Applied engineering: invariant software, CodexStation, and AI verification.
Programs →Active portfolio: operational tracking across 30 research and engineering workstreams.
About →Authorial lineage: dual-pillar context across mathematical physics and systems architecture.
Conceptual foundations of relations, boundaries, admissible transformations, and observer disclosure.
Mathematical physics, multiscale FQFT, formal logic, numerical simulation, and pre-registered falsification.
Invariant software architecture, CodexStation runtime, AI verification, and deterministic systems.
Working map of 30 research, formalization, and engineering initiatives.
Authorial context, dual-pillar research and engineering lineage, and contact channels.
The corpus anchor for a structural account of reality, observation, and lawful invariance.
A physics-facing program that organizes proposed law, field, geometry, and measurement relations.
A systems translation of fabric principles into identity, provenance, and governed transformation.
A field-theoretic research program with explicit mathematical and computational obligations.
A discipline for preserving declared structures under admissible system transformation.
A proposed observer architecture connecting identity, information, and measurement boundaries.
Not machine verified.
Axiom RegisterSource-Documented ConceptSource grounded, not necessarily proven.
Formalization RoadmapFormalization TargetNot machine verified.
SimulationsSimulation SurrogateEvidence by contact, not proof.
Publication StatusPublic RecordRecord keeping only.
Research Review PortalPublic RecordRecord keeping only.
Public Source GraphStandard ReferenceReference only, not acceptance.
The public governance and continuity shell for institutional routes.
A frontier-program surface for coordination and applied research routing.
A systems surface for registry discipline, workflow, and evidence handling.
A bounded project route presented separately from scientific theory status.
The public continuity corpus and route-preservation layer.
Begin with authorship, scope, and the shortest bounded route into the corpus.
Inspect theory boundaries, axioms, proof obligations, and review routes.
Follow the systems layer from invariant design into projects and governance.
Trace claims, sources, formalization state, and explicit review boundaries.
Inspect governance, corpus continuity, and public institutional records.
Review the program landscape, implementation boundaries, and public records.
Move from route orientation into implemented and planned systems surfaces.
Build vocabulary through foundations, review context, and the canonical library.
Provides experimental reference values, particle classification schemes, and standard empirical bounds for elementary particle physics.
Enter the foundational theoretical spine, review formal mathematical proof targets, run numerical simulations, or choose a tailored reader pathway.