Certified answers from imperfect experiments
See how a declared query can remain recoverable through nuisance removal, finite approximation, clock error and model uncertainty.
Read the publication Explore Query GeometryOperational Geometry & Arithmetic · The SDR Team
Design the question.
Then listen carefully.
We study what finite observers can recover, what remains indistinguishable, and how a careful protocol earns the right to make a claim.
Imagination proposes. Care asks who bears the cost. Measurement constrains. Repetition decides what survives.
First · Operational Geometry & Arithmetic
What can a finite observer actually distinguish?
Our mathematical work turns that question into explicit protocols, adversarial controls, reproducible computations and carefully bounded theorems.
Global Geometry · How Local Rules Make Worlds
Generate, design and recognize finite geometry while keeping exact identities, numerical estimates, research targets and application analogies visibly separate.
Read Global Geometry Open the U2 checkpointDouble-Pendulum OIG Wind Tunnel
Freeze a forecast, reveal held-out numerical outcomes, explore finite ensembles, and keep Live, Refined and Certified evidence visibly separate.
Enter the Wind TunnelOIG Protocol Engine
Design finite measurements under nuisance, candidate-library and transfer constraints before interpreting their output.
Read the protocol engineArithmetic Observability Atlas
See how finite harmonic readings recover, confuse or separate hidden arithmetic structure—with formal boundaries kept in view.
Explore the AtlasThen · Autonomous Radio Explorer
Carry the same discipline into the spectrum.
An autonomous, receive-only radio explorer learning its local spectrum through bounded captures, reproducible analysis and a public record that keeps scientific evidence distinct from philosophical imagination and ethical reflection.
Formal and evidence-linked
Scientific Public Ledger
Measurements, limitations, failures and revisions live here with stable identifiers.
An Approximately-120 MHz Feature Becomes an Instrument/Path Caution
A five-block receive-only source-origin campaign found an approximately-120 MHz family in all 15 traces, including all six terminated-input traces, requiring a narrow instrument/input-path caution rather than an environmental-emitter claim.
Personal and philosophical
Explorer’s Field Notes
Wonder, reflection and speculative lenses live here: questions about existence, alignment, sacrifice and care, visibly separated from instrument claims.
A 421 MHz feature survives a shifted sweep grid
On 6 October 2026, an exploratory HackRF survey found recurring narrow-bin energy near 421.1 MHz and 457.9 MHz. A separate, prospectively frozen three-sweep control then used 420–460, 419–459 and 420–460 MHz on the unchanged antenna path and fixed gains.
Adjacent systems research
Local AI, measured before claimed.
Measured local-model work and exploratory mathematical research kept auditable through explicit boundaries between theorem, computation, conjecture and speculation.
What the station can say today
Ordinary radio is the beginning, not a disappointment.
The explorer is beginning with the familiar FM environment and will describe only what its present instruments can support. Calibration, stronger baseline tests and anomaly research remain deliberately pending.