@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,412 +1,412 @@
1
- # -*- coding: utf-8 -*-
2
- """D_meta 结构性投影(边界压力向量)验证。
3
-
4
- 断言面:
5
- A 三代理口径:空库下界 / 逐代理公式复算 / 归一化上界 / **不合成单值**
6
- B 开关回退臂:MDCG_D_META=0 → 三值 0.0 + enabled=False + 加分退化 0
7
- C 双 D 落盘:reflect 落 d_meta / d_meta_delta(首条 None);_compute_d 零变更
8
- D 第五维 opt-in:默认不落键/不改 composite;显式启用才落键并同步 SORT_KEYS
9
- E 提案加分:只改 sort_score 与证据,不改 score、不改资格(无信号仍不提案)
10
- F explore 留痕 meta_outcomes(outcomes 契约不变)+ gain_gate 压力冷却分支
11
- G self_state:d_meta_trend 幂等 + 状态卡边界压力行
12
- H MCP 观测面:cg op=metacognition action=d_meta
13
- I tail_jsonl 原语边界(缺文件 / 窗口 ≤0 / 截断末行 / 尾部窗口等价)
14
-
15
- 理论:智能论3.4 §2.7.0 DEV-002/002a(D_task ≠ D_meta;不得加权合成单值)。
16
- 运行:python -m md_cg.test_d_meta
17
- """
18
- from __future__ import annotations
19
-
20
- import importlib
21
- import json
22
- import os
23
- import shutil
24
- import tempfile
25
-
26
- from . import autonomy, d_meta, mcp_server, metacognition, predict, self_state
27
- from .fsutil import append_jsonl
28
- from .mdcos import MdCGOS
29
-
30
- PASS = FAIL = 0
31
- FAILS = []
32
-
33
-
34
- def ok(cond, label):
35
- global PASS, FAIL
36
- if cond:
37
- PASS += 1
38
- else:
39
- FAIL += 1
40
- FAILS.append(label)
41
- print(f" FAIL {label}")
42
-
43
-
44
- def _sig(cg, t, query, d2, states):
45
- append_jsonl(cg.reflection_log,
46
- {"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
47
- "d_delta": 0.0, "d2": d2, "states": states,
48
- "n_results": 3, "feedback": None})
49
-
50
-
51
- def _root(tmp, name):
52
- r = os.path.join(tmp, name)
53
- os.makedirs(r, exist_ok=True)
54
- return r
55
-
56
-
57
- def main():
58
- tmp = tempfile.mkdtemp(prefix="mdcg_dmeta_")
59
- try:
60
- # ---------- A 三代理口径 ----------
61
- cg = MdCGOS(_root(tmp, "a"))
62
- v0 = d_meta.compute(cg)
63
- ok(v0["enabled"] is True and v0["window"] == d_meta.DEFAULT_WINDOW,
64
- "A1空库:enabled=True、window=200(总闸默认开启)")
65
- ok(all(v0[k] == 0.0 for k in d_meta.PROXY_KEYS),
66
- "A1b空库三代理取下界 0.0(无留痕即无压力,不编造)")
67
- ok(not any(k in v0 for k in ("d_meta", "composite", "value")),
68
- "A1c返回结构无单一 D_meta 数值键(DEV-002a 不合成单值)")
69
-
70
- for i in range(20):
71
- append_jsonl(cg.recent_log, {"i": i})
72
- for i in range(10):
73
- append_jsonl(autonomy._explore_log_path(cg), {"i": i, "bids": []})
74
- p_ev = d_meta.compute(cg)["events_pressure"]
75
- ok(abs(p_ev - round((20 + 10) / (2 * 200), 4)) < 1e-9,
76
- f"A2events_pressure 公式复算((20+10)/(2×200)={p_ev})")
77
-
78
- cg_full = MdCGOS(_root(tmp, "a_full"))
79
- for i in range(300):
80
- append_jsonl(cg_full.recent_log, {"i": i})
81
- append_jsonl(autonomy._explore_log_path(cg_full), {"i": i})
82
- ok(d_meta.compute(cg_full)["events_pressure"] == 1.0,
83
- "A2b两日志各满窗 → 上界 1.0(尾窗只取 window 条、不漏出 [0,1])")
84
-
85
- stock = d_meta._layer_stock(type("C", (), {"index": {"nodes": {
86
- "n1": {"layer": "rejected"}, "n2": {"layer": "unresolved"},
87
- "n3": {"layer": "knowledge"}}}})())
88
- ok(stock == 2, "A3_layer_stock 只计 rejected/unresolved 层(零正文 IO)")
89
- ug = d_meta.unmodeled_growth(2, {"total": 2,
90
- "states": {"BLINDSPOT": 1,
91
- "DEFER": 1}})
92
- ok(abs(ug - round(0.5 * (2 / d_meta.STOCK_FULL) + 0.5 * 1.0, 4))
93
- < 1e-9, f"A3bunmodeled_growth 公式复算({ug})")
94
- bv = d_meta.boundary_violation_rate({"total": 4, "states": {
95
- "REJECT": 1, "BLINDSPOT": 1, "ACCEPT": 2}})
96
- ok(bv == 0.5, "A3cboundary_violation_rate=(REJECT+BLINDSPOT)/全部")
97
- ok(d_meta.boundary_violation_rate({"total": 0, "states": {}}) == 0.0,
98
- "A3d空分布 → 0.0(不除零、不编造)")
99
-
100
- cat = d_meta.catalog()
101
- ok(len(d_meta.PROXY_KEYS) == 3
102
- and cat["default_proxy_for_single_value"] == "unmodeled_growth",
103
- "A4catalog 声明三代理 + 单值只允许指定单一代理")
104
- ok(any("不合成" in c for c in cat["constraints"]),
105
- "A4bcatalog 约束含「不合成单一 D_meta 数值」")
106
-
107
- ok(d_meta.pressure({}) == 0.0
108
- and d_meta.pressure({"unmodeled_growth": 1.7}) == 1.0
109
- and d_meta.pressure(v0) == 0.0,
110
- "A5pressure() 只取单一代理且裁剪到 [0,1](缺键/越界不炸)")
111
- ok(d_meta.pressure({"events_pressure": 0.3}) == 0.0,
112
- "A5bpressure() 默认代理为 unmodeled_growth(不跨代理兜底)")
113
- ok(d_meta.diff(None, v0) is None,
114
- "A6diff(无前值) → None(首条反思 delta 为 None)")
115
- dd = d_meta.diff({"unmodeled_growth": 0.1, "events_pressure": 0.4},
116
- {"unmodeled_growth": 0.35, "events_pressure": 0.4})
117
- ok(dd["unmodeled_growth"] == 0.25 and dd["events_pressure"] == 0.0,
118
- "A6bdiff 逐字段差(缺键按 0.0 处理)")
119
-
120
- # ---------- B 开关回退臂 ----------
121
- cg_b = MdCGOS(_root(tmp, "b"))
122
- for i in range(40):
123
- append_jsonl(cg_b.recent_log, {"i": i})
124
- _sig(cg_b, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
125
- on_v = d_meta.compute(cg_b)
126
- pr_on = autonomy.proposals(cg_b)
127
- os.environ["MDCG_D_META"] = "0"
128
- try:
129
- off_v = d_meta.compute(cg_b)
130
- pr_off = autonomy.proposals(cg_b)
131
- ok(off_v["enabled"] is False
132
- and all(off_v[k] == 0.0 for k in d_meta.PROXY_KEYS),
133
- "B1MDCG_D_META=0 → enabled=False、三代理恒 0.0(显式回退)")
134
- ok("已显式关闭" in off_v["note"],
135
- "B1b回退臂 note 声明关闭(回退留痕,不是缺键)")
136
- ok(on_v["enabled"] and on_v["events_pressure"] > 0.0,
137
- "B1c开启臂同库同数据压力 > 0(对照非空)")
138
- ok(pr_on["d_meta"]["bonus"] == round(
139
- autonomy.W_DMETA * d_meta.pressure(on_v), 4),
140
- "B2开启臂提案加分 = W_DMETA×单代理压力")
141
- ok(pr_off["d_meta"]["bonus"] == 0.0
142
- and pr_off["proposals"][0]["d_meta_bonus"] == 0.0,
143
- "B2b回退臂加分退化 0(回到旧排序)")
144
- ok(pr_off["proposals"][0]["sort_score"]
145
- == pr_off["proposals"][0]["score"],
146
- "B2c回退臂 sort_score == score(逐位回到 ΔD 定价)")
147
- finally:
148
- os.environ.pop("MDCG_D_META", None)
149
- ok(d_meta.compute(cg_b)["enabled"] is True,
150
- "B3删除环境变量后总闸自动回到开启(默认开启)")
151
-
152
- # ---------- C 双 D 落盘 ----------
153
- cg_c = MdCGOS(_root(tmp, "c"))
154
- r1 = cg_c.reflect("反应堆冷却方案", [])
155
- ok(set(r1.get("d_meta") or {}) == set(d_meta.PROXY_KEYS),
156
- "C1reflect 落 d_meta 三代理键")
157
- ok(r1.get("d_meta_delta") is None,
158
- "C1b首条反思 d_meta_delta=None(无前值不编造差)")
159
- ok(r1["d_curr"] == 1.0, "C1cresults 为空 → D_task 仍取 1.0(口径零变更)")
160
- append_jsonl(cg_c.recent_log, {"i": 1})
161
- r2 = cg_c.reflect("反应堆冷却方案",
162
- [("d1", 1, {"state": "ACCEPT"}),
163
- ("d2", 0, {"state": "ACCEPT"})])
164
- ok(r2["d_curr"] == 0.5,
165
- "C2_compute_d 既有口径不变(1 − 1/2 = 0.5)")
166
- ok(r2["d_meta_delta"] is not None
167
- and r2["d_meta_delta"]["events_pressure"]
168
- == round(r2["d_meta"]["events_pressure"]
169
- - r1["d_meta"]["events_pressure"], 4),
170
- "C2bd_meta_delta = 与上一条反思的逐字段差")
171
- recs = cg_c.last_d_records()
172
- ok(len(recs) == 2 and all(0.0 <= recs[-1]["d_meta"][k] <= 1.0
173
- for k in d_meta.PROXY_KEYS),
174
- "C2c落盘 d_meta 三代理均在 [0,1]")
175
- os.environ["MDCG_D_META"] = "0"
176
- try:
177
- r3 = cg_c.reflect("反应堆冷却方案", [])
178
- ok(all(r3["d_meta"][k] == 0.0 for k in d_meta.PROXY_KEYS)
179
- and r3["d_meta_delta"] is None,
180
- "C3关闭臂 reflect:d_meta 恒 0.0 且 delta=None(回退可审计)")
181
- finally:
182
- os.environ.pop("MDCG_D_META", None)
183
-
184
- # ---------- D 第五维 opt-in ----------
185
- cg_d = MdCGOS(_root(tmp, "d"))
186
- route = {"confidence": 0.5, "path": []}
187
- sc_off = predict.score_route(cg_d, route, verification=0.5)
188
- ok("meta_pressure" not in sc_off
189
- and len(predict.SORT_KEYS) == 5,
190
- "D1默认(W_META=0)不落 meta_pressure 键、SORT_KEYS 不扩张")
191
- ok(set(sc_off) == {"trend", "boundary", "verification", "balance",
192
- "composite", "weights"},
193
- "D1b默认返回键集合与四维时代逐字节一致")
194
- ok("meta_pressure" not in predict.catalog()["weights"],
195
- "D1ccatalog().weights 默认仍为四维(防文档漂移)")
196
- os.environ["PREDICTION_META_DIM"] = "0.2"
197
- os.environ["PREDICTION_META_PROXY"] = "unmodeled_growth"
198
- try:
199
- pred_on = importlib.reload(predict)
200
- sc_on = pred_on.score_route(cg_d, route, verification=0.5)
201
- mp = sc_on["meta_pressure"]
202
- ok("meta_pressure" in sc_on
203
- and "meta_pressure" in pred_on.SORT_KEYS,
204
- "D2启用(PREDICTION_META_DIM=0.2)落键并同步 SORT_KEYS")
205
- ok("meta_pressure" in pred_on.catalog()["weights"],
206
- "D2bcatalog().weights 同步扩张(自描述不漂移)")
207
- ok(abs(sc_on["composite"]
208
- - round(sc_off["composite"] + 0.2 * mp, 4)) < 1e-9,
209
- "D2ccomposite = 四维 + W_META×单代理(仍不做三代理加权)")
210
- finally:
211
- os.environ.pop("PREDICTION_META_DIM", None)
212
- os.environ.pop("PREDICTION_META_PROXY", None)
213
- pred_back = importlib.reload(predict)
214
- sc_back = pred_back.score_route(cg_d, route, verification=0.5)
215
- ok("meta_pressure" not in sc_back and len(pred_back.SORT_KEYS) == 5,
216
- "D3移除环境变量并重载 → 回到四维、键不落(可回退)")
217
-
218
- # ---------- E 提案加分只影响排序 ----------
219
- cg_e = MdCGOS(_root(tmp, "e"))
220
- for i in range(30):
221
- append_jsonl(cg_e.recent_log, {"i": i})
222
- _sig(cg_e, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
223
- _sig(cg_e, 2.0, "周末菜单", 0.05, {})
224
- _sig(cg_e, 3.0, "零信号查询", 0.0, {})
225
- pr_e = autonomy.proposals(cg_e, limit=5)
226
- ps = pr_e["proposals"]
227
- p0 = ps[0]
228
- ok(pr_e["n_signals"] == 3 and len(ps) == 2,
229
- "E1零信号查询不进提案(资格判据先于加分,不编造)")
230
- raw = (autonomy.W_D2 * p0["d2_abs"]
231
- + autonomy.W_BLINDSPOT * p0["blindspot"]
232
- + autonomy.W_DEFER * p0["defer"])
233
- ok(p0["score"] == round(raw, 4),
234
- "E1bscore 仍是纯 ΔD 定价(口径零变更)")
235
- ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4),
236
- "E1csort_score = score + D_meta 加分(加分只进排序键)")
237
- ok("D_meta" in p0["reason"] and "不合成" in p0["reason"],
238
- "E1dreason 追加 D_meta 证据且声明不合成(可审计)")
239
- ok("d2" in p0["reason"] and "BLINDSPOT" in p0["reason"],
240
- "E1ereason 保留 d2/BLINDSPOT 既有子串(契约不破)")
241
- ok(pr_e["d_meta"]["proxy"] == autonomy.DMETA_PROXY
242
- and pr_e["d_meta"]["bonus"] == p0["d_meta_bonus"],
243
- "E2每轮一次计算、循环内复用(各提案加分同值)")
244
- os.environ["MDCG_D_META"] = "0"
245
- try:
246
- pr_e_off = autonomy.proposals(cg_e, limit=5)
247
- ok([x["sort_score"] for x in pr_e_off["proposals"]]
248
- == [x["score"] for x in pr_e_off["proposals"]],
249
- "E3关闭臂:sort_score 退化回 score(旧排序逐位一致)")
250
- finally:
251
- os.environ.pop("MDCG_D_META", None)
252
-
253
- # ---------- F explore 留痕 + gain_gate 压力冷却 ----------
254
- cg_f = MdCGOS(_root(tmp, "f"))
255
- cg_f.add("k1", "# 功能名:反应堆冷却知识\n"
256
- "# 生效条件:问反应堆冷却方案\n"
257
- "# 子功能:知识片段\n"
258
- "# 执行:陈述知识\n"
259
- "# 验证方式:test\n"
260
- "# 不适用条件:无\n"
261
- "反应堆冷却方案概述。\n",
262
- layer="knowledge", verification_basis="test")
263
- _sig(cg_f, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
264
- autonomy.explore(cg_f, actor="test")
265
- autonomy.explore(cg_f, actor="test")
266
- with open(autonomy._explore_log_path(cg_f), encoding="utf-8") as fh:
267
- recs_f = [json.loads(x) for x in fh if x.strip()]
268
- mo = recs_f[-1].get("meta_outcomes") or {}
269
- ok(set(mo.get("before") or {}) == set(d_meta.PROXY_KEYS)
270
- and mo.get("proxy") == autonomy.DMETA_PROXY,
271
- "F1explore 留痕 meta_outcomes.before 三代理齐备")
272
- ok(mo.get("delta") is not None,
273
- "F1b第二轮 delta 非 None(跨轮压力增量 → gain_gate 输入)")
274
- ok(all(isinstance(v, str)
275
- for v in (recs_f[-1].get("outcomes") or {}).values()),
276
- "F2outcomes 值仍为终态字符串(契约不变,停滞集比对不失效)")
277
- ok(JSON_KEYS_UNCHANGED(recs_f[-1]),
278
- "F2bmata_outcomes 与 outcomes 并列,未覆盖既有键")
279
-
280
- bid = metacognition._key("反应堆冷却方案")
281
- cg_g = MdCGOS(_root(tmp, "g"))
282
- for i, tml in enumerate(["carried", "carried"]):
283
- append_jsonl(autonomy._explore_log_path(cg_g),
284
- {"type": "explore", "t": 1000.0 + i,
285
- "actor": "test", "outcomes": {bid: tml},
286
- "bids": [bid],
287
- "meta_outcomes": {"delta": {"unmodeled_growth": 0.2},
288
- "proxy": autonomy.DMETA_PROXY}})
289
- g_pressure = autonomy.gain_gate(cg_g, bid, now=1000.0 + 3600.0 + 10.0)
290
- ok(g_pressure["sigma"] == 0.0 and g_pressure["gain"] == 0
291
- and "UNDER_PRESSURE" in g_pressure["reason"],
292
- "F3终态停滞 + 压力仍扩大 → 冷却过期也不放行(新分支)")
293
- ok(g_pressure.get("meta_rising") is True,
294
- "F3b新分支留痕 meta_rising=True(可审计)")
295
-
296
- cg_h = MdCGOS(_root(tmp, "h"))
297
- for i, tml in enumerate(["carried", "carried"]):
298
- append_jsonl(autonomy._explore_log_path(cg_h),
299
- {"type": "explore", "t": 1000.0 + i,
300
- "actor": "test", "outcomes": {bid: tml},
301
- "bids": [bid]})
302
- g_plain = autonomy.gain_gate(cg_h, bid, now=1000.0 + 3600.0 + 10.0)
303
- ok(g_plain["sigma"] == 1.0,
304
- "F4缺 meta_outcomes 键 → 新分支不触发(冷却过期照旧放行)")
305
- g_cool = autonomy.gain_gate(cg_h, bid, now=1000.5)
306
- ok(g_cool["sigma"] == 0.0 and "DEFER_EXHAUSTED" in g_cool["reason"],
307
- "F4b既有 ② 冷却内口径逐字保持(DEFER_EXHAUSTED)")
308
- cg_i = MdCGOS(_root(tmp, "i"))
309
- for i, tml in enumerate(["carried", "carried"]):
310
- append_jsonl(autonomy._explore_log_path(cg_i),
311
- {"type": "explore", "t": 1000.0 + i,
312
- "actor": "test", "outcomes": {bid: tml}, "bids": [bid],
313
- "meta_outcomes": {"delta": {"unmodeled_growth": 0.0}}})
314
- ok(autonomy.gain_gate(cg_i, bid,
315
- now=1000.0 + 3600.0 + 10.0)["sigma"] == 1.0,
316
- "F4c压力未扩大(delta=0)→ 不放行条件不成立(只在上升时冷却)")
317
-
318
- # ---------- G self_state 边界压力趋势 ----------
319
- cg_j = MdCGOS(_root(tmp, "j"))
320
- pf_empty = self_state._prediction_face(cg_j)
321
- ok("d_meta_trend" in pf_empty
322
- and isinstance(pf_empty["d_meta_trend"], float),
323
- "G1空留痕:d_meta_trend 回落当前单代理值(float,不编造)")
324
- append_jsonl(cg_j.reflection_log,
325
- {"t": 1.0, "query": "q1", "d_curr": 1.0, "d2": 0.1,
326
- "states": {}, "n_results": 1,
327
- "d_meta": {"events_pressure": 0.0,
328
- "unmodeled_growth": 0.20,
329
- "boundary_violation_rate": 0.0}})
330
- append_jsonl(cg_j.reflection_log,
331
- {"t": 2.0, "query": "q2", "d_curr": 1.0, "d2": 0.1,
332
- "states": {}, "n_results": 1,
333
- "d_meta": {"events_pressure": 0.0,
334
- "unmodeled_growth": 0.40,
335
- "boundary_violation_rate": 0.0}})
336
- t1 = self_state._prediction_face(cg_j)["d_meta_trend"]
337
- t2 = self_state._prediction_face(cg_j)["d_meta_trend"]
338
- ok(t1 == 0.3 and t1 == t2,
339
- "G1bd_meta_trend = 近窗口均值(0.2/0.4 → 0.3)且幂等")
340
- card_in = {"subject": "self:test", "information_gap": {}, "trust": {},
341
- "short_term": {}, "emotion": "unknown", "affect": "unknown",
342
- "importance_self": 1.0, "important_refs": [], "relations": {},
343
- "identity_ref": None, "identity_anchors": 0,
344
- "dimensions": {}, "state_ts": 1.0, "state_version": 1,
345
- "prediction": {"d_meta_trend": t1, "hit_rate": None,
346
- "samples": 0, "threshold": None,
347
- "reflect": False, "beta_mean": None,
348
- "beta_ci95": None, "ece": None,
349
- "calibration": None}}
350
- body = self_state._render(card_in)
351
- ok("D_meta" in body and "边界压力趋势" in body
352
- and str(t1) in body,
353
- "G2状态卡新增边界压力行(人可读观测面,含趋势值)")
354
- self_state.refresh(cg_j, force=True)
355
- r_b = self_state.refresh(cg_j)
356
- ok(r_b.get("changed") is False,
357
- "G2brefresh 幂等:无变化刷新 changed=False(不破 B1/B2/B3)")
358
-
359
- # ---------- H MCP 观测面 ----------
360
- out = mcp_server._metacognition_call(cg_j, {"action": "d_meta"})
361
- ok(set(d_meta.PROXY_KEYS) <= set(out) and "enabled" in out,
362
- "H1cg op=metacognition action=d_meta 返回三代理向量")
363
- ok(out["note"] == metacognition.d_meta_face(cg_j)["note"]
364
- or set(out) == set(metacognition.d_meta_face(cg_j)),
365
- "H1b与 metacognition.d_meta_face 同源(单一实现)")
366
- wrap = cg_j.metacognition_d_meta(window=50)
367
- ok(set(wrap) == set(out) and wrap["window"] == 50,
368
- "H2mdcos 包装 metacognition_d_meta(window) 等价可用")
369
- ok("d_meta" in (metacognition.catalog().get("faces") or []),
370
- "H2bcatalog 观测面清单含 d_meta")
371
- try:
372
- mcp_server._metacognition_call(cg_j, {"action": "no_such_action"})
373
- ok(False, "H3未知 action 应抛 ValueError")
374
- except ValueError:
375
- ok(True, "H3未知 action 仍抛 ValueError(分派失败闭锁)")
376
-
377
- # ---------- I tail_jsonl 原语边界 ----------
378
- p = os.path.join(tmp, "tail.jsonl")
379
- ok(d_meta.tail_jsonl(os.path.join(tmp, "nope.jsonl"), 5) == [],
380
- "I1文件缺失 → [](不抛异常)")
381
- with open(p, "w", encoding="utf-8") as fh:
382
- fh.write("\n".join(json.dumps({"i": i}) for i in range(300)) + "\n")
383
- ok(d_meta.tail_jsonl(p, 0) == [], "I1bwindow<=0 → [](无越界读取)")
384
- ok([r["i"] for r in d_meta.tail_jsonl(p, 3)] == [297, 298, 299],
385
- "I2尾部窗口取末 3 条(与全量末 3 条一致)")
386
- with open(p, "w", encoding="utf-8") as fh:
387
- fh.write('{"i":1}\n{"i":2}\n{"i":3') # 末行截断
388
- ok(len(d_meta.tail_jsonl(p, 50)) == 2,
389
- "I2b截断末行被丢弃(不猜内容,与 read_jsonl 同语义)")
390
- with open(p, "w", encoding="utf-8") as fh:
391
- fh.write('{"i":1}\n{"i":2}') # 末行无换行但完整
392
- ok(len(d_meta.tail_jsonl(p, 50)) == 2,
393
- "I2c末行完整但无换行仍计入(写者未落换行不等于坏行)")
394
- finally:
395
- shutil.rmtree(tmp, ignore_errors=True)
396
-
397
- print(f"\nd_meta: {PASS} passed, {FAIL} failed")
398
- if FAILS:
399
- for f in FAILS:
400
- print(f" - {f}")
401
- raise SystemExit(1 if FAIL else 0)
402
-
403
-
404
- def JSON_KEYS_UNCHANGED(rec):
405
- """explore 留痕既有键集合未被本次改动删除(契约守卫)。"""
406
- need = {"type", "t", "actor", "apply", "n_proposals", "bids", "outcomes",
407
- "bypass_gain", "gain_deferred"}
408
- return need <= set(rec)
409
-
410
-
411
- if __name__ == "__main__":
412
- main()
1
+ # -*- coding: utf-8 -*-
2
+ """D_meta 结构性投影(边界压力向量)验证。
3
+
4
+ 断言面:
5
+ A 三代理口径:空库下界 / 逐代理公式复算 / 归一化上界 / **不合成单值**
6
+ B 开关回退臂:MDCG_D_META=0 → 三值 0.0 + enabled=False + 加分退化 0
7
+ C 双 D 落盘:reflect 落 d_meta / d_meta_delta(首条 None);_compute_d 零变更
8
+ D 第五维 opt-in:默认不落键/不改 composite;显式启用才落键并同步 SORT_KEYS
9
+ E 提案加分:只改 sort_score 与证据,不改 score、不改资格(无信号仍不提案)
10
+ F explore 留痕 meta_outcomes(outcomes 契约不变)+ gain_gate 压力冷却分支
11
+ G self_state:d_meta_trend 幂等 + 状态卡边界压力行
12
+ H MCP 观测面:cg op=metacognition action=d_meta
13
+ I tail_jsonl 原语边界(缺文件 / 窗口 ≤0 / 截断末行 / 尾部窗口等价)
14
+
15
+ 理论:智能论3.4 §2.7.0 DEV-002/002a(D_task ≠ D_meta;不得加权合成单值)。
16
+ 运行:python -m md_cg.test_d_meta
17
+ """
18
+ from __future__ import annotations
19
+
20
+ import importlib
21
+ import json
22
+ import os
23
+ import shutil
24
+ import tempfile
25
+
26
+ from . import autonomy, d_meta, mcp_server, metacognition, predict, self_state
27
+ from .fsutil import append_jsonl
28
+ from .mdcos import MdCGOS
29
+
30
+ PASS = FAIL = 0
31
+ FAILS = []
32
+
33
+
34
+ def ok(cond, label):
35
+ global PASS, FAIL
36
+ if cond:
37
+ PASS += 1
38
+ else:
39
+ FAIL += 1
40
+ FAILS.append(label)
41
+ print(f" FAIL {label}")
42
+
43
+
44
+ def _sig(cg, t, query, d2, states):
45
+ append_jsonl(cg.reflection_log,
46
+ {"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
47
+ "d_delta": 0.0, "d2": d2, "states": states,
48
+ "n_results": 3, "feedback": None})
49
+
50
+
51
+ def _root(tmp, name):
52
+ r = os.path.join(tmp, name)
53
+ os.makedirs(r, exist_ok=True)
54
+ return r
55
+
56
+
57
+ def main():
58
+ tmp = tempfile.mkdtemp(prefix="mdcg_dmeta_")
59
+ try:
60
+ # ---------- A 三代理口径 ----------
61
+ cg = MdCGOS(_root(tmp, "a"))
62
+ v0 = d_meta.compute(cg)
63
+ ok(v0["enabled"] is True and v0["window"] == d_meta.DEFAULT_WINDOW,
64
+ "A1空库:enabled=True、window=200(总闸默认开启)")
65
+ ok(all(v0[k] == 0.0 for k in d_meta.PROXY_KEYS),
66
+ "A1b空库三代理取下界 0.0(无留痕即无压力,不编造)")
67
+ ok(not any(k in v0 for k in ("d_meta", "composite", "value")),
68
+ "A1c返回结构无单一 D_meta 数值键(DEV-002a 不合成单值)")
69
+
70
+ for i in range(20):
71
+ append_jsonl(cg.recent_log, {"i": i})
72
+ for i in range(10):
73
+ append_jsonl(autonomy._explore_log_path(cg), {"i": i, "bids": []})
74
+ p_ev = d_meta.compute(cg)["events_pressure"]
75
+ ok(abs(p_ev - round((20 + 10) / (2 * 200), 4)) < 1e-9,
76
+ f"A2events_pressure 公式复算((20+10)/(2×200)={p_ev})")
77
+
78
+ cg_full = MdCGOS(_root(tmp, "a_full"))
79
+ for i in range(300):
80
+ append_jsonl(cg_full.recent_log, {"i": i})
81
+ append_jsonl(autonomy._explore_log_path(cg_full), {"i": i})
82
+ ok(d_meta.compute(cg_full)["events_pressure"] == 1.0,
83
+ "A2b两日志各满窗 → 上界 1.0(尾窗只取 window 条、不漏出 [0,1])")
84
+
85
+ stock = d_meta._layer_stock(type("C", (), {"index": {"nodes": {
86
+ "n1": {"layer": "rejected"}, "n2": {"layer": "unresolved"},
87
+ "n3": {"layer": "knowledge"}}}})())
88
+ ok(stock == 2, "A3_layer_stock 只计 rejected/unresolved 层(零正文 IO)")
89
+ ug = d_meta.unmodeled_growth(2, {"total": 2,
90
+ "states": {"BLINDSPOT": 1,
91
+ "DEFER": 1}})
92
+ ok(abs(ug - round(0.5 * (2 / d_meta.STOCK_FULL) + 0.5 * 1.0, 4))
93
+ < 1e-9, f"A3bunmodeled_growth 公式复算({ug})")
94
+ bv = d_meta.boundary_violation_rate({"total": 4, "states": {
95
+ "REJECT": 1, "BLINDSPOT": 1, "ACCEPT": 2}})
96
+ ok(bv == 0.5, "A3cboundary_violation_rate=(REJECT+BLINDSPOT)/全部")
97
+ ok(d_meta.boundary_violation_rate({"total": 0, "states": {}}) == 0.0,
98
+ "A3d空分布 → 0.0(不除零、不编造)")
99
+
100
+ cat = d_meta.catalog()
101
+ ok(len(d_meta.PROXY_KEYS) == 3
102
+ and cat["default_proxy_for_single_value"] == "unmodeled_growth",
103
+ "A4catalog 声明三代理 + 单值只允许指定单一代理")
104
+ ok(any("不合成" in c for c in cat["constraints"]),
105
+ "A4bcatalog 约束含「不合成单一 D_meta 数值」")
106
+
107
+ ok(d_meta.pressure({}) == 0.0
108
+ and d_meta.pressure({"unmodeled_growth": 1.7}) == 1.0
109
+ and d_meta.pressure(v0) == 0.0,
110
+ "A5pressure() 只取单一代理且裁剪到 [0,1](缺键/越界不炸)")
111
+ ok(d_meta.pressure({"events_pressure": 0.3}) == 0.0,
112
+ "A5bpressure() 默认代理为 unmodeled_growth(不跨代理兜底)")
113
+ ok(d_meta.diff(None, v0) is None,
114
+ "A6diff(无前值) → None(首条反思 delta 为 None)")
115
+ dd = d_meta.diff({"unmodeled_growth": 0.1, "events_pressure": 0.4},
116
+ {"unmodeled_growth": 0.35, "events_pressure": 0.4})
117
+ ok(dd["unmodeled_growth"] == 0.25 and dd["events_pressure"] == 0.0,
118
+ "A6bdiff 逐字段差(缺键按 0.0 处理)")
119
+
120
+ # ---------- B 开关回退臂 ----------
121
+ cg_b = MdCGOS(_root(tmp, "b"))
122
+ for i in range(40):
123
+ append_jsonl(cg_b.recent_log, {"i": i})
124
+ _sig(cg_b, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
125
+ on_v = d_meta.compute(cg_b)
126
+ pr_on = autonomy.proposals(cg_b)
127
+ os.environ["MDCG_D_META"] = "0"
128
+ try:
129
+ off_v = d_meta.compute(cg_b)
130
+ pr_off = autonomy.proposals(cg_b)
131
+ ok(off_v["enabled"] is False
132
+ and all(off_v[k] == 0.0 for k in d_meta.PROXY_KEYS),
133
+ "B1MDCG_D_META=0 → enabled=False、三代理恒 0.0(显式回退)")
134
+ ok("已显式关闭" in off_v["note"],
135
+ "B1b回退臂 note 声明关闭(回退留痕,不是缺键)")
136
+ ok(on_v["enabled"] and on_v["events_pressure"] > 0.0,
137
+ "B1c开启臂同库同数据压力 > 0(对照非空)")
138
+ ok(pr_on["d_meta"]["bonus"] == round(
139
+ autonomy.W_DMETA * d_meta.pressure(on_v), 4),
140
+ "B2开启臂提案加分 = W_DMETA×单代理压力")
141
+ ok(pr_off["d_meta"]["bonus"] == 0.0
142
+ and pr_off["proposals"][0]["d_meta_bonus"] == 0.0,
143
+ "B2b回退臂加分退化 0(回到旧排序)")
144
+ ok(pr_off["proposals"][0]["sort_score"]
145
+ == pr_off["proposals"][0]["score"],
146
+ "B2c回退臂 sort_score == score(逐位回到 ΔD 定价)")
147
+ finally:
148
+ os.environ.pop("MDCG_D_META", None)
149
+ ok(d_meta.compute(cg_b)["enabled"] is True,
150
+ "B3删除环境变量后总闸自动回到开启(默认开启)")
151
+
152
+ # ---------- C 双 D 落盘 ----------
153
+ cg_c = MdCGOS(_root(tmp, "c"))
154
+ r1 = cg_c.reflect("反应堆冷却方案", [])
155
+ ok(set(r1.get("d_meta") or {}) == set(d_meta.PROXY_KEYS),
156
+ "C1reflect 落 d_meta 三代理键")
157
+ ok(r1.get("d_meta_delta") is None,
158
+ "C1b首条反思 d_meta_delta=None(无前值不编造差)")
159
+ ok(r1["d_curr"] == 1.0, "C1cresults 为空 → D_task 仍取 1.0(口径零变更)")
160
+ append_jsonl(cg_c.recent_log, {"i": 1})
161
+ r2 = cg_c.reflect("反应堆冷却方案",
162
+ [("d1", 1, {"state": "ACCEPT"}),
163
+ ("d2", 0, {"state": "ACCEPT"})])
164
+ ok(r2["d_curr"] == 0.5,
165
+ "C2_compute_d 既有口径不变(1 − 1/2 = 0.5)")
166
+ ok(r2["d_meta_delta"] is not None
167
+ and r2["d_meta_delta"]["events_pressure"]
168
+ == round(r2["d_meta"]["events_pressure"]
169
+ - r1["d_meta"]["events_pressure"], 4),
170
+ "C2bd_meta_delta = 与上一条反思的逐字段差")
171
+ recs = cg_c.last_d_records()
172
+ ok(len(recs) == 2 and all(0.0 <= recs[-1]["d_meta"][k] <= 1.0
173
+ for k in d_meta.PROXY_KEYS),
174
+ "C2c落盘 d_meta 三代理均在 [0,1]")
175
+ os.environ["MDCG_D_META"] = "0"
176
+ try:
177
+ r3 = cg_c.reflect("反应堆冷却方案", [])
178
+ ok(all(r3["d_meta"][k] == 0.0 for k in d_meta.PROXY_KEYS)
179
+ and r3["d_meta_delta"] is None,
180
+ "C3关闭臂 reflect:d_meta 恒 0.0 且 delta=None(回退可审计)")
181
+ finally:
182
+ os.environ.pop("MDCG_D_META", None)
183
+
184
+ # ---------- D 第五维 opt-in ----------
185
+ cg_d = MdCGOS(_root(tmp, "d"))
186
+ route = {"confidence": 0.5, "path": []}
187
+ sc_off = predict.score_route(cg_d, route, verification=0.5)
188
+ ok("meta_pressure" not in sc_off
189
+ and len(predict.SORT_KEYS) == 5,
190
+ "D1默认(W_META=0)不落 meta_pressure 键、SORT_KEYS 不扩张")
191
+ ok(set(sc_off) == {"trend", "boundary", "verification", "balance",
192
+ "composite", "weights"},
193
+ "D1b默认返回键集合与四维时代逐字节一致")
194
+ ok("meta_pressure" not in predict.catalog()["weights"],
195
+ "D1ccatalog().weights 默认仍为四维(防文档漂移)")
196
+ os.environ["PREDICTION_META_DIM"] = "0.2"
197
+ os.environ["PREDICTION_META_PROXY"] = "unmodeled_growth"
198
+ try:
199
+ pred_on = importlib.reload(predict)
200
+ sc_on = pred_on.score_route(cg_d, route, verification=0.5)
201
+ mp = sc_on["meta_pressure"]
202
+ ok("meta_pressure" in sc_on
203
+ and "meta_pressure" in pred_on.SORT_KEYS,
204
+ "D2启用(PREDICTION_META_DIM=0.2)落键并同步 SORT_KEYS")
205
+ ok("meta_pressure" in pred_on.catalog()["weights"],
206
+ "D2bcatalog().weights 同步扩张(自描述不漂移)")
207
+ ok(abs(sc_on["composite"]
208
+ - round(sc_off["composite"] + 0.2 * mp, 4)) < 1e-9,
209
+ "D2ccomposite = 四维 + W_META×单代理(仍不做三代理加权)")
210
+ finally:
211
+ os.environ.pop("PREDICTION_META_DIM", None)
212
+ os.environ.pop("PREDICTION_META_PROXY", None)
213
+ pred_back = importlib.reload(predict)
214
+ sc_back = pred_back.score_route(cg_d, route, verification=0.5)
215
+ ok("meta_pressure" not in sc_back and len(pred_back.SORT_KEYS) == 5,
216
+ "D3移除环境变量并重载 → 回到四维、键不落(可回退)")
217
+
218
+ # ---------- E 提案加分只影响排序 ----------
219
+ cg_e = MdCGOS(_root(tmp, "e"))
220
+ for i in range(30):
221
+ append_jsonl(cg_e.recent_log, {"i": i})
222
+ _sig(cg_e, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
223
+ _sig(cg_e, 2.0, "周末菜单", 0.05, {})
224
+ _sig(cg_e, 3.0, "零信号查询", 0.0, {})
225
+ pr_e = autonomy.proposals(cg_e, limit=5)
226
+ ps = pr_e["proposals"]
227
+ p0 = ps[0]
228
+ ok(pr_e["n_signals"] == 3 and len(ps) == 2,
229
+ "E1零信号查询不进提案(资格判据先于加分,不编造)")
230
+ raw = (autonomy.W_D2 * p0["d2_abs"]
231
+ + autonomy.W_BLINDSPOT * p0["blindspot"]
232
+ + autonomy.W_DEFER * p0["defer"])
233
+ ok(p0["score"] == round(raw, 4),
234
+ "E1bscore 仍是纯 ΔD 定价(口径零变更)")
235
+ ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4),
236
+ "E1csort_score = score + D_meta 加分(加分只进排序键)")
237
+ ok("D_meta" in p0["reason"] and "不合成" in p0["reason"],
238
+ "E1dreason 追加 D_meta 证据且声明不合成(可审计)")
239
+ ok("d2" in p0["reason"] and "BLINDSPOT" in p0["reason"],
240
+ "E1ereason 保留 d2/BLINDSPOT 既有子串(契约不破)")
241
+ ok(pr_e["d_meta"]["proxy"] == autonomy.DMETA_PROXY
242
+ and pr_e["d_meta"]["bonus"] == p0["d_meta_bonus"],
243
+ "E2每轮一次计算、循环内复用(各提案加分同值)")
244
+ os.environ["MDCG_D_META"] = "0"
245
+ try:
246
+ pr_e_off = autonomy.proposals(cg_e, limit=5)
247
+ ok([x["sort_score"] for x in pr_e_off["proposals"]]
248
+ == [x["score"] for x in pr_e_off["proposals"]],
249
+ "E3关闭臂:sort_score 退化回 score(旧排序逐位一致)")
250
+ finally:
251
+ os.environ.pop("MDCG_D_META", None)
252
+
253
+ # ---------- F explore 留痕 + gain_gate 压力冷却 ----------
254
+ cg_f = MdCGOS(_root(tmp, "f"))
255
+ cg_f.add("k1", "# 功能名:反应堆冷却知识\n"
256
+ "# 生效条件:问反应堆冷却方案\n"
257
+ "# 子功能:知识片段\n"
258
+ "# 执行:陈述知识\n"
259
+ "# 验证方式:test\n"
260
+ "# 不适用条件:无\n"
261
+ "反应堆冷却方案概述。\n",
262
+ layer="knowledge", verification_basis="test")
263
+ _sig(cg_f, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
264
+ autonomy.explore(cg_f, actor="test")
265
+ autonomy.explore(cg_f, actor="test")
266
+ with open(autonomy._explore_log_path(cg_f), encoding="utf-8") as fh:
267
+ recs_f = [json.loads(x) for x in fh if x.strip()]
268
+ mo = recs_f[-1].get("meta_outcomes") or {}
269
+ ok(set(mo.get("before") or {}) == set(d_meta.PROXY_KEYS)
270
+ and mo.get("proxy") == autonomy.DMETA_PROXY,
271
+ "F1explore 留痕 meta_outcomes.before 三代理齐备")
272
+ ok(mo.get("delta") is not None,
273
+ "F1b第二轮 delta 非 None(跨轮压力增量 → gain_gate 输入)")
274
+ ok(all(isinstance(v, str)
275
+ for v in (recs_f[-1].get("outcomes") or {}).values()),
276
+ "F2outcomes 值仍为终态字符串(契约不变,停滞集比对不失效)")
277
+ ok(JSON_KEYS_UNCHANGED(recs_f[-1]),
278
+ "F2bmata_outcomes 与 outcomes 并列,未覆盖既有键")
279
+
280
+ bid = metacognition._key("反应堆冷却方案")
281
+ cg_g = MdCGOS(_root(tmp, "g"))
282
+ for i, tml in enumerate(["carried", "carried"]):
283
+ append_jsonl(autonomy._explore_log_path(cg_g),
284
+ {"type": "explore", "t": 1000.0 + i,
285
+ "actor": "test", "outcomes": {bid: tml},
286
+ "bids": [bid],
287
+ "meta_outcomes": {"delta": {"unmodeled_growth": 0.2},
288
+ "proxy": autonomy.DMETA_PROXY}})
289
+ g_pressure = autonomy.gain_gate(cg_g, bid, now=1000.0 + 3600.0 + 10.0)
290
+ ok(g_pressure["sigma"] == 0.0 and g_pressure["gain"] == 0
291
+ and "UNDER_PRESSURE" in g_pressure["reason"],
292
+ "F3终态停滞 + 压力仍扩大 → 冷却过期也不放行(新分支)")
293
+ ok(g_pressure.get("meta_rising") is True,
294
+ "F3b新分支留痕 meta_rising=True(可审计)")
295
+
296
+ cg_h = MdCGOS(_root(tmp, "h"))
297
+ for i, tml in enumerate(["carried", "carried"]):
298
+ append_jsonl(autonomy._explore_log_path(cg_h),
299
+ {"type": "explore", "t": 1000.0 + i,
300
+ "actor": "test", "outcomes": {bid: tml},
301
+ "bids": [bid]})
302
+ g_plain = autonomy.gain_gate(cg_h, bid, now=1000.0 + 3600.0 + 10.0)
303
+ ok(g_plain["sigma"] == 1.0,
304
+ "F4缺 meta_outcomes 键 → 新分支不触发(冷却过期照旧放行)")
305
+ g_cool = autonomy.gain_gate(cg_h, bid, now=1000.5)
306
+ ok(g_cool["sigma"] == 0.0 and "DEFER_EXHAUSTED" in g_cool["reason"],
307
+ "F4b既有 ② 冷却内口径逐字保持(DEFER_EXHAUSTED)")
308
+ cg_i = MdCGOS(_root(tmp, "i"))
309
+ for i, tml in enumerate(["carried", "carried"]):
310
+ append_jsonl(autonomy._explore_log_path(cg_i),
311
+ {"type": "explore", "t": 1000.0 + i,
312
+ "actor": "test", "outcomes": {bid: tml}, "bids": [bid],
313
+ "meta_outcomes": {"delta": {"unmodeled_growth": 0.0}}})
314
+ ok(autonomy.gain_gate(cg_i, bid,
315
+ now=1000.0 + 3600.0 + 10.0)["sigma"] == 1.0,
316
+ "F4c压力未扩大(delta=0)→ 不放行条件不成立(只在上升时冷却)")
317
+
318
+ # ---------- G self_state 边界压力趋势 ----------
319
+ cg_j = MdCGOS(_root(tmp, "j"))
320
+ pf_empty = self_state._prediction_face(cg_j)
321
+ ok("d_meta_trend" in pf_empty
322
+ and isinstance(pf_empty["d_meta_trend"], float),
323
+ "G1空留痕:d_meta_trend 回落当前单代理值(float,不编造)")
324
+ append_jsonl(cg_j.reflection_log,
325
+ {"t": 1.0, "query": "q1", "d_curr": 1.0, "d2": 0.1,
326
+ "states": {}, "n_results": 1,
327
+ "d_meta": {"events_pressure": 0.0,
328
+ "unmodeled_growth": 0.20,
329
+ "boundary_violation_rate": 0.0}})
330
+ append_jsonl(cg_j.reflection_log,
331
+ {"t": 2.0, "query": "q2", "d_curr": 1.0, "d2": 0.1,
332
+ "states": {}, "n_results": 1,
333
+ "d_meta": {"events_pressure": 0.0,
334
+ "unmodeled_growth": 0.40,
335
+ "boundary_violation_rate": 0.0}})
336
+ t1 = self_state._prediction_face(cg_j)["d_meta_trend"]
337
+ t2 = self_state._prediction_face(cg_j)["d_meta_trend"]
338
+ ok(t1 == 0.3 and t1 == t2,
339
+ "G1bd_meta_trend = 近窗口均值(0.2/0.4 → 0.3)且幂等")
340
+ card_in = {"subject": "self:test", "information_gap": {}, "trust": {},
341
+ "short_term": {}, "emotion": "unknown", "affect": "unknown",
342
+ "importance_self": 1.0, "important_refs": [], "relations": {},
343
+ "identity_ref": None, "identity_anchors": 0,
344
+ "dimensions": {}, "state_ts": 1.0, "state_version": 1,
345
+ "prediction": {"d_meta_trend": t1, "hit_rate": None,
346
+ "samples": 0, "threshold": None,
347
+ "reflect": False, "beta_mean": None,
348
+ "beta_ci95": None, "ece": None,
349
+ "calibration": None}}
350
+ body = self_state._render(card_in)
351
+ ok("D_meta" in body and "边界压力趋势" in body
352
+ and str(t1) in body,
353
+ "G2状态卡新增边界压力行(人可读观测面,含趋势值)")
354
+ self_state.refresh(cg_j, force=True)
355
+ r_b = self_state.refresh(cg_j)
356
+ ok(r_b.get("changed") is False,
357
+ "G2brefresh 幂等:无变化刷新 changed=False(不破 B1/B2/B3)")
358
+
359
+ # ---------- H MCP 观测面 ----------
360
+ out = mcp_server._metacognition_call(cg_j, {"action": "d_meta"})
361
+ ok(set(d_meta.PROXY_KEYS) <= set(out) and "enabled" in out,
362
+ "H1cg op=metacognition action=d_meta 返回三代理向量")
363
+ ok(out["note"] == metacognition.d_meta_face(cg_j)["note"]
364
+ or set(out) == set(metacognition.d_meta_face(cg_j)),
365
+ "H1b与 metacognition.d_meta_face 同源(单一实现)")
366
+ wrap = cg_j.metacognition_d_meta(window=50)
367
+ ok(set(wrap) == set(out) and wrap["window"] == 50,
368
+ "H2mdcos 包装 metacognition_d_meta(window) 等价可用")
369
+ ok("d_meta" in (metacognition.catalog().get("faces") or []),
370
+ "H2bcatalog 观测面清单含 d_meta")
371
+ try:
372
+ mcp_server._metacognition_call(cg_j, {"action": "no_such_action"})
373
+ ok(False, "H3未知 action 应抛 ValueError")
374
+ except ValueError:
375
+ ok(True, "H3未知 action 仍抛 ValueError(分派失败闭锁)")
376
+
377
+ # ---------- I tail_jsonl 原语边界 ----------
378
+ p = os.path.join(tmp, "tail.jsonl")
379
+ ok(d_meta.tail_jsonl(os.path.join(tmp, "nope.jsonl"), 5) == [],
380
+ "I1文件缺失 → [](不抛异常)")
381
+ with open(p, "w", encoding="utf-8") as fh:
382
+ fh.write("\n".join(json.dumps({"i": i}) for i in range(300)) + "\n")
383
+ ok(d_meta.tail_jsonl(p, 0) == [], "I1bwindow<=0 → [](无越界读取)")
384
+ ok([r["i"] for r in d_meta.tail_jsonl(p, 3)] == [297, 298, 299],
385
+ "I2尾部窗口取末 3 条(与全量末 3 条一致)")
386
+ with open(p, "w", encoding="utf-8") as fh:
387
+ fh.write('{"i":1}\n{"i":2}\n{"i":3') # 末行截断
388
+ ok(len(d_meta.tail_jsonl(p, 50)) == 2,
389
+ "I2b截断末行被丢弃(不猜内容,与 read_jsonl 同语义)")
390
+ with open(p, "w", encoding="utf-8") as fh:
391
+ fh.write('{"i":1}\n{"i":2}') # 末行无换行但完整
392
+ ok(len(d_meta.tail_jsonl(p, 50)) == 2,
393
+ "I2c末行完整但无换行仍计入(写者未落换行不等于坏行)")
394
+ finally:
395
+ shutil.rmtree(tmp, ignore_errors=True)
396
+
397
+ print(f"\nd_meta: {PASS} passed, {FAIL} failed")
398
+ if FAILS:
399
+ for f in FAILS:
400
+ print(f" - {f}")
401
+ raise SystemExit(1 if FAIL else 0)
402
+
403
+
404
+ def JSON_KEYS_UNCHANGED(rec):
405
+ """explore 留痕既有键集合未被本次改动删除(契约守卫)。"""
406
+ need = {"type", "t", "actor", "apply", "n_proposals", "bids", "outcomes",
407
+ "bypass_gain", "gain_deferred"}
408
+ return need <= set(rec)
409
+
410
+
411
+ if __name__ == "__main__":
412
+ main()