Implement Prolog-owned automatic SKILL.md activation #123

Closed
lost-rob0t wants to merge 16 commits from feature/issue-117-prolog-skill-compiler into main
lost-rob0t commented 2026-08-19 04:45:15 +00:00 (Migrated from github.com)

Superseded by #122

Closing this duplicate #117 implementation during PR-backlog reconciliation.

#122 is the canonical branch for this slice because it more closely matches the issue contract:

  • vendors/pins the third-party skill distribution as ordinary tracked repository content with license/provenance, avoiding a submodule dependency in the default checkout path;
  • preserves skill compilation as a pre-planner bridge from the public rlm completion surface rather than making rlm_completion own skill discovery/loading;
  • keeps the existing core completion implementation free of unrelated changes;
  • already includes the broader pinned distribution/provenance work this draft still described as unfinished.

This PR also currently defaults its direct completion skill catalog to none and includes an unrelated cost normalization change, so merging both branches would create conflicting implementations rather than additive work.

Useful ideas/tests from this branch should be reconciled into #122 if they are missing; do not merge both.

## Superseded by #122 Closing this duplicate #117 implementation during PR-backlog reconciliation. #122 is the canonical branch for this slice because it more closely matches the issue contract: - vendors/pins the third-party skill distribution as ordinary tracked repository content with license/provenance, avoiding a submodule dependency in the default checkout path; - preserves skill compilation as a pre-planner bridge from the public `rlm` completion surface rather than making `rlm_completion` own skill discovery/loading; - keeps the existing core completion implementation free of unrelated changes; - already includes the broader pinned distribution/provenance work this draft still described as unfinished. This PR also currently defaults its direct completion skill catalog to `none` and includes an unrelated `cost` normalization change, so merging both branches would create conflicting implementations rather than additive work. Useful ideas/tests from this branch should be reconciled into #122 if they are missing; do not merge both.
nsaspy changed title from WIP: Implement Prolog-owned automatic SKILL.md activation to Implement Prolog-owned automatic SKILL.md activation 2026-08-27 20:02:07 +00:00
Some checks failed
CI / Deterministic unit and load checks (push) Has been cancelled
CI / REAL OpenRouter integration (push) Has been cancelled
Tree-sitter FFI / Direct SWI-Prolog Tree-sitter FFI (push) Has been cancelled

Pull request closed

Sign in to join this conversation.
No description provided.