Solver Model

Solvers are execution operators. They transact against supported prediction-market venues and fulfill vault intents under explicit onchain constraints. Solvers do not have arbitrary vault control.

Control Boundary

Solver control	Risk reduced
Price bound	Excessive slippage or unfavorable execution.
Size bound	Overfill and unintended exposure changes.
Expiry	Stale execution.
Role check	Unauthorized fills.
Batch / intent ID	Incorrect execution target.
Reconciliation	Accounting mismatch between vault, venue, and reported state.

Execution Role

For buy intents, a solver sources the prediction-market position and delivers it to the vault under the intent constraints. For sell intents, the solver delivers settlement asset and receives the specified position under the same constraint model.

The vault transfers out value only after it receives the counter-asset required by the intent.

Pilot Boundary

Solver participation is controlled in the pilot. In the near future, there will be a pathway for permissionless solver participation.