Skip to content

Match core skill ordering in extension catalogs - #34746

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/9594a177edb2166abf1b5719c51a46fcee000600
Jul 22, 2026
Merged

Match core skill ordering in extension catalogs#34746
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/9594a177edb2166abf1b5719c51a46fcee000600

Conversation

@copyberry

@copyberry copyberry Bot commented Jul 22, 2026

Copy link
Copy Markdown

Match core skill ordering in extension catalogs

Why

Core-compatible catalog rendering needs to preserve the core renderer's skill
priority, including when metadata budgets omit lower-priority entries.

What changed

  • Carry each host skill's SkillScope into its catalog entry.
  • Under CoreCompatible, order visible skills by system, admin, repo, and user
    scope, then by name and prompt resource ID.
  • Preserve insertion order under ExtensionCompatible.

Testing

Add coverage for propagating host skill scope and for both rendering policies.

## Why

Core-compatible catalog rendering needs to preserve the core renderer's skill
priority, including when metadata budgets omit lower-priority entries.

## What changed

- Carry each host skill's `SkillScope` into its catalog entry.
- Under `CoreCompatible`, order visible skills by system, admin, repo, and user
  scope, then by name and prompt resource ID.
- Preserve insertion order under `ExtensionCompatible`.

## Testing

Add coverage for propagating host skill scope and for both rendering policies.

GitOrigin-RevId: 9594a177edb2166abf1b5719c51a46fcee000600
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/9594a177edb2166abf1b5719c51a46fcee000600 branch from 10727b5 to 2ffe8cd Compare July 22, 2026 12:41
@copyberry
copyberry Bot merged commit 2ffe8cd into main Jul 22, 2026
32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/9594a177edb2166abf1b5719c51a46fcee000600 branch July 22, 2026 12:42
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 22, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant