AskaEth
6e28b38b08
【MT-A：护栏 + 诚实截断 + 试算异步】
- maxTidyCompareItems 400(写死)→2000 并开放为 MEMORY_TIDY_COMPARE_LIMIT；
MEMORY_TIDY_CANDIDATE_LIMIT 默认 20→200（语义不变，仍每分区）
- 依据是首跑实测：459 条的分区被 400 截断 ⇒ compared(705) < scanned(784)，
候选数(77)由上限而不是规则决定；三处上限的 WARN 都补齐了总数/上限/分区名
- 新增「上限 + 时间预算」双闸（实测 2000 条/分区 ≈234s > 3 分钟墙钟）：
整分区跳过 / 两两比对中途收手，一律如实记 (budget) + WARN
- ?async=1 ⇒ 202 {runId,status}；GET …/{runId} 轮询（writeAuth 同档）；
done 的 result 与同步 data 逐字节同形；并发=复用既有 runId、TTL 30min 自完成起算、
重启即如实 404 tidy_run_not_found；不带 async 时同步路径逐字不变
【MT-B：D3 入库前审查（design/23 §15.1）】
- 新记忆经 Store.Add（仓库里唯一 INSERT INTO memory_items）落库后，由独立记忆管理
会话（sess-memorytidy）在有界后台队列异步判定 skip/merge/modify/create
- 软合并回写（status + merged_into/merged_from/merge_count，可 revert、绝不改 content）
- 隔离来源（群聊/陌生人）**概不审查**、召回/超时失败**零改写**（fail-safe 结构性成立）
- 写入侧仅 +62.7µs/条（非阻塞入队）；默认 ENABLED=true（主人裁定：入库前先审查）
【耦合说明（重要）】两片同包且互相依赖：MT-B 的 preinsert_recall.go 用 MT-A 的
collectTidyPairs 新签名 + tidyBudget ⇒ **各自单独都 build 不过**，故一并落地。
MT-A 为让整包编译，最小幅度适配了 MT-B 的 preinsert_recall.go / preinsert_test.go
（零值预算=行为不变；符号重名改名）。
【我的验收】隔离 worktree（37 文件）build/vet/linux/darwin 全过，切片包全绿；
我亲手打红两个变异：① 去掉 (compare) 截断标记 ⇒ TestTidyCompareLimit_HitIsLoud 红；
② 中和隔离来源守卫 ⇒ TestReviewRestrictedSourceIsNeverTouched 红。
唯一红是 internal/runtime/tool 的两条超时用例（该包无人改）⇒ 主仓库 -count=8 全绿，
判定为负载敏感 flake（当时两个整树验收 + 子代理并发），已记入开发习惯与约定 §7。
.env.example 补 MEMORY_REVIEW_* 四键（MT-B 无该文件权限，由我按其代码语义补写）。
67 lines
2.8 KiB
Go
67 lines
2.8 KiB
Go
package memory
|
||
|
||
import (
|
||
"context"
|
||
"database/sql"
|
||
"fmt"
|
||
)
|
||
|
||
// 本文件是 D3「入库前审查」（design/23 §15.1 D3）的 schema 侧。
|
||
//
|
||
// 为什么是一张新表而不是塞进 memory_tidy_candidates：设计稿要的是**每一次
|
||
// 入库前审查都留一条结构化记录**（决定 / 依据 / 命中的既有 id / 是否降级，
|
||
// §15 D3-8），而 tidy 候选表是「人工确认队列」（pending/applied/rejected），
|
||
// 语义不同、生命周期也不同 —— 审查是已经生效的事实留痕，不是待批准的提议。
|
||
// 两表共用同一套 id/时间戳口径（主键 id、created_at），词表口径见各列注释。
|
||
//
|
||
// 表结构的权威机制仍是 internal/db 的迁移（tidy 的 0019 是范例）；本表**尚未
|
||
// 登记迁移**，改由 NewStore 幂等前滚，与 memory_items / tidy 两表同一手法
|
||
// （store_schema.go 的口径：记忆存储必须自包含、可在任意 *sql.DB 上使用）。
|
||
// 迁移登记留给主会话（见 MTB-report.md 的「未做」一节），以免与并行切片
|
||
// 抢迁移编号。
|
||
|
||
// createMemoryIngestReviewsTable 是入库前审查的结构化留痕（design/23 §15 D3-8）。
|
||
// 刻意**不存记忆正文**：命中的既有 id 足以让 owner-only 的读侧回表取正文，
|
||
// 而正文不进日志/不进这张表，是把「记忆正文不进日志」这条落成结构。
|
||
const createMemoryIngestReviewsTable = `
|
||
CREATE TABLE IF NOT EXISTS memory_ingest_reviews (
|
||
id TEXT PRIMARY KEY,
|
||
item_id TEXT NOT NULL,
|
||
persona_id TEXT NOT NULL,
|
||
scope TEXT NOT NULL,
|
||
project_id TEXT NOT NULL DEFAULT '',
|
||
decision TEXT NOT NULL,
|
||
reason TEXT NOT NULL DEFAULT '',
|
||
veto TEXT NOT NULL DEFAULT '',
|
||
target_id TEXT NOT NULL DEFAULT '',
|
||
merged_ids TEXT NOT NULL DEFAULT '[]',
|
||
score REAL NOT NULL DEFAULT 0,
|
||
recall_mode TEXT NOT NULL DEFAULT '',
|
||
degraded INTEGER NOT NULL DEFAULT 0,
|
||
rule_version TEXT NOT NULL DEFAULT '',
|
||
session_id TEXT NOT NULL DEFAULT '',
|
||
created_at TEXT NOT NULL
|
||
)`
|
||
|
||
const createMemoryIngestReviewsItemIndex = `
|
||
CREATE INDEX IF NOT EXISTS idx_memory_ingest_reviews_item_id
|
||
ON memory_ingest_reviews (item_id)`
|
||
|
||
const createMemoryIngestReviewsCreatedIndex = `
|
||
CREATE INDEX IF NOT EXISTS idx_memory_ingest_reviews_created_at
|
||
ON memory_ingest_reviews (created_at)`
|
||
|
||
// ensureIngestReviewSchema 幂等地创建入库前审查的留痕表与索引。
|
||
func ensureIngestReviewSchema(ctx context.Context, db *sql.DB) error {
|
||
for _, ddl := range []string{
|
||
createMemoryIngestReviewsTable,
|
||
createMemoryIngestReviewsItemIndex,
|
||
createMemoryIngestReviewsCreatedIndex,
|
||
} {
|
||
if _, err := db.ExecContext(ctx, ddl); err != nil {
|
||
return fmt.Errorf("memory: ingest review schema: %w", err)
|
||
}
|
||
}
|
||
return nil
|
||
}
|