{"id":"d4852c2c-2de4-4233-8748-eca6b044ba10","arxiv_id":"2604.16006","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The IAU 2000 framework defines local relativistic time scales for each Solar system body without additional scaling, with new TCB-to-local time ephemerides computed for major bodies using INPOP19a.","lead":"This paper summarizes the IAU 2000 relativistic coordinate time scales for the Solar system, argues against scaling local times like TCL for the Moon, and provides practical transformation recipes plus new time ephemerides computed from INPOP19a. Smart generalists might read it to understand the precise time conversions required for accurate space navigation and high-precision astronomical observations.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the interpretive step, yet that step is the explicit content of the IAU 2000 resolutions the paper cites; the manuscript adds only the practical ephemerides. Because the central claim is therefore a restatement of the standard rather than a novel derivation, the assumption does not constitute a load-bearing risk.","tokens_in":1657,"tokens_out":294,"duration_ms":50917,"concrete_test":"Recompute the TCB-to-local-time difference at the Moon's barycenter for epoch JD 2451545.0 using the IAU 2000 metric and coordinate-time definitions quoted in the paper; if the result agrees with the paper's Chebyshev value to within 1 ns, the direct applicability of the framework is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper summarizes the IAU 2000 framework definitions of relativistic coordinate times and reference systems, arguing that they already supply GCRS-like local systems and TCG-like coordinate times for every Solar system body, so that scalings such as TCL are unnecessary. It then derives interrelations with proper time, gives explicit transformation recipes between TCB and the local scales, and supplies Chebyshev ephemerides computed from INPOP19a. No internal inconsistency, hidden assumption, or deviation from the referenced IAU resolutions appears in the argument structure.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript summarizes the IAU 2000 framework for relativistic coordinate times and reference systems, arguing that it already supplies GCRS-like local systems and TCG-like coordinate times for each Solar System body. It therefore concludes that scalings such as TCL for the Moon are unnecessary. The paper discusses relations between these coordinate times and proper time, supplies explicit transformation recipes between TCB and the local scales, and presents Chebyshev-polynomial time ephemerides derived from the INPOP19a model for all major bodies, with the ephemerides made available online.","tokens_in":1767,"tokens_out":427,"duration_ms":44676,"significance":"If the central argument is accepted, the work provides a clear, practical consolidation of the IAU framework for local time scales, which could reduce ambiguity in Solar-System ephemeris construction and dynamical modeling. The explicit transformation recipes and the release of ready-to-use Chebyshev ephemerides constitute a concrete, reproducible contribution that directly benefits practitioners working with high-precision timing in astrometry and planetary dynamics.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction would benefit from an explicit list of the specific IAU 2000 resolutions (e.g., B1.3, B1.4) that are invoked to define the local GCRS-like systems, so that readers can immediately locate the foundational statements.","section":null},{"comment":"The section presenting the transformation recipes should include a short worked numerical example (e.g., TCB to local time at a given epoch for the Moon) to illustrate the practical application of the formulas.","section":null},{"comment":"The statement that the Chebyshev ephemerides are 'available online' should be accompanied by a permanent identifier (DOI or stable URL) in the final published version.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is primarily a synthesis and practical implementation rather than a novel theoretical derivation; this may affect its priority for a methods-focused journal if the scope favors original algorithmic advances over consolidation of existing IAU standards."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript, the positive evaluation of its significance for consolidating the IAU 2000 framework, and the recommendation of minor revision. We note that the report does not list any specific major comments requiring point-by-point response.","responses":[],"tokens_in":1187,"tokens_out":72,"duration_ms":33671,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's core message is that the IAU 2000 framework already provides the right relativistic local reference systems and coordinate times for every Solar system body, so things like scaling the Moon's time to TCL are not needed. It backs this with the definitions, discusses proper time relations, gives transformation formulas between TCB and the local times, and computes fresh ephemerides from INPOP19a for all major bodies as Chebyshev polynomials available online. What is new here is those ephemerides. The theoretical part is mostly a recap of established resolutions, but the numerical extension to all bodies and the explicit argument against scaling add practical value. The work is grounded in the independent INPOP19a model, with no internal parameters fitted to the results themselves. Soft spots are limited. The abstract does not show full validation steps against other ephemerides, though the source model is well-known. If the full paper has those checks, it strengthens the case; otherwise it is a minor gap for users who want cross-checks. The claim that scalings are unreasonable follows directly from the IAU setup, so it holds if one accepts the framework. This paper is aimed at people who build or use high-precision Solar system ephemerides, astrometric software, or navigation systems. A specialist in the subfield will find the recipes and data files immediately usable. It is solid enough for peer review because it delivers verifiable numerical products on top of a standard framework and addresses a specific practical issue without overclaiming. I recommend sending it out for review.","headline":"This paper recaps the IAU 2000 time scales, argues against extra scalings like TCL, and supplies new practical ephemerides computed from INPOP19a.","tokens_in":2262,"tokens_out":390,"would_cite":false,"duration_ms":40710,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The IAU 2000 framework already defines relativistic local coordinate times for each body in the Solar system, making additional scalings unreasonable.","keywords":["relativistic time scales","IAU 2000","coordinate times","Solar system","ephemerides","TCB","TCG","GCRS"],"falsifier":"A high-precision timing comparison for a lunar or planetary mission where predictions using the unscaled local coordinate times deviate from observed clock differences by more than the expected measurement uncertainty would challenge the claim.","tokens_in":2549,"feed_emoji":"","tokens_out":678,"duration_ms":55772,"temperature":0.7,"pith_summary":"The paper establishes that the IAU 2000 framework already supplies relativistic local GCRS-like reference systems and TCG-like coordinate times for every Solar system body. It explains the connections between these coordinate times and the proper time of an observer while giving practical transformation methods from the barycentric TCB to the local times. The central argument is that scaling local coordinate times, such as introducing TCL for the Moon, lacks justification within the existing definitions. This clarification supports consistent timing in precise astronomical work and space navigation by avoiding unneeded adjustments to the framework.","feed_headline":"IAU framework defines local relativistic times for all Solar bodies","feed_subtitle":"Additional scalings like TCL for the Moon are unnecessary, with ephemerides computed for major bodies.","key_machinery":"IAU 2000 definitions of relativistic coordinate times and reference systems extended to local GCRS-like systems and TCG-like times for each Solar system body","core_discovery":"The IAU 2000 framework already defines relativistic local GCRS-like reference systems and the corresponding TCG-like coordinate times for each body of the Solar system. Any scaling of the local coordinate times like TCL for the Moon is unreasonable. Practical recipes of the transformations between TCB and the local coordinate time scales (TCG, TCL, etc) are then discussed. Time ephemerides giving the transformation between TCB and the local coordinate times at the center of mass of the corresponding body are computed for all major bodies of the Solar system using INPOP19a.","pith_inferences":["This approach may simplify software for converting times across multiple bodies in space mission planning.","The computed ephemerides provide a concrete basis for testing timing consistency against real spacecraft data.","Similar local time definitions could be examined for applicability in extended operations involving multiple Solar system bodies."],"forward_implications":["Transformations between TCB and the local coordinate times can be applied directly using the given recipes without introducing scalings.","Time ephemerides for all major Solar system bodies are available as standard Chebyshev polynomials for practical use.","The relations between coordinate times and an observer's proper time follow directly from the IAU definitions for consistent clock synchronization.","No changes to the IAU framework are required to define and use local times on individual bodies."],"fun_headline_variants":["IAU 2000 defines local times on all solar bodies","Scaling local times for the Moon is unnecessary","Ephemerides map TCB to centers of major bodies","Transformations between TCB and local times provided"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The IAU 2000 definitions of coordinate times and reference systems extend directly and without modification to local systems for every Solar system body, making additional scalings unnecessary.","fun_headline_variants_meta":{"raw":{"variants":["IAU 2000 defines local times on all solar bodies","Scaling local times for the Moon is unnecessary","Ephemerides map TCB to centers of major bodies","Transformations between TCB and local times provided"]},"model":"grok-4.3","cost_usd":0.008472,"raw_usage":{"total_tokens":3732,"prompt_tokens":633,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":84715500,"prompt_tokens_details":{"text_tokens":633,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3038,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":633,"tokens_out":61,"duration_ms":50422,"temperature":1.0,"reasoning_tokens":3038,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-10T07:44:36.784945+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A high-precision timing comparison for a lunar or planetary mission where predictions using the unscaled local coordinate times deviate from observed clock differences by more than the expected measurement uncertainty would challenge the claim.","supporting_citations":[],"review_version":1}