@furongjun1999/dsh-memory 0.4.11 → 0.5.1

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.
Files changed (580) hide show
  1. package/README.md +552 -465
  2. package/codebuddy/CODEBUDDY.md +11 -3
  3. package/codebuddy/README.md +92 -90
  4. package/codebuddy/mcp.json +27 -27
  5. package/docs/GBrain/345/217/257/345/200/237/351/211/264/347/202/271_/347/201/265/346/236/242/350/220/275/347/202/271/344/272/244/346/216/245_20260919.md +169 -169
  6. package/docs/Pi/345/217/257/345/255/246/344/271/240/344/274/230/347/202/271_/347/201/265/346/236/242/345/244/247/350/204/221/346/224/271/350/277/233/344/272/244/346/216/245_20260915.md +144 -144
  7. package/docs/README.md +143 -111
  8. package/docs/discipline/harnesses.yaml +244 -226
  9. package/docs/discipline/templates/full.md.tmpl +61 -61
  10. package/docs/discipline/templates/rules.mdc.tmpl +68 -0
  11. package/docs/discipline/templates/skill.md.tmpl +23 -23
  12. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md +299 -299
  13. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v2.0.md +239 -239
  14. package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
  15. package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
  16. package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
  17. package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
  18. package/docs/eval//345/256/236/351/252/214/346/226/271/346/241/210_/345/255/246/344/271/240/351/227/255/347/216/257AB/344/270/216/346/250/252/350/257/204_v1.0.md +174 -174
  19. package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
  20. package/docs/eval//346/250/252/350/257/204_/345/205/255/345/256/266100/351/242/230/344/270/255/350/213/261/345/217/214/346/237/245_v1.0.md +223 -223
  21. 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 +100 -0
  22. 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 +197 -0
  23. 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_v1.md +156 -0
  24. 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_v10.md +210 -0
  25. 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_v11.md +227 -0
  26. 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_v12.md +203 -0
  27. 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_v13.md +233 -0
  28. 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_v14.md +191 -0
  29. 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_v15.md +213 -0
  30. 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_v16.md +214 -0
  31. 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_v17.md +199 -0
  32. 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_v2.md +156 -0
  33. 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_v3.md +152 -0
  34. 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_v4.md +128 -0
  35. 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_v5.md +114 -0
  36. 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_v6.md +192 -0
  37. 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_v7.md +187 -0
  38. 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_v8.md +207 -0
  39. 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_v9.md +203 -0
  40. package/docs/{mdcg → hive}//344/273/244/347/211/214/344/270/216/350/247/222/350/211/262/346/235/203/350/201/214/345/210/206/347/246/273_v0.1.md +165 -160
  41. package/docs/hive//344/273/244/347/211/214/350/257/255/344/271/211/344/277/256/346/255/243_/344/273/262/350/243/201/344/275/215_v0.1.md +76 -0
  42. package/docs/{mdcg → hive}//345/255/220/344/273/243/347/220/206/351/205/215/347/275/256/346/240/207/345/207/206_v0.5.md +236 -236
  43. package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
  44. package/docs/hive//346/243/200/347/264/242/346/224/266/346/225/233/345/256/236/346/265/213/344/270/216S1b/350/256/276/350/256/241_v0.1.md +43 -43
  45. package/docs/hive//346/243/200/347/264/242/347/256/227/346/263/225/345/217/243/345/276/204/345/257/271/347/205/247_v0.1.md +85 -0
  46. package/docs/hive//346/243/200/347/264/242/350/267/257/345/276/204/344/270/216/350/256/244/347/237/245/347/273/223/346/236/204/345/245/221/347/272/246_v0.1.md +102 -102
  47. 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 +47 -0
  48. 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 +519 -503
  49. package/docs/hive//350/234/202/345/267/242/345/267/245/344/275/234/350/256/260/345/277/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +85 -85
  50. 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 +191 -0
  51. 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 +90 -0
  52. package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
  53. package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
  54. package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -216
  55. package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
  56. package/docs/mdcg/lingshu_tutorial.html +14449 -14449
  57. package/docs/mdcg/release_v0.4.11.md +49 -0
  58. package/docs/mdcg/release_v0.4.5.md +55 -55
  59. package/docs/mdcg/tool_table_v0.3.0.md +117 -117
  60. package/docs/mdcg//345/205/250/345/272/223/344/273/243/347/240/201/350/257/204/345/256/241/344/270/216/346/235/241/344/273/266/345/214/226/346/263/250/351/207/212_/350/256/241/345/210/222_v0.1.md +600 -600
  61. 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 +40 -40
  62. package/docs/mdcg//345/215/225/345/205/203/350/207/252/346/210/221/351/224/232/347/202/271_/347/263/273/347/273/237/346/217/220/347/244/272/350/257/215/346/240/207/345/207/206_v0.3.md +275 -275
  63. package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
  64. package/docs/mdcg//346/272/220/347/240/201/347/272/247/346/236/266/346/236/204/345/256/241/350/256/241_GPT/346/211/271/350/257/204/345/257/271/347/205/247_v1.0.md +130 -130
  65. package/docs/mdcg//347/201/265/346/236/24282/345/267/245/345/205/267_/345/212/237/350/203/275/346/225/264/347/220/206/344/270/216/350/277/201/347/247/273/346/230/240/345/260/204_v0.1.md +278 -278
  66. package/docs/mdcg//347/201/265/346/236/242/350/256/260/345/277/206/345/212/250/350/257/215/345/215/217/350/256/256_v1.0-draft.md +172 -172
  67. package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
  68. package/docs/mdcg//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md +491 -491
  69. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md +340 -340
  70. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/347/264/242/345/274/225/344/270/216/345/267/245/347/250/213/350/247/204/350/214/203/345/214/226_/350/256/241/345/210/222_v0.1.md +588 -588
  71. package/docs/plans/GridWorld/346/234/200/345/260/217/351/227/255/347/216/257/350/247/204/346/240/274_v0.1.md +176 -176
  72. package/docs/plans//345/221/275/345/220/215/346/262/273/347/220/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +81 -81
  73. package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
  74. package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md +242 -242
  75. package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
  76. package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md +129 -129
  77. package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md +134 -134
  78. package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  79. package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md +145 -145
  80. package/docs/theory//347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md +144 -144
  81. package/docs/theory//347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md +198 -198
  82. package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md +221 -221
  83. package/docs/world_model//344/270/226/347/225/214/346/250/241/345/236/213_/347/245/236/347/273/217/347/275/221/347/273/234/345/272/225/345/261/202/346/236/266/346/236/204_v1.0.md +237 -237
  84. package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
  85. package/docs//345/217/221/345/270/203/344/273/266/345/233/236/346/272/257/350/257/264/346/230/216_v0.1.md +82 -82
  86. 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 +28 -2
  87. package/dsh/README.md +82 -82
  88. package/dsh/cordis.yml.example +139 -139
  89. package/dsh/update-lingshu.bat +11 -11
  90. package/lib/bridge.d.ts +9 -0
  91. package/lib/bridge.js +35 -0
  92. package/lib/hooks.js +36 -2
  93. package/lib/index.js +7 -1
  94. package/lib/lib/roleplay_web.js +116 -29
  95. package/lib/lib/token_store.d.ts +7 -1
  96. package/lib/lib/token_store.js +12 -3
  97. package/md_cg/__init__.py +7 -7
  98. package/md_cg/audit.py +379 -368
  99. package/md_cg/autonomy.py +287 -287
  100. package/md_cg/backfill.py +1328 -1327
  101. package/md_cg/backfill_bigdomain.py +34 -34
  102. package/md_cg/backfill_bucket_zh.py +35 -0
  103. package/md_cg/bench6_arms.py +410 -410
  104. package/md_cg/bench6_common.py +230 -230
  105. package/md_cg/bench6_competitors.py +212 -212
  106. package/md_cg/bench_axis_domain.py +257 -257
  107. package/md_cg/bench_blind_comp.py +308 -308
  108. package/md_cg/bench_e2e_judge.py +532 -0
  109. package/md_cg/bench_e2e_locomo_qa.py +368 -0
  110. package/md_cg/bench_e2e_qa.py +256 -0
  111. package/md_cg/bench_en_atoms_public.py +230 -230
  112. package/md_cg/bench_governance.py +348 -348
  113. package/md_cg/bench_lme_zh.py +410 -410
  114. package/md_cg/bench_locomo.py +121 -121
  115. package/md_cg/bench_locomo_zh.py +450 -450
  116. package/md_cg/bench_locomo_zh_public.py +147 -147
  117. package/md_cg/bench_longmem.py +112 -112
  118. package/md_cg/bench_membench.py +632 -632
  119. package/md_cg/bench_p0.py +149 -149
  120. package/md_cg/bench_progressive.py +287 -287
  121. package/md_cg/bench_role_views.py +238 -238
  122. package/md_cg/bench_task_ab.py +243 -243
  123. package/md_cg/bench_task_ab_llm.py +408 -408
  124. package/md_cg/bench_unified_en.py +204 -204
  125. package/md_cg/bench_zh_mad.py +601 -601
  126. package/md_cg/blindspot_tickets.py +123 -123
  127. package/md_cg/branches.py +301 -285
  128. package/md_cg/build_postings.py +73 -73
  129. package/md_cg/ccgc.py +1006 -948
  130. package/md_cg/census.py +132 -132
  131. package/md_cg/chain.py +315 -300
  132. package/md_cg/codeindex.py +531 -531
  133. package/md_cg/coldverify.py +292 -292
  134. package/md_cg/comment_gate.py +337 -337
  135. package/md_cg/cond_compose.py +190 -190
  136. package/md_cg/cond_facts.py +154 -154
  137. package/md_cg/cond_template.json +106 -106
  138. package/md_cg/condition_anchor.py +142 -142
  139. package/md_cg/conformance.py +726 -726
  140. package/md_cg/consistency.py +717 -717
  141. package/md_cg/consolidate.py +1537 -1439
  142. package/md_cg/corpus.py +110 -110
  143. package/md_cg/crosscheck.py +1098 -1097
  144. package/md_cg/crypto.py +3 -1
  145. package/md_cg/d_meta.py +310 -310
  146. package/md_cg/datapath.py +78 -18
  147. package/md_cg/docindex.py +473 -473
  148. package/md_cg/eval_common.py +575 -575
  149. package/md_cg/evidence.py +4 -2
  150. package/md_cg/evolution.py +477 -477
  151. package/md_cg/export.py +222 -220
  152. package/md_cg/forgetting.py +581 -581
  153. package/md_cg/fsutil.py +377 -329
  154. package/md_cg/hotcache.py +48 -7
  155. package/md_cg/hyperedge.py +251 -251
  156. package/md_cg/identity.py +390 -390
  157. package/md_cg/insight.py +500 -500
  158. package/md_cg/interop.py +338 -0
  159. package/md_cg/judgment_manifest.py +177 -0
  160. package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
  161. package/md_cg/lexicon/build_standard_en.py +171 -171
  162. package/md_cg/lexicon/expand_en_zh.py +211 -211
  163. package/md_cg/lifecycle.py +272 -272
  164. package/md_cg/linkref.py +280 -280
  165. package/md_cg/links.py +140 -107
  166. package/md_cg/mcp_server.py +403 -55
  167. package/md_cg/md_whitebox.py +345 -345
  168. package/md_cg/mdcg.py +783 -233
  169. package/md_cg/mdcos.py +500 -70
  170. package/md_cg/metacognition.py +591 -591
  171. package/md_cg/migrate.py +119 -119
  172. package/md_cg/migrate_aeis.py +221 -221
  173. package/md_cg/migrate_roleplay.py +293 -293
  174. package/md_cg/migrate_wisdom_graph.py +360 -360
  175. package/md_cg/mreview/__init__.py +25 -25
  176. package/md_cg/mreview/__main__.py +110 -110
  177. package/md_cg/mreview/bundle.py +178 -178
  178. package/md_cg/mreview/candidates.py +262 -262
  179. package/md_cg/mreview/govern.py +694 -693
  180. package/md_cg/mreview/locate.py +939 -939
  181. package/md_cg/mreview/pipeline.py +728 -728
  182. package/md_cg/mreview/rules/duplication.json +21 -21
  183. package/md_cg/mreview/rules/field_coverage.json +54 -54
  184. package/md_cg/mreview/rules/source_license.json +21 -21
  185. package/md_cg/mreview/rules/template_flow.json +21 -21
  186. package/md_cg/mreview/ruleset.py +252 -252
  187. package/md_cg/nodefile.py +575 -575
  188. package/md_cg/pooling.py +484 -472
  189. package/md_cg/postings.py +300 -298
  190. package/md_cg/predict.py +1100 -1100
  191. package/md_cg/progressive.py +123 -123
  192. package/md_cg/protect.py +272 -272
  193. package/md_cg/protocol/md_cg_gate.proto +33 -33
  194. package/md_cg/protocol.py +372 -372
  195. package/md_cg/provenance.py +582 -582
  196. package/md_cg/reach.py +453 -453
  197. package/md_cg/readcache.py +143 -0
  198. package/md_cg/reconcile.py +228 -0
  199. package/md_cg/refindex.py +833 -833
  200. package/md_cg/refine.py +604 -604
  201. package/md_cg/review_cli.py +170 -0
  202. package/md_cg/roleviews.py +89 -89
  203. package/md_cg/routing.py +393 -365
  204. package/md_cg/run_tests.py +211 -0
  205. package/md_cg/scrub.py +13 -3
  206. package/md_cg/security.py +128 -18
  207. package/md_cg/self_state.py +1029 -1029
  208. package/md_cg/selfreport.py +152 -151
  209. package/md_cg/semantic/__init__.py +10 -10
  210. package/md_cg/semantic/canonical.py +122 -122
  211. package/md_cg/semantic/en_normalizer.py +364 -364
  212. package/md_cg/semantic/en_zh_map.json +28694 -0
  213. package/md_cg/semantic/export_en_zh_map.py +64 -0
  214. package/md_cg/semantic/unify.py +45 -0
  215. package/md_cg/semantic/zh_en_atoms.py +139 -139
  216. package/md_cg/signer.py +7 -4
  217. package/md_cg/sources.py +816 -582
  218. package/md_cg/statushdr.py +179 -179
  219. package/md_cg/stg.py +54 -37
  220. package/md_cg/subgraph.py +729 -729
  221. package/md_cg/sustain.py +35 -5
  222. package/md_cg/tasks.py +470 -470
  223. package/md_cg/test_access_hints.py +147 -0
  224. package/md_cg/test_action_derive.py +203 -203
  225. package/md_cg/test_audit_rotate.py +270 -270
  226. package/md_cg/test_autonomy.py +143 -143
  227. package/md_cg/test_bench_governance.py +102 -102
  228. package/md_cg/test_blindspot_tickets.py +166 -166
  229. package/md_cg/test_branch_discard_tombstone.py +136 -0
  230. package/md_cg/test_branches.py +13 -3
  231. package/md_cg/test_ccg_perturb.py +184 -184
  232. package/md_cg/test_ccgc.py +433 -433
  233. package/md_cg/test_census_prune.py +81 -81
  234. package/md_cg/test_chain_read_isolate.py +168 -0
  235. package/md_cg/test_cond_compose_anchors.py +76 -76
  236. package/md_cg/test_cond_match.py +165 -165
  237. package/md_cg/test_condition_anchor.py +81 -81
  238. package/md_cg/test_d_meta.py +412 -412
  239. package/md_cg/test_datapath_device_name.py +203 -0
  240. package/md_cg/test_datapath_root.py +199 -199
  241. package/md_cg/test_emit_negtail_cache.py +156 -0
  242. package/md_cg/test_en_pipeline.py +22 -2
  243. package/md_cg/test_gain_gate.py +212 -212
  244. package/md_cg/test_govern_directread.py +421 -0
  245. package/md_cg/test_health_scale.py +173 -173
  246. package/md_cg/test_hive_ingest.py +285 -0
  247. package/md_cg/test_hot_cold.py +215 -215
  248. package/md_cg/test_hyperedge.py +245 -245
  249. package/md_cg/test_i26_empty_first_write.py +116 -0
  250. package/md_cg/test_i27_e041_identity.py +128 -0
  251. package/md_cg/test_i28_hotcache_prodpath.py +122 -0
  252. package/md_cg/test_i32_hotcache_env_key.py +218 -0
  253. package/md_cg/test_identity_attribution.py +96 -15
  254. package/md_cg/test_index_durability.py +17 -3
  255. package/md_cg/test_interop.py +95 -0
  256. package/md_cg/test_interop_judgment.py +228 -0
  257. package/md_cg/test_issue39_utf8_stdio.py +273 -0
  258. package/md_cg/test_lifecycle.py +309 -309
  259. package/md_cg/test_linkref.py +306 -306
  260. package/md_cg/test_links_concurrent_write.py +188 -0
  261. package/md_cg/test_lock.py +43 -43
  262. package/md_cg/test_md_access_parity.py +255 -255
  263. package/md_cg/test_md_writepath.py +345 -345
  264. package/md_cg/test_mdstore_search_parity.py +160 -0
  265. package/md_cg/test_merge_upsert.py +168 -0
  266. package/md_cg/test_mr_m2.py +587 -587
  267. package/md_cg/test_mr_m3.py +710 -710
  268. package/md_cg/test_mr_m4.py +485 -485
  269. package/md_cg/test_n123_derive_expiry_chain.py +205 -0
  270. package/md_cg/test_n130_verify_falsified_protect.py +185 -0
  271. package/md_cg/test_n131_merge_gate.py +205 -0
  272. package/md_cg/test_p0.py +250 -250
  273. package/md_cg/test_p1.py +316 -316
  274. package/md_cg/test_p10_identity.py +173 -173
  275. package/md_cg/test_p11_consistency.py +233 -233
  276. package/md_cg/test_p12_metacognition.py +212 -212
  277. package/md_cg/test_p13_encryption.py +241 -241
  278. package/md_cg/test_p14_sustain.py +249 -249
  279. package/md_cg/test_p15_scrub.py +280 -280
  280. package/md_cg/test_p16_self_state.py +301 -301
  281. package/md_cg/test_p17_predict.py +354 -354
  282. package/md_cg/test_p18_whitebox.py +171 -171
  283. package/md_cg/test_p19_migrate_roleplay.py +149 -149
  284. package/md_cg/test_p1x_ref_root.py +160 -0
  285. package/md_cg/test_p20_evolution.py +315 -315
  286. package/md_cg/test_p21_tokens.py +293 -270
  287. package/md_cg/test_p22_theory.py +175 -175
  288. package/md_cg/test_p23_links.py +311 -311
  289. package/md_cg/test_p24_evidence.py +227 -227
  290. package/md_cg/test_p25_weights.py +156 -156
  291. package/md_cg/test_p26_refindex.py +416 -416
  292. package/md_cg/test_p27_docindex.py +16 -7
  293. package/md_cg/test_p28_refcheck.py +305 -305
  294. package/md_cg/test_p29_session_ingest_export.py +354 -333
  295. package/md_cg/test_p2_mcp.py +3 -0
  296. package/md_cg/test_p3.py +11 -2
  297. package/md_cg/test_p30_maintain.py +330 -330
  298. package/md_cg/test_p31_insight.py +534 -534
  299. package/md_cg/test_p32_backfill.py +7 -1
  300. package/md_cg/test_p33_ccg_wiring.py +293 -293
  301. package/md_cg/test_p34_crosscheck.py +331 -331
  302. package/md_cg/test_p35_conditioned_claim.py +252 -252
  303. package/md_cg/test_p36_kp_align.py +230 -230
  304. package/md_cg/test_p37_condition_space.py +248 -248
  305. package/md_cg/test_p38_concurrent_flush.py +102 -0
  306. package/md_cg/test_p38_contextualize.py +273 -273
  307. package/md_cg/test_p39_verify_flow.py +153 -0
  308. package/md_cg/test_p39_vision_evidence.py +369 -369
  309. package/md_cg/test_p40_refine_worklist.py +241 -241
  310. package/md_cg/test_p41_evolve_patrol.py +224 -224
  311. package/md_cg/test_p42_provenance.py +269 -269
  312. package/md_cg/test_p43_pooling.py +412 -398
  313. package/md_cg/test_p44_md_whitebox.py +231 -231
  314. package/md_cg/test_p45_session_identity.py +219 -219
  315. package/md_cg/test_p46_unit_scope.py +272 -272
  316. package/md_cg/test_p47_session_view.py +316 -0
  317. package/md_cg/test_p4_fuzzy.py +223 -223
  318. package/md_cg/test_p5_semantic.py +226 -226
  319. package/md_cg/test_p6_consolidate.py +440 -387
  320. package/md_cg/test_p7_goals_recent.py +202 -202
  321. package/md_cg/test_p8_subgraph_chain.py +200 -200
  322. package/md_cg/test_p9_forget_protect.py +231 -231
  323. package/md_cg/test_predict_beta.py +135 -135
  324. package/md_cg/test_preflight_failclosed.py +100 -100
  325. package/md_cg/test_progressive.py +146 -146
  326. package/md_cg/test_propose_tail_index.py +157 -0
  327. package/md_cg/test_protocol.py +243 -243
  328. package/md_cg/test_reach.py +378 -378
  329. package/md_cg/test_reach_keys.py +201 -201
  330. package/md_cg/test_read_clip.py +141 -141
  331. package/md_cg/test_read_scope_b27.py +277 -0
  332. package/md_cg/test_readcache_default_on.py +168 -0
  333. package/md_cg/test_readcache_precise_inval.py +270 -0
  334. package/md_cg/test_readcache_prodpath.py +203 -0
  335. package/md_cg/test_reconcile_v0.py +294 -0
  336. package/md_cg/test_retr_gates_prodpath.py +140 -0
  337. package/md_cg/test_retr_s1.py +344 -340
  338. package/md_cg/test_retr_s1b.py +276 -209
  339. package/md_cg/test_retr_s3.py +194 -194
  340. package/md_cg/test_retr_s4.py +163 -163
  341. package/md_cg/test_retr_s5.py +200 -200
  342. package/md_cg/test_retr_s6.py +157 -157
  343. package/md_cg/test_retr_s7.py +392 -384
  344. package/md_cg/test_retr_s8_time.py +369 -316
  345. package/md_cg/test_retr_s9_edges.py +286 -286
  346. package/md_cg/test_retr_s9_entity_ctx.py +9 -3
  347. package/md_cg/test_retr_score_once.py +208 -0
  348. package/md_cg/test_review_conformance.py +367 -367
  349. package/md_cg/test_review_onepass.py +170 -0
  350. package/md_cg/test_role_views.py +354 -354
  351. package/md_cg/test_rrf_graph_seed_cache.py +154 -0
  352. package/md_cg/test_security_audit.py +155 -0
  353. package/md_cg/test_security_audit_b26.py +161 -0
  354. package/md_cg/test_security_audit_v21.py +250 -0
  355. package/md_cg/test_sem_noise.py +242 -242
  356. package/md_cg/test_semantic_canonical.py +16 -2
  357. package/md_cg/test_session_isolation.py +168 -0
  358. package/md_cg/test_snapshot_autoclose.py +187 -0
  359. package/md_cg/test_subproc_encoding.py +192 -192
  360. package/md_cg/test_sustain_mutual.py +153 -153
  361. package/md_cg/test_tail_watermark_race.py +208 -0
  362. package/md_cg/test_tasks.py +409 -409
  363. package/md_cg/test_tenant_env_override_warn.py +139 -0
  364. package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
  365. package/md_cg/test_tool_face.py +189 -189
  366. package/md_cg/test_transfer.py +180 -180
  367. package/md_cg/test_trust.py +361 -361
  368. package/md_cg/test_twophase.py +286 -286
  369. package/md_cg/test_v14_fixes.py +38 -20
  370. package/md_cg/test_validity_filter.py +280 -280
  371. package/md_cg/test_verify_answer.py +138 -138
  372. package/md_cg/test_verify_dirty_reconcile.py +157 -0
  373. package/md_cg/test_wisdom_md_store.py +292 -292
  374. package/md_cg/test_writelimit.py +197 -197
  375. package/md_cg/test_writepipe.py +214 -214
  376. package/md_cg/theory.py +6 -3
  377. package/md_cg/tokens.py +85 -14
  378. package/md_cg/tool_face.py +260 -260
  379. package/md_cg/trust.py +986 -950
  380. package/md_cg/twophase.py +231 -231
  381. package/md_cg/units.py +668 -667
  382. package/md_cg/vision_evidence.py +667 -666
  383. package/md_cg/weights.py +624 -624
  384. package/md_cg/whitebox.py +527 -527
  385. package/md_cg/whitebox_kb/__init__.py +37 -37
  386. package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
  387. package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
  388. package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
  389. package/md_cg/whitebox_kb/engine.py +310 -310
  390. package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  391. package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
  392. package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
  393. package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
  394. package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
  395. package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
  396. package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
  397. package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
  398. package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
  399. package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
  400. package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
  401. package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
  402. package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
  403. package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
  404. package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
  405. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
  406. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
  407. package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
  408. package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
  409. package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
  410. package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
  411. package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
  412. package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
  413. package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
  414. package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
  415. package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
  416. package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
  417. package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
  418. package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
  419. package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
  420. package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
  421. package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
  422. package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
  423. package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
  424. package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
  425. package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
  426. package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
  427. package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
  428. package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
  429. package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
  430. package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
  431. package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
  432. package/md_cg/writelimit.py +356 -356
  433. package/md_cg/writepipe.py +20 -8
  434. package/package.json +101 -96
  435. package/skills/plugin.json +54 -54
  436. package/skills/skills/designer-perspective/SKILL.md +158 -158
  437. package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
  438. package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
  439. package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
  440. package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
  441. package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
  442. package/skills/skills/designer-perspective/scripts/designer.py +545 -545
  443. package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
  444. package/skills/skills/designer-perspective/tests/selftest.py +61 -61
  445. package/skills/skills/lingshu-browser/SKILL.md +60 -60
  446. package/skills/skills/lingshu-compiler/SKILL.md +56 -56
  447. package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
  448. package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
  449. package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
  450. package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
  451. package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
  452. package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
  453. package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
  454. package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
  455. package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
  456. package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
  457. package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
  458. package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
  459. package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
  460. package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
  461. package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
  462. package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
  463. package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
  464. package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
  465. package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
  466. package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
  467. package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
  468. package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
  469. package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
  470. package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
  471. package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
  472. package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
  473. package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
  474. package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
  475. package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
  476. package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
  477. package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
  478. package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
  479. package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
  480. package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
  481. package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
  482. package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
  483. package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
  484. package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
  485. package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
  486. package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
  487. package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
  488. package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
  489. package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
  490. package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
  491. package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
  492. package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
  493. package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
  494. package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
  495. package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
  496. package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
  497. package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
  498. package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
  499. package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
  500. package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
  501. package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
  502. package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
  503. package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
  504. package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
  505. package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
  506. package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
  507. package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
  508. package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
  509. package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
  510. package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
  511. package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
  512. package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
  513. package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
  514. package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
  515. package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
  516. package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
  517. package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
  518. package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
  519. package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
  520. package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
  521. package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
  522. package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
  523. package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
  524. package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
  525. package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
  526. package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
  527. package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
  528. package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
  529. package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
  530. package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
  531. package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
  532. package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
  533. package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
  534. package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
  535. package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
  536. package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
  537. package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
  538. package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
  539. package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
  540. package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
  541. package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
  542. package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
  543. package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
  544. package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
  545. package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
  546. package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
  547. package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
  548. package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
  549. package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
  550. package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
  551. package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
  552. package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
  553. package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
  554. package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
  555. package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
  556. package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
  557. package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
  558. package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
  559. package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
  560. package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
  561. package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
  562. package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
  563. package/skills/skills/lingshu-graph/SKILL.md +63 -63
  564. package/skills/skills/lingshu-net/SKILL.md +48 -48
  565. package/skills/skills/lingshu-os/SKILL.md +64 -64
  566. package/skills/skills/lingshu-pylang/SKILL.md +71 -71
  567. package/src/bridge.ts +33 -0
  568. package/src/hooks.ts +38 -2
  569. package/src/index.ts +526 -518
  570. package/src/lib/datapath.ts +326 -326
  571. package/src/lib/mdcg_client.ts +413 -413
  572. package/src/lib/mutual.ts +428 -428
  573. package/src/lib/prompt_safety.ts +62 -62
  574. package/src/lib/python_path.ts +71 -71
  575. package/src/lib/roleplay_web.ts +116 -29
  576. package/src/lib/token_store.ts +13 -3
  577. package/src/tools.ts +212 -212
  578. package/zcode/AGENTS.md +11 -3
  579. package/zcode/README.md +41 -41
  580. /package/docs/{mdcg → hive}//344/270/273/344/273/243/347/220/206/345/255/220/344/273/243/347/220/206/350/256/260/345/277/206/346/236/266/346/236/204/350/256/276/350/256/241.md" +0 -0
@@ -1,55 +1,55 @@
1
- # 03 方向判断:盲区驱动、目标函数与导航税
2
-
3
- > 来源:《智能论3.4.md》5.3、6章.2、7.3、附录22.1、蜂群架构奠基声明五。行号为 v3.4 原文行号。
4
-
5
- ## 一、条款锚点
6
-
7
- | 条款 | 行号 | 原文关键句 |
8
- |------|------|-----------|
9
- | 5.1 状态空间 | 3140-3142 | `S(t) = ( C(t), K(t), B(t) )`;C=条件空间 / K=知识状态 / B=身体端口状态。 |
10
- | 5.2 混杂系统 | 3144-3150 | 认知是**混杂系统**:感知事件驱动、路由离散决策、信念在验证时刻点更新、趋势/租约/可信度衰减准连续。 |
11
- | 5.3 目标函数 | 3152-3165 | `π* = argmax_π [ Σ_v Value(s,v) - λ·K_π ]`;`Value(s,v) = ΔD_task(s,v) · σ( Gain_task(s,v) )`;Gain_task=筛选器(值不值得做)、ΔD_task=定价器(对任务值多少)、K_π=结构成本(导航税/验证成本/计算开销)。 |
12
- | 5.3 权限边界声明 | 3157-3160 | π* 为**策略搜索层目标函数**,适用 L1/L2 层;**L3 存在级决策不适用 π***,仍走完整八步闭环 + 维生系统终裁——π* 结果仅作参考输入,不构成对维生终裁权的绕过。「目标函数是启发式描述,不是裁决机制。」 |
13
- | 5.3 记账单位 | 3164-3165 | D_task=货币,KL=做功,D_meta=供给,K=成本;「在有限结构成本下,选择能够最大程度缩小信息差的认知路径」。 |
14
- | 6章.2 导航税 | 2983-2985 | 「大模型擅长生成,但不擅长**导航**——它不记得第几次尝试、卡在哪个分支、哪些条件已被排除。这种持续跟踪判断进程的成本 = **导航税**。条件判断必须交给稳定的确定性机制,LLM 只负责提供候选假设。」 |
15
- | 7.3 CSPRE | 3204-3210 | 「**搜索=导航**:先定位条件空间,再脉冲激活——不是「搜索=匹配」全库扫描,而是「先导航再激活」定向检索(跳过无关 domain)。」 |
16
- | 附录22.1 认知外部化 | 5181-5188 | 状态跟踪外部化(_STATE 状态字典/硬触发——外部计数,模型零判断);条件判断外部化(COND-ANALYSIS 词表路由——判断先行,路径是分析产物);「机制补结构型任务/模型补内容理解型任务——互补非替代」。 |
17
- | 奠基声明 五 | 4791-4804 | 设计者视角(观测层):「从整体查看图的内容 / 识别未知,决定方向 / 观测不干预,可发关注信号」。 |
18
- | 附录6注释 观察002 | 4321-4323 | 位置效应由责任激活;未被赋予责任的位置,其位置效应不会显现。 |
19
-
20
- ## 二、方向判断的三问
21
-
22
- ### 问 1:值不值得做(Gain_task)
23
-
24
- 筛选器。先问这个任务是否值得进入策略搜索——不是所有「能做的」都「值得做」。
25
-
26
- ### 问 2:对任务值多少(ΔD_task)
27
-
28
- 定价器。该路径能缩小多少任务信息差。价值 = ΔD_task × σ(Gain_task)。
29
-
30
- ### 问 3:成本是多少(K_π)
31
-
32
- 结构成本 = 导航税 + 验证成本 + 计算开销。**导航税的本质是持续跟踪判断进程的成本**——因此状态跟踪与条件判断应外部化到确定性机制(附录22.1),LLM 只负责提供候选假设。
33
-
34
- 决策式:在有限结构成本下,选择能够最大程度缩小信息差的认知路径。
35
-
36
- ## 三、边界与纪律
37
-
38
- 1. **层级边界**:π* 只适用于 L1/L2 策略搜索层;L3 存在级决策不适用 π*,须走完整八步闭环 + 维生系统终裁(5.3 权限边界声明)。
39
- 2. **不是裁决机制**:目标函数是启发式描述,不构成对维生终裁权的绕过。
40
- 3. **观测不干预**:设计者视角可发关注信号(signal),不直接干预内部决策。
41
- 4. **盲区驱动方向**:识别未知区域并据此决定方向——方向来自「哪里不知道」,而不是「哪里最像」。
42
- 5. **责任激活**:位置效应由责任激活;无责任承担时方向判断不产生约束力,因此每轮须产出可核查的判定单。
43
-
44
- ## 四、与 md_cg 的对应
45
-
46
- | 能力 | 工具 | action | 说明 |
47
- |------|------|--------|------|
48
- | 候选未来 | `mdcg_predict` | `routes` | 沿因果/时序边 + 语义邻近(经伪因果过滤门)生成局部路线;输出 uncertainty_bound / extrapolation_validity / T_pred 四维评分(trend .40 / boundary .20 / verification .25 / balance .15) |
49
- | 盲区驱动预测 | `mdcg_predict` | `routes` + `blindspot_id` | 从 unresolved 节点或盲区邻域键出发生成路线 |
50
- | 命中反馈 | `mdcg_predict` | `feedback` | 命中 → 边置信度 +0.05;未命中 → 登记 rejected(D-006 动态校准) |
51
- | 信息差与二阶变化 | `mdcg_reflect` | — | 记录 D(t,C) 与 d²D/dt²,写 `_reflection.jsonl` |
52
- | 未解问题 | `mdcg_unresolved` | — | 读取待补条件的 unresolved 条目 |
53
- | 自我状态 | `mdcg_self_state` | `snapshot` | 信息差 D/d1/d2、信任 P_gap/P_trust |
54
-
55
- **声明「不可预测」则拒绝生成**(`mdcg_predict` 的边界)——这正对应 BLINDSPOT 的纪律:无法建立判断路径时停止猜测。
1
+ # 03 方向判断:盲区驱动、目标函数与导航税
2
+
3
+ > 来源:《智能论3.4.md》5.3、6章.2、7.3、附录22.1、蜂群架构奠基声明五。行号为 v3.4 原文行号。
4
+
5
+ ## 一、条款锚点
6
+
7
+ | 条款 | 行号 | 原文关键句 |
8
+ |------|------|-----------|
9
+ | 5.1 状态空间 | 3140-3142 | `S(t) = ( C(t), K(t), B(t) )`;C=条件空间 / K=知识状态 / B=身体端口状态。 |
10
+ | 5.2 混杂系统 | 3144-3150 | 认知是**混杂系统**:感知事件驱动、路由离散决策、信念在验证时刻点更新、趋势/租约/可信度衰减准连续。 |
11
+ | 5.3 目标函数 | 3152-3165 | `π* = argmax_π [ Σ_v Value(s,v) - λ·K_π ]`;`Value(s,v) = ΔD_task(s,v) · σ( Gain_task(s,v) )`;Gain_task=筛选器(值不值得做)、ΔD_task=定价器(对任务值多少)、K_π=结构成本(导航税/验证成本/计算开销)。 |
12
+ | 5.3 权限边界声明 | 3157-3160 | π* 为**策略搜索层目标函数**,适用 L1/L2 层;**L3 存在级决策不适用 π***,仍走完整八步闭环 + 维生系统终裁——π* 结果仅作参考输入,不构成对维生终裁权的绕过。「目标函数是启发式描述,不是裁决机制。」 |
13
+ | 5.3 记账单位 | 3164-3165 | D_task=货币,KL=做功,D_meta=供给,K=成本;「在有限结构成本下,选择能够最大程度缩小信息差的认知路径」。 |
14
+ | 6章.2 导航税 | 2983-2985 | 「大模型擅长生成,但不擅长**导航**——它不记得第几次尝试、卡在哪个分支、哪些条件已被排除。这种持续跟踪判断进程的成本 = **导航税**。条件判断必须交给稳定的确定性机制,LLM 只负责提供候选假设。」 |
15
+ | 7.3 CSPRE | 3204-3210 | 「**搜索=导航**:先定位条件空间,再脉冲激活——不是「搜索=匹配」全库扫描,而是「先导航再激活」定向检索(跳过无关 domain)。」 |
16
+ | 附录22.1 认知外部化 | 5181-5188 | 状态跟踪外部化(_STATE 状态字典/硬触发——外部计数,模型零判断);条件判断外部化(COND-ANALYSIS 词表路由——判断先行,路径是分析产物);「机制补结构型任务/模型补内容理解型任务——互补非替代」。 |
17
+ | 奠基声明 五 | 4791-4804 | 设计者视角(观测层):「从整体查看图的内容 / 识别未知,决定方向 / 观测不干预,可发关注信号」。 |
18
+ | 附录6注释 观察002 | 4321-4323 | 位置效应由责任激活;未被赋予责任的位置,其位置效应不会显现。 |
19
+
20
+ ## 二、方向判断的三问
21
+
22
+ ### 问 1:值不值得做(Gain_task)
23
+
24
+ 筛选器。先问这个任务是否值得进入策略搜索——不是所有「能做的」都「值得做」。
25
+
26
+ ### 问 2:对任务值多少(ΔD_task)
27
+
28
+ 定价器。该路径能缩小多少任务信息差。价值 = ΔD_task × σ(Gain_task)。
29
+
30
+ ### 问 3:成本是多少(K_π)
31
+
32
+ 结构成本 = 导航税 + 验证成本 + 计算开销。**导航税的本质是持续跟踪判断进程的成本**——因此状态跟踪与条件判断应外部化到确定性机制(附录22.1),LLM 只负责提供候选假设。
33
+
34
+ 决策式:在有限结构成本下,选择能够最大程度缩小信息差的认知路径。
35
+
36
+ ## 三、边界与纪律
37
+
38
+ 1. **层级边界**:π* 只适用于 L1/L2 策略搜索层;L3 存在级决策不适用 π*,须走完整八步闭环 + 维生系统终裁(5.3 权限边界声明)。
39
+ 2. **不是裁决机制**:目标函数是启发式描述,不构成对维生终裁权的绕过。
40
+ 3. **观测不干预**:设计者视角可发关注信号(signal),不直接干预内部决策。
41
+ 4. **盲区驱动方向**:识别未知区域并据此决定方向——方向来自「哪里不知道」,而不是「哪里最像」。
42
+ 5. **责任激活**:位置效应由责任激活;无责任承担时方向判断不产生约束力,因此每轮须产出可核查的判定单。
43
+
44
+ ## 四、与 md_cg 的对应
45
+
46
+ | 能力 | 工具 | action | 说明 |
47
+ |------|------|--------|------|
48
+ | 候选未来 | `mdcg_predict` | `routes` | 沿因果/时序边 + 语义邻近(经伪因果过滤门)生成局部路线;输出 uncertainty_bound / extrapolation_validity / T_pred 四维评分(trend .40 / boundary .20 / verification .25 / balance .15) |
49
+ | 盲区驱动预测 | `mdcg_predict` | `routes` + `blindspot_id` | 从 unresolved 节点或盲区邻域键出发生成路线 |
50
+ | 命中反馈 | `mdcg_predict` | `feedback` | 命中 → 边置信度 +0.05;未命中 → 登记 rejected(D-006 动态校准) |
51
+ | 信息差与二阶变化 | `mdcg_reflect` | — | 记录 D(t,C) 与 d²D/dt²,写 `_reflection.jsonl` |
52
+ | 未解问题 | `mdcg_unresolved` | — | 读取待补条件的 unresolved 条目 |
53
+ | 自我状态 | `mdcg_self_state` | `snapshot` | 信息差 D/d1/d2、信任 P_gap/P_trust |
54
+
55
+ **声明「不可预测」则拒绝生成**(`mdcg_predict` 的边界)——这正对应 BLINDSPOT 的纪律:无法建立判断路径时停止猜测。
@@ -1,72 +1,72 @@
1
- # 04 资格裁决:四态判定规则与边界
2
-
3
- > 来源:《智能论3.4.md》6章.2、第三章 3.1–3.4、第〇章。行号为 v3.4 原文行号。
4
-
5
- ## 一、条款锚点
6
-
7
- | 条款 | 行号 | 原文关键句 |
8
- |------|------|-----------|
9
- | 第〇章 白箱三问 | 2582-2594 | 「系统的每个回答都能回答三个问题——① **依据什么**(锚定:引用了哪条知识);② **在什么条件下成立**(条件空间:E1 小学层级成立 ≠ E5 前沿成立);③ **错了怎么办**(验证闭环:失败被记录、被学习、被修正)。」白箱三问对应协议结构:依据什么 ↔ 锚定层;条件成立 ↔ 条件空间;错了怎么办 ↔ 验证单元+反思协议。 |
10
- | 第〇章 白箱 ≠ 不用大模型 | 2588-2590 | 「白箱 = 给模型套一层可审计的骨架——知识库负责「知道什么」,验证单元负责「凭什么信」,反思协议负责「怎么改自己」。大模型退居为**假设生成器**(它提出假设,物理基底裁决)。」 |
11
- | 6章.2 资格判断 | 2929-2930 | 「面对输入时,首先判断的不是「哪个答案最像」,而是**「当前条件是否足以支持执行」**」。 |
12
- | 6章.2 四态表 | 2932-2937 | ACCEPT=条件充分,获得执行资格;REJECT=存在足以证明「不适用」的条件冲突;DEFER=候选存在但区分条件未定,继续递归;BLINDSPOT=无法建立判断路径,停止猜测。 |
13
- | 6章.2 负路由 | 2939-2943 | 「条件路由的关键不只在「命中什么」,更在**「拒绝什么」**——能力级不适用条件是负路由的核心:候选关键词很像,但实际能力不同(如「BFS」vs「DFS」的邻域任务),必须靠**能力级不适用条件**拒绝。」 |
14
- | 6章.2 资格来源 | 2957-2970 | 「**候选不是被「选掉」,而是被「证明」**」;「相似度可以产生候选,但不能单独授予执行资格——**资格由条件证据裁决,不由相似度裁决**」。 |
15
- | 6章.2 三层分工 | 2987-2996 | 概率=可能是什么(产生候选);条件=能不能做(决定资格);验证=做得对不对(外部基底裁决事实)。「白箱拒绝的是让概率相似度**直接代替**资格判断」。 |
16
- | 3.1 四维定义 | 2809-2818 | 观测位置 / 观测工具 / 时间窗口 / 存在约束。 |
17
- | 3.2 声明格式 | 2820-2832 | `space_id` / `observation_position` / `observation_tool` / `time_window` / `existence_constraint` / `validity_range` / `transition_rules`。 |
18
- | 3.3 切换流程 | 2834-2869 | 触发(D_norm > 0.5 / P_trust < 0.7 / 用户指令)→ 声明生成 → 验证单元复核 → 执行 → 复核(D_norm < 0.3 成功)→ 记录到结构层(不可遗忘)。 |
19
- | 3.4 识别卡 | 2871-2889 | 13 字段标准接口:编号/名称/层级/内嵌观测位/默认存在预设/不可约起点/有效观测方式/时间与因果结构/识别的条件边界/自洽性评估/可映射到的协议概念/已知边界/交互标签(推荐/稳定/易碎/边界)。 |
20
- | 3.5 非符号边界 | 2891-2901 | 非符号条件空间仅作为边界条件声明,不在当前操作范围内——即「承认边界,但不越界操作」。 |
21
-
22
- ## 二、判定顺序(固定)
23
-
24
- 先拒绝,后接受。顺序不可颠倒:
25
-
26
- ```
27
- 候选 C
28
- │
29
- ├─ ① 存在足以证明「不适用」的条件冲突? → REJECT
30
- │ 判据:能力级不适用条件命中(关键词像但能力不同)
31
- │
32
- ├─ ② 无法建立判断路径? → BLINDSPOT
33
- │ 判据:从未编码的知识域 / 无任何可用条件链
34
- │
35
- ├─ ③ 候选存在但区分条件未定? → DEFER
36
- │ 判据:多个候选均可能,缺可区分的条件
37
- │
38
- └─ ④ 条件充分,获得执行资格 → ACCEPT
39
- 判据:条件匹配 + 知识存在 + 白箱三问均可回答
40
- ```
41
-
42
- **为什么 REJECT 在 BLINDSPOT 之前**:负路由是结构性能力(行 2954-2955)。能证明「不适用」时,不必进入盲区判断——拒绝比猜测更省导航税。
43
-
44
- ## 三、每态的动作与产出
45
-
46
- | 状态 | 动作 | 产出 |
47
- |------|------|------|
48
- | ACCEPT | 交给操作层执行 | 判定单 + 执行建议(不代执行) |
49
- | REJECT | 指出冲突的不适用条件 | 判定单 + 负路由依据 |
50
- | DEFER | 列出缺失的区分条件,继续递归补条件 | 判定单 + 待补条件清单 |
51
- | BLINDSPOT | 停止猜测,指出缺失的条件维度 | 判定单 + 缺失维度 + 关注信号 |
52
-
53
- ## 四、边界声明
54
-
55
- 1. **不代替验证**:本裁决判断的是「有没有资格执行」,不是「执行结果对不对」。事实裁决归验证单元与 `mdcg_verify`。
56
- 2. **不代替概率**:相似度产生候选是合法的,只是不能单独授予资格。
57
- 3. **四态判定不交给 LLM 独自完成**:持续跟踪判断进程的成本是导航税(行 2983-2985),条件判断应外部化到确定性机制。
58
- 4. **判定必须可核查**:每条裁决须给出条件证据;无法给出即降级为 DEFER 或 BLINDSPOT。
59
- 5. **不硬答盲区**:BLINDSPOT 是合法结论,不是失败。
60
-
61
- ## 五、与 md_cg 的对应
62
-
63
- | 能力 | 工具 | 说明 |
64
- |------|------|------|
65
- | 四态检索 | `mdcg_search` | 返回 score/state/tier;T0–T3 阶梯 |
66
- | 验证裁决 | `mdcg_verify` | `verdict=confirmed|weakened|falsified`;falsified 移入 rejected/ 负记忆 |
67
- | 遗忘裁决 | `mdcg_forgetting_history` | ACCEPT/MERGE/DROP/DEFER 四态及三问判据(重复度/重要度/自信息代理),可审计「为什么没被记住」 |
68
- | 元认知自检 | `mdcg_metacognition` | `action=self_check`——回答前自检:该直接答还是先补条件 |
69
- | 自信校准 | `mdcg_metacognition` | `action=calibration`——期望正确率 vs 实际验证通过率,识别过度自信/过度保守 |
70
- | 负记忆 | `mdcg_rejected` | 读取已拒绝候选,供负路由复用 |
71
-
72
- 写操作(`verify`)只输出建议参数,由 agent 经 MCP 显式发起。
1
+ # 04 资格裁决:四态判定规则与边界
2
+
3
+ > 来源:《智能论3.4.md》6章.2、第三章 3.1–3.4、第〇章。行号为 v3.4 原文行号。
4
+
5
+ ## 一、条款锚点
6
+
7
+ | 条款 | 行号 | 原文关键句 |
8
+ |------|------|-----------|
9
+ | 第〇章 白箱三问 | 2582-2594 | 「系统的每个回答都能回答三个问题——① **依据什么**(锚定:引用了哪条知识);② **在什么条件下成立**(条件空间:E1 小学层级成立 ≠ E5 前沿成立);③ **错了怎么办**(验证闭环:失败被记录、被学习、被修正)。」白箱三问对应协议结构:依据什么 ↔ 锚定层;条件成立 ↔ 条件空间;错了怎么办 ↔ 验证单元+反思协议。 |
10
+ | 第〇章 白箱 ≠ 不用大模型 | 2588-2590 | 「白箱 = 给模型套一层可审计的骨架——知识库负责「知道什么」,验证单元负责「凭什么信」,反思协议负责「怎么改自己」。大模型退居为**假设生成器**(它提出假设,物理基底裁决)。」 |
11
+ | 6章.2 资格判断 | 2929-2930 | 「面对输入时,首先判断的不是「哪个答案最像」,而是**「当前条件是否足以支持执行」**」。 |
12
+ | 6章.2 四态表 | 2932-2937 | ACCEPT=条件充分,获得执行资格;REJECT=存在足以证明「不适用」的条件冲突;DEFER=候选存在但区分条件未定,继续递归;BLINDSPOT=无法建立判断路径,停止猜测。 |
13
+ | 6章.2 负路由 | 2939-2943 | 「条件路由的关键不只在「命中什么」,更在**「拒绝什么」**——能力级不适用条件是负路由的核心:候选关键词很像,但实际能力不同(如「BFS」vs「DFS」的邻域任务),必须靠**能力级不适用条件**拒绝。」 |
14
+ | 6章.2 资格来源 | 2957-2970 | 「**候选不是被「选掉」,而是被「证明」**」;「相似度可以产生候选,但不能单独授予执行资格——**资格由条件证据裁决,不由相似度裁决**」。 |
15
+ | 6章.2 三层分工 | 2987-2996 | 概率=可能是什么(产生候选);条件=能不能做(决定资格);验证=做得对不对(外部基底裁决事实)。「白箱拒绝的是让概率相似度**直接代替**资格判断」。 |
16
+ | 3.1 四维定义 | 2809-2818 | 观测位置 / 观测工具 / 时间窗口 / 存在约束。 |
17
+ | 3.2 声明格式 | 2820-2832 | `space_id` / `observation_position` / `observation_tool` / `time_window` / `existence_constraint` / `validity_range` / `transition_rules`。 |
18
+ | 3.3 切换流程 | 2834-2869 | 触发(D_norm > 0.5 / P_trust < 0.7 / 用户指令)→ 声明生成 → 验证单元复核 → 执行 → 复核(D_norm < 0.3 成功)→ 记录到结构层(不可遗忘)。 |
19
+ | 3.4 识别卡 | 2871-2889 | 13 字段标准接口:编号/名称/层级/内嵌观测位/默认存在预设/不可约起点/有效观测方式/时间与因果结构/识别的条件边界/自洽性评估/可映射到的协议概念/已知边界/交互标签(推荐/稳定/易碎/边界)。 |
20
+ | 3.5 非符号边界 | 2891-2901 | 非符号条件空间仅作为边界条件声明,不在当前操作范围内——即「承认边界,但不越界操作」。 |
21
+
22
+ ## 二、判定顺序(固定)
23
+
24
+ 先拒绝,后接受。顺序不可颠倒:
25
+
26
+ ```
27
+ 候选 C
28
+ │
29
+ ├─ ① 存在足以证明「不适用」的条件冲突? → REJECT
30
+ │ 判据:能力级不适用条件命中(关键词像但能力不同)
31
+ │
32
+ ├─ ② 无法建立判断路径? → BLINDSPOT
33
+ │ 判据:从未编码的知识域 / 无任何可用条件链
34
+ │
35
+ ├─ ③ 候选存在但区分条件未定? → DEFER
36
+ │ 判据:多个候选均可能,缺可区分的条件
37
+ │
38
+ └─ ④ 条件充分,获得执行资格 → ACCEPT
39
+ 判据:条件匹配 + 知识存在 + 白箱三问均可回答
40
+ ```
41
+
42
+ **为什么 REJECT 在 BLINDSPOT 之前**:负路由是结构性能力(行 2954-2955)。能证明「不适用」时,不必进入盲区判断——拒绝比猜测更省导航税。
43
+
44
+ ## 三、每态的动作与产出
45
+
46
+ | 状态 | 动作 | 产出 |
47
+ |------|------|------|
48
+ | ACCEPT | 交给操作层执行 | 判定单 + 执行建议(不代执行) |
49
+ | REJECT | 指出冲突的不适用条件 | 判定单 + 负路由依据 |
50
+ | DEFER | 列出缺失的区分条件,继续递归补条件 | 判定单 + 待补条件清单 |
51
+ | BLINDSPOT | 停止猜测,指出缺失的条件维度 | 判定单 + 缺失维度 + 关注信号 |
52
+
53
+ ## 四、边界声明
54
+
55
+ 1. **不代替验证**:本裁决判断的是「有没有资格执行」,不是「执行结果对不对」。事实裁决归验证单元与 `mdcg_verify`。
56
+ 2. **不代替概率**:相似度产生候选是合法的,只是不能单独授予资格。
57
+ 3. **四态判定不交给 LLM 独自完成**:持续跟踪判断进程的成本是导航税(行 2983-2985),条件判断应外部化到确定性机制。
58
+ 4. **判定必须可核查**:每条裁决须给出条件证据;无法给出即降级为 DEFER 或 BLINDSPOT。
59
+ 5. **不硬答盲区**:BLINDSPOT 是合法结论,不是失败。
60
+
61
+ ## 五、与 md_cg 的对应
62
+
63
+ | 能力 | 工具 | 说明 |
64
+ |------|------|------|
65
+ | 四态检索 | `mdcg_search` | 返回 score/state/tier;T0–T3 阶梯 |
66
+ | 验证裁决 | `mdcg_verify` | `verdict=confirmed|weakened|falsified`;falsified 移入 rejected/ 负记忆 |
67
+ | 遗忘裁决 | `mdcg_forgetting_history` | ACCEPT/MERGE/DROP/DEFER 四态及三问判据(重复度/重要度/自信息代理),可审计「为什么没被记住」 |
68
+ | 元认知自检 | `mdcg_metacognition` | `action=self_check`——回答前自检:该直接答还是先补条件 |
69
+ | 自信校准 | `mdcg_metacognition` | `action=calibration`——期望正确率 vs 实际验证通过率,识别过度自信/过度保守 |
70
+ | 负记忆 | `mdcg_rejected` | 读取已拒绝候选,供负路由复用 |
71
+
72
+ 写操作(`verify`)只输出建议参数,由 agent 经 MCP 显式发起。
@@ -1,74 +1,74 @@
1
- # 05 条件层归因:三方失配与蒸馏
2
-
3
- > 来源:《智能论3.4.md》附录22.3、第一章 1.1.1、第〇章学习闭环、6章.2 知识飞轮。行号为 v3.4 原文行号。
4
-
5
- ## 一、条款锚点
6
-
7
- | 条款 | 行号 | 原文关键句 |
8
- |------|------|-----------|
9
- | 第〇章 学习闭环 | 2599-2609 | 「预测 → 执行 → 得到结果 → 发现预测误差 → 检查遗漏条件 → 形成候选新规则 → 验证 → 通过则固化 → 不通过则继续寻找或标记待验证」;「**误差不是简单改答案,而是寻找遗漏条件**」。 |
10
- | 第〇章 认知即条件路由 | 2611-2612 | 「识别条件→路由知识→执行→验证→更新,每一层都走条件路由图的四态判定与条件链——认知自身的运行就是条件路由。」 |
11
- | 1.1.1 蒸馏机制 | 2621-2628 | 「失败 → 根因(条件层)→ 可复用纪律(带适用条件)→ 注入 → 不再犯。」「失败不是 bug 是知识线索——从失败家族蒸馏纪律(条件声明),让同类失败不再发生。」工程实证:374 失败 → 7 家族 → 3 根因 → 6+2 条纪律。 |
12
- | 6章.2 知识飞轮 | 2998-3001 | 执行结果与预期不符时,预测误差首先被作为「当前条件描述可能不完整」的信号 → 寻找能解释误差的新增条件 → 用验证基底检验 → 成立则纳入知识结构。 |
13
- | 附录22.3 归因层级 | 5199 | 行为层(症状:只读不写)→ 条件层(根因:观测位置未知→搜索对抗)。 |
14
- | 附录22.3 三方条件空间 | 5200 | **任务真实条件 / 模型感知条件 / 机制声明条件——失败 = 三方失配**。 |
15
- | 附录22.3 五失配维度 | 5201 | **观测位置 / 观测工具 / 时间窗口 / 存在约束 / 条件边界**。 |
16
- | 附录22.3 证据自证 | 5202-5203 | 「证据自证:输出断言失败详情(事实)而非警告怀疑」;「无条件规则=读而不应用;带条件规则=模型能判断触发时机(条件空间即触发时机)」。 |
17
- | 附录22.2 注入极性 | 5192-5195 | 「注入有效性 = 1/所需认知判断量:**事实(免判断)> 无条件行动(免判断)> 条件规则(要判断=模型最缺的能力→失败)**」;「警告 = 疑心来源;**证据 = 自证**」。 |
18
- | 附录22.1 认知外部化 | 5183-5186 | 状态跟踪与条件判断外部化(外部计数/词表路由——模型零判断);机制补结构型任务/模型补内容理解型任务——互补非替代。 |
19
-
20
- ## 二、三方条件空间
21
-
22
- 失败 = 三方失配。归因时分别声明三者,再定位差异:
23
-
24
- | 条件空间 | 含义 | 来源 |
25
- |---------|------|------|
26
- | 任务真实条件 | 任务本身实际要求的条件 | 任务定义、验证基底 |
27
- | 模型感知条件 | 模型在决策时以为的条件 | 提示/上下文中的声明 |
28
- | 机制声明条件 | 机制(工具/脚本/流程)对外声明的条件 | 工具契约、SKILL.md 的 when |
29
-
30
- **归因顺序**:先固定「任务真实条件」为基准 → 对比「机制声明条件」是否覆盖 → 再对比「模型感知条件」是否对齐 → 三者差异即为失配点。
31
-
32
- ## 三、五失配维度(定位到具体维度)
33
-
34
- | 维度 | 失配表现 | 典型症状 |
35
- |------|---------|---------|
36
- | 观测位置 | 谁在观测/从哪个尺度观测未对齐 | 用操作层视角回答全局问题 |
37
- | 观测工具 | 测量方法不一致 | 用相似度代替条件证据 |
38
- | 时间窗口 | 观测范围/迭代周期错位 | 用过期快照回答当前状态 |
39
- | 存在约束 | 物理-信息层允许范围被忽略 | 违反锚点层公理或资源约束 |
40
- | 条件边界 | 适用极限未被承认 | 跨条件空间直接迁移结论 |
41
-
42
- ## 四、蒸馏流程(失败资产化)
43
-
44
- ```
45
- 失败集合
46
- │
47
- ├─ ① 聚类:按失败家族聚合(同因不同形)
48
- │
49
- ├─ ② 定位根因:归到条件层,落到五失配维度之一
50
- │
51
- ├─ ③ 形成纪律:一句话规律 + 适用条件(带 when,不是无条件规则)
52
- │
53
- ├─ ④ 验证:用验证基底检验该纪律能否稳定解释误差
54
- │
55
- └─ ⑤ 注入:写进知识结构(下次自动走另一条路径);不通过则标记待验证
56
- ```
57
-
58
- **纪律必须带适用条件**:无条件规则=读而不应用;带条件规则=能判断触发时机(附录22.3)。
59
-
60
- **注入极性**:把纪律写成「事实/无条件行动」优先,避免写成需要模型自行判断的模糊条件规则(附录22.2)。
61
-
62
- ## 五、与 md_cg 的对应
63
-
64
- | 能力 | 工具 | action | 参数要点 |
65
- |------|------|--------|---------|
66
- | 误差转 unresolved | `mdcg_flywheel` | — | `error_report={query, expected_state, actual_state, missing}`;把一次误差转为 unresolved 条目,驱动补条件 |
67
- | 演化账本 | `mdcg_evolution` | `record` | `rule`(一句话认知规律)/ `missing`(补的是哪一维缺失条件)/ `change` / `kind`(`condition_gap`|`layer_shift`|`general`)/ `evidence` / `source`(`consolidate`|`verify`|`manual`) |
68
- | 规律沉淀 | `mdcg_evolution` | `patterns` | 读取已沉淀的认知规律 + 状态(confidence/layer/importance/负条件/验证基底) |
69
- | 回滚 | `mdcg_evolution` | `rollback` | 支持 `dry_run` 预演;撤销本身也记条目(不可静默) |
70
- | 未解问题 | `mdcg_unresolved` | — | 读取待补条件条目 |
71
- | 元认知自检 | `mdcg_metacognition` | `self_check` | 回答前自检:该直接答还是先补条件 |
72
- | 盲区地图 | `mdcg_metacognition` | `blindspots` | 反复 BLINDSPOT 的查询邻域 + 未解问题 |
73
-
74
- **记账纪律**:每一次修改 = 对一条缺失条件的补充(`mdcg_evolution` 的账本语义)。实现细节属于 git,账本只记认知规律与状态。
1
+ # 05 条件层归因:三方失配与蒸馏
2
+
3
+ > 来源:《智能论3.4.md》附录22.3、第一章 1.1.1、第〇章学习闭环、6章.2 知识飞轮。行号为 v3.4 原文行号。
4
+
5
+ ## 一、条款锚点
6
+
7
+ | 条款 | 行号 | 原文关键句 |
8
+ |------|------|-----------|
9
+ | 第〇章 学习闭环 | 2599-2609 | 「预测 → 执行 → 得到结果 → 发现预测误差 → 检查遗漏条件 → 形成候选新规则 → 验证 → 通过则固化 → 不通过则继续寻找或标记待验证」;「**误差不是简单改答案,而是寻找遗漏条件**」。 |
10
+ | 第〇章 认知即条件路由 | 2611-2612 | 「识别条件→路由知识→执行→验证→更新,每一层都走条件路由图的四态判定与条件链——认知自身的运行就是条件路由。」 |
11
+ | 1.1.1 蒸馏机制 | 2621-2628 | 「失败 → 根因(条件层)→ 可复用纪律(带适用条件)→ 注入 → 不再犯。」「失败不是 bug 是知识线索——从失败家族蒸馏纪律(条件声明),让同类失败不再发生。」工程实证:374 失败 → 7 家族 → 3 根因 → 6+2 条纪律。 |
12
+ | 6章.2 知识飞轮 | 2998-3001 | 执行结果与预期不符时,预测误差首先被作为「当前条件描述可能不完整」的信号 → 寻找能解释误差的新增条件 → 用验证基底检验 → 成立则纳入知识结构。 |
13
+ | 附录22.3 归因层级 | 5199 | 行为层(症状:只读不写)→ 条件层(根因:观测位置未知→搜索对抗)。 |
14
+ | 附录22.3 三方条件空间 | 5200 | **任务真实条件 / 模型感知条件 / 机制声明条件——失败 = 三方失配**。 |
15
+ | 附录22.3 五失配维度 | 5201 | **观测位置 / 观测工具 / 时间窗口 / 存在约束 / 条件边界**。 |
16
+ | 附录22.3 证据自证 | 5202-5203 | 「证据自证:输出断言失败详情(事实)而非警告怀疑」;「无条件规则=读而不应用;带条件规则=模型能判断触发时机(条件空间即触发时机)」。 |
17
+ | 附录22.2 注入极性 | 5192-5195 | 「注入有效性 = 1/所需认知判断量:**事实(免判断)> 无条件行动(免判断)> 条件规则(要判断=模型最缺的能力→失败)**」;「警告 = 疑心来源;**证据 = 自证**」。 |
18
+ | 附录22.1 认知外部化 | 5183-5186 | 状态跟踪与条件判断外部化(外部计数/词表路由——模型零判断);机制补结构型任务/模型补内容理解型任务——互补非替代。 |
19
+
20
+ ## 二、三方条件空间
21
+
22
+ 失败 = 三方失配。归因时分别声明三者,再定位差异:
23
+
24
+ | 条件空间 | 含义 | 来源 |
25
+ |---------|------|------|
26
+ | 任务真实条件 | 任务本身实际要求的条件 | 任务定义、验证基底 |
27
+ | 模型感知条件 | 模型在决策时以为的条件 | 提示/上下文中的声明 |
28
+ | 机制声明条件 | 机制(工具/脚本/流程)对外声明的条件 | 工具契约、SKILL.md 的 when |
29
+
30
+ **归因顺序**:先固定「任务真实条件」为基准 → 对比「机制声明条件」是否覆盖 → 再对比「模型感知条件」是否对齐 → 三者差异即为失配点。
31
+
32
+ ## 三、五失配维度(定位到具体维度)
33
+
34
+ | 维度 | 失配表现 | 典型症状 |
35
+ |------|---------|---------|
36
+ | 观测位置 | 谁在观测/从哪个尺度观测未对齐 | 用操作层视角回答全局问题 |
37
+ | 观测工具 | 测量方法不一致 | 用相似度代替条件证据 |
38
+ | 时间窗口 | 观测范围/迭代周期错位 | 用过期快照回答当前状态 |
39
+ | 存在约束 | 物理-信息层允许范围被忽略 | 违反锚点层公理或资源约束 |
40
+ | 条件边界 | 适用极限未被承认 | 跨条件空间直接迁移结论 |
41
+
42
+ ## 四、蒸馏流程(失败资产化)
43
+
44
+ ```
45
+ 失败集合
46
+ │
47
+ ├─ ① 聚类:按失败家族聚合(同因不同形)
48
+ │
49
+ ├─ ② 定位根因:归到条件层,落到五失配维度之一
50
+ │
51
+ ├─ ③ 形成纪律:一句话规律 + 适用条件(带 when,不是无条件规则)
52
+ │
53
+ ├─ ④ 验证:用验证基底检验该纪律能否稳定解释误差
54
+ │
55
+ └─ ⑤ 注入:写进知识结构(下次自动走另一条路径);不通过则标记待验证
56
+ ```
57
+
58
+ **纪律必须带适用条件**:无条件规则=读而不应用;带条件规则=能判断触发时机(附录22.3)。
59
+
60
+ **注入极性**:把纪律写成「事实/无条件行动」优先,避免写成需要模型自行判断的模糊条件规则(附录22.2)。
61
+
62
+ ## 五、与 md_cg 的对应
63
+
64
+ | 能力 | 工具 | action | 参数要点 |
65
+ |------|------|--------|---------|
66
+ | 误差转 unresolved | `mdcg_flywheel` | — | `error_report={query, expected_state, actual_state, missing}`;把一次误差转为 unresolved 条目,驱动补条件 |
67
+ | 演化账本 | `mdcg_evolution` | `record` | `rule`(一句话认知规律)/ `missing`(补的是哪一维缺失条件)/ `change` / `kind`(`condition_gap`|`layer_shift`|`general`)/ `evidence` / `source`(`consolidate`|`verify`|`manual`) |
68
+ | 规律沉淀 | `mdcg_evolution` | `patterns` | 读取已沉淀的认知规律 + 状态(confidence/layer/importance/负条件/验证基底) |
69
+ | 回滚 | `mdcg_evolution` | `rollback` | 支持 `dry_run` 预演;撤销本身也记条目(不可静默) |
70
+ | 未解问题 | `mdcg_unresolved` | — | 读取待补条件条目 |
71
+ | 元认知自检 | `mdcg_metacognition` | `self_check` | 回答前自检:该直接答还是先补条件 |
72
+ | 盲区地图 | `mdcg_metacognition` | `blindspots` | 反复 BLINDSPOT 的查询邻域 + 未解问题 |
73
+
74
+ **记账纪律**:每一次修改 = 对一条缺失条件的补充(`mdcg_evolution` 的账本语义)。实现细节属于 git,账本只记认知规律与状态。