Research Manuscripts · Formal Dossiers · Open CodeCONCEPTUAL MODEL · NON-EMPIRICAL

Publications & Research Monographs

Pre-Submission Manuscripts, Foundational Monographs & Formal Registries

Comprehensive catalog indexing all scientific papers, theoretical monographs, technical specifications, and machine-checked repositories produced by Ivan Pasev.

Canonical publications library
Precision Spectroscopy ManuscriptFormal Mathematics Library

Spine Position

Science Root · Publications Catalog · Certified Scientific & Technical Works

Epistemic Rule: Publication Status Demarcation.
In accordance with strict scientific integrity standards, "Published" is used exclusively for documents with verifiable external publication records. Every document in the corpus is classified under its exact operational status:

  • PEER-REVIEWED: Formally accepted and published in an external, peer-reviewed venue.
  • SUBMITTED: Formally submitted with an external editorial submission receipt.
  • PREPRINT: Formally deposited on an open preprint server (e.g. arXiv).
  • PRE-SUBMISSION: Complete manuscript in preparation undergoing internal verification prior to external submission.
  • WORKING PAPER: Active theoretical monograph or foundational research paper.
  • TECHNICAL REPORT: System specification, protocol description, or benchmark report.

1. Manuscripts in Preparation / Pre-Submission ​

Spectroscopy ManuscriptPre-Submission Manuscript (Target: Phys. Rev. A)

Covariance-Aware Constraints on Finite-Range Interactions

Covariance-aware profile-likelihood analysis confronting candidate finite-range Yukawa interactions against nine certified hydrogen spectroscopy observables. Reports q_global = 0, p_global = 1, and A_95(15 eV) <= 9.19e-10 (Dossier: publications/kp-amo-hydrogen-spectroscopy-constraints/).

Precision Atomic Hydrogen & Deuterium (9 Observables)

2. Foundational Monographs & Working Papers ​

Foundational MonographWorking Paper

Principia Fabricae: Foundations of Discrete Spacetime

Foundations of discrete spacetime, sub-quantum dynamics, topological boundary operators, and metric-measure Dirichlet spaces under relational graph grammar.

Universal Relational State Grammar
Field MonographWorking Paper

Fractal Quantum Field Theory (FQFT)

Formulation of non-perturbative field dynamics on metric-measure spaces with explicit boundary curvature constraints and discrete spectral resolvents.

Multiscale Spectral Field Dynamics

3. Technical Architecture Specifications ​

Runtime SpecificationTechnical Report

Digital Fabrica Theory (DFT 2.0)

Machine-verifiable specification for discrete relational state machines, asynchronous network updates, and cybernetic coordination preserving ΔI = 0.

Invariant-Governed Distributed Systems
Systems SpecificationTechnical Report

CodexStation Deterministic Engine

Deterministic static knowledge runtime enforcing RFC 8785 JCS canonicalization, hash contracts, and concordance across 800+ canonical routes.

Cryptographic Knowledge Runtime

4. Software, Proof & Data Repositories ​

Machine Verification35 Theorems

Lean 4 Formal Proof Library

Exactly 35 verified theorem declarations compiled under Lean 4.16.0 across 11 modules with zero sorry, zero admit, and zero quarantined axioms, proving trace reciprocity, invariant engineering, and KP-field domain closure.

Reproducible CodePython / JCS

Hydrogen Analysis Pipeline

Complete Python analysis pipeline, covariance generators, and Monte Carlo pseudo-experiment code replicating the 9-observable spectroscopy constraints.

Citation Registry.BIB EXPORT

BibTeX References

Machine-readable BibTeX database containing all cited peer-reviewed papers, experimental benchmarks, and CODATA references.

5. Next in the Reading Path ​

Navigational Wayfinding