Evidence
Every document below is the write-up of a run that happened: what was executed, against which chain or harness, and what it produced. They are kept beside the code they were run against, and each one states its own scope -- including what it did not establish.
Not live yet. dClutch is not
deployed on any network. These runs were made on local test chains and in
test harnesses. A run here is evidence about software, not about a
deployment, and none of it is an offer of anything.
- A Market founded from the browser (2026-08-27, FE-CREATE)
- Checked release candidate — 2026-08-26
- The CLI drives the loop: dclutch against a live local validator
- Compiled signed Direct with canonical state — 2026-08-25
- Controller-PDA authority membrane — 2026-08-25
- DEPLOY-1 — the durable devnet deploy
- The devnet campaign driver — W3 closed, and the rail that replaced the rail
- DEVNET SMOKE-0 — the first real devnet run, and the four walls it found first
- Direct family campaign — 2026-08-27
- Direct market geometry — 2026-08-27
- The first browser-built transaction executes against a live chain — 2026-08-27
- The frontend meets the first live OPEN market — 2026-08-27
- General accelerator — seven-action real-ELF campaign, 2026-08-27
- General — the ALT-backed v0 packet witness, 2026-08-27
- General's escrow, made physical — and the copy of the ruling the chain runs
- The rung under the seven triples — and why they are one unit, not seven
- Generic Market founding: reachability and the local founding campaign — 2026-08-26
- Lean-generated claim executor and controller composition — 2026-08-25
- Lean-generated exact-account Effect proof target — 2026-08-25
- Lean Effect SBF experiment — 2026-08-25
- Physical Direct multiprogram composition — 2026-08-25
- Synthetic-local Pyth release V1
- The Series adapter's Core seam does not exist — 2026-08-27
The raw artifacts each document cites -- transcripts, images, JSON -- live beside it in the repository.