pages / proof / 4/gate_verdicts/UNGRADEABLE

in release 4: gate_verdicts · UNGRADEABLE

the leaf hashed, climbing its siblings to its peak; the peaks bagged right to left are the head (the pipe's verify_twig)

verifies

true

head

0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f

leaf

0xc92c33c7247cbdadec9cb661a30edee670cf8b390212f436ae674c50aad1c059

index

211

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "gate_verdicts",
  "id": "UNGRADEABLE",
  "digest": "0x9c722210ae602c8caf46e13e1515bdcde7f1d03ba6fbd582d2b32eec16464641"
 },
 "index": 211,
 "count": 3770,
 "siblings": [
  "0x576474670b2ac474fce902fc9f6c1023188779cc2bc42fe930a9084fe06093a1",
  "0x250a6742a61121844282b52d8fe2f780515a5a8a6660ea3b27f3970d891c3a98",
  "0x92b0f7fde80b692ecae30040cba9242e6a1ecf2c1a532499012c4d0855ab873f",
  "0xde5ddaaab933e83ec45d0a08035b3649855a548f1178ed14e3cedaeadb1d1272",
  "0x37ff22fa085d35e97d3f6984ae73aee5aeba9886e1fc069560be7c5275db1647",
  "0x71be1b336032e191815ca22294cd8d90e37bf86fd46c9e5d0494b8bef5b5e43f",
  "0x4d2854009573670edda4fa2dea2c9b1af52d71f6e634ca4caf5c7eb9f9ab00d4",
  "0xa08d9d0442742876a4f53a0181ea051b8f2ad226d7a0c71ba21a04e8bed8529d",
  "0xb70b87c508ffe9181fe2496b058bf81ff8ee61fcdb81d7a7849ed5a0245cedf4",
  "0x6406a8963aa93795849426b59cf70d6e40b5f3cc7f279e5a5130f3a059eaf55c",
  "0xf024d52a3dd19fda681dea2f14b6980131a515d9b3e959064d98020da1a62502"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}