fix(dotagents): pin merged skills lock commit
Merged
SH
3mo ago+1+1+0123456789-1-1-0123456789
Summary
Replace the orphaned dotagents PR-head gitlink with the identical commit merged to dotagents main.
Validation
- old and new dotagents commits have identical trees
- Kyber base commit 0ef0e70 is an ancestor of bfc6007
- git diff --check
Refs shunkakinokisoftware-hnnt
Summary by cubic
Pinned the dotagents submodule to the commit merged on its main branch, replacing the orphaned PR-head gitlink. This removes the orphan ref and makes builds deterministic.