@furongjun1999/dsh-memory 0.4.11 → 0.5.0

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 (504) hide show
  1. package/README.md +16 -16
  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 +142 -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//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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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 +503 -503
  24. 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
  25. 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
  26. 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
  27. 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
  28. package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
  29. package/docs/mdcg/lingshu_tutorial.html +14449 -14449
  30. package/docs/mdcg/release_v0.4.11.md +49 -0
  31. package/docs/mdcg/release_v0.4.5.md +55 -55
  32. package/docs/mdcg/tool_table_v0.3.0.md +117 -117
  33. 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
  34. 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
  35. 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
  36. package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
  37. 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
  38. 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
  39. 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
  40. package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
  47. 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
  48. 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
  49. 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
  50. package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. package/dsh/README.md +82 -82
  59. package/dsh/cordis.yml.example +139 -139
  60. package/dsh/update-lingshu.bat +11 -11
  61. package/lib/hooks.js +36 -2
  62. package/lib/lib/roleplay_web.js +427 -427
  63. package/md_cg/__init__.py +7 -7
  64. package/md_cg/audit.py +368 -368
  65. package/md_cg/autonomy.py +287 -287
  66. package/md_cg/backfill.py +1327 -1327
  67. package/md_cg/backfill_bigdomain.py +34 -34
  68. package/md_cg/bench6_arms.py +410 -410
  69. package/md_cg/bench6_common.py +230 -230
  70. package/md_cg/bench6_competitors.py +212 -212
  71. package/md_cg/bench_axis_domain.py +257 -257
  72. package/md_cg/bench_blind_comp.py +308 -308
  73. package/md_cg/bench_en_atoms_public.py +230 -230
  74. package/md_cg/bench_governance.py +348 -348
  75. package/md_cg/bench_lme_zh.py +410 -410
  76. package/md_cg/bench_locomo.py +121 -121
  77. package/md_cg/bench_locomo_zh.py +450 -450
  78. package/md_cg/bench_locomo_zh_public.py +147 -147
  79. package/md_cg/bench_longmem.py +112 -112
  80. package/md_cg/bench_membench.py +632 -632
  81. package/md_cg/bench_p0.py +149 -149
  82. package/md_cg/bench_progressive.py +287 -287
  83. package/md_cg/bench_role_views.py +238 -238
  84. package/md_cg/bench_task_ab.py +243 -243
  85. package/md_cg/bench_task_ab_llm.py +408 -408
  86. package/md_cg/bench_unified_en.py +204 -204
  87. package/md_cg/bench_zh_mad.py +601 -601
  88. package/md_cg/blindspot_tickets.py +123 -123
  89. package/md_cg/branches.py +285 -285
  90. package/md_cg/build_postings.py +73 -73
  91. package/md_cg/ccgc.py +1005 -948
  92. package/md_cg/census.py +132 -132
  93. package/md_cg/chain.py +300 -300
  94. package/md_cg/codeindex.py +531 -531
  95. package/md_cg/coldverify.py +292 -292
  96. package/md_cg/comment_gate.py +337 -337
  97. package/md_cg/cond_compose.py +190 -190
  98. package/md_cg/cond_facts.py +154 -154
  99. package/md_cg/cond_template.json +106 -106
  100. package/md_cg/condition_anchor.py +142 -142
  101. package/md_cg/conformance.py +726 -726
  102. package/md_cg/consistency.py +717 -717
  103. package/md_cg/consolidate.py +1536 -1439
  104. package/md_cg/corpus.py +110 -110
  105. package/md_cg/crosscheck.py +1097 -1097
  106. package/md_cg/crypto.py +437 -437
  107. package/md_cg/d_meta.py +310 -310
  108. package/md_cg/datapath.py +334 -334
  109. package/md_cg/docindex.py +473 -473
  110. package/md_cg/eval_common.py +575 -575
  111. package/md_cg/evidence.py +580 -580
  112. package/md_cg/evolution.py +477 -477
  113. package/md_cg/export.py +220 -220
  114. package/md_cg/forgetting.py +581 -581
  115. package/md_cg/fsutil.py +329 -329
  116. package/md_cg/hotcache.py +238 -214
  117. package/md_cg/hyperedge.py +251 -251
  118. package/md_cg/identity.py +390 -390
  119. package/md_cg/insight.py +500 -500
  120. package/md_cg/interop.py +199 -0
  121. package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
  122. package/md_cg/lexicon/build_standard_en.py +171 -171
  123. package/md_cg/lexicon/expand_en_zh.py +211 -211
  124. package/md_cg/lifecycle.py +272 -272
  125. package/md_cg/linkref.py +280 -280
  126. package/md_cg/links.py +622 -622
  127. package/md_cg/mcp_server.py +129 -32
  128. package/md_cg/md_whitebox.py +345 -345
  129. package/md_cg/mdcg.py +176 -117
  130. package/md_cg/mdcos.py +79 -13
  131. package/md_cg/metacognition.py +591 -591
  132. package/md_cg/migrate.py +119 -119
  133. package/md_cg/migrate_aeis.py +221 -221
  134. package/md_cg/migrate_roleplay.py +293 -293
  135. package/md_cg/migrate_wisdom_graph.py +360 -360
  136. package/md_cg/mreview/__init__.py +25 -25
  137. package/md_cg/mreview/__main__.py +110 -110
  138. package/md_cg/mreview/bundle.py +178 -178
  139. package/md_cg/mreview/candidates.py +262 -262
  140. package/md_cg/mreview/govern.py +693 -693
  141. package/md_cg/mreview/locate.py +939 -939
  142. package/md_cg/mreview/pipeline.py +728 -728
  143. package/md_cg/mreview/rules/duplication.json +21 -21
  144. package/md_cg/mreview/rules/field_coverage.json +54 -54
  145. package/md_cg/mreview/rules/source_license.json +21 -21
  146. package/md_cg/mreview/rules/template_flow.json +21 -21
  147. package/md_cg/mreview/ruleset.py +252 -252
  148. package/md_cg/nodefile.py +575 -575
  149. package/md_cg/pooling.py +484 -472
  150. package/md_cg/postings.py +298 -298
  151. package/md_cg/predict.py +1100 -1100
  152. package/md_cg/progressive.py +123 -123
  153. package/md_cg/protect.py +272 -272
  154. package/md_cg/protocol/md_cg_gate.proto +33 -33
  155. package/md_cg/protocol.py +372 -372
  156. package/md_cg/provenance.py +582 -582
  157. package/md_cg/reach.py +453 -453
  158. package/md_cg/readcache.py +85 -0
  159. package/md_cg/refindex.py +833 -833
  160. package/md_cg/refine.py +604 -604
  161. package/md_cg/roleviews.py +89 -89
  162. package/md_cg/routing.py +365 -365
  163. package/md_cg/scrub.py +852 -852
  164. package/md_cg/security.py +274 -274
  165. package/md_cg/self_state.py +1029 -1029
  166. package/md_cg/selfreport.py +151 -151
  167. package/md_cg/semantic/__init__.py +10 -10
  168. package/md_cg/semantic/canonical.py +122 -122
  169. package/md_cg/semantic/en_normalizer.py +364 -364
  170. package/md_cg/semantic/en_zh_map.json +28694 -0
  171. package/md_cg/semantic/export_en_zh_map.py +64 -0
  172. package/md_cg/semantic/unify.py +45 -0
  173. package/md_cg/semantic/zh_en_atoms.py +139 -139
  174. package/md_cg/signer.py +562 -562
  175. package/md_cg/sources.py +815 -582
  176. package/md_cg/statushdr.py +179 -179
  177. package/md_cg/stg.py +48 -37
  178. package/md_cg/subgraph.py +729 -729
  179. package/md_cg/sustain.py +1138 -1138
  180. package/md_cg/tasks.py +470 -470
  181. package/md_cg/test_action_derive.py +203 -203
  182. package/md_cg/test_audit_rotate.py +270 -270
  183. package/md_cg/test_autonomy.py +143 -143
  184. package/md_cg/test_bench_governance.py +102 -102
  185. package/md_cg/test_blindspot_tickets.py +166 -166
  186. package/md_cg/test_branches.py +249 -249
  187. package/md_cg/test_ccg_perturb.py +184 -184
  188. package/md_cg/test_ccgc.py +433 -433
  189. package/md_cg/test_census_prune.py +81 -81
  190. package/md_cg/test_cond_compose_anchors.py +76 -76
  191. package/md_cg/test_cond_match.py +165 -165
  192. package/md_cg/test_condition_anchor.py +81 -81
  193. package/md_cg/test_d_meta.py +412 -412
  194. package/md_cg/test_datapath_root.py +199 -199
  195. package/md_cg/test_en_pipeline.py +166 -166
  196. package/md_cg/test_gain_gate.py +212 -212
  197. package/md_cg/test_health_scale.py +173 -173
  198. package/md_cg/test_hive_ingest.py +285 -0
  199. package/md_cg/test_hot_cold.py +215 -215
  200. package/md_cg/test_hyperedge.py +245 -245
  201. package/md_cg/test_i26_empty_first_write.py +116 -0
  202. package/md_cg/test_i27_e041_identity.py +128 -0
  203. package/md_cg/test_i28_hotcache_prodpath.py +122 -0
  204. package/md_cg/test_identity_attribution.py +147 -147
  205. package/md_cg/test_index_durability.py +224 -224
  206. package/md_cg/test_interop.py +93 -0
  207. package/md_cg/test_lifecycle.py +309 -309
  208. package/md_cg/test_linkref.py +306 -306
  209. package/md_cg/test_lock.py +43 -43
  210. package/md_cg/test_md_access_parity.py +255 -255
  211. package/md_cg/test_md_writepath.py +345 -345
  212. package/md_cg/test_mdstore_search_parity.py +160 -0
  213. package/md_cg/test_mr_m2.py +587 -587
  214. package/md_cg/test_mr_m3.py +710 -710
  215. package/md_cg/test_mr_m4.py +485 -485
  216. package/md_cg/test_p0.py +250 -250
  217. package/md_cg/test_p1.py +316 -316
  218. package/md_cg/test_p10_identity.py +173 -173
  219. package/md_cg/test_p11_consistency.py +233 -233
  220. package/md_cg/test_p12_metacognition.py +212 -212
  221. package/md_cg/test_p13_encryption.py +241 -241
  222. package/md_cg/test_p14_sustain.py +249 -249
  223. package/md_cg/test_p15_scrub.py +280 -280
  224. package/md_cg/test_p16_self_state.py +301 -301
  225. package/md_cg/test_p17_predict.py +354 -354
  226. package/md_cg/test_p18_whitebox.py +171 -171
  227. package/md_cg/test_p19_migrate_roleplay.py +149 -149
  228. package/md_cg/test_p20_evolution.py +315 -315
  229. package/md_cg/test_p21_tokens.py +293 -270
  230. package/md_cg/test_p22_theory.py +175 -175
  231. package/md_cg/test_p23_links.py +311 -311
  232. package/md_cg/test_p24_evidence.py +227 -227
  233. package/md_cg/test_p25_weights.py +156 -156
  234. package/md_cg/test_p26_refindex.py +416 -416
  235. package/md_cg/test_p27_docindex.py +765 -765
  236. package/md_cg/test_p28_refcheck.py +305 -305
  237. package/md_cg/test_p29_session_ingest_export.py +354 -333
  238. package/md_cg/test_p3.py +11 -2
  239. package/md_cg/test_p30_maintain.py +330 -330
  240. package/md_cg/test_p31_insight.py +534 -534
  241. package/md_cg/test_p32_backfill.py +298 -298
  242. package/md_cg/test_p33_ccg_wiring.py +293 -293
  243. package/md_cg/test_p34_crosscheck.py +331 -331
  244. package/md_cg/test_p35_conditioned_claim.py +252 -252
  245. package/md_cg/test_p36_kp_align.py +230 -230
  246. package/md_cg/test_p37_condition_space.py +248 -248
  247. package/md_cg/test_p38_concurrent_flush.py +102 -0
  248. package/md_cg/test_p38_contextualize.py +273 -273
  249. package/md_cg/test_p39_verify_flow.py +113 -0
  250. package/md_cg/test_p39_vision_evidence.py +369 -369
  251. package/md_cg/test_p40_refine_worklist.py +241 -241
  252. package/md_cg/test_p41_evolve_patrol.py +224 -224
  253. package/md_cg/test_p42_provenance.py +269 -269
  254. package/md_cg/test_p43_pooling.py +412 -398
  255. package/md_cg/test_p44_md_whitebox.py +231 -231
  256. package/md_cg/test_p45_session_identity.py +219 -219
  257. package/md_cg/test_p46_unit_scope.py +272 -272
  258. package/md_cg/test_p47_session_view.py +281 -0
  259. package/md_cg/test_p4_fuzzy.py +223 -223
  260. package/md_cg/test_p5_semantic.py +226 -226
  261. package/md_cg/test_p6_consolidate.py +440 -387
  262. package/md_cg/test_p7_goals_recent.py +202 -202
  263. package/md_cg/test_p8_subgraph_chain.py +200 -200
  264. package/md_cg/test_p9_forget_protect.py +231 -231
  265. package/md_cg/test_predict_beta.py +135 -135
  266. package/md_cg/test_preflight_failclosed.py +100 -100
  267. package/md_cg/test_progressive.py +146 -146
  268. package/md_cg/test_protocol.py +243 -243
  269. package/md_cg/test_reach.py +378 -378
  270. package/md_cg/test_reach_keys.py +201 -201
  271. package/md_cg/test_read_clip.py +141 -141
  272. package/md_cg/test_readcache_prodpath.py +155 -0
  273. package/md_cg/test_retr_gates_prodpath.py +140 -0
  274. package/md_cg/test_retr_s1.py +340 -340
  275. package/md_cg/test_retr_s1b.py +209 -209
  276. package/md_cg/test_retr_s3.py +194 -194
  277. package/md_cg/test_retr_s4.py +163 -163
  278. package/md_cg/test_retr_s5.py +200 -200
  279. package/md_cg/test_retr_s6.py +157 -157
  280. package/md_cg/test_retr_s7.py +384 -384
  281. package/md_cg/test_retr_s8_time.py +369 -316
  282. package/md_cg/test_retr_s9_edges.py +286 -286
  283. package/md_cg/test_retr_s9_entity_ctx.py +175 -175
  284. package/md_cg/test_review_conformance.py +367 -367
  285. package/md_cg/test_role_views.py +354 -354
  286. package/md_cg/test_sem_noise.py +242 -242
  287. package/md_cg/test_semantic_canonical.py +241 -241
  288. package/md_cg/test_subproc_encoding.py +192 -192
  289. package/md_cg/test_sustain_mutual.py +153 -153
  290. package/md_cg/test_tasks.py +409 -409
  291. package/md_cg/test_tool_face.py +189 -189
  292. package/md_cg/test_transfer.py +180 -180
  293. package/md_cg/test_trust.py +361 -361
  294. package/md_cg/test_twophase.py +286 -286
  295. package/md_cg/test_v14_fixes.py +397 -397
  296. package/md_cg/test_validity_filter.py +280 -280
  297. package/md_cg/test_verify_answer.py +138 -138
  298. package/md_cg/test_wisdom_md_store.py +292 -292
  299. package/md_cg/test_writelimit.py +197 -197
  300. package/md_cg/test_writepipe.py +214 -214
  301. package/md_cg/theory.py +273 -273
  302. package/md_cg/tokens.py +677 -663
  303. package/md_cg/tool_face.py +260 -260
  304. package/md_cg/trust.py +986 -950
  305. package/md_cg/twophase.py +231 -231
  306. package/md_cg/units.py +667 -667
  307. package/md_cg/vision_evidence.py +666 -666
  308. package/md_cg/weights.py +624 -624
  309. package/md_cg/whitebox.py +527 -527
  310. package/md_cg/whitebox_kb/__init__.py +37 -37
  311. package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
  312. package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
  313. package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
  314. package/md_cg/whitebox_kb/engine.py +310 -310
  315. package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  316. package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
  317. package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
  318. package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
  319. package/md_cg/whitebox_kb/wisdom/code_solidified.json +6195 -6195
  320. package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
  321. package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
  322. package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
  323. package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
  324. package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
  325. package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
  326. package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
  327. package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
  328. package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
  329. package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
  330. package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
  331. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
  332. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
  333. package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
  334. package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
  335. package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
  336. package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
  337. package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
  338. package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
  339. package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
  340. package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
  341. package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
  342. package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
  343. package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
  344. package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
  345. package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
  346. package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
  347. package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
  348. package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
  349. package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
  350. package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
  351. package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
  352. package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
  353. package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
  354. package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
  355. package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
  356. package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
  357. package/md_cg/writelimit.py +356 -356
  358. package/md_cg/writepipe.py +550 -542
  359. package/package.json +97 -96
  360. package/skills/plugin.json +54 -54
  361. package/skills/skills/designer-perspective/SKILL.md +158 -158
  362. package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
  363. package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
  364. package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
  365. package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
  366. package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
  367. package/skills/skills/designer-perspective/scripts/designer.py +545 -545
  368. package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
  369. package/skills/skills/designer-perspective/tests/selftest.py +61 -61
  370. package/skills/skills/lingshu-browser/SKILL.md +60 -60
  371. package/skills/skills/lingshu-compiler/SKILL.md +56 -56
  372. package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
  373. package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
  374. package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
  375. package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
  376. package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
  377. package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
  378. package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
  379. package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
  380. package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
  381. package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
  382. package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
  383. package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
  384. package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
  385. package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
  386. package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
  387. package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
  388. package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
  389. package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
  390. package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
  391. package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
  392. package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
  393. package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
  394. package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
  395. package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
  396. package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
  397. package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
  398. package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
  399. package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
  400. package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
  401. package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
  402. package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
  403. package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
  404. package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
  405. package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
  406. package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
  407. package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
  408. package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
  409. package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
  410. package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
  411. package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
  412. package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
  413. package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
  414. package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
  415. package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
  416. package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
  417. package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
  418. package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
  419. package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
  420. package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
  421. package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
  422. package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
  423. package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
  424. package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
  425. package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
  426. package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
  427. package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
  428. package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
  429. package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
  430. package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
  431. package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
  432. package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
  433. package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
  434. package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
  435. package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
  436. package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
  437. package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
  438. package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
  439. package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
  440. package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
  441. package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
  442. package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
  443. package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
  444. package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
  445. package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
  446. package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
  447. package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
  448. package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
  449. package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
  450. package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
  451. package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
  452. package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
  453. package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
  454. package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
  455. package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
  456. package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
  457. package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
  458. package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
  459. package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
  460. package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
  461. package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
  462. package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
  463. package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
  464. package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
  465. package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
  466. package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
  467. package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
  468. package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
  469. package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
  470. package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
  471. package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
  472. package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
  473. package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
  474. package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
  475. package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
  476. package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
  477. package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
  478. package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
  479. package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
  480. package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
  481. package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
  482. package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
  483. package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
  484. package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
  485. package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
  486. package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
  487. package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
  488. package/skills/skills/lingshu-graph/SKILL.md +63 -63
  489. package/skills/skills/lingshu-net/SKILL.md +48 -48
  490. package/skills/skills/lingshu-os/SKILL.md +64 -64
  491. package/skills/skills/lingshu-pylang/SKILL.md +71 -71
  492. package/src/bridge.ts +401 -401
  493. package/src/hooks.ts +38 -2
  494. package/src/lib/datapath.ts +326 -326
  495. package/src/lib/mdcg_client.ts +413 -413
  496. package/src/lib/mutual.ts +428 -428
  497. package/src/lib/prompt_safety.ts +62 -62
  498. package/src/lib/python_path.ts +71 -71
  499. package/src/lib/roleplay_web.ts +932 -932
  500. package/src/lib/token_store.ts +192 -192
  501. package/src/tools.ts +212 -212
  502. package/zcode/AGENTS.md +11 -3
  503. package/zcode/README.md +41 -41
  504. /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,160 +1,165 @@
1
- # 令牌与角色权职分离 v0.1
2
-
3
- > 把管理权限从「环境变量开关」改为「令牌 + 角色职责矩阵 + 派生链」。
4
- > 实现:`md_cg/tokens.py`、`md_cg/security.py`、`md_cg/mcp_server.py`、`md_cg/mdcos.py`
5
- > 测试:`python -m md_cg.test_p21_tokens`(31 项,含 MCP 进程层)
6
-
7
- ## 1. 为什么改
8
-
9
- 改造前,管理权限来自环境变量 `MDCG_CAN_ADMIN=1`:
10
-
11
- ```
12
- MDCG_CAN_ADMIN=1 → can_admin=True → 可 review_decide / forget / protect
13
- ```
14
-
15
- 问题有三:
16
-
17
- 1. **无凭据**:任何能设置该进程环境的调用方都能自授权限,没有可追溯的授权主体;
18
- 2. **不可区分**:写权限是一根整体开关,无法表达「验证单元不得改事实层」;
19
- 3. **不可委派**:子代理只能拿同一把钥匙,权职分离无从谈起。
20
-
21
- ## 2. 三层模型
22
-
23
- | 层 | 机制 | 落点 |
24
- |---|---|---|
25
- | ① 令牌 | 身份与权限的唯一凭据;明文只在签发时返回一次,落盘只存 `sha256` | `~/.mdcg/_tokens.json`(0600) |
26
- | ② 角色 | 职责矩阵:可写层 / 可执行 op / 密级上限 / 可否管理 | `tokens.ROLE_SPECS` |
27
- | ③ 派生 | 设计者令牌派生子令牌,**权限只能收窄**,子令牌默认不可再派生 | `tokens.derive()` |
28
-
29
- 令牌格式 `mdcg1.<role>.<token_id>.<secret>`:`role` 便于人读,但**权威来源是令牌记录**——
30
- 校验时比对记录中的 role 与 `sha256(secret)`,不一致即拒绝。
31
-
32
- ### fail-closed
33
-
34
- | 情形 | 行为 |
35
- |---|---|
36
- | `MDCG_TOKEN` 合法 | 按令牌角色注入身份 |
37
- | `MDCG_TOKEN` 非法/过期/吊销 | **拒绝启动**,退出码 `3`,不降级为可用 |
38
- | 无 `MDCG_TOKEN` 且无 `MDCG_LEGACY_ENV_AUTH` | 降级为 `guest`:只读、`internal` 密级、不可管理 |
39
- | `MDCG_LEGACY_ENV_AUTH=1` | 兼容旧部署的 env 直连(`auth_mode=legacy_env`,不推荐) |
40
-
41
- ## 3. 角色职责矩阵
42
-
43
- 五大单元(`record / reflect / verify / output / sustain`)的 `unit / effect / duty`
44
- 与 `identity.POSITIONS`(智能论 v3.4 §十三)**同源**,`test_p21_tokens` 有断言防漂移。
45
-
46
- | 角色 | 单元 | 效 | 可写层 | 可执行 op | 密级上限 | 管理 | 可派生 |
47
- |---|---|---|---|---|---|---|---|
48
- | `designer` | 设计者权限载体 | 主 | `*` | `*` | secret | ✅ | ✅ |
49
- | `record` | 记录单元 | 全 | knowledge, contextual, structural, unresolved, rejected, goals | info, route, read, write, goal, recent | internal | ✗ | ✗ |
50
- | `reflect` | 反思单元 | 新 | contextual | info, route, read, write, recent, metacognition | internal | ✗ | ✗ |
51
- | `verify` | 验证单元 | 稳 | rejected, contextual | info, route, read, write, verify | internal | ✗ | ✗ |
52
- | `output` | 输出单元 | 通 | —(只读) | info, route, read, recent, whitebox | internal | ✗ | ✗ |
53
- | `sustain` | 维生系统 | 存 | self | info, read, write, sustain, scrub, evolution, self_state, metacognition | internal | ✗ | ✗ |
54
- | `guest` | 未认证访客 | — | —(只读) | info, route, read, recent, whitebox | internal | ✗ | ✗ |
55
-
56
- 别名:`recorder→record`、`reflection→reflect`、`verifier→verify`、`viewer→output`、
57
- `admin/root→designer`、`anon/anonymous→guest`。
58
-
59
- ## 4. 核心私有内容保护
60
-
61
- 「其他单元不应越权修改核心私有内容」由**两道闸门**共同保证:
62
-
63
- 1. **密级闸门**:`private` / `secret` 内容只有 `clearance` 达标的身份可写。
64
- 除 `designer` 外的角色密级上限一律 `internal`,因此**天然无法写入核心私有内容**。
65
- 2. **层闸门**:`anchor`(身份锚点)与 `self`(灵枢自身)保护层,
66
- 只对 `layers_allow` 含该层或 `"*"` 的角色开放。
67
-
68
- 写入路径统一走 `Principal.require_layer_write(layer, sensitivity)`,
69
- 在 `MdCGSecure.add / add_rejected / add_unresolved / propose / add_goal / set_goal_status`
70
- 六处生效。越权即 `AccessDenied`,不做静默降级。
71
-
72
- 另有一道 **op 闸门**:`_cg_call` 入口调用 `Principal.require_op(op)`,
73
- 使「只读角色执行 write / review」在进入业务逻辑前就被拦下。
74
-
75
- ## 5. 单智能体的子代理权职分离
76
-
77
- 即使是单智能体环境,也用**子代理 + 子令牌**把职责分开,从而校验偏差与盲区:
78
-
79
- ```python
80
- from md_cg import tokens
81
-
82
- # 外部用户为唯一主智能体签发「设计者权限载体」
83
- d = tokens.issue("designer", actor="codebuddy", label="设计者载体")
84
-
85
- # 主智能体为各单元派生受限子令牌(权限只能收窄)
86
- v = tokens.derive(d["token"], "verify", actor="codebuddy-verify", ttl=3600)
87
- r = tokens.derive(d["token"], "reflect", actor="codebuddy-reflect", ttl=3600)
88
- o = tokens.derive(d["token"], "output", actor="codebuddy-output", ttl=3600)
89
- ```
90
-
91
- 由此得到的性质:
92
-
93
- - **验证单元写不了被验证内容**:`layers_allow=['rejected','contextual']`,
94
- 写 `knowledge` 层直接 `AccessDenied`,因此「自己写、自己验」在结构上不成立;
95
- - **记录单元不能自我验证**:无 `verify` op、无 `rejected` 以外的裁决权;
96
- - **输出单元不产生副作用**:`can_write=False`,连审计节点都写不了;
97
- - **维生系统改不了事实**:只能写 `self` 层运维域;
98
- - **委派链封口**:子令牌 `delegable=False`,不能继续往下派生;
99
- 父令牌吊销时**级联吊销**整条链。
100
-
101
- 这样,主智能体无法用「同一个身份」既产出又验收,偏差与盲区有独立单元交叉检查。
102
-
103
- ## 6. 操作手册
104
-
105
- ```bash
106
- # ① 签发设计者载体(明文令牌只返回这一次)
107
- python -m md_cg.tokens issue --role designer --actor codebuddy --label "外部用户授权载体"
108
-
109
- # ② 派生各单元子令牌
110
- python -m md_cg.tokens derive --token <设计者令牌> --role verify --actor codebuddy-verify --ttl 3600
111
-
112
- # ③ 校验身份(打印 role / 可写层 / op 作用域)
113
- python -m md_cg.tokens verify --token <令牌>
114
-
115
- # ④ 清单与吊销
116
- python -m md_cg.tokens list
117
- python -m md_cg.tokens revoke --token-id tk_xxxxxxxxxxxx
118
-
119
- # ⑤ 打印角色职责矩阵
120
- python -m md_cg.tokens roles
121
- ```
122
-
123
- MCP 接入(`~/.codebuddy/mcp.json`):
124
-
125
- ```json
126
- {
127
- "mcpServers": {
128
- "mdcg": {
129
- "command": "python",
130
- "args": ["-m", "md_cg.mcp_server"],
131
- "env": {
132
- "MDCG_ROOT": "data/mdcg",
133
- "MDCG_TOKEN": "mdcg1.designer.tk_xxxxxxxxxxxx.xxxxxxxx"
134
- }
135
- }
136
- }
137
- }
138
- ```
139
-
140
- 令牌文件路径可用 `MDCG_TOKEN_FILE` 覆盖(默认 `~/.mdcg/_tokens.json`)。
141
-
142
- ## 7. 迁移与兼容
143
-
144
- - 既有直接构造的 `Principal(...)`(测试、脚本)行为不变:
145
- `role="system"`、`layers_allow=None`(不限制),仅新增字段。
146
- - 旧部署可临时设 `MDCG_LEGACY_ENV_AUTH=1` 继续用 env 身份,
147
- `whoami.principal.auth_mode` 会标注 `legacy_env` 以便识别与清理。
148
- - `test_p2_mcp.py` 已自动带上该开关以保持回归。
149
-
150
- ## 8. 诚实边界
151
-
152
- - **令牌文件即信任根**:`~/.mdcg/_tokens.json` 被写入者可自行追加令牌。
153
- 本方案把「可自授权限」从进程环境收敛到文件系统权限(0600),
154
- 未引入外部 KMS/签名链——那是下一步。
155
- - **明文令牌仍出现在客户端配置里**:MCP 客户端需要它。若需更高强度,
156
- 应改为「客户端持私钥 + 服务端校验签名」。
157
- - **角色矩阵是策略不是证明**:`layers_allow` 收窄的是**写层**,
158
- 读权限仍由 `clearance` 单维控制;跨租户隔离依赖 `MDCG_ROOT` 与 DEK。
159
- - **`op` 闸门是入口检查**:未覆盖 MCP 暴露的全部 33 个细粒度工具,
160
- 它们走 `cg`/`stg` 基元时同样受检,但直接调用 `MdCGSecure` 的脚本需自行遵守。
1
+ # 令牌与角色权职分离 v0.1
2
+
3
+ > 把管理权限从「环境变量开关」改为「令牌 + 角色职责矩阵 + 派生链」。
4
+ > 实现:`md_cg/tokens.py`、`md_cg/security.py`、`md_cg/mcp_server.py`、`md_cg/mdcos.py`
5
+ > 测试:`python -m md_cg.test_p21_tokens`(38 项,含 MCP 进程层)
6
+ >
7
+ > **v0.2 增补(2026-09-22)**:新增 `orchestr` 角色(3.9 仲裁实例投影,蜂巢编排者);
8
+ > `review_decide` 闸门从 `require_admin` 拆为 `require_op("review")`+层写复合
9
+ > ——裁决权与存在级管理权正式分离。详见《令牌语义修正·仲裁位 v0.1》。
10
+
11
+ ## 1. 为什么改
12
+
13
+ 改造前,管理权限来自环境变量 `MDCG_CAN_ADMIN=1`:
14
+
15
+ ```
16
+ MDCG_CAN_ADMIN=1 → can_admin=True → 可 review_decide / forget / protect
17
+ ```
18
+
19
+ 问题有三:
20
+
21
+ 1. **无凭据**:任何能设置该进程环境的调用方都能自授权限,没有可追溯的授权主体;
22
+ 2. **不可区分**:写权限是一根整体开关,无法表达「验证单元不得改事实层」;
23
+ 3. **不可委派**:子代理只能拿同一把钥匙,权职分离无从谈起。
24
+
25
+ ## 2. 三层模型
26
+
27
+ | 层 | 机制 | 落点 |
28
+ |---|---|---|
29
+ | ① 令牌 | 身份与权限的唯一凭据;明文只在签发时返回一次,落盘只存 `sha256` | `~/.mdcg/_tokens.json`(0600) |
30
+ | ② 角色 | 职责矩阵:可写层 / 可执行 op / 密级上限 / 可否管理 | `tokens.ROLE_SPECS` |
31
+ | ③ 派生 | 设计者令牌派生子令牌,**权限只能收窄**,子令牌默认不可再派生 | `tokens.derive()` |
32
+
33
+ 令牌格式 `mdcg1.<role>.<token_id>.<secret>`:`role` 便于人读,但**权威来源是令牌记录**——
34
+ 校验时比对记录中的 role 与 `sha256(secret)`,不一致即拒绝。
35
+
36
+ ### fail-closed
37
+
38
+ | 情形 | 行为 |
39
+ |---|---|
40
+ | `MDCG_TOKEN` 合法 | 按令牌角色注入身份 |
41
+ | `MDCG_TOKEN` 非法/过期/吊销 | **拒绝启动**,退出码 `3`,不降级为可用 |
42
+ | 无 `MDCG_TOKEN` 且无 `MDCG_LEGACY_ENV_AUTH` | 降级为 `guest`:只读、`internal` 密级、不可管理 |
43
+ | `MDCG_LEGACY_ENV_AUTH=1` | 兼容旧部署的 env 直连(`auth_mode=legacy_env`,不推荐) |
44
+
45
+ ## 3. 角色职责矩阵
46
+
47
+ 五大单元(`record / reflect / verify / output / sustain`)的 `unit / effect / duty`
48
+ 与 `identity.POSITIONS`(智能论 v3.4 §十三)**同源**,`test_p21_tokens` 有断言防漂移。
49
+
50
+ | 角色 | 单元 | 效 | 可写层 | 可执行 op | 密级上限 | 管理 | 可派生 |
51
+ |---|---|---|---|---|---|---|---|
52
+ | `designer` | 设计者权限载体 | 主 | `*` | `*` | secret | ✅ | ✅ |
53
+ | `orchestr` | 仲裁实例(3.9,蜂巢编排者) | 裁 | contextual, unresolved, rejected | info, route, read, write, review, recent, consistency | internal | ✗ | ✗ |
54
+ | `record` | 记录单元 | 全 | knowledge, contextual, structural, unresolved, rejected, goals | info, route, read, write, goal, recent | internal | ✗ | ✗ |
55
+ | `reflect` | 反思单元 | 新 | contextual | info, route, read, write, recent, metacognition | internal | ✗ | ✗ |
56
+ | `verify` | 验证单元 | 稳 | rejected, contextual | info, route, read, write, verify | internal | ✗ | ✗ |
57
+ | `output` | 输出单元 | 通 | —(只读) | info, route, read, recent, whitebox | internal | ✗ | ✗ |
58
+ | `sustain` | 维生系统 | 存 | self | info, read, write, sustain, scrub, evolution, self_state, metacognition | internal | ✗ | ✗ |
59
+ | `guest` | 未认证访客 | — | —(只读) | info, route, read, recent, whitebox | internal | ✗ | ✗ |
60
+
61
+ 别名:`recorder→record`、`reflection→reflect`、`verifier→verify`、`viewer→output`、
62
+ `admin/root→designer`、`anon/anonymous→guest`。
63
+
64
+ ## 4. 核心私有内容保护
65
+
66
+ 「其他单元不应越权修改核心私有内容」由**两道闸门**共同保证:
67
+
68
+ 1. **密级闸门**:`private` / `secret` 内容只有 `clearance` 达标的身份可写。
69
+ 除 `designer` 外的角色密级上限一律 `internal`,因此**天然无法写入核心私有内容**。
70
+ 2. **层闸门**:`anchor`(身份锚点)与 `self`(灵枢自身)保护层,
71
+ 只对 `layers_allow` 含该层或 `"*"` 的角色开放。
72
+
73
+ 写入路径统一走 `Principal.require_layer_write(layer, sensitivity)`,
74
+ 在 `MdCGSecure.add / add_rejected / add_unresolved / propose / add_goal / set_goal_status`
75
+ 六处生效。越权即 `AccessDenied`,不做静默降级。
76
+
77
+ 另有一道 **op 闸门**:`_cg_call` 入口调用 `Principal.require_op(op)`,
78
+ 使「只读角色执行 write / review」在进入业务逻辑前就被拦下。
79
+
80
+ ## 5. 单智能体的子代理权职分离
81
+
82
+ 即使是单智能体环境,也用**子代理 + 子令牌**把职责分开,从而校验偏差与盲区:
83
+
84
+ ```python
85
+ from md_cg import tokens
86
+
87
+ # 外部用户为唯一主智能体签发「设计者权限载体」
88
+ d = tokens.issue("designer", actor="codebuddy", label="设计者载体")
89
+
90
+ # 主智能体为各单元派生受限子令牌(权限只能收窄)
91
+ v = tokens.derive(d["token"], "verify", actor="codebuddy-verify", ttl=3600)
92
+ r = tokens.derive(d["token"], "reflect", actor="codebuddy-reflect", ttl=3600)
93
+ o = tokens.derive(d["token"], "output", actor="codebuddy-output", ttl=3600)
94
+ ```
95
+
96
+ 由此得到的性质:
97
+
98
+ - **验证单元写不了被验证内容**:`layers_allow=['rejected','contextual']`,
99
+ 写 `knowledge` 层直接 `AccessDenied`,因此「自己写、自己验」在结构上不成立;
100
+ - **记录单元不能自我验证**:无 `verify` op、无 `rejected` 以外的裁决权;
101
+ - **输出单元不产生副作用**:`can_write=False`,连审计节点都写不了;
102
+ - **维生系统改不了事实**:只能写 `self` 层运维域;
103
+ - **委派链封口**:子令牌 `delegable=False`,不能继续往下派生;
104
+ 父令牌吊销时**级联吊销**整条链。
105
+
106
+ 这样,主智能体无法用「同一个身份」既产出又验收,偏差与盲区有独立单元交叉检查。
107
+
108
+ ## 6. 操作手册
109
+
110
+ ```bash
111
+ # ① 签发设计者载体(明文令牌只返回这一次)
112
+ python -m md_cg.tokens issue --role designer --actor codebuddy --label "外部用户授权载体"
113
+
114
+ # ② 派生各单元子令牌
115
+ python -m md_cg.tokens derive --token <设计者令牌> --role verify --actor codebuddy-verify --ttl 3600
116
+
117
+ # ③ 校验身份(打印 role / 可写层 / op 作用域)
118
+ python -m md_cg.tokens verify --token <令牌>
119
+
120
+ # ④ 清单与吊销
121
+ python -m md_cg.tokens list
122
+ python -m md_cg.tokens revoke --token-id tk_xxxxxxxxxxxx
123
+
124
+ # ⑤ 打印角色职责矩阵
125
+ python -m md_cg.tokens roles
126
+ ```
127
+
128
+ MCP 接入(`~/.codebuddy/mcp.json`):
129
+
130
+ ```json
131
+ {
132
+ "mcpServers": {
133
+ "mdcg": {
134
+ "command": "python",
135
+ "args": ["-m", "md_cg.mcp_server"],
136
+ "env": {
137
+ "MDCG_ROOT": "data/mdcg",
138
+ "MDCG_TOKEN": "mdcg1.designer.tk_xxxxxxxxxxxx.xxxxxxxx"
139
+ }
140
+ }
141
+ }
142
+ }
143
+ ```
144
+
145
+ 令牌文件路径可用 `MDCG_TOKEN_FILE` 覆盖(默认 `~/.mdcg/_tokens.json`)。
146
+
147
+ ## 7. 迁移与兼容
148
+
149
+ - 既有直接构造的 `Principal(...)`(测试、脚本)行为不变:
150
+ `role="system"`、`layers_allow=None`(不限制),仅新增字段。
151
+ - 旧部署可临时设 `MDCG_LEGACY_ENV_AUTH=1` 继续用 env 身份,
152
+ `whoami.principal.auth_mode` 会标注 `legacy_env` 以便识别与清理。
153
+ - `test_p2_mcp.py` 已自动带上该开关以保持回归。
154
+
155
+ ## 8. 诚实边界
156
+
157
+ - **令牌文件即信任根**:`~/.mdcg/_tokens.json` 被写入者可自行追加令牌。
158
+ 本方案把「可自授权限」从进程环境收敛到文件系统权限(0600),
159
+ 未引入外部 KMS/签名链——那是下一步。
160
+ - **明文令牌仍出现在客户端配置里**:MCP 客户端需要它。若需更高强度,
161
+ 应改为「客户端持私钥 + 服务端校验签名」。
162
+ - **角色矩阵是策略不是证明**:`layers_allow` 收窄的是**写层**,
163
+ 读权限仍由 `clearance` 单维控制;跨租户隔离依赖 `MDCG_ROOT` 与 DEK。
164
+ - **`op` 闸门是入口检查**:未覆盖 MCP 暴露的全部 33 个细粒度工具,
165
+ 它们走 `cg`/`stg` 基元时同样受检,但直接调用 `MdCGSecure` 的脚本需自行遵守。
@@ -0,0 +1,76 @@
1
+ # 令牌语义修正 · 仲裁位 v0.1(设计稿)
2
+
3
+ > **定位**:关闭「编排者令牌被迫挂 designer 角色」的语义塌缩。参照《令牌与角色权职分离 v0.1》(三层模型/角色矩阵)、《单元自我锚点·子代理系统提示词标准 v0.3》(裁决者=verify 位)与《蜂巢设计·理论对齐 v0.1》裁定 A(实质权力唯一)。
4
+ > **状态**:**已落地**(2026-09-22 施工完成并验证:`ORCH_ROLE="orchestr"` 在线,编排者令牌 tk_fc477e4401ba role=orchestr,端到端第三轮收口全绿;旧 designer 投影 tk_2700d603a5a0 已 revoke)。实测背景:批次 2/3(编排链两轮实测 + 令牌唯一化)。
5
+
6
+ ---
7
+
8
+ ## 〇 条件空间声明
9
+
10
+ | 维度 | 声明 |
11
+ |---|---|
12
+ | 观测位置 | 设计者视角(全局观测),对象=md_cg 令牌权限模型 × hive 编排链 |
13
+ | 观测工具 | 源码取证(tokens.py/mdcos.py/orch.py)+ 实测(批次 2/3 编排链两轮 + 令牌审计) |
14
+ | 时间窗口 | 2026-09-22 设计;生效依赖维生批准与施工批次 |
15
+ | 存在约束 | 三层模型不破(令牌/角色/派生);五单元与 identity.POSITIONS 同源断言不破;fail-closed 不破 |
16
+
17
+ ## 一 问题:语义塌缩(实测取证)
18
+
19
+ - 编排者职能 = 拆解派发 + **裁决子代理冲突**(orch.py 收口,理论位=智能论 3.9 仲裁实例;v0.3 标准对应裁决者/verify 位的判定单职能)。
20
+ - 裁决要过 `MdCGSecure.review_decide` 的库层 `require_admin` 闸门,而 `can_admin` 只有 designer 角色为真 → **编排者被迫持 designer 角色**(tokens.py:225 `ORCH_ROLE = "designer"`,取证 2026-09-16)。
21
+ - 后果:子代理链上出现 role 字面为 designer 的令牌,与「链上零第二设计者」治理意图字面冲突。裁定 A(实质权力唯一)是**过渡合法化**:收窄投影(ops 6 项、无 core 层、不可 forget/anchor/self/goals),但 role 名仍称 designer——**名实不符**。
22
+
23
+ ## 二 理论对齐
24
+
25
+ - 智能论 3.9:**仲裁实例**是协议内部正式职能位(处理分歧、执行恢复)——裁决权属仲裁位,不属设计者位置(1.4.3 互斥)。
26
+ - v0.3 标准的裁决者模板(判定单七字段)即该职能的提示词投影;五单元矩阵中与其最贴近的是 **verify(稳)**,但仲裁实例还需 write(收口归档)——故独立成位比塞进 verify 更诚实。
27
+ - 令牌 v0.1 §5 已确立「单智能体子代理权职分离」先例:主智能体(唯一设计者载体)派生受限子令牌。本稿把「编排者」纳入同一范式。
28
+
29
+ ## 三 设计
30
+
31
+ ### 3.1 新增角色 `orchestr`(仲裁位)
32
+
33
+ 进 `tokens.ROLE_SPECS`(与五单元同源风格,effect 取「裁」,对应 3.9 仲裁实例):
34
+
35
+ | 字段 | 值 | 说明 |
36
+ |---|---|---|
37
+ | unit | 仲裁实例(3.9) | 非五单元,独立职能位(模板对应 v0.3 裁决者主轴+编排收口) |
38
+ | effect | 裁 | 与全新稳通存并列,出处=3.9 |
39
+ | 可写层 | contextual, unresolved, rejected | 收口归档所需;**无 knowledge**(升层仍走设计者/收口纪律既有通道)与 **无 anchor/self/goals** |
40
+ | 可执行 op | info, route, read, write, review, recent, consistency | 即现 ORCH_OPS_ALLOW |
41
+ | 密级上限 | internal | 同五单元 |
42
+ | 管理 | ✗ | **can_admin=False(关键变化)**:不可 forget/protect/动 anchor |
43
+ | 可派生 | ✗ | 委派链封口 |
44
+
45
+ ### 3.2 权限模型配套:拆开「裁决权」与「管理权」
46
+
47
+ - `review_decide` 闸门:`require_admin` → **`require_op("review")` + `require_layer_write(被裁决节点所在层)`** 复合。
48
+ - `can_admin` 语义收窄回本位:仅 forget / protect / anchor 写 / 令牌管理 等存在级操作。
49
+ - 影响面(施工时逐点核对):`mdcos.py`(review_decide 及 require_admin 其他调用点)、`md_cg/mcp_server.py` 的 review 面、`test_p21_tokens`(31 项断言扩展+修订)、`hive/orch.py`(principal role 日志与校验)、`tokens.py ORCH_*` 常量(`ORCH_ROLE = "orchestr"`)。
50
+
51
+ ### 3.3 兼容与迁移(顺序铁律:先改模型,后重签,再换链)
52
+
53
+ 1. 施工:新增角色 + 闸门拆分 + 断言(先行能红测试:orchestr 派生后 review_decide 可过、forget/anchor 写必拒)。
54
+ 2. 重签:`orch --token <579ce0> --out`(同一维生根,无需新授权——派生链不变,仅角色语义修正)。
55
+ 3. 换链:`hive/config.local.json` 的 `HIVE_ORCH_TOKEN_FILE` 不变(文件路径同位,内容被覆盖)→ `--restart`。
56
+ 4. 旧投影令牌(tk_2700d603a5a0,role=designer 收窄版)由维生 revoke 收口。
57
+ 5. 文档同步:本稿状态改「已落地」;`令牌与角色权职分离` 升 v0.2(矩阵加 orchestr 行);hive/README 令牌段同步。
58
+
59
+ ### 3.4 验证判据(能红 + 反向对照,ref-14 标准)
60
+
61
+ - 正向:orchestr 令牌 `review_decide` 成功(编排收口裁决可用);`forget` 拒(AccessDenied);写 `anchor/self/goals` 拒;写 `knowledge` 拒;`derive` 再派生拒。
62
+ - 反向对照:旧模型(require_admin 一刀切)下 orchestr 裁决必被拒(旧行为可红);role 字面校验(令牌串 `mdcg1.orchestr.` 前缀 + 记录 role 一致)。
63
+ - 端到端:编排实测第三轮(失败子任务收口 + 冲突裁决场景),编排者持 orchestr 令牌完成裁决且认知图审计记录 actor=hive-orchestrator。
64
+
65
+ ## 四 诚实边界
66
+
67
+ - **令牌文件即信任根**不变(v0.1 §8):文件写入者仍可自授权限,收敛到 0600 是现状上限。
68
+ - orchestr 的「裁」仍是**协议内部裁决**:判定不一致的终裁在维生(12 节),orchestr 不终裁——与其令牌能力一致(无 sustain op)。
69
+ - 五单元同源断言(test_p21_tokens)需要扩展而非修改:orchestr 是 3.9 职能位投影,不冒充五单元。
70
+
71
+ ## 五 变更记录
72
+
73
+ | 日期 | 版本 | 变更 |
74
+ |---|---|---|
75
+ | 2026-09-22 | v0.1 | 初稿:问题取证(批次 2/3 实测)+ 理论对齐(3.9 仲裁位/裁定 A)+ orchestr 角色设计 + 闸门拆分 + 迁移顺序 + 能红判据 |
76
+ | 2026-09-22 | v0.1.1 | **施工落地**:tokens.py 新增 orchestr 角色 + ORCH_ROLE="orchestr";mdcos.py review_decide 闸门拆分(require_op("review"));test_p21_tokens 38/0(含 [2b] orchestr 断言组 7 项);重签 tk_fc477e4401ba + revoke tk_2700d603a5a0 + restart;端到端第三轮(失败子任务收口)全绿。观测:失败处理场景 12 轮仍触发 forced_final,但收口指令加固使其产出真结论——轮次下限调参记台账不急调 |