@dittolive/ditto 4.6.0 → 4.7.0-rc.3

package/react-native/dittoffi/dittoffi.h

@@ -13,6 +13,9 @@
 extern "C" {
 #endif
 
+/** <No documentation available> */
+#define DITTOFFI_PRESENCE_PEER_METADATA_MAX_SIZE_IN_BYTES ((uint32_t) 4096)
+
 
 #include <stddef.h>
 #include <stdint.h>
@@ -1281,59 +1284,6 @@ CLoginProvider_t *
     void (*release)(void *),
     void (*expiring_cb)(void *, uint32_t));
 
-/** \brief
- *  Represents the error code as returned by various FFI functions. It's a
- *  simple integer for now, the codes are specified by each FFI function
- *  individually (for now, we plan to introduce a proper error type in the near
- *  future).
- *  Beware that all errors are not captured here. It is encouraged to use this enum
- *  instead of explicit `status_code` -mostly 0 and 1-.
- */
-typedef enum DittoErrorCode {
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_OK = 0,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_UNKNOWN = 1,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_NOT_IMPLEMENTED = 2,
-    /** \brief
-     *  Fatal case that ought to never happen.
-     */
-    DITTO_ERROR_CODE_UNREACHABLE = 2989,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_FAILED_TO_ACQUIRE_LOCK_FILE = 16777217,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_INVALID_PASSPHRASE = 33554433,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_EXTRANEOUS_PASSPHRASE_GIVEN = 33554434,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_PASSPHRASE_NOT_GIVEN = 33554435,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_ALREADY_ENCRYPTED = 33554436,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_ENCRYPTION_FAILED = 33554437,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_CANNOT_BE_ENCRYPTED = 33554438,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_NOT_INITIALIZED = 33554439,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_SORT_FAILED = 50331649,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_DQL_FAILED_TO_COMPILE_QUERY = 50331650,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_DQL_UNSUPPORTED = 50331651,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_DQL_EXECUTION_FAILED = 50331652,
-    /** <No documentation available> */
-    DITTO_ERROR_CODE_PARAMETER_QUERY_FAILED = 50331653,
-} DittoErrorCode_t;
-
-/** <No documentation available> */
-DittoErrorCode_t
-/* fn */ ditto_auth_client_set_peer_signed_info (
-    CDitto_t const * ditto,
-    slice_ref_uint8_t peer_info);
-
 /** \brief
  *  Set a validity listener.
  */
@@ -1585,6 +1535,53 @@ CBORPathResult_t
     char const * path,
     PathAccessorType_t path_type);
 
+/** \brief
+ *  Represents the error code as returned by various FFI functions. It's a
+ *  simple integer for now, the codes are specified by each FFI function
+ *  individually (for now, we plan to introduce a proper error type in the near
+ *  future).
+ *  Beware that all errors are not captured here. It is encouraged to use this enum
+ *  instead of explicit `status_code` -mostly 0 and 1-.
+ */
+typedef enum DittoErrorCode {
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_OK = 0,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_UNKNOWN = 1,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_NOT_IMPLEMENTED = 2,
+    /** \brief
+     *  Fatal case that ought to never happen.
+     */
+    DITTO_ERROR_CODE_UNREACHABLE = 2989,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_FAILED_TO_ACQUIRE_LOCK_FILE = 16777217,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_INVALID_PASSPHRASE = 33554433,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_EXTRANEOUS_PASSPHRASE_GIVEN = 33554434,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_PASSPHRASE_NOT_GIVEN = 33554435,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_ALREADY_ENCRYPTED = 33554436,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_ENCRYPTION_FAILED = 33554437,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_CANNOT_BE_ENCRYPTED = 33554438,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_NOT_INITIALIZED = 33554439,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_SORT_FAILED = 50331649,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_DQL_FAILED_TO_COMPILE_QUERY = 50331650,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_DQL_UNSUPPORTED = 50331651,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_DQL_EXECUTION_FAILED = 50331652,
+    /** <No documentation available> */
+    DITTO_ERROR_CODE_PARAMETER_QUERY_FAILED = 50331653,
+} DittoErrorCode_t;
+
 /** \brief
  *  Changes the passphrase and re-encrypts all data. This can take a while,
  *  progress is reported via the progress callback. Returns a progress token
@@ -2433,26 +2430,6 @@ char *
 char *
 /* fn */ ditto_get_sdk_version (void);
 
-/** \brief
- *  This is a handle to a tokio oneshot sender that will act as a cross-FFI medium for the
- *  onConnecting API, as the SDK side can send a signal to the with the connection decision
- *  asynchronously, and independently of the the SDK is written in.
- *
- *  It's used as the "token" which the SDK can pass back to `ditto_handle_on_connecting_response`
- *  so that the handshake can unblock and react to the decision.
- */
-typedef struct OnConnectingResponseHandle OnConnectingResponseHandle_t;
-
-/** \brief
- *  This is the asynchronous response companion to [`ditto_register_on_connecting`]. It takes the
- *  [`OnConnectingResponseHandle`] given in the [`OnConnectingCallback`] callback and consumes the
- *  handle to send a message to the Ditto core with the user's decision to connect or reject a peer.
- */
-void
-/* fn */ ditto_handle_on_connecting_response (
-    OnConnectingResponseHandle_t * handle,
-    bool response);
-
 /** <No documentation available> */
 typedef struct IdentityConfigResult {
     /** <No documentation available> */
@@ -2820,157 +2797,6 @@ CDitto_t *
     CIdentityConfig_t * identity_config,
     HistoryTracking_t history_tracking);
 
-/** <No documentation available> */
-typedef struct Erased Erased_t;
-
-/** \brief
- *  An FFI-safe `Poll<()>`.
- */
-/** \remark Has the same ABI as `int8_t` **/
-#ifdef DOXYGEN
-typedef
-#endif
-enum PollFuture {
-    /** <No documentation available> */
-    POLL_FUTURE_COMPLETED = 0,
-    /** <No documentation available> */
-    POLL_FUTURE_PENDING = -1,
-}
-#ifndef DOXYGEN
-; typedef int8_t
-#endif
-PollFuture_t;
-
-/** \brief
- *  The layout of `core::task::wake::Context` is opaque/subject to changes.
- */
-typedef struct Opaque_Context Opaque_Context_t;
-
-/** <No documentation available> */
-typedef struct FfiFutureVTable {
-    /** <No documentation available> */
-    void (*release_vptr)(Erased_t *);
-
-    /** <No documentation available> */
-    PollFuture_t (*dyn_poll)(Erased_t *, Opaque_Context_t *);
-} FfiFutureVTable_t;
-
-/** <No documentation available> */
-typedef struct VirtualPtr__Erased_ptr_FfiFutureVTable {
-    /** <No documentation available> */
-    Erased_t * ptr;
-
-    /** <No documentation available> */
-    FfiFutureVTable_t vtable;
-} VirtualPtr__Erased_ptr_FfiFutureVTable_t;
-
-/** \brief
- *  `Box<dyn 'static + Send + FnMut() -> Ret>`
- */
-typedef struct BoxDynFnMut0_void {
-    /** <No documentation available> */
-    void * env_ptr;
-
-    /** <No documentation available> */
-    void (*call)(void *);
-
-    /** <No documentation available> */
-    void (*free)(void *);
-} BoxDynFnMut0_void_t;
-
-/** <No documentation available> */
-typedef struct DropGlueVTable {
-    /** <No documentation available> */
-    void (*release_vptr)(Erased_t *);
-} DropGlueVTable_t;
-
-/** <No documentation available> */
-typedef struct VirtualPtr__Erased_ptr_DropGlueVTable {
-    /** <No documentation available> */
-    Erased_t * ptr;
-
-    /** <No documentation available> */
-    DropGlueVTable_t vtable;
-} VirtualPtr__Erased_ptr_DropGlueVTable_t;
-
-/** <No documentation available> */
-typedef struct FfiFutureExecutorVTable {
-    /** <No documentation available> */
-    void (*release_vptr)(Erased_t *);
-
-    /** <No documentation available> */
-    Erased_t * (*retain_vptr)(Erased_t const *);
-
-    /** <No documentation available> */
-    VirtualPtr__Erased_ptr_FfiFutureVTable_t (*dyn_spawn)(Erased_t const *, VirtualPtr__Erased_ptr_FfiFutureVTable_t);
-
-    /** <No documentation available> */
-    VirtualPtr__Erased_ptr_FfiFutureVTable_t (*dyn_spawn_blocking)(Erased_t const *, BoxDynFnMut0_void_t);
-
-    /** <No documentation available> */
-    void (*dyn_block_on)(Erased_t const *, VirtualPtr__Erased_ptr_FfiFutureVTable_t);
-
-    /** <No documentation available> */
-    VirtualPtr__Erased_ptr_DropGlueVTable_t (*dyn_enter)(Erased_t const *);
-} FfiFutureExecutorVTable_t;
-
-/** <No documentation available> */
-typedef struct VirtualPtr__Erased_ptr_FfiFutureExecutorVTable {
-    /** <No documentation available> */
-    Erased_t * ptr;
-
-    /** <No documentation available> */
-    FfiFutureExecutorVTable_t vtable;
-} VirtualPtr__Erased_ptr_FfiFutureExecutorVTable_t;
-
-/** <No documentation available> */
-typedef struct StaticDropGlueVTable {
-    /** <No documentation available> */
-    void (*release_vptr)(Erased_t *);
-
-    /** <No documentation available> */
-    Erased_t * (*retain_vptr)(Erased_t const *);
-} StaticDropGlueVTable_t;
-
-/** <No documentation available> */
-typedef struct VirtualPtr__Erased_ptr_StaticDropGlueVTable {
-    /** <No documentation available> */
-    Erased_t * ptr;
-
-    /** <No documentation available> */
-    StaticDropGlueVTable_t vtable;
-} VirtualPtr__Erased_ptr_StaticDropGlueVTable_t;
-
-/** \brief
- *  A `dyn` type-erased (and thus completely layout agnostic
- *  (_e.g._, tokio-agnostic)) and yet FFI-compatible version of an `async`
- *  runtime executor.
- *
- *  Keep it in sync with `rust/dittolive-ditto-sys/lib.rs`!
- */
-typedef struct DynExecutor {
-    /** \brief
-     *  The main object used to spawn futures and whatnot.
-     */
-    VirtualPtr__Erased_ptr_FfiFutureExecutorVTable_t handle;
-
-    /** \brief
-     *  The drop glue potentially driving the shutdown of the runtime.
-     */
-    VirtualPtr__Erased_ptr_StaticDropGlueVTable_t _runtime;
-} DynExecutor_t;
-
-/** \brief
- *  See docs for `ditto_make`. The only difference with that function is that you must also provide
- *  an executor when calling this function.
- */
-CDitto_t *
-/* fn */ ditto_make_with_executor (
-    char const * working_dir,
-    CIdentityConfig_t * identity_config,
-    DynExecutor_t executor,
-    HistoryTracking_t history_tracking);
-
 /** <No documentation available> */
 typedef struct CAttachment {
     /** <No documentation available> */
@@ -3165,19 +2991,6 @@ int32_t
     void (*auth_cb)(void *, CAuthServerAuthRequest_t *, slice_ref_uint8_t),
     void (*refresh_cb)(void *, CAuthServerRefreshRequest_t *, slice_ref_uint8_t));
 
-/** \brief
- *  Register a function that will be called every time a peer connection attempt is made.
- *  The function can return true to continue connecting, and false to reject the connection,
- *  based on the supplied metadata about the peer.
- */
-void
-/* fn */ ditto_register_on_connecting (
-    CDitto_t const * ditto,
-    void * ctx,
-    void (*retain)(void *),
-    void (*release)(void *),
-    void (*c_cb)(void *, slice_ref_uint8_t, OnConnectingResponseHandle_t *));
-
 /** \brief
  *  Register a function that will be called every time the connection state
  *  of remote peers changes.
@@ -3255,13 +3068,6 @@ void
 /* fn */ ditto_release_disk_usage_callback (
     DiskUsageObserver_t * _handle);
 
-/** \brief
- *  Release the disk usage observer obtained from `ditto_register_disk_usage_callback`
- */
-void
-/* fn */ ditto_release_response_handle (
-    OnConnectingResponseHandle_t * _handle);
-
 /** <No documentation available> */
 void
 /* fn */ ditto_remove_multicast_transport (
@@ -3476,6 +3282,7 @@ void
 /** <No documentation available> */
 void
 /* fn */ ditto_set_max_outgoing_ble_peers (
+    CDitto_t const * ditto,
     uint32_t count);
 
 /** <No documentation available> */
@@ -4021,15 +3828,135 @@ BoolResult_t
     slice_ref_uint8_t document_cbor,
     slice_ref_uint8_t provided_cbor);
 
+/** \brief
+ *  Opaque type encapsulating the different args provided to the `.on_connecting()`
+ *  callback in a future-proof fashion.
+ *
+ *  This is the lowest-level "wrapped" callback, i.e. the most convenient set of types for
+ *  passing across the FFI barrier.
+ *
+ *  Typically, SDKs will have a wrapping method that does the (de)serialization to/from CBOR
+ *  to create a more user-friendly function signature for `connecting_peer`.
+ */
+typedef struct dittoffi_connection_request dittoffi_connection_request_t;
+
+/** <No documentation available> */
+typedef enum dittoffi_connection_request_authorization {
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_REQUEST_AUTHORIZATION_DENY,
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_REQUEST_AUTHORIZATION_ALLOW,
+} dittoffi_connection_request_authorization_t;
+
+/** \brief
+ *  Answer/output of the `connection_request_handler`, communicated through the `connection_request`
+ *  object.
+ *  `true` allows the connection, `false` rejects it.
+ */
+void
+/* fn */ dittoffi_connection_request_authorize (
+    dittoffi_connection_request_t const * r,
+    dittoffi_connection_request_authorization_t authorized);
+
+/** \brief
+ *  A simplified [`ConnectionType`] exposed to the SDKs
+ */
+typedef enum dittoffi_connection_type {
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_TYPE_BLUETOOTH,
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_TYPE_ACCESS_POINT,
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_TYPE_P2_P_WI_FI,
+    /** <No documentation available> */
+    DITTOFFI_CONNECTION_TYPE_WEB_SOCKET,
+} dittoffi_connection_type_t;
+
+/** \brief
+ *  The connecting peer's (pub) key (empty for legacy peers).
+ */
+dittoffi_connection_type_t
+/* fn */ dittoffi_connection_request_connection_type (
+    dittoffi_connection_request_t const * r);
+
+/** <No documentation available> */
+void
+/* fn */ dittoffi_connection_request_free (
+    dittoffi_connection_request_t * __arg_0);
+
+/** \brief
+ *  Getter for the `identity_service` as a JSON (string / UTF-8 data).
+ */
+slice_ref_uint8_t
+/* fn */ dittoffi_connection_request_identity_service_metadata_json (
+    dittoffi_connection_request_t const * r);
+
+/** \brief
+ *  The connecting peer's (pub) key (empty for legacy peers), hex-encoded as a string
+ */
+char *
+/* fn */ dittoffi_connection_request_peer_key_string (
+    dittoffi_connection_request_t const * r);
+
+/** \brief
+ *  Getter for the `peer_metadata` as a JSON (string / UTF-8 data).
+ */
+slice_ref_uint8_t
+/* fn */ dittoffi_connection_request_peer_metadata_json (
+    dittoffi_connection_request_t const * r);
+
 /** \brief
  *  The ditto error type, opaque.
  */
 typedef struct dittoffi_error dittoffi_error_t;
 
+/** <No documentation available> */
+typedef struct dittoffi_result_CDitto_ptr {
+    /** \brief
+     *  Non-`NULL` pointer to opaque object on error, `NULL` otherwise.
+     */
+    dittoffi_error_t * error;
+
+    /** \brief
+     *  When no error occurred, the success value payload can be retrieved here.
+     *
+     *  Otherwise, the value is to be ignored.
+     */
+    CDitto_t * success;
+} dittoffi_result_CDitto_ptr_t;
+
+/** \brief
+ *  Same as `ditto_make`, but properly fallible (but not yet `async`).
+ */
+dittoffi_result_CDitto_ptr_t
+/* fn */ dittoffi_ditto_try_new_blocking (
+    char const * working_dir,
+    CIdentityConfig_t * identity_config,
+    HistoryTracking_t history_tracking,
+    char const * experimental_passphrase);
+
 /** \brief
  *  The error codes for `ditto_error_t`
  */
 typedef enum dittoffi_error_code {
+    /** \brief
+     *  The license signature failed verification. This could be due to incorrectly
+     *  encoded/truncated data or could indicate tampering.
+     */
+    DITTOFFI_ERROR_CODE_ACTIVATION_LICENSE_TOKEN_INVALID,
+    /** \brief
+     *  The license is valid but expired.
+     */
+    DITTOFFI_ERROR_CODE_ACTIVATION_LICENSE_TOKEN_EXPIRED,
+    /** \brief
+     *  The provided license data was from a future version of Ditto and is incompatible with this
+     *  version.
+     */
+    DITTOFFI_ERROR_CODE_ACTIVATION_LICENSE_UNSUPPORTED_FUTURE_VERSION,
+    /** \brief
+     *  The operation failed because the Ditto instance is not yet activated.
+     */
+    DITTOFFI_ERROR_CODE_ACTIVATION_NOT_ACTIVATED,
     /** \brief
      *  Invalid CBOR-encoded input.
      */
@@ -4075,10 +4002,43 @@ typedef enum dittoffi_error_code {
      *  Unsupported features were used in a DQL statement or query.
      */
     DITTOFFI_ERROR_CODE_DQL_UNSUPPORTED,
+    /** \brief
+     *  Exceeded a depth limit.
+     */
+    DITTOFFI_ERROR_CODE_VALIDATION_DEPTH_LIMIT_EXCEEDED,
+    /** \brief
+     *  The value was not a map.
+     */
+    DITTOFFI_ERROR_CODE_VALIDATION_NOT_A_MAP,
+    /** \brief
+     *  Exceeded the size limit.
+     */
+    DITTOFFI_ERROR_CODE_VALIDATION_SIZE_LIMIT_EXCEEDED,
+    /** \brief
+     *  Invalid JSON provided.
+     */
+    DITTOFFI_ERROR_CODE_VALIDATION_INVALID_JSON,
+    /** \brief
+     *  Invalid CBOR provided.
+     */
+    DITTOFFI_ERROR_CODE_VALIDATION_INVALID_CBOR,
     /** \brief
      *  Invalid input provided for base64 decoding.
      */
     DITTOFFI_ERROR_CODE_BASE64_INVALID,
+    /** \brief
+     *  Outstanding usage of ditto's working directory detected when trying to instantiate a new
+     *  `Ditto`, which would have lead to concurrent usage of the backing database files.
+     */
+    DITTOFFI_ERROR_CODE_LOCKED_DITTO_WORKING_DIRECTORY,
+    /** \brief
+     *  An error occurred accessing the filesystem.
+     */
+    DITTOFFI_ERROR_CODE_FILESYSTEM_ERROR,
+    /** \brief
+     *  Some not-yet-categorized error occurred.
+     */
+    DITTOFFI_ERROR_CODE_INTERNAL,
 } dittoffi_error_code_t;
 
 /** <No documentation available> */
@@ -4105,6 +4065,66 @@ void
 char *
 /* fn */ dittoffi_get_sdk_semver (void);
 
+/** \brief
+ *  Getter for the `peer_metadata` as a JSON (string / UTF-8 data).
+ */
+slice_boxed_uint8_t
+/* fn */ dittoffi_presence_peer_metadata_json (
+    CDitto_t const * ditto);
+
+/** <No documentation available> */
+typedef struct Erased Erased_t;
+
+/** <No documentation available> */
+typedef struct FfiConnectionRequestHandlerVTable {
+    /** <No documentation available> */
+    void (*release_vptr)(Erased_t *);
+
+    /** <No documentation available> */
+    Erased_t * (*retain_vptr)(Erased_t const *);
+
+    /** <No documentation available> */
+    void (*on_connecting)(Erased_t const *, dittoffi_connection_request_t *);
+} FfiConnectionRequestHandlerVTable_t;
+
+/** <No documentation available> */
+typedef struct VirtualPtr__Erased_ptr_FfiConnectionRequestHandlerVTable {
+    /** <No documentation available> */
+    Erased_t * ptr;
+
+    /** <No documentation available> */
+    FfiConnectionRequestHandlerVTable_t vtable;
+} VirtualPtr__Erased_ptr_FfiConnectionRequestHandlerVTable_t;
+
+/** \brief
+ *  Register a function that will be called every time a peer connection attempt is made.
+ *  The function can return true to continue connecting, and false to reject the connection,
+ *  based on the supplied metadata about the peer.
+ */
+void
+/* fn */ dittoffi_presence_set_connection_request_handler (
+    CDitto_t const * ditto,
+    VirtualPtr__Erased_ptr_FfiConnectionRequestHandlerVTable_t ffi_handler);
+
+/** <No documentation available> */
+typedef struct dittoffi_result_void {
+    /** \brief
+     *  Non-`NULL` pointer to opaque object on error, `NULL` otherwise.
+     */
+    dittoffi_error_t * error;
+} dittoffi_result_void_t;
+
+/** \brief
+ *  Sets the signed peer info / peer metadata to which the `on_connecting` /
+ *  `connectionRequestHandler` callback shall have access.
+ *
+ *  The `peer_info` is expected to represent the UTF-8 bytes of a serialized JSON instead of CBOR.
+ */
+dittoffi_result_void_t
+/* fn */ dittoffi_presence_try_set_peer_metadata_json (
+    CDitto_t const * ditto,
+    slice_ref_uint8_t peer_info);
+
 /** <No documentation available> */
 typedef struct dittoffi_query_result dittoffi_query_result_t;
 
@@ -4153,14 +4173,6 @@ size_t
 /* fn */ dittoffi_query_result_mutated_document_id_count (
     dittoffi_query_result_t const * result);
 
-/** <No documentation available> */
-typedef struct dittoffi_result_void {
-    /** \brief
-     *  Non-`NULL` pointer to opaque object on error, `NULL` otherwise.
-     */
-    dittoffi_error_t * error;
-} dittoffi_result_void_t;
-
 /** <No documentation available> */
 dittoffi_result_void_t
 /* fn */ dittoffi_try_add_subscription (
@@ -4607,6 +4619,17 @@ dittoffi_result_void_t
     char const * query,
     slice_ref_uint8_t query_args_cbor);
 
+/** \brief
+ *  Verify a base64 encoded license string.
+ *
+ *  # Parameters
+ *  - `license`: A base64 encoded license string. This should be the output of
+ *  `ditto_licenser::license_mgr::generate()`.
+ */
+dittoffi_result_void_t
+/* fn */ dittoffi_try_verify_license (
+    char const * license);
+
 /** <No documentation available> */
 void
 /* fn */ free_c_string_vec (
@@ -4692,6 +4715,106 @@ void
 Vec_char_ptr_t *
 /* fn */ new_c_string_vec (void);
 
+/** \brief
+ *  An FFI-safe `Poll<()>`.
+ */
+/** \remark Has the same ABI as `int8_t` **/
+#ifdef DOXYGEN
+typedef
+#endif
+enum PollFuture {
+    /** <No documentation available> */
+    POLL_FUTURE_COMPLETED = 0,
+    /** <No documentation available> */
+    POLL_FUTURE_PENDING = -1,
+}
+#ifndef DOXYGEN
+; typedef int8_t
+#endif
+PollFuture_t;
+
+/** \brief
+ *  The layout of `core::task::wake::Context` is opaque/subject to changes.
+ */
+typedef struct Opaque_Context Opaque_Context_t;
+
+/** <No documentation available> */
+typedef struct FfiFutureVTable {
+    /** <No documentation available> */
+    void (*release_vptr)(Erased_t *);
+
+    /** <No documentation available> */
+    PollFuture_t (*dyn_poll)(Erased_t *, Opaque_Context_t *);
+} FfiFutureVTable_t;
+
+/** <No documentation available> */
+typedef struct VirtualPtr__Erased_ptr_FfiFutureVTable {
+    /** <No documentation available> */
+    Erased_t * ptr;
+
+    /** <No documentation available> */
+    FfiFutureVTable_t vtable;
+} VirtualPtr__Erased_ptr_FfiFutureVTable_t;
+
+/** \brief
+ *  `Box<dyn 'static + Send + FnMut() -> Ret>`
+ */
+typedef struct BoxDynFnMut0_void {
+    /** <No documentation available> */
+    void * env_ptr;
+
+    /** <No documentation available> */
+    void (*call)(void *);
+
+    /** <No documentation available> */
+    void (*free)(void *);
+} BoxDynFnMut0_void_t;
+
+/** <No documentation available> */
+typedef struct DropGlueVTable {
+    /** <No documentation available> */
+    void (*release_vptr)(Erased_t *);
+} DropGlueVTable_t;
+
+/** <No documentation available> */
+typedef struct VirtualPtr__Erased_ptr_DropGlueVTable {
+    /** <No documentation available> */
+    Erased_t * ptr;
+
+    /** <No documentation available> */
+    DropGlueVTable_t vtable;
+} VirtualPtr__Erased_ptr_DropGlueVTable_t;
+
+/** <No documentation available> */
+typedef struct FfiFutureExecutorVTable {
+    /** <No documentation available> */
+    void (*release_vptr)(Erased_t *);
+
+    /** <No documentation available> */
+    Erased_t * (*retain_vptr)(Erased_t const *);
+
+    /** <No documentation available> */
+    VirtualPtr__Erased_ptr_FfiFutureVTable_t (*dyn_spawn)(Erased_t const *, VirtualPtr__Erased_ptr_FfiFutureVTable_t);
+
+    /** <No documentation available> */
+    VirtualPtr__Erased_ptr_FfiFutureVTable_t (*dyn_spawn_blocking)(Erased_t const *, BoxDynFnMut0_void_t);
+
+    /** <No documentation available> */
+    void (*dyn_block_on)(Erased_t const *, VirtualPtr__Erased_ptr_FfiFutureVTable_t);
+
+    /** <No documentation available> */
+    VirtualPtr__Erased_ptr_DropGlueVTable_t (*dyn_enter)(Erased_t const *);
+} FfiFutureExecutorVTable_t;
+
+/** <No documentation available> */
+typedef struct VirtualPtr__Erased_ptr_FfiFutureExecutorVTable {
+    /** <No documentation available> */
+    Erased_t * ptr;
+
+    /** <No documentation available> */
+    FfiFutureExecutorVTable_t vtable;
+} VirtualPtr__Erased_ptr_FfiFutureExecutorVTable_t;
+
 /** <No documentation available> */
 typedef struct FfiFnMutVTable {
     /** <No documentation available> */