 AskaEth
|
82e9213804
|
test(memory): M45 复看 P2 —— 补「temporal 不许被判定读」的源码级断言 + 注释纠正
P2-1（真缺口）：r1 复看的变异 C 证明「在异步审查侧拿 item.Temporal 改判」当时
**整个 memory 包全绿** —— 已落库的行在异步侧被改判这条口径没有守卫，而异步侧
（applyVerdict / setIngestRetention）恰恰最容易被人随手接线。
新增 TestTemporalIsNotWiredIntoJudgement：扫生产代码（非 _test.go、非注释行）里
所有含 `.Temporal` 的行，逐行要求命中 temporalFieldSites 白名单（校验 3 条 / 产出 1 条，
**片段级**而不是文件级 —— 按文件放行会让同一文件里新写的接线路过），违规时报
「文件:行号: 表达式片段」；同时校验白名单每一条确实命中过，防止它老化成空头许可证。
变异实测（复看给的写法，插在 preinsert.go 的 applyVerdict 入口）：
--- FAIL: TestTemporalIsNotWiredIntoJudgement
temporal 被接进了判定（裁决 D：它只许被记录，不许被判定读）…：
preinsert.go:476: if item.Temporal == TemporalOneOff {
删掉接线后全绿。
P2-2（文案与 D 矛盾）：store_temporal.go 的归属清单原写「判定在 resolveRetention
（唯一入口，第 4 步）」—— D 之后第 4 步是 N1~N7、没有 temporal 步，那句等于给后来者
指了接线入口。改为：temporal 只被记录、不参与判定；要把 temporal 接进判定必须先拿到
模型真实标签分布，并只能通过 temporalFieldSites 白名单（有意的接线决定）进来。
另按复看提醒：temporal.go 头注里那两条统计 SQL 标明「**运维分析用，不属于读侧代码
路径**」，并写明读侧（timegate 与任何读侧 SQL）明令不许对 created_at/expires_at 用
datetime() —— 那是定宽文本比较，抄进查询层会静默判错。
回归：go build ./... + go vet ./... 全绿；memory/db 包测试全绿；memory -race 38.0s 全绿。
|
2026-10-26 19:29:16 +08:00 |
|
|
AskaEth
|
c7c0294a16
|
refactor(memory): M45 裁决 D —— temporal 位撤出判定，只保留观测
按 r1 复审裁决 D：这一位先只做观测，`resolveRetention` 不许读它。理由（实测）：
无条件 one_off ⇒ temp 会当天删 21 条长期约定；只放开 N6 位置判据能翻的 13 条
逐条是约定、而复审点名的三条目标行 0/3 救得了。在「模型真实标签分布」这份证据
缺位时不该做 7 天后物理删的不可逆决定。
撤接线（结论集逐字回到 M45 之前）：
- retention.go：resolveRetention 不再读 item.Temporal；与之对比 dev base
（af61b8c）本文件**只有注释差异**，规则与判定入口逐字未变。
- extract_retention.go：judgeExtractionRetention 签名回退单参；删除
judgeRetentionTimepointWide 与 n6_timepoint_wide 规则码。与 dev base 对比
**同样只有注释差异** ⇒ 「结论集 = 不含 temporal 的那个集合」是结构性的，
不是靠调用点记得别传。
- 连带取消初版的 durable / recurring ⇒ long（零影响必须是双向的）。
保留观测面（一律未动）：迁移 0027 的列、自举前滚、提取器的 temporal 产出、
prompt 枚举、闭集与 normalizeTemporal、store_temporal.go 的校验/编码。
另外把 prompt 里「标成 one_off 会让它进临时层、到期消失」这句**撤接线后已是假话**
改成中性标注说明 —— 否则会诱导模型避开 one_off，观测数据直接被污染。
测试：
- TestTemporalBitDoesNotAffectRetention —— 4 类语料 × 5 个取值，(档位,规则码)
与未分型逐字相同（核心正断言）；
- TestTemporalOneOffDoesNotMakeAnythingTemporary / ...DoesNotRescueRuleHitRows
—— 零影响的双向点名；
- TestTemporalIsStillRecorded —— one_off 的约定行仍落 temporal='one_off' 而档位
long、expires 空（观测在、判定不动）；
- TestTemporalDoesNotTouchExplicitTierOrRestrictedSource —— 人工入口与受限来源不变。
变异实测：把 `if item.Temporal == TemporalOneOff { return temp }` 插回
resolveRetention ⇒ 上述四条用例全红（FAIL 输出已贴给塔），恢复后全绿。
IngestRuleVersion 保持 d3.5，注释改准为「记录 temporal 信号，但不参与判定」
（留痕面变了：库里多了「模型当时标了什么」这一维，回退会让新旧留痕混在一起）。
P2 三条保留：store.go 500 行（拆 store_temporal.go）、temporal.go 头注（'' 的口径
+ 两次被否的接线方案 + 接线前必须看的那两条统计 SQL）、报告语境段。
回归：go build ./... + go vet ./... 全绿；memory/db 包测试全绿；memory -race
38.2s 全绿。
|
2026-10-26 19:21:24 +08:00 |
|
|
AskaEth
|
3b9ae3f918
|
refactor(memory): M45 r1 复审返工 —— temporal 位只放开 N6 位置判据
按 r1 复审裁定（p1-3items / fix-then-merge）重做三处：
P1-1/P1-2：删掉自造的六条语义安全阀（temporalSanityVeto）与约定词表
（retentionStatesAgreement）。理由被复审用两条生产行否证：它们既把该救的行
杀了（「…睡得比平时早」被习惯词、「…以后不用再惦记」被永久化标记），又挡不住
同义异形的约定（说定 / 约了）。现在 `one_off` 的全部作用是**放开 N6 的位置判据**：
judgeExtractionRetention 新增 temporal 入参 → judgeRetentionTransient →
judgeRetentionTimepointWide（位置内命中仍返 n6_timepoint，只有靠放开位置才命中
才返新增的 n6_timepoint_wide，供观测区分）。N1~N5、N7、护栏①②、N6 的 1~7 条
语义安全阀一字不动；durable / recurring 仍直接判 long（fail-safe 方向）。
P1-3：上界口径改为「时点词存在 ∧ 语义安全阀全过 ∧ 当前 long」——不依赖任何
标注，可逐条列出。实测（生产库只读副本，快照 2026-10-26）：最近 500 条 active
能翻 13 条、**逐条都是「约定 + 今天没走成」**；全量 3694 条能翻 26 条（13 条
约定 + 13 条状态行）。旧的「句首时点词」口径是同义反复，已删。
已知代价（写进 temporal.go 头注与 TestTemporalOneOffWidenedPositionTouchesAgreements，
不藏在词表后面）：位置窗口今天正是那批约定行的唯一保护，放开后只要模型标
one_off 它们就会判 temp；而复审点名的两条目标行本片救不了（被语义阀挡，与位置
无关）。因此这一位在当前语料上**没有可测收益**，是否保留是产品裁决。
P2-1：store.go 503 → 497 行，拆出 store_temporal.go（哨兵错误 + 字段校验 +
列值编码）。
P2-2：temporal.go 头注改准 —— `''` 是「0027 之前的历史行 + 没做时间性判断的
写入路径（ManualExtractor / 网关手写 / 整理回填，它们由调用方显式给档位）」。
P2-3：报告补语境（retention_tier 非空仅 26 行、temp 1 行、temporal 列当时还不
存在 ⇒ 重放结论对新写入没有预测力）。
测试：验收点 ①~⑤ 按新语义重写；新增「位置放开可打红」的变异靶子与「N7 位置
不放宽」「无时点词时这一位不做事」「两条目标行救不了」「约定行会翻（已知风险）」
五条边界断言。变异实测：unlocksTimepointPosition 改恒 false ⇒ 三条用例红。
回归：go build ./... + go vet ./... 全绿；memory/db 包测试与 memory -race 全绿。
|
2026-10-26 19:15:08 +08:00 |
|
|
AskaEth
|
91101dedfb
|
feat(memory): M45 提取器时间性元数据位 temporal 驱动留存判定
背景（M37 复审的原话）：「真正卡住上游的是提取器的改写：一次性事件被写成
30~80 字的第三人称长期陈述……这不是阈值问题，是判定链缺信息位。」本片补的
就是那一位，不动 N1~N7 的任何阈值。
产出侧
- temporal.go：TemporalKind 闭集（one_off / recurring / durable / unknown，
空串 = 未分型），normalizeTemporal 只认四个字面值，其余一律归 unknown（绝不猜
同义词）；提取提示词追加该枚举（模型只负责标注，判定在 Go 闭集 switch 里）。
- llmextractor：候选解析后归一并随 MemoryItem 带出；非法/缺失值不报错、不拖累
同批其他候选。
落库
- 迁移 0027_memory_temporal（up: ADD COLUMN temporal TEXT NOT NULL DEFAULT ''；
down: DROP COLUMN，只撤结构、不改写任何行数据）+ NewStore 的自举前滚
（duplicate column 是预期路径）；Store.Add 的同一笔 INSERT 写该列，判定与
留痕不分叉。
判定（仍是 resolveRetention 一处收口，judgeIngest 一字未改）
- one_off ⇒ temp（+ expires_at），但先过 temporalSanityVeto 六条语义安全阀：
显式「记住」/ 在陈述约定 / 习惯词 / 硬性长期事实词 / 永久化 / 状态改变 ——
命中即不给结论、落回 N1~N7。依据是离线重放的实测：去掉「记住+约定」两条时
21 条长期约定会被判 temp（4.80%），全开后在最近 500 条窗口内翻转条数为 0。
- durable / recurring ⇒ long 且不再跑规则；unknown / 未分型 ⇒ 落回 N1~N7
（不许因为「正文看着像今天的事」就判 temp）。
- IngestRuleVersion d3.4 → d3.5（判定结论会变，留痕必须可分）。
验证
- go build ./... + go vet ./... 全绿；go test -count=1 ./internal/runtime/memory/...
./internal/db/... 全绿；memory -race 全绿。
- 新增 temporal_test.go（验收点 ①~⑤ + 两条交叉护栏 + 闭集/归一化）与
temporal_migration_test.go（0027 up/down/同形/真实启动顺序）。变异实测：
摘掉 one_off 支路 ⇒ ① 全红；关掉 temporalSanityVeto ⇒ 三条护栏用例全红。
- 迁移测试的「回滚 N 步」改为从 schema_migrations 现算（migrateDownToBefore），
新加一条迁移不再打红 0025/0026 的用例。
|
2026-10-26 18:57:38 +08:00 |
|