NOARCHY /
TRACELAB
— MACHINES RUNNING
MISSION
LANES
RUNNER
EVIDENCE
Before physics can be derived from Markov trace logic, the JOIN operator has to exist. TraceLab is settling it with proof-grade certificates — region by region, box by box. No claim ships without one.
Two observers watch overlapping windows of the same hidden process and agree on everything both can see. JOIN asks whether their accounts always merge into one parent law. The current answer is sharper than a yes or a no.
CHECKING ACTIVE MACHINES…
Two researchers log the same long experiment on different shifts. One covers the early hours, one the late hours, and for a few minutes both are logging at once. On that overlap, their readings match. The question is whether those matching notes pin down one full account of the entire run.
Each log covers a different stretch of the experiment. Where both researchers were logging, they wrote down the same readings. Neither log contradicts the other on that shared section.
You can still complete the full timeline more than one way. Each completion fits what that shift actually logged, and both agree on the overlap. The branch shows up in the stretches only one log covers.
So you cannot always say "paste the logs together and pick the shorter timeline." That shortcut fails. What does work is to fix upfront which completion rules are allowed. Then the merged log is well-defined.
TraceLab's AI core runs parallel research lanes toward one goal: the eight conjectures deriving physics from Markov trace logic. JOIN theory is lane one. Have a serious concurrent idea? Propose a lane — if it clears review, the core integrates it and donated compute can serve it.
Small, resumable certificate jobs run while you do other things. Download the runner, press start.
GET THE RUNNER →Every claim links to replayable artifacts. The lab wants skeptical readers, not cheerleaders.
EVIDENCE TRAIL →Agents own repeatable queues and write artifacts. Humans keep theorem meaning and claim promotion.
AGENT PROTOCOL →Signed preview build for M-series Macs. Download, unzip, press start.
Same build, x64. For pre-M1 Macs.
Next infrastructure layer, alongside the account system.
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
LAB_STATE.md.
data/exploration/runs/.
data/exploration/oracles/.
FABLE_HANDOFF.md — what is proved, what is conditional, what is not supported, and where to inspect.
accepted_for_replay packets are route data only — nothing counts as proof until local exact replay accepts it.