refactor(aggregation): spell out LOG_INVERSE_RATE (#1138)

Rename the LOG_INV_RATE module constant to LOG_INVERSE_RATE to comply
with the no-abbreviations rule. The constant is locally defined and
passed positionally to the Rust prover, so this is a pure Python
identifier rename with no wire impact.

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: tcoratger

src/lean_spec/spec/forks/lstar/containers/aggregation.py

@@ -20,7 +20,7 @@
 from lean_spec.spec.forks.lstar.slot import Slot
 from lean_spec.spec.ssz import ByteList512KiB, Bytes32, Container
 
-LOG_INV_RATE: int = 1 if LEAN_ENV == "test" else 2
+LOG_INVERSE_RATE: int = 1 if LEAN_ENV == "test" else 2
 """
 Inverse-rate exponent forwarded to the SNARK backend.
 
@@ -110,7 +110,7 @@ def aggregate(
                 raw_signatures_ssz,
                 bytes(message),
                 int(slot),
-                LOG_INV_RATE,
+                LOG_INVERSE_RATE,
                 children_bytes or None,
                 mode=LEAN_ENV,
             )
@@ -240,7 +240,7 @@ def aggregate(
         try:
             _, multi_message_aggregate_wire = merge_many_single_message_proof(
                 single_message_aggregate_entries,
-                LOG_INV_RATE,
+                LOG_INVERSE_RATE,
                 mode=LEAN_ENV,
             )
         except Exception as exception:
@@ -289,7 +289,7 @@ def split_by_message(
                 public_keys_per_component_ssz,
                 bytes(self.proof.data),
                 bytes(message),
-                LOG_INV_RATE,
+                LOG_INVERSE_RATE,
                 mode=LEAN_ENV,
             )
         except Exception as exception: