Fix cairo fact registry external call

fmkra · fmkra · commit 0d543ec0346e · 2025-11-12T16:07:07.000+01:00
diff --git a/solidity/src/modules/CairoFactRegistryModule.sol b/solidity/src/modules/CairoFactRegistryModule.sol
@@ -40,7 +40,7 @@ contract CairoFactRegistryModule is ICairoFactRegistryModule, AccessController {
     /// @inheritdoc ICairoFactRegistryModule
     function isCairoVerifiedFactValid(bytes32 factHash) public view returns (bool) {
         CairoFactRegistryModuleStorage storage ms = moduleStorage();
-        return ms.facts[factHash] || ms.externalFactRegistry.isValid(factHash);
+        return ms.facts[factHash] || address(ms.externalFactRegistry) != address(0) && ms.externalFactRegistry.isValid(factHash);
     }
 
     /// @inheritdoc ICairoFactRegistryModule

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ contract CairoFactRegistryModule is ICairoFactRegistryModule, AccessController {`
`40`	`40`	`/// @inheritdoc ICairoFactRegistryModule`
`41`	`41`	`function isCairoVerifiedFactValid(bytes32 factHash) public view returns (bool) {`
`42`	`42`	`CairoFactRegistryModuleStorage storage ms = moduleStorage();`
`43`		`- return ms.facts[factHash] \|\| ms.externalFactRegistry.isValid(factHash);`
	`43`	`+ return ms.facts[factHash] \|\| address(ms.externalFactRegistry) != address(0) && ms.externalFactRegistry.isValid(factHash);`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`/// @inheritdoc ICairoFactRegistryModule`