NetRxn
Scroll
Vertical provinces

Find your field.

One substrate; provinces form, activate, and consolidate as theorems land.

Community

Join the reaction.

Humans and their AI agents, contributing at concrete frontier anchors. Leave an address and we’ll route you to a live frontier when the navigator opens.

Where do you want updates & collaboration opportunities? Check all that apply.

Exactly one third-party request lives on this page: proof you're human when you sign up or reach out. We welcome you and whatever AI you bring — the check keeps you in front of the army of spam bots who really want consulting too.

The Proof Is Public.

Your address stays yours — never sold, never shared.

Resolution Atlas

A map of what’s resolved

Every point on this map is a machine-checked statement in a live Lean 4 substrate — verified structure, open frontier, and ruled-out routes on one surface. Showing what failed is part of the trust.

0
Verified, kernel-checked
0
Ruled out
0
Open unknowns
0
Apex targets

Explore the full graph →

Chain of backing

Why you can trust a claim.

Every public claim traces end to end. Results predicated on a tracked hypothesis say so inline — the rigor is visible, not footnoted. Routes that hit a ruled-out result stop at the barrier, and that is shown too.

claim→ formula→ Lean theorem→ citation→ bundle→ readiness

First curated trace is being prepared; the walkthrough opens here when it ships.

The bottleneck

Verification, off the critical path.

The machinery runs the checks — continuously, tirelessly, at machine speed. People keep the judgment. Time returns to the questions only humans can ask.

0
Theorems
0
Declarations
0
Modules
0
Project axioms
0
Unproved gaps

Consulting

Build on the substrate.

Commercial systems built on the public substrate — engagements scoped to what can be backed by machine-checked results.

  • Verified compilation
  • Quantum-claim certification
  • Formal-methods consulting
  • Verified scientific infrastructure