chore(flake): bump construct for orca-cli revision 37 - #64
Conversation
Picks up Construct `3a74842`, which returns the vendored `orca-cli` skill to Orca release revision 37. Revision 36 was pinned deliberately on 2026-08-19: revision 37 advertised `share skills` while the installed Orca's `orca skills` offered only `list`, `get`, `install` and `update`, so the skill described a command the binary did not have. The Orca AppImage has since been rebuilt (2026-08-22) — its manifest now lists `orca-cli` at revision 37 and `orca skills` has grown the `share` subcommand — so 36 became the copy that was wrong about the tool. Only `construct` moves. `nixpkgs-unstable`, `home-manager-unstable` and `antigravity-nix` are deliberately left where they are; an unrelated four-input update was in progress in the working tree at the time and is not this change's business. Verified the pinned revision builds the intended tree — `computer-use` (rev 8), `orca-cli` (rev 37) and `orchestration` (rev 28) each hash-match the installed app's `resources/skills/current-manifest.json`. Note this does not silence Orca's "Skipped" dialog, and is not meant to. The three skills install into ~/.agents/skills, a symlink into /nix/store, which Orca cannot write to; it skips what it does not own regardless of content. See `orca-skills/CREDITS.md` in Construct. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017hj64PwFDDJsNdAJoEuYpB
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 12dd15a572
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| "owner": "Spacecraft-Software", | ||
| "repo": "Construct", | ||
| "rev": "a46c108ec469c082b48a19ed0d040addef2fd44d", | ||
| "rev": "3a74842ede3882a42c0dba3617c27fbf72930439", |
There was a problem hiding this comment.
Sign the dependency bump commit
For the reviewed commit c5d2f2f4483fddc5fcb32bc145a8c49e3f793fff, the commit object has no gpgsig header and git verify-commit exits with status 1, so this dependency bump does not satisfy the repository's mandatory Signed & Verified policy. Recreate the commit with the configured Ed25519 SSH signing key before merging.
AGENTS.md reference: AGENTS.md:L348-L348
Useful? React with 👍 / 👎.
`skills-drift` failed on the lock bump: `.github/skills/` is a vendored real-file copy of the pinned Construct tree (the Copilot coding agent, the Copilot CLI and the VS Code agent modes get a plain `git clone` and cannot follow a symlink into the Nix store), and bumping the pin without re-running the sync leaves it stale. `pkgs/sync-skills.nu` documents this as the required second step. Regenerated with `nu pkgs/sync-skills.nu`; `--check` now reports `.github/skills matches Construct 3a74842e`. The content is almost entirely the §4.3 license-file rename from Construct #46/#47 — `LICENSE-GPL`/`LICENSE-MIT` to `LICENSE.GPL`/`LICENSE.MIT`, a per-skill `LICENSE` added to every bundle, and the duplicated `LICENSE.md` bodies dropped — plus the v1.50 `spacecraft-steelbore-standard` text. None of it is the Orca change, which does not appear here at all: this vendored subset is 13 Copilot-facing skills and the three Orca leaves are not among them. Worth stating plainly, because the lock bump's own message understated it: the pin moved from `a46c108` (2026-08-18), not from `8b20eee`, so it crosses Construct #46 and #47 as well as the orca-cli fix. The drift this job caught is that jump, and vendoring it here is what the gate is for. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017hj64PwFDDJsNdAJoEuYpB
…unstable Routine input bump: antigravity-nix ed7db3ee -> 3822c726 home-manager-unstable c53d643b -> ec1a8fdf nixpkgs-unstable 0ae2bc14 -> 2c423e03 The antigravity-nix bump is a real move rather than the no-op that constraint #27 warns about: the pinned Antigravity IDE goes 2.8.1 -> 2.9.1, and antigravity.google/download advertises 2.9.1, so the input is current and needs no upstream version bump. nixpkgs-unstable carries tor-browser 15.0.19 -> 15.0.20. The construct bump this branch originally carried is dropped. #64 moved construct further forward (3a74842e) *and* regenerated the vendored .github/skills tree, which is what the skills-drift gate checks; bumping the input without re-running pkgs/sync-skills.nu is what failed that gate here. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GjWTZtXF81sgDXQgKTTbBS
…unstable (#63) Routine input bump: antigravity-nix ed7db3ee -> 3822c726 home-manager-unstable c53d643b -> ec1a8fdf nixpkgs-unstable 0ae2bc14 -> 2c423e03 The antigravity-nix bump is a real move rather than the no-op that constraint #27 warns about: the pinned Antigravity IDE goes 2.8.1 -> 2.9.1, and antigravity.google/download advertises 2.9.1, so the input is current and needs no upstream version bump. nixpkgs-unstable carries tor-browser 15.0.19 -> 15.0.20. The construct bump this branch originally carried is dropped. #64 moved construct further forward (3a74842e) *and* regenerated the vendored .github/skills tree, which is what the skills-drift gate checks; bumping the input without re-running pkgs/sync-skills.nu is what failed that gate here. Claude-Session: https://claude.ai/code/session_01GjWTZtXF81sgDXQgKTTbBS Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
Picks up Construct
3a74842, which returns the vendoredorca-cliskill to Orca release revision 37.Why
Revision 36 was pinned deliberately on 2026-08-19: revision 37 advertised
share skillswhile the installed Orca'sorca skillsoffered onlylist,get,installandupdate— the skill described a command the binary did not have.The Orca AppImage has since been rebuilt (2026-08-22). Its manifest now lists
orca-cliat revision 37, and:So 36 became the copy that was wrong about the tool. The pin was a hold, not a destination.
Scope — larger than the title suggests
Only the
constructinput moves, but it moves froma46c108(2026-08-18), not from8b20eee. So it crosses Construct #46 and #47 as well as the orca-cli fix.That is what the second commit is about.
skills-driftcorrectly failed the first push:.github/skills/is a vendored real-file copy of the pinned tree (the Copilot coding agent, Copilot CLI and VS Code agent modes get a plaingit cloneand cannot follow a symlink into the Nix store), so a pin bump without a re-sync leaves it stale.pkgs/sync-skills.nudocuments the re-run as the required second step.The regenerated content is almost entirely the §4.3 license-file rename from #46/#47 —
LICENSE-GPL/LICENSE-MIT→LICENSE.GPL/LICENSE.MIT, a per-skillLICENSEadded to every bundle, duplicatedLICENSE.mdbodies dropped — plus the v1.50spacecraft-steelbore-standardtext. None of it is the Orca change: this vendored subset is 13 Copilot-facing skills and the three Orca leaves are not among them.nu pkgs/sync-skills.nu --checknow reports.github/skills matches Construct 3a74842e.nixpkgs-unstable,home-manager-unstableandantigravity-nixare deliberately left alone. An unrelated four-inputnix flake updatewas sitting uncommitted onfeat/multimedia-exiftool-imagemagickwhen this was branched; that work is untouched and still there.Verification
The pinned revision builds the intended tree — each vendored Orca skill hash-matches the installed app's
resources/skills/current-manifest.json:What this does not do
It does not silence Orca's "Skipped" dialog, and is not meant to. The three skills install into
~/.agents/skills, a symlink into/nix/store— a read-only path Orca never wrote to and cannot write to. It skips what it does not own regardless of content, which is why two skills already byte-identical to its own manifest were flagged too. Rationale, and why the dialog's "remove it" advice must not be followed, are inorca-skills/CREDITS.md.Applying this needs
sudo nixos-rebuild switch(home-manager is an integrated NixOS module here), which is left to the maintainer.🤖 Generated with Claude Code
https://claude.ai/code/session_017hj64PwFDDJsNdAJoEuYpB