fix(ci): disable anise default features to unblock cargo-semver-checks (nalgebra 0.35)

[simnaut]

Problem

cargo-semver-checks (the gating public-API fence on the published astrodyn crate) began failing on every PR after nalgebra 0.35.0 was published 2026-05-24:

error: could not compile `anise` (lib) due to 436 previous errors
  = note: there are multiple different versions of crate `nalgebra` in the dependency graph
error: failed to build rustdoc for crate astrodyn v0.2.0   # current
error: failed to build rustdoc for crate astrodyn v0.1.1   # baseline

Root cause

astrodyn → astrodyn_ephemeris → anise 0.10.1, which depends on nalgebra directly (^0.34, i.e. <0.35) and via hyperdual 1.4.0 (a wider range that now admits 0.35). cargo-semver-checks builds both the current crate and a baseline crate's rustdoc with a fresh, unlocked resolve (it ignores our Cargo.lock), so it selects nalgebra 0.34.2 for the anise edge and 0.35.0 for the hyperdual edge — two incompatible versions in one graph — and anise fails to compile. Our committed Cargo.lock pins a single nalgebra 0.34.1, so normal/locked builds are unaffected.

Fix (two parts)

1. Trim anise features (fixes the current build + leaner deps).
astrodyn_ephemeris is the workspace's only anise consumer and uses only core anise (Almanac::from_spk/translate/rotate, constants, Epoch). Disabling anise's default features drops analysis/csv/rayon/metaload — and with them the hyperdual → nalgebra edge — so even a fresh resolve caps nalgebra at 0.34.x from anise's own ^0.34.

anise = { version = "0.10", default-features = false }

Behavior-preserving (dropped features are unused and compile-gated); Cargo.lock drops ~870 lines.

2. Move the semver baseline to git main (fixes the baseline build).
The published 0.1.1 baseline can't be patched and is now unbuildable on a fresh resolve. baseline-rev: main builds the baseline from main's source, which carries the part-1 fix once this lands — so it stays buildable and self-heals. Also a stronger regression fence for a pre-1.0 crate.

Bootstrap note

During this PR's own CI, the semver baseline is current main (which doesn't yet have part 1), so cargo-semver-checks stays red here — a one-time chicken-and-egg. This PR is intended to be admin-merged once the substantive checks (Tier 3, unit+tier2, parity) are green. After it lands, semver-checks goes green for all PRs (and #629 once rebased on main).

Verification

• hyperdual removed; single nalgebra 0.34.1; Cargo.lock still pins 0.34.1.
• cargo update -p nalgebra now caps at 0.34.2 — cannot reach 0.35.0.
• 216/216 Tier 3 tests pass (incl. earth_moon); 12/12 ephemeris unit tests; apollo8_frame_switch + kinematic_propagation pass.
• cargo fmt --check + cargo clippy -p astrodyn_ephemeris --tests -- -D warnings clean.

🤖 Generated with Claude Code

[Copilot]

Pull request overview

This PR unblocks cargo-semver-checks for the published astrodyn crate by ensuring the dependency graph cannot resolve to two incompatible nalgebra versions during the action’s fresh/unlocked rustdoc build. It does this by disabling anise default features in the only workspace crate that depends on anise (astrodyn_ephemeris), removing the hyperdual → nalgebra path that admitted nalgebra 0.35.

Changes:

• Disable anise default features in crates/astrodyn_ephemeris to prevent unlocked resolves from pulling in conflicting nalgebra versions.
• Update Cargo.lock to reflect the leaner dependency graph after dropping anise default-feature dependencies.

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated no comments.

File	Description
crates/astrodyn_ephemeris/Cargo.toml	Switch anise to default-features = false and document the rationale tied to semver-checks/unlocked resolves.
Cargo.lock	Lockfile refresh reflecting removal of anise default-feature dependency subtree (including hyperdual).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.