Skip to content
CROSSLOT

Interactive · deterministic · local

Inventory Lab

Synthetic model

Give two vaults an inventory instruction and the model shows what could be matched internally, what would still have to be routed to an external venue, and which execution path the planner would select. It runs entirely in your browser.

This is a teaching and design tool. It is not a wallet application, a live quote, or a simulation of deployed contracts. Nothing here can be executed.

Presets

Reference price and corporate actions

Stock Tokens are not trading, so no token feed exists. The lab reads the underlying listed share from a free public source and uses it as a stand-in reference. Prices are delayed and unofficial, and are not a quote.

Vault A

Signed instruction: +100 · positive buys, negative sells, zero means no instruction

Vault B

Signed instruction: -80 · positive buys, negative sells, zero means no instruction

Modeled result

Synthetic model

Selected path · candidate batch

Compatible in this model

Both vaults satisfy the mock constraints, neither is modeled worse off, and the modeled total improves.

Gross order size
180 token units
Internally matched, counted once
80 token units
External residual
20 token units
Reduction in external order size
88.9%
Independent modeled cost
56.00
Candidate batch modeled cost
10.80
Modeled difference
45.20 lower in batch

Per-vault modeled cost

VaultIndependentIn batchModeled effect
Vault A+10031.008.40better by 22.60
Vault B-8025.002.40better by 22.60

Accounting units are a hypothetical USD-like illustration, not dollars and not profit. In this two-vault model the crossing price equals the external reference price, and matching fees and batch gas are split equally.

Read the formulas

The download contains inputs and computed results only. No transaction hash exists, because nothing executes.

This model omits slippage, price changes, adversarial execution and real liquidity-position gas. It does not establish production savings.

The four presets are the reference cases: compatible flow, same direction, too small to help and stale price. Two of them reject the batch — that is the point. Read the model and formulas.