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.
Live on Solana devnet. You can
inspect seven protocol programs at permanent devnet addresses. The first
open market is not live yet. Each document below tells you whether its
evidence came from devnet, a local test chain, or a test harness. None of
this is mainnet evidence, an investment, or an offer of anything.
- AggregateRetirement checkpoint split — 2026-08-28
- Architect-scholar reading — 2026-09-01
- Aspiration archaeology — DIG, 2026-08-30
- Aspiration ledger — ARCH-EOL, 2026-08-27
- Branch adjudication, 2026-08-31
- A Market founded from the browser (2026-08-27, FE-CREATE)
- The build wave's merge — 2026-09-07
- C-16 entry list — what remains before independent hostile review can begin
- C-16 rehearsal — an independent hostile walk of the completion matrix
- C-16 rehearsal, second walk — the night's delta
- C-16 rehearsal, third walk — the swarm's delta
- The reviewed capability-activation template, and what each family may do with it
- Cargo target isolation — 2026-09-08
- Census route binding on preserved local-validator evidence — 2026-09-08
- Addendum — live finalized producer decoder now executed — 2026-09-08
- Checked release candidate — 2026-08-26
- Claims admission activation-cache reuse — 2026-09-09
- Claims admission vacancy witness — 2026-09-09
- Claims atomic Position operations on the V2 runtime — 2026-09-09
- Claims campaigns executed — 2026-09-07
- The claims-lifecycle wall is the Claims link's layout — 2026-09-05
- Claims protocol Position V2 real-ELF controls — 2026-09-09
- Claims rational lifecycle SBF component mix — 2026-09-07
- Claim-check compaction — a market retires, its holders keep their money — 2026-08-30
- The CLI drives the loop: dclutch against a live local validator
- Cohort-11: a genesis cohort, founded on the day it deployed — 2026-09-01
- Cohort-11: strangers admit — 2026-09-02
- Cohort-12: a fillable market at last, and the wall standing behind the one we knew — 2026-09-02
- The checked release is green, and cohort-12 is staged — 2026-09-02
- Cohort-13: the founding and the seal finally name the same release set — 2026-09-02
- Cohort-14: the seal, the founding, the fill — and a market that can pay a wallet its own account — 2026-09-03
- Cohort-15: the deploy that could not be built, the digest written before the money moved, and a capture inside its window — 2026-09-04
- Cohort-16.1 on devnet: a release generation superseded in place, and the first activation that carries dependency edges
- Cohort-16 on devnet: the eight, the eighth for the first time, and what the run found
- COHORT-17 — THE FIRST REFUNDING MARKET THAT COULD BE FILLED
- Cohort 18 intermediate eight-link frame evidence — 2026-09-07
- Cohort-9 devnet deploy — 2026-09-01
- Cohort-7 cut prep: the floor, measured on the cohort's own ELFs
- Compiled signed Direct with canonical state — 2026-08-25
- The Registry outer composition for Direct Hot: fix, retire, or keep
- Controller-PDA authority membrane — 2026-08-25
- Controller-funding split: real-SBF adversarial evidence
- Direct provider continuation: Registry lineage and terminal route
- Custody allocation PDA reuse — 2026-09-09
- Custody caller deployment continuity — 2026-09-09
- Runtime-width and CU architecture change matrix
- DCLTGMF3 caller bumps and founding-frame contraction — 2026-08-29
- Dealer accepted local-validator campaign — 2026-09-08
- Dealer accepted transition: the executed lifecycle
- Dealer Accepted split topology — 2026-08-28
- Dealer terminal composition — native controls, September 8, 2026
- Debt deletion/ownership ledger — lane S11, 2026-09-01
- Decision-0012 devnet Upgrade and open-market dryplan
- DEPLOY-1 — the durable devnet deploy
- The devnet campaign driver — W3 closed, and the rail that replaced the rail
- Devnet flagship Market open — 2026-08-29
- Devnet iteration 2
- Devnet redeploy inputs — 2026-09-07
- DEVNET SMOKE-0 — the first real devnet run, and the four walls it found first
- Devnet Upgrade cohort — 2026-08-29
- Direct family campaign — 2026-08-27
- The walls in front of the first local Direct fill
- Direct market geometry — 2026-08-27
- Direct Hot: what AOT actually costs and actually saves
- Carrying PDA bumps across the Direct Hot CPI boundary — design, 2026-08-30
- Direct Hot: where the variance is, where the mass is — 2026-08-30
- The fee-bearing Direct trade, executed — 2026-08-30
- Direct Hot PDA syscall audit — 2026-08-28
- Economics Custody governance local-validator campaign — 2026-09-07
- Economics and Custody local-validator campaign — 2026-09-07
- Folding the founding pre-fund into the founding transaction — feasibility census and ready-to-land change list
- Ensemble producer, three captures, fold and reclaim — accepted local validator
- Ensemble mask runtime ProgramTest — 2026-09-07
- Ensemble real-ELF ProgramTest slice — 2026-09-07
- Executed prefixes and current-source walls — 2026-09-07
- Execution coverage census — 2026-09-08
- The fee leg, admitted in a later transaction — 2026-08-30
- The fee-bearing Direct trade, as a pair — 2026-08-31
- The first browser-built transaction executes against a live chain — 2026-08-27
- The first Direct fill on a local validator
- Founding-packet freshness runtime record — 2026-09-07
- Projected founding V2: compact-frame evidence
- The fractional claim-check, the wall the sizing did not see, and what the half really costs — 2026-08-30
- The fractional half of R3 — a hole in the narrowing, and what closing it costs — 2026-08-30
- Two of the three layers, and the frame cost that no build reports — 2026-08-31
- The burn a holder can actually perform, and the layer the Trading half is missing — 2026-08-31
- Fractional lifecycle: executed truth, 2026-08-29
- A fractional market can retire — Begin, the walk, Finish — 2026-08-30
- Fractional twin V3: selected-coordinate physics and bounded retirement
- The frontend meets a local-validator OPEN market — 2026-08-27
- General accelerator — seven-action real-ELF campaign, 2026-08-27
- The General accelerator is deployed on devnet — 2026-09-02
- General — the ALT-backed v0 packet witness, 2026-08-27
- General and Series executed campaigns — 2026-08-29
- General V5 durable browser operation — 2026-09-09
- General Effect visitor compute, 2026-09-09
- General's escrow, made physical — and the copy of the ruling the chain runs
- General funded Candidate data authority — 2026-09-09
- General lifecycle immutable facts — 2026-09-09
- General loopback Found/root addendum — 2026-09-08
- General loopback source-split diagnostic — 2026-09-07
- General semantic-Product-ID OpenBatch — 2026-09-08
- General signed Order persistence — 2026-09-09
- General Place production matrix, 2026-09-09
- General PlaceOrder heap-profile diagnostic — 2026-09-08
- General PlaceOrder replay bump hints — 2026-09-09
- General retained projection writes — 2026-09-09
- General's publication closure, and the two walls between it and a live root
- The caller rung under GEN-SEVEN — and the two actions the old catalogue omitted
- The rung under the seven triples — and why they are one unit, not seven
- General Verify Candidate seed projection — 2026-09-09
- General Verify lifecycle forecast — 2026-09-09
- Generic Market founding: reachability and the local founding campaign — 2026-08-26
- Infrastructure floor at 88aec17e8 — 2026-09-07
- Runtime-567 preserved-ledger terminal retirement — 2026-09-07
- 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
- Literal-sweep convictions — 2026-08-31
- Liveness census — every "someone must act" point, 2026-08-29
- A real campaign, and what the site can honestly draw from one — 2026-08-30
- Non-price resolution — the design, and the fact nobody had checked
- Orphan-design triage — FRONTIER, 2026-08-30
- Existing Pages checkpoint refresh — 2026-09-08
- Existing Pages correctness checkpoint — 2026-09-08
- Existing Pages Dealer and General checkpoint — 2026-09-08
- Existing Pages execution reference — 2026-09-08
- Existing Pages explorer follow-up — 2026-09-07
- Existing GitHub Pages renovation — 2026-09-07
- Existing Pages runtime checkpoint — 2026-09-08
- Scoring explorer publication — 2026-09-09
- Physical Direct multiprogram composition — 2026-08-25
- PRIVATE lifecycle offline expected-execution model — 2026-08-28
- Protocol capability and flow-test frontier — 2026-08-29
- Protocol compute topology and checkpoint architecture
- Credential-free Pyth devnet path — 2026-08-29
- Synthetic-local Pyth release V1
- Recovery exhaust — local-validator evidence, 2026-09-07
- ArtifactReleaseV2 bounded code verification — 2026-09-09
- The cohort lineage: which release set each cut left behind
- Release-set read-site census
- Resolution reclaim retains the submitted Registry pin — 2026-09-09
- Resolution recurring deployment authentication and runtime syscall audit
- Retained Structured and Series host recovery — 2026-09-09
- Seam audit — every inter-program identity pin, 2026-08-29
- The capability-neutral selection seam, and the first non-Direct-selected Market
- The Series adapter's Core seam does not exist — 2026-08-27
- Series full constructor execution — 2026-09-08
- Current V2 Series geometry capture — 2026-09-09
- Series durable operation entrance — 2026-09-09
- Series finalized recurrence replay — 2026-09-09
- Series native action-source producer — 2026-09-09
- Series native founding convergence — 2026-09-08
- Series native recurrence — 2026-09-08
- Series pre-Market expiry — real-ELF ProgramTest, 2026-09-07
- Series Prepare caller alias convergence — 2026-09-09
- Series Prepare native System observation — 2026-09-09
- Series scenario timing and Expire prestate — 2026-09-09
- Series Shadow runtime SHA adapter, 2026-08-28
- Shared native Series corpus acquisition — 2026-09-09
- The simplification convergence — 2026-09-04
- Market life: a population of markets, and the substrate that can watch one — 2026-08-30
- A world that resolves into more than one cell — 2026-08-31
- A population with hands: every route with a shipped driver, driven — 2026-08-30
- What the site draws from the simulator, and what it was throwing away — 2026-08-30
- What slipped through — a documentation sweep after the 2026-08-30 wave
- Strict all-eight checkpoint at 551ffc1b9 — 2026-09-08
- Strict all-eight V2 integration checkpoint and frame baseline — 2026-09-09
- Strict all-eight native completion candidate — 2026-09-09
- Strict all-eight checkpoints — 2026-09-08
- Strict all-eight ArtifactRelease V2 candidate and frame baseline — 2026-09-09
- Structured Claims real-ELF ProgramTest, 2026-09-07
- Structured coordinate native boundary — 2026-09-09
- Structured nested request convergence — 2026-09-09
- Structured coordinate vacancy profile — 2026-09-09
- Structured receipt profile refusal — 2026-09-08
- Structured retirement native guard controls — 2026-09-08
- Structured across the selection membrane, and the first Structured Market
- Structured external Token genesis fidelity — 2026-09-09
- Structured receipt: external Token runtime localization
- The lifecycle writes a Mint its own terminal path can burn, 2026-08-29
- The Direct capability-activation wall, measured on the live flagship
- The flagship's first on-chain audit
- Unwitnessed routes, by contract row — 2026-09-01
- The browser, walked as a person meets it — cohort-12, 2026-09-02
- V2 foundation and three Direct cycles — 2026-09-09
- Claims claim-check local-validator execution — 2026-09-08
- Claims WholeUnwrap native-selector corroboration
- Claims Fractional local-validator evidence — 2026-09-08
- Ensemble accepted execution: census and capitalization addendum
- qedsvm path theorem for the exact-account claim executor
- Direct exact-ELF traces at the qedsvm v0.12 boundary
- qedsvm proof for the exact-account Effect target
The raw artifacts each document cites -- transcripts, images, JSON -- live beside it in the repository.