@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,192 +1,192 @@
1
- # -*- coding: utf-8 -*-
2
- """test_subproc_encoding.py · 子进程**文本解码口径**的机械守卫(第15条纪律的守卫面)
3
-
4
- 现场(2026-09-20 取证):桥的子进程被注入 `PYTHONIOENCODING=utf-8`,其**后代**因此往
5
- 管道写 UTF-8;但后代读子进程输出时默认 text 编码取自 locale(Windows=cp936),两侧
6
- 口径不一致 → 读线程崩死、子进程诊断静默丢失:
7
-
8
- Exception in thread Thread-N (_readerthread):
9
- UnicodeDecodeError: 'gbk' codec can't decode byte 0x82 in position 181
10
-
11
- 两道防线(本守卫管第二道):
12
- ① 运行期:桥子进程一律以 `PYTHONUTF8=1` 启动(PEP 540,默认 text 编码=utf-8);
13
- 见 `src/lib/mdcg_client.ts` 的 `mdcgChildEnv()` 与 `test/python-utf8-mode.test.ts`。
14
- ② 源码:**任何**文本模式子进程读取都必须显式声明 `encoding=`(配 `errors=`),
15
- 不依赖 locale——脚本/工具也可能被非桥路径启动,那时没有 ① 的保护。
16
-
17
- 判据(**AST 判定,非文本窗口**——2026-09-20 改进):以 `ast` 解析每个 git 跟踪的 .py,
18
- 对**真实的调用节点**判定:
19
- · 子进程调用 = `subprocess.<run|Popen|check_output|call|check_call|getoutput|getstatusoutput>`
20
- (含 `import subprocess as sp` 与 `from subprocess import run` 两种别名形态)
21
- · 文本模式 = 调用处出现 `text=<非 False>` / `universal_newlines=<非 False>` / `encoding=`
22
- · 违例 = 文本模式却无 `encoding=` 实参;`**kwargs` 透传且**该调用确有管道**
23
- (`capture_output` 或 stdout/stderr=PIPE)而无 `encoding=` 报「不可判定」——口径无法
24
- 确认即不合格,须显式声明;`os.popen` 直接违例(该 API 无法声明编码)。
25
- 注:DEVNULL/日志文件豁免**仅适用于 `**kwargs` 透传分支**(口径无法确认时的收敛:
26
- 有管道才判);显式 `text=True` 时即使输出落 DEVNULL **仍判违例**——守卫的取向是
27
- 「口径无法确认即不合格」,宁可保守(2026-09-20 v15-7 口径澄清:头注原写「输出落
28
- DEVNULL/日志文件且无管道的 Popen 不判」未限定分支,与实现不符)。
29
- > 之所以不用文本窗口:窗口会把**字符串字面量与文档样例**当调用(守卫曾因此自伤,
30
- > 把自身源码里的 `"os.popen("` 字串判为违例)——AST 只认语法意义上的调用,无此缺陷。
31
-
32
- 自检:被检查的文本模式调用点低于 FLOOR 视为失败——防止「扫描范围意外为空 → 假绿」。
33
- """
34
- from __future__ import annotations
35
-
36
- import ast
37
- import os
38
- import subprocess
39
- import sys
40
-
41
- FLOOR = 12 # 本仓文本模式子进程调用点的下限(低于它说明扫描面失效了)
42
- SUB_FUNCS = {"run", "Popen", "check_output", "call", "check_call",
43
- "getoutput", "getstatusoutput"}
44
- ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
45
-
46
-
47
- # 生效条件:无入参;返回仓根下 git 跟踪的 .py 相对路径列表(git 不可用时返回 None,调用方据此跳过并说明)。
48
- def _tracked_py() -> list[str] | None:
49
- try:
50
- r = subprocess.run(["git", "-C", ROOT, "ls-files", "*.py"],
51
- capture_output=True, text=True,
52
- encoding="utf-8", errors="replace")
53
- except OSError:
54
- return None
55
- if r.returncode != 0:
56
- return None
57
- return [ln.strip() for ln in r.stdout.splitlines() if ln.strip()]
58
-
59
-
60
- # 生效条件:v 为 ast 常量节点时按其布尔取反判定;非常量(变量/表达式)一律按 True 保守处理。
61
- def _truthy(v: ast.AST | None) -> bool:
62
- if isinstance(v, ast.Constant):
63
- return bool(v.value)
64
- return True
65
-
66
-
67
- class _Scanner(ast.NodeVisitor):
68
- """单文件扫描器:先收别名导入,再按 AST 调用节点判文本模式与 encoding 声明。"""
69
-
70
- def __init__(self, rel: str, bad: list[str]) -> None:
71
- self.rel = rel
72
- self.bad = bad
73
- self.sub_aliases: set[str] = set()
74
- self.func_aliases: dict[str, str] = {}
75
- self.checked = 0
76
-
77
- def visit_Import(self, node: ast.Import) -> None:
78
- for a in node.names:
79
- if a.name == "subprocess":
80
- self.sub_aliases.add(a.asname or "subprocess")
81
- self.generic_visit(node)
82
-
83
- def visit_ImportFrom(self, node: ast.ImportFrom) -> None:
84
- if node.module == "subprocess":
85
- for a in node.names:
86
- if a.name in SUB_FUNCS:
87
- self.func_aliases[a.asname or a.name] = a.name
88
- self.generic_visit(node)
89
-
90
- # 生效条件:node.func 为 subprocess.<func> / 别名 / os.popen 三种形态之一时返回 (kind, funcname),否则 None。
91
- def _callee(self, node: ast.Call) -> tuple[str, str] | None:
92
- f = node.func
93
- if isinstance(f, ast.Attribute) and isinstance(f.value, ast.Name):
94
- base = f.value.id
95
- if base in self.sub_aliases and f.attr in SUB_FUNCS:
96
- return ("subprocess", f.attr)
97
- if base == "os" and f.attr == "popen":
98
- return ("os", "popen")
99
- if isinstance(f, ast.Name) and f.id in self.func_aliases:
100
- return ("subprocess", self.func_aliases[f.id])
101
- return None
102
-
103
- # 生效条件:kws 为调用处关键字实参表;capture_output 为真或 stdout/stderr 取 PIPE 时返回 True(该调用确有管道)。
104
- @staticmethod
105
- def _piped(kws: dict[str, ast.AST]) -> bool:
106
- if "capture_output" in kws and _truthy(kws.get("capture_output")):
107
- return True
108
- for key in ("stdout", "stderr"):
109
- v = kws.get(key)
110
- if isinstance(v, ast.Attribute) and v.attr == "PIPE":
111
- return True
112
- if isinstance(v, ast.Name) and v.id == "PIPE":
113
- return True
114
- return False
115
-
116
- def visit_Call(self, node: ast.Call) -> None:
117
- callee = self._callee(node)
118
- if callee is not None:
119
- kind, fname = callee
120
- if kind == "os":
121
- self.bad.append("%s:%d: os.popen(...)(该 API 无法声明编码,"
122
- "改用 subprocess.run)" % (self.rel, node.lineno))
123
- else:
124
- kws = {k.arg: k.value for k in node.keywords if k.arg is not None}
125
- has_star = any(k.arg is None for k in node.keywords)
126
- text_mode = ("encoding" in kws
127
- or ("text" in kws and _truthy(kws.get("text")))
128
- or ("universal_newlines" in kws
129
- and _truthy(kws.get("universal_newlines"))))
130
- if text_mode:
131
- self.checked += 1
132
- if "encoding" not in kws:
133
- self.bad.append(
134
- "%s:%d: subprocess.%s(...) 文本模式未声明 encoding="
135
- % (self.rel, node.lineno, fname))
136
- elif has_star and self._piped(kws):
137
- # **kwargs 透传且确有管道:口径不可判定(可能被调用方注入 text=True)→ 不合格。
138
- # **kwargs 透传但无管道(输出落 DEVNULL/日志文件)不判——不经过解码器,无该缺陷面。
139
- # 注意豁免**只管这一支**:显式 text=True 即使落 DEVNULL 也走上一支判违例(v15-7)。
140
- self.bad.append(
141
- "%s:%d: subprocess.%s(..., **kwargs) 无法确认编码口径,"
142
- "须显式声明 encoding=" % (self.rel, node.lineno, fname))
143
- self.generic_visit(node)
144
-
145
-
146
- # 生效条件:无入参;扫描 git 跟踪的 .py 返回 (违例列表, 受检文本模式调用点数, git 可用性)。
147
- def scan() -> tuple[list[str], int, bool]:
148
- files = _tracked_py()
149
- if files is None:
150
- return [], 0, False
151
- bad: list[str] = []
152
- checked = 0
153
- for rel in files:
154
- path = os.path.join(ROOT, rel)
155
- try:
156
- with open(path, encoding="utf-8", errors="replace") as fh:
157
- src = fh.read()
158
- except OSError:
159
- continue
160
- try:
161
- tree = ast.parse(src, filename=rel)
162
- except SyntaxError:
163
- bad.append("%s:0: 语法错误,无法 AST 判定(守卫拒绝在未解析文件上放行)" % rel)
164
- continue
165
- sc = _Scanner(rel, bad)
166
- sc.visit(tree)
167
- checked += sc.checked
168
- return sorted(bad), checked, True
169
-
170
-
171
- def main() -> int:
172
- bad, checked, git_ok = scan()
173
- if not git_ok:
174
- print("SKIP:git 不可用,无法枚举跟踪文件(本守卫需要 git)")
175
- return 0
176
- print("受检文本模式子进程调用点:%d(下限 %d)" % (checked, FLOOR))
177
- if bad:
178
- print("✖ 不合格的文本模式调用点 %d 处:" % len(bad))
179
- for b in bad:
180
- print(" ", b)
181
- print("修法:补 encoding=\"utf-8\", errors=\"replace\"(不依赖 locale)")
182
- return 1
183
- if checked < FLOOR:
184
- print("✖ 受检调用点 %d < 下限 %d——扫描面失效(文件枚举/判据坏了),"
185
- "不得视为通过" % (checked, FLOOR))
186
- return 1
187
- print("✔ 全部调用点均显式声明 encoding=(子进程文本解码不依赖 locale)")
188
- return 0
189
-
190
-
191
- if __name__ == "__main__":
192
- sys.exit(main())
1
+ # -*- coding: utf-8 -*-
2
+ """test_subproc_encoding.py · 子进程**文本解码口径**的机械守卫(第15条纪律的守卫面)
3
+
4
+ 现场(2026-09-20 取证):桥的子进程被注入 `PYTHONIOENCODING=utf-8`,其**后代**因此往
5
+ 管道写 UTF-8;但后代读子进程输出时默认 text 编码取自 locale(Windows=cp936),两侧
6
+ 口径不一致 → 读线程崩死、子进程诊断静默丢失:
7
+
8
+ Exception in thread Thread-N (_readerthread):
9
+ UnicodeDecodeError: 'gbk' codec can't decode byte 0x82 in position 181
10
+
11
+ 两道防线(本守卫管第二道):
12
+ ① 运行期:桥子进程一律以 `PYTHONUTF8=1` 启动(PEP 540,默认 text 编码=utf-8);
13
+ 见 `src/lib/mdcg_client.ts` 的 `mdcgChildEnv()` 与 `test/python-utf8-mode.test.ts`。
14
+ ② 源码:**任何**文本模式子进程读取都必须显式声明 `encoding=`(配 `errors=`),
15
+ 不依赖 locale——脚本/工具也可能被非桥路径启动,那时没有 ① 的保护。
16
+
17
+ 判据(**AST 判定,非文本窗口**——2026-09-20 改进):以 `ast` 解析每个 git 跟踪的 .py,
18
+ 对**真实的调用节点**判定:
19
+ · 子进程调用 = `subprocess.<run|Popen|check_output|call|check_call|getoutput|getstatusoutput>`
20
+ (含 `import subprocess as sp` 与 `from subprocess import run` 两种别名形态)
21
+ · 文本模式 = 调用处出现 `text=<非 False>` / `universal_newlines=<非 False>` / `encoding=`
22
+ · 违例 = 文本模式却无 `encoding=` 实参;`**kwargs` 透传且**该调用确有管道**
23
+ (`capture_output` 或 stdout/stderr=PIPE)而无 `encoding=` 报「不可判定」——口径无法
24
+ 确认即不合格,须显式声明;`os.popen` 直接违例(该 API 无法声明编码)。
25
+ 注:DEVNULL/日志文件豁免**仅适用于 `**kwargs` 透传分支**(口径无法确认时的收敛:
26
+ 有管道才判);显式 `text=True` 时即使输出落 DEVNULL **仍判违例**——守卫的取向是
27
+ 「口径无法确认即不合格」,宁可保守(2026-09-20 v15-7 口径澄清:头注原写「输出落
28
+ DEVNULL/日志文件且无管道的 Popen 不判」未限定分支,与实现不符)。
29
+ > 之所以不用文本窗口:窗口会把**字符串字面量与文档样例**当调用(守卫曾因此自伤,
30
+ > 把自身源码里的 `"os.popen("` 字串判为违例)——AST 只认语法意义上的调用,无此缺陷。
31
+
32
+ 自检:被检查的文本模式调用点低于 FLOOR 视为失败——防止「扫描范围意外为空 → 假绿」。
33
+ """
34
+ from __future__ import annotations
35
+
36
+ import ast
37
+ import os
38
+ import subprocess
39
+ import sys
40
+
41
+ FLOOR = 12 # 本仓文本模式子进程调用点的下限(低于它说明扫描面失效了)
42
+ SUB_FUNCS = {"run", "Popen", "check_output", "call", "check_call",
43
+ "getoutput", "getstatusoutput"}
44
+ ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
45
+
46
+
47
+ # 生效条件:无入参;返回仓根下 git 跟踪的 .py 相对路径列表(git 不可用时返回 None,调用方据此跳过并说明)。
48
+ def _tracked_py() -> list[str] | None:
49
+ try:
50
+ r = subprocess.run(["git", "-C", ROOT, "ls-files", "*.py"],
51
+ capture_output=True, text=True,
52
+ encoding="utf-8", errors="replace")
53
+ except OSError:
54
+ return None
55
+ if r.returncode != 0:
56
+ return None
57
+ return [ln.strip() for ln in r.stdout.splitlines() if ln.strip()]
58
+
59
+
60
+ # 生效条件:v 为 ast 常量节点时按其布尔取反判定;非常量(变量/表达式)一律按 True 保守处理。
61
+ def _truthy(v: ast.AST | None) -> bool:
62
+ if isinstance(v, ast.Constant):
63
+ return bool(v.value)
64
+ return True
65
+
66
+
67
+ class _Scanner(ast.NodeVisitor):
68
+ """单文件扫描器:先收别名导入,再按 AST 调用节点判文本模式与 encoding 声明。"""
69
+
70
+ def __init__(self, rel: str, bad: list[str]) -> None:
71
+ self.rel = rel
72
+ self.bad = bad
73
+ self.sub_aliases: set[str] = set()
74
+ self.func_aliases: dict[str, str] = {}
75
+ self.checked = 0
76
+
77
+ def visit_Import(self, node: ast.Import) -> None:
78
+ for a in node.names:
79
+ if a.name == "subprocess":
80
+ self.sub_aliases.add(a.asname or "subprocess")
81
+ self.generic_visit(node)
82
+
83
+ def visit_ImportFrom(self, node: ast.ImportFrom) -> None:
84
+ if node.module == "subprocess":
85
+ for a in node.names:
86
+ if a.name in SUB_FUNCS:
87
+ self.func_aliases[a.asname or a.name] = a.name
88
+ self.generic_visit(node)
89
+
90
+ # 生效条件:node.func 为 subprocess.<func> / 别名 / os.popen 三种形态之一时返回 (kind, funcname),否则 None。
91
+ def _callee(self, node: ast.Call) -> tuple[str, str] | None:
92
+ f = node.func
93
+ if isinstance(f, ast.Attribute) and isinstance(f.value, ast.Name):
94
+ base = f.value.id
95
+ if base in self.sub_aliases and f.attr in SUB_FUNCS:
96
+ return ("subprocess", f.attr)
97
+ if base == "os" and f.attr == "popen":
98
+ return ("os", "popen")
99
+ if isinstance(f, ast.Name) and f.id in self.func_aliases:
100
+ return ("subprocess", self.func_aliases[f.id])
101
+ return None
102
+
103
+ # 生效条件:kws 为调用处关键字实参表;capture_output 为真或 stdout/stderr 取 PIPE 时返回 True(该调用确有管道)。
104
+ @staticmethod
105
+ def _piped(kws: dict[str, ast.AST]) -> bool:
106
+ if "capture_output" in kws and _truthy(kws.get("capture_output")):
107
+ return True
108
+ for key in ("stdout", "stderr"):
109
+ v = kws.get(key)
110
+ if isinstance(v, ast.Attribute) and v.attr == "PIPE":
111
+ return True
112
+ if isinstance(v, ast.Name) and v.id == "PIPE":
113
+ return True
114
+ return False
115
+
116
+ def visit_Call(self, node: ast.Call) -> None:
117
+ callee = self._callee(node)
118
+ if callee is not None:
119
+ kind, fname = callee
120
+ if kind == "os":
121
+ self.bad.append("%s:%d: os.popen(...)(该 API 无法声明编码,"
122
+ "改用 subprocess.run)" % (self.rel, node.lineno))
123
+ else:
124
+ kws = {k.arg: k.value for k in node.keywords if k.arg is not None}
125
+ has_star = any(k.arg is None for k in node.keywords)
126
+ text_mode = ("encoding" in kws
127
+ or ("text" in kws and _truthy(kws.get("text")))
128
+ or ("universal_newlines" in kws
129
+ and _truthy(kws.get("universal_newlines"))))
130
+ if text_mode:
131
+ self.checked += 1
132
+ if "encoding" not in kws:
133
+ self.bad.append(
134
+ "%s:%d: subprocess.%s(...) 文本模式未声明 encoding="
135
+ % (self.rel, node.lineno, fname))
136
+ elif has_star and self._piped(kws):
137
+ # **kwargs 透传且确有管道:口径不可判定(可能被调用方注入 text=True)→ 不合格。
138
+ # **kwargs 透传但无管道(输出落 DEVNULL/日志文件)不判——不经过解码器,无该缺陷面。
139
+ # 注意豁免**只管这一支**:显式 text=True 即使落 DEVNULL 也走上一支判违例(v15-7)。
140
+ self.bad.append(
141
+ "%s:%d: subprocess.%s(..., **kwargs) 无法确认编码口径,"
142
+ "须显式声明 encoding=" % (self.rel, node.lineno, fname))
143
+ self.generic_visit(node)
144
+
145
+
146
+ # 生效条件:无入参;扫描 git 跟踪的 .py 返回 (违例列表, 受检文本模式调用点数, git 可用性)。
147
+ def scan() -> tuple[list[str], int, bool]:
148
+ files = _tracked_py()
149
+ if files is None:
150
+ return [], 0, False
151
+ bad: list[str] = []
152
+ checked = 0
153
+ for rel in files:
154
+ path = os.path.join(ROOT, rel)
155
+ try:
156
+ with open(path, encoding="utf-8", errors="replace") as fh:
157
+ src = fh.read()
158
+ except OSError:
159
+ continue
160
+ try:
161
+ tree = ast.parse(src, filename=rel)
162
+ except SyntaxError:
163
+ bad.append("%s:0: 语法错误,无法 AST 判定(守卫拒绝在未解析文件上放行)" % rel)
164
+ continue
165
+ sc = _Scanner(rel, bad)
166
+ sc.visit(tree)
167
+ checked += sc.checked
168
+ return sorted(bad), checked, True
169
+
170
+
171
+ def main() -> int:
172
+ bad, checked, git_ok = scan()
173
+ if not git_ok:
174
+ print("SKIP:git 不可用,无法枚举跟踪文件(本守卫需要 git)")
175
+ return 0
176
+ print("受检文本模式子进程调用点:%d(下限 %d)" % (checked, FLOOR))
177
+ if bad:
178
+ print("✖ 不合格的文本模式调用点 %d 处:" % len(bad))
179
+ for b in bad:
180
+ print(" ", b)
181
+ print("修法:补 encoding=\"utf-8\", errors=\"replace\"(不依赖 locale)")
182
+ return 1
183
+ if checked < FLOOR:
184
+ print("✖ 受检调用点 %d < 下限 %d——扫描面失效(文件枚举/判据坏了),"
185
+ "不得视为通过" % (checked, FLOOR))
186
+ return 1
187
+ print("✔ 全部调用点均显式声明 encoding=(子进程文本解码不依赖 locale)")
188
+ return 0
189
+
190
+
191
+ if __name__ == "__main__":
192
+ sys.exit(main())