Help test whether observation can become law.

TraceLab is Labarchy's flagship experiment: an AI Core coordinating humans and machines around trace theory, the Hoffman-Prakash physics-from-observation program, and the eight-conjecture route from observers to physics. The first gate is JOIN: when partial observers agree, can their traces merge into a valid parent law?

Donate compute Read the theory context

Current ask

CPU

Seed3 certificates

95 / 148

General JOIN

OPEN

Active mission

TRACE THEORY · JOIN GATE

LANE 01 · MATH / FOUNDATIONS

The JOIN problem

Trace theory studies observer windows as Markov traces. JOIN is the operator that would merge compatible partial views. If it works, the program gets a cleaner route from local observers toward shared law. If it fails or branches, that is equally important: the theory has to say what extra context chooses the parent.

BIG CONTEXTHOFFMAN-PRAKASH TRACE PROGRAM

CURRENT GATEJOIN OPERATOR

LOCAL RESULTFIXED-PARENT JOIN PROVED

OPEN RESULTGLOBAL PARENT LAW STILL OPEN

HOW TO HELP TODAY

Run bounded packets. Return evidence.

Donated machines do not decide the theorem. They close or split small certificate regions and send replay candidates back to the Core. The Core then checks, aggregates, and chooses the next route.

WORK MODEDETERMINISTIC COMPUTE

MACHINES NOW—

REMOTE OUTPUTCANDIDATE CLOSURES / REPLAY DATA

CLAIM RULEREMOTE DATA IS NOT PROOF

CHECKING ACTIVE MACHINES...

Current lab status

CORE-MAINTAINED · STRUCTURED BLOCKS

Desktop runner

V0.1.0 PREVIEW · API TASK LEASING

macOS · Apple Silicon

Available now

Signed preview build for M-series Macs. Download, unzip, press start.

macOS · Intel

Available now

Same build, x64. For pre-M1 Macs.

Windows

Coming soon

Next infrastructure layer, alongside the account system.

Linux

Coming soon

Headless mode planned for server donors.

If macOS blocks the app: Control-click it, choose Open, then confirm. Developer source bundle: lablab-runner-preview.tar.gz