MONARKFleetNarabiUkemiBellit abstains so DeFi can act.
Documentation menu
docs · the pieces · actbuilt

Ukemi

Liquidation coverage, measured and gated. The piece reads a lending book at a declared block and the oracle path the protocol consulted, then measures the difference between what was eligible for liquidation and what was liquidated. Its engine computes the clearing fixed point of a network of obligations. Once a stratum is committed, the gate hands back an upper bound on the amount liquidated; until then it abstains, by construction.

In one picture

Ukemi: entry, mechanism and output.UkemiactbuiltENTRYA book at a block, a realizedoracle pathevery account with the collateral and adebtread at one reference block, twooperators agreeingthe oracle updates over the window,from chain eventswhat was repaid, and any deficit leftMECHANISMPredict one call, score theexcessy-hat: the most liquidable in one calltaken at the first crossing on the paththe score: how far the realized amountexceeds ita margin q-hat per stratum, orunder_calibOUTPUTAn upper bound, through the gatefrom an open floor up to y-hat plusq-hatserved through the gate, never apartfrom itno committed stratum: an abstentionthe count published with everyabstentionfrozen contracts: Prediction, AttestedBookDrawn in the style of its register status: built.
Ukemi executes on commit: what it reads, how it works, what it hands on. The boxes are drawn in the style of the register status; the words come from this page’s data and the contract titles from the frozen schemas.

What is served today

The register’s served note for Ukemi: feeds the served gate through the cascade tool, a transitional tool, to be replaced; it abstains by construction, and the gate serves an upper bound on the liquidable amount for the committed stratum of its liquidation class, calibrated on one recorded episode, while the other strata abstain; both legs replayed by integration tests.

The served state of the class liquidation-eligible-coverage, copied from the served gate description at 2026-09-25T03:26:01.410Z: the served region is a conformal upper bound on the liquidable amount for the calibrated class; the lower edge is 0 by construction, not a calibrated bound; abstains (under_calib) outside it; this class requires alpha = 0.01, nMin = 100; calibrated on one recorded episode; no coverage is claimed on any other event; the H-3 exchangeability check is a report, a YES licenses nothing more; the bound holds only if yhat was produced by the frozen close-factor rule on a mono-collateral WETH account at the first crossing, which the gate does not check.

Contracts

The frozen contracts Ukemi reads or writes, each with the keys it requires, read from the schema files. A contract with closed keys refuses an unknown key instead of ignoring it.

Prediction
schema_version · task_class · yhat · predictor_id · produced_at
AttestedBook · frozen, not served yet
schema_version · subject · chain · protocol · cluster · block · book_digest · holders_digest · oracle_sources · eligible · providers · quorum · abstain · residual · attestor · recorder_revision · observed_at

What it does not claim

Sources

  • Larry Eisenberg and Thomas H. Noe (2001) Systemic Risk in Financial Systems. Management Science, vol. 47, no. 2, pp. 236-249. read in part Used for the clearing fixed point of a network of obligations.
  • L. C. G. Rogers and L. A. M. Veraart (2013) Failure and Rescue in an Interbank Network. Management Science, vol. 59, no. 4, pp. 882-898. read in part Used for default costs, under which the fixed point need not be unique.
  • Hamed Amini, Damir Filipovic and Andreea Minca (2016) Uniqueness of equilibrium in a payment system with liquidation costs. Operations Research Letters, vol. 44, no. 1, pp. 1-5. read in part Used for when liquidation costs still leave a single equilibrium.
  • Daniel Gatto (2026) the title names the lending protocol studied, which the site describes generically. SSRN working paper 7157638. read in full Used for eligible debt is not executed volume, and executed volume is not protocol bad debt.
  • Robin Dunn, Larry Wasserman and Aaditya Ramdas (2022) Distribution-Free Prediction Sets for Two-Layer Hierarchical Models. Journal of the American Statistical Association. read in part Used for the minimum number of calibration points below which a population abstains.
  • Vladimir Vovk, David Lindsay, Ilia Nouretdinov and Alex Gammerman (2003) the title names the method with a word the site does not print; the paper is the working paper of the series below. On-line Compression Modelling Project (New Series), Working Paper 4. read in full Used for one region per category of a taxonomy fixed in advance, with validity per category and never per case.

Go further