Skip to content

Add shared skill root loading interfaces - #37439

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/a26a8101008a6c862824a7346cdbe6d05f4bcc01
Aug 7, 2026
Merged

Add shared skill root loading interfaces#37439
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/a26a8101008a6c862824a7346cdbe6d05f4bcc01

Conversation

@copyberry

@copyberry copyberry Bot commented Aug 7, 2026

Copy link
Copy Markdown

Add shared skill root loading interfaces

What changed

  • Add SkillRootLoader and its request/result types to codex-skills so skill roots can be loaded through a shared, object-safe interface.
  • Add owner-managed snapshot cache handles that support reuse and use cache allocation identity for equality and hashing.
  • Move SkillError into codex-skills and re-export the new loading API.

Testing

  • Verify snapshot sharing and identity semantics.
  • Verify loaders can be used as shared trait objects.

## What changed

- Add `SkillRootLoader` and its request/result types to `codex-skills` so skill roots can be loaded through a shared, object-safe interface.
- Add owner-managed snapshot cache handles that support reuse and use cache allocation identity for equality and hashing.
- Move `SkillError` into `codex-skills` and re-export the new loading API.

## Testing

- Verify snapshot sharing and identity semantics.
- Verify loaders can be used as shared trait objects.

GitOrigin-RevId: a26a8101008a6c862824a7346cdbe6d05f4bcc01
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/a26a8101008a6c862824a7346cdbe6d05f4bcc01 branch from 64c7021 to a4b129e Compare August 7, 2026 12:48
@copyberry
copyberry Bot merged commit a4b129e into main Aug 7, 2026
30 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/a26a8101008a6c862824a7346cdbe6d05f4bcc01 branch August 7, 2026 12:49
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 7, 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