| name | shell-kernel-ontology |
| description | Load and maintain the shellyxz shell kernel ontology graph — PATH contract, kernel/plugin boundary, load order, and verification bridge (ab/av/at). Use when editing ~/.config/shell core/, plugins/verification/, bin shims, moving files across the kernel boundary, or answering where a concept lives. |
Shell Kernel Ontology
Portable skill — install from the agent skills library (shell-kernel-ontology/). Target repo: ~/.config/shell (shellyxz kernel).
Mission: Route agents to addressable semantics instead of re-inferring from scattered prose.
| Asset | Live path |
|---|
| Graph | ~/.config/shell/.agents/ontology/shell-kernel.graph.yaml |
| Index | ~/.config/shell/.agents/ontology/INDEX.md |
| Viz | ~/.config/shell/.agents/ontology/GRAPH.md |
| Fusion cache | ~/.config/shell/.agents/ontology/fusion-state.json |
| HODA overlay | ~/.config/shell/arch-design/overlays/shell-kernel-decision-hooks.md |
Companion overlay: examples/overlays/shellyxz-shell-kernel.md
Adopt in ~/.config/shell
SKILLS_ROOT=~/Work/personal/skills
mkdir -p ~/.config/shell/.cursor/skills
ln -sfn "$SKILLS_ROOT/shell-kernel-ontology" ~/.config/shell/.cursor/skills/shell-kernel-ontology
Open ~/.config/shell in Cursor, then invoke this skill when editing kernel/plugin structure.
When to use
- Edit
core/, plugins/verification/, bin/* shims, or path.contract layers
- Move files across kernel vs verification plugin boundary
- Add or rename public hooks (
path_contract_*, verify_workflow_root, resolver)
- User asks: "where does X live?", "kernel or plugin?", "update ontology"
- After structural PR: run drift gate before merge
Do not use for: per-project .agents/verification/ cockpits in other repos — use verification-cockpit skill there.
Subgraph router (load by intent)
| Intent | Start node | Load when |
|---|
path | shellyxz:PathContractDomain | PATH contract, path-resolve.sh, lexicon locals |
boundary | shellyxz:KernelPluginBoundary | Kernel vs plugin, must_not / may_assume, PLUGIN.md |
load_order | shellyxz:LoadOrder | env.sh, zshrc tail, direnv phase:project |
verify | shellyxz:VerificationBridge | ab/av/at, shims, resolver, cockpit-mcp, strict PATH |
cd ~/.config/shell
bin/render-ontology-graph.sh --subgraph verify
bin/render-ontology-graph.sh --subgraph boundary
Never compress (ai-optimization)
When loading a subgraph, always retain:
- Invariant nodes (
shellyxz:Inv_*) tied to your edit
must_not / may_assume on boundary nodes
- Public
path_contract_* signatures and resolver function names
source_refs for nodes you cite in the PR
Verification bridge
| Verb | Function | Resolver target |
|---|
ab | agent_build | verification_script_path agent-build-layout.sh |
av | agent_verify | verification_script_path agent-verify-layout.sh |
at | agent_test | verification_script_path agent-test-layout.sh |
- Implementation:
plugins/verification/ · Stable entry: bin/* shims
- Headless:
bin/cockpit-mcp.sh (plugin copy is canonical)
- Per-repo manifest:
.agents/verification/cockpit.yaml (in each repo, not kernel-only)
- Strict PATH:
SHELL_AGENT_STRICT_PATH=1 or ab --strict
Maintenance workflow
Structural change in one PR:
- Update code +
PLUGIN.md / architecture.md if boundary semantics shift
- Update
shell-kernel.graph.yaml (nodes, source_refs, Artifact path)
- Refresh
INDEX.md checklist row if needed
- Run drift gate:
cd ~/.config/shell
bin/check-ontology.sh
bin/check-shell.sh --audit
- Optional: regen Mermaid —
bin/render-ontology-graph.sh --subgraph all
Extract-only facts file (local, gitignored): bin/extract-ontology-facts.sh
Companion skills
Plain rule: graph and tree move together — same discipline as architecture.md.