Market consistency · A4

Where the book disagrees with itself?

Two arithmetic checks over the live HIP-4 book. A market's outcome sides must price to exactly $1 — if the asks sum below 100¢ or the bids above it, the whole set is mispriced. And a claim that logically implies another (a champion has, by definition, reached the final) must never trade richer than it. We state the fact and how long it held; nothing here is advice to trade.

0 live · 37 with recent history. Only edges of ≥ 0.5¢ at ≥ $100 of resting depth count.

ConstraintFactNowDepthHeld

sumOutcome #212 — Yes + No#2120 · #2121Sides last priced to 100.0¢.cleared——2m

impliesSpain champion ≤ Spain reaches final#2120 · #8131Subset bid was 59.3¢ above the superset ask.cleared——98.0h

sumOutcome #542 — Yes + No#5420 · #5421Consistent now.cleared——0s

sumOutcome #173 — Yes + No#1730 · #1731Consistent now.cleared——2m

sumOutcome #189 — Yes + No#1890 · #1891Sides last priced to 100.1¢.cleared——2s

sumOutcome #806 — Yes + No#8060 · #8061Consistent now.cleared——0s

sumOutcome #510 — Yes + No#5100 · #5101Sides last priced to 102.7¢.cleared——4s

sumOutcome #512 — Yes + No#5120 · #5121Sides last priced to 106.0¢.cleared——33s

sumOutcome #544 — Yes + No#5440 · #5441Consistent now.cleared——0s

sumOutcome #188 — Yes + No#1880 · #1881Consistent now.cleared——39s

sumOutcome #805 — Yes + No#8050 · #8051Sides last priced to 100.5¢.cleared——0s

sumOutcome #778 — Yes + No#7780 · #7781Sides last priced to 100.1¢.cleared——5s

sumOutcome #788 — Yes + No#7880 · #7881Sides last priced to 100.0¢.cleared——0s

sumOutcome #855 — Yes + No#8550 · #8551Sides last priced to 100.0¢.cleared——0s

sumOutcome #823 — Yes + No#8230 · #8231Sides last priced to 100.3¢.cleared——0s

sumOutcome #814 — Yes + No#8140 · #8141Consistent now.cleared——0s

sumOutcome #865 — Yes + No#8650 · #8651Sides last priced to 100.7¢.cleared——0s

sumOutcome #839 — Yes + No#8390 · #8391Consistent now.cleared——0s

sumOutcome #859 — Yes + No#8590 · #8591Sides last priced to 199.8¢.cleared——0s

sumOutcome #831 — Yes + No#8310 · #8311Consistent now.cleared——0s

sumOutcome #824 — Yes + No#8240 · #8241Consistent now.cleared——0s

sumOutcome #858 — Yes + No#8580 · #8581Sides last priced to 200.0¢.cleared——0s

sumOutcome #905 — Yes + No#9050 · #9051Consistent now.cleared——0s

sumOutcome #797 — Yes + No#7970 · #7971Consistent now.cleared——0s

sumOutcome #873 — Yes + No#8730 · #8731Consistent now.cleared——0s

sumOutcome #815 — Yes + No#8150 · #8151Consistent now.cleared——0s

sumOutcome #866 — Yes + No#8660 · #8661Consistent now.cleared——0s

sumOutcome #897 — Yes + No#8970 · #8971Consistent now.cleared——0s

sumOutcome #913 — Yes + No#9130 · #9131Sides last priced to 100.8¢.cleared——0s

sumOutcome #807 — Yes + No#8070 · #8071Consistent now.cleared——0s

sumOutcome #847 — Yes + No#8470 · #8471Sides last priced to 100.2¢.cleared——0s

sumOutcome #856 — Yes + No#8560 · #8561Sides last priced to 100.0¢.cleared——0s

sumOutcome #874 — Yes + No#8740 · #8741Consistent now.cleared——0s

sumOutcome #813 — Yes + No#8130 · #8131Sides last priced to 100.0¢.cleared——0s

sumOutcome #857 — Yes + No#8570 · #8571Sides last priced to 100.1¢.cleared——0s

sumOutcome #889 — Yes + No#8890 · #8891Consistent now.cleared——0s

sumOutcome #890 — Yes + No#8900 · #8901Consistent now.cleared——0s

Served from /v1/dislocations. Fees on outcomes are currently 0, so the locked value is the raw price gap. Recompute any row from /v1/book.