nexus-sdk 2.0.0

{
  "storage_id": "0xa3",
  "original_id": "0xa3",
  "version": 1,
  "modules": {
    "agent_registry": {
      "name": "agent_registry",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "AgentRecord"
          },
          "module": "agent_registry",
          "name": "AgentRecord",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "active",
                  "position": 0,
                  "ty": "Bool"
                },
                {
                  "name": "skills",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "table",
                        "name": "Table"
                      },
                      "type_arguments": [
                        "U64",
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "agent_registry",
                              "name": "SkillRecord"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "AgentRegistry"
          },
          "module": "agent_registry",
          "name": "AgentRegistry",
          "abilities": [
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "AgentRegistryInnerV1"
          },
          "module": "agent_registry",
          "name": "AgentRegistryInnerV1",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "agents",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "table",
                        "name": "Table"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "object",
                              "name": "ID"
                            },
                            "type_arguments": []
                          }
                        },
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "agent_registry",
                              "name": "AgentRecord"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "DefaultDagExecutor"
          },
          "module": "agent_registry",
          "name": "DefaultDagExecutor",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "agent",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "skill_id",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "DefaultDagExecutorFieldKey"
          },
          "module": "agent_registry",
          "name": "DefaultDagExecutorFieldKey",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "dummy_field",
                  "position": 0,
                  "ty": "Bool"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "DefaultDagExecutorUpdatedEvent"
          },
          "module": "agent_registry",
          "name": "DefaultDagExecutorUpdatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "agent_id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "skill_id",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "SkillContractRevisionedEvent"
          },
          "module": "agent_registry",
          "name": "SkillContractRevisionedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "agent_id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "skill_id",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "current_interface_revision",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "version",
                        "name": "InterfaceVersion"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "dag_binding",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "SkillDagBinding"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "requirements",
                  "position": 4,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "SkillRequirement"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "SkillContractState"
          },
          "module": "agent_registry",
          "name": "SkillContractState",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Enum": {
              "variants": [
                {
                  "name": "Current",
                  "position": 0,
                  "fields": []
                },
                {
                  "name": "Inactive",
                  "position": 1,
                  "fields": []
                },
                {
                  "name": "Stale",
                  "position": 2,
                  "fields": []
                },
                {
                  "name": "Missing",
                  "position": 3,
                  "fields": []
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "SkillRecord"
          },
          "module": "agent_registry",
          "name": "SkillRecord",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "description",
                  "position": 0,
                  "ty": {
                    "Vector": "U8"
                  }
                },
                {
                  "name": "active",
                  "position": 1,
                  "ty": "Bool"
                },
                {
                  "name": "dag_binding",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "SkillDagBinding"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "requirements",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "SkillRequirement"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "current_interface_revision",
                  "position": 4,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "version",
                        "name": "InterfaceVersion"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "agent_registry",
            "name": "SkillRegisteredEvent"
          },
          "module": "agent_registry",
          "name": "SkillRegisteredEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "agent_id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "skill_id",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "dag_id",
                  "position": 2,
                  "ty": "Address"
                },
                {
                  "name": "dag_binding",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "SkillDagBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "add_agent_record_for_object",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "agents",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "table",
                      "name": "Table"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      },
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0xa3",
                            "module": "agent_registry",
                            "name": "AgentRecord"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "agents_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "table",
                      "name": "Table"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      },
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0xa3",
                            "module": "agent_registry",
                            "name": "AgentRecord"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "assert_agent_registered",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "assert_agent_vault_withdraw_authorized",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "_sender",
              "ty": "Address"
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_default_dag_executor_agent_skill",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_default_dag_executor_skill_binding",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_fixed_tools_registered",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "tool_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "ToolRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "fixed_tools",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": {
                      "Datatype": {
                        "type_name": {
                          "address": "0xa2",
                          "module": "agent",
                          "name": "FixedTool"
                        },
                        "type_arguments": []
                      }
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "attach_embedded_agent",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "bootstrap_default_runtime_dag_skill_for_deployment",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            },
            "U64"
          ]
        },
        {
          "name": "classify_skill_contract",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "interface_revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "dag_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "agent_registry",
                  "name": "SkillContractState"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "create_agent",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "Agent"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "default_dag_executor_agent",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa2",
                      "module": "agent",
                      "name": "Agent"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "default_dag_executor_agent_id_from_registry",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "default_dag_executor_contract",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            },
            "U64",
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "version",
                  "name": "InterfaceVersion"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "payment",
                  "name": "SkillPaymentPolicy"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillSchedulePolicy"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "default_dag_executor_ref",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "agent_registry",
                      "name": "DefaultDagExecutor"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "default_dag_executor_skill_id_from_registry",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "emit_default_dag_executor_updated",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "emit_skill_registered",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "dag_id",
              "ty": "Address"
            },
            {
              "name": "dag_binding",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillDagBinding"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "emit_skill_registration_events",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "dag_id",
              "ty": "Address"
            },
            {
              "name": "dag_binding",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillDagBinding"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "current_interface_revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "requirements",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillRequirement"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "emit_skill_revisioned",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "current_interface_revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "dag_binding",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillDagBinding"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "requirements",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillRequirement"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "get_agent_skill_record",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "version",
                  "name": "InterfaceVersion"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "payment",
                  "name": "SkillPaymentPolicy"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillSchedulePolicy"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "get_skill_requirements",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillRequirement"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "has_default_dag_executor",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "id_mut_for_transition",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "object",
                      "name": "UID"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "increment_revision",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "version",
                  "name": "InterfaceVersion"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "is_default_dag_executor_skill",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "load_v1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "agent_registry",
                      "name": "AgentRegistryInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_v1_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "agent_registry",
                      "name": "AgentRegistryInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "agent_registry",
                  "name": "AgentRegistry"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "new_default_task_components",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "task_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "dag_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "prepayment",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "coin",
                    "name": "Coin"
                  },
                  "type_arguments": [
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0x2",
                          "module": "sui",
                          "name": "SUI"
                        },
                        "type_arguments": []
                      }
                    }
                  ]
                }
              }
            },
            {
              "name": "refund_recipient",
              "ty": "Address"
            },
            {
              "name": "occurrence_budget_mist",
              "ty": "U64"
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "authorization",
                  "name": "AgentSkillAuthorization"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "payment",
                  "name": "TaskPaymentReserve"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            },
            "U64"
          ]
        },
        {
          "name": "new_skill_record",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "description",
              "ty": {
                "Vector": "U8"
              }
            },
            {
              "name": "active",
              "ty": "Bool"
            },
            {
              "name": "dag_binding",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillDagBinding"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "requirements",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillRequirement"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "current_interface_revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "agent_registry",
                  "name": "SkillRecord"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "next_skill_id",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "register_skill",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "ToolRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "dag",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "dag",
                        "name": "DAG"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "description",
              "ty": {
                "Vector": "U8"
              }
            },
            {
              "name": "input_commitment",
              "ty": {
                "Vector": "U8"
              }
            },
            {
              "name": "payment_policy",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "payment",
                    "name": "SkillPaymentPolicy"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "schedule_policy",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillSchedulePolicy"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "fixed_tools",
              "ty": {
                "Vector": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa2",
                      "module": "agent",
                      "name": "FixedTool"
                    },
                    "type_arguments": []
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "resolve_agent_execution_config_dag",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "config",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "AgentExecutionConfig"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "resolve_execution_spec",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "config",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "AgentExecutionConfig"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "ExecutionSpec"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "vec_map",
                  "name": "VecMap"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "graph",
                        "name": "Vertex"
                      },
                      "type_arguments": []
                    }
                  },
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "payment",
                  "name": "SkillPaymentPolicy"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillSchedulePolicy"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "set_agent_active",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "active",
              "ty": "Bool"
            }
          ],
          "return_types": []
        },
        {
          "name": "set_skill_active",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "active",
              "ty": "Bool"
            }
          ],
          "return_types": []
        },
        {
          "name": "share_registry",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "agent_registry",
                    "name": "AgentRegistry"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "skill_by_id",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "version",
                  "name": "InterfaceVersion"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "payment",
                  "name": "SkillPaymentPolicy"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillSchedulePolicy"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "skill_contract_is_current",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "state",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "agent_registry",
                    "name": "SkillContractState"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "skill_contract_is_inactive",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "state",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "agent_registry",
                    "name": "SkillContractState"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "skill_dag_binding",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillDagBinding"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "skill_pinned_dag_id_for_skill",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x1",
                  "module": "option",
                  "name": "Option"
                },
                "type_arguments": [
                  "Address"
                ]
              }
            }
          ]
        },
        {
          "name": "skill_record_for_fresh_start",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "agent_registry",
                  "name": "SkillRecord"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "skill_requirements_for_skill",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "agent",
                  "name": "SkillRequirement"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "store_new_skill_record",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "description",
              "ty": {
                "Vector": "U8"
              }
            },
            {
              "name": "active",
              "ty": "Bool"
            },
            {
              "name": "dag_binding",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillDagBinding"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "requirements",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillRequirement"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "current_interface_revision",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "version",
                    "name": "InterfaceVersion"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "store_skill_record",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "skill",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "agent_registry",
                    "name": "SkillRecord"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "update_dag",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "ToolRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "dag",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "dag",
                        "name": "DAG"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "update_skill_description",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "description",
              "ty": {
                "Vector": "U8"
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "update_skill_policies",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "skill_id",
              "ty": "U64"
            },
            {
              "name": "payment_policy",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "payment",
                    "name": "SkillPaymentPolicy"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "schedule_policy",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "agent",
                    "name": "SkillSchedulePolicy"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "withdraw_agent_payment_vault",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "agent_registry",
                        "name": "AgentRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "agent",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "Agent"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "coin",
                  "name": "Coin"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "sui",
                        "name": "SUI"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        }
      ]
    },
    "era": {
      "name": "era",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "era",
            "name": "V1"
          },
          "module": "era",
          "name": "V1",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "dummy_field",
                  "position": 0,
                  "ty": "Bool"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "v1",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "era",
                  "name": "V1"
                },
                "type_arguments": []
              }
            }
          ]
        }
      ]
    },
    "leader": {
      "name": "leader",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "CapabilityManger"
          },
          "module": "leader",
          "name": "CapabilityManger",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "allowed_addresses",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_set",
                        "name": "VecSet"
                      },
                      "type_arguments": [
                        "Address"
                      ]
                    }
                  }
                },
                {
                  "name": "network_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "admin_cap_id",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_issuer",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "Leader"
          },
          "module": "leader",
          "name": "Leader",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "status",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderStatus"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "meta",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "Metadata"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "stake_manager",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "StakeManager"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa6",
                              "module": "us",
                              "name": "US"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "claim_token",
                  "position": 3,
                  "ty": {
                    "Vector": "U8"
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderCapIssuedEvent"
          },
          "module": "leader",
          "name": "LeaderCapIssuedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "network",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader",
                  "position": 3,
                  "ty": "Address"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderCapabilitiesAdminCap"
          },
          "module": "leader",
          "name": "LeaderCapabilitiesAdminCap",
          "abilities": [
            "Store",
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "registry",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderClaimedEvent"
          },
          "module": "leader",
          "name": "LeaderClaimedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "claim_token",
                  "position": 2,
                  "ty": {
                    "Vector": "U8"
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderRegistry"
          },
          "module": "leader",
          "name": "LeaderRegistry",
          "abilities": [
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderRegistryCreatedEvent"
          },
          "module": "leader",
          "name": "LeaderRegistryCreatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderRegistryInnerV1"
          },
          "module": "leader",
          "name": "LeaderRegistryInnerV1",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "unbonding_duration_ms",
                  "position": 0,
                  "ty": "U64"
                },
                {
                  "name": "min_stake_us",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "max_transaction_budget",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "leaders",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_set",
                        "name": "VecSet"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "object",
                              "name": "ID"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "records",
                  "position": 4,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "table",
                        "name": "Table"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "object",
                              "name": "ID"
                            },
                            "type_arguments": []
                          }
                        },
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader",
                              "name": "Leader"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "capabilities",
                  "position": 5,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "CapabilityManger"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderStatus"
          },
          "module": "leader",
          "name": "LeaderStatus",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Enum": {
              "variants": [
                {
                  "name": "Active",
                  "position": 0,
                  "fields": []
                },
                {
                  "name": "Suspended",
                  "position": 1,
                  "fields": []
                },
                {
                  "name": "Slashed",
                  "position": 2,
                  "fields": []
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderStatusChangedEvent"
          },
          "module": "leader",
          "name": "LeaderStatusChangedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "old_status",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderStatus"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "new_status",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderStatus"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderSuspensionSkippedEvent"
          },
          "module": "leader",
          "name": "LeaderSuspensionSkippedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "attempted",
                  "position": 2,
                  "ty": {
                    "Vector": "U8"
                  }
                },
                {
                  "name": "owner",
                  "position": 3,
                  "ty": {
                    "Vector": "U8"
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "LeaderUpsertedEvent"
          },
          "module": "leader",
          "name": "LeaderUpsertedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "status",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderStatus"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "MaxTransactionBudgetUpdatedEvent"
          },
          "module": "leader",
          "name": "MaxTransactionBudgetUpdatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "max_transaction_budget",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "Metadata"
          },
          "module": "leader",
          "name": "Metadata",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "data",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_map",
                        "name": "VecMap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x1",
                              "module": "string",
                              "name": "String"
                            },
                            "type_arguments": []
                          }
                        },
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x1",
                              "module": "string",
                              "name": "String"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "MinStakeUsUpdatedEvent"
          },
          "module": "leader",
          "name": "MinStakeUsUpdatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "min_stake_us",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "StakeDepositedEvent"
          },
          "module": "leader",
          "name": "StakeDepositedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "staker",
                  "position": 2,
                  "ty": "Address"
                },
                {
                  "name": "amount",
                  "position": 3,
                  "ty": "U64"
                },
                {
                  "name": "minted_shares",
                  "position": 4,
                  "ty": "U64"
                },
                {
                  "name": "total_shares",
                  "position": 5,
                  "ty": "U64"
                },
                {
                  "name": "pool_total",
                  "position": 6,
                  "ty": "U64"
                },
                {
                  "name": "at_ms",
                  "position": 7,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "StakeManager"
          },
          "module": "leader",
          "name": "StakeManager",
          "abilities": [
            "Store"
          ],
          "type_parameters": [
            {
              "constraints": [],
              "is_phantom": true
            }
          ],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "pool",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "balance",
                        "name": "Balance"
                      },
                      "type_arguments": [
                        {
                          "TypeParameter": 0
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "total_shares",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "positions",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "table",
                        "name": "Table"
                      },
                      "type_arguments": [
                        "Address",
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader",
                              "name": "StakePosition"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "StakePosition"
          },
          "module": "leader",
          "name": "StakePosition",
          "abilities": [
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "active_shares",
                  "position": 0,
                  "ty": "U64"
                },
                {
                  "name": "pending_shares",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "pending_requested_at_ms",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "option",
                        "name": "Option"
                      },
                      "type_arguments": [
                        "U64"
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "StakeSlashedEvent"
          },
          "module": "leader",
          "name": "StakeSlashedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "amount",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "at_ms",
                  "position": 3,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "UnbondingDurationUpdatedEvent"
          },
          "module": "leader",
          "name": "UnbondingDurationUpdatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "unbonding_duration_ms",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "UnstakeClaimedEvent"
          },
          "module": "leader",
          "name": "UnstakeClaimedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "staker",
                  "position": 2,
                  "ty": "Address"
                },
                {
                  "name": "shares",
                  "position": 3,
                  "ty": "U64"
                },
                {
                  "name": "amount",
                  "position": 4,
                  "ty": "U64"
                },
                {
                  "name": "at_ms",
                  "position": 5,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader",
            "name": "UnstakeRequestedEvent"
          },
          "module": "leader",
          "name": "UnstakeRequestedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "staker",
                  "position": 2,
                  "ty": "Address"
                },
                {
                  "name": "shares",
                  "position": 3,
                  "ty": "U64"
                },
                {
                  "name": "unlock_at_ms",
                  "position": 4,
                  "ty": "U64"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "activate_and_claim",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "allow_address",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "address",
              "ty": "Address"
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_active",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_capabilities_admin",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "_admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_current_leader_cap",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_execution_inputs_allowed",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "operation",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa2",
                        "module": "agent",
                        "name": "ExecutionSpec"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_leader_cap_matches_registry",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_object_id_allowed",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "object_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_output_objects_allowed",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "output",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_map",
                        "name": "VecMap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa2",
                              "module": "graph",
                              "name": "OutputPort"
                            },
                            "type_arguments": []
                          }
                        },
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa1",
                              "module": "data",
                              "name": "NexusData"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_registered",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_transaction_budget",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "gas_charge",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "bootstrap_leader_record",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "capabilities_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "leader",
                      "name": "CapabilityManger"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "claim_token",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": "U8"
            }
          ]
        },
        {
          "name": "claim_unstaked_for_self",
          "visibility": "Private",
          "is_entry": true,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "disallow_address",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "address",
              "ty": "Address"
            }
          ],
          "return_types": []
        },
        {
          "name": "empty_metadata",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "Metadata"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "ensure_position",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [
            {
              "constraints": [],
              "is_phantom": false
            }
          ],
          "parameters": [
            {
              "name": "stake_manager",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "StakeManager"
                      },
                      "type_arguments": [
                        {
                          "TypeParameter": 0
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "staker",
              "ty": "Address"
            }
          ],
          "return_types": []
        },
        {
          "name": "exists",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "id_mut_for_transition",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "object",
                      "name": "UID"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "is_active",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "is_eligible",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "leader_pool_total",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "leader_set",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "vec_set",
                      "name": "VecSet"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "leader_set_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "vec_set",
                      "name": "VecSet"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "leader_stamp_id",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "leader_total_shares",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "leader_weight_min_1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "load_v1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "leader",
                      "name": "LeaderRegistryInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_v1_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "leader",
                      "name": "LeaderRegistryInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "max_transaction_budget",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "metadata",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "leader",
                      "name": "Metadata"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "metadata_data",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "Metadata"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "vec_map",
                      "name": "VecMap"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x1",
                            "module": "string",
                            "name": "String"
                          },
                          "type_arguments": []
                        }
                      },
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x1",
                            "module": "string",
                            "name": "String"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "min_stake_us",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "network_id",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderRegistry"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderCapabilitiesAdminCap"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "new_metadata",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "data",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "vec_map",
                    "name": "VecMap"
                  },
                  "type_arguments": [
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0x1",
                          "module": "string",
                          "name": "String"
                        },
                        "type_arguments": []
                      }
                    },
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0x1",
                          "module": "string",
                          "name": "String"
                        },
                        "type_arguments": []
                      }
                    }
                  ]
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "Metadata"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "rank_active_leaders_stake_weighted",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [
            {
              "constraints": [
                "Drop"
              ],
              "is_phantom": false
            }
          ],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ]
        },
        {
          "name": "rank_active_leaders_uniform",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [
            {
              "constraints": [
                "Drop"
              ],
              "is_phantom": false
            }
          ],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ]
        },
        {
          "name": "rank_committee_stake_weighted_internal",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "members",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": {
                      "Datatype": {
                        "type_name": {
                          "address": "0x2",
                          "module": "object",
                          "name": "ID"
                        },
                        "type_arguments": []
                      }
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "work_type",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x1",
                    "module": "type_name",
                    "name": "TypeName"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ]
        },
        {
          "name": "rank_committee_uniform_internal",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "members",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": {
                      "Datatype": {
                        "type_name": {
                          "address": "0x2",
                          "module": "object",
                          "name": "ID"
                        },
                        "type_arguments": []
                      }
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "work_type",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x1",
                    "module": "type_name",
                    "name": "TypeName"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ]
        },
        {
          "name": "records",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "table",
                      "name": "Table"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      },
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0xa3",
                            "module": "leader",
                            "name": "Leader"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "records_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "table",
                      "name": "Table"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      },
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0xa3",
                            "module": "leader",
                            "name": "Leader"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ]
        },
        {
          "name": "register",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "pay_with",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "coin",
                        "name": "Coin"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa6",
                              "module": "us",
                              "name": "US"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "meta",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "leader",
                    "name": "Metadata"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "request_leader_cap",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "request_unstake",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "send_admin_cap_to_sender",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "leader",
                    "name": "LeaderCapabilitiesAdminCap"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "set_max_transaction_budget",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "new_max_transaction_budget",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "set_min_stake_us",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "min_stake_us",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "set_unbonding_duration_ms",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "admin",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderCapabilitiesAdminCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "new_duration_ms",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "share",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "leader",
                    "name": "LeaderRegistry"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "shares_for_deposit",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "pool",
              "ty": "U64"
            },
            {
              "name": "total_shares",
              "ty": "U64"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "shares_for_withdrawal",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "pool",
              "ty": "U64"
            },
            {
              "name": "total_shares",
              "ty": "U64"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "slash_stake",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "_slashing_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_slashing",
                              "name": "OverLeaderSlashing"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "balance",
                  "name": "Balance"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa6",
                        "module": "us",
                        "name": "US"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        },
        {
          "name": "stake",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "pay_with",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "coin",
                        "name": "Coin"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa6",
                              "module": "us",
                              "name": "US"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "stake_weighted_u64",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "work_type",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "type_name",
                        "name": "TypeName"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "step",
              "ty": "U64"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "staker_active_shares",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "staker",
              "ty": "Address"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "staker_pending_shares",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "staker",
              "ty": "Address"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "staker_total_shares",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "staker",
              "ty": "Address"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "staker_value",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "staker",
              "ty": "Address"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "stamp_workflow_worksheet",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [
            {
              "constraints": [],
              "is_phantom": false
            }
          ],
          "parameters": [
            {
              "name": "_permit",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa0",
                        "module": "runtime_authority",
                        "name": "RuntimePermit"
                      },
                      "type_arguments": [
                        {
                          "TypeParameter": 0
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "worksheet",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "proof_of_uid",
                        "name": "ProofOfUID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "data",
              "ty": {
                "Vector": "U8"
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "status",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderStatus"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "status_active",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderStatus"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "status_slashed",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderStatus"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "status_suspended",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "leader",
                  "name": "LeaderStatus"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "suspend_if_token",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "token",
              "ty": {
                "Vector": "U8"
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "u64_from_be",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "bytes",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "unbonding_duration_ms",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "uniform_priority",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "work_type",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "type_name",
                        "name": "TypeName"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "seed",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "upsert_self",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "meta",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "leader",
                    "name": "Metadata"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        }
      ]
    },
    "leader_cap": {
      "name": "leader_cap",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader_cap",
            "name": "FoundingLeaderCapCreatedEvent"
          },
          "module": "leader_cap",
          "name": "FoundingLeaderCapCreatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "leader_cap",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "network",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader_cap",
            "name": "OverNetwork"
          },
          "module": "leader_cap",
          "name": "OverNetwork",
          "abilities": [
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "dummy_field",
                  "position": 0,
                  "ty": "Bool"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa1",
                  "module": "owner_cap",
                  "name": "CloneableOwnerCap"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader_cap",
                        "name": "OverNetwork"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        },
        {
          "name": "what_for",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        }
      ]
    },
    "leader_slashing": {
      "name": "leader_slashing",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "leader_slashing",
            "name": "OverLeaderSlashing"
          },
          "module": "leader_slashing",
          "name": "OverLeaderSlashing",
          "abilities": [
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "dummy_field",
                  "position": 0,
                  "ty": "Bool"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa1",
                  "module": "owner_cap",
                  "name": "CloneableOwnerCap"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader_slashing",
                        "name": "OverLeaderSlashing"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        },
        {
          "name": "send_cap_to_sender",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa1",
                    "module": "owner_cap",
                    "name": "CloneableOwnerCap"
                  },
                  "type_arguments": [
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0xa3",
                          "module": "leader_slashing",
                          "name": "OverLeaderSlashing"
                        },
                        "type_arguments": []
                      }
                    }
                  ]
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        }
      ]
    },
    "main": {
      "name": "main",
      "datatypes": [],
      "functions": [
        {
          "name": "init",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        }
      ]
    },
    "network_auth": {
      "name": "network_auth",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "ActiveKeyUpdatedEvent"
          },
          "module": "network_auth",
          "name": "ActiveKeyUpdatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "binding",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "active_key_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "option",
                        "name": "Option"
                      },
                      "type_arguments": [
                        "U64"
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "IdentityKey"
          },
          "module": "network_auth",
          "name": "IdentityKey",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Enum": {
              "variants": [
                {
                  "name": "Leader",
                  "position": 0,
                  "fields": [
                    {
                      "name": "leader_cap_id",
                      "position": 0,
                      "ty": {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      }
                    }
                  ]
                },
                {
                  "name": "Tool",
                  "position": 1,
                  "fields": [
                    {
                      "name": "tool_id",
                      "position": 0,
                      "ty": {
                        "Datatype": {
                          "type_name": {
                            "address": "0x2",
                            "module": "object",
                            "name": "ID"
                          },
                          "type_arguments": []
                        }
                      }
                    }
                  ]
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyBinding"
          },
          "module": "network_auth",
          "name": "KeyBinding",
          "abilities": [
            "Store",
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyBindingCreatedEvent"
          },
          "module": "network_auth",
          "name": "KeyBindingCreatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "binding",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "identity",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "IdentityKey"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyBindingInnerV1"
          },
          "module": "network_auth",
          "name": "KeyBindingInnerV1",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "identity",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "IdentityKey"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "description",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "option",
                        "name": "Option"
                      },
                      "type_arguments": [
                        {
                          "Vector": "U8"
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "next_key_id",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "active_key_id",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "option",
                        "name": "Option"
                      },
                      "type_arguments": [
                        "U64"
                      ]
                    }
                  }
                },
                {
                  "name": "keys",
                  "position": 4,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "table",
                        "name": "Table"
                      },
                      "type_arguments": [
                        "U64",
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "network_auth",
                              "name": "KeyRecord"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyRecord"
          },
          "module": "network_auth",
          "name": "KeyRecord",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "scheme",
                  "position": 0,
                  "ty": "U8"
                },
                {
                  "name": "public_key",
                  "position": 1,
                  "ty": {
                    "Vector": "U8"
                  }
                },
                {
                  "name": "added_at_ms",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "revoked_at_ms",
                  "position": 3,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x1",
                        "module": "option",
                        "name": "Option"
                      },
                      "type_arguments": [
                        "U64"
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyRegisteredEvent"
          },
          "module": "network_auth",
          "name": "KeyRegisteredEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "binding",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "key_id",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "scheme",
                  "position": 2,
                  "ty": "U8"
                },
                {
                  "name": "public_key",
                  "position": 3,
                  "ty": {
                    "Vector": "U8"
                  }
                },
                {
                  "name": "added_at_ms",
                  "position": 4,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "KeyRevokedEvent"
          },
          "module": "network_auth",
          "name": "KeyRevokedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "binding",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "key_id",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "revoked_at_ms",
                  "position": 2,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "NetworkAuth"
          },
          "module": "network_auth",
          "name": "NetworkAuth",
          "abilities": [
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "NetworkAuthCreatedEvent"
          },
          "module": "network_auth",
          "name": "NetworkAuthCreatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registry",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "registered_key_witness",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "NetworkAuthInnerV1"
          },
          "module": "network_auth",
          "name": "NetworkAuthInnerV1",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "registered_key_witness",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "identities",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_set",
                        "name": "VecSet"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "network_auth",
                              "name": "IdentityKey"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "ProofOfIdentity"
          },
          "module": "network_auth",
          "name": "ProofOfIdentity",
          "abilities": [
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "identity",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "IdentityKey"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "network_auth",
            "name": "ProofOfKey"
          },
          "module": "network_auth",
          "name": "ProofOfKey",
          "abilities": [
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "scheme",
                  "position": 0,
                  "ty": "U8"
                },
                {
                  "name": "public_key",
                  "position": 1,
                  "ty": {
                    "Vector": "U8"
                  }
                },
                {
                  "name": "key_id",
                  "position": 2,
                  "ty": "U64"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "active_key_is_usable",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "append_bytes",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "out",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "bytes",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "assert_identity",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "binding_address",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "IdentityKey"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Address"
          ]
        },
        {
          "name": "binding_exists",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "IdentityKey"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        },
        {
          "name": "clone_bytes",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "bytes",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Vector": "U8"
            }
          ]
        },
        {
          "name": "create_binding",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "ProofOfIdentity"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "description",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x1",
                    "module": "option",
                    "name": "Option"
                  },
                  "type_arguments": [
                    {
                      "Vector": "U8"
                    }
                  ]
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "KeyBinding"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "id_mut_for_transition",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "object",
                      "name": "UID"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "identity_key_leader",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "IdentityKey"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "identity_key_tool",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "tool_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "IdentityKey"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "key_binding_active_key_id",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x1",
                  "module": "option",
                  "name": "Option"
                },
                "type_arguments": [
                  "U64"
                ]
              }
            }
          ]
        },
        {
          "name": "key_binding_identity",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "IdentityKey"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "key_binding_key",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "key_id",
              "ty": "U64"
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "network_auth",
                      "name": "KeyRecord"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "key_binding_next_key_id",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "load_binding_v1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "network_auth",
                      "name": "KeyBindingInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_binding_v1_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "network_auth",
                      "name": "KeyBindingInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_registry_v1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "network_auth",
                      "name": "NetworkAuthInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_registry_v1_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "network_auth",
                      "name": "NetworkAuthInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "NetworkAuth"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "new_proof_of_key",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "public_key",
              "ty": {
                "Vector": "U8"
              }
            },
            {
              "name": "signature",
              "ty": {
                "Vector": "U8"
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "ProofOfKey"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "proof_identity",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "IdentityKey"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "prove_leader",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "leader_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "ProofOfIdentity"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "prove_offchain_tool",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "tool",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "Tool"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "owner_cap",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa7",
                              "module": "tool_authority",
                              "name": "OverTool"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "network_auth",
                  "name": "ProofOfIdentity"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "register_key",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "proof_of_key",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "ProofOfKey"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "registered_key_witness",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "object",
                  "name": "ID"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "registered_key_witness_uid",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "object",
                      "name": "UID"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "revoke_key",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "key_id",
              "ty": "U64"
            },
            {
              "name": "clock",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "clock",
                        "name": "Clock"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "set_active_key",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "ProofOfIdentity"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "key_id",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "share",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "NetworkAuth"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "verify_active_key_signature",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "signature",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            },
            {
              "name": "message",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Vector": "U8"
                  }
                }
              }
            }
          ],
          "return_types": [
            "Bool"
          ]
        }
      ]
    },
    "priority_fee_vault": {
      "name": "priority_fee_vault",
      "datatypes": [
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeAccount"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeAccount",
          "abilities": [
            "Copy",
            "Drop",
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "share",
                  "position": 0,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeDeposit"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeDeposit",
          "abilities": [
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "amount",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "balance",
                        "name": "Balance"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "sui",
                              "name": "SUI"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeDepositCreatedEvent"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeDepositCreatedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "vault",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "deposit_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 2,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "amount",
                  "position": 3,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeShareChange"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeShareChange",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "leader_cap_id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "share_delta",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeSharesCollectedEvent"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeSharesCollectedEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "vault",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "deposit_count",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "changes",
                  "position": 2,
                  "ty": {
                    "Vector": {
                      "Datatype": {
                        "type_name": {
                          "address": "0xa3",
                          "module": "priority_fee_vault",
                          "name": "PriorityFeeShareChange"
                        },
                        "type_arguments": []
                      }
                    }
                  }
                },
                {
                  "name": "total_share_delta",
                  "position": 3,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeSwapEvent"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeSwapEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "vault",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "us_in",
                  "position": 1,
                  "ty": "U64"
                },
                {
                  "name": "us_refunded",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "sui_out",
                  "position": 3,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeVault"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeVault",
          "abilities": [
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeVaultConfiguredEvent"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeVaultConfiguredEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "vault",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "exchange_rate_million_mists_us",
                  "position": 1,
                  "ty": "U64"
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeVaultInnerV1"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeVaultInnerV1",
          "abilities": [
            "Store"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "sui_balance",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "balance",
                        "name": "Balance"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "sui",
                              "name": "SUI"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "us_balance",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "balance",
                        "name": "Balance"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa6",
                              "module": "us",
                              "name": "US"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "name": "exchange_rate_million_mists_us",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "total_share",
                  "position": 3,
                  "ty": "U64"
                },
                {
                  "name": "leader_accounts",
                  "position": 4,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "vec_map",
                        "name": "VecMap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0x2",
                              "module": "object",
                              "name": "ID"
                            },
                            "type_arguments": []
                          }
                        },
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "priority_fee_vault",
                              "name": "PriorityFeeAccount"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeVaultOwnerCap"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeVaultOwnerCap",
          "abilities": [
            "Store",
            "Key"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "id",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "UID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "vault",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              ]
            }
          }
        },
        {
          "type_name": {
            "address": "0xa3",
            "module": "priority_fee_vault",
            "name": "PriorityFeeWithdrawnEvent"
          },
          "module": "priority_fee_vault",
          "name": "PriorityFeeWithdrawnEvent",
          "abilities": [
            "Copy",
            "Drop"
          ],
          "type_parameters": [],
          "kind": {
            "Struct": {
              "fields": [
                {
                  "name": "vault",
                  "position": 0,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "leader_cap_id",
                  "position": 1,
                  "ty": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "object",
                        "name": "ID"
                      },
                      "type_arguments": []
                    }
                  }
                },
                {
                  "name": "share_to_withdraw",
                  "position": 2,
                  "ty": "U64"
                },
                {
                  "name": "us_out",
                  "position": 3,
                  "ty": "U64"
                },
                {
                  "name": "us_refunded",
                  "position": 4,
                  "ty": "U64"
                }
              ]
            }
          }
        }
      ],
      "functions": [
        {
          "name": "accrue_for_leader",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "amount",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "collect_deposits",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "deposits",
              "ty": {
                "Vector": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "transfer",
                      "name": "Receiving"
                    },
                    "type_arguments": [
                      {
                        "Datatype": {
                          "type_name": {
                            "address": "0xa3",
                            "module": "priority_fee_vault",
                            "name": "PriorityFeeDeposit"
                          },
                          "type_arguments": []
                        }
                      }
                    ]
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "configure",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "owner_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVaultOwnerCap"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "exchange_rate_million_mists_us",
              "ty": "U64"
            }
          ],
          "return_types": []
        },
        {
          "name": "create_deposit",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "amount",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "balance",
                    "name": "Balance"
                  },
                  "type_arguments": [
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0x2",
                          "module": "sui",
                          "name": "SUI"
                        },
                        "type_arguments": []
                      }
                    }
                  ]
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "exchange_rate_million_mists_us",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "id_mut_for_transition",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0x2",
                      "module": "object",
                      "name": "UID"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "leader_account",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "load_v1",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": false,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "priority_fee_vault",
                      "name": "PriorityFeeVaultInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "load_v1_mut",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Ref": {
                "mutable": true,
                "inner": {
                  "Datatype": {
                    "type_name": {
                      "address": "0xa3",
                      "module": "priority_fee_vault",
                      "name": "PriorityFeeVaultInnerV1"
                    },
                    "type_arguments": []
                  }
                }
              }
            }
          ]
        },
        {
          "name": "new",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "priority_fee_vault",
                  "name": "PriorityFeeVault"
                },
                "type_arguments": []
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa3",
                  "module": "priority_fee_vault",
                  "name": "PriorityFeeVaultOwnerCap"
                },
                "type_arguments": []
              }
            }
          ]
        },
        {
          "name": "quote_swap_us_for_sui",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "us_in",
              "ty": "U64"
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "send_owner_cap_to_sender",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "priority_fee_vault",
                    "name": "PriorityFeeVaultOwnerCap"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "share",
          "visibility": "Friend",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "priority_fee_vault",
                    "name": "PriorityFeeVault"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "sui_balance",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "swap_us_for_sui",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "input",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "coin",
                    "name": "Coin"
                  },
                  "type_arguments": [
                    {
                      "Datatype": {
                        "type_name": {
                          "address": "0xa6",
                          "module": "us",
                          "name": "US"
                        },
                        "type_arguments": []
                      }
                    }
                  ]
                }
              }
            },
            {
              "name": "min_sui_out",
              "ty": "U64"
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "coin",
                  "name": "Coin"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "sui",
                        "name": "SUI"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            },
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "coin",
                  "name": "Coin"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa6",
                        "module": "us",
                        "name": "US"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        },
        {
          "name": "total_share",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "us_balance",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            "U64"
          ]
        },
        {
          "name": "withdraw_priority_fee",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "self",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "priority_fee_vault",
                        "name": "PriorityFeeVault"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "share_to_withdraw",
              "ty": "U64"
            },
            {
              "name": "ctx",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0x2",
                        "module": "tx_context",
                        "name": "TxContext"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0x2",
                  "module": "coin",
                  "name": "Coin"
                },
                "type_arguments": [
                  {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa6",
                        "module": "us",
                        "name": "US"
                      },
                      "type_arguments": []
                    }
                  }
                ]
              }
            }
          ]
        }
      ]
    },
    "registered_key_verifier": {
      "name": "registered_key_verifier",
      "datatypes": [],
      "functions": [
        {
          "name": "assert_binding",
          "visibility": "Private",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "network_auth",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "identity",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa3",
                    "module": "network_auth",
                    "name": "IdentityKey"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "configure_tool",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "tool_registry",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "ToolRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa7",
                        "module": "tool_registry",
                        "name": "Tool"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "owner_cap",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa7",
                              "module": "tool_authority",
                              "name": "OverTool"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "network_auth",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool_key_binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            }
          ],
          "return_types": []
        },
        {
          "name": "verify",
          "visibility": "Public",
          "is_entry": false,
          "type_parameters": [],
          "parameters": [
            {
              "name": "worksheet",
              "ty": {
                "Ref": {
                  "mutable": true,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "proof_of_uid",
                        "name": "ProofOfUID"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "result",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa1",
                    "module": "tagged_output",
                    "name": "TaggedOutput"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "auxiliary",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0xa2",
                    "module": "verifier",
                    "name": "RegisteredKeyAuxiliary"
                  },
                  "type_arguments": []
                }
              }
            },
            {
              "name": "leader_registry",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "leader",
                        "name": "LeaderRegistry"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_cap",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa1",
                        "module": "owner_cap",
                        "name": "CloneableOwnerCap"
                      },
                      "type_arguments": [
                        {
                          "Datatype": {
                            "type_name": {
                              "address": "0xa3",
                              "module": "leader_cap",
                              "name": "OverNetwork"
                            },
                            "type_arguments": []
                          }
                        }
                      ]
                    }
                  }
                }
              }
            },
            {
              "name": "network_auth",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "NetworkAuth"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "leader_key_binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool_key_binding",
              "ty": {
                "Ref": {
                  "mutable": false,
                  "inner": {
                    "Datatype": {
                      "type_name": {
                        "address": "0xa3",
                        "module": "network_auth",
                        "name": "KeyBinding"
                      },
                      "type_arguments": []
                    }
                  }
                }
              }
            },
            {
              "name": "tool_id",
              "ty": {
                "Datatype": {
                  "type_name": {
                    "address": "0x2",
                    "module": "object",
                    "name": "ID"
                  },
                  "type_arguments": []
                }
              }
            }
          ],
          "return_types": [
            {
              "Datatype": {
                "type_name": {
                  "address": "0xa2",
                  "module": "verifier",
                  "name": "VerificationVerdict"
                },
                "type_arguments": []
              }
            }
          ]
        }
      ]
    }
  }
}