the420code · carried on CongoSky

The proofs — 27 small, self-verifying receipts

Every claim here is backed by working code, not adjectives. Each proof runs in seconds with no dependencies (Python standard library only), prints its measured result, and states its own honest limits. Where something fails or ties a baseline, the proof says so — that honesty is the point.

These are command-line proofs. Clone the repo and run the command on each card — it self-verifies and exits non-zero on failure. The “source” links open each proof’s code and README (visible when the repository is public).

Information theory & determinism

compression

A small, honest experiment behind the /the420code/ claim that

python3 compression/bench.py source & README ↗

entropy-probe

The 420 thesis is Shannon's prediction ↔ compression equivalence…

python3 entropy-probe/probe.py source & README ↗

fractal

The Mandelbrot set is z ← z² + c, iterated.

python3 fractal/mandelbrot.py source & README ↗

determinism

Backs the "deterministic low-resource AI" pillar. The honest test of

python3 determinism/prove.py source & README ↗

middle-out

A lossless frame codec where both ends hold a shared prior (a reference frame / known scene).

python3 middle-out/temporal.py --self-test source & README ↗

Trust, provenance & crypto

coherence-ledger

A black box recorder for AI agents. From G's framework

python3 coherence-ledger/demo.py source & README ↗

notarization

Backs pillar 3: retired SHA-256 mining rigs are excellent *notaries*. This is

python3 notarization/demo.py source & README ↗

encryption

Backs the "cryptographic spine" bet — and proves the page's hardest honesty in

python3 encryption/demo.py source & README ↗

watermarking

Backs the watermarking line of the cryptographic spine. An invisible,

python3 watermarking/demo.py source & README ↗

sentinel

The honest core of the online sentinel: detect, alert, advise — deterministic,

python3 sentinel/demo.py source & README ↗

lightweb

The runnable core of ../../LIGHTWEB.md: a network with strong

python3 lightweb/demo.py source & README ↗

Offline AI & knowledge

lucid-nano

The compute-first engine, shrunk to run on a microcontroller. Lucid has no

sh lucid-nano/test.sh source & README ↗

knowledge-graph

Backs pillar 2: knowledge can be held as a curated graph built from the

python3 knowledge-graph/demo.py source & README ↗

corpus

Lucid's first corpus: ingest → dedup → vector+graph index → cite-or-refuse

python3 corpus/demo.py source & README ↗

un-corpus

Ingests real sentence pairs from the United Nations Parallel Corpus

python3 un-corpus/demo.py source & README ↗

semantic-wire

Transmit a page as language-agnostic semantics, not words. The client renders it into the

python3 semantic-wire/demo.py source & README ↗

language

The page lists "a new language from first principles" as a *Concept* — a bet,

python3 language/demo.py source & README ↗

zero

The bet from *"Rethinking Programming Languages for LLMs: Building a Machine-Native

python3 zero/demo.py source & README ↗

memory

Consequence-weighted memory compression ("AI Memory Compressor", session notes

python3 memory/demo.py source & README ↗

Connectivity & the African edge

badgernet

A software layer that rides every radio (LoRa, Sigfox, LEO backhaul) and saves

python3 badgernet/demo.py source & README ↗

browser

Opera Mini, reborn for the unconnected. A proxy distils a page to its essential

python3 browser/demo.py source & README ↗

khuluma-cache

The Coherence Swarm storage layer: spaza shops, schools, and taxi offices run small

python3 khuluma-cache/demo.py source & README ↗

green

CongoSky's edge approach (distil → compress → cache at a community node) moves

python3 green/demo.py source & README ↗

Economy, governance & the work itself

congogold

The economic spine of CongoSky, built on one rule: everyone in the value chain

python3 congogold/demo.py source & README ↗

hitl

The engagement loop from the Dopamine-With-Dignity doc, made real: AI handles the

python3 hitl/demo.py source & README ↗

prizes

The honest version of "find solutions to every hard problem": a deterministic

python3 prizes/demo.py source & README ↗

finops

Scaffold — proof in progress (no README yet).

# scaffold — proof in progress source & README ↗

Physics — the a₀ line

mond-nbody · QUMOND N-body

The rigorous solve behind the live Galaxy Sandbox: a from-scratch QUMOND particle-mesh N-body simulator with isolated boundaries. Self-verifies three gates; flat MOND curve vs declining Newton. Needs NumPy (the one non-stdlib proof — stated, not hidden).

pip install numpy && python3 demo.py run it yourself (guided) → source & README ↗

galaxy-rotation

G's parameter-free a₀ = C_S²·c·H₀/2π tested against six real SPARC galaxies — 0.089 dex scatter, honestly caveated as consistency, not proof.

python3 galaxy-rotation/demo.py source & README ↗

particle-bench

Three closed-form, parameter-free particle-scale predictions (m_p/m_e, G, the n–p mass difference) confronted with CODATA at G's own published tolerances.

python3 particle-bench/demo.py source & README ↗