feat(sdk+memory): 补 ScenePolicy 声明项,让通道能退出场面识别

缺口(R6):ChannelDef 的记忆声明已有三件套——NoMemory 管「进不进
记忆计算」、ContextPolicy 管「裁不裁上下文」、RecallPolicy 管「召不召回
记忆」,唯独没有「这条输入算不算一场戏的一部分」。现状是无条件参与:
situationFeaturesFor 里只要 evt.Source != "" 就产出一个 chan 特征,没有
可关的开关 ⇒ chan:system / chan:kernel / chan:timer 这类纯内部信噪通道
也在撑场面,每次触发都让不相干的场景长出来或变强,召回时又会把
「内核在跑定时器」当成「用户在这类场景下说过的话」取回。

穷举确认不是查漏:go.mod replace 指向 third_party/homeagent-sdk,
plugin.go 中 scene 出现 0 次,SDK 自身 git 历史 -S'Scene' -- sdk/ 为空。

SDK(纯追加,老插件行为逐字节不变):
- 常量 ScenePolicyAuto / ScenePolicyNone + ValidScenePolicy,形状与
  ContextPolicy / RecallPolicy 完全一致
- ChannelDef.ScenePolicy 与 InjectOptions.ScenePolicy,均带 omitempty
- 默认取 auto(参与)而非 none:场景只附加检索路、不改记忆本体,
  默认关会让存量通道突然失去召回;「关」是少数意图。与 ContextPolicy
  刻意相反(同为破坏性操作,那里是默认关)。

内核:
- applyInjectOpts 搬运 scene_policy(与另外三个标志位同面)
- sceneSuppressed 完全照 recallDeclared 的形状:注入点 payload >
  通道定义 > 默认。none 时连时段(part)特征都不产,也不派生场景键
  (只停指纹采集而留声明路,等于给这个口子开后门)
- situationFeaturesFor / sceneKeysFor 由包级函数改为 Agent 方法
  (需要 a.io 查通道定义),23 个调用点同步

判据:scenepolicy_test.go 7 例,改前编译期红(undefined:
pubsdk.ScenePolicyAuto),改后全绿。其中两例专门护住「未声明时行为
逐字节不变」,是纯追加承诺的护栏。

记忆 8 包 + agent/core 全绿,8 包齐全、无 FAIL/panic/race。

存量通道标注待定:kernel/timer/offload-*/child/* 是纯 0-refs 信噪,
可直接标 none;但 mc:system(12 refs) 与 system(3 refs) 带真实记忆,
性质不明,不擅自标。
This commit is contained in:
JianFeeeee
2026-09-26 20:09:17 +08:00
parent c7d1aa06d2
commit be9c1dc5ac
8 changed files with 241 additions and 18 deletions

View File

@ -0,0 +1,144 @@
package core
// ScenePolicy 声明项的判据(R6)。
//
// 缺口事实(穷举确认,非查漏):ChannelDef 已有 NoMemory/ContextPolicy/
// RecallPolicy 三件套,唯独没有「这条通道是否参与场面识别」;
// situationFeaturesFor 里只要 evt.Source != "" 就无条件塞 chan 特征。
// ⇒ chan:system / chan:kernel / chan:timer 这类内部信噪通道
// 也在参与场面聚类(现网 65 个键里就有 chan:system、chan:kernel、chan:timer)。
//
// 判据参照物在生产代码之外:期望值是「声明 none 的输入不产生任何场面特征」、
// 「未声明的输入行为逐字节不变」这两条不变量,不引用被测实现。
import (
"testing"
agentIO "gitcode.com/JianFeeeee/HomeAgent/internal/agent/io"
pubsdk "gitcode.com/JianFeeeee/homeagent-sdk/sdk"
)
func scenePolicyNoneEvent() *agentIO.InputEvent {
return &agentIO.InputEvent{
Source: "system",
Payload: map[string]interface{}{"scene_policy": "none"},
}
}
// R6 核心:声明 none 的输入不产生任何场面特征。
func TestScenePolicyNone_NoSituationFeatures(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
evt := scenePolicyNoneEvent()
if feats := a.situationFeaturesFor(evt, "帮我看下定时器", ""); len(feats) != 0 {
t.Fatalf("声明 scene_policy=none 的输入仍产出了 %d 个场面特征: %+v —— "+
"内部信噪通道会参与场面聚类,把无关场面撑出来", len(feats), feats)
}
}
// none 必须连时段(part) 都不产:一个不参与场面识别的通道
// 不该在 situation_evidence / scene_features 里留下任何足迹。
func TestScenePolicyNone_NoPartFeatureLeak(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
feats := a.situationFeaturesFor(scenePolicyNoneEvent(), "任意内容", "")
for _, f := range feats {
if f.Kind == "part" {
t.Errorf("scene_policy=none 仍产出了时段特征 %q", f.Key())
}
}
}
// none 时工具场景也不该派生。
func TestScenePolicyNone_NoToolScene(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
keys := a.sceneKeysFor(scenePolicyNoneEvent(), "cmd_run")
for _, k := range keys {
if k == "tool:cmd_run" || k == "chan:system" {
t.Errorf("scene_policy=none 仍派生了场景键 %q", k)
}
}
}
// 声明 none 时,显式 payload["scene"] 也不该被采纳——
// 否则通道声明形同虚设(注入点声明与通道声明必须一致,通道是更宽的闸)。
func TestScenePolicyNone_OverridesExplicitScene(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
evt := scenePolicyNoneEvent()
evt.Payload["scene"] = "chan:qq"
keys := a.sceneKeysFor(evt, "")
for _, k := range keys {
if k == "chan:qq" {
t.Error("通道声明 scene_policy=none 后,注入点显式声明的 chan:qq 仍被采纳;" +
"通道级闸门应覆盖注入点级声明")
}
}
if feats := a.situationFeaturesFor(evt, "", ""); len(feats) != 0 {
t.Errorf("scene_policy=none 仍产出特征 %+v", feats)
}
}
// 未声明时行为必须逐字节不变(零值 = 保持现状 = 参与)。
// 这是「纯追加」承诺的护栏:老插件不填 ScenePolicy,行为不能有任何变化。
func TestScenePolicyUnset_BehavesExactlyAsBefore(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
evt := &agentIO.InputEvent{
Source: "qq",
Payload: map[string]interface{}{},
}
feats := a.situationFeaturesFor(evt, "老大在吗", "")
if len(feats) == 0 {
t.Fatal("未声明 scene_policy 的输入不应失去场面特征(零值必须等价既有行为)")
}
var hasChan bool
for _, f := range feats {
if f.Kind == "chan" {
hasChan = true
}
}
if !hasChan {
t.Errorf("未声明时应照旧产出 chan 特征,实际: %+v", feats)
}
keys := a.sceneKeysFor(evt, "")
if len(keys) == 0 || keys[0] != "chan:qq" {
t.Errorf("未声明时应照旧派生 chan:qq,实际: %v", keys)
}
}
// 显式 auto 与未声明等价。
func TestScenePolicyAuto_SameAsUnset(t *testing.T) {
a := &Agent{io: agentIO.NewIOManager()}
mk := func(policy string) []string {
payload := map[string]interface{}{}
if policy != "" {
payload["scene_policy"] = policy
}
return a.sceneKeysFor(&agentIO.InputEvent{Source: "qq", Payload: payload}, "")
}
unset, auto := mk(""), mk(pubsdk.ScenePolicyAuto)
if len(unset) != len(auto) {
t.Fatalf("auto 与未声明不等价: unset=%v auto=%v", unset, auto)
}
if len(auto) == 0 || auto[0] != "chan:qq" {
t.Fatalf("auto 应照旧派生 chan:qq,实际: %v", auto)
}
}
// SDK 常量与校验函数:形状须与 ContextPolicy/RecallPolicy 一致。
func TestScenePolicySDKShape(t *testing.T) {
if !pubsdk.ValidScenePolicy("") {
t.Error("空串应等价默认,校验须通过")
}
if !pubsdk.ValidScenePolicy(pubsdk.ScenePolicyNone) {
t.Error("none 应合法")
}
if !pubsdk.ValidScenePolicy(pubsdk.ScenePolicyAuto) {
t.Error("auto 应合法")
}
if pubsdk.ValidScenePolicy("prune") {
t.Error("未知取值应被拒(照 ContextPolicy 的严格度)")
}
}