What you’re looking at.

NetRxn is an independent research, development & consulting practice working across mathematics, theoretical physics, chemistry, metamaterials, and quantum computation.

Most of what we call knowledge is unchecked. Here, every public claim traces to a machine-checked proof: theorems verified by the Lean proof assistant’s kernel, not by human review alone. What isn’t proved yet says so, plainly. That growing body of checked results is the foundation everything here builds on — the substrate, as this site calls it.

The opening film is the idea in one image — human and machine strands interweaving into structures neither builds alone. Join the reaction.

A live map of a real research program.

The Resolution Atlas is not an illustration — it is the data itself, regenerated from the substrate as theorems land. Bright terrain is proved: kernel-checked and permanent. Carved voids are ruled out: impossibility results shown, not hidden. Beacons at the edge are the open frontier — concrete targets the program is climbing toward.

Provinces — fields like computational chemistry and quantum computation — form, activate, and consolidate on that same foundation as results accumulate. The bridges between them are real dependencies, counted from the proofs.

Use it, join it, or build on it.

The foundation is public — all of the code and proofs live at NetRxn/SK_EFT_Hawking on GitHub.

Join the community list and we’ll route you to a live frontier when the navigator opens — humans and their AI agents, contributing at concrete anchors.

For commercial work, consulting engagements are scoped to what can be backed by machine-checked results.

NetRxn is operated by John Roehm — jr@netrxn.com.