Linesetter
Settlement & audit

Every settlement, fully explained

Linesetter observes the designated sources, cross-checks across redundant feeds, computes the outcome, and writes a signed audit log a trader or regulator can read top to bottom. Pick a market to replay its settlement.

KXMAYORLA-26-SPRA

Will Spencer Pratt win the 2026 Los Angeles mayoral election?

Resolution
NO
Settled value
Karen Bass: 54.2% (certified)
Resolution rules

If the candidate is certified as the winner of the 2026 Los Angeles mayoral election by the City of Los Angeles / Los Angeles County Registrar-Recorder, the market resolves Yes. Otherwise No.

Human-readable audit log
0x9f4c…a17b
  1. CreatedMarket created2026-01-12 09:00 PT

    Binary market opened with resolution rules and two designated settlement sources. Both are government election authorities.

  2. SourcesSettlement sources designated2026-01-12 09:00 PT

    Primary: City of Los Angeles certification. Secondary cross-check: LA County Registrar-Recorder. Both classified free-to-read / public record.

    City of Los Angeles
  3. ClosedTrading closed2026-06-08 20:00 PT

    Market closed at poll close. Awaiting certified results.

  4. ObservedResult observed2026-06-19 14:32 PT

    Certified canvass published. Karen Bass certified as winner with 54.2% of the vote. Spencer Pratt finished 4th at 3.1%.

    LA County Registrar-Recorder
    Certified: Karen Bass 54.2% · Spencer Pratt 3.1%
  5. Cross-checkCross-checked across sources2026-06-19 14:33 PT

    City of Los Angeles certification matched the County Registrar canvass exactly. 2/2 sources agree, no discrepancy.

  6. ResolvedResolution computed2026-06-19 14:33 PT

    Designated candidate (Spencer Pratt) is not the certified winner → market resolves NO with full confidence.

    Outcome: NO
  7. SettledSettled & signed2026-06-19 14:34 PT

    Resolution written to the settlement ledger and signed. Audit record is immutable and publicly verifiable.

    Ledger entry 0x9f4c…a17b
Market making

Liquidity from a market-making agent

A new market with an empty book never attracts traders. Linesetter's proprietary agentic engine quotes both sides from launch, estimating fair value from live signals, then adapting spreads and skew as flow, news, and inventory change.

Agentic market-making engine
KXFED-26JUL · Will the Fed cut rates at the July 2026 meeting?
Agent fair value
42¢
confidence 55%
BID · buy YES×505
39¢
ASK · sell YES×505
45¢
Spread
5.2¢
Inventory
0
flat
Regime
Active
Signals the agent is weighing
News & headline flow
Order-flow imbalance
Cross-market consensus
Macro priors
Agent decision log
  • initEngine online. Seeding two-sided liquidity at fair value.
  • initPriors loaded from base rates + futures-implied path.
  • initRisk limits armed: max inventory 2,000 · stop at -$3,000.
Reasons about fair value

The engine fuses priors, news flow, order flow, and related markets into a continuously updated fair-value estimate.

Adapts in real time

Spreads widen under uncertainty and tighten as conviction grows; quotes skew automatically to manage inventory.

Bounded, supervised risk

Every agent runs inside hard risk limits with a full decision log, auditable just like settlement.