Skymesh

Skymesh makes universal knowledge available universally.

Skynet was a net: centralized, controlling, closed. Skymesh is a mesh: sovereign, uncensorable, uncontrolled. No center, no gatekeeper, no off switch.

Skymesh is the sky-borne sovereign mesh: a network that self-assembles over the air, keeps answering when the internet is cut, and teleports knowledge to the edges instead of hoarding control at the center. This page is the umbrella — the layer that connects all the pieces. Each piece has its own deep doc; this is how they add up.

The inversion (why "Skymesh")

Skynet is five things; Skymesh is the inverse of each, and the architecture enforces it:

These are not slogans. They are Lean-proven (see Proofs below).

The three pillars (proved)

gnosis-math/Gnosis/SkymeshProperties.lean — Init-only, lake build-green:

• NO CONTROL — no_single_node_is_load_bearing: with >= 2 replicas, remove any one node and the stage is still served. There is no throne to seize.
• NO CENSORSHIP — partition_cannot_revoke: locally-held knowledge cannot be revoked by cutting the network (availability has no link parameter to flip); a shared broadcast admits every listener.
• SOVEREIGN — sovereign_holder_cannot_be_denied + no_admission_without_own_key: admission depends only on the holder's own key — no external grant, no external veto, fail-closed. The rules are held by you, not imposed on you.

Bundled as skymesh_pillars.

The stack (how it all connects)

  old web ── Edgework gateway (AeonPID) ──┐
                                          ▼
        rhizome address  ──(resolve)──►  Skymesh routing  ──►  teleport
   (DID + content-hash +                  (gossip + RF beacon      (protocol69 admit ->
    universal atlas coord)                 + /chain + route-learner) geodesicLength:0 replay)
                                                                         │
                                                                         ▼
                                                              universal knowledge,
                                                              served locally, anywhere

1. The mechanism — cache-key teleport. Broadcast a tiny key (protocol69: 66 XOR 7 = 69); if it validates, the runtime replays a frozen, precomputed result locally — a geodesicLength:0 cache hit that never traverses compute space. First-class across fat-station, moonshine, monster, gnosis-uring, and the aether wasm edge. → TELEPORT.md
2. The demo — Skymesh. Two air-gapped RTL-SDR stations, no link between them, derive the same witness off the same ambient sky and teleport the same answer in lockstep. Native TUI (aeon-monitor --skymesh) and the web app (open-source/aeon-flux/examples/skymesh). → SKYMESH_DEMO.md
3. The scaling — the distance ladder. The teleport's value grows monotonically with distance (proved): Moon 13,267x, Mars 7.7M x, Voyager 849M x. Closes to New Horizons at a 34 m / 20 W reference, breaks honestly at Voyager 1. → MARS_DELAY_TOLERANT_TELEPORT.md, TELEPORT_SCALING.md
4. The addressing + routing — rhizome. A rhizomatic address space (DID identity + content-hash + the universal atlas coordinate) routed over the mesh: aeon-shell/src/rhizome/ (resolver, route-learner, transport) with a Skymesh bridge (rtlsdr-mock-sim/skymesh-route.mts) that maps a content-address straight onto the teleport key (content-hash = prefix_hash), resolves the holder over gossip, and serves the replay. Routing soundness is Lean-proved (Gnosis/RhizomeRouting.lean).
5. The universal coordinate — atlas. aeon-solarium provides a universal AtlasCoordinate (dimension/time/space notches, cosmic timeline Bythos -> Pleroma); it carries a canonical rhizome-address form so any point in the atlas is routable. (aeon-solarium/src/rhizome-address.ts)
6. The bridge to the old web — Edgework. Apps register with the Edgework gateway (AeonPID, forge register) to become reachable from the legacy web — the on-ramp from old-web into the rhizome/Skymesh space.

The data plane (live)

The web app reads gnosis.skymesh.v1 frames from one source of truth on :8722:

• aeon-monitor --skymesh --serve 8722 — the native monitor yields the exact frame it renders (HTTP /skymesh/frame.json, SSE /skymesh/stream, CORS; ?format=bw for the bitwise IPC native path).
• rtlsdr-mock-sim/skymesh-serve.mts — the standalone bridge (demo / file-tail / real two-NESDR capture), same schema and port — drop-in interchangeable.

The proofs

All Init-only, no omega/simp/Mathlib (Rustic Church). The physical RF/hardware truth stays outside the kernel; Lean carries the algebra.

Run it

# the web app (Skymesh)
cd open-source/aeon-flux/examples/skymesh && ../../../../node_modules/.bin/vite dev
# yield the live frame from the native monitor
open-source/gnosis/distributed-inference/target/debug/aeon-monitor --skymesh --serve 8722
# or the standalone bridge
node_modules/.bin/tsx open-source/gnosis/rtlsdr-mock-sim/skymesh-serve.mts --mode demo

Start anywhere: TELEPORT.md for the mechanism, SKYMESH_DEMO.md for the demo, TELEPORT_BENCHMARKS.md for the numbers, TELEPORT_LIMITATIONS.md for the honest ledger, HARDWARE_SETUP.md for the radios.

Honest framing

Skymesh is not faster-than-light and not magic. The answer was computed once and cached; a small key, heard from the sky, says which cached answer to serve. A cache miss still pays full cost. "Survives Mars" is an Eb/N0-equivalence on the bench plus real link-budget physics, not real distance. Every claim here is backed by a passing test, a measured certificate, or a Lean theorem — not by the label. That is the point: the live witness, not the name.