A 24/7 government-data engine that compounds tens of thousands of verified mineral occurrences - then re-questions every single datum in OCaml, the language Jane Street uses to price billions, until the coordinates hold to aerospace tolerance. Every number on this page is computed from the live engine. Nothing asserted. Nothing fabricated.
Henrik Mikkelsen (Iridis AG) asked for five things - all of them reduce to one: turn fragmented, single-source, unverified government geoscience into intelligence he can stake capital on.
Gamma logs → equivalent uranium grade; IP/IOCG signatures → ranked copper targets. Useless if the underlying occurrence data is wrong by a kilometre.
Organise the data for AI, prove its precision, and hand back a gameplan. Precision is the precondition for all of it - so we engineered the precision first.
The first engine converged: one source (USGS MRDS), two map tiles, and it stopped finding anything. We rebuilt it as a distributed, multi-source, self-subdividing snowball that verifies as it grows - running across the Tailscale fleet (asus 2 TB + a parallel worker), 24/7.
USGS MRDS · USMIN · ARDF · NGDB rock-geochem · SGMC geology · ScienceBase NURE radiometric · OpenStreetMap · Chile open-data. Each row provenance-stamped.
Every saturated map tile auto-subdivides into four - coverage and the database compound every cycle, without bound. Gamma +173%, Chile +309% and climbing.
An OCaml core re-questions every datum with exact arithmetic, concentrates on the unpredicted residual, and quarantines aberrations. Verdicts feed back into the loop.
"Before" is raw acquisition - flat per-source confidence, no cross-validation, coordinate precision never measured. "After" is overcaml: confidence recomputed from independent corroboration, every coordinate measured to the metre, the surprising residual flagged. Live figures, gamma subject.
Prices billions a day in OCaml with exact, type-safe arithmetic - no silent rounding. overcaml is written in the same language, for the same reason: a coordinate that's off by a digit is a misdrilled hole.
Flight-critical software is proven by formal methods (the OCaml/ML lineage) to micron tolerances. We apply the same discipline - verify, don't trust - to every deposit coordinate before it informs a drill plan.
"From rock to reactor" demands atomic certainty. eU₃O₈ stays honestly labelled pre-assay until core confirms it - precision without overclaim is the whole point.
Every cycle, acquiring one source is an experiment with a measured reward - new verified rows per map tile. A Thompson-sampling bandit holds a Beta posterior over each source and steers the next cycles toward the richest ground. The baseline is spreading effort evenly; the lift is how much more verified data the learned policy harvests. This is the honest answer to "a million experiments - of what, against what baseline."
The verdict it reached on its own: the single source this project started from is now its weakest arm - the sources we added yield several times more per tile. The engine independently confirms the 30× rebuild.
Not invented discoveries - the best-corroborated, highest-value occurrences the engine has validated, ranked by confidence × independent-corroboration × commodity-value × development-status. Geology/geochem context layers excluded. Live from the engine.
Chile's authoritative geoscience host is unreachable from our network (no route, no archive). We route around it via USGS Chilean coverage + OpenStreetMap, but the primary record is a gap.
eU₃O₈ is a pre-assay estimate; the gamma-to-true-grade factor at Big Indian is unknown until the first core. It is the single largest scientific unknown in salt-anticline uranium.
~1.5% of records exceed 100 m - low-decimal source coordinates and map polygons. Reaching drill-collar precision needs higher-resolution inputs.
The predictive layer - LLM extraction of unstructured reports and a ternary grade-predictor - waits on a GPU host that is currently down.
The precision is built and compounding daily. Each blocker above maps to one concrete unlock. Clear them and gammaengine.ch becomes a live, drill-ready intelligence layer for every American Atomics and Chilean Metals property.