fix(memory): 复审 p2 返工 —— SQL 空串字面量、两处过期注释、人工路径档位

复审 p2-1items(tip cc6904b)要求的三处,逐条:

1) SQL 双引号改单引号(唯一返工项):
   - preinsert_store.go 的 revertMergedSQL:`merged_into = ""` → `''`。今天功能等价,
     但靠的是 SQLite「双引号标识符解析不到 ⇒ 回退成字符串字面量」的 legacy 行为;
     这是一条**改数据**的语句,还被 RevertMerged 与整理侧回滚共用,不该依赖回退。
   - retention_migration_test.go 的 `WHERE retention_tier = ""` 一并统一成 `''`,
     并在原位留下「为什么」。
2) 两处过期注释:
   - retention_schema.go:「反过来(先自举、后迁移)也成立」是**假结论**,改为
     「生产顺序成立;反向顺序在 0019 处即失败(duplicate column name: status,既有问题)」。
   - store.go 的 ExpiresAt:「本字段目前只写不读」已半过期(Add 现在会把最终落库
     时刻回填到返回值),改成「读回语义是半开的」:Add 返回的条目有值,从库里读回的
     恒为零值。
3) 人工路径(塔裁定「人工动作默认应为 long」):包内的 `RememberManual`(「记住 X」)
   显式钉 `RetentionTier = long`,留存规则因此不许把人工明确要求记住的东西降成临时层
   (extract_test.go 加断言)。面板网关那条(adminAddMemory 直调 Add、不传档位)
   按塔的口径不在本片、留给后续切片 —— 本片对它的唯一影响见回报。

不动(按塔的裁定):preinsert.go 514 行(dev 既有 tech debt)、
design/03 §10.5 与 design/23 §18 的章节(塔的账)、gateway 人工路径。

回归:go build ./... + go vet ./... + go test -count=1 ./internal/runtime/memory/... ./internal/db/...
全绿,内存包 -race 亦绿。
This commit is contained in:
AskaEth committed 2026-10-26 13:24:35 +08:00
1 parent cc6904b1b4
commit 765ef167bd
5 files changed
+38 -14

No files matched your search

+5
View File
@@ -86,6 +86,11 @@ func TestStore_RememberManual_正常(t *testing.T) {
t.Fatalf("item persona/scope/kind = %q/%q/%q, want persona.a/persona/relationship",
item.PersonaID, item.Scope, item.Kind)
}
// 人工动作(有人明确说「记住 X」)的档位恒为 long —— 留存规则不许把它降成临时层
// (否则一条「记住 晚安」会在 7 天后被静默删掉)。见 store.go 的 RememberManual 注释。
if item.RetentionTier != RetentionLong {
t.Fatalf("RememberManual 的档位 = %q, want %q(人工动作默认长期)", item.RetentionTier, RetentionLong)
}
got, err := s.Get(ctx, item.ID)
if err != nil {
+5 -1
View File
@@ -45,8 +45,12 @@ const selectSurvivorMergeSQL = `SELECT merged_from, merge_count, confidence
const updateSurvivorSQL = `UPDATE memory_items
SET merged_from = ?, merge_count = ?, confidence = ?, updated_at = ? WHERE id = ?`
// revertMergedSQL 把一条被软合并的行升回在册。`merged_into` 用**单引号空串**而不是
// 双引号:SQLite 会把 `""` 先当**标识符**解析,解析不到才回退成字符串字面量(legacy
// 行为)。今天功能等价,但这是一条**改数据**的语句、且被 RevertMerged 与整理侧回滚
// 共用,依赖「标识符解析失败的回退」不该出现在写路径上。
const revertMergedSQL = `UPDATE memory_items
SET status = ?, merged_into = "", updated_at = ? WHERE id = ? AND status = ?`
SET status = ?, merged_into = '', updated_at = ? WHERE id = ? AND status = ?`
const selectMergedIntoSQL = `SELECT merged_into FROM memory_items
WHERE id = ? AND status = ?`
@@ -129,9 +129,11 @@ func TestMigration0026AddsColumnOverExistingRows(t *testing.T) {
if !hasMemoryColumn(t, d, retentionTierColumn) {
t.Fatalf("再次迁移后应重建 %s 列", retentionTierColumn)
}
// 空串用**单引号**字面量:`""` 在 SQLite 里先按标识符解析,靠 legacy 回退才对,
// 不该在断言里留这种口径(与写入路径的 `''` 统一)。
var withTier int
if err := d.QueryRowContext(ctx,
`SELECT COUNT(*) FROM memory_items WHERE retention_tier = ""`).Scan(&withTier); err != nil {
`SELECT COUNT(*) FROM memory_items WHERE retention_tier = ''`).Scan(&withTier); err != nil {
t.Fatalf("count untyped: %v", err)
}
if withTier != 2 {
+5 -3
View File
@@ -18,9 +18,11 @@ import (
// 🔴 与迁移的分工(两份真源,必须同形):权威机制是
// `internal/db/migrations/0026_memory_retention_tier`;这里是「任意 *sql.DB」的
// 前滚。启动顺序是「先 MigrateUp、后 NewStore」(cmd/cyrene/wire.go),因此生产
// 库里 0026 先落地、这里走到 `duplicate column name` 是**预期路径**;反过来
// (先自举、后迁移)也成立,因为迁移的 ALTER 同样只跑一次。两份 DDL 的列/索引
// 逐项同形由 retention_migration_test.go 钉住。
// 库里 0026 先落地、这里走到 `duplicate column name` 是**预期路径**。
//
// ⚠️ **反向顺序不成立**(别把上面那句读成「两个方向都行」):先 NewStore、后
// MigrateUp 会在 **0019** 就先炸(`duplicate column name: status` —— 自举早已把
// 整理列建好),这是既有问题、与本片无关,因此本仓的可迁移顺序只有「先迁移」。
//
// 顺序**必须**是「建表 → 前滚列 → 建索引」:索引依赖的列在既有库上还不存在时,
// 先建索引会报 "no such column: retention_tier"(tidy_schema.go 记过同型的教训)。
+20 -9
View File
@@ -117,10 +117,15 @@ type MemoryItem struct {
// `Store.Add` 里的同一个判定与同一处换算落库,绝不会分叉:显式给非零值而
// 档位不是 temp 会被拒(ErrRetentionConflict),给 temp 而不给则按临时 TTL 算。
//
// ⚠️ **本字段目前只写不读**:Add 会把它写进 expires_at 列,但读路径一律不
// SELECT 该列(闸是纯 SQL,见 timegate.go),故 Get/List* 回来的条目
// ExpiresAt 恒为零值。要读回时效需同步 14 列 SELECT 与 scanItem,并连带
// tidy/preinsert 的内部召回 SQL —— 那是改扫描口径,不在本切片授权范围。
// ⚠️ **读回语义是「半开」的**(别把这一条读成「完全只写不读」):
//
// - `Add` 会把它写进 `expires_at` 列,**并把最终落库的时刻回填到返回的条目上**
// (调用方因此能立刻看到「这条被判成临时、有效期到哪」);
// - 但 `Get` / `List*` 一律不 SELECT 该列(读侧闸是纯 SQL,见 timegate.go),
// 故**从库里读回来的**条目 ExpiresAt 恒为零值。
//
// 要读回时效需同步 14 列 SELECT 与 scanItem,并连带 tidy/preinsert 的内部召回
// SQL —— 那是改扫描口径,不在本切片授权范围。
ExpiresAt time.Time
// RetentionTier 是「留多久 / 干什么用」这根轴(迁移 0026、retention.go)。
@@ -362,13 +367,19 @@ func (s *Store) Delete(ctx context.Context, id string) error {
// RememberManual 为 content 文本写入一条长期记忆条目 —— design §1 中的
// 「记住 X」路径。条目默认取角色作用域,
// 并以满置信度记为关系记忆。返回已落库的条目。
//
// 🔴 **显式档位 = long**(迁移 0026):这是**人工**动作(有人明确说「记住 X」),
// 按主人 2026-10-26 的裁定「人工动作默认应为 long」,留存规则不许把它降成临时层
// (否则一条「记住 晚安」会在 7 天后被静默删掉)。resolveRetention 的第一条分支
// 就是「调用方显式档位不许被规则推翻」,这里据此钉死长期意图。
func (s *Store) RememberManual(ctx context.Context, personaID, roleID, text string) (MemoryItem, error) {
item := MemoryItem{
PersonaID: personaID,
RoleID: roleID,
Scope: ScopePersona,
Kind: KindRelationship,
Content: strings.TrimSpace(text),
PersonaID: personaID,
RoleID: roleID,
Scope: ScopePersona,
Kind: KindRelationship,
Content: strings.TrimSpace(text),
RetentionTier: RetentionLong,
}
if item.Content == "" {
return MemoryItem{}, ErrMissingContent