@furongjun1999/dsh-memory 0.4.11 → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (580) hide show
  1. package/README.md +552 -465
  2. package/codebuddy/CODEBUDDY.md +11 -3
  3. package/codebuddy/README.md +92 -90
  4. package/codebuddy/mcp.json +27 -27
  5. package/docs/GBrain/345/217/257/345/200/237/351/211/264/347/202/271_/347/201/265/346/236/242/350/220/275/347/202/271/344/272/244/346/216/245_20260919.md +169 -169
  6. package/docs/Pi/345/217/257/345/255/246/344/271/240/344/274/230/347/202/271_/347/201/265/346/236/242/345/244/247/350/204/221/346/224/271/350/277/233/344/272/244/346/216/245_20260915.md +144 -144
  7. package/docs/README.md +143 -111
  8. package/docs/discipline/harnesses.yaml +244 -226
  9. package/docs/discipline/templates/full.md.tmpl +61 -61
  10. package/docs/discipline/templates/rules.mdc.tmpl +68 -0
  11. package/docs/discipline/templates/skill.md.tmpl +23 -23
  12. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md +299 -299
  13. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v2.0.md +239 -239
  14. package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
  15. package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
  16. package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
  17. package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
  18. package/docs/eval//345/256/236/351/252/214/346/226/271/346/241/210_/345/255/246/344/271/240/351/227/255/347/216/257AB/344/270/216/346/250/252/350/257/204_v1.0.md +174 -174
  19. package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
  20. package/docs/eval//346/250/252/350/257/204_/345/205/255/345/256/266100/351/242/230/344/270/255/350/213/261/345/217/214/346/237/245_v1.0.md +223 -223
  21. package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +100 -0
  22. package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +197 -0
  23. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v1.md +156 -0
  24. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v10.md +210 -0
  25. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v11.md +227 -0
  26. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v12.md +203 -0
  27. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v13.md +233 -0
  28. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v14.md +191 -0
  29. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v15.md +213 -0
  30. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v16.md +214 -0
  31. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v17.md +199 -0
  32. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v2.md +156 -0
  33. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v3.md +152 -0
  34. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v4.md +128 -0
  35. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v5.md +114 -0
  36. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v6.md +192 -0
  37. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v7.md +187 -0
  38. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v8.md +207 -0
  39. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v9.md +203 -0
  40. package/docs/{mdcg → hive}//344/273/244/347/211/214/344/270/216/350/247/222/350/211/262/346/235/203/350/201/214/345/210/206/347/246/273_v0.1.md +165 -160
  41. package/docs/hive//344/273/244/347/211/214/350/257/255/344/271/211/344/277/256/346/255/243_/344/273/262/350/243/201/344/275/215_v0.1.md +76 -0
  42. package/docs/{mdcg → hive}//345/255/220/344/273/243/347/220/206/351/205/215/347/275/256/346/240/207/345/207/206_v0.5.md +236 -236
  43. package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
  44. package/docs/hive//346/243/200/347/264/242/346/224/266/346/225/233/345/256/236/346/265/213/344/270/216S1b/350/256/276/350/256/241_v0.1.md +43 -43
  45. package/docs/hive//346/243/200/347/264/242/347/256/227/346/263/225/345/217/243/345/276/204/345/257/271/347/205/247_v0.1.md +85 -0
  46. package/docs/hive//346/243/200/347/264/242/350/267/257/345/276/204/344/270/216/350/256/244/347/237/245/347/273/223/346/236/204/345/245/221/347/272/246_v0.1.md +102 -102
  47. package/docs/hive//350/234/202/345/267/242M6_ingest/345/256/236/346/226/275/350/256/241/345/210/222_v0.1.md +47 -0
  48. package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +519 -503
  49. package/docs/hive//350/234/202/345/267/242/345/267/245/344/275/234/350/256/260/345/277/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +85 -85
  50. package/docs/hive//350/234/202/345/267/242/350/256/276/350/256/241_/347/220/206/350/256/272/345/257/271/351/275/220_v0.1.md +191 -0
  51. package/docs/hive//350/234/202/345/267/242/350/277/255/344/273/243_/345/256/217/350/247/202/344/270/216/347/276/244/344/275/223/350/260/203/345/272/246_v0.1.md +90 -0
  52. package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
  53. package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
  54. package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -216
  55. package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
  56. package/docs/mdcg/lingshu_tutorial.html +14449 -14449
  57. package/docs/mdcg/release_v0.4.11.md +49 -0
  58. package/docs/mdcg/release_v0.4.5.md +55 -55
  59. package/docs/mdcg/tool_table_v0.3.0.md +117 -117
  60. package/docs/mdcg//345/205/250/345/272/223/344/273/243/347/240/201/350/257/204/345/256/241/344/270/216/346/235/241/344/273/266/345/214/226/346/263/250/351/207/212_/350/256/241/345/210/222_v0.1.md +600 -600
  61. package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +40 -40
  62. package/docs/mdcg//345/215/225/345/205/203/350/207/252/346/210/221/351/224/232/347/202/271_/347/263/273/347/273/237/346/217/220/347/244/272/350/257/215/346/240/207/345/207/206_v0.3.md +275 -275
  63. package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
  64. package/docs/mdcg//346/272/220/347/240/201/347/272/247/346/236/266/346/236/204/345/256/241/350/256/241_GPT/346/211/271/350/257/204/345/257/271/347/205/247_v1.0.md +130 -130
  65. package/docs/mdcg//347/201/265/346/236/24282/345/267/245/345/205/267_/345/212/237/350/203/275/346/225/264/347/220/206/344/270/216/350/277/201/347/247/273/346/230/240/345/260/204_v0.1.md +278 -278
  66. package/docs/mdcg//347/201/265/346/236/242/350/256/260/345/277/206/345/212/250/350/257/215/345/215/217/350/256/256_v1.0-draft.md +172 -172
  67. package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
  68. package/docs/mdcg//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md +491 -491
  69. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md +340 -340
  70. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/347/264/242/345/274/225/344/270/216/345/267/245/347/250/213/350/247/204/350/214/203/345/214/226_/350/256/241/345/210/222_v0.1.md +588 -588
  71. package/docs/plans/GridWorld/346/234/200/345/260/217/351/227/255/347/216/257/350/247/204/346/240/274_v0.1.md +176 -176
  72. package/docs/plans//345/221/275/345/220/215/346/262/273/347/220/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +81 -81
  73. package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
  74. package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md +242 -242
  75. package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
  76. package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md +129 -129
  77. package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md +134 -134
  78. package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  79. package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md +145 -145
  80. package/docs/theory//347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md +144 -144
  81. package/docs/theory//347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md +198 -198
  82. package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md +221 -221
  83. package/docs/world_model//344/270/226/347/225/214/346/250/241/345/236/213_/347/245/236/347/273/217/347/275/221/347/273/234/345/272/225/345/261/202/346/236/266/346/236/204_v1.0.md +237 -237
  84. package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
  85. package/docs//345/217/221/345/270/203/344/273/266/345/233/236/346/272/257/350/257/264/346/230/216_v0.1.md +82 -82
  86. package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json +28 -2
  87. package/dsh/README.md +82 -82
  88. package/dsh/cordis.yml.example +139 -139
  89. package/dsh/update-lingshu.bat +11 -11
  90. package/lib/bridge.d.ts +9 -0
  91. package/lib/bridge.js +35 -0
  92. package/lib/hooks.js +36 -2
  93. package/lib/index.js +7 -1
  94. package/lib/lib/roleplay_web.js +116 -29
  95. package/lib/lib/token_store.d.ts +7 -1
  96. package/lib/lib/token_store.js +12 -3
  97. package/md_cg/__init__.py +7 -7
  98. package/md_cg/audit.py +379 -368
  99. package/md_cg/autonomy.py +287 -287
  100. package/md_cg/backfill.py +1328 -1327
  101. package/md_cg/backfill_bigdomain.py +34 -34
  102. package/md_cg/backfill_bucket_zh.py +35 -0
  103. package/md_cg/bench6_arms.py +410 -410
  104. package/md_cg/bench6_common.py +230 -230
  105. package/md_cg/bench6_competitors.py +212 -212
  106. package/md_cg/bench_axis_domain.py +257 -257
  107. package/md_cg/bench_blind_comp.py +308 -308
  108. package/md_cg/bench_e2e_judge.py +532 -0
  109. package/md_cg/bench_e2e_locomo_qa.py +368 -0
  110. package/md_cg/bench_e2e_qa.py +256 -0
  111. package/md_cg/bench_en_atoms_public.py +230 -230
  112. package/md_cg/bench_governance.py +348 -348
  113. package/md_cg/bench_lme_zh.py +410 -410
  114. package/md_cg/bench_locomo.py +121 -121
  115. package/md_cg/bench_locomo_zh.py +450 -450
  116. package/md_cg/bench_locomo_zh_public.py +147 -147
  117. package/md_cg/bench_longmem.py +112 -112
  118. package/md_cg/bench_membench.py +632 -632
  119. package/md_cg/bench_p0.py +149 -149
  120. package/md_cg/bench_progressive.py +287 -287
  121. package/md_cg/bench_role_views.py +238 -238
  122. package/md_cg/bench_task_ab.py +243 -243
  123. package/md_cg/bench_task_ab_llm.py +408 -408
  124. package/md_cg/bench_unified_en.py +204 -204
  125. package/md_cg/bench_zh_mad.py +601 -601
  126. package/md_cg/blindspot_tickets.py +123 -123
  127. package/md_cg/branches.py +301 -285
  128. package/md_cg/build_postings.py +73 -73
  129. package/md_cg/ccgc.py +1006 -948
  130. package/md_cg/census.py +132 -132
  131. package/md_cg/chain.py +315 -300
  132. package/md_cg/codeindex.py +531 -531
  133. package/md_cg/coldverify.py +292 -292
  134. package/md_cg/comment_gate.py +337 -337
  135. package/md_cg/cond_compose.py +190 -190
  136. package/md_cg/cond_facts.py +154 -154
  137. package/md_cg/cond_template.json +106 -106
  138. package/md_cg/condition_anchor.py +142 -142
  139. package/md_cg/conformance.py +726 -726
  140. package/md_cg/consistency.py +717 -717
  141. package/md_cg/consolidate.py +1537 -1439
  142. package/md_cg/corpus.py +110 -110
  143. package/md_cg/crosscheck.py +1098 -1097
  144. package/md_cg/crypto.py +3 -1
  145. package/md_cg/d_meta.py +310 -310
  146. package/md_cg/datapath.py +78 -18
  147. package/md_cg/docindex.py +473 -473
  148. package/md_cg/eval_common.py +575 -575
  149. package/md_cg/evidence.py +4 -2
  150. package/md_cg/evolution.py +477 -477
  151. package/md_cg/export.py +222 -220
  152. package/md_cg/forgetting.py +581 -581
  153. package/md_cg/fsutil.py +377 -329
  154. package/md_cg/hotcache.py +48 -7
  155. package/md_cg/hyperedge.py +251 -251
  156. package/md_cg/identity.py +390 -390
  157. package/md_cg/insight.py +500 -500
  158. package/md_cg/interop.py +338 -0
  159. package/md_cg/judgment_manifest.py +177 -0
  160. package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
  161. package/md_cg/lexicon/build_standard_en.py +171 -171
  162. package/md_cg/lexicon/expand_en_zh.py +211 -211
  163. package/md_cg/lifecycle.py +272 -272
  164. package/md_cg/linkref.py +280 -280
  165. package/md_cg/links.py +140 -107
  166. package/md_cg/mcp_server.py +403 -55
  167. package/md_cg/md_whitebox.py +345 -345
  168. package/md_cg/mdcg.py +783 -233
  169. package/md_cg/mdcos.py +500 -70
  170. package/md_cg/metacognition.py +591 -591
  171. package/md_cg/migrate.py +119 -119
  172. package/md_cg/migrate_aeis.py +221 -221
  173. package/md_cg/migrate_roleplay.py +293 -293
  174. package/md_cg/migrate_wisdom_graph.py +360 -360
  175. package/md_cg/mreview/__init__.py +25 -25
  176. package/md_cg/mreview/__main__.py +110 -110
  177. package/md_cg/mreview/bundle.py +178 -178
  178. package/md_cg/mreview/candidates.py +262 -262
  179. package/md_cg/mreview/govern.py +694 -693
  180. package/md_cg/mreview/locate.py +939 -939
  181. package/md_cg/mreview/pipeline.py +728 -728
  182. package/md_cg/mreview/rules/duplication.json +21 -21
  183. package/md_cg/mreview/rules/field_coverage.json +54 -54
  184. package/md_cg/mreview/rules/source_license.json +21 -21
  185. package/md_cg/mreview/rules/template_flow.json +21 -21
  186. package/md_cg/mreview/ruleset.py +252 -252
  187. package/md_cg/nodefile.py +575 -575
  188. package/md_cg/pooling.py +484 -472
  189. package/md_cg/postings.py +300 -298
  190. package/md_cg/predict.py +1100 -1100
  191. package/md_cg/progressive.py +123 -123
  192. package/md_cg/protect.py +272 -272
  193. package/md_cg/protocol/md_cg_gate.proto +33 -33
  194. package/md_cg/protocol.py +372 -372
  195. package/md_cg/provenance.py +582 -582
  196. package/md_cg/reach.py +453 -453
  197. package/md_cg/readcache.py +143 -0
  198. package/md_cg/reconcile.py +228 -0
  199. package/md_cg/refindex.py +833 -833
  200. package/md_cg/refine.py +604 -604
  201. package/md_cg/review_cli.py +170 -0
  202. package/md_cg/roleviews.py +89 -89
  203. package/md_cg/routing.py +393 -365
  204. package/md_cg/run_tests.py +211 -0
  205. package/md_cg/scrub.py +13 -3
  206. package/md_cg/security.py +128 -18
  207. package/md_cg/self_state.py +1029 -1029
  208. package/md_cg/selfreport.py +152 -151
  209. package/md_cg/semantic/__init__.py +10 -10
  210. package/md_cg/semantic/canonical.py +122 -122
  211. package/md_cg/semantic/en_normalizer.py +364 -364
  212. package/md_cg/semantic/en_zh_map.json +28694 -0
  213. package/md_cg/semantic/export_en_zh_map.py +64 -0
  214. package/md_cg/semantic/unify.py +45 -0
  215. package/md_cg/semantic/zh_en_atoms.py +139 -139
  216. package/md_cg/signer.py +7 -4
  217. package/md_cg/sources.py +816 -582
  218. package/md_cg/statushdr.py +179 -179
  219. package/md_cg/stg.py +54 -37
  220. package/md_cg/subgraph.py +729 -729
  221. package/md_cg/sustain.py +35 -5
  222. package/md_cg/tasks.py +470 -470
  223. package/md_cg/test_access_hints.py +147 -0
  224. package/md_cg/test_action_derive.py +203 -203
  225. package/md_cg/test_audit_rotate.py +270 -270
  226. package/md_cg/test_autonomy.py +143 -143
  227. package/md_cg/test_bench_governance.py +102 -102
  228. package/md_cg/test_blindspot_tickets.py +166 -166
  229. package/md_cg/test_branch_discard_tombstone.py +136 -0
  230. package/md_cg/test_branches.py +13 -3
  231. package/md_cg/test_ccg_perturb.py +184 -184
  232. package/md_cg/test_ccgc.py +433 -433
  233. package/md_cg/test_census_prune.py +81 -81
  234. package/md_cg/test_chain_read_isolate.py +168 -0
  235. package/md_cg/test_cond_compose_anchors.py +76 -76
  236. package/md_cg/test_cond_match.py +165 -165
  237. package/md_cg/test_condition_anchor.py +81 -81
  238. package/md_cg/test_d_meta.py +412 -412
  239. package/md_cg/test_datapath_device_name.py +203 -0
  240. package/md_cg/test_datapath_root.py +199 -199
  241. package/md_cg/test_emit_negtail_cache.py +156 -0
  242. package/md_cg/test_en_pipeline.py +22 -2
  243. package/md_cg/test_gain_gate.py +212 -212
  244. package/md_cg/test_govern_directread.py +421 -0
  245. package/md_cg/test_health_scale.py +173 -173
  246. package/md_cg/test_hive_ingest.py +285 -0
  247. package/md_cg/test_hot_cold.py +215 -215
  248. package/md_cg/test_hyperedge.py +245 -245
  249. package/md_cg/test_i26_empty_first_write.py +116 -0
  250. package/md_cg/test_i27_e041_identity.py +128 -0
  251. package/md_cg/test_i28_hotcache_prodpath.py +122 -0
  252. package/md_cg/test_i32_hotcache_env_key.py +218 -0
  253. package/md_cg/test_identity_attribution.py +96 -15
  254. package/md_cg/test_index_durability.py +17 -3
  255. package/md_cg/test_interop.py +95 -0
  256. package/md_cg/test_interop_judgment.py +228 -0
  257. package/md_cg/test_issue39_utf8_stdio.py +273 -0
  258. package/md_cg/test_lifecycle.py +309 -309
  259. package/md_cg/test_linkref.py +306 -306
  260. package/md_cg/test_links_concurrent_write.py +188 -0
  261. package/md_cg/test_lock.py +43 -43
  262. package/md_cg/test_md_access_parity.py +255 -255
  263. package/md_cg/test_md_writepath.py +345 -345
  264. package/md_cg/test_mdstore_search_parity.py +160 -0
  265. package/md_cg/test_merge_upsert.py +168 -0
  266. package/md_cg/test_mr_m2.py +587 -587
  267. package/md_cg/test_mr_m3.py +710 -710
  268. package/md_cg/test_mr_m4.py +485 -485
  269. package/md_cg/test_n123_derive_expiry_chain.py +205 -0
  270. package/md_cg/test_n130_verify_falsified_protect.py +185 -0
  271. package/md_cg/test_n131_merge_gate.py +205 -0
  272. package/md_cg/test_p0.py +250 -250
  273. package/md_cg/test_p1.py +316 -316
  274. package/md_cg/test_p10_identity.py +173 -173
  275. package/md_cg/test_p11_consistency.py +233 -233
  276. package/md_cg/test_p12_metacognition.py +212 -212
  277. package/md_cg/test_p13_encryption.py +241 -241
  278. package/md_cg/test_p14_sustain.py +249 -249
  279. package/md_cg/test_p15_scrub.py +280 -280
  280. package/md_cg/test_p16_self_state.py +301 -301
  281. package/md_cg/test_p17_predict.py +354 -354
  282. package/md_cg/test_p18_whitebox.py +171 -171
  283. package/md_cg/test_p19_migrate_roleplay.py +149 -149
  284. package/md_cg/test_p1x_ref_root.py +160 -0
  285. package/md_cg/test_p20_evolution.py +315 -315
  286. package/md_cg/test_p21_tokens.py +293 -270
  287. package/md_cg/test_p22_theory.py +175 -175
  288. package/md_cg/test_p23_links.py +311 -311
  289. package/md_cg/test_p24_evidence.py +227 -227
  290. package/md_cg/test_p25_weights.py +156 -156
  291. package/md_cg/test_p26_refindex.py +416 -416
  292. package/md_cg/test_p27_docindex.py +16 -7
  293. package/md_cg/test_p28_refcheck.py +305 -305
  294. package/md_cg/test_p29_session_ingest_export.py +354 -333
  295. package/md_cg/test_p2_mcp.py +3 -0
  296. package/md_cg/test_p3.py +11 -2
  297. package/md_cg/test_p30_maintain.py +330 -330
  298. package/md_cg/test_p31_insight.py +534 -534
  299. package/md_cg/test_p32_backfill.py +7 -1
  300. package/md_cg/test_p33_ccg_wiring.py +293 -293
  301. package/md_cg/test_p34_crosscheck.py +331 -331
  302. package/md_cg/test_p35_conditioned_claim.py +252 -252
  303. package/md_cg/test_p36_kp_align.py +230 -230
  304. package/md_cg/test_p37_condition_space.py +248 -248
  305. package/md_cg/test_p38_concurrent_flush.py +102 -0
  306. package/md_cg/test_p38_contextualize.py +273 -273
  307. package/md_cg/test_p39_verify_flow.py +153 -0
  308. package/md_cg/test_p39_vision_evidence.py +369 -369
  309. package/md_cg/test_p40_refine_worklist.py +241 -241
  310. package/md_cg/test_p41_evolve_patrol.py +224 -224
  311. package/md_cg/test_p42_provenance.py +269 -269
  312. package/md_cg/test_p43_pooling.py +412 -398
  313. package/md_cg/test_p44_md_whitebox.py +231 -231
  314. package/md_cg/test_p45_session_identity.py +219 -219
  315. package/md_cg/test_p46_unit_scope.py +272 -272
  316. package/md_cg/test_p47_session_view.py +316 -0
  317. package/md_cg/test_p4_fuzzy.py +223 -223
  318. package/md_cg/test_p5_semantic.py +226 -226
  319. package/md_cg/test_p6_consolidate.py +440 -387
  320. package/md_cg/test_p7_goals_recent.py +202 -202
  321. package/md_cg/test_p8_subgraph_chain.py +200 -200
  322. package/md_cg/test_p9_forget_protect.py +231 -231
  323. package/md_cg/test_predict_beta.py +135 -135
  324. package/md_cg/test_preflight_failclosed.py +100 -100
  325. package/md_cg/test_progressive.py +146 -146
  326. package/md_cg/test_propose_tail_index.py +157 -0
  327. package/md_cg/test_protocol.py +243 -243
  328. package/md_cg/test_reach.py +378 -378
  329. package/md_cg/test_reach_keys.py +201 -201
  330. package/md_cg/test_read_clip.py +141 -141
  331. package/md_cg/test_read_scope_b27.py +277 -0
  332. package/md_cg/test_readcache_default_on.py +168 -0
  333. package/md_cg/test_readcache_precise_inval.py +270 -0
  334. package/md_cg/test_readcache_prodpath.py +203 -0
  335. package/md_cg/test_reconcile_v0.py +294 -0
  336. package/md_cg/test_retr_gates_prodpath.py +140 -0
  337. package/md_cg/test_retr_s1.py +344 -340
  338. package/md_cg/test_retr_s1b.py +276 -209
  339. package/md_cg/test_retr_s3.py +194 -194
  340. package/md_cg/test_retr_s4.py +163 -163
  341. package/md_cg/test_retr_s5.py +200 -200
  342. package/md_cg/test_retr_s6.py +157 -157
  343. package/md_cg/test_retr_s7.py +392 -384
  344. package/md_cg/test_retr_s8_time.py +369 -316
  345. package/md_cg/test_retr_s9_edges.py +286 -286
  346. package/md_cg/test_retr_s9_entity_ctx.py +9 -3
  347. package/md_cg/test_retr_score_once.py +208 -0
  348. package/md_cg/test_review_conformance.py +367 -367
  349. package/md_cg/test_review_onepass.py +170 -0
  350. package/md_cg/test_role_views.py +354 -354
  351. package/md_cg/test_rrf_graph_seed_cache.py +154 -0
  352. package/md_cg/test_security_audit.py +155 -0
  353. package/md_cg/test_security_audit_b26.py +161 -0
  354. package/md_cg/test_security_audit_v21.py +250 -0
  355. package/md_cg/test_sem_noise.py +242 -242
  356. package/md_cg/test_semantic_canonical.py +16 -2
  357. package/md_cg/test_session_isolation.py +168 -0
  358. package/md_cg/test_snapshot_autoclose.py +187 -0
  359. package/md_cg/test_subproc_encoding.py +192 -192
  360. package/md_cg/test_sustain_mutual.py +153 -153
  361. package/md_cg/test_tail_watermark_race.py +208 -0
  362. package/md_cg/test_tasks.py +409 -409
  363. package/md_cg/test_tenant_env_override_warn.py +139 -0
  364. package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
  365. package/md_cg/test_tool_face.py +189 -189
  366. package/md_cg/test_transfer.py +180 -180
  367. package/md_cg/test_trust.py +361 -361
  368. package/md_cg/test_twophase.py +286 -286
  369. package/md_cg/test_v14_fixes.py +38 -20
  370. package/md_cg/test_validity_filter.py +280 -280
  371. package/md_cg/test_verify_answer.py +138 -138
  372. package/md_cg/test_verify_dirty_reconcile.py +157 -0
  373. package/md_cg/test_wisdom_md_store.py +292 -292
  374. package/md_cg/test_writelimit.py +197 -197
  375. package/md_cg/test_writepipe.py +214 -214
  376. package/md_cg/theory.py +6 -3
  377. package/md_cg/tokens.py +85 -14
  378. package/md_cg/tool_face.py +260 -260
  379. package/md_cg/trust.py +986 -950
  380. package/md_cg/twophase.py +231 -231
  381. package/md_cg/units.py +668 -667
  382. package/md_cg/vision_evidence.py +667 -666
  383. package/md_cg/weights.py +624 -624
  384. package/md_cg/whitebox.py +527 -527
  385. package/md_cg/whitebox_kb/__init__.py +37 -37
  386. package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
  387. package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
  388. package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
  389. package/md_cg/whitebox_kb/engine.py +310 -310
  390. package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  391. package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
  392. package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
  393. package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
  394. package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
  395. package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
  396. package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
  397. package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
  398. package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
  399. package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
  400. package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
  401. package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
  402. package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
  403. package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
  404. package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
  405. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
  406. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
  407. package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
  408. package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
  409. package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
  410. package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
  411. package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
  412. package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
  413. package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
  414. package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
  415. package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
  416. package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
  417. package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
  418. package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
  419. package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
  420. package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
  421. package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
  422. package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
  423. package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
  424. package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
  425. package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
  426. package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
  427. package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
  428. package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
  429. package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
  430. package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
  431. package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
  432. package/md_cg/writelimit.py +356 -356
  433. package/md_cg/writepipe.py +20 -8
  434. package/package.json +101 -96
  435. package/skills/plugin.json +54 -54
  436. package/skills/skills/designer-perspective/SKILL.md +158 -158
  437. package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
  438. package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
  439. package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
  440. package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
  441. package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
  442. package/skills/skills/designer-perspective/scripts/designer.py +545 -545
  443. package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
  444. package/skills/skills/designer-perspective/tests/selftest.py +61 -61
  445. package/skills/skills/lingshu-browser/SKILL.md +60 -60
  446. package/skills/skills/lingshu-compiler/SKILL.md +56 -56
  447. package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
  448. package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
  449. package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
  450. package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
  451. package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
  452. package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
  453. package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
  454. package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
  455. package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
  456. package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
  457. package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
  458. package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
  459. package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
  460. package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
  461. package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
  462. package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
  463. package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
  464. package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
  465. package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
  466. package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
  467. package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
  468. package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
  469. package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
  470. package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
  471. package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
  472. package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
  473. package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
  474. package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
  475. package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
  476. package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
  477. package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
  478. package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
  479. package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
  480. package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
  481. package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
  482. package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
  483. package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
  484. package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
  485. package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
  486. package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
  487. package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
  488. package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
  489. package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
  490. package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
  491. package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
  492. package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
  493. package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
  494. package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
  495. package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
  496. package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
  497. package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
  498. package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
  499. package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
  500. package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
  501. package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
  502. package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
  503. package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
  504. package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
  505. package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
  506. package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
  507. package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
  508. package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
  509. package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
  510. package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
  511. package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
  512. package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
  513. package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
  514. package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
  515. package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
  516. package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
  517. package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
  518. package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
  519. package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
  520. package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
  521. package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
  522. package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
  523. package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
  524. package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
  525. package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
  526. package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
  527. package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
  528. package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
  529. package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
  530. package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
  531. package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
  532. package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
  533. package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
  534. package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
  535. package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
  536. package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
  537. package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
  538. package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
  539. package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
  540. package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
  541. package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
  542. package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
  543. package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
  544. package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
  545. package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
  546. package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
  547. package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
  548. package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
  549. package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
  550. package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
  551. package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
  552. package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
  553. package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
  554. package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
  555. package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
  556. package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
  557. package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
  558. package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
  559. package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
  560. package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
  561. package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
  562. package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
  563. package/skills/skills/lingshu-graph/SKILL.md +63 -63
  564. package/skills/skills/lingshu-net/SKILL.md +48 -48
  565. package/skills/skills/lingshu-os/SKILL.md +64 -64
  566. package/skills/skills/lingshu-pylang/SKILL.md +71 -71
  567. package/src/bridge.ts +33 -0
  568. package/src/hooks.ts +38 -2
  569. package/src/index.ts +526 -518
  570. package/src/lib/datapath.ts +326 -326
  571. package/src/lib/mdcg_client.ts +413 -413
  572. package/src/lib/mutual.ts +428 -428
  573. package/src/lib/prompt_safety.ts +62 -62
  574. package/src/lib/python_path.ts +71 -71
  575. package/src/lib/roleplay_web.ts +116 -29
  576. package/src/lib/token_store.ts +13 -3
  577. package/src/tools.ts +212 -212
  578. package/zcode/AGENTS.md +11 -3
  579. package/zcode/README.md +41 -41
  580. /package/docs/{mdcg → hive}//344/270/273/344/273/243/347/220/206/345/255/220/344/273/243/347/220/206/350/256/260/345/277/206/346/236/266/346/236/204/350/256/276/350/256/241.md" +0 -0
@@ -1,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()