@ksp-gonogo/sitrep-sdk 1.0.0-rc.21 → 2.0.0-rc.23

package/src/spine/context.tsx

@@ -406,6 +406,7 @@ export function useTelemetryClientOptional(): TelemetryClient | undefined {
 export function useStreamRecorder(
   options?: StreamRecorderOptions,
 ): StreamRecorder | undefined {
+  // gonogo:reads none
   const client = useTelemetryClientOptional();
   const recordAllTopics = options?.recordAllTopics ?? false;
   return useMemo(
@@ -534,6 +535,7 @@ function removeLast<Item>(stack: Item[], item: Item): void {
 }
 
 export function useViewClock(): ViewClockView {
+  // gonogo:reads none
   return useTelemetryStore().clock;
 }
 
@@ -546,6 +548,7 @@ export function useViewClock(): ViewClockView {
  * provider being in the tree.
  */
 export function useViewClockOptional(): ViewClockView | undefined {
+  // gonogo:reads none
   return useTelemetryStoreOptional()?.clock;
 }
 
@@ -652,6 +655,7 @@ function useFrameInstant(
  * predicted" distinction to wait out.
  */
 export function useUtNow(): number | undefined {
+  // gonogo:reads none
   const store = useTelemetryStoreOptional();
   const clock = store?.clock;
   const [utNow, setUtNow] = useState<number | undefined>(() => {

package/src/spine/contributions.ts

@@ -120,29 +120,29 @@ export const DEFAULT_CONTRIBUTION_PRIORITY = 1;
  * Every contribution that WINS the slot: the highest priority band present, in
  * registration order.
  *
- * <p>Equal priority is not a tie to break. Everyone in the winning band renders,
+ * Equal priority is not a tie to break. Everyone in the winning band renders,
  * which is what lets two mutually-unaware mods both put their vessels on one
  * diagram; only a STRICTLY higher band displaces. Nothing sets a priority unless
  * it means to, so the ordinary case is one band holding every contributor,
- * exactly as before.</p>
+ * exactly as before.
  *
- * <p>What the band buys is a host widget filling its OWN slot. It contributes
+ * What the band buys is a host widget filling its OWN slot. It contributes
  * what it can read at one below {@link DEFAULT_CONTRIBUTION_PRIORITY}, so a
  * career overhaul that can answer where the host cannot displaces it instead of
  * appearing beside it as a second copy of the same list. It is the contribution
  * twin of `AugmentDefinition.suppressesVanillaBase`, and it is declared by the
  * contributor rather than by the host for the same reason: the host cannot know
- * which of its guests supersedes it.</p>
+ * which of its guests supersedes it.
  *
- * <p>A contribution that means to render ALONGSIDE the host's own rows says so
- * by taking the host's band explicitly.</p>
+ * A contribution that means to render ALONGSIDE the host's own rows says so
+ * by taking the host's band explicitly.
  *
- * <p>Self-contributing has a cost, and it is worth knowing before choosing it: a
+ * Self-contributing has a cost, and it is worth knowing before choosing it: a
  * widget that reads its own data this way no longer renders anything without a
  * `WidgetMetaContext` and a `ContributionsProvider` above it, and it fails by
  * drawing an empty widget rather than by raising. See `useContributions`
  * (`@ksp-gonogo/ui-kit`) for what that costs a test, and `clearContributions`
- * below for the other half of it.</p>
+ * below for the other half of it.
  */
 export function getContributionsForSlot(slot: string): AnyContribution[] {
   const inSlot = Array.from(state().entries.values()).filter(
@@ -192,18 +192,18 @@ export function getContributionSettings(
 /**
  * For use in tests only, resets the contribution registry to empty.
  *
- * <p><b>It empties the registry, which includes the contributions a HOST widget
- * makes to its own slot.</b> Those register as a module side effect, at import,
+ * **It empties the registry, which includes the contributions a HOST widget
+ * makes to its own slot.** Those register as a module side effect, at import,
  * and nothing re-runs an import. So a test file that clears between cases leaves
  * every case after the first rendering a host with none of its own data, which
  * surfaces as a widget that draws its chrome and no content, and reads as a
- * telemetry fault rather than as a registry that was emptied on purpose.</p>
+ * telemetry fault rather than as a registry that was emptied on purpose.
  *
- * <p>A self-contributing widget therefore exports a function that performs its
+ * A self-contributing widget therefore exports a function that performs its
  * registration, for a test to call after clearing;
  * `SpaceCenterStatus/facilitiesContribution.ts`'s
  * `registerStockFacilityContribution` is the worked example. Re-registering the
- * identical def is a no-op, so calling it when nothing was cleared is safe.</p>
+ * identical def is a no-op, so calling it when nothing was cleared is safe.
  */
 export function clearContributions(): void {
   const s = state();

package/src/spine/core-reckoners.ts

@@ -716,7 +716,7 @@ function registerCommsDelayReckoner(): void {
         observed,
         craft: orbitPoint.payload,
         peer: located,
-        facts: deriveCelestialFacts(bodiesPoint?.payload?.bodies, reckonUt),
+        facts: deriveCelestialFacts(bodiesPoint?.payload?.bodies),
       });
       if ("declined" in fit) return fit;
       return {
@@ -780,10 +780,7 @@ function registerTargetRosterReckoner(): void {
         return { declined: { reason: "input-absent", input: "@vessel.orbit" } };
       }
       const craft = orbitPoint.payload;
-      const facts = deriveCelestialFacts(
-        bodiesPoint?.payload?.bodies,
-        reckonUt,
-      );
+      const facts = deriveCelestialFacts(bodiesPoint?.payload?.bodies);
       const known = knownCraftOrbits(entries, facts).filter((k) =>
         Number.isFinite(knownCraftRangeAt(craft, k, facts, reckonUt)),
       );

package/src/spine/held-command-actions.ts

@@ -1,6 +1,7 @@
 import { useCallback, useMemo } from "react";
 import { isUnit } from "../unit-system/guards";
 import { isValue, type Value } from "../unit-system/value";
+import type { TelemetryClient } from "./client";
 import { type HeldCommand, JOURNEY_TOPIC, readJourney } from "./comms-journey";
 import { useTelemetryClientOptional } from "./context";
 import { useLatestValue } from "./use-stream";
@@ -58,6 +59,21 @@ export function readUplinkActionReply(result: unknown): UplinkActionOutcome {
   };
 }
 
+/** Sends a cancel or a send again for timeline `epoch`, and reads the reply. */
+export async function sendUplinkAction(
+  client: TelemetryClient,
+  epoch: Value<"count">,
+  command: string,
+  args: Record<string, unknown>,
+): Promise<UplinkActionOutcome> {
+  const { result } = client.dispatch(command, { epoch, ...args });
+  try {
+    return readUplinkActionReply(await result);
+  } catch (error) {
+    return { refusal: error instanceof Error ? error.message : "refused" };
+  }
+}
+
 /** The two actions a held command offers, bound to this session's client and the current timeline. */
 export interface HeldCommandActions {
   /** Cancels the command, or it and every later command on its lane. */
@@ -75,6 +91,7 @@ export interface HeldCommandActions {
  * game load is refused rather than applied to a different game.
  */
 export function useHeldCommandActions(): HeldCommandActions {
+  // gonogo:reads none
   const client = useTelemetryClientOptional();
   const journeyPayload = useLatestValue<unknown>(JOURNEY_TOPIC);
   const epoch = useMemo(
@@ -90,12 +107,7 @@ export function useHeldCommandActions(): HeldCommandActions {
       if (!client || epoch === undefined) {
         return { refusal: "not connected" };
       }
-      const { result } = client.dispatch(command, { epoch, ...args });
-      try {
-        return readUplinkActionReply(await result);
-      } catch (error) {
-        return { refusal: error instanceof Error ? error.message : "refused" };
-      }
+      return sendUplinkAction(client, epoch, command, args);
     },
     [client, epoch],
   );

package/src/spine/impact-point.ts

@@ -24,12 +24,7 @@ import {
   Quality,
 } from "../__generated__/contract";
 import { magnitudeOr, type Quantityish } from "../magnitude";
-import {
-  canPropagate,
-  rotatePerifocalToInertial,
-  type Vector3,
-} from "./kepler";
-import { buildElements } from "./kepler-reckoning";
+import { canPropagate, type Vec3Tuple } from "./kepler";
 import {
   groundTrackSamples,
   type PatchSpan,
@@ -332,10 +327,9 @@ function lerpPoint(
  * bound.
  *
  * A latitude and longitude need the point in a frame whose z axis is the
- * body's spin axis and whose centre is the body itself. The two frames an arc
- * can arrive in that give that are the perifocal frame of these elements, which
- * the elements' own rotation lifts back into the body-centred inertial frame
- * they are measured in, and that inertial frame directly. Any other frame, a
+ * body's spin axis and whose centre is the body itself. The one frame an arc
+ * can arrive in that gives that is the body-centred inertial frame the elements
+ * are measured in. Any other frame, a
  * different centre, or lengths that are not metres answers no impact rather
  * than a guess, and never falls back to a conic the provider did not offer.
  *
@@ -361,29 +355,8 @@ function arcImpact(
   ) {
     return null;
   }
-  const resolveLift = (): ((p: TrajectoryPoint) => Vector3) | null => {
-    if (frame.kind === TrajectoryFrameKindLike.BodyCentredInertial) {
-      return (p) => [p.x, p.y, p.z];
-    }
-    if (frame.kind === TrajectoryFrameKindLike.Perifocal) {
-      const { inc, lan, argPe } = buildElements(orbit);
-      const pHat = rotatePerifocalToInertial(1, 0, inc, lan, argPe);
-      const qHat = rotatePerifocalToInertial(0, 1, inc, lan, argPe);
-      const wHat: Vector3 = [
-        pHat[1] * qHat[2] - pHat[2] * qHat[1],
-        pHat[2] * qHat[0] - pHat[0] * qHat[2],
-        pHat[0] * qHat[1] - pHat[1] * qHat[0],
-      ];
-      return (p) => [
-        p.x * pHat[0] + p.y * qHat[0] + p.z * wHat[0],
-        p.x * pHat[1] + p.y * qHat[1] + p.z * wHat[1],
-        p.x * pHat[2] + p.y * qHat[2] + p.z * wHat[2],
-      ];
-    }
-    return null;
-  };
-  const lift = resolveLift();
-  if (!lift) return null;
+  if (frame.kind !== TrajectoryFrameKindLike.BodyCentredInertial) return null;
+  const lift = (p: TrajectoryPoint): Vec3Tuple => [p.x, p.y, p.z];
 
   const surface = bodyRadius + MIN_IMPACT_ALT_M;
   const endUt = ref.ut + walkSec;
@@ -404,7 +377,7 @@ function arcImpact(
     rotationPeriod,
   );
 
-  let previous: { at: Vector3; ut: number } = { at: start, ut: ref.ut };
+  let previous: { at: Vec3Tuple; ut: number } = { at: start, ut: ref.ut };
   for (let i = startAt; i < points.length; i++) {
     const next = { at: lift(points[i]), ut: points[i].ut };
     if (next.ut <= previous.ut) continue;
@@ -415,7 +388,7 @@ function arcImpact(
       const f = (rPrev - surface) / (rPrev - rNext);
       const ut = previous.ut + (next.ut - previous.ut) * f;
       if (ut > endUt) return null;
-      const at: Vector3 = [
+      const at: Vec3Tuple = [
         previous.at[0] + (next.at[0] - previous.at[0]) * f,
         previous.at[1] + (next.at[1] - previous.at[1]) * f,
         previous.at[2] + (next.at[2] - previous.at[2]) * f,

package/src/spine/index.ts

@@ -50,6 +50,7 @@
 export * from "../rail-tags";
 export * from "./atmospheric-reckoning";
 export * from "./body-derivations";
+export * from "./body-pose";
 export * from "./capability-lock";
 export * from "./celestial-facts";
 export * from "./channel-error-warning";
@@ -58,6 +59,7 @@ export * from "./client-reading";
 export * from "./client-timeline";
 export * from "./clock";
 export * from "./command-gate";
+export * from "./command-group";
 export * from "./comms-delay-reckoning";
 export * from "./comms-journey";
 export * from "./comms-path-geometry";
@@ -91,6 +93,7 @@ export * from "./orbit-trajectory";
 export * from "./orbital-solve";
 export * from "./own-craft-vantage";
 export * from "./past-track";
+export * from "./phase-angle";
 export * from "./processorEvaluator";
 export * from "./processors";
 export * from "./propagation";
@@ -120,12 +123,14 @@ export * from "./use-body-states";
 export * from "./use-command";
 export * from "./use-data-sources";
 export * from "./use-late-telemetry-subscribe";
+export * from "./use-orbit-curve";
 export * from "./use-orbit-trajectory";
 export * from "./use-processor";
 export * from "./use-route-commands";
 export * from "./use-selected-vantage";
 export * from "./use-stream";
 export * from "./use-stream-event";
+export * from "./use-system-instant";
 export * from "./use-telemetry";
 export * from "./use-transmissions";
 export * from "./view-clock";

package/src/spine/kepler-reckoning.ts

@@ -8,7 +8,7 @@ import type {
   OrbitElements,
   PropagationHorizonLike,
   StateVector,
-  Vector3,
+  Vec3Tuple,
 } from "./kepler";
 import {
   canPropagate,
@@ -549,7 +549,7 @@ export function underPhysics(input: string, note: string): ReckoningDecline {
 }
 
 /** The length of a bare three-component vector. */
-export function magnitude(v: Vector3): number {
+export function magnitude(v: Vec3Tuple): number {
   return Math.sqrt(v[0] * v[0] + v[1] * v[1] + v[2] * v[2]);
 }
 

package/src/spine/kepler.ts

@@ -189,7 +189,7 @@ export interface OrbitElements {
  *
  * @category Frames of reference
  */
-export type Vector3 = readonly [x: number, y: number, z: number];
+export type Vec3Tuple = readonly [x: number, y: number, z: number];
 
 /**
  * A position and velocity relative to the parent body, at one instant, in
@@ -198,8 +198,8 @@ export type Vector3 = readonly [x: number, y: number, z: number];
  * @category Orbits and trajectories
  */
 export interface StateVector {
-  position: Vector3;
-  velocity: Vector3;
+  position: Vec3Tuple;
+  velocity: Vec3Tuple;
 }
 
 /**
@@ -418,7 +418,7 @@ export function solve(orbit: OrbitElements, ut: number): StateVector {
  * Starts from a high-eccentricity guess where it needs one, so it converges
  * just after periapsis on a near-parabolic orbit too.
  *
- * <b>Exported as ARITHMETIC, not as propagation.</b> It takes a mean anomaly
+ * **Exported as ARITHMETIC, not as propagation.** It takes a mean anomaly
  * and an eccentricity and returns an angle: no elements, no frame, no time, so
  * it cannot say "where is this craft" and is not a way around the propagation
  * seam. That question goes through a provider, and on the C# side the
@@ -484,6 +484,8 @@ function solveWrappedEccentricAnomaly(
  * `zPf` is the part along the orbit normal. A conic has none, so it is left
  * out and the vector is planar; an integrated arc leaves the osculating plane
  * and passes it.
+ *
+ * @category Orbits and trajectories
  */
 export function rotatePerifocalToInertial(
   xPf: number,
@@ -492,7 +494,7 @@ export function rotatePerifocalToInertial(
   lan: number,
   argPe: number,
   zPf = 0,
-): Vector3 {
+): Vec3Tuple {
   const cosLan = Math.cos(lan);
   const sinLan = Math.sin(lan);
   const cosArgPe = Math.cos(argPe);
@@ -539,11 +541,11 @@ export function rotatePerifocalToInertial(
  * a conic does not.
  */
 export function rotateInertialToPerifocal(
-  v: Vector3,
+  v: Vec3Tuple,
   inc: number,
   lan: number,
   argPe: number,
-): Vector3 {
+): Vec3Tuple {
   const cosLan = Math.cos(lan);
   const sinLan = Math.sin(lan);
   const cosArgPe = Math.cos(argPe);

package/src/spine/lagrange.ts

@@ -46,7 +46,7 @@
 
 import { PerfBudget } from "../perf/PerfBudget";
 import type { CelestialBody, CelestialFacts } from "./celestial-facts";
-import type { Vector3 } from "./kepler";
+import type { Vec3Tuple } from "./kepler";
 import {
   type FrameInstant,
   frameInstantAt,
@@ -139,9 +139,9 @@ export interface LibrationPoint {
    * The point in the pair's rotating-pulsating frame: multiples of the pair's
    * separation, and CONSTANT for as long as the pair's mass ratio is.
    */
-  frame: Vector3;
+  frame: Vec3Tuple;
   /** The same point in root-centred inertial metres at the answer's `ut`. */
-  inertial: Vector3;
+  inertial: Vec3Tuple;
 }
 
 /**
@@ -221,7 +221,7 @@ export type LibrationStationKeeping = "on-station" | "drifting" | "elsewhere";
 export interface LibrationOffset {
   nearest: LagrangePointName;
   /** The craft in the pair's frame: multiples of the separation. */
-  vesselFrame: Vector3;
+  vesselFrame: Vec3Tuple;
   /** Straight-line distance from the craft to that point at the answer's `ut`, metres. */
   distanceMetres: number;
   /** The same distance as a multiple of the pair's separation. */
@@ -334,7 +334,7 @@ const COLLINEAR_BRACKET_GAP = 1e-9;
  */
 export function librationPositionsFor(
   massRatio: number,
-): readonly { name: LagrangePointName; frame: Vector3 }[] | null {
+): readonly { name: LagrangePointName; frame: Vec3Tuple }[] | null {
   const mu = massRatio;
   if (!(mu > 0 && mu < 1)) return null;
   const primaryX = -mu;
@@ -501,7 +501,7 @@ export function lagrangePointsAt(
  */
 export function librationOffsetOf(
   answer: LibrationAnswer,
-  vesselInertial: Vector3 | null | undefined,
+  vesselInertial: Vec3Tuple | null | undefined,
 ): LibrationOffset | null {
   if (answer.refusal !== LIBRATION_REFUSALS.NotRefused) return null;
   if (answer.frame === null || vesselInertial == null) return null;

package/src/spine/lifecycle.ts

@@ -13,6 +13,8 @@ import type { CommandErrorCode } from "../__generated__/error-codes";
  * The code picks the sentence and the breach fills it in. Neither is much use
  * alone: a code cannot say "16 of 16", and a pair of numbers does not say which
  * sentence they belong in.
+ *
+ * @category Commands
  */
 export interface CommandRefusalDetail {
   /** The command id that was dispatched, e.g. `career.facility.upgrade`. */
@@ -47,6 +49,8 @@ export interface CommandRefusalDetail {
  * The `id` is the dispatch's own `requestId`, so the same `dismiss(id)` clears a
  * refusal and a dead in-flight command, and the operator has one gesture rather
  * than two that look alike.
+ *
+ * @category Commands
  */
 export interface CommandRefusal extends CommandRefusalDetail {
   id: string;
@@ -70,6 +74,8 @@ export interface CommandRefusal extends CommandRefusalDetail {
  *
  * The `id` is the dispatch's own `requestId`, so one `dismiss(id)` clears a
  * loss, a refusal and a dead in-flight command alike.
+ *
+ * @category Commands
  */
 export interface CommandLoss {
   id: string;
@@ -96,6 +102,8 @@ export interface CommandLoss {
  *
  * It carries everything the loss did, so a surface drawing the loss can draw
  * this in its place, plus the transport's own reason.
+ *
+ * @category Commands
  */
 export interface CommandUndelivered extends CommandLoss {
   /** Why it will never go, in the transport's own words. */
@@ -110,6 +118,8 @@ export interface CommandUndelivered extends CommandLoss {
  * Not a refusal, which is the game's verdict on the command itself, and not a
  * loss, which carries no news at all. The mod said what became of it, and
  * `code` says which of those it was.
+ *
+ * @category Commands
  */
 export interface CommandFailure extends CommandLoss {
   /** The fault the mod answered with, a `FaultCode` id. `describeErrorCode` gives its sentence. */
@@ -131,6 +141,8 @@ export interface CommandFailure extends CommandLoss {
  * that proves it. Nothing here prevents or undoes the execution; the command ran
  * (or was refused, or broke) exactly as it would have done had the reply arrived
  * on time, and the only thing that was ever wrong was our silence about it.
+ *
+ * @category Commands
  */
 export type CommandFound = CommandLoss & CommandFoundOutcome;
 
@@ -152,6 +164,8 @@ export type CommandFound = CommandLoss & CommandFoundOutcome;
  *
  * Folding these together would repeat the mistake `CommandStatus` already
  * refused to make when it kept `refused` out of `failed`.
+ *
+ * @category Commands
  */
 export type CommandFoundOutcome =
   | { outcome: "ran"; result: unknown }

package/src/spine/lock-scope.ts

@@ -1,6 +1,10 @@
 import { createContext, useContext, useLayoutEffect } from "react";
 
-/** Something a widget uses that the save may not have unlocked: a topic it reads or a command it holds. */
+/**
+ * Something a widget uses that the save may not have unlocked: a topic it reads or a command it holds.
+ *
+ * @category Panel
+ */
 export type Capability =
   | { kind: "topic"; id: string }
   | { kind: "command"; id: string };
@@ -14,6 +18,12 @@ export type Capability =
 export interface LockScopeRegistry {
   /** Records a capability as used here. Returns its release. */
   claim(capability: Capability): () => void;
+  /**
+   * Hears a capability claimed in a scope nested inside this one, without
+   * counting it toward this scope's lock. Only a scope that records what a
+   * subtree uses needs it, so a scope may leave it out.
+   */
+  observe?(capability: Capability): void;
 }
 
 /** The nearest lock scope, or `null` where none is mounted. */

package/src/spine/map-command.ts

@@ -2,17 +2,9 @@
  * Whether a command rides signal delay at all, read off the mod's own
  * declaration rather than restated here.
  *
- * This file was the WRITE half of the vocabulary migration: a table from
- * widget-facing action keys (`f.ag1`, `t.timeWarp[4]`) onto the typed commands
- * the mod actually serves, plus the toggle-to-absolute bridges those keys needed
- * because a key cannot carry an argument. Every caller now names its command and
- * its arguments directly, so there is nothing left to translate.
- *
- * What is left is one question, and it is no longer answered by a list written
- * here. It used to be: a hand-kept set naming two ids, against the fifty-four
- * the mod ran the instant they arrived, so fifty-two commands were drawn with a
- * countdown and an in-flight queue row that was a fiction about the operator's
- * own order. The answer now comes off `commandRail`, which is fed by
+ * A hand-kept list of delayed commands would draw an undeclared command with
+ * a countdown and an in-flight queue row that is a fiction about the
+ * operator's own order, so the answer comes off `commandRail`, which is fed by
  * the generated map codegen builds from the SAME `[SitrepCommand(Delayed = ...)]`
  * the host dispatches by, and by whatever an Uplink registered from its own
  * generated map. One declaration, both halves reading it.

package/src/spine/mod-settings.ts

@@ -19,6 +19,7 @@ export function modSettingsTopic(uplinkId: string): string {
 export function useModSettings(
   uplinkId: string,
 ): TopicReading<ModSettingsModel> {
+  // gonogo:reads settings.<uplinkId>
   return useStream<ModSettingsModel>(modSettingsTopic(uplinkId));
 }
 

package/src/spine/never-reckonable.ts

@@ -97,12 +97,14 @@ export const NEVER_RECKONABLE = [
   // -- Configuration and catalogues. They change when the GAME changes, never
   // continuously, so a model has no dimension to move them along.
   //
-  // `system.bodies` belongs here even though `systemInstantAt` will put every
-  // body somewhere at any UT, and the two are not in tension: that function
-  // EVALUATES the catalogue's own elements when a caller names an instant, which
-  // is reading a published fact rather than advancing a payload, and the
-  // catalogue it reads is unchanged by it. A reckoner would have to hand the
-  // channel a NEW set of elements each frame, and nothing does or should.
+  // `system.bodies` belongs here, and the channel is the only thing that does:
+  // it never moves, so a reckoner would have to hand it a NEW set of elements
+  // each frame, and nothing does or should. Where a body IS at an instant is a
+  // different question, answered by `SYSTEM_POSES` on top of the channel the way
+  // `vessel.orbit`'s solve is on its own: evaluating the catalogue's elements at
+  // an instant reads a published fact rather than advancing a payload, and the
+  // pose it returns carries the currency (exact, modelled, held, withdrawn) the
+  // bare numbers cannot.
   "system.bodies",
   "time.calendar",
   "game.dlc",

package/src/spine/orbit-patches.ts

@@ -21,6 +21,20 @@ export type PatchConic = Pick<
   | "period"
 >;
 
+/**
+ * A patch with every element a propagation reads present. The wire sends
+ * `lan`, `argPe` and `meanAnomalyAtEpoch` as null where KSP left them
+ * undefined, and such a patch cannot be propagated.
+ */
+export type PropagablePatch = Omit<
+  PatchConic,
+  "lan" | "argPe" | "meanAnomalyAtEpoch"
+> & {
+  [Element in "lan" | "argPe" | "meanAnomalyAtEpoch"]: NonNullable<
+    PatchConic[Element]
+  >;
+};
+
 /** A patch's conic with the window it holds for and the body it is around. */
 export type PatchSpan = PatchConic &
   Pick<OrbitPatch, "startUt" | "endUt" | "referenceBody">;
@@ -88,7 +102,10 @@ const FULL_TURN = value("rad", 2 * Math.PI);
  * patch's window; nothing is clamped, so picking the patch is the caller's.
  * Mean motion comes from the patch's own period.
  */
-export function patchStateAt(patch: PatchConic, ut: number): InertialState {
+export function patchStateAt(
+  patch: PropagablePatch,
+  ut: number,
+): InertialState {
   const { trueAnomaly, radius } = solveConic(
     patch,
     FULL_TURN.dividedBy(patch.period),
@@ -117,9 +134,18 @@ export function geoFromInertial(
   return { lat, lonInertial, alt: state.radius - bodyRadius };
 }
 
-/** Whether the elliptical solve can propagate a patch. Hyperbolic and parabolic patches it cannot. */
-export function isPatchElliptical(patch: PatchConic): boolean {
+/**
+ * Whether the elliptical solve can propagate a patch. Hyperbolic and parabolic
+ * patches it cannot, and neither can one whose `lan`, `argPe` or
+ * `meanAnomalyAtEpoch` is null.
+ */
+export function canPropagatePatch<Patch extends PatchConic>(
+  patch: Patch,
+): patch is Patch & PropagablePatch {
   return (
+    patch.lan != null &&
+    patch.argPe != null &&
+    patch.meanAnomalyAtEpoch != null &&
     patch.ecc.lessThan(1) &&
     patch.period.isFinite() &&
     patch.period.isPositive()
@@ -137,7 +163,7 @@ export function patchHolds(patch: PatchSpan, ut: number): boolean {
  * earlier than `notBeforeUt`. Empty when nothing of the window is left.
  */
 export function patchArc(
-  patch: PatchSpan,
+  patch: PatchSpan & PropagablePatch,
   samples: number,
   notBeforeUt?: number,
 ): { ut: number; state: InertialState }[] {
@@ -180,7 +206,8 @@ export function* groundTrackSamples(
 
   // Calibration needs a patch around the named body, or the inertial longitude is in another frame.
   const calCandidates = calibrationPatches.filter(
-    (p) => p.referenceBody === bodyId && isPatchElliptical(p),
+    (p): p is PatchSpan & PropagablePatch =>
+      p.referenceBody === bodyId && canPropagatePatch(p),
   );
   const refPatch =
     calCandidates.find((p) => patchHolds(p, ref.ut)) ?? calCandidates[0];
@@ -195,7 +222,7 @@ export function* groundTrackSamples(
   for (let patchIndex = 0; patchIndex < patches.length; patchIndex++) {
     const patch = patches[patchIndex];
     if (patch.referenceBody !== bodyId) return;
-    if (!isPatchElliptical(patch)) return;
+    if (!canPropagatePatch(patch)) return;
     const { start, end } = windowOf(patch);
     if (end < ref.ut) continue;
     if (start > endUT) return;