Venues

Listing is a single owner transaction against DogmaVenueRegistry. It records the venue's model (constant product or concentrated), its factory, the router the settlement leg is sent through, its fee, and: for a concentrated venue: the fee tiers worth probing.

The Quoter, the Book and the Router all read that registry rather than holding an address of their own, which is what makes adding a venue a configuration change instead of a redeploy of everything that quotes or settles.

Turning a venue off is delegated to the keeper, so an incident can be contained without the owner key. Turning one back on is the owner's alone: a compromised keeper can degrade routing but can never widen it.

A route is a list of legs, each naming a venue id and a size. DogmaRouter looks each id up in the registry and refuses anything unknown or disabled. Even a route the desk itself constructed cannot reach a venue that has not been listed.

Per-leg minimums are deliberately zero. The guarantee lives at the order level: the router measures the recipient's balance before and after the whole route and reverts unless the total cleared the signed floor. One leg coming in soft is fine as long as the order did not.

The router holds nothing between transactions. Anything that ends up stuck in it: a rebasing token, a mistaken direct transfer: can only be swept to the fee sink, never to an address the caller names.