Skip to content

ci: add the blocking dep-sync gate for the three-grouping workspace#480

Open
mfw78 wants to merge 1 commit into
feat/m5-three-grouping-workspacefrom
feat/m5-dep-sync-ci
Open

ci: add the blocking dep-sync gate for the three-grouping workspace#480
mfw78 wants to merge 1 commit into
feat/m5-three-grouping-workspacefrom
feat/m5-dep-sync-ci

Conversation

@mfw78

@mfw78 mfw78 commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

What

Adds scripts/check-dep-sync.sh, a blocking dep-sync CI job, a just check-dep-sync recipe, and docs/design/cross-repo-deps.md documenting the convergence path (git-tag pins now, crates.io/wkg later).

Why

The three-grouping workspace needs an enforcing check that the crate DAG stays acyclic (nexum <- videre <- shepherd) and that the carve dependency artefacts (umbrella [patch], git-tag pins, per-group Cargo.repo.toml, wit-deps manifests/locks) stay in agreement as later waves land them, per issue scope.

Testing

  • nix develop -c ./scripts/check-dep-sync.sh: DAG and wit checks pass across 37 members; pin/Cargo.repo.toml/wit-deps checks skip visibly (not yet written by later waves).
  • nix develop -c cargo fmt --all --check: clean.

AI Assistance

Drafted with Claude Code assistance; reviewed and tested by the author.

Closes #403

scripts/check-dep-sync.sh asserts the crate DAG points strictly up
across nexum, videre and shepherd for every workspace member (path
deps and wit/ symlinks included), and that the carve dependency
artefacts agree wherever they exist: umbrella [patch] entries target
the owning grouping's in-tree crates and neutralise every written
git-tag pin with no orphans, pins agree on one tag per upstream repo,
each Cargo.repo.toml member list mirrors the umbrella, and wit-deps
manifests and locks stay key-synced with tags matching the Rust pins.
Artefacts a train wave has not written yet skip visibly and enforce
the moment they land. Wired as the blocking dep-sync CI job and a
just check-dep-sync recipe; the git-tag to crates.io and wkg/OCI
convergence path is documented in docs/design/cross-repo-deps.md.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant