review changes

Author: glevco

hathor/verification/verification_service.py

@@ -100,6 +100,7 @@ def verify_basic(self, vertex: BaseTransaction, *, skip_block_weight_verificatio
         """Basic verifications (the ones without access to dependencies: parents+inputs). Raises on error.
 
         Used by `self.validate_basic`. Should not modify the validation state."""
+        # We assert with type() instead of isinstance() because each subclass has a specific branch.
         match vertex.version:
             case TxVersion.REGULAR_BLOCK:
                 assert type(vertex) is Block
@@ -126,6 +127,7 @@ def verify(self, vertex: BaseTransaction, *, reject_locked_reward: bool = True)
         """Run all verifications. Raises on error.
 
         Used by `self.validate_full`. Should not modify the validation state."""
+        # We assert with type() instead of isinstance() because each subclass has a specific branch.
         match vertex.version:
             case TxVersion.REGULAR_BLOCK:
                 assert type(vertex) is Block
@@ -143,6 +145,7 @@ def verify(self, vertex: BaseTransaction, *, reject_locked_reward: bool = True)
                 assert_never(vertex.version)
 
     def verify_without_storage(self, vertex: BaseTransaction) -> None:
+        # We assert with type() instead of isinstance() because each subclass has a specific branch.
         match vertex.version:
             case TxVersion.REGULAR_BLOCK:
                 assert type(vertex) is Block