@furongjun1999/dsh-memory 0.7.1 → 0.7.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +58 -48
- package/codebuddy/CODEBUDDY.md +9 -9
- package/docs/README.md +148 -144
- package/docs/discipline/harnesses.yaml +16 -8
- package/docs/discipline/templates/zcode-user.md.tmpl +49 -0
- package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_/345/205/255/345/256/266/350/256/260/345/277/206/347/263/273/347/273/237/345/220/214/345/260/272/345/256/236/346/265/213_v3.1.md +340 -0
- package/docs/eval/N225_/347/264/242/345/274/225/346/227/245/345/277/227/351/235/236/345/257/271/350/261/241/350/243/205/350/275/275/351/235/242/347/261/273/345/236/213/351/227/270_v1.0.md +2 -2
- package/docs/eval/cons200_/345/206/262/347/252/201/346/243/200/346/265/213/351/200/211/351/235/242_/345/256/236/346/226/275/350/256/260/345/275/225_v1.0.md +1 -1
- package/docs/eval/cons200_/345/206/262/347/252/201/346/243/200/346/265/213/351/200/211/351/235/242_/345/256/236/346/226/275/350/256/260/345/275/225_v1.1.md +1 -1
- package/docs/eval/issue43_/351/273/230/350/256/244/347/255/226/347/225/245/344/270/216/351/224/256/347/261/273/345/236/213/351/227/270_v1.1.md +1 -1
- package/docs/eval/issue43_/351/273/230/350/256/244/347/255/226/347/225/245/345/212/240/350/275/275/344/270/216/345/207/255/346/215/256/346/230/216/346/226/207/351/230/237/345/210/227_v1.0.md +2 -2
- package/docs/eval/issue50_/345/205/203/346/225/260/346/215/256/351/200/217/344/274/240/344/270/216/345/205/234/345/272/225_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +5 -5
- package/docs/eval/issue50_/345/215/212/351/207/215/345/244/215/345/276/205/345/256/232/345/244/215/346/240/270_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +9 -9
- package/docs/eval/issue50_/345/276/205/345/256/232/345/244/215/346/240/270/345/205/245/351/230/237_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +4 -4
- package/docs/eval/issue50_/351/207/215/350/246/201/345/272/246/345/220/214/346/272/220/344/270/216/344/277/235/346/212/244/350/257/255/344/271/211_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +1 -1
- package/docs/eval/issue51_/344/270/200/351/224/256/345/256/211/350/243/205/345/244/261/350/264/245_/345/275/222/345/261/236/345/210/244/345/256/232_v1.0.md +1 -1
- package/docs/eval/issue52_/346/235/241/344/273/266/345/205/210/350/241/214/344/270/216/346/210/252/346/226/255/345/217/257/350/247/202/346/265/213_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +3 -3
- package/docs/eval//344/270/211/346/241/243/350/207/252/346/262/273_/346/255/245/351/252/244/342/221/242/345/217/230/346/233/264/345/215/225/344/270/216/345/233/236/346/273/232/345/216/237/350/257/255_/350/220/275/347/240/201/350/256/260/345/275/225_v1.0.md +3 -3
- package/docs/eval//344/270/211/346/241/243/350/207/252/346/262/273_/346/255/245/351/252/244/342/221/243/345/207/206/345/205/245/350/257/273/346/225/260_/350/220/275/347/240/201/350/256/260/345/275/225_v1.0.md +7 -7
- package/docs/eval//344/274/230/345/214/226/347/254/254/344/270/200/346/211/271_/346/216/245/347/272/277/344/270/216/347/255/211/344/273/267/345/217/230/346/215/242_v1.0.md +2 -2
- package/docs/eval//344/274/230/345/214/226/347/254/254/344/270/211/346/211/271_/351/227/250/347/246/201/350/275/254/346/255/243/344/270/216/350/260/203/345/272/246/346/255/242/350/241/200/344/270/216/351/227/250/346/216/247/346/224/266/345/217/243_v1.0.md +1 -1
- package/docs/eval//344/274/230/345/214/226/347/254/254/344/272/214/346/211/271_/344/276/235/350/265/226/351/200/217/344/274/240/344/270/216/345/257/271/346/213/215/345/217/243/345/276/204/344/270/216/350/264/237/347/274/223/345/255/230_v1.0.md +7 -7
- package/docs/eval//345/207/272/350/264/247/351/235/242/345/206/222/347/203/237_/350/277/233/350/264/247/351/227/250/347/246/201_v1.0.md +10 -10
- package/docs/eval//345/217/221/345/270/20307_/345/244/226/351/203/250/346/212/245/345/221/212/345/233/233/346/211/271/344/277/256/345/244/215/344/270/216/346/217/222/344/273/266/351/235/242/345/212/240/345/233/272_v1.0.md +4 -0
- package/docs/eval//345/217/221/345/270/20308_/350/207/252/350/277/255/344/273/243/344/270/216/347/235/241/347/234/240_/345/233/276/346/243/200/347/264/242/350/267/257/344/270/216/346/235/203/351/207/215_v1.0.md +1 -1
- package/docs/eval//345/217/221/345/270/20309_/346/243/200/347/264/242/351/235/242/344/270/211/346/211/271/346/224/266/345/217/243_v1.0.md +1 -1
- package/docs/eval//345/217/221/345/270/20310_/350/257/273/351/235/242/346/215/237/345/235/217UTF8/345/256/266/346/227/217/346/224/266/345/217/243_v1.0.md +71 -0
- package/docs/eval//345/217/221/345/270/20311_/345/244/226/346/212/245/345/205/255/350/277/236/344/277/256/344/270/216/344/270/226/347/225/214/346/250/241/345/236/213/345/272/225/345/272/247_v1.0.md +91 -0
- package/docs/eval//345/275/222/344/270/200/345/261/202/347/274/272/347/234/201/347/277/273/345/205/263_/344/277/256/345/244/215/350/256/260/345/275/225_v1.0.md +2 -2
- package/docs/eval//347/224/250/346/210/267/350/243/201/345/206/263/345/244/204/347/275/256_/347/254/254/344/270/200/346/211/271_v1.0.md +195 -0
- package/docs/eval//347/224/250/346/210/267/350/243/201/345/206/263/345/244/204/347/275/256_/347/254/254/344/272/214/346/211/271B6_/346/234/254/346/234/272/350/267/257/345/276/204/347/233/270/345/257/271/345/214/226_v1.0.md +78 -0
- package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +1 -1
- package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +3 -3
- package/docs/eval//347/254/2543/345/261/202stg/347/273/223/346/236/204/347/264/242/345/274/225_/345/256/236/346/226/275/350/256/260/345/275/225_v1.0.md +1 -1
- package/docs/eval//347/274/226/347/240/201/351/235/242/345/211/215/347/275/256_/345/205/245/345/217/243/350/207/252/344/277/235/350/257/201UTF8/344/270/216/346/226/207/346/234/254open/345/256/210/345/215/253_v1.0.md +1 -1
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v26.md +196 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v27.md +259 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v28.md +217 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v29.md +270 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v30.md +231 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v31.md +281 -0
- package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +1 -1
- package/docs/hive//350/234/202/345/267/242M6_ingest/345/256/236/346/226/275/350/256/241/345/210/222_v0.1.md +1 -1
- package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +1 -1
- package/docs/hive//350/234/202/345/267/242/350/256/276/350/256/241_/347/220/206/350/256/272/345/257/271/351/275/220_v0.1.md +17 -17
- package/docs/hive//350/234/202/345/267/242/350/277/255/344/273/243_/345/256/217/350/247/202/344/270/216/347/276/244/344/275/223/350/260/203/345/272/246_v0.1.md +1 -1
- package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +2 -2
- package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +42 -41
- package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +29 -8
- package/docs/mdcg//347/235/241/347/234/240/345/221/250/346/234/237_/350/277/220/347/273/264/345/211/215/346/217/220/344/270/216/347/273/264/346/212/244/346/214/207/345/215/227_v1.0.md +71 -1
- package/docs/plans//345/205/250/344/270/255/346/226/207/347/274/226/347/240/201/344/270/216/350/234/202/345/267/242/344/273/273/345/212/241/346/240/207/350/257/206/345/245/221/347/272/246_v2.0.md +1 -1
- package/docs/plans//345/244/232/344/270/273/344/275/223/344/270/226/347/225/214/346/250/241/345/236/213_/345/257/271/351/275/220/350/257/204/344/274/260/344/270/216/350/220/275/345/234/260/350/256/276/350/256/241_v0.1.md +141 -0
- package/docs/plans//347/235/241/347/234/240/344/270/216/350/207/252/350/277/255/344/273/243_/345/212/237/350/203/275/344/274/230/345/214/226/350/256/276/350/256/241_v0.4.md +2 -2
- package/docs/plans//350/257/255/344/271/211/346/227/266/347/251/272/345/233/276/350/241/245/345/205/250_/344/270/226/347/225/214/346/250/241/345/236/213/345/212/237/350/203/275/347/253/257_/350/256/276/350/256/241_v0.1.md +107 -0
- package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json +9 -8
- package/docs//347/247/244_/350/256/260/345/277/206/347/263/273/347/273/237/350/257/204/346/265/213/350/247/204/350/214/203_v2.1.md +225 -0
- package/dsh/cordis-patch-profile-web.example.yml +2 -2
- package/lib/bridge.js +9 -0
- package/lib/hooks.d.ts +8 -1
- package/lib/hooks.js +94 -32
- package/lib/lib/hook_audit.d.ts +55 -0
- package/lib/lib/hook_audit.js +208 -0
- package/lib/lib/mutual.js +5 -1
- package/lib/lib/roleplay_web.js +17 -2
- package/md_cg/auditview.py +248 -0
- package/md_cg/bench6_arms.py +10 -6
- package/md_cg/bench_e2e_judge.py +4 -2
- package/md_cg/branches.py +29 -3
- package/md_cg/census.py +2 -1
- package/md_cg/consistency.py +38 -13
- package/md_cg/datapath.py +38 -11
- package/md_cg/forgetting.py +15 -2
- package/md_cg/freshness.py +32 -11
- package/md_cg/ghostref.py +130 -0
- package/md_cg/judgment_manifest.py +7 -0
- package/md_cg/mcp_server.py +58 -1
- package/md_cg/mdcg.py +4923 -4764
- package/md_cg/mdcos.py +40 -15
- package/md_cg/mreview/locate.py +1 -1
- package/md_cg/nodefile.py +77 -13
- package/md_cg/readcache.py +29 -4
- package/md_cg/rollback.py +12 -3
- package/md_cg/routing.py +10 -1
- package/md_cg/selfreport.py +12 -3
- package/md_cg/sleep.py +129 -13
- package/md_cg/sources.py +1 -1
- package/md_cg/state_events.py +131 -0
- package/md_cg/sustain.py +1436 -1436
- package/md_cg/test_auditview.py +277 -0
- package/md_cg/test_autonomy_modes.py +2 -1
- package/md_cg/test_boot_openblas_guard.py +197 -0
- package/md_cg/test_ccg_form_parity.py +95 -4
- package/md_cg/test_cons200_scan_selection.py +4 -2
- package/md_cg/test_corrupt_utf8_read_surfaces.py +451 -0
- package/md_cg/test_datapath_device_name.py +62 -3
- package/md_cg/test_generation_guard.py +20 -11
- package/md_cg/test_ghostref.py +182 -0
- package/md_cg/test_health_corrupt_utf8.py +37 -0
- package/md_cg/test_index_crossprocess_reload.py +39 -24
- package/md_cg/test_interop.py +1 -1
- package/md_cg/test_issue52_scan_condition_first.py +1 -1
- package/md_cg/test_issue53_cipher_health_hash.py +385 -0
- package/md_cg/test_lock.py +16 -7
- package/md_cg/test_m3_h9_semantic_guard.py +1 -1
- package/md_cg/test_n230_dirty_replay.py +375 -375
- package/md_cg/test_n238_body_text_parity.py +156 -0
- package/md_cg/test_n276_probe_hoist.py +199 -0
- package/md_cg/test_p4_freshness.py +95 -1
- package/md_cg/test_policy_required_ccg.py +3 -1
- package/md_cg/test_readcache_prodpath.py +66 -0
- package/md_cg/test_sleep.py +58 -1
- package/md_cg/test_sleep_p1.py +218 -2
- package/md_cg/test_state_events.py +178 -0
- package/md_cg/test_time_core_lint.py +8 -1
- package/md_cg/test_writepipe.py +8 -5
- package/md_cg/tokens.py +11 -2
- package/md_cg/writepipe.py +76 -0
- package/package.json +2 -2
- package/skills/plugin.json +1 -1
- package/src/bridge.ts +9 -0
- package/src/hooks.ts +576 -517
- package/src/lib/hook_audit.ts +243 -0
- package/src/lib/mutual.ts +5 -1
- package/src/lib/roleplay_web.ts +17 -2
- package/zcode/AGENTS.md +9 -9
|
@@ -37,46 +37,47 @@ MCP stdio:md_cg/mcp_server.py
|
|
|
37
37
|
|
|
38
38
|
<!-- FUNCMAP:BEGIN id=cg (scripts/cogmap_sync.py 自动生成 · 勿手改段内) -->
|
|
39
39
|
|
|
40
|
-
**认知基元 `cg` ·
|
|
40
|
+
**认知基元 `cg` · 37 个 op**(行号由本管线从真源自动提取,`check` 门禁守卫漂移):
|
|
41
41
|
|
|
42
42
|
| 功能 | 显式调用 | 代码位置(点击直达源码行) |
|
|
43
43
|
|---|---|---|
|
|
44
|
-
| 按需披露(投影后完整工具 / 参数文档即时取回) | `cg(op=help)` | [`help`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
45
|
-
| 验证态 / 双时间轴 / 履历(含冷路径队列;只读) | `cg(op=status)` | [`status`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
46
|
-
| 三元组反查(派生边任意端 / 谓词 / 时间反查;只读) | `cg(op=edges)` | [`edges`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
47
|
-
| 理论检索(领域理论 / 方法论文) | `cg(op=theory)` | [`theory`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
48
|
-
| 记忆互链(节点间链接管理) | `cg(op=link)` | [`link`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
49
|
-
| 服务信息 / 健康 | `cg(op=info)` | [`info`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
50
|
-
| 路由:意图→知识+建议能力 | `cg(op=route)` | [`route`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
51
|
-
| 读取(按 id / 召回 / 预算) | `cg(op=read)` | [`read`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
52
|
-
|
|
|
53
|
-
|
|
|
54
|
-
|
|
|
55
|
-
|
|
|
56
|
-
|
|
|
57
|
-
|
|
|
58
|
-
|
|
|
59
|
-
|
|
|
60
|
-
|
|
|
61
|
-
|
|
|
62
|
-
|
|
|
63
|
-
|
|
|
64
|
-
|
|
|
65
|
-
|
|
|
66
|
-
|
|
|
67
|
-
|
|
|
68
|
-
|
|
|
69
|
-
|
|
|
70
|
-
|
|
|
71
|
-
|
|
|
72
|
-
|
|
|
73
|
-
|
|
|
74
|
-
|
|
|
75
|
-
|
|
|
76
|
-
|
|
|
77
|
-
|
|
|
78
|
-
|
|
|
79
|
-
|
|
|
44
|
+
| 按需披露(投影后完整工具 / 参数文档即时取回) | `cg(op=help)` | [`help`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2107) → [`_help_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2025) |
|
|
45
|
+
| 验证态 / 双时间轴 / 履历(含冷路径队列;只读) | `cg(op=status)` | [`status`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2113) → [`_status_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1940) |
|
|
46
|
+
| 三元组反查(派生边任意端 / 谓词 / 时间反查;只读) | `cg(op=edges)` | [`edges`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2116) → [`_edges_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1996) |
|
|
47
|
+
| 理论检索(领域理论 / 方法论文) | `cg(op=theory)` | [`theory`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2119) → [`theory`](../../md_cg/theory.py) |
|
|
48
|
+
| 记忆互链(节点间链接管理) | `cg(op=link)` | [`link`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2136) → [`evidence`](../../md_cg/evidence.py) → [`links`](../../md_cg/links.py) → [`provenance`](../../md_cg/provenance.py) → [`security`](../../md_cg/security.py) → [`signer`](../../md_cg/signer.py) |
|
|
49
|
+
| 服务信息 / 健康 | `cg(op=info)` | [`info`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2252) → [`audit`](../../md_cg/audit.py) → [`generation`](../../md_cg/generation.py) → [`links`](../../md_cg/links.py) → [`nodefile`](../../md_cg/nodefile.py) → [`theory`](../../md_cg/theory.py) |
|
|
50
|
+
| 路由:意图→知识+建议能力 | `cg(op=route)` | [`route`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2293) |
|
|
51
|
+
| 读取(按 id / 召回 / 预算) | `cg(op=read)` | [`read`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2314) → [`refindex`](../../md_cg/refindex.py) |
|
|
52
|
+
| 证据审计视图(现值/出处链/两存备择/盲区/退役史;只读) | `cg(op=audit)` | [`audit`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2369) → [`auditview`](../../md_cg/auditview.py) |
|
|
53
|
+
| 写入(含冲突检测 / 闸门 / 审核) | `cg(op=write)` | [`write`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2389) → [`writepipe`](../../md_cg/writepipe.py) |
|
|
54
|
+
| 目标(写入 / 状态 / 清单) | `cg(op=goal)` | [`goal`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2397) |
|
|
55
|
+
| 任务实体(登记 / 计划 / 状态 / 结果;done 无结果拒收) | `cg(op=task)` | [`task`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2416) → [`_task_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2038) |
|
|
56
|
+
| 最近记忆(事件窗口) | `cg(op=recent)` | [`recent`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2419) |
|
|
57
|
+
| 外部裁决回填(节点证据验证) | `cg(op=verify)` | [`verify`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2431) |
|
|
58
|
+
| 审核队列(DEFER / 提案裁决) | `cg(op=review)` | [`review`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2436) |
|
|
59
|
+
| 主动遗忘 / 恢复 | `cg(op=forget)` | [`forget`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2457) |
|
|
60
|
+
| 保护(不可遗忘) | `cg(op=protect)` | [`protect`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2466) → [`_protect_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1235) |
|
|
61
|
+
| 身份维度 | `cg(op=identity)` | [`identity`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2469) → [`_identity_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1263) |
|
|
62
|
+
| 一致性检测 | `cg(op=consistency)` | [`consistency`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2472) → [`_consistency_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1314) |
|
|
63
|
+
| 元认知(盲区聚合) | `cg(op=metacognition)` | [`metacognition`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2475) → [`_metacognition_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1343) |
|
|
64
|
+
| 自我状态 | `cg(op=self_state)` | [`self_state`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2478) → [`_self_state_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1378) |
|
|
65
|
+
| 演化(记忆结构演化) | `cg(op=evolution)` | [`evolution`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2481) → [`_evolution_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1513) |
|
|
66
|
+
| 飞轮 / 自愈 | `cg(op=sustain)` | [`sustain`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2484) → [`_sustain_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1605) |
|
|
67
|
+
| 洗脑 / 去污染 | `cg(op=scrub)` | [`scrub`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2487) → [`_scrub_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1726) |
|
|
68
|
+
| 预测 / 因果门 | `cg(op=predict)` | [`predict`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2490) → [`_predict_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1440) |
|
|
69
|
+
| 因果链 | `cg(op=causal)` | [`causal`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2493) → [`_causal_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L1474) |
|
|
70
|
+
| 白箱能力库(AEIS 能力显式调用) | `cg(op=whitebox)` | [`whitebox`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2496) → [`_whitebox_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3169) |
|
|
71
|
+
| 代码索引 | `cg(op=index_code)` | [`index_code`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2499) → [`refindex`](../../md_cg/refindex.py) → [`security`](../../md_cg/security.py) |
|
|
72
|
+
| 文档索引 | `cg(op=index_doc)` | [`index_doc`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2543) → [`refindex`](../../md_cg/refindex.py) → [`security`](../../md_cg/security.py) |
|
|
73
|
+
| 引用 / 反向引用 | `cg(op=ref)` | [`ref`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2586) → [`_ref_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3069) |
|
|
74
|
+
| 会话管理(多会话归属与过滤) | `cg(op=session)` | [`session`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2589) → [`_session_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2790) |
|
|
75
|
+
| 导入落图 | `cg(op=ingest)` | [`ingest`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2592) → [`_ingest_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2869) |
|
|
76
|
+
| 导出 | `cg(op=export)` | [`export`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2595) → [`_export_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2894) |
|
|
77
|
+
| 维护 | `cg(op=maintain)` | [`maintain`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2598) → [`_maintain_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2916) |
|
|
78
|
+
| 记忆固化 / 整理 | `cg(op=consolidate)` | [`consolidate`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2601) → [`_consolidate_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2994) |
|
|
79
|
+
| 洞察 / 自主探索(信息差驱动) | `cg(op=insight)` | [`insight`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2604) → [`_insight_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3019) |
|
|
80
|
+
| CCG 六要素编译(对话→候选→编外复核→落库) | `cg(op=ccg)` | [`ccg`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2607) → [`_ccg_call`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L2614) |
|
|
80
81
|
|
|
81
82
|
<!-- FUNCMAP:END -->
|
|
82
83
|
|
|
@@ -95,10 +96,10 @@ MCP stdio:md_cg/mcp_server.py
|
|
|
95
96
|
|
|
96
97
|
| 功能 | 显式调用 | 代码位置(点击直达源码行) |
|
|
97
98
|
|---|---|---|
|
|
98
|
-
| 两节点关系 | `stg(op=relation)` | [`relation`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
99
|
-
| 时间线 | `stg(op=timeline)` | [`timeline`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
100
|
-
| 锚点检索(时空窗口) | `stg(op=anchors)` | [`anchors`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
101
|
-
| 时空一致性 | `stg(op=consistency)` | [`consistency`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#
|
|
99
|
+
| 两节点关系 | `stg(op=relation)` | [`relation`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3199) |
|
|
100
|
+
| 时间线 | `stg(op=timeline)` | [`timeline`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3201) |
|
|
101
|
+
| 锚点检索(时空窗口) | `stg(op=anchors)` | [`anchors`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3208) |
|
|
102
|
+
| 时空一致性 | `stg(op=consistency)` | [`consistency`](https://github.com/FuRongJun-1999/dsh-memory/blob/main/md_cg/mcp_server.py#L3212) |
|
|
102
103
|
|
|
103
104
|
<!-- FUNCMAP:END -->
|
|
104
105
|
|
|
@@ -12,13 +12,28 @@
|
|
|
12
12
|
> **2026-10-01 更新(出货面冒烟腿转正)**:门禁链再由 **8 条扩至 9 条腿**——新增
|
|
13
13
|
> `check_publish_smoke.py`(出货面冒烟:pack → 空沙箱真装 → 从装好的目录真启动 MCP →
|
|
14
14
|
> 真发 `initialize` + `tools/list`)。下表同样按 `scripts.gate` 实读对齐。
|
|
15
|
+
>
|
|
16
|
+
> **2026-10-05 更新(A2 使用者裁决:投影判据体必须真执行)**:门禁链再由 **9 条扩至 10 条
|
|
17
|
+
> 腿**——`verify_discipline.py` 的认知图投影腿此前无 `--cg-root` 即静默 `[SKIP]` 退 0
|
|
18
|
+
> (判据体在全部自动化面从未执行);现 root 三态(未提供 / 不存在 / 非认知图)一律
|
|
19
|
+
> fail-closed,链上先加一道 `discipline_nodes.py --init --write --cg-root .tmp/discipline-cg`
|
|
20
|
+
> 建**最小认知图库**(仓内 `.tmp/`,gitignored、由真源逐字节可再生,不触任何在役库),
|
|
21
|
+
> 再把该路径显式交给验证腿。CI 的 discipline-check、Linux 容器腿与 pre-commit 钩子同款两道。
|
|
22
|
+
>
|
|
23
|
+
> **2026-10-05 更新(B6 使用者裁决:公开面路径相对化)**:门禁链再由 **10 条扩至 11 条
|
|
24
|
+
> 腿**——新增 `check_local_paths.py`(**追踪面本机路径门禁**:`git ls-files` 全量公开面上
|
|
25
|
+
> 不得出现本机目录结构路径——本仓机器父级 / AI 目录族 / 旧机 Program Files / dsh-home /
|
|
26
|
+
> 空沙箱 / 用户实名目录与用户目录子面 / 安装面读数)。npm 发布面由第 2 道的 R3 规则另守,
|
|
27
|
+
> 两道互补(R3 只覆盖发布清单内的件,覆盖不到 hive/ 等非发布目录)。合成夹具(`X:/custom`、
|
|
28
|
+
> `C:/Windows/win.ini` 等)与通用通例(Git/Docker 默认安装路径)不在判据面,避免平凡红;
|
|
29
|
+
> 判据带 `--selftest`(正负样例 + 不命中自身源码)与注入探针红侧自证。
|
|
15
30
|
|
|
16
31
|
## 三层防线
|
|
17
32
|
|
|
18
33
|
| 层 | 触发 | 跑什么 | 行为 |
|
|
19
34
|
|---|---|---|---|
|
|
20
|
-
| 本地 pre-commit | `git commit` | `python scripts/cogmap_sync.py build` |
|
|
21
|
-
| 发布链 | `npm publish` | `prepublishOnly`:build → test → **`npm run gate
|
|
35
|
+
| 本地 pre-commit | `git commit` | `python scripts/cogmap_sync.py build` + 认知图投影两道(建最小库 → `verify_discipline.py --cg-root`) | **自动重挂**行号并把两份投影文档一并暂存;投影判据体真跑,红了即拒提交(`--no-verify` 可绕) |
|
|
36
|
+
| 发布链 | `npm publish` | `prepublishOnly`:build → test → **`npm run gate`**(十一道门禁,见下) | 任一步失败即阻断发布 |
|
|
22
37
|
| CI | push / PR | `cogmap-check.yml`:`cogmap_sync.py check` + `link_check.py` | 远端兜底红灯 |
|
|
23
38
|
|
|
24
39
|
## 为什么本地钩子跑 build 而不是 check
|
|
@@ -41,7 +56,7 @@ git config core.hooksPath scripts/git-hooks
|
|
|
41
56
|
|
|
42
57
|
## 发布门禁清单(`npm run gate`)
|
|
43
58
|
|
|
44
|
-
`prepublishOnly` 在 build + test 之后调用 `npm run gate
|
|
59
|
+
`prepublishOnly` 在 build + test 之后调用 `npm run gate`,十一道门禁与 CI **同形但不完全同覆盖**:
|
|
45
60
|
|
|
46
61
|
| # | 命令 | 守什么 | 对应 CI |
|
|
47
62
|
|---|---|---|---|
|
|
@@ -51,9 +66,15 @@ git config core.hooksPath scripts/git-hooks
|
|
|
51
66
|
| 4 | `python scripts/cogmap_sync.py check` | 认知图行号投影与真源一致 | `cogmap-check.yml` |
|
|
52
67
|
| 5 | `python scripts/link_check.py` | 全库 md 相对链接可达 | `cogmap-check.yml` |
|
|
53
68
|
| 6 | `python scripts/workspace_index.py --check` | 工作区索引不陈化(第 18 条) | `workspace-index-check.yml` |
|
|
54
|
-
| 7 | `python scripts/
|
|
55
|
-
| 8 | `python scripts/
|
|
56
|
-
| 9 | `python scripts/
|
|
69
|
+
| 7 | `python scripts/discipline_nodes.py --init --write --cg-root .tmp/discipline-cg` | **建最小认知图库**(第 8 道的执行面;只有 `structural/` 层,18 条投影节点由真源现算,仓内 `.tmp/` 可再生、不触在役库) | `discipline-check.yml`(同款建库步) |
|
|
70
|
+
| 8 | `python scripts/verify_discipline.py --allow-missing --cg-root .tmp/discipline-cg` | 纪律真源 ↔ 各端产物一致 **+ 认知图投影节点一致性**(root 三态 fail-closed,skipped 不计通过) | `discipline-check.yml` |
|
|
71
|
+
| 9 | `python scripts/gate_rust_crate_test.py` | `cargo test` @ `rust/`(Rust 侧口径漂移的回归保障) | **无**(`hive-check.yml` 只跑 `hive/Cargo.toml`,`rust/` 至今零 CI) |
|
|
72
|
+
| 10 | `python scripts/gate_rust_parity.py` | `scripts/rank_parity.py` 逐位对拍(Python `search_rrf` vs Rust `mdcg-eval --serve`) | **无** |
|
|
73
|
+
| 11 | `python scripts/check_local_paths.py` | **追踪面本机路径门禁**:`git ls-files` 全量公开面上不得有本机目录结构路径(npm 面由第 2 道 R3 另守;判据=机器实有前缀 8 族 + `--selftest` 正负样例 + 不命中自身源码) | `publish-artifact-check.yml`(同 workflow 内自检 + 扫描两步) |
|
|
74
|
+
|
|
75
|
+
> **第 11 道追加在链尾是有意的**:第 3 道的 C2 位序断言(smoke 腿紧随第 2 道)与
|
|
76
|
+
> `test_gate_rust_legs.py` 的链尾等价复跑通道(自 Rust 腿①起截尾)都不受影响;
|
|
77
|
+
> 路径违规是本机秒级可判面,位序不承担反馈距离职责。
|
|
57
78
|
|
|
58
79
|
> **第 3 道的位序不是随意的**:它紧跟第 2 道(同为「发布件面」),且**必须在第 4 道
|
|
59
80
|
> `cogmap_sync.py check` 之前**——前者的 `npm pack` 会触发 `prepare`(= 本仓的 `tsc` 构建,
|
|
@@ -63,7 +84,7 @@ git config core.hooksPath scripts/git-hooks
|
|
|
63
84
|
|
|
64
85
|
### 为什么需要第 3 道(同类缺陷已漏两次)
|
|
65
86
|
|
|
66
|
-
第 1–
|
|
87
|
+
第 1–10 道里的**任何一道都拦不住「仓库里在、包里不在」**:第 2 道 `check_publish_artifact`
|
|
67
88
|
扫的是**包内件的内容政策**(凭据 / 私有数据 / 隐私 / 非追踪)——一个必要件**整体缺席**时
|
|
68
89
|
它没有任何可扫的对象,照样 VERDICT=PASS。实测两次同族事故:
|
|
69
90
|
|
|
@@ -86,7 +107,7 @@ git config core.hooksPath scripts/git-hooks
|
|
|
86
107
|
> (安装加 `--legacy-peer-deps` 跳过 peer)、不覆盖 `MDCG_MCP_SURFACE=full` 的多工具面
|
|
87
108
|
> (只测缺省面)、不覆盖 TypeScript 侧 `lib/` 的运行时行为。
|
|
88
109
|
|
|
89
|
-
> **依赖提示**:第
|
|
110
|
+
> **依赖提示**:第 8 道(`verify_discipline.py`)经 `render_discipline` 解析 `docs/discipline/harnesses.yaml`,需要
|
|
90
111
|
> **PyYAML**(CI 里显式 `python -m pip install pyyaml`)。本机缺 PyYAML 时 gate 会硬失败——
|
|
91
112
|
> 那是门禁正常工作,装依赖即可,不是误报。
|
|
92
113
|
|
|
@@ -63,6 +63,24 @@ git --git-dir=<state_root>/sleep/lib.git --work-tree=<root> revert <round_commit
|
|
|
63
63
|
|
|
64
64
|
> 一句话:**git 只做记录者,准入由仓内既有闸门裁决**。所以「合并成功」不等于"git 没冲突",而是"过了语义四闸"。
|
|
65
65
|
|
|
66
|
+
### 5. 手动跑一轮(不等 tick)
|
|
67
|
+
|
|
68
|
+
手动入口是**同一条周期**的入口,不是旁路——它过的是同一套**四道门**:
|
|
69
|
+
|
|
70
|
+
```bash
|
|
71
|
+
python -X utf8 -m md_cg.sleep --once # 立即一轮:过四道门并落台账
|
|
72
|
+
python -X utf8 -m md_cg.sleep --once --dry-run # 只预览:跑盘点与四道门,不物化、不记账
|
|
73
|
+
python -X utf8 -m md_cg.sleep --status # 只读:含 last_cycle(上一次为何没迭代)
|
|
74
|
+
```
|
|
75
|
+
|
|
76
|
+
- `--once` 与常驻 tick 调的是同一个 `run_cycle`;**门没过就只记一条台账**,并显式打印
|
|
77
|
+
一行 `本轮未迭代原因:…`——**该行与台账同一文案源**(「门拦」/「物化未完成」/「幂等」
|
|
78
|
+
三类可辨,见 §九)。
|
|
79
|
+
- `--dry-run` **只与 `--once` 同用**(单独使用直接报错并返回 2,不执行任何动作)。
|
|
80
|
+
- `--status` 的 `last_cycle` 段给出最近一条台账记录的 `t` / `batch` / `round` /
|
|
81
|
+
`candidates` / `skipped`、②③④ 的 skip 文案与 `phases.materialize` 摘要——
|
|
82
|
+
**「上一次为什么没迭代」从 CLI 直接可看**,不必翻 `_sleep.jsonl`。
|
|
83
|
+
|
|
66
84
|
---
|
|
67
85
|
|
|
68
86
|
## 四、开关与可调项(全部可调)
|
|
@@ -82,6 +100,12 @@ git --git-dir=<state_root>/sleep/lib.git --work-tree=<root> revert <round_commit
|
|
|
82
100
|
|
|
83
101
|
> **整条关掉**:`MDCG_SLEEP=0`;**连常驻循环一起关**:`MDCG_SUSTAIN=0`。
|
|
84
102
|
|
|
103
|
+
> **调度前提(v1.1 补)**:睡眠周期**没有自己的进程**——它挂在常驻 `sustain` 循环的
|
|
104
|
+
> **第六档 tick** 上(缺省 `MDCG_SLEEP_INTERVAL=3600` 秒一次);**进程不在就不跑**,
|
|
105
|
+
> 也没有补跑机制(错过的 tick 不追)。跑一轮要过**四道门**:总开关
|
|
106
|
+
> `MDCG_SLEEP` / `MDCG_SLEEP_MERGE=never` / 睡眠窗口 / 稳态候选数为 0。
|
|
107
|
+
> 手动入口 `--once` 过的正是这同一套门(见 §三.5)。
|
|
108
|
+
|
|
85
109
|
---
|
|
86
110
|
|
|
87
111
|
## 五、自动的边界(哪些永不自动)
|
|
@@ -104,7 +128,10 @@ git --git-dir=<state_root>/sleep/lib.git --work-tree=<root> revert <round_commit
|
|
|
104
128
|
|
|
105
129
|
每轮睡眠在台账里留:①盘点候选数 ②本轮语义差异集 Δ 的大小 ③过了四闸多少、挂起多少 ④是否空轮(候选 0 ⇒ 只记账不动手)⑤九步逐步读数(未接线的步骤显式标 `skipped`)。
|
|
106
130
|
|
|
107
|
-
`cg(op=sustain, action=status)`
|
|
131
|
+
`cg(op=sustain, action=status)` 可看到最近几轮;命令行侧另有
|
|
132
|
+
`python -X utf8 -m md_cg.sleep --status` 的 **`last_cycle`** 段(最近一条台账记录的
|
|
133
|
+
`t`/`batch`/`round`/`candidates`/`skipped`、②③④ skip 文案、`phases.materialize` 摘要
|
|
134
|
+
与 `not_iterated_reason`)——**「上一次为何没迭代」不必翻台账文件**。
|
|
108
135
|
|
|
109
136
|
---
|
|
110
137
|
|
|
@@ -181,3 +208,46 @@ git --git-dir=<state_root>/sleep/lib.git --work-tree=<root> revert <round_commit
|
|
|
181
208
|
无六要素后两行声明**(缺省差异在这类语料上不可观测)——它是「两侧同口径下逐位一致」
|
|
182
209
|
的证据,**不是**「两侧已对齐」的证据。P4 乘子的两侧逐位对拍另配了**有判别力**的夹具
|
|
183
210
|
(同分不同龄的节点,见 `md_cg/test_p4_freshness.py` 的 G12)。
|
|
211
|
+
|
|
212
|
+
---
|
|
213
|
+
|
|
214
|
+
## 九、行为口径更新(v1.1 · issue #60/#61):**物化成功即迭代**
|
|
215
|
+
|
|
216
|
+
> 这一节说明「读数与调度口径变了什么」。三条变更都能在台账与 CLI 上直接对拍。
|
|
217
|
+
|
|
218
|
+
### 1. 「物化成功」与「真源面未变」拆成两个读数
|
|
219
|
+
|
|
220
|
+
此前 `materialize()` 的 `ok` 把两件事混在一起:物化窗口内主库真源面被**别的写方**
|
|
221
|
+
改动过(活跃库里这是常态),`ok` 就是假,调用方据此**跳过整轮迭代**——越有料越不
|
|
222
|
+
整理(自我否决)。现在二者分开:
|
|
223
|
+
|
|
224
|
+
| 读数 | 含义 |
|
|
225
|
+
|---|---|
|
|
226
|
+
| `phases.materialize.ok` | **物化动作是否成功**(影子挂上了没:不 busy、能独立开库) |
|
|
227
|
+
| `phases.materialize.face_stable` | **主库真源面在物化窗口内是否逐字节未变**(= 原 `ok` 的真值) |
|
|
228
|
+
|
|
229
|
+
### 2. 物化成功即迭代;真源面漂移交**并发闸**(主库优先)
|
|
230
|
+
|
|
231
|
+
`face_stable=False` **不再阻止**迭代。迭代期间主库被改动/新增的**同一 id**,由第 ③ 段
|
|
232
|
+
对账的**并发闸**(物化时记下的 `baseline_face` 水位)逐项判「**主库优先**」、挂起不
|
|
233
|
+
自动解决(同 §三.4)。`source_face_delta` 与 `baseline_face` 两个读数**原样保留**。
|
|
234
|
+
|
|
235
|
+
### 3. 台账 skip 文案分三类,不再混成一句
|
|
236
|
+
|
|
237
|
+
②③④ 步的 `skipped` 现在明确区分「门拦」与「物化未完成」(CLI 的
|
|
238
|
+
`last_cycle.not_iterated_reason` 与 `--once` 打印的那一行**同源**,即下表文案本身):
|
|
239
|
+
|
|
240
|
+
| 台账文案 | 含义 |
|
|
241
|
+
|---|---|
|
|
242
|
+
| `窗口外(MDCG_SLEEP_WINDOW=…;只记账不迭代)`/`MDCG_SLEEP=0(总开关关)`/`MDCG_SLEEP_MERGE=never(只记账不迭代)`/`稳态:盘点候选数为 0(只记账不动手)` | **门拦**:按设计不动手 |
|
|
243
|
+
| `物化未完成:根级锁被占(另一进程在周期内)`/`物化未完成:<error 摘要>` | **物化未完成**:想动手却没做成(取不到根级锁/影子未挂上) |
|
|
244
|
+
| `本轮未迭代` | `ledger_steps` 的**缺省兜底**(`run_cycle` 的三条路径都显式给文案,不落这条) |
|
|
245
|
+
|
|
246
|
+
---
|
|
247
|
+
|
|
248
|
+
## 修订记录
|
|
249
|
+
|
|
250
|
+
| 日期 | 要点 |
|
|
251
|
+
|---|---|
|
|
252
|
+
| 2026-10-06 | **v1.1**(issue #60/#61):①物化 `ok` 拆为「物化成功」+ `face_stable` 读数,**物化成功即迭代**(真源面漂移交并发闸、主库优先)②新增手动入口 `--once` / `--once --dry-run`(零落盘预览)与 `--status` 的 `last_cycle` 读数 ③台账 skip 文案区分「门拦」与「物化未完成」——见 §三.5 / §四 / §六 / §九 |
|
|
253
|
+
| 2026-10-01 | v1.0 首版:版本库位置 / 维护动作(看历史·看改动·只 revert 的回退·冲突挂起)/ 开关与自动边界 / P2·P4 发版披露(§一–§八) |
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# 全中文编码与蜂巢任务标识契约 v2
|
|
2
2
|
|
|
3
|
-
> 日期:2026-09-29 |
|
|
3
|
+
> 日期:2026-09-29 | 对象:`<仓根>`
|
|
4
4
|
> 状态:**四项已全部裁决(2026-09-29)**;**已动码(2026-09-30,见 §五.1)**
|
|
5
5
|
> 已签收:①编号 4 位、溢出**显式报错** ②身份/任务/单元**必填**,且单元槽取**蜂巢五单元**闭集 ③编号分配**由 Rust 侧实现**(判据单点)④**不做控制台兼容**——取用通道走 python,README 明写全 UTF-8
|
|
6
6
|
> 上位裁定:使用者 2026-09-29「中文入路径;我们代码所有路径都要是 utf-8 兼容中文字符;我们以后是全中文编码」。
|
|
@@ -0,0 +1,141 @@
|
|
|
1
|
+
# 多主体世界模型 · 对齐评估与落地设计 v0.1
|
|
2
|
+
|
|
3
|
+
> **对象**:架构文件《多主体世界模型_底层架构_v0.1》(2026-10-04,外部研究目录,未入库;其内容已按六要素合成为认知图节点 `mem_1791123767334_6fa9dd`,来源=八份调研的合并)。
|
|
4
|
+
> **本稿任务**:把该架构**逐层对到灵枢现行机制上**——每层给出「架构要求 → 灵枢现状(代码级证据) → 判定 → 最小落地步」,供使用者签收。评估口径:判据=架构总纲原文照录;现状证据=仓内代码 `file:line`(读者可逐条复核);「最小落地步」=不新增体系件的收敛动作,标注规模(S≤1 天 / M≤1 周 / L>1 周)与风险。
|
|
5
|
+
> **状态**:v0.1 未签收;本稿**不改一行码、不动在役库**。评估基于 2026-10-04 的材料版本。
|
|
6
|
+
|
|
7
|
+
---
|
|
8
|
+
|
|
9
|
+
## 0. 一句话结论
|
|
10
|
+
|
|
11
|
+
**灵枢不是从零开始,但也不是已就绪。** 五层中:**L0/L1/L3 三层已有可复用骨架**(其中 L1 的「冲突显式化」由 v1.0 暴露的 S1 缺口修复补强——代码修复 2026-09-12 `ce55c048`、2026-10-04 隔离库重测确认;L3 的「候选≠提交」在 2026-10-04 由变更确认档首次活库验证);**L2 有退役与生命周期的半套件,缺「主体×谓词槽位寄存器」**;**L4 推演层几乎空白**(仅单点雏形);**L5 缺「叙事/证据双层」的组装**。另有一组**低风险高收益的口径收口**:把现有件对齐到「断言元组十元」与「四条跨切纪律」。
|
|
12
|
+
|
|
13
|
+
## 1. 架构核心(评估基线,原文照录)
|
|
14
|
+
|
|
15
|
+
- **命题**:故事演绎/历史推演/因果推理/角色扮演=同一问题类——信息不全下维护「带出处、可退役、可分档」的多主体世界模型+受约束推演。
|
|
16
|
+
- **一个原语**:断言 `(主体,谓词,值,[t_from,t_to],精度,来源链,档位,断言者,断言时间,检验强度)`;事件/状态/承诺/否定/盲区皆为断言;**断言≠事实**。
|
|
17
|
+
- **一个引擎**:四态裁决器(accept/reject/defer/blindspot);`D_norm = 0.30·U_trust + 0.25·U_behavior + 0.30·U_connection + 0.15·U_prediction_error`;`E_reduction=(D_A−D_B)/D_A`;**两条机械维度(来源档位×冲突时长)可驱动、可零 LLM**(CD-WHALE-01 回放 5/5)。
|
|
18
|
+
- **五层栈**:L0 记录 → L1 断言 → L2 状态 → L3 裁决 → L4 推演 → L5 呈现。
|
|
19
|
+
- **四条跨切纪律**:事件必记账/出处不升级/退役不删除·失效≠证伪/未决不进二值;统一时间核 `1−exp(−λt)`。
|
|
20
|
+
|
|
21
|
+
## 2. 逐层对照
|
|
22
|
+
|
|
23
|
+
### L0 · 记录层
|
|
24
|
+
|
|
25
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
26
|
+
|---|---|---|
|
|
27
|
+
| append-only 事件日志、原序 | 审计 `_audit.jsonl`(全量事件流);分片索引日志(ShardedLog);软删 `_deletions.jsonl`(trash 留痕可 restore);覆写快照 `_protected_history/`;结构变更账本 `_evolution/ledger.md`(`md_cg/evolution.py:42`);`stg.py` 时空字段+relation/timeline/anchors(`:1-25`)提供时空视图 | **部分对齐** |
|
|
28
|
+
| 两段式:intent 先持久化再执行 | `md_cg/twophase.py:47-50`(`STATUS_COMMITTED/INTERRUPTED/ERROR/ABORTED`)——写入意图先落盘、按内容指纹对账(`:202-204`) | **已对齐**(架构 L0 未列此项;灵枢已有) |
|
|
29
|
+
| 事件必记账(T1 事件记录 vs T2 状态陈述) | `_recent.jsonl`(`mdcg.py:2970 remember_event`;窗口滚动截断 `DEFAULT_RECENT_WINDOW=200`,`:91`)与审计是事件流,但**节点级「状态链」无一等载体**——「基线→变更→后续引用」的三段链(CD-WHALE-01 方法)在灵枢里要临时拼装 | **部分(机制在、硬约束缺)** |
|
|
30
|
+
| 保管链=真实性(P5 定理 2:篡改记录⇒偏离真值) | linkref 引用边+hash 对账(issue #53-C 内容指纹同步);无「保管链断裂降级」的显式语义 | **部分** |
|
|
31
|
+
|
|
32
|
+
**最小落地步**(S):把「状态变更事件」升级为可检索一等记录——载体须 **append-only**(`_recent.jsonl` 为窗口滚动面、**不可作一等记录**;建议新 `_state_events.jsonl` 循 `_evolution` 台账同风格,或挂 `_audit` 面),五元 `(主体,槽位,旧值→新值,轮/seq,出处)` 落 `meta`(`remember_event` 的 meta 承载已探针实测可行);读侧零改动。
|
|
33
|
+
|
|
34
|
+
### L1 · 断言层
|
|
35
|
+
|
|
36
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
37
|
+
|---|---|---|
|
|
38
|
+
| 断言元组十元 | 节点具 **CCG 六要素**(功能名/生效条件/子功能/执行/验证方式/不适用条件)+`condition_space`+`verification_basis`(验证基底:compiler/test/data/other)+`non_applicable_conditions`+双时间轴(`trust.py:81-82 FROM/UNTIL_ALIASES`)——覆盖元组中「条件、来源类、时间、验证」四成 | **部分对齐** |
|
|
39
|
+
| 出处链(史源学三级:一手/转引/回指) | `linkref.py`:写入侧自动解析正文 **id 引用**成 `reference` 边(`:215 make_edge`);`provenance.py`:派生血缘(`derived_from`+`_link.jsonl` 台账+悬空边巡检);`refindex`/`read_ref` 逐字回源 | **部分对齐**(有边与血缘;无「转引降级」等级规则) |
|
|
40
|
+
| **转引不得升级**(首见即回指⇒拒收,幽灵引用防线) | 无专项;**近似**=`evidence.py`「禁止转手」(跨节点证据不参与再次导出,`:17/:221/:464`);CD-WHALE-01 发现 C 的现实形态(自然语言回指)**无任何防线**(探针实测:首见即回指静默无边) | **空白**(id 层与短语层均缺) |
|
|
41
|
+
| 检验强度分级(hoop/smoking-gun/doubly decisive) | 无(`verification_basis` 是来源类型不是检验强度) | **空白** |
|
|
42
|
+
| 两存之为默认、冲突一等、未决不进二值 | `consistency.py` 判定链(`:487`):hard→**divergences(同条件槽分歧,`:675-683`)→DEFER+missing 落显式缺口(`:734/:743-744`)**(修复 2026-09-12 `ce55c048`,2026-10-04 重测确认)→strength 两档→BLINDSPOT→ACCEPT;`unresolved` 层+负记忆覆盖(`mdcos.py:852 _neg_coverage`)+审核队列 | **基本对齐(进度最深)**;**已声明边界同在**:修前检测面≈1.1%(在役库 `code_*` 占满候选名额,`:505-527` 自述)、候选超限时不落保底面者可能不被精比、`rejection_terms` 仅覆盖负条件面 |
|
|
43
|
+
| 否定(Not-Same)/盲区显式标记 | `non_applicable_conditions`(否定条件)+`negative_evidence` 字段(弱);BLINDSPOT 态(无法建立比对路径时不假装确定);**「撤回型否定」无专门语义**(CD-WHALE-01 发现 A) | **部分** |
|
|
44
|
+
|
|
45
|
+
**最小落地步**:①(S)幽灵引用检查器——**两层**:id 引用层沿用 linkref(现状只解析 id,`linkref.py:186-211`;「目标晚于自身」形态加降级告警);**短语层为新增面**——扫描正文回指短语(「上次的/之前的/明明讲过」)且无可解析出处 ⇒ **标记 uncertain、不做拒收**(覆盖 CD-WHALE-01 发现 C 型;挂点须在 writepipe 可短路 before 链(`:123-160`),**不能**挂 linkref.before_hook——其明文「不落盘、永不短路」`:230`);②(M)`asserted_by` 与检验强度入 fm——`asserted_by` **复用既有 `writer/harness/session` 语义、不新造**(防双归因真源;自填字段受「生成方不得自证」纪律约束,`audit.py:11`)。
|
|
46
|
+
|
|
47
|
+
### L2 · 状态层
|
|
48
|
+
|
|
49
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
50
|
+
|---|---|---|
|
|
51
|
+
| 槽位寄存器(现值+档位+区间+备择+盲区) | **无「主体×谓词」槽位结构**(节点是文档式单元);近似物=`self_state.py:86 DIMENSIONS=(task,person,session,time,trust)`——那是**自我状态的五维切片**、非世界状态;`self_state.index(dim,value)` 可登记/反查 | **空白(本评估确认的最大结构缺口之一)** |
|
|
52
|
+
| 退役不删除、失效≠证伪(rank 语义) | `lifecycle.py:52 STATES=(active→converged→demoted→archived)` 降级轴+`can_transition` 迁移裁决(`:113`);`forgetting.py` 写入门(ACCEPT/内部确定性先行 DROP≥0.60/MERGE≥0.85/DEFER 四态,判定顺序 `:344-351`);**「已过期 ≠ 已证伪」**:`trust.validity` 四值(unknown/not_yet/active/expired,`:298-320`),读面**只排已过期、保留未生效**(`mdcos.py:750`) | **对齐度高**(「降级不删」+「失效≠证伪」两条都在) |
|
|
53
|
+
| 注入级退役(旧值不再进上下文) | 读面 `validity` 过滤=注入级退役的原语;`scrub.sweep`(自净闭环:抽查→联想→体检→去污染/校准,`scrub.py:832-853`) | **部分**(有过滤原语;「某槽位旧值退出注入面」的槽位级语义待寄存器落地) |
|
|
54
|
+
| 状态=事件投影(事件溯源/纪事本末体) | 无(节点独立存在,非事件推导) | **空白** |
|
|
55
|
+
|
|
56
|
+
**最小落地步**(M,须先定单一真源):**事件是源、槽位是投影**(对齐架构「状态=事件投影」)——槽位现值表不是独立真源,而是 L0 `_state_events.jsonl` 的物化视图;槽位 schema 须同步三处既有面:`evolution.STATE_FIELDS`(回滚面,`:52-54`)、`scrub._EXPIRY_KEYS/_NOT_YET_KEYS` 键族纪律(`trust.py:79-83` 明文「任一侧新增键须同步」,交叉守卫 `test_validity_filter` 钉住)、双时间轴别名(`trust.py:81-82`)。**不建新库、不建新层**。
|
|
57
|
+
|
|
58
|
+
### L3 · 裁决层
|
|
59
|
+
|
|
60
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
61
|
+
|---|---|---|
|
|
62
|
+
| 四态裁决(accept/reject/defer/blindspot) | `consistency.VERDICTS`(`:99`)+判定链(`:487`)+读/路由面同态四态(`route` 返回 state) | **已对齐**(术语同源) |
|
|
63
|
+
| **提交点**(候选不改世界,选中才提交) | ①`twophase`(写入两段式,指纹对账 `:202-204`);②审核队列 `mreview`:改写/删除/合并先出**变更单**(`autonomy_modes.py:543 mutation_payload` 含 after 后像、`:619 propose_mutation`),裁决 accept 才落盘——**2026-10-04 首次活库全流程验证**(两例:prop_6f851055130e(工作区复核脚本与运行记录可核)/prop_10bdc7665596(留痕在在役库审核队列与记录节点,公开面不可核));③autonomy 三档(**plan/confirm/full**,`autonomy_modes.py:129`;confirm=改写·删除·合并需确认,`:150-155`) | **已对齐**(候选/提交分离+确认档俱全;`branches.py` fork/merge/discard 为「备择」补充实验场) |
|
|
64
|
+
| D_norm 四维加权 | `conflict_strength∈[0,1]`(两档阈值 CLASH_HIGH=0.6/LOW=0.35)——**单维强度,非四维加权**;无 E_reduction | **部分** |
|
|
65
|
+
| 来源档位×冲突时长「两条机械维度即可驱动」 | 来源档位雏形=linkref 出处边+`links.P_trust` 跨节点信任层(概率估计/可被反例击穿/降快于升,`links.py:9-18`)+`writepipe._after_trust` 一跳传播(`:479-484`);**冲突持续时长(t_deviation)未实装**;裁决现由「同条件槽+结论覆盖度」等确定性判据驱动(零 LLM 事实上成立) | **部分对齐**(机械裁决性质已具备,维度未对齐) |
|
|
66
|
+
| 副作用三件套(accept→退役旧值/reject→否定锚/defer→两存之) | accept 覆写留 `_protected_history` 快照+可回滚(`rollback_cli`);defer→unresolved/审核队列;**reject→否定锚未成**(rejected 层是节点级拒收,非「该值不成立」的槽位否定) | **部分** |
|
|
67
|
+
|
|
68
|
+
**最小落地步**:①(S)`U_connection` 维实装:冲突边存续时长按 `1−exp(−λt)` 入 conflict_strength 合成——**λ 为工程参数(使用者裁定 2026-10-04:随项目调整、不写死)**:缺省锚定既有尺子 ln2/30 天(受定点变异守卫钉死不得漂移,`test_time_core_lint.py:812-815`),14 天为**可选严格档**经 `MDCG_TEMPORAL_GAMMA` 显式设定;总纲 λ=0.1 属 P5 域实例化值,与灵枢核的换算关系待回放校准;②(M)E_reduction 接进审核记录(纯记录面,不改判)。
|
|
69
|
+
|
|
70
|
+
### L4 · 推演层 ★最大空白
|
|
71
|
+
|
|
72
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
73
|
+
|---|---|---|
|
|
74
|
+
| 主体模型六件套(属性/状态/轨迹/心理/知识边界/归因) | 无 | **空白** |
|
|
75
|
+
| 前向 rollout(分支/反事实/边界重算) | `predict.py` 有先验命中率、因果边(`has_causal_link`)、结构化模式(`has_structural_pattern`)与反思机制——是**检索预测**雏形,非世界推演 | **空白(仅有单点雏形)** |
|
|
76
|
+
| 推演三判据(收敛>覆盖、可预测性为验证、归约效率) | 「可预测性为验证」有单点雏形:`predict.py:13` 命中率动态校准(MIN_SAMPLES=50+动态死区)+命中历史持久化台账 `_prediction.jsonl`(`:20`,跨进程可审计);`autonomy.py:6` 盲区聚类(知识边界)为系统级旁证;其余两项无 | **空白(仅有单点雏形)** |
|
|
77
|
+
| 非故事因果寄存器(不归因于单主体的状态变化) | 无 | **空白(调研确认全行业无先例)** |
|
|
78
|
+
|
|
79
|
+
**最小落地步**(M→L,建议**探针先行**):先用 CD-WHALE-01 鲸娘语料做**隔离原型**——从既有转录构建「主体×槽位」状态链,跑「N 轮后旧值是否复发」的检测,验证三判据的可操作性(`predict` 的 hit_rate 先验可直接借)。**不在产品面开工,先拿读数**。
|
|
80
|
+
|
|
81
|
+
### L5 · 呈现层
|
|
82
|
+
|
|
83
|
+
| 架构要求 | 灵枢现状(证据) | 判定 |
|
|
84
|
+
|---|---|---|
|
|
85
|
+
| 双层:叙事注入面/证据审计面 | 检索面(`read`/`route`)+`op=ref` 逐字回源;**已有角色资格分流**:`roleviews.py:37-60` 三视图(main=结论与修正历史/verifier=判据面与环境陷阱/receipt=命令与预期输出)+既有审计组件(`op=whitebox`、`scrub.audit`、`self_state.audit`、judgment_manifest);**缺「叙事/证据双层」的按需组装** | **部分** |
|
|
86
|
+
| 「行业现状恰好只有第一层、缺第二层」 | 灵枢的**出处在**(linkref/refindex/read_ref;引文可回源 97.7–100%,六家中前列);verifier 视图已是审计面雏形——缺的是**组装与默认面** | **部分** |
|
|
87
|
+
|
|
88
|
+
**最小落地步**(S→M):加一个只读组装器——**新 op(如 `cg(op="audit")`);不得复用 `view` 参数名**(已被 roleviews 占用,`mdcos.py:772-777`,非法值 fail-closed ValueError):给节点 id 输出「现值+出处链+两存/备择+盲区+退役史」。**纯读、零写路径改动**。
|
|
89
|
+
|
|
90
|
+
### 跨切纪律与统一时间核
|
|
91
|
+
|
|
92
|
+
| 条目 | 灵枢现状 | 判定 |
|
|
93
|
+
|---|---|---|
|
|
94
|
+
| 事件必记账 | `twophase`+审计在;**节点级状态链缺**(=L0 落点) | 部分 |
|
|
95
|
+
| 出处不升级 | linkref 有边无降级规则;**已有近似**:`evidence.py`「禁止转手」(带 `xnode:cross` 的跨节点证据不参与再次导出,`:17/:221/:464`)+`provenance.py` 派生血缘;缺「转引降级等级」规则(=L1 落点) | 部分 |
|
|
96
|
+
| 退役不删除·失效≠证伪 | `lifecycle`+`trust.validity`(=L2) | 对齐度高 |
|
|
97
|
+
| 未决不进二值 | `unresolved`+DEFER+`missing`+审核队列(=L1/L3) | 基本对齐 |
|
|
98
|
+
| 统一时间核 `1−exp(−λt)` | `freshness.cred_factor`(`md_cg/whitebox_kb/aeis_core/time_core.py:28`)——γ 锚定 **30 天无观测半衰期**(ln2/30≈0.0231/天,唯一读取点 `mdcos.py:88-99 temporal_gamma`),14 天为可选严格档(`MDCG_TEMPORAL_GAMMA` 显式设定);**全库唯一时间演化核**(time_core docstring 明令禁止 ad-hoc 折扣) | **已对齐** |
|
|
99
|
+
|
|
100
|
+
## 3. 对架构文件本身的评估(可核性抽查)
|
|
101
|
+
|
|
102
|
+
**〔实证〕抽查**(本评估能触及的,逐条标出处):
|
|
103
|
+
- 「抽取式证据链 0–2%」——**实测可核**(公开台账 `systems/readings.json` L3 切A/B:三家 0.0/0.9/1.7/1.8%,区间 0–1.8%;v3.1 报告同源)。
|
|
104
|
+
- 「闭卷 68% >六家 50.3–62.5%」——**实测可核**(《秦吏》:67.9% vs 六家 62.5/60.2/59.0/58.0/56.9/50.3;《毛选》:68.8% vs 35.0–61.7%;与基准公开 README 表述一致)。
|
|
105
|
+
- 「多跳冲突消解 ≤7%」——**转引**(MemoryAgentBench,外部基准;调研材料自标「未核实」,原始口径 at most 6%)——**不属于本方六家实测**,引用保留转引边界。
|
|
106
|
+
- 「CD-WHALE-01 回放 5/5、阈值与档位网格不敏感、两条敏感性边界」——**可核**(**工作区副本**:`.zcode/review/CTP-P5接入说明_v0.1.md:118` 与 `CD-WHALE-01_矛盾发现报告_v1.0.md`;回放脚本在外部研究目录;边界①在总纲 §3 L0/§4、边界②在 §5)。
|
|
107
|
+
- 「P5 原型自带单测(案例 II 数字)」——**可核**(纯标准库原型,未接生产,符合其自声明)。
|
|
108
|
+
- 「灵枢 SELF 层 100 轮零漂移」——**转引**(出自角色扮演调研,本评估未见原始实验脚本;引用时保留该边界)。
|
|
109
|
+
|
|
110
|
+
**〔推断〕登记**(总纲自标共五条,全登记):①记录完整度主参数〔推断〕;②盲区二分(世界未指定 vs 记录损毁)〔推断〕;③非故事因果寄存器实现〔推断〕;④**校准缺口**——五档信任值需新语料校准(span 饱和掩盖取值差异);⑤**不得把「裁决器可零 LLM」外推到全部裁决场景**(同因 span 饱和)。④⑤为落地期直接相关风险边界,按「探针先行」处理。
|
|
111
|
+
|
|
112
|
+
**一处口径张力(提请签收时注意)**:总纲主张「裁决可零 LLM」——灵枢侧一致性引擎确为全确定性(成立);但**「LLM 依赖的固化动作仍需人工放行」是灵枢既有裁定**(v2.0/v3.x 自评沿用)——两者不冲突(裁决零 LLM≠自迭代全自动),但写作与实现时**不得合并表述**,避免把「可零 LLM 裁决」误读为「整链可无人工」。
|
|
113
|
+
|
|
114
|
+
## 4. 路线建议(三选项,推荐序 A → B → C)
|
|
115
|
+
|
|
116
|
+
- **A · 口径收口**(S–M,低风险):L1 幽灵引用检查器(**短语层标记**,不做拒收)+`asserted_by`(复用 writer/harness)/检验强度入 fm+L0 状态事件五元落 **append-only** 台账;全部走「缺省回落、存量零迁移」,守卫可定点自证。**收益**:四条纪律从「有对应物」变「有闸门」。
|
|
117
|
+
- **B · L4 主体模型探针**(M,隔离原型):鲸娘语料状态链回放,验证三判据与 slot 检测;**产出读数后再定是否产品化**(与睡眠/自治设计同样的「设计稿先行」纪律)。
|
|
118
|
+
- **C · L5 审计面组装器**(S,纯读):给检索结果挂「证据审计视图」;依赖 A 的字段(出处/两存/盲区)。
|
|
119
|
+
|
|
120
|
+
## 5. 边界与待裁决
|
|
121
|
+
|
|
122
|
+
1. **本评估的边界**:基于 2026-10-04 材料版本;未读八份调研的全部证据附件(只读六份主件)。**判定标准公开可复核(本稿自定,经独立复核后升级为三问)**:①机制在**生产路径**上(非仅测试/文档面)?②行为如描述(有代码证据)?③**已知边界已声明**?三问任一不满不得判「对齐」——读者可按此三问重判任何格。
|
|
123
|
+
2. **待签收点**:①是否按 A→B→C 推进(或另选);②**λ 已裁(2026-10-04 使用者)**:λ=**工程参数、随项目调整、不写死**(缺省锚定既有尺子 ln2/30 天,14 天严格档经 `MDCG_TEMPORAL_GAMMA` 显式设定);③L2 槽位 schema 专稿(本稿只给方向);④**动工授权(2026-10-04 使用者)**:设计稿定稿后按 A→B→C 直接动工、走验收流程。
|
|
124
|
+
3. **未纳入**:载体侧(NextTavern/酒馆)的联动改动——沿用「机制是灵枢的、载体是酒馆的」分工,不在本仓落地。
|
|
125
|
+
|
|
126
|
+
---
|
|
127
|
+
|
|
128
|
+
## 附:v0.1 复核修订记录(2026-10-04)
|
|
129
|
+
|
|
130
|
+
独立复核(对源 10 条+挑战 23 条=33 条发现)逐条裁定后**全部采纳**,实质修订如下:
|
|
131
|
+
|
|
132
|
+
1. **数字与出处更正(red)**:①§3 实证抽查三条数字**分拆出处**——「多跳冲突消解 ≤7%」更正为**转引**(MemoryAgentBench,材料自标未核实、原始口径 at most 6%);「六家 51–62%」更正为 **50.3–62.5%**(逐格值,附毛选轮 35.0–61.7%)。②autonomy 第三档更正:`free`→**`full`**(`autonomy_modes.py:129`)。
|
|
133
|
+
2. **日期更正(yellow)**:S1 缺口「代码修复」日期 2026-10-04→**2026-09-12(`ce55c048`)**;2026-10-04 为隔离库重测确认日(与 v3.1 报告口径对齐)。
|
|
134
|
+
3. **行号与标识符精度(yellow/info)**:`can_transition` `:75`→`:113`;missing 锚点→`:734/:743-744`;`_coverage`→`_neg_coverage`(`:852`);twophase 指纹→`:202-204`;time_core 路径补 `md_cg/` 前缀;`scrub` 表述更正(自净闭环,非「降权采样」);validity 补第四值 `unknown`。
|
|
135
|
+
4. **判定更正(yellow)**:①L1「两存之」补**已声明边界**(检测面 1.1%、候选超限、`rejection_terms` 限负条件面);②跨切「出处不升级」由「空白」改**「部分」**(计入 `evidence.py` 禁止转手+`provenance.py` 派生血缘);③L5 判定更正(已有 `roleviews` 角色资格分流与审计组件,「未显式分流」表述撤销);④L4 三判据补单点雏形(`_prediction.jsonl`);⑤事件必记账两处判定统一为「部分」。
|
|
136
|
+
5. **落地步更正(yellow)**:①L0 事件五元载体由 `_recent.jsonl` 改 **append-only**(其窗口滚动截断会丢历史);②幽灵引用检查器**限定短语层标记**(不做拒收;挂点须在 writepipe 可短路 before 链,不能挂 linkref.before_hook);③`state_slots` 补**单一真源定义**(事件是源、槽位是投影)+三处同步面(`evolution.STATE_FIELDS`/`scrub` 键族/双时间轴别名);④L5 组装器**不得复用 `view` 参数名**(roleviews 占用);⑤`asserted_by` 明确**复用 writer/harness**(防双归因真源);⑥**λ 落地步按使用者裁定改写**(工程参数、不写死;缺省受守卫钉死、严格档显式设定;与总纲 λ=0.1 的换算待回放校准)。
|
|
137
|
+
6. **补充与归位(info)**:§3 推断登记补全至五条(含「零 LLM 不外推」);L3 来源档位补 `links.P_trust`;L0 补 `stg.py`;L3 补 `branches.py`;L4 补 `autonomy` 盲区聚类;§5.1 判定标准升级为三问(生产路径/行为证据/已知边界);回放材料标注工作区副本路径。
|
|
138
|
+
|
|
139
|
+
---
|
|
140
|
+
|
|
141
|
+
*本稿 v0.1 · 2026-10-04(复核定稿)· 评估基线=《多主体世界模型_底层架构_v0.1》+六份调研主件 · 代码证据截至提交 `a04ce1d9` · 33 条复核发现全部裁定采纳(见上附)— 待签收*
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
> **起因**:使用者实测反馈四症状(召回被旧的历史记忆干扰 / 反思未生效 / 遗忘未生效 / 按时间与因果等六要素重建索引未生效)。
|
|
5
5
|
> **v0.1 → v0.2**:使用者就第一轮六个待裁定项给出裁定,逐条落地;并补两轮专项调研(因果与时间的图检索、访问刷新与衰减权重)。**两条与直觉不同的调研结论已如实标注**(见 §1.4/§1.5 的「⚠ 与直觉不同」)。
|
|
6
6
|
> **v0.2 → v0.3**:使用者就 §十 的五个待定项给出裁定——合并**沿用 git 的方式自动进行**、窗口取 `23:00-07:00`、六要素**全进默认检索**、权重**进主分数**;并追问 τ 口径(§6.3 作答,**并更正 v0.2 里我写错的那个公式**)。§四 因此整章改写为 **git 机制**(含九条硬冲突的逐条应对)。
|
|
7
|
-
> **v0.3 → v0.4**:使用者就 §十 剩余四项给出裁定(见 §〇.3),**规格冻结**;并定发版口径——本线实现随 **0.7.0** 出货,测评面 =
|
|
7
|
+
> **v0.3 → v0.4**:使用者就 §十 剩余四项给出裁定(见 §〇.3),**规格冻结**;并定发版口径——本线实现随 **0.7.0** 出货,测评面 = `<外部基准目录>\因果分析基准_v1.0`。
|
|
8
8
|
|
|
9
9
|
---
|
|
10
10
|
|
|
@@ -530,7 +530,7 @@ AEIS 的 `decay_cycle` **没有 floor**,而 md_cg 的保护判定是**即时
|
|
|
530
530
|
|
|
531
531
|
**已裁(P1 落地后补 · 编排侧按既有惯例裁定)**:⑯**回退目标是该轮的「内容提交」(`round_commit`)**,不是拓扑用的合并提交(§4.5 已注明);⑰**窗口值非法形态回落缺省 `23:00-07:00`**(照同表 `INTERVAL`/`MERGE` 的回落惯例;「留空=全时段」仍是唯一的显式全时段入口);⑱**第④步实改闸门登记为第七个 env `MDCG_SLEEP_SCRUB_APPLY`(缺省 0)**,「合并前人工可复核」在缺省配置下由「该档缺省关 + `MDCG_SLEEP_MERGE=ask`」共同满足(§3.3 已注明)。
|
|
532
532
|
|
|
533
|
-
**发版口径(第三轮同批)**:本线实现随 **0.7.0** 出货;测评面 =
|
|
533
|
+
**发版口径(第三轮同批)**:本线实现随 **0.7.0** 出货;测评面 = `<外部基准目录>\因果分析基准_v1.0`(因果分析基准:语料 23 章 + 主轮 92 题 + 干预轮;判分包 `sut.py`/`judge.py`/`semantic.py`/`score_sut.py`)。**检索能力已全面占优,本版针对因果推理栏。**
|
|
534
534
|
|
|
535
535
|
**(此前待签收项现全部关闭)**:1 γ/Δt → ⑫;2 回滚方式 → ⑬;3 git 运维前提入库 → ⑭;4 基线落盘 → ⑮;5 版本节奏 → 本件升版为 v0.4(文件名同步为 `_v0.4.md`,历史由 git 保留)。
|
|
536
536
|
|