switching memory off switches skills off, and the chat then denies the feature exists
維護者通常 1 天內回覆
還沒有人認領這個 Issue。
評估
研究方向
Start with importForeignSkillsBeforeFirstMessage in cmd/codeaf/chatv3.go:1169, then read renderSkillCatalog in internal/session/skillcatalog.go:64 and useSkillTool in internal/session/tools_skill.go:71. Trace both memory states through the real chat surface and the /skill picker. Done means memory-off users are told skills are switched off and the setting is named, while memory-on users see and can use the skill shelf.
由索引模型根據 Issue 內容生成。
描述
What happened
A person with eighty-one skills on disk asked the chat "can you use skills ?" and
was told:
If you meant skills in the Claude Code SKILL.md sense, codeaf has no such
mechanism — harnesses and the notebook are what it has instead.
The binary was built from the head that carries the skills wave and its manual
pages. The feature was there. The answer denies it exists.
Why
memory.enabled was off.
~/.codeaf/config.json memory.enabled = off
~/.codeaf/graph.db 59.7 MB, facts table: 0 rows
~/.claude/skills 40 direct-child SKILL.md
~/.agents/skills 41 direct-child SKILL.md
importForeignSkillsBeforeFirstMessage (cmd/codeaf/chatv3.go:1169) returns on
its first line when memory is nil. Nothing is recorded, so
renderSkillCatalog (internal/session/skillcatalog.go:64) reads an empty
shelf and emits zero bytes, and useSkillTool (internal/session/tools_skill.go:71)
withholds the verb. Every one of those is behaving as designed.
The model then has no shelf, no verb, and no sentence about either, so it
reasons from the silence and invents a denial.
The two defects
One. Skills are gated on a setting that names something else, and nothing says
so. A person switches memory off to stop the program remembering things about
them. They also switch off skills, and are not told. That is one decision
producing two outcomes with only one of them disclosed.
Two. "Absent because impossible here" and "absent because it does not exist"
are the same silence. The absent-not-broken law works: it stops a model
planning a reply around a call that can only refuse. It does not stop the model
reasoning from the silence and concluding the capability was never built. The
law needs a companion clause rather than an exception: WHEN A CAPABILITY IS
WITHHELD BY A SETTING, SOMETHING HAS TO SAY SO.
This is not the emptiness law's territory. That law is about a number nobody has
yet: draw nothing rather than $0.00. It was never a licence to hide the
difference between "you have no skills" and "skills are switched off here".
Replication
- A profile with
memory.enabled = offand any number of SKILL.md folders
under a scanned root. - Ask the chat whether it can use skills.
- It denies the feature exists, rather than saying it is switched off.
Acceptance
End to end, through the real surface, in BOTH states.
- With memory off: the answer says skills are switched off on this machine and
names the setting. It does not say codeaf has no such mechanism. - With memory on: the shelf is there and the answer is yes.
- The
/skillpicker with memory off says the same thing rather than drawing an
empty list.
Then whatever mechanism carries it. One candidate: the catalog emits a single
line when the store is absent and the roots are not, which costs a person with
no skills nothing, because that person has no roots either.
Not in scope
#1378 is the manual side: no heading answers the capability question in either
state. Fixing the sentence here does not fix retrieval there, and neither is a
substitute for the other.
- 主要語言
- Go
- 星號
- 115
- 分支
- 14
- 平均合併
- 9 小時 44 分鐘
- 30 天內合併 PR
- 766
環境準備
我們還沒有檢查這個專案的環境設定檔。先看它的 README，通用步驟見我們的新手貢獻指南。
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
Agent-Field/CodeAF 的其他 Issue
-
area:chat bug sev:papercut
難度 2/5 1-3 小時 新手友好度 86/100
Agent-Field/CodeAF#1592 ·
維護者通常 1 天內回覆
-
area:headless bug sev:critical
難度 2/5 1-3 小時 新手友好度 88/100
Agent-Field/CodeAF#1566 · 已指派 1 人 ·
維護者通常 1 天內回覆
-
area:chat feature
難度 2/5 1-3 小時 新手友好度 88/100
Agent-Field/CodeAF#1510 ·
維護者通常 1 天內回覆
-
area:tests bug
難度 2/5 1-3 小時 新手友好度 82/100
Agent-Field/CodeAF#1489 ·
維護者通常 1 天內回覆
-
area:chat bug good first issue sev:papercut
難度 2/5 1-3 小時 新手友好度 78/100
Agent-Field/CodeAF#1470 ·
維護者通常 1 天內回覆
查看 Agent-Field/CodeAF 的全部 Issue
相似的 Issue
-
bug needs-triage
難度 2/5 1-3 小時 新手友好度 86/100
DataDog/dd-trace-go#5469 ·
維護者通常 1 天內回覆
-
bug tests
難度 2/5 1-3 小時 新手友好度 88/100
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 72/100
l3montree-dev/devguard#3101 ·
維護者通常 1 天內回覆
-
area:*of bug
難度 2/5 1-3 小時 新手友好度 78/100
oapi-codegen/oapi-codegen#2593 ·
維護者通常 1 天內回覆
-
bug
難度 1/5 1 小時以內 新手友好度 85/100
DaoCloud/DaoCloud-docs#7432 ·
維護者通常 1 天內回覆