I_2_10 — Pentagon Task Force Timeline: From AATIP to AARO

The modern era of official U.S. government UAP investigation began in 2007 when the Defense Intelligence Agency (DIA) established the Advanced Aerospace Weapon System Applications Program (AAWSAP), later reorganized as t

I_2_01 — UAP Government Disclosure Timeline (1947–2026)

The history of government engagement with the UFO/UAP phenomenon spans nearly 80 years, from the first official U.S. Air Force investigations in 1947 through the modern era of Congressional hearings and institutional dis

I_2_02 — Government Investigation of Anomalous Phenomena

For nearly eight decades, the United States government — along with allies and adversaries — has maintained a sprawling, often covert apparatus for investigating anomalous phenomena spanning unidentified aerial/aerospace

I_5_01 — Whistleblowers & Key Figures

This document profiles 12 key individuals whose testimony, research, or institutional positions have shaped the UAP disclosure landscape. Each figure is rated independently using the tier system, with emphasis on verifia

I_4_01 — Historic UFO Crashes & Retrieval Allegations

This document catalogs the most significant alleged UFO crash retrieval events from 1933 to the present, individually rated using the 5-tier system. Nine primary cases are profiled alongside the Grusch congressional test

V_4_02 — Mathematical Economics

Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc

V_2_06 — Set Theory & Foundations Crisis: Cantor, Russell, Gödel

The foundations crisis (c. 1895–1936) was the most profound intellectual upheaval in the history of mathematics — revealing that the discipline's logical underpinnings were far more fragile than anyone had imagined.

V_2_20 — Gödel's Incompleteness Theorems — Philosophical Implications

Kurt Gödel's incompleteness theorems, published in 1931 in the paper "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," constitute one of the most profound results in the history of l

V_2_09 — Number Theory: Primes, Patterns, and Unsolved Problems

Number theory — the study of integers and their properties — is one of the oldest and most beautiful branches of mathematics, yet it connects to cryptography, physics, and computer science in profound ways. Prime numbers

V_2_12 — Algebraic Geometry

Algebraic geometry — the study of geometric objects defined by polynomial equations — is one of the most central and technically demanding branches of modern mathematics, connecting algebra, geometry, topology, and numbe

Y_5_01 — Remote Viewing & Psychic Programs

The U.S. government spent $20M+ over 23 years (1972–1995) investigating psychic phenomena under classified programs known collectively as "Stargate." Research was published in Nature (1974) and IEEE (1976). The program p

ZA_5_09 — Quantum Simulation: Programming Nature to Model Nature

Quantum simulation — using one controllable quantum system to emulate the behavior of another, less tractable quantum system — was proposed by Richard Feynman in 1982 as a natural solution to the fundamental difficulty o

I_2_11 — Canadian UAP Programs: From Wilbert Smith to Recent Activity

Canada has a significant but underappreciated history of official UAP investigation, including what may be the most technologically ambitious early government UAP research program in any Western nation. Wilbert B. Smith

I_2_00 — Government Programs Policy: Subfolder Summary

I_2_06 — Soviet and Russian UAP Programs

The Soviet Union maintained a long and largely secret institutional engagement with unidentified aerial phenomena, running parallel to but independently of American programs. The earliest formal effort was the Stolyarov

I_4_12 — Galileo Project and UAPx: Scientific Detection Programs

The scientific study of UAP has historically been constrained by the absence of systematic, calibrated, multi-sensor observational programs designed specifically to detect, characterize, and analyze anomalous aerial phen

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_3_05 — Compiler Theory and Parsing

Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b

H_1_16 — UFO Crash Retrieval Testimony Catalog

The history of alleged UFO crash retrieval operations — in which governments or military agencies are claimed to have recovered physical wreckage and, in some accounts, occupants from downed unidentified aerial phenomena