feat: add related_contracts() WASM export, full RelatedContracts API, and proptest fuzzing

.gitignore

@@ -11,3 +11,4 @@ Cargo.lock
 .env
 
 .idea
+proptest-regressions

rust-macros/src/contract_impl.rs

@@ -489,11 +489,13 @@ impl ImplTrait {
         let update_fn = self.gen_update_state_fn();
         let summarize_fn = self.gen_summarize_state_fn();
         let get_delta_fn = self.gen_get_state_delta();
+        let related_contracts_fn = self.gen_related_contracts_fn();
         quote! {
             #validate_state_fn
             #update_fn
             #summarize_fn
             #get_delta_fn
+            #related_contracts_fn
         }
     }
 
@@ -544,4 +546,16 @@ impl ImplTrait {
             }
         }
     }
+
+    fn gen_related_contracts_fn(&self) -> TokenStream {
+        let type_name = &self.type_name;
+        let ret = self.ffi_ret_type();
+        quote! {
+            #[no_mangle]
+            #[cfg(feature = "freenet-main-contract")]
+            pub extern "C" fn related_contracts() -> #ret {
+                ::freenet_stdlib::memory::wasm_interface::inner_related_contracts::<#type_name>()
+            }
+        }
+    }
 }

rust/Cargo.toml

@@ -60,6 +60,7 @@ bincode = "1"
 wasmer = { version = "5.0.4", features = [ "sys-default"] }
 rand = { version = "0.9", features = ["small_rng"] }
 arbitrary = { version = "1", features = ["derive"] }
+proptest = "1"
 
 [features]
 default = []

rust/src/contract_composition.rs

@@ -1,6 +1,7 @@
 use crate::{
     contract_interface::{
-        ContractError, ContractInstanceId, RelatedContracts, State, UpdateData, ValidateResult,
+        ContractError, ContractInstanceId, RelatedContract, RelatedContracts, State, UpdateData,
+        ValidateResult,
     },
     typed_contract::{MergeResult, RelatedContractsContainer},
 };
@@ -59,6 +60,12 @@ pub trait ContractComponent: std::any::Any + Sized {
         parameters: &Self::Parameters,
         summary: &Self::Summary,
     ) -> Result<Self::Delta, ContractError>;
+
+    /// Declare all related contract dependencies upfront so the runtime can
+    /// pre-fetch them before calling `verify`.
+    fn related_contracts() -> Vec<RelatedContract> {
+        vec![]
+    }
 }
 
 pub enum TypedUpdateData<T: ContractComponent> {