Universal Search & Index Retrieval
This page provides the primary entry point for corpus-wide document, theorem, and specification retrieval across Ivan Pasev's public research and systems architecture. Where this document details query syntax, indexed domains, or retrieval protocols, those mechanisms serve reader exploration across both formal mathematical proofs and narrative expositions.
Claim Boundary & Search Indexing
The corpus search index is generated statically at build time, ensuring complete privacy, zero external telemetry, and offline availability. All indexed theorems, proofs, and specifications link directly to their canonical markdown and Lean 4 source definitions.
Retrieval Protocols
How to Query the Corpus
- Keyboard Shortcut: Press
Ctrl + K(orCmd + K) anywhere on the site to trigger the global search modal. - Navigation Bar: Use the high-density search input in the top header on both desktop and mobile viewports.
- Component Search: Use the embedded interactive search widget above for in-page queries with tag filtering.
Indexed Corpus Domains
| Domain | Scope | Status | Canonical Entry |
|---|---|---|---|
| DFT Theory | Discrete Field Theory, axioms, relational geometry | Canonical | Foundations |
| Formal Mathematics | Lean 4 machine-verified proofs and theorems | Verified | Mathematics |
| Research Whitepapers | Institutional whitepapers, monographs, simulations | Published | Whitepapers |
| Mesh Systems | Sovereign infrastructure, protocols, and platforms | Active | Mesh Infrastructure |
Search Syntax & Optimization
Search Operators
Search for specific theorem identifiers (e.g., Theorem 4.1, DFT_Axiom_1), formal proof declarations (e.g., P4_Conservation, Relational_Invariance), or system components (e.g., ScrollDNA, Fabrica) for direct precision hits.
Canonical Continuations
| Domain | Resource | Focus |
|---|---|---|
| Orientation Overview | Orientation Gateway | Navigational guide to the corpus |
| Authorial Profile | Authorial & Scientific Profile | Theoretical foundation and research agenda |
| Agent Operator | Agent Operator & Capabilities | Autonomous maintenance and verification suite |
| Formal Mathematics | Mathematics Gateway | Lean 4 proof repository and theorem catalog |
| Institutional Library | Corpus Library | Complete bibliographic index and resources |