Bots take the first slice
Fast buyers capture the first cheap tokens and sell them to slower people seconds later.
verified operating system + economy
Public proof record 07 / launchpad
A fair start, precisely
One price for a round. The full supply disclosed. A trading pool without a hidden withdrawal handle.
Present scope: the market parts are proven; the launchpad product does not exist to launch on today.
01
How a launch is rigged
Fast buyers capture the first cheap tokens and sell them to slower people seconds later.
A creator or friend holds an undisclosed stash, then sells it into the crowd.
Someone with a withdrawal handle drains the pool and leaves everyone else unable to sell.
02
The proven boundary
The first three records below are machine-checked theorems in the market machinery. The fourth is a design, not a theorem or finished product.
Everyone in a round buys at one price, set by the sealed-batch market. There is no first order for a bot to race toward.
The full supply is disclosed in advance. New supply can only enter through a recorded, authorized turn.
The pool remains solvent under every sequence of trades, and nobody holds a secret withdrawal handle.
A creator who promises to hold, then sells early, loses a launch deposit to the holders, not to the platform.
03
Where proof stops
A fair start means an honest distribution, disclosed supply, and no rigged wheel. It cannot make the project ship, make the idea good, or keep the price from going to zero.
A fairly launched token can still be worthless. Mathematics does not decide whether an idea deserves demand.
One person can use many wallets. Fake trading volume can be made for attention. Those cases require detection and judgment.
04
Readiness ledger
The one-price, sealed-batch clearing is machine-checked and runs today as the DrEX engine.
No hidden supply can exist, and the pool cannot be drained insolvent. Both are theorems in the codebase.
The proven parts have not been wired into a live product where a project can launch. That product does not exist today.
The holder-paid conduct deposit, private bidding, and live-network deployment are designed or named, not finished.