pages / pack / assurance

pack · assurance

the assurance line extends the language: a move opens a covered job on the economy jev-wilson quoteEconomy priced for the seller's record, and names the money ending it settles

version

1

sets

covers, endings

clauses

cover, pays

its sets

• covers
• endings

its clauses

cover

cover <cover>: the move opens a covered job on the quoted economy of that record and price (premium, deposit, compensation, cover cap, the legs of every ending — jev-wilson quoteEconomy, carried into the flow params)

pays

pays <ending>: the money ending the move settles; the hook pays the legs the cover quoted for it

its tables

{
 "covers": {
  "r1of20-p1": {
   "record": "1/20",
   "price": "1000000",
   "premium": "236131",
   "to_backers": "160317",
   "to_layer": "75814",
   "deposit": "1236131",
   "compensation": "236131",
   "cover_cap": "1000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "2236131",
     "backers": "160317",
     "layer": "75814",
     "evaluator": "15864"
    },
    "auto_completed": {
     "buyer": "15864",
     "seller": "2236131",
     "backers": "160317",
     "layer": "75814",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "1472262",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "no_show": {
     "buyer": "1488126",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "1251995",
     "seller": "1236131",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "1251995",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "3488126",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r1of20-p10": {
   "record": "1/20",
   "price": "10000000",
   "premium": "2361310",
   "to_backers": "1602269",
   "to_layer": "759041",
   "deposit": "12361310",
   "compensation": "2361310",
   "cover_cap": "10000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "22361310",
     "backers": "1602269",
     "layer": "759041",
     "evaluator": "49000"
    },
    "auto_completed": {
     "buyer": "49000",
     "seller": "22361310",
     "backers": "1602269",
     "layer": "759041",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "14722620",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "no_show": {
     "buyer": "14771620",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "12410310",
     "seller": "12361310",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "12410310",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "34771620",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r1of20-p100": {
   "record": "1/20",
   "price": "100000000",
   "premium": "23613100",
   "to_backers": "16021783",
   "to_layer": "7591317",
   "deposit": "123613100",
   "compensation": "23613100",
   "cover_cap": "100000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "223613100",
     "backers": "16021783",
     "layer": "7591317",
     "evaluator": "490000"
    },
    "auto_completed": {
     "buyer": "490000",
     "seller": "223613100",
     "backers": "16021783",
     "layer": "7591317",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "147226200",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "no_show": {
     "buyer": "147716200",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "124103100",
     "seller": "123613100",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "124103100",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "347716200",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r5of100-p1": {
   "record": "5/100",
   "price": "1000000",
   "premium": "118330",
   "to_backers": "102466",
   "to_layer": "15864",
   "deposit": "1118330",
   "compensation": "118330",
   "cover_cap": "1000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "2118330",
     "backers": "102466",
     "layer": "15864",
     "evaluator": "15864"
    },
    "auto_completed": {
     "buyer": "15864",
     "seller": "2118330",
     "backers": "102466",
     "layer": "15864",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "1236660",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "no_show": {
     "buyer": "1252524",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "1134194",
     "seller": "1118330",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "1134194",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "3252524",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r5of100-p10": {
   "record": "5/100",
   "price": "10000000",
   "premium": "1117500",
   "to_backers": "1023752",
   "to_layer": "93748",
   "deposit": "11117500",
   "compensation": "1117500",
   "cover_cap": "10000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "21117500",
     "backers": "1023752",
     "layer": "93748",
     "evaluator": "49000"
    },
    "auto_completed": {
     "buyer": "49000",
     "seller": "21117500",
     "backers": "1023752",
     "layer": "93748",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "12235000",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "no_show": {
     "buyer": "12284000",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "11166500",
     "seller": "11117500",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "11166500",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "32284000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r5of100-p100": {
   "record": "5/100",
   "price": "100000000",
   "premium": "11175000",
   "to_backers": "10236614",
   "to_layer": "938386",
   "deposit": "111175000",
   "compensation": "11175000",
   "cover_cap": "100000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "211175000",
     "backers": "10236614",
     "layer": "938386",
     "evaluator": "490000"
    },
    "auto_completed": {
     "buyer": "490000",
     "seller": "211175000",
     "backers": "10236614",
     "layer": "938386",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "122350000",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "no_show": {
     "buyer": "122840000",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "111665000",
     "seller": "111175000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "111665000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "322840000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r50of1000-p1": {
   "record": "50/1000",
   "price": "1000000",
   "premium": "87532",
   "to_backers": "71668",
   "to_layer": "15864",
   "deposit": "1087532",
   "compensation": "87532",
   "cover_cap": "1000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "2087532",
     "backers": "71668",
     "layer": "15864",
     "evaluator": "15864"
    },
    "auto_completed": {
     "buyer": "15864",
     "seller": "2087532",
     "backers": "71668",
     "layer": "15864",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "1175064",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "no_show": {
     "buyer": "1190928",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "1103396",
     "seller": "1087532",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "1103396",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "3190928",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r50of1000-p10": {
   "record": "50/1000",
   "price": "10000000",
   "premium": "764771",
   "to_backers": "715771",
   "to_layer": "49000",
   "deposit": "10764771",
   "compensation": "764771",
   "cover_cap": "10000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "20764771",
     "backers": "715771",
     "layer": "49000",
     "evaluator": "49000"
    },
    "auto_completed": {
     "buyer": "49000",
     "seller": "20764771",
     "backers": "715771",
     "layer": "49000",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "11529542",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "no_show": {
     "buyer": "11578542",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "10813771",
     "seller": "10764771",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "10813771",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "31578542",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r50of1000-p100": {
   "record": "50/1000",
   "price": "100000000",
   "premium": "7646808",
   "to_backers": "7156808",
   "to_layer": "490000",
   "deposit": "107646808",
   "compensation": "7646808",
   "cover_cap": "100000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "207646808",
     "backers": "7156808",
     "layer": "490000",
     "evaluator": "490000"
    },
    "auto_completed": {
     "buyer": "490000",
     "seller": "207646808",
     "backers": "7156808",
     "layer": "490000",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "115293616",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "no_show": {
     "buyer": "115783616",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "108136808",
     "seller": "107646808",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "108136808",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "315783616",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r500of10000-p1": {
   "record": "500/10000",
   "price": "1000000",
   "premium": "78006",
   "to_backers": "62142",
   "to_layer": "15864",
   "deposit": "1078006",
   "compensation": "78006",
   "cover_cap": "1000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "2078006",
     "backers": "62142",
     "layer": "15864",
     "evaluator": "15864"
    },
    "auto_completed": {
     "buyer": "15864",
     "seller": "2078006",
     "backers": "62142",
     "layer": "15864",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "1156012",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "no_show": {
     "buyer": "1171876",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "1093870",
     "seller": "1078006",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "1093870",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "3171876",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r500of10000-p10": {
   "record": "500/10000",
   "price": "10000000",
   "premium": "669514",
   "to_backers": "620514",
   "to_layer": "49000",
   "deposit": "10669514",
   "compensation": "669514",
   "cover_cap": "10000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "20669514",
     "backers": "620514",
     "layer": "49000",
     "evaluator": "49000"
    },
    "auto_completed": {
     "buyer": "49000",
     "seller": "20669514",
     "backers": "620514",
     "layer": "49000",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "11339028",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "no_show": {
     "buyer": "11388028",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "10718514",
     "seller": "10669514",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "10718514",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "31388028",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "r500of10000-p100": {
   "record": "500/10000",
   "price": "100000000",
   "premium": "6694232",
   "to_backers": "6204232",
   "to_layer": "490000",
   "deposit": "106694232",
   "compensation": "6694232",
   "cover_cap": "100000000",
   "covered": true,
   "reason": null,
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "206694232",
     "backers": "6204232",
     "layer": "490000",
     "evaluator": "490000"
    },
    "auto_completed": {
     "buyer": "490000",
     "seller": "206694232",
     "backers": "6204232",
     "layer": "490000",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "113388464",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "no_show": {
     "buyer": "113878464",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "107184232",
     "seller": "106694232",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "107184232",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "313878464",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "fresh-p1": {
   "record": "none",
   "price": "1000000",
   "premium": "0",
   "to_backers": "0",
   "to_layer": "0",
   "deposit": "2000000",
   "compensation": "1000000",
   "cover_cap": "0",
   "covered": false,
   "reason": "UNKNOWN",
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "3000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "auto_completed": {
     "buyer": "15864",
     "seller": "3000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "2000000",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "15864"
    },
    "no_show": {
     "buyer": "2015864",
     "seller": "1000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "1015864",
     "seller": "2000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "1015864",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "3015864",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "fresh-p10": {
   "record": "none",
   "price": "10000000",
   "premium": "0",
   "to_backers": "0",
   "to_layer": "0",
   "deposit": "20000000",
   "compensation": "10000000",
   "cover_cap": "0",
   "covered": false,
   "reason": "UNKNOWN",
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "30000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "auto_completed": {
     "buyer": "49000",
     "seller": "30000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "20000000",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "49000"
    },
    "no_show": {
     "buyer": "20049000",
     "seller": "10000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "10049000",
     "seller": "20000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "10049000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "30049000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  },
  "fresh-p100": {
   "record": "none",
   "price": "100000000",
   "premium": "0",
   "to_backers": "0",
   "to_layer": "0",
   "deposit": "200000000",
   "compensation": "100000000",
   "cover_cap": "0",
   "covered": false,
   "reason": "UNKNOWN",
   "economy": "jev-wilson.economy.v1",
   "legs": {
    "completed": {
     "buyer": "0",
     "seller": "300000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "auto_completed": {
     "buyer": "490000",
     "seller": "300000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "rejected": {
     "buyer": "200000000",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "490000"
    },
    "no_show": {
     "buyer": "200490000",
     "seller": "100000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "expired_delivered": {
     "buyer": "100490000",
     "seller": "200000000",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "unaccepted": {
     "buyer": "100490000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    },
    "cheated": {
     "buyer": "300490000",
     "seller": "0",
     "backers": "0",
     "layer": "0",
     "evaluator": "0"
    }
   }
  }
 }
}

used by

• example · bridge_enroll
• example · covered_job
• program · flow_agentic_commerce
• program · flow_onboard_agent
• program · flow_venue_scan
• program · lambda_vault_money
• program · protocol_taifoon_assurance

release 4: a leaf · the inclusion proof · head 0x70ca62614037642b…