Skip to content

fix(packages): select official Packages for the checkout API version - #66

Merged
Mathih13 merged 2 commits into
mainfrom
feat/package-api-selection
Oct 10, 2026
Merged

Mathih13 merged 2 commits into
mainfrom
feat/package-api-selection

Conversation

@Mathih13

@Mathih13 Mathih13 commented Oct 10, 2026 •

Copy link
Copy Markdown
Contributor

Official Package installs used the collection's current HEAD, so an older Core checkout could receive a Package that calls a newer Package API.

Resolve official installs and updates through the api-vN tag named by docs/package-api.md. Fetch the full tag ref so a same-named branch cannot shadow it. Refuse a missing or malformed version or a missing tag before changing the installed Package. The Provenance Stamp still records the exact commit.

Part of LyraCoreProject/LyraCore#636, step 1. The collection published api-v1 at e1df84ff34177b9d0309bbe9fd4f1ecf45864368 after Packages #77 merged and its full CI passed.

Validation: 751 tests passed, Clippy passed with warnings denied, and cargo +1.85 check passed. Changed files pass rustfmt. The full formatting check reports existing differences in untouched src/cmd/config.rs and src/cmd/packages/config.rs.

Started with Claude Opus 5.5 in the Claude harness. Completed with GPT-6 Astra in the Codex harness through T3 Code.

Adversarial review: GPT-6.1 Sol cleared repository standards. GPT-6 Astra found a branch/tag ambiguity, then verified the fix with real Git and cleared the revised behavior.

@Mathih13
Mathih13 force-pushed the feat/package-api-selection branch from bd56650 to 63b078c Compare October 10, 2026 12:02
@Mathih13
Mathih13 merged commit b5cf44e into main Oct 10, 2026
1 check passed
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