A normalized parallax index is checked by its inverse distance index. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A parallax index has an inverse distance index

The parallax index is 1/5. The checked distance index is 5.

p=15,d=5p=\tfrac{1}{5},\quad d=5
Parallax inverse ledgerThe distance index is recomputed from the parallax.parallaxIndex=1/5distanceIndex=5product=1

The product is the source check

The product 1 confirms that this is a normalized inverse-index rule, not a parsec calibration.

pd=155=1p d=\tfrac{1}{5}\cdot 5=1
Product checkA stale distance label would fail the render check.parallaxIndex=1/5distanceIndex=5product=1