@@ -28,6 +28,27 @@ where
     /// across the bump — only this helper's behavior is — so only this helper is versioned; the loop
     /// calls this dispatcher exactly like `execute_event_v0` calls the dispatching
     /// `record_added_balance_outputs`.
+    ///
+    /// # Parameters
+    ///
+    /// * `raw_state_transition`: The raw transition bytes, used to hash it for logs and to tag
+    ///   errors.
+    /// * `state_transition_name`: The transition's name, used in logs and errors.
+    /// * `validation_result`: The validation outcome: the execution event (if any) and the
+    ///   consensus errors.
+    /// * `block_info`: The block being executed.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `block_credit_mints`: Accumulates the credits the applied operations mint into Platform.
+    /// * `platform_version`: The platform version.
+    /// * `previous_fee_versions`: The fee versions of earlier epochs, used to price the fees.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(StateTransitionExecutionResult)`: `SuccessfulExecution`, `PaidConsensusError`,
+    ///   `UnpaidConsensusError` (no event to charge, a free invalid event, or an unpaid event), or
+    ///   `InternalError` when an invalid transition could not pay for its processing.
+    /// * `Err(StateTransitionAwareError)` when the method version is unknown or executing the event
+    ///   fails, tagged with the raw transition and its name.
     #[allow(clippy::too_many_arguments)]
     pub(in crate::execution) fn process_validation_result<'a>(
         &self,
 
@@ -44,6 +44,20 @@ where
     /// OWN version field (`process_raw_state_transitions`), not this one — but both bump to v1
     /// together in the v13 method set, so the expansion activates atomically. Neither site carries a
     /// version conditional inside a _v0 function; the version is chosen by dispatch.
+    ///
+    /// # Parameters
+    ///
+    /// * `address_balances_in_update`: The block's address-balance update map the credits are
+    ///   merged into, or `None` when the caller does not track them (then nothing is recorded).
+    /// * `added_to_balance_outputs`: The credits the event added to each address, if any.
+    /// * `origin`: Which event family produced the credits; v0 drops `ShieldedSpend` credits.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the credits the version records are merged into the map (an existing
+    ///   `SetCredits` or `AddToCredits` entry grows by the amount, saturating).
+    /// * `Err(Error)` when the method version is unknown.
     pub(in crate::execution) fn record_added_balance_outputs(
         &self,
         address_balances_in_update: Option<&mut BTreeMap<PlatformAddress, CreditOperation>>,
 
@@ -18,6 +18,17 @@ where
     /// Tenderdash proposes the next height without waiting for transactions or the empty-block
     /// interval. Not consensus: a read only, it never touches the state or the app hash, and the
     /// hint is local to the node that returns it.
+    ///
+    /// # Parameters
+    ///
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(true)` when the untied withdrawal transactions queue holds at least one transaction,
+    ///   `Ok(false)` when it is empty.
+    /// * `Err(Error)` when the method version is unknown or the queue read fails.
     pub fn has_pending_withdrawal_work(
         &self,
         transaction: TransactionArg,
 
@@ -21,6 +21,20 @@ where
     ///
     /// Runs as a system event once per block, so nobody pays fees for the write; a block that
     /// minted nothing writes nothing.
+    ///
+    /// # Parameters
+    ///
+    /// * `credit_mints`: The credits the block minted into Platform.
+    /// * `block_info`: The block being executed; its time sets when the inflow expires.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the inflow is recorded, or at once when `credit_mints` is zero or the
+    ///   protocol version has no credit inflows (the method version is `None`).
+    /// * `Err(Error)` when the method version (or the Drive method it calls) is unknown or not
+    ///   active, or the write fails.
     pub(in crate::execution) fn record_credit_inflows_for_withdrawals(
         &self,
         credit_mints: Credits,
 
@@ -21,6 +21,20 @@ where
     /// move the total in a block) and before the app hash is taken; blocks that leave the total
     /// untouched cost one read and no write. Until an entry is a day old the limit applies its
     /// bootstrap rule, so pooling never depends on this block's entry.
+    ///
+    /// # Parameters
+    ///
+    /// * `block_info`: The block being executed; its time keys the new entry.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version; its withdrawal constants bound the prune.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the history holds this block's total (unchanged when the total equals the
+    ///   latest entry), or at once when the protocol version has no history (the method version
+    ///   is `None`).
+    /// * `Err(Error)` when the method version (or the Drive method it calls) is unknown or not
+    ///   active, the total credits are missing from state, or a read or write fails.
     pub(in crate::execution) fn record_total_credits_history_for_withdrawals(
         &self,
         block_info: &BlockInfo,
 
@@ -19,6 +19,22 @@ use crate::execution::types::state_transition_execution_context::StateTransition
 /// named) must contain the referenced document type, and that type must forbid
 /// deletion. Identity, contract and token targets declare nothing beyond their
 /// kind, so they have nothing to validate here.
+///
+/// # Parameters
+///
+/// * `contract`: The contract being created or updated, whose declarations are checked.
+/// * `drive`: The Drive that foreign referenced contracts are fetched from.
+/// * `block_info`: The block being executed; its epoch prices the contract fetches.
+/// * `execution_context`: The execution context the contract fetch fees are billed to.
+/// * `transaction`: The GroveDB transaction.
+/// * `platform_version`: The platform version.
+///
+/// # Returns
+///
+/// * `Ok(SimpleConsensusValidationResult)`: valid when every declaration holds, otherwise
+///   carrying the consensus error of the first invalid declaration.
+/// * `Err(Error)` when the method version is unknown, a contract fetch fails or returns no
+///   fee, or checking whether a document type records creator ids fails.
 pub(in crate::execution::validation::state_transition) fn validate_data_contract_references(
     contract: &DataContract,
     drive: &Drive,
 
@@ -18,6 +18,25 @@ impl Drive {
     /// `replaces_existing` the replacement of the one the document has: a restore marks the
     /// record restored, and the deletion of a restored document writes a fresh record in its
     /// place. `moderator_id` pays for the record, or for the bytes a replacement adds.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract the document belonged to.
+    /// * `document_type_name`: The document's type.
+    /// * `document_id`: The deleted document's id, which keys the record.
+    /// * `removal`: The record: owner, moderator, time, document hash, restoration and reason.
+    /// * `replaces_existing`: Whether the document already has a record this one replaces.
+    /// * `moderator_id`: The moderator that pays for the record, named in its storage flags.
+    /// * `block_info`: The block being executed; its epoch goes in the storage flags.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map, when only estimating costs.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(Vec<LowLevelDriveOperation>)` with the insert (or, outside estimation, the
+    ///   replace) of the record.
+    /// * `Err(Error)` when the method version is unknown or building an operation fails.
     #[allow(clippy::too_many_arguments)]
     pub fn add_contract_document_removal_operations(
         &self,
 
@@ -12,6 +12,17 @@ use std::collections::HashMap;
 impl Drive {
     /// Adds the estimated layer information for creating a contract's moderation list trees:
     /// the levels up to the contract and the contract's own subtree.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract whose moderation trees are created.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map the layers are added to.
+    /// * `drive_version`: The drive version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the layers are added to the map.
+    /// * `Err(Error)` when the method version, or that of a nested estimation, is unknown.
     pub(crate) fn add_estimation_costs_for_contract_moderation_trees(
         contract_id: [u8; 32],
         estimated_costs_only_with_layer_info: &mut HashMap<KeyInfoPath, EstimatedLayerInformation>,
@@ -38,6 +49,18 @@ impl Drive {
 
     /// Adds the estimated layer information for writing one entry of a contract's moderation
     /// list: the levels up to the contract, the contract's subtree and the list's tree.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract the list belongs to.
+    /// * `list`: The moderation list the entry is written to.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map the layers are added to.
+    /// * `drive_version`: The drive version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the layers are added to the map.
+    /// * `Err(Error)` when the method version, or that of a nested estimation, is unknown.
     pub(crate) fn add_estimation_costs_for_contract_moderation_entry(
         contract_id: [u8; 32],
         list: ContractModerationList,
@@ -67,6 +90,17 @@ impl Drive {
     /// Adds the estimated layer information for writing or deleting moderation action counts
     /// of an elected contract: the levels up to the contract, the contract's subtree and the
     /// tree of the counts.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The elected contract the counts belong to.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map the layers are added to.
+    /// * `drive_version`: The drive version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the layers are added to the map.
+    /// * `Err(Error)` when the method version, or that of a nested estimation, is unknown.
     pub(crate) fn add_estimation_costs_for_contract_moderation_action_counts(
         contract_id: [u8; 32],
         estimated_costs_only_with_layer_info: &mut HashMap<KeyInfoPath, EstimatedLayerInformation>,
@@ -93,6 +127,17 @@ impl Drive {
 
     /// Adds the layers a contract insertion or update touches when it creates the trees of
     /// the document removal records.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract whose removal trees are created.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map the layers are added to.
+    /// * `drive_version`: The drive version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the layers are added to the map.
+    /// * `Err(Error)` when the method version, or that of a nested estimation, is unknown.
     pub(crate) fn add_estimation_costs_for_contract_document_removal_trees(
         contract_id: [u8; 32],
         estimated_costs_only_with_layer_info: &mut HashMap<KeyInfoPath, EstimatedLayerInformation>,
@@ -118,6 +163,18 @@ impl Drive {
     }
 
     /// Adds the layers the record of a moderator's document deletion is written through.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract the document belonged to.
+    /// * `document_type_name`: The document's type, whose removal tree holds the record.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map the layers are added to.
+    /// * `drive_version`: The drive version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the layers are added to the map.
+    /// * `Err(Error)` when the method version, or that of a nested estimation, is unknown.
     pub(crate) fn add_estimation_costs_for_contract_document_removal(
         contract_id: [u8; 32],
         document_type_name: &str,
 
@@ -18,6 +18,21 @@ impl Drive {
     /// The records of the documents a contract's moderators deleted, within one document type:
     /// the ones of the ids named, or one page in document id order. A contract or a document
     /// type that keeps no records reads as none.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract whose moderators deleted the documents.
+    /// * `query`: The document type and the selection: document ids, or a page.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(Vec<ContractDocumentRemovalEntry>)` with the records found, in document id order;
+    ///   empty when the contract or the document type keeps no records.
+    /// * `Err(Error)` when the method version is unknown, the query names no ids, too many or a
+    ///   repeated id, or has a limit of zero or above the maximum, a read fails, or a stored
+    ///   record is malformed.
     pub fn fetch_contract_document_removals(
         &self,
         contract_id: Identifier,
@@ -50,6 +65,22 @@ impl Drive {
     /// consensus validation can bill it. The document type must be one whose documents
     /// moderators may delete: its records tree exists since the type was created, so a
     /// missing record reads as `None` and nothing else does.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract the document belonged to.
+    /// * `document_type_name`: The document's type.
+    /// * `document_id`: The document's id.
+    /// * `epoch`: The epoch the read is priced in.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok((FeeResult, Option<ContractDocumentRemoval>))`: the fee of the read and the
+    ///   record, `None` when the document has none.
+    /// * `Err(Error)` when the method version is unknown, the read fails, the record is
+    ///   malformed, or the fee cannot be calculated.
     pub fn fetch_contract_document_removal_with_fee(
         &self,
         contract_id: Identifier,
 
@@ -22,6 +22,22 @@ impl Drive {
     /// root exists is read off the stored contract, and a type's tree is created exactly
     /// once, with the type. A contract without such a document type has no root, so its other
     /// tree keeps the shape it would have had. No tree is made lazily by the first removal.
+    ///
+    /// # Parameters
+    ///
+    /// * `contract_id`: The contract the trees belong to.
+    /// * `with_root`: Whether to also create the tree of all the records.
+    /// * `document_type_names`: The document types to create a records tree for.
+    /// * `storage_flags`: The storage flags of the new trees.
+    /// * `estimated_costs_only_with_layer_info`: The estimation map, when only estimating costs.
+    /// * `transaction`: The GroveDB transaction.
+    /// * `batch_operations`: The operations accumulator the tree inserts are appended to.
+    /// * `platform_version`: The platform version.
+    ///
+    /// # Returns
+    ///
+    /// * `Ok(())` once the tree inserts are appended to `batch_operations`.
+    /// * `Err(Error)` when the method version is unknown or building an insert fails.
     #[allow(clippy::too_many_arguments)]
     pub fn insert_contract_document_removal_trees_operations(
         &self,