FA-56029 / Astronomical coordinate conventions / Member archive

Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 04

The adapter reports an incorrect pulse number while other fields remain valid.

Member previewVariant 4 · 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 2	`{"folded_phase": 0.25, "frequency": 8.0, "frequency_derivative": -4, "phase": -11.75, "phase_residual": 0.0, "pulse_number": -11}`	`{"folded_phase": 0.25, "frequency": 8.0, "frequency_derivative": -4, "phase": -11.75, "phase_residual": 0.0, "pulse_number": -12}`	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.