@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
package/md_cg/identity.py CHANGED
@@ -1,391 +1,391 @@
1
- # -*- coding: utf-8 -*-
2
- """身份特征识别(Identity Traits)——不止「用户画像」,而是「主体身份 × 位置效应 × 条件特征」。
3
-
4
- 理论出处
5
- --------
6
- · 智能论 v3.4 §十三「五大单元」·位置效应(`docs/theory/智能的公理化基石.md:540-556`):
7
-
8
- 单元 位置效应 核心职责
9
- 记录单元 全 保存观测、过程、结果和误差
10
- 反思单元 新 发现差异、遗漏条件和新路径
11
- 验证单元 稳 判断规则、执行结果和结构是否有效
12
- 输出单元 通 与外部系统协作并表达边界
13
- 维生系统 存 维护存在、预算、回滚和整体结构
14
-
15
- 「位置效应」= 主体处在系统什么位置,就承担什么职责、表现出什么特征。
16
- 所以「画像」不该只刻画用户,而应识别**每个主体的身份锚点 + 位置 + 特征**,
17
- 其中也包括智能体自身(self)。
18
-
19
- · 扮演论 v3.3(`README.md:231-271`、`docs/mdcg/tool_table_v0.3.0.md:86-92`):
20
- 智能即扮演;角色卡 = 条件空间声明起点;三接口 =
21
- memory(历史 → 知识层)/
22
- anchor(自我锚点 → SELF 层,不可遗忘)/
23
- values(特化价值观 → STRUCTURE 层,带条件空间,条件空间即触发时机)。
24
- 边界:角色人设 ≠ 灵枢自身锚点(后者在 self 层,需设计者验证)。
25
-
26
- 模型
27
- ----
28
- subject = {subject_id, kind, position, anchor, traits}
29
- subject_id : "self:lingshu" / "user:alice" / "role:whale" / "agent:coder"
30
- kind : self | user | role | agent
31
- position : record | reflect | verify | output | sustain | unknown
32
- anchor : 身份锚点(不可遗忘;kind≠self 一律落 anchor 层)
33
- traits : 条件触发的特征条目(条件空间 = 触发时机,带重要度)
34
-
35
- 诚实边界
36
- --------
37
- · position 是**推断**(`infer_position` 按行为证据投票),返回 confidence / votes /
38
- 证据数,可审计「为什么判成这个位置」,不是事实断言。
39
- · 平票时 position 取 `POSITION_ORDER` 中的首个并置 `tie` 字段提示歧义,不假装唯一。
40
- · 复用 `protect` 写保护:self/anchor 层锚点不可遗忘;
41
- `role` 主体的锚点不得写入 self 层(扮演论边界)。
42
- """
43
-
44
- import hashlib
45
- import json
46
- import os
47
- import time
48
-
49
- from .fsutil import append_jsonl
50
-
51
- # 主体类型(扮演论:self=智能体自身 / role=扮演角色 / user=协作者 / agent=其他智能体)
52
- SUBJECT_KIND = ("self", "user", "role", "agent")
53
-
54
- # 位置效应(智能论 v3.4 §十三 五大单元):顺序即平票裁决优先级
55
- POSITIONS = {
56
- "record": {"unit": "记录单元", "effect": "全",
57
- "duty": "保存观测、过程、结果和误差"},
58
- "reflect": {"unit": "反思单元", "effect": "新",
59
- "duty": "发现差异、遗漏条件和新的路径"},
60
- "verify": {"unit": "验证单元", "effect": "稳",
61
- "duty": "判断规则、执行结果和结构是否有效"},
62
- "output": {"unit": "输出单元", "effect": "通",
63
- "duty": "与外部系统协作并表达边界"},
64
- "sustain": {"unit": "维生系统", "effect": "存",
65
- "duty": "维护存在、预算、回滚和整体结构"},
66
- }
67
- POSITION_ORDER = tuple(POSITIONS)
68
-
69
- # 扮演论三接口 → 落层
70
- INTERFACES = {
71
- "memory": {"layer": "knowledge",
72
- "meaning": "历史经验 / 交互证据 → 知识层"},
73
- "anchor": {"layer": "self|anchor",
74
- "meaning": "身份锚点 → 自我层(self) / 锚点层(其他主体),不可遗忘"},
75
- "values": {"layer": "structural",
76
- "meaning": "特化特征 / 价值观 → 结构层,条件空间即触发时机"},
77
- }
78
-
79
- PROFILE_PREFIX = "identity_"
80
- AUDIT_FILE = "_identity.jsonl"
81
-
82
- TAG_ANCHOR = "identity_anchor"
83
- TAG_TRAIT = "identity_trait"
84
- TAG_OBS = "identity_observation"
85
-
86
- # 位置投票的标签证据(每条都能追溯到五大单元职责)
87
- _POSITION_TAGS = {
88
- "reflect": {"reflect", "candidate", "hypothesis", "反题", "遗漏条件"},
89
- "verify": {"verify", "verdict", "裁决", "验证"},
90
- "output": {"output", "表达", "协作"},
91
- "sustain": {"goal", "budget", "rollback", "health", "维生"},
92
- }
93
-
94
-
95
- # 生效条件:subject_id 为假值(None/空串)时 s 为空串、无 ":" 可切,返回 ("user","");否则 strip 后含 ":" 则按首个冒号切成 kind/name,kind 经 strip().lower() 后不在 SUBJECT_KIND 即改记 "user",不含 ":" 时整串作为 name 归 "user"。
96
- def split_subject(subject_id):
97
- """`"self:lingshu"` → `("self", "lingshu")`;无前缀按 `user` 处理。"""
98
- s = (subject_id or "").strip()
99
- if ":" in s:
100
- kind, name = s.split(":", 1)
101
- kind = kind.strip().lower()
102
- if kind not in SUBJECT_KIND:
103
- kind = "user"
104
- return kind, name.strip()
105
- return "user", s
106
-
107
-
108
- # 生效条件:对 str(s) 的每个字符,isalnum() 为真或字符属于 "_-" 时原样保留,其余一律替换为 "_"(s 为 None/非字符串时按 str(s) 结果逐字符处理)。
109
- def _slug(s):
110
- return "".join(ch if (ch.isalnum() or ch in "_-") else "_" for ch in str(s))
111
-
112
-
113
- # 生效条件:subject_id 经 split_subject 与 _slug 处理后,按 PROFILE_PREFIX + kind + "_" + name 拼出档案节点 id。
114
- def subject_node_id(subject_id):
115
- """主体的档案节点 id(锚点载体):`identity_<kind>_<name>`。"""
116
- kind, name = split_subject(subject_id)
117
- return f"{PROFILE_PREFIX}{_slug(kind)}_{_slug(name)}"
118
-
119
-
120
- # 生效条件:给定 prefix 与 subject_id(seed 缺省为空串且原样参与哈希,不做回落)即返回 f"{PROFILE_PREFIX}{prefix}_{_slug(subject_id)}_{sha256(f'{subject_id}|{seed}|{time.time()}')前10位}"——prefix 只参与结果拼接、不参与哈希,因哈希含 time.time() 故每次调用返回的后缀都不同。
121
- def _nid(prefix, subject_id, seed=""):
122
- h = hashlib.sha256(f"{subject_id}|{seed}|{time.time()}".encode("utf-8"))
123
- return f"{PROFILE_PREFIX}{prefix}_{_slug(subject_id)}_{h.hexdigest()[:10]}"
124
-
125
-
126
- # 生效条件:rec 先被 dict(rec) 拷贝,仅当拷贝中缺 "ts" 键时补 time.time(),随后写入 cg.root 下 AUDIT_FILE 指向的 jsonl;写盘抛 OSError 时静默跳过并返回 None。
127
- def log(cg, rec):
128
- rec = dict(rec)
129
- rec.setdefault("ts", time.time())
130
- try:
131
- append_jsonl(os.path.join(cg.root, AUDIT_FILE), rec)
132
- except OSError:
133
- pass
134
-
135
-
136
- # 生效条件:cg.root 下 AUDIT_FILE 路径缺失或打开即抛 OSError 时返回空列表;否则逐行解析非空 JSON(json.loads 抛 ValueError 的行跳过),读取中途抛 OSError 时返回已解析的部分 out,正常返回 out[-int(limit or 100):],其中 limit 为 0/空串等假值时按 100 取值;
137
- def history(cg, limit=100):
138
- p = os.path.join(cg.root, AUDIT_FILE)
139
- out = []
140
- if not os.path.exists(p):
141
- return out
142
- try:
143
- with open(p, "r", encoding="utf-8") as f:
144
- for line in f:
145
- line = line.strip()
146
- if not line:
147
- continue
148
- try:
149
- out.append(json.loads(line))
150
- except ValueError:
151
- continue
152
- except OSError:
153
- return out
154
- return out[-int(limit or 100):]
155
-
156
-
157
- # --------------------------------------------------------------------------
158
- # 扮演论三接口:memory / anchor / values
159
- # --------------------------------------------------------------------------
160
-
161
- # 生效条件:subject_id 定 kind 默认值,kind 参数为真值时覆盖之;node_id 为假值时用 _nid("obs", subject_id, text[:32])(含 time.time())生成;标签为 list(tags or []) 追加 subject:<subject_id>、TAG_OBS、kind:<k>,evidence 为真值时再追加一条 evidence:<evidence>;condition_space 以 dict(condition_space or {}) 为底并 setdefault subject/kind;落层用 layer 真值否则 "knowledge",role 为真值时随 extra 传 role;返回 {"ok": True, "node_id", "subject_id", "kind"}。
162
- def observe(cg, subject_id, text, *, kind=None, role=None, layer=None, tags=None,
163
- condition_space=None, importance=0.5, verification_basis=None,
164
- evidence=None, node_id=None, override=False):
165
- """memory 接口:记录一条关于主体的**行为证据**(用于位置推断)。
166
-
167
- 写入知识层,自动带 `subject:<id>` 标签,使 `infer_position` 定位到该主体。
168
- role 兼作来源证据:user=外部协作、command/tool-output=内部执行。
169
- """
170
- k, _ = split_subject(subject_id)
171
- k = (kind or k).strip().lower()
172
- nid = node_id or _nid("obs", subject_id, text[:32])
173
- tg = list(tags or []) + [f"subject:{subject_id}", TAG_OBS, f"kind:{k}"]
174
- if evidence:
175
- tg.append(f"evidence:{evidence}")
176
- cs = dict(condition_space or {})
177
- cs.setdefault("subject", subject_id)
178
- cs.setdefault("kind", k)
179
- extra = {"role": role} if role else {}
180
- cg.add(nid, text, layer=layer or "knowledge", tags=tg, condition_space=cs,
181
- importance=importance, verification_basis=verification_basis,
182
- override=override, **extra)
183
- log(cg, {"op": "observe", "subject": subject_id, "node_id": nid, "role": role,
184
- "layer": layer or "knowledge"})
185
- return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k}
186
-
187
-
188
- # 生效条件:kind 参数为真值时覆盖 split_subject(subject_id) 得到的类型,k 不在 SUBJECT_KIND 时抛 ValueError;k 为 "self" 落 "self" 层、其余落 "anchor" 层,但 requested_layer 等于 "self" 且 k 不为 "self" 时抛 ValueError(不写盘);节点 id 取自 subject_node_id(subject_id),返回含 layer 与 protected True。
189
- def set_anchor(cg, subject_id, text, *, kind=None, condition_space=None,
190
- importance=0.9, override=False, requested_layer=None):
191
- """anchor 接口:写入身份锚点(不可遗忘)。
192
-
193
- 落层规则(扮演论边界):
194
- · kind=self → self 层(智能体自身的自我锚点,需设计者验证)
195
- · 其他 kind → anchor 层(角色/用户锚点,仍不可遗忘)
196
- requested_layer="self" 但 kind≠self → 拒绝(角色人设 ≠ 灵枢自身锚点)。
197
- """
198
- k, _ = split_subject(subject_id)
199
- k = (kind or k).strip().lower()
200
- if k not in SUBJECT_KIND:
201
- raise ValueError(f"未知主体类型:{k}(允许:{SUBJECT_KIND})")
202
- if requested_layer == "self" and k != "self":
203
- raise ValueError(
204
- "扮演论边界:角色/用户锚点不得写入 self 层"
205
- "(self 层是灵枢自身锚点,需设计者验证)")
206
- layer = "self" if k == "self" else "anchor"
207
- nid = subject_node_id(subject_id)
208
- cs = dict(condition_space or {})
209
- cs.setdefault("subject", subject_id)
210
- cs.setdefault("kind", k)
211
- tg = [f"subject:{subject_id}", TAG_ANCHOR, f"kind:{k}"]
212
- cg.add(nid, text, layer=layer, tags=tg, condition_space=cs,
213
- importance=importance, verification_basis="data", override=override)
214
- log(cg, {"op": "anchor", "subject": subject_id, "node_id": nid,
215
- "kind": k, "layer": layer, "override": bool(override)})
216
- return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k,
217
- "layer": layer, "protected": True}
218
-
219
-
220
- # 生效条件:kind 参数为真值时覆盖 split_subject(subject_id) 得到的类型;node_id 为假值时用 _nid("trait", subject_id, trait[:24]) 生成;落层硬编码为 "structural";position 为真值时追加 position:<position> 标签;verification_basis 缺省为 "data",importance 缺省 0.6;返回 layer 为 "structural" 与所用 condition_space。
221
- def add_trait(cg, subject_id, trait, *, condition_space=None, importance=0.6,
222
- position=None, kind=None, verification_basis="data",
223
- override=False, node_id=None):
224
- """values 接口:写入条件触发的特征/特化价值观。
225
-
226
- 落 STRUCTURE 层;`condition_space` 即触发时机(扮演论:条件空间 = 触发条件)。
227
- """
228
- k, _ = split_subject(subject_id)
229
- k = (kind or k).strip().lower()
230
- nid = node_id or _nid("trait", subject_id, trait[:24])
231
- cs = dict(condition_space or {})
232
- cs.setdefault("subject", subject_id)
233
- cs.setdefault("kind", k)
234
- tg = [f"subject:{subject_id}", TAG_TRAIT, f"kind:{k}"]
235
- if position:
236
- tg.append(f"position:{position}")
237
- cg.add(nid, trait, layer="structural", tags=tg, condition_space=cs,
238
- importance=importance, verification_basis=verification_basis,
239
- override=override)
240
- log(cg, {"op": "trait", "subject": subject_id, "node_id": nid,
241
- "position": position})
242
- return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k,
243
- "layer": "structural", "condition_space": cs}
244
-
245
-
246
- # --------------------------------------------------------------------------
247
- # 位置效应推断(智能论 v3.4 §十三)
248
- # --------------------------------------------------------------------------
249
-
250
- # 生效条件:tags 先转为 set(tags or []) 后并列判定——role 属于 ("command","tool-output") 或 layer 等于 "contextual" 则加 "record";tags 与 _POSITION_TAGS 各项标记集有交集则加对应 pos;ev_pos 或 ev_neg 为真值则加 "verify";role 属于 ("user","assistant") 或 tags 中任一字符串以 "cap:" 开头则加 "output";layer 等于 "goals" 则加 "sustain";返回该并集。
251
- def _votes(role, layer, tags, vb, ev_pos, ev_neg):
252
- """把一条行为证据映射到位置效应候选(可多面)。规则可审计、可扩展。"""
253
- tags = set(tags or [])
254
- v = set()
255
- if role in ("command", "tool-output") or layer == "contextual":
256
- v.add("record")
257
- for pos, marks in _POSITION_TAGS.items():
258
- if tags & marks:
259
- v.add(pos)
260
- if ev_pos or ev_neg:
261
- v.add("verify")
262
- if role in ("user", "assistant") or any(
263
- isinstance(t, str) and t.startswith("cap:") for t in tags):
264
- v.add("output")
265
- if layer == "goals":
266
- v.add("sustain")
267
- return v
268
-
269
-
270
- # 生效条件:遍历 cg.index.get("nodes")(缺键或值为假时取空 dict,此时必然返回 position=unknown、confidence=0.0、votes={}),仅统计标签含 "subject:<subject_id>" 且不含 TAG_ANCHOR/TAG_TRAIT 的节点,票由 _votes 得出;无任何票时返回 unknown/0.0/{};有票时 winners 为 POSITION_ORDER 中票数等于最高票的位置,position 取 winners[0],confidence=round(top/total, 3),多赢家时以 tie 列出。
271
- def infer_position(cg, subject_id):
272
- """按该主体的行为证据投票推断位置效应(带 confidence / votes,可审计)。
273
-
274
- 只统计带 `subject:<id>` 标签、且**非档案节点**(锚点/特征)的证据节点,
275
- 避免档案自证。返回 position=unknown 表示证据不足。
276
- """
277
- tag = f"subject:{subject_id}"
278
- nodes = cg.index.get("nodes") or {}
279
- votes, n = {}, 0
280
- for nid, e in nodes.items():
281
- tg = set(e.get("tags") or [])
282
- if tag not in tg or (tg & {TAG_ANCHOR, TAG_TRAIT}):
283
- continue
284
- node = cg.get(nid) or {}
285
- fm = node.get("frontmatter") or {}
286
- n += 1
287
- for pos in _votes(fm.get("role"), e.get("layer"), e.get("tags"),
288
- e.get("verification_basis"), fm.get("positive_evidence"),
289
- fm.get("negative_evidence")):
290
- votes[pos] = votes.get(pos, 0) + 1
291
- if not votes:
292
- return {"position": "unknown", "confidence": 0.0, "votes": {},
293
- "evidence_count": n, "tie": []}
294
- top = max(votes.values())
295
- winners = [p for p in POSITION_ORDER if votes.get(p) == top]
296
- total = sum(votes.values())
297
- return {"position": winners[0], "confidence": round(top / total, 3),
298
- "votes": votes, "evidence_count": n,
299
- "tie": winners if len(winners) > 1 else []}
300
-
301
-
302
- # 生效条件:pos 取自 POSITIONS,缺键时以空 dict 兜底,故未知 pos 返回 {"position": pos, "unit": None, "effect": None, "duty": None}。
303
- def _position_view(pos):
304
- meta = POSITIONS.get(pos) or {}
305
- return {"position": pos, "unit": meta.get("unit"),
306
- "effect": meta.get("effect"), "duty": meta.get("duty")}
307
-
308
-
309
- # 生效条件:仅遍历标签含 "subject:<subject_id>" 的节点,其中带 TAG_ANCHOR 者进 anchors,否则(elif)带 TAG_TRAIT 者进 traits——两标签同时存在时只进 anchors、不进 traits;anchor 取 anchors[0] 或 None;位置相关字段来自 infer_position(cg, subject_id)。
310
- def profile(cg, subject_id):
311
- """主体画像 = 身份锚点 + 位置效应 + 条件特征(取代单一「用户画像」)。"""
312
- k, name = split_subject(subject_id)
313
- tag = f"subject:{subject_id}"
314
- nodes = cg.index.get("nodes") or {}
315
- anchors, traits = [], []
316
- for nid, e in nodes.items():
317
- tg = set(e.get("tags") or [])
318
- if tag not in tg:
319
- continue
320
- node = cg.get(nid) or {}
321
- fm = node.get("frontmatter") or {}
322
- if TAG_ANCHOR in tg:
323
- anchors.append({"node_id": nid, "layer": e.get("layer"),
324
- "content": (node.get("content") or "")[:400]})
325
- elif TAG_TRAIT in tg:
326
- traits.append({"node_id": nid, "layer": e.get("layer"),
327
- "content": (node.get("content") or "")[:200],
328
- "condition_space": fm.get("condition_space"),
329
- "importance": fm.get("importance")})
330
- pos = infer_position(cg, subject_id)
331
- out = {"subject_id": subject_id, "kind": k, "name": name,
332
- "anchor": anchors[0] if anchors else None, "anchors": anchors,
333
- "traits": traits, "traits_count": len(traits)}
334
- out.update(_position_view(pos["position"]))
335
- out.update({"position_confidence": pos["confidence"], "votes": pos["votes"],
336
- "evidence_count": pos["evidence_count"], "tie": pos["tie"]})
337
- return out
338
-
339
-
340
- # 生效条件:counts 按每个以 "subject:" 开头的字符串标签出现次数累加(即标签次数,不是节点数),按 (-次数, sid) 排序后逐个 sid 调 infer_position;limit 为 0/None/空串等使 `limit and int(limit) > 0` 为假时返回全量 out,仅当 limit 为真值且 int(limit) > 0 时返回前 int(limit) 项。
341
- def positions(cg, limit=0):
342
- """所有主体的位置效应分布(OS 视角:谁在记录/反思/验证/输出/维生)。"""
343
- nodes = cg.index.get("nodes") or {}
344
- counts = {}
345
- for _nid_, e in nodes.items():
346
- for t in (e.get("tags") or []):
347
- if isinstance(t, str) and t.startswith("subject:"):
348
- sid = t[len("subject:"):]
349
- counts[sid] = counts.get(sid, 0) + 1
350
- out = []
351
- for sid, cnt in sorted(counts.items(), key=lambda kv: (-kv[1], kv[0])):
352
- p = infer_position(cg, sid)
353
- out.append({"subject_id": sid, "kind": split_subject(sid)[0],
354
- "nodes": cnt, "position": p["position"],
355
- "confidence": p["confidence"], "evidence_count": p["evidence_count"]})
356
- return out[:int(limit)] if limit and int(limit) > 0 else out
357
-
358
-
359
- # 生效条件:cg.root/AUDIT_FILE 不存在时返回 0;否则逐行统计 strip() 后非空的行数,读取途中抛 OSError 时返回已累计的 n。
360
- def _audit_count(cg):
361
- p = os.path.join(cg.root, AUDIT_FILE)
362
- if not os.path.exists(p):
363
- return 0
364
- n = 0
365
- try:
366
- with open(p, "r", encoding="utf-8") as f:
367
- for line in f:
368
- if line.strip():
369
- n += 1
370
- except OSError:
371
- return n
372
- return n
373
-
374
-
375
- # 生效条件:以 positions(cg)(limit 缺省 0,返回全量)得主体列表并按各自 position 聚合计数,与 _audit_count(cg) 一并返回 subjects/by_position/audit_records。
376
- def summary(cg):
377
- """身份面汇总:主体数 + 位置分布(供 health / 运维审计,流式计数不载全量)。"""
378
- ps = positions(cg)
379
- dist = {}
380
- for s in ps:
381
- dist[s["position"]] = dist.get(s["position"], 0) + 1
382
- return {"subjects": len(ps), "by_position": dist,
383
- "audit_records": _audit_count(cg)}
384
-
385
-
386
- # 生效条件:无入参,恒返回 POSITION_ORDER 中每个 p 的 POSITIONS[p] 副本、INTERFACES 各值副本以及 list(SUBJECT_KIND)。
387
- def catalog():
388
- """自描述:位置效应表 + 三接口(供 MCP / 文档对照协议验证)。"""
389
- return {"positions": {p: dict(POSITIONS[p]) for p in POSITION_ORDER},
390
- "interfaces": {k: dict(v) for k, v in INTERFACES.items()},
1
+ # -*- coding: utf-8 -*-
2
+ """身份特征识别(Identity Traits)——不止「用户画像」,而是「主体身份 × 位置效应 × 条件特征」。
3
+
4
+ 理论出处
5
+ --------
6
+ · 智能论 v3.4 §十三「五大单元」·位置效应(`docs/theory/智能的公理化基石.md:540-556`):
7
+
8
+ 单元 位置效应 核心职责
9
+ 记录单元 全 保存观测、过程、结果和误差
10
+ 反思单元 新 发现差异、遗漏条件和新路径
11
+ 验证单元 稳 判断规则、执行结果和结构是否有效
12
+ 输出单元 通 与外部系统协作并表达边界
13
+ 维生系统 存 维护存在、预算、回滚和整体结构
14
+
15
+ 「位置效应」= 主体处在系统什么位置,就承担什么职责、表现出什么特征。
16
+ 所以「画像」不该只刻画用户,而应识别**每个主体的身份锚点 + 位置 + 特征**,
17
+ 其中也包括智能体自身(self)。
18
+
19
+ · 扮演论 v3.3(`README.md:231-271`、`docs/mdcg/tool_table_v0.3.0.md:86-92`):
20
+ 智能即扮演;角色卡 = 条件空间声明起点;三接口 =
21
+ memory(历史 → 知识层)/
22
+ anchor(自我锚点 → SELF 层,不可遗忘)/
23
+ values(特化价值观 → STRUCTURE 层,带条件空间,条件空间即触发时机)。
24
+ 边界:角色人设 ≠ 灵枢自身锚点(后者在 self 层,需设计者验证)。
25
+
26
+ 模型
27
+ ----
28
+ subject = {subject_id, kind, position, anchor, traits}
29
+ subject_id : "self:lingshu" / "user:alice" / "role:whale" / "agent:coder"
30
+ kind : self | user | role | agent
31
+ position : record | reflect | verify | output | sustain | unknown
32
+ anchor : 身份锚点(不可遗忘;kind≠self 一律落 anchor 层)
33
+ traits : 条件触发的特征条目(条件空间 = 触发时机,带重要度)
34
+
35
+ 诚实边界
36
+ --------
37
+ · position 是**推断**(`infer_position` 按行为证据投票),返回 confidence / votes /
38
+ 证据数,可审计「为什么判成这个位置」,不是事实断言。
39
+ · 平票时 position 取 `POSITION_ORDER` 中的首个并置 `tie` 字段提示歧义,不假装唯一。
40
+ · 复用 `protect` 写保护:self/anchor 层锚点不可遗忘;
41
+ `role` 主体的锚点不得写入 self 层(扮演论边界)。
42
+ """
43
+
44
+ import hashlib
45
+ import json
46
+ import os
47
+ import time
48
+
49
+ from .fsutil import append_jsonl
50
+
51
+ # 主体类型(扮演论:self=智能体自身 / role=扮演角色 / user=协作者 / agent=其他智能体)
52
+ SUBJECT_KIND = ("self", "user", "role", "agent")
53
+
54
+ # 位置效应(智能论 v3.4 §十三 五大单元):顺序即平票裁决优先级
55
+ POSITIONS = {
56
+ "record": {"unit": "记录单元", "effect": "全",
57
+ "duty": "保存观测、过程、结果和误差"},
58
+ "reflect": {"unit": "反思单元", "effect": "新",
59
+ "duty": "发现差异、遗漏条件和新的路径"},
60
+ "verify": {"unit": "验证单元", "effect": "稳",
61
+ "duty": "判断规则、执行结果和结构是否有效"},
62
+ "output": {"unit": "输出单元", "effect": "通",
63
+ "duty": "与外部系统协作并表达边界"},
64
+ "sustain": {"unit": "维生系统", "effect": "存",
65
+ "duty": "维护存在、预算、回滚和整体结构"},
66
+ }
67
+ POSITION_ORDER = tuple(POSITIONS)
68
+
69
+ # 扮演论三接口 → 落层
70
+ INTERFACES = {
71
+ "memory": {"layer": "knowledge",
72
+ "meaning": "历史经验 / 交互证据 → 知识层"},
73
+ "anchor": {"layer": "self|anchor",
74
+ "meaning": "身份锚点 → 自我层(self) / 锚点层(其他主体),不可遗忘"},
75
+ "values": {"layer": "structural",
76
+ "meaning": "特化特征 / 价值观 → 结构层,条件空间即触发时机"},
77
+ }
78
+
79
+ PROFILE_PREFIX = "identity_"
80
+ AUDIT_FILE = "_identity.jsonl"
81
+
82
+ TAG_ANCHOR = "identity_anchor"
83
+ TAG_TRAIT = "identity_trait"
84
+ TAG_OBS = "identity_observation"
85
+
86
+ # 位置投票的标签证据(每条都能追溯到五大单元职责)
87
+ _POSITION_TAGS = {
88
+ "reflect": {"reflect", "candidate", "hypothesis", "反题", "遗漏条件"},
89
+ "verify": {"verify", "verdict", "裁决", "验证"},
90
+ "output": {"output", "表达", "协作"},
91
+ "sustain": {"goal", "budget", "rollback", "health", "维生"},
92
+ }
93
+
94
+
95
+ # 生效条件:subject_id 为假值(None/空串)时 s 为空串、无 ":" 可切,返回 ("user","");否则 strip 后含 ":" 则按首个冒号切成 kind/name,kind 经 strip().lower() 后不在 SUBJECT_KIND 即改记 "user",不含 ":" 时整串作为 name 归 "user"。
96
+ def split_subject(subject_id):
97
+ """`"self:lingshu"` → `("self", "lingshu")`;无前缀按 `user` 处理。"""
98
+ s = (subject_id or "").strip()
99
+ if ":" in s:
100
+ kind, name = s.split(":", 1)
101
+ kind = kind.strip().lower()
102
+ if kind not in SUBJECT_KIND:
103
+ kind = "user"
104
+ return kind, name.strip()
105
+ return "user", s
106
+
107
+
108
+ # 生效条件:对 str(s) 的每个字符,isalnum() 为真或字符属于 "_-" 时原样保留,其余一律替换为 "_"(s 为 None/非字符串时按 str(s) 结果逐字符处理)。
109
+ def _slug(s):
110
+ return "".join(ch if (ch.isalnum() or ch in "_-") else "_" for ch in str(s))
111
+
112
+
113
+ # 生效条件:subject_id 经 split_subject 与 _slug 处理后,按 PROFILE_PREFIX + kind + "_" + name 拼出档案节点 id。
114
+ def subject_node_id(subject_id):
115
+ """主体的档案节点 id(锚点载体):`identity_<kind>_<name>`。"""
116
+ kind, name = split_subject(subject_id)
117
+ return f"{PROFILE_PREFIX}{_slug(kind)}_{_slug(name)}"
118
+
119
+
120
+ # 生效条件:给定 prefix 与 subject_id(seed 缺省为空串且原样参与哈希,不做回落)即返回 f"{PROFILE_PREFIX}{prefix}_{_slug(subject_id)}_{sha256(f'{subject_id}|{seed}|{time.time()}')前10位}"——prefix 只参与结果拼接、不参与哈希,因哈希含 time.time() 故每次调用返回的后缀都不同。
121
+ def _nid(prefix, subject_id, seed=""):
122
+ h = hashlib.sha256(f"{subject_id}|{seed}|{time.time()}".encode("utf-8"))
123
+ return f"{PROFILE_PREFIX}{prefix}_{_slug(subject_id)}_{h.hexdigest()[:10]}"
124
+
125
+
126
+ # 生效条件:rec 先被 dict(rec) 拷贝,仅当拷贝中缺 "ts" 键时补 time.time(),随后写入 cg.root 下 AUDIT_FILE 指向的 jsonl;写盘抛 OSError 时静默跳过并返回 None。
127
+ def log(cg, rec):
128
+ rec = dict(rec)
129
+ rec.setdefault("ts", time.time())
130
+ try:
131
+ append_jsonl(os.path.join(cg.root, AUDIT_FILE), rec)
132
+ except OSError:
133
+ pass
134
+
135
+
136
+ # 生效条件:cg.root 下 AUDIT_FILE 路径缺失或打开即抛 OSError 时返回空列表;否则逐行解析非空 JSON(json.loads 抛 ValueError 的行跳过),读取中途抛 OSError 时返回已解析的部分 out,正常返回 out[-int(limit or 100):],其中 limit 为 0/空串等假值时按 100 取值;
137
+ def history(cg, limit=100):
138
+ p = os.path.join(cg.root, AUDIT_FILE)
139
+ out = []
140
+ if not os.path.exists(p):
141
+ return out
142
+ try:
143
+ with open(p, "r", encoding="utf-8") as f:
144
+ for line in f:
145
+ line = line.strip()
146
+ if not line:
147
+ continue
148
+ try:
149
+ out.append(json.loads(line))
150
+ except ValueError:
151
+ continue
152
+ except OSError:
153
+ return out
154
+ return out[-int(limit or 100):]
155
+
156
+
157
+ # --------------------------------------------------------------------------
158
+ # 扮演论三接口:memory / anchor / values
159
+ # --------------------------------------------------------------------------
160
+
161
+ # 生效条件:subject_id 定 kind 默认值,kind 参数为真值时覆盖之;node_id 为假值时用 _nid("obs", subject_id, text[:32])(含 time.time())生成;标签为 list(tags or []) 追加 subject:<subject_id>、TAG_OBS、kind:<k>,evidence 为真值时再追加一条 evidence:<evidence>;condition_space 以 dict(condition_space or {}) 为底并 setdefault subject/kind;落层用 layer 真值否则 "knowledge",role 为真值时随 extra 传 role;返回 {"ok": True, "node_id", "subject_id", "kind"}。
162
+ def observe(cg, subject_id, text, *, kind=None, role=None, layer=None, tags=None,
163
+ condition_space=None, importance=0.5, verification_basis=None,
164
+ evidence=None, node_id=None, override=False):
165
+ """memory 接口:记录一条关于主体的**行为证据**(用于位置推断)。
166
+
167
+ 写入知识层,自动带 `subject:<id>` 标签,使 `infer_position` 定位到该主体。
168
+ role 兼作来源证据:user=外部协作、command/tool-output=内部执行。
169
+ """
170
+ k, _ = split_subject(subject_id)
171
+ k = (kind or k).strip().lower()
172
+ nid = node_id or _nid("obs", subject_id, text[:32])
173
+ tg = list(tags or []) + [f"subject:{subject_id}", TAG_OBS, f"kind:{k}"]
174
+ if evidence:
175
+ tg.append(f"evidence:{evidence}")
176
+ cs = dict(condition_space or {})
177
+ cs.setdefault("subject", subject_id)
178
+ cs.setdefault("kind", k)
179
+ extra = {"role": role} if role else {}
180
+ cg.add(nid, text, layer=layer or "knowledge", tags=tg, condition_space=cs,
181
+ importance=importance, verification_basis=verification_basis,
182
+ override=override, **extra)
183
+ log(cg, {"op": "observe", "subject": subject_id, "node_id": nid, "role": role,
184
+ "layer": layer or "knowledge"})
185
+ return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k}
186
+
187
+
188
+ # 生效条件:kind 参数为真值时覆盖 split_subject(subject_id) 得到的类型,k 不在 SUBJECT_KIND 时抛 ValueError;k 为 "self" 落 "self" 层、其余落 "anchor" 层,但 requested_layer 等于 "self" 且 k 不为 "self" 时抛 ValueError(不写盘);节点 id 取自 subject_node_id(subject_id),返回含 layer 与 protected True。
189
+ def set_anchor(cg, subject_id, text, *, kind=None, condition_space=None,
190
+ importance=0.9, override=False, requested_layer=None):
191
+ """anchor 接口:写入身份锚点(不可遗忘)。
192
+
193
+ 落层规则(扮演论边界):
194
+ · kind=self → self 层(智能体自身的自我锚点,需设计者验证)
195
+ · 其他 kind → anchor 层(角色/用户锚点,仍不可遗忘)
196
+ requested_layer="self" 但 kind≠self → 拒绝(角色人设 ≠ 灵枢自身锚点)。
197
+ """
198
+ k, _ = split_subject(subject_id)
199
+ k = (kind or k).strip().lower()
200
+ if k not in SUBJECT_KIND:
201
+ raise ValueError(f"未知主体类型:{k}(允许:{SUBJECT_KIND})")
202
+ if requested_layer == "self" and k != "self":
203
+ raise ValueError(
204
+ "扮演论边界:角色/用户锚点不得写入 self 层"
205
+ "(self 层是灵枢自身锚点,需设计者验证)")
206
+ layer = "self" if k == "self" else "anchor"
207
+ nid = subject_node_id(subject_id)
208
+ cs = dict(condition_space or {})
209
+ cs.setdefault("subject", subject_id)
210
+ cs.setdefault("kind", k)
211
+ tg = [f"subject:{subject_id}", TAG_ANCHOR, f"kind:{k}"]
212
+ cg.add(nid, text, layer=layer, tags=tg, condition_space=cs,
213
+ importance=importance, verification_basis="data", override=override)
214
+ log(cg, {"op": "anchor", "subject": subject_id, "node_id": nid,
215
+ "kind": k, "layer": layer, "override": bool(override)})
216
+ return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k,
217
+ "layer": layer, "protected": True}
218
+
219
+
220
+ # 生效条件:kind 参数为真值时覆盖 split_subject(subject_id) 得到的类型;node_id 为假值时用 _nid("trait", subject_id, trait[:24]) 生成;落层硬编码为 "structural";position 为真值时追加 position:<position> 标签;verification_basis 缺省为 "data",importance 缺省 0.6;返回 layer 为 "structural" 与所用 condition_space。
221
+ def add_trait(cg, subject_id, trait, *, condition_space=None, importance=0.6,
222
+ position=None, kind=None, verification_basis="data",
223
+ override=False, node_id=None):
224
+ """values 接口:写入条件触发的特征/特化价值观。
225
+
226
+ 落 STRUCTURE 层;`condition_space` 即触发时机(扮演论:条件空间 = 触发条件)。
227
+ """
228
+ k, _ = split_subject(subject_id)
229
+ k = (kind or k).strip().lower()
230
+ nid = node_id or _nid("trait", subject_id, trait[:24])
231
+ cs = dict(condition_space or {})
232
+ cs.setdefault("subject", subject_id)
233
+ cs.setdefault("kind", k)
234
+ tg = [f"subject:{subject_id}", TAG_TRAIT, f"kind:{k}"]
235
+ if position:
236
+ tg.append(f"position:{position}")
237
+ cg.add(nid, trait, layer="structural", tags=tg, condition_space=cs,
238
+ importance=importance, verification_basis=verification_basis,
239
+ override=override)
240
+ log(cg, {"op": "trait", "subject": subject_id, "node_id": nid,
241
+ "position": position})
242
+ return {"ok": True, "node_id": nid, "subject_id": subject_id, "kind": k,
243
+ "layer": "structural", "condition_space": cs}
244
+
245
+
246
+ # --------------------------------------------------------------------------
247
+ # 位置效应推断(智能论 v3.4 §十三)
248
+ # --------------------------------------------------------------------------
249
+
250
+ # 生效条件:tags 先转为 set(tags or []) 后并列判定——role 属于 ("command","tool-output") 或 layer 等于 "contextual" 则加 "record";tags 与 _POSITION_TAGS 各项标记集有交集则加对应 pos;ev_pos 或 ev_neg 为真值则加 "verify";role 属于 ("user","assistant") 或 tags 中任一字符串以 "cap:" 开头则加 "output";layer 等于 "goals" 则加 "sustain";返回该并集。
251
+ def _votes(role, layer, tags, vb, ev_pos, ev_neg):
252
+ """把一条行为证据映射到位置效应候选(可多面)。规则可审计、可扩展。"""
253
+ tags = set(tags or [])
254
+ v = set()
255
+ if role in ("command", "tool-output") or layer == "contextual":
256
+ v.add("record")
257
+ for pos, marks in _POSITION_TAGS.items():
258
+ if tags & marks:
259
+ v.add(pos)
260
+ if ev_pos or ev_neg:
261
+ v.add("verify")
262
+ if role in ("user", "assistant") or any(
263
+ isinstance(t, str) and t.startswith("cap:") for t in tags):
264
+ v.add("output")
265
+ if layer == "goals":
266
+ v.add("sustain")
267
+ return v
268
+
269
+
270
+ # 生效条件:遍历 cg.index.get("nodes")(缺键或值为假时取空 dict,此时必然返回 position=unknown、confidence=0.0、votes={}),仅统计标签含 "subject:<subject_id>" 且不含 TAG_ANCHOR/TAG_TRAIT 的节点,票由 _votes 得出;无任何票时返回 unknown/0.0/{};有票时 winners 为 POSITION_ORDER 中票数等于最高票的位置,position 取 winners[0],confidence=round(top/total, 3),多赢家时以 tie 列出。
271
+ def infer_position(cg, subject_id):
272
+ """按该主体的行为证据投票推断位置效应(带 confidence / votes,可审计)。
273
+
274
+ 只统计带 `subject:<id>` 标签、且**非档案节点**(锚点/特征)的证据节点,
275
+ 避免档案自证。返回 position=unknown 表示证据不足。
276
+ """
277
+ tag = f"subject:{subject_id}"
278
+ nodes = cg.index.get("nodes") or {}
279
+ votes, n = {}, 0
280
+ for nid, e in nodes.items():
281
+ tg = set(e.get("tags") or [])
282
+ if tag not in tg or (tg & {TAG_ANCHOR, TAG_TRAIT}):
283
+ continue
284
+ node = cg.get(nid) or {}
285
+ fm = node.get("frontmatter") or {}
286
+ n += 1
287
+ for pos in _votes(fm.get("role"), e.get("layer"), e.get("tags"),
288
+ e.get("verification_basis"), fm.get("positive_evidence"),
289
+ fm.get("negative_evidence")):
290
+ votes[pos] = votes.get(pos, 0) + 1
291
+ if not votes:
292
+ return {"position": "unknown", "confidence": 0.0, "votes": {},
293
+ "evidence_count": n, "tie": []}
294
+ top = max(votes.values())
295
+ winners = [p for p in POSITION_ORDER if votes.get(p) == top]
296
+ total = sum(votes.values())
297
+ return {"position": winners[0], "confidence": round(top / total, 3),
298
+ "votes": votes, "evidence_count": n,
299
+ "tie": winners if len(winners) > 1 else []}
300
+
301
+
302
+ # 生效条件:pos 取自 POSITIONS,缺键时以空 dict 兜底,故未知 pos 返回 {"position": pos, "unit": None, "effect": None, "duty": None}。
303
+ def _position_view(pos):
304
+ meta = POSITIONS.get(pos) or {}
305
+ return {"position": pos, "unit": meta.get("unit"),
306
+ "effect": meta.get("effect"), "duty": meta.get("duty")}
307
+
308
+
309
+ # 生效条件:仅遍历标签含 "subject:<subject_id>" 的节点,其中带 TAG_ANCHOR 者进 anchors,否则(elif)带 TAG_TRAIT 者进 traits——两标签同时存在时只进 anchors、不进 traits;anchor 取 anchors[0] 或 None;位置相关字段来自 infer_position(cg, subject_id)。
310
+ def profile(cg, subject_id):
311
+ """主体画像 = 身份锚点 + 位置效应 + 条件特征(取代单一「用户画像」)。"""
312
+ k, name = split_subject(subject_id)
313
+ tag = f"subject:{subject_id}"
314
+ nodes = cg.index.get("nodes") or {}
315
+ anchors, traits = [], []
316
+ for nid, e in nodes.items():
317
+ tg = set(e.get("tags") or [])
318
+ if tag not in tg:
319
+ continue
320
+ node = cg.get(nid) or {}
321
+ fm = node.get("frontmatter") or {}
322
+ if TAG_ANCHOR in tg:
323
+ anchors.append({"node_id": nid, "layer": e.get("layer"),
324
+ "content": (node.get("content") or "")[:400]})
325
+ elif TAG_TRAIT in tg:
326
+ traits.append({"node_id": nid, "layer": e.get("layer"),
327
+ "content": (node.get("content") or "")[:200],
328
+ "condition_space": fm.get("condition_space"),
329
+ "importance": fm.get("importance")})
330
+ pos = infer_position(cg, subject_id)
331
+ out = {"subject_id": subject_id, "kind": k, "name": name,
332
+ "anchor": anchors[0] if anchors else None, "anchors": anchors,
333
+ "traits": traits, "traits_count": len(traits)}
334
+ out.update(_position_view(pos["position"]))
335
+ out.update({"position_confidence": pos["confidence"], "votes": pos["votes"],
336
+ "evidence_count": pos["evidence_count"], "tie": pos["tie"]})
337
+ return out
338
+
339
+
340
+ # 生效条件:counts 按每个以 "subject:" 开头的字符串标签出现次数累加(即标签次数,不是节点数),按 (-次数, sid) 排序后逐个 sid 调 infer_position;limit 为 0/None/空串等使 `limit and int(limit) > 0` 为假时返回全量 out,仅当 limit 为真值且 int(limit) > 0 时返回前 int(limit) 项。
341
+ def positions(cg, limit=0):
342
+ """所有主体的位置效应分布(OS 视角:谁在记录/反思/验证/输出/维生)。"""
343
+ nodes = cg.index.get("nodes") or {}
344
+ counts = {}
345
+ for _nid_, e in nodes.items():
346
+ for t in (e.get("tags") or []):
347
+ if isinstance(t, str) and t.startswith("subject:"):
348
+ sid = t[len("subject:"):]
349
+ counts[sid] = counts.get(sid, 0) + 1
350
+ out = []
351
+ for sid, cnt in sorted(counts.items(), key=lambda kv: (-kv[1], kv[0])):
352
+ p = infer_position(cg, sid)
353
+ out.append({"subject_id": sid, "kind": split_subject(sid)[0],
354
+ "nodes": cnt, "position": p["position"],
355
+ "confidence": p["confidence"], "evidence_count": p["evidence_count"]})
356
+ return out[:int(limit)] if limit and int(limit) > 0 else out
357
+
358
+
359
+ # 生效条件:cg.root/AUDIT_FILE 不存在时返回 0;否则逐行统计 strip() 后非空的行数,读取途中抛 OSError 时返回已累计的 n。
360
+ def _audit_count(cg):
361
+ p = os.path.join(cg.root, AUDIT_FILE)
362
+ if not os.path.exists(p):
363
+ return 0
364
+ n = 0
365
+ try:
366
+ with open(p, "r", encoding="utf-8") as f:
367
+ for line in f:
368
+ if line.strip():
369
+ n += 1
370
+ except OSError:
371
+ return n
372
+ return n
373
+
374
+
375
+ # 生效条件:以 positions(cg)(limit 缺省 0,返回全量)得主体列表并按各自 position 聚合计数,与 _audit_count(cg) 一并返回 subjects/by_position/audit_records。
376
+ def summary(cg):
377
+ """身份面汇总:主体数 + 位置分布(供 health / 运维审计,流式计数不载全量)。"""
378
+ ps = positions(cg)
379
+ dist = {}
380
+ for s in ps:
381
+ dist[s["position"]] = dist.get(s["position"], 0) + 1
382
+ return {"subjects": len(ps), "by_position": dist,
383
+ "audit_records": _audit_count(cg)}
384
+
385
+
386
+ # 生效条件:无入参,恒返回 POSITION_ORDER 中每个 p 的 POSITIONS[p] 副本、INTERFACES 各值副本以及 list(SUBJECT_KIND)。
387
+ def catalog():
388
+ """自描述:位置效应表 + 三接口(供 MCP / 文档对照协议验证)。"""
389
+ return {"positions": {p: dict(POSITIONS[p]) for p in POSITION_ORDER},
390
+ "interfaces": {k: dict(v) for k, v in INTERFACES.items()},
391
391
  "kinds": list(SUBJECT_KIND)}