Find the naked-eye stars Gaia's HIP cross-match lacks by position, and give two unnamed ones back their names

c64eea0 and ff744a0 left 34 of HYG's stars of V 6.5 or brighter off the map for want of a distance,
saying no survey gave them one. Gaia DR3 does, for twelve, above the ETL's own cut of five times
the parallax error: fetchStars looks Gaia up only by HIP number through hipparcos2_best_neighbour,
which lacks some of theirs (66 Ori's among them), and never looks up a HYG row with no HIP number.
HD 197770 is 1.102 +- 0.029 mas; HD 45291 and HD 124953 were on the map only as bare Gaia entries
a second of arc from where HYG has them, so searching their names found nothing.

fetchStars now fetches, once and cached, Gaia DR3's 35 910 sources brighter than G 7.5 with a
usable parallax, and for a naked-eye row nothing else places takes the nearest within 5" and a
magnitude of its V. At 15" theta-1 Ori (HIP 26220) took the source of theta-1 Ori C, 12.9" away and
already on the map; the twelve found are within 4.1". An ETL run from cache: 455 522 stars become
455 532, the naked-eye stars 8 886 become 8 898 (1 663 past 250 pc), with 66 Ori, HD 49567, HD 54309,
HD 74455, HD 114461, 10 Sge, HD 197770, HD 33948, HD 152249 and HD 162678 added, and HD 45291 and
HD 124953 folded into their Gaia entries under their names. 22 stay out, with no distance anywhere.
In the running app HD 197770 reads "907 +- 25 pc", 66 Ori "469 +- 61 pc", HD 45291 "108 pc" and
HD 124953 "46 pc". Four of the twelve have a RUWE above 3.7 in Gaia; the ETL has never filtered on it.

validateStars now also requires HD 197770 and HD 45291. Control: without the positional lookup,
the ETL fails with "HD 197770 is missing" (the naked-eye floor alone would not see twelve stars go),
and the baseline passes.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

tools/etl/sources/gaia.ts

@@ -291,6 +291,50 @@ export async function fetchGaiaDistancesByHip(): Promise<Map<number, { distanceP
   return distances;
 }
 
+/**
+ * How bright a Gaia source must be to stand in for a naked-eye HYG star, in G, and how many the
+ * archive holds that bright with a usable parallax: 35 910 on 2026-09-30.
+ */
+const BRIGHT_MAGNITUDE_LIMIT = 7.5;
+const BRIGHT_QUERY_ROWS = 35_910;
+
+/** A bright Gaia source's J2000 direction, G magnitude and distance. */
+export interface BrightGaiaSource {
+  direction: { x: number; y: number; z: number };
+  magnitudeG: number;
+  distancePc: number;
+  relativeError: number;
+}
+
+/**
+ * Every Gaia DR3 source brighter than G 7.5 with a usable parallax, at J2000: for the naked-eye
+ * HYG stars nothing else places, found by position. The Hipparcos cross-match above lacks some of
+ * their HIP numbers, and the HYG rows with no HIP number were never looked up at all. Of the 34
+ * HYG stars of V 6.5 or brighter left off the map for want of a distance, 12 are found here: ten
+ * that were missing, 66 Ori and HD 197770 (1.102 ± 0.029 mas) among them, and HD 45291 and
+ * HD 124953, which were on the map only as bare Gaia entries a second of arc from where HYG has them.
+ */
+export async function fetchBrightGaiaSources(): Promise<BrightGaiaSource[]> {
+  const query = [
+    `select top ${ROW_LIMIT} source_id, ra, dec, pmra, pmdec, parallax, parallax_over_error, phot_g_mean_mag`,
+    'from gaiadr3.gaia_source',
+    `where phot_g_mean_mag < ${BRIGHT_MAGNITUDE_LIMIT} and parallax_over_error > ${(1 / MAX_PARALLAX_ERROR_RATIO).toFixed(1)}`,
+    'order by source_id'
+  ].join(' ');
+  console.log(`Fetching Gaia DR3's sources brighter than G ${BRIGHT_MAGNITUDE_LIMIT}, for the naked-eye stars the cross-match lacks...`);
+  const rows = await fetchQueryRows(query, BRIGHT_QUERY_ROWS);
+  const sources: BrightGaiaSource[] = [];
+  for (const row of rows) {
+    const [raDeg, decDeg, parallaxMas, overError, magnitudeG] = ['ra', 'dec', 'parallax', 'parallax_over_error', 'phot_g_mean_mag'].map((column) => parseOptionalNumber(row[column]));
+    if (raDeg === undefined || decDeg === undefined || !parallaxMas || parallaxMas <= 0 || overError === undefined || magnitudeG === undefined) {
+      continue;
+    }
+    const j2000 = propagateProperMotion(raDeg, decDeg, parseOptionalNumber(row['pmra']) ?? 0, parseOptionalNumber(row['pmdec']) ?? 0, CATALOGUE_EPOCH - GAIA_DR3_EPOCH);
+    sources.push({ direction: raDegDecDistanceToXyz(j2000.raDeg, j2000.decDeg, 1), magnitudeG, distancePc: 1000 / parallaxMas, relativeError: 1 / overError });
+  }
+  return sources;
+}
+
 /** The new Hipparcos reduction holds 117 955 stars, and every one has a parallax error. */
 const MIN_HIPPARCOS_ERRORS = 110_000;