added FInal markings and stubtest_allowlist comments

Author: Remco646

stubs/ephem/@tests/stubtest_allowlist.txt

@@ -1,6 +1,11 @@
+# Tests
 ephem.tests.*
+
+# Leaked loop variables
 ephem.stars.k
 ephem.stars.v
+
+# Runtime signature has *args/**kwargs that raise TypeError; stub signature is correct
 ephem._libastro.Observer.__init__
 ephem.FixedBody.__init__
 ephem._libastro.FixedBody.__init__

stubs/ephem/ephem/__init__.pyi

@@ -5,31 +5,31 @@ from typing_extensions import Self
 
 from . import _libastro
 
-__version__: str
+__version__: Final[str]
 
 # Mathematical constants
-tau: float
-twopi: float
-halfpi: float
-quarterpi: float
-eighthpi: float
-degree: float
-arcminute: float
-arcsecond: float
-half_arcsecond: float
-tiny: float
+tau: Final[float]
+twopi: Final[float]
+halfpi: Final[float]
+quarterpi: Final[float]
+eighthpi: Final[float]
+degree: Final[float]
+arcminute: Final[float]
+arcsecond: Final[float]
+half_arcsecond: Final[float]
+tiny: Final[float]
 
 # Physical constants
-c: float
-meters_per_au: float
-earth_radius: float
-moon_radius: float
-sun_radius: float
+c: Final[float]
+meters_per_au: Final[float]
+earth_radius: Final[float]
+moon_radius: Final[float]
+sun_radius: Final[float]
 
 # Epoch constants
-B1900: float
-B1950: float
-J2000: float
+B1900: Final[float]
+B1950: Final[float]
+J2000: Final[float]
 
 # Type imports from _libastro
 Angle = _libastro.Angle
@@ -38,13 +38,13 @@ hours = _libastro.hours
 Date = _libastro.Date
 
 # Time constants
-hour: float
-minute: float
-second: float
+hour: Final[float]
+minute: Final[float]
+second: Final[float]
 
 # Precision constants
-default_newton_precision: float
-rise_set_iterations: tuple[int, int, int, int, int, int, int]
+default_newton_precision: Final[float]
+rise_set_iterations: Final[tuple[int, int, int, int, int, int, int]]
 
 # Function imports from _libastro
 delta_t = _libastro.delta_t

stubs/ephem/ephem/_libastro.pyi

@@ -1,6 +1,6 @@
 from _typeshed import Unused
 from datetime import datetime as _datetime
-from typing import NoReturn, Protocol, TypedDict, overload, type_check_only
+from typing import Final, NoReturn, Protocol, TypedDict, overload, type_check_only
 from typing_extensions import Self, TypeAlias, deprecated, disjoint_base
 
 _DateInitType: TypeAlias = (
@@ -52,12 +52,12 @@ class _AngleDescriptorDegreesRadians:
     @overload
     def __set__(self, obj: object, value: float | str) -> None: ...
 
-J2000: float
-MJD0: float
-earth_radius: float
-meters_per_au: float
-moon_radius: float
-sun_radius: float
+J2000: Final[float]
+MJD0: Final[float]
+earth_radius: Final[float]
+meters_per_au: Final[float]
+moon_radius: Final[float]
+sun_radius: Final[float]
 
 @disjoint_base
 class Angle(float):  # type: ignore[type-var]

stubs/ephem/ephem/stars.pyi

@@ -1,15 +1,15 @@
-from typing import overload
+from typing import Final, overload
 
 from . import FixedBody, Observer
 from ._libastro import _DateInitType
 
-db: str
+db: Final[str]
 stars: dict[str, FixedBody]
 
 @overload
 def star(name: str, observer: Observer, /) -> FixedBody: ...
 @overload
 def star(name: str, when: _DateInitType = ..., epoch: _DateInitType = ...) -> FixedBody: ...
 
-STAR_NUMBER_NAME: dict[int, str]
-STAR_NAME_NUMBER: dict[str, int]
+STAR_NUMBER_NAME: Final[dict[int, str]]
+STAR_NAME_NUMBER: Final[dict[str, int]]