FA-56025 / Astronomical coordinate conventions / Member archive

Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 05

The adapter reports an incorrect frequency derivative while other fields remain valid.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

A reduced pulsar timing model supplies elapsed barycentric time t, spin frequency f, first derivative fd, second derivative fdd, and phase zero p. Phase cycles are p+f*t+fd*t**2/2+fdd*t**3/6. Pulse numbering floors total phase, including negative epochs. Output fields are defined by: phase = d['p']+d['f']*d['t']+d['fd']*d['t']**2/2+d['fdd']*d['t']**3/6; frequency = d['f']+d['fd']*d['t']+d['fdd']*d['t']**2/2; frequency_derivative = d['fd']+d['fdd']*d['t']; pulse_number = int((d['p']+d['f']*d['t']+d['fd']*d['t']**2/2+d['fdd']*d['t']**3/6)//1); folded_phase = (d['p']+d['f']*d['t']+d['fd']*d['t']**2/2+d['fdd']*d['t']**3/6)%1; phase_residual = d['fd']*d['t']**2/2+d['fdd']*d['t']**3/6

Why this case matters

Catalog, detector, sky-coordinate, and spectroscopy adapters must preserve the association between numeric coordinates and their declared reference conventions.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
astronomical fixture 0	`{"folded_phase": 0.4166666666666572, "frequency": 40.5, "frequency_derivative": 2, "phase": 120.41666666666666, "phase_residual": 106.16666666666666, "pulse_number": 120}`	`{"folded_phase": 0.4166666666666572, "frequency": 40.5, "frequency_derivative": 9, "phase": 120.41666666666666, "phase_residual": 106.16666666666666, "pulse_number": 120}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.