change uint64 to upper case

Author: tcoratger

src/lean_spec/subspecs/chain/config.py

@@ -8,7 +8,7 @@
 from pydantic import BaseModel, ConfigDict
 from typing_extensions import Final
 
-from lean_spec.types import BasisPoint, uint64
+from lean_spec.types import BasisPoint, Uint64
 
 # --- Time Parameters ---
 
@@ -73,15 +73,15 @@ class _ChainConfig(BaseModel):
     model_config = ConfigDict(frozen=True, extra="forbid")
 
     # Time Parameters
-    slot_duration_ms: uint64
+    slot_duration_ms: Uint64
     proposer_reorg_cutoff_bps: BasisPoint
     vote_due_bps: BasisPoint
     fast_confirm_due_bps: BasisPoint
     view_freeze_cutoff_bps: BasisPoint
 
     # State List Length Presets
-    historical_roots_limit: uint64
-    validator_registry_limit: uint64
+    historical_roots_limit: Uint64
+    validator_registry_limit: Uint64
 
 
 # The Devnet Chain Configuration.

src/lean_spec/subspecs/containers/block.py

@@ -3,7 +3,7 @@
 from pydantic import Field
 from typing_extensions import Annotated
 
-from lean_spec.types import Bytes32, StrictBaseModel, uint64
+from lean_spec.types import Bytes32, StrictBaseModel, Uint64
 
 from ..chain import config
 from .vote import Vote
@@ -26,10 +26,10 @@ class BlockBody(StrictBaseModel):
 class BlockHeader(StrictBaseModel):
     """The header of a block, containing metadata."""
 
-    slot: uint64
+    slot: Uint64
     """The slot in which the block was proposed."""
 
-    proposer_index: uint64
+    proposer_index: Uint64
     """The index of the validator that proposed the block."""
 
     parent_root: Bytes32
@@ -45,10 +45,10 @@ class BlockHeader(StrictBaseModel):
 class Block(StrictBaseModel):
     """Represents a single block in the chain."""
 
-    slot: uint64
+    slot: Uint64
     """The slot in which the block was proposed."""
 
-    proposer_index: uint64
+    proposer_index: Uint64
     """The index of the validator that proposed the block."""
 
     parent_root: Bytes32

src/lean_spec/subspecs/containers/checkpoint.py

@@ -1,6 +1,6 @@
 """Checkpoint Container."""
 
-from lean_spec.types import Bytes32, StrictBaseModel, uint64
+from lean_spec.types import Bytes32, StrictBaseModel, Uint64
 
 
 class Checkpoint(StrictBaseModel):
@@ -9,5 +9,5 @@ class Checkpoint(StrictBaseModel):
     root: Bytes32
     """The root hash of the checkpoint's block."""
 
-    slot: uint64
+    slot: Uint64
     """The slot number of the checkpoint's block."""

src/lean_spec/subspecs/containers/config.py

@@ -1,6 +1,6 @@
 """Consensus Configuration Container."""
 
-from lean_spec.types import StrictBaseModel, uint64
+from lean_spec.types import StrictBaseModel, Uint64
 
 
 class Config(StrictBaseModel):
@@ -11,8 +11,8 @@ class Config(StrictBaseModel):
     in the absence of more complex mechanisms like RANDAO or deposits.
     """
 
-    num_validators: uint64
+    num_validators: Uint64
     """The total number of validators in the network."""
 
-    genesis_time: uint64
+    genesis_time: Uint64
     """The timestamp of the genesis block."""

src/lean_spec/subspecs/containers/state.py

@@ -4,7 +4,7 @@
 from typing_extensions import Annotated
 
 from lean_spec.subspecs.chain import DEVNET_CONFIG
-from lean_spec.types import Bytes32, StrictBaseModel, uint64
+from lean_spec.types import Bytes32, StrictBaseModel, Uint64
 
 from .block import BlockHeader
 from .checkpoint import Checkpoint
@@ -19,7 +19,7 @@ class State(StrictBaseModel):
     """The chain's configuration parameters."""
 
     # Slot and block tracking
-    slot: uint64
+    slot: Uint64
     """The current slot number."""
 
     latest_block_header: BlockHeader

src/lean_spec/subspecs/containers/vote.py

@@ -1,17 +1,17 @@
 """Vote Containers."""
 
-from lean_spec.types import Bytes32, StrictBaseModel, uint64
+from lean_spec.types import Bytes32, StrictBaseModel, Uint64
 
 from .checkpoint import Checkpoint
 
 
 class Vote(StrictBaseModel):
     """Represents a validator's vote for chain head."""
 
-    validator_id: uint64
+    validator_id: Uint64
     """The index of the voting validator."""
 
-    slot: uint64
+    slot: Uint64
     """The slot for which this vote is cast."""
 
     head: Checkpoint

src/lean_spec/types/__init__.py

@@ -3,10 +3,10 @@
 from .base import StrictBaseModel
 from .basispt import BasisPoint
 from .hash import Bytes32
-from .uint64 import uint64
+from .uint64 import Uint64
 
 __all__ = [
-    "uint64",
+    "Uint64",
     "BasisPoint",
     "Bytes32",
     "StrictBaseModel",

src/lean_spec/types/basispt.py

@@ -3,10 +3,10 @@
 from pydantic import Field
 from typing_extensions import Annotated
 
-from ..types.uint64 import uint64
+from ..types.uint64 import Uint64
 
 BasisPoint = Annotated[
-    uint64,
+    Uint64,
     Field(le=10000, description="A value in basis points (1/10000)."),
 ]
 """

src/lean_spec/types/uint64.py

@@ -6,5 +6,5 @@
 UINT64_MAX = 2**64
 """The maximum value for an unsigned 64-bit integer (2**64)."""
 
-uint64 = Annotated[int, Field(ge=0, lt=UINT64_MAX)]
+Uint64 = Annotated[int, Field(ge=0, lt=UINT64_MAX)]
 """A type alias to represent a uint64."""