Page actions
instrument mechanism / verified-clean
Sidereal vs Solar Time Converter mechanism
The inspectable method record for Sidereal vs Solar Time Converter, kept separate from implementation and qualification.
Model scope
The exact ambiguity requiring review is whether the instrument converts elapsed durations or actual solar and sidereal clock readings. The empty honest_label is a concern: it should state that this is a mean-rate elapsed-duration converter unless date, longitude, UT1, and apparent/mean sidereal-time handling are added.
- The conversion direction is unspecified: solar elapsed time should be multiplied by 1.0027379 to obtain sidereal elapsed time, while sidereal elapsed time should be divided by 1.0027379 to obtain solar elapsed time.
- The formulas describe elapsed-duration conversion only. Converting clock readings between solar time and sidereal time requires a date, UT1 or equivalent Earth-rotation data, and usually longitude; it is not determined by a fixed multiplication factor alone.
- The stated factor 1.0027379 is rounded. Using 86400 / 86164.0905 gives approximately 1.00273790935, so the claimed precision should be documented.
- The phrase 'IERS sidereal day constant' is ambiguous: the listed 23h56m4.0905s is a conventional mean sidereal-day duration, whereas actual Earth rotation and apparent sidereal time vary with UT1 and date.
Units and conventions
- Inputs are elapsed durations, not civil-clock or sidereal-clock readings tied to a date and location.
- Numerical durations are expressed in SI seconds; the displayed h:m:s values are converted representations of those seconds.
- The supplied rounded factor 1.0027379 is used for all test-vector calculations.
- Solar elapsed seconds to sidereal elapsed seconds: sidereal_seconds = solar_seconds × 1.0027379.
- Sidereal elapsed seconds to solar elapsed seconds: solar_seconds = sidereal_seconds ÷ 1.0027379.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"direction": "solar_to_sidereal",
"solar_seconds": 3600
},
"expected_outputs": {
"sidereal_seconds": 3609.85644,
"sidereal_time": "01:00:09.85644"
},
"working": "1. Convert 1 hour to seconds: 1 × 3600 = 3600 s. 2. Apply the factor: 3600 × 1.0027379 = 3600 + (3600 × 0.0027379) = 3600 + 9.85644 = 3609.85644 s. 3. Convert back to h:m:s: 3609.85644 s = 1 h + 9.85644 s = 01:00:09.85644."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The stated multiplier produces overflow for a representable near-maximum JavaScript number unless the instrument rejects extreme inputs. The specification also leaves modulo-24-hour normalization and clock-time versus elapsed-duration conventions unspecified.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.jsonevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json