@furongjun1999/dsh-memory 0.4.11 → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (580) hide show
  1. package/README.md +552 -465
  2. package/codebuddy/CODEBUDDY.md +11 -3
  3. package/codebuddy/README.md +92 -90
  4. package/codebuddy/mcp.json +27 -27
  5. package/docs/GBrain/345/217/257/345/200/237/351/211/264/347/202/271_/347/201/265/346/236/242/350/220/275/347/202/271/344/272/244/346/216/245_20260919.md +169 -169
  6. package/docs/Pi/345/217/257/345/255/246/344/271/240/344/274/230/347/202/271_/347/201/265/346/236/242/345/244/247/350/204/221/346/224/271/350/277/233/344/272/244/346/216/245_20260915.md +144 -144
  7. package/docs/README.md +143 -111
  8. package/docs/discipline/harnesses.yaml +244 -226
  9. package/docs/discipline/templates/full.md.tmpl +61 -61
  10. package/docs/discipline/templates/rules.mdc.tmpl +68 -0
  11. package/docs/discipline/templates/skill.md.tmpl +23 -23
  12. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md +299 -299
  13. package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v2.0.md +239 -239
  14. package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
  15. package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
  16. package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
  17. package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
  18. package/docs/eval//345/256/236/351/252/214/346/226/271/346/241/210_/345/255/246/344/271/240/351/227/255/347/216/257AB/344/270/216/346/250/252/350/257/204_v1.0.md +174 -174
  19. package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
  20. package/docs/eval//346/250/252/350/257/204_/345/205/255/345/256/266100/351/242/230/344/270/255/350/213/261/345/217/214/346/237/245_v1.0.md +223 -223
  21. package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +100 -0
  22. package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +197 -0
  23. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v1.md +156 -0
  24. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v10.md +210 -0
  25. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v11.md +227 -0
  26. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v12.md +203 -0
  27. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v13.md +233 -0
  28. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v14.md +191 -0
  29. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v15.md +213 -0
  30. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v16.md +214 -0
  31. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v17.md +199 -0
  32. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v2.md +156 -0
  33. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v3.md +152 -0
  34. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v4.md +128 -0
  35. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v5.md +114 -0
  36. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v6.md +192 -0
  37. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v7.md +187 -0
  38. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v8.md +207 -0
  39. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v9.md +203 -0
  40. package/docs/{mdcg → hive}//344/273/244/347/211/214/344/270/216/350/247/222/350/211/262/346/235/203/350/201/214/345/210/206/347/246/273_v0.1.md +165 -160
  41. package/docs/hive//344/273/244/347/211/214/350/257/255/344/271/211/344/277/256/346/255/243_/344/273/262/350/243/201/344/275/215_v0.1.md +76 -0
  42. package/docs/{mdcg → hive}//345/255/220/344/273/243/347/220/206/351/205/215/347/275/256/346/240/207/345/207/206_v0.5.md +236 -236
  43. package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
  44. package/docs/hive//346/243/200/347/264/242/346/224/266/346/225/233/345/256/236/346/265/213/344/270/216S1b/350/256/276/350/256/241_v0.1.md +43 -43
  45. package/docs/hive//346/243/200/347/264/242/347/256/227/346/263/225/345/217/243/345/276/204/345/257/271/347/205/247_v0.1.md +85 -0
  46. package/docs/hive//346/243/200/347/264/242/350/267/257/345/276/204/344/270/216/350/256/244/347/237/245/347/273/223/346/236/204/345/245/221/347/272/246_v0.1.md +102 -102
  47. package/docs/hive//350/234/202/345/267/242M6_ingest/345/256/236/346/226/275/350/256/241/345/210/222_v0.1.md +47 -0
  48. package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +519 -503
  49. package/docs/hive//350/234/202/345/267/242/345/267/245/344/275/234/350/256/260/345/277/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +85 -85
  50. package/docs/hive//350/234/202/345/267/242/350/256/276/350/256/241_/347/220/206/350/256/272/345/257/271/351/275/220_v0.1.md +191 -0
  51. package/docs/hive//350/234/202/345/267/242/350/277/255/344/273/243_/345/256/217/350/247/202/344/270/216/347/276/244/344/275/223/350/260/203/345/272/246_v0.1.md +90 -0
  52. package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
  53. package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
  54. package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -216
  55. package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
  56. package/docs/mdcg/lingshu_tutorial.html +14449 -14449
  57. package/docs/mdcg/release_v0.4.11.md +49 -0
  58. package/docs/mdcg/release_v0.4.5.md +55 -55
  59. package/docs/mdcg/tool_table_v0.3.0.md +117 -117
  60. package/docs/mdcg//345/205/250/345/272/223/344/273/243/347/240/201/350/257/204/345/256/241/344/270/216/346/235/241/344/273/266/345/214/226/346/263/250/351/207/212_/350/256/241/345/210/222_v0.1.md +600 -600
  61. package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +40 -40
  62. package/docs/mdcg//345/215/225/345/205/203/350/207/252/346/210/221/351/224/232/347/202/271_/347/263/273/347/273/237/346/217/220/347/244/272/350/257/215/346/240/207/345/207/206_v0.3.md +275 -275
  63. package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
  64. package/docs/mdcg//346/272/220/347/240/201/347/272/247/346/236/266/346/236/204/345/256/241/350/256/241_GPT/346/211/271/350/257/204/345/257/271/347/205/247_v1.0.md +130 -130
  65. package/docs/mdcg//347/201/265/346/236/24282/345/267/245/345/205/267_/345/212/237/350/203/275/346/225/264/347/220/206/344/270/216/350/277/201/347/247/273/346/230/240/345/260/204_v0.1.md +278 -278
  66. package/docs/mdcg//347/201/265/346/236/242/350/256/260/345/277/206/345/212/250/350/257/215/345/215/217/350/256/256_v1.0-draft.md +172 -172
  67. package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
  68. package/docs/mdcg//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md +491 -491
  69. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md +340 -340
  70. package/docs/mdcg//350/256/244/347/237/245/345/233/276_/347/264/242/345/274/225/344/270/216/345/267/245/347/250/213/350/247/204/350/214/203/345/214/226_/350/256/241/345/210/222_v0.1.md +588 -588
  71. package/docs/plans/GridWorld/346/234/200/345/260/217/351/227/255/347/216/257/350/247/204/346/240/274_v0.1.md +176 -176
  72. package/docs/plans//345/221/275/345/220/215/346/262/273/347/220/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +81 -81
  73. package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
  74. package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md +242 -242
  75. package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
  76. package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md +129 -129
  77. package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md +134 -134
  78. package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  79. package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md +145 -145
  80. package/docs/theory//347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md +144 -144
  81. package/docs/theory//347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md +198 -198
  82. package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md +221 -221
  83. package/docs/world_model//344/270/226/347/225/214/346/250/241/345/236/213_/347/245/236/347/273/217/347/275/221/347/273/234/345/272/225/345/261/202/346/236/266/346/236/204_v1.0.md +237 -237
  84. package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
  85. package/docs//345/217/221/345/270/203/344/273/266/345/233/236/346/272/257/350/257/264/346/230/216_v0.1.md +82 -82
  86. package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json +28 -2
  87. package/dsh/README.md +82 -82
  88. package/dsh/cordis.yml.example +139 -139
  89. package/dsh/update-lingshu.bat +11 -11
  90. package/lib/bridge.d.ts +9 -0
  91. package/lib/bridge.js +35 -0
  92. package/lib/hooks.js +36 -2
  93. package/lib/index.js +7 -1
  94. package/lib/lib/roleplay_web.js +116 -29
  95. package/lib/lib/token_store.d.ts +7 -1
  96. package/lib/lib/token_store.js +12 -3
  97. package/md_cg/__init__.py +7 -7
  98. package/md_cg/audit.py +379 -368
  99. package/md_cg/autonomy.py +287 -287
  100. package/md_cg/backfill.py +1328 -1327
  101. package/md_cg/backfill_bigdomain.py +34 -34
  102. package/md_cg/backfill_bucket_zh.py +35 -0
  103. package/md_cg/bench6_arms.py +410 -410
  104. package/md_cg/bench6_common.py +230 -230
  105. package/md_cg/bench6_competitors.py +212 -212
  106. package/md_cg/bench_axis_domain.py +257 -257
  107. package/md_cg/bench_blind_comp.py +308 -308
  108. package/md_cg/bench_e2e_judge.py +532 -0
  109. package/md_cg/bench_e2e_locomo_qa.py +368 -0
  110. package/md_cg/bench_e2e_qa.py +256 -0
  111. package/md_cg/bench_en_atoms_public.py +230 -230
  112. package/md_cg/bench_governance.py +348 -348
  113. package/md_cg/bench_lme_zh.py +410 -410
  114. package/md_cg/bench_locomo.py +121 -121
  115. package/md_cg/bench_locomo_zh.py +450 -450
  116. package/md_cg/bench_locomo_zh_public.py +147 -147
  117. package/md_cg/bench_longmem.py +112 -112
  118. package/md_cg/bench_membench.py +632 -632
  119. package/md_cg/bench_p0.py +149 -149
  120. package/md_cg/bench_progressive.py +287 -287
  121. package/md_cg/bench_role_views.py +238 -238
  122. package/md_cg/bench_task_ab.py +243 -243
  123. package/md_cg/bench_task_ab_llm.py +408 -408
  124. package/md_cg/bench_unified_en.py +204 -204
  125. package/md_cg/bench_zh_mad.py +601 -601
  126. package/md_cg/blindspot_tickets.py +123 -123
  127. package/md_cg/branches.py +301 -285
  128. package/md_cg/build_postings.py +73 -73
  129. package/md_cg/ccgc.py +1006 -948
  130. package/md_cg/census.py +132 -132
  131. package/md_cg/chain.py +315 -300
  132. package/md_cg/codeindex.py +531 -531
  133. package/md_cg/coldverify.py +292 -292
  134. package/md_cg/comment_gate.py +337 -337
  135. package/md_cg/cond_compose.py +190 -190
  136. package/md_cg/cond_facts.py +154 -154
  137. package/md_cg/cond_template.json +106 -106
  138. package/md_cg/condition_anchor.py +142 -142
  139. package/md_cg/conformance.py +726 -726
  140. package/md_cg/consistency.py +717 -717
  141. package/md_cg/consolidate.py +1537 -1439
  142. package/md_cg/corpus.py +110 -110
  143. package/md_cg/crosscheck.py +1098 -1097
  144. package/md_cg/crypto.py +3 -1
  145. package/md_cg/d_meta.py +310 -310
  146. package/md_cg/datapath.py +78 -18
  147. package/md_cg/docindex.py +473 -473
  148. package/md_cg/eval_common.py +575 -575
  149. package/md_cg/evidence.py +4 -2
  150. package/md_cg/evolution.py +477 -477
  151. package/md_cg/export.py +222 -220
  152. package/md_cg/forgetting.py +581 -581
  153. package/md_cg/fsutil.py +377 -329
  154. package/md_cg/hotcache.py +48 -7
  155. package/md_cg/hyperedge.py +251 -251
  156. package/md_cg/identity.py +390 -390
  157. package/md_cg/insight.py +500 -500
  158. package/md_cg/interop.py +338 -0
  159. package/md_cg/judgment_manifest.py +177 -0
  160. package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
  161. package/md_cg/lexicon/build_standard_en.py +171 -171
  162. package/md_cg/lexicon/expand_en_zh.py +211 -211
  163. package/md_cg/lifecycle.py +272 -272
  164. package/md_cg/linkref.py +280 -280
  165. package/md_cg/links.py +140 -107
  166. package/md_cg/mcp_server.py +403 -55
  167. package/md_cg/md_whitebox.py +345 -345
  168. package/md_cg/mdcg.py +783 -233
  169. package/md_cg/mdcos.py +500 -70
  170. package/md_cg/metacognition.py +591 -591
  171. package/md_cg/migrate.py +119 -119
  172. package/md_cg/migrate_aeis.py +221 -221
  173. package/md_cg/migrate_roleplay.py +293 -293
  174. package/md_cg/migrate_wisdom_graph.py +360 -360
  175. package/md_cg/mreview/__init__.py +25 -25
  176. package/md_cg/mreview/__main__.py +110 -110
  177. package/md_cg/mreview/bundle.py +178 -178
  178. package/md_cg/mreview/candidates.py +262 -262
  179. package/md_cg/mreview/govern.py +694 -693
  180. package/md_cg/mreview/locate.py +939 -939
  181. package/md_cg/mreview/pipeline.py +728 -728
  182. package/md_cg/mreview/rules/duplication.json +21 -21
  183. package/md_cg/mreview/rules/field_coverage.json +54 -54
  184. package/md_cg/mreview/rules/source_license.json +21 -21
  185. package/md_cg/mreview/rules/template_flow.json +21 -21
  186. package/md_cg/mreview/ruleset.py +252 -252
  187. package/md_cg/nodefile.py +575 -575
  188. package/md_cg/pooling.py +484 -472
  189. package/md_cg/postings.py +300 -298
  190. package/md_cg/predict.py +1100 -1100
  191. package/md_cg/progressive.py +123 -123
  192. package/md_cg/protect.py +272 -272
  193. package/md_cg/protocol/md_cg_gate.proto +33 -33
  194. package/md_cg/protocol.py +372 -372
  195. package/md_cg/provenance.py +582 -582
  196. package/md_cg/reach.py +453 -453
  197. package/md_cg/readcache.py +143 -0
  198. package/md_cg/reconcile.py +228 -0
  199. package/md_cg/refindex.py +833 -833
  200. package/md_cg/refine.py +604 -604
  201. package/md_cg/review_cli.py +170 -0
  202. package/md_cg/roleviews.py +89 -89
  203. package/md_cg/routing.py +393 -365
  204. package/md_cg/run_tests.py +211 -0
  205. package/md_cg/scrub.py +13 -3
  206. package/md_cg/security.py +128 -18
  207. package/md_cg/self_state.py +1029 -1029
  208. package/md_cg/selfreport.py +152 -151
  209. package/md_cg/semantic/__init__.py +10 -10
  210. package/md_cg/semantic/canonical.py +122 -122
  211. package/md_cg/semantic/en_normalizer.py +364 -364
  212. package/md_cg/semantic/en_zh_map.json +28694 -0
  213. package/md_cg/semantic/export_en_zh_map.py +64 -0
  214. package/md_cg/semantic/unify.py +45 -0
  215. package/md_cg/semantic/zh_en_atoms.py +139 -139
  216. package/md_cg/signer.py +7 -4
  217. package/md_cg/sources.py +816 -582
  218. package/md_cg/statushdr.py +179 -179
  219. package/md_cg/stg.py +54 -37
  220. package/md_cg/subgraph.py +729 -729
  221. package/md_cg/sustain.py +35 -5
  222. package/md_cg/tasks.py +470 -470
  223. package/md_cg/test_access_hints.py +147 -0
  224. package/md_cg/test_action_derive.py +203 -203
  225. package/md_cg/test_audit_rotate.py +270 -270
  226. package/md_cg/test_autonomy.py +143 -143
  227. package/md_cg/test_bench_governance.py +102 -102
  228. package/md_cg/test_blindspot_tickets.py +166 -166
  229. package/md_cg/test_branch_discard_tombstone.py +136 -0
  230. package/md_cg/test_branches.py +13 -3
  231. package/md_cg/test_ccg_perturb.py +184 -184
  232. package/md_cg/test_ccgc.py +433 -433
  233. package/md_cg/test_census_prune.py +81 -81
  234. package/md_cg/test_chain_read_isolate.py +168 -0
  235. package/md_cg/test_cond_compose_anchors.py +76 -76
  236. package/md_cg/test_cond_match.py +165 -165
  237. package/md_cg/test_condition_anchor.py +81 -81
  238. package/md_cg/test_d_meta.py +412 -412
  239. package/md_cg/test_datapath_device_name.py +203 -0
  240. package/md_cg/test_datapath_root.py +199 -199
  241. package/md_cg/test_emit_negtail_cache.py +156 -0
  242. package/md_cg/test_en_pipeline.py +22 -2
  243. package/md_cg/test_gain_gate.py +212 -212
  244. package/md_cg/test_govern_directread.py +421 -0
  245. package/md_cg/test_health_scale.py +173 -173
  246. package/md_cg/test_hive_ingest.py +285 -0
  247. package/md_cg/test_hot_cold.py +215 -215
  248. package/md_cg/test_hyperedge.py +245 -245
  249. package/md_cg/test_i26_empty_first_write.py +116 -0
  250. package/md_cg/test_i27_e041_identity.py +128 -0
  251. package/md_cg/test_i28_hotcache_prodpath.py +122 -0
  252. package/md_cg/test_i32_hotcache_env_key.py +218 -0
  253. package/md_cg/test_identity_attribution.py +96 -15
  254. package/md_cg/test_index_durability.py +17 -3
  255. package/md_cg/test_interop.py +95 -0
  256. package/md_cg/test_interop_judgment.py +228 -0
  257. package/md_cg/test_issue39_utf8_stdio.py +273 -0
  258. package/md_cg/test_lifecycle.py +309 -309
  259. package/md_cg/test_linkref.py +306 -306
  260. package/md_cg/test_links_concurrent_write.py +188 -0
  261. package/md_cg/test_lock.py +43 -43
  262. package/md_cg/test_md_access_parity.py +255 -255
  263. package/md_cg/test_md_writepath.py +345 -345
  264. package/md_cg/test_mdstore_search_parity.py +160 -0
  265. package/md_cg/test_merge_upsert.py +168 -0
  266. package/md_cg/test_mr_m2.py +587 -587
  267. package/md_cg/test_mr_m3.py +710 -710
  268. package/md_cg/test_mr_m4.py +485 -485
  269. package/md_cg/test_n123_derive_expiry_chain.py +205 -0
  270. package/md_cg/test_n130_verify_falsified_protect.py +185 -0
  271. package/md_cg/test_n131_merge_gate.py +205 -0
  272. package/md_cg/test_p0.py +250 -250
  273. package/md_cg/test_p1.py +316 -316
  274. package/md_cg/test_p10_identity.py +173 -173
  275. package/md_cg/test_p11_consistency.py +233 -233
  276. package/md_cg/test_p12_metacognition.py +212 -212
  277. package/md_cg/test_p13_encryption.py +241 -241
  278. package/md_cg/test_p14_sustain.py +249 -249
  279. package/md_cg/test_p15_scrub.py +280 -280
  280. package/md_cg/test_p16_self_state.py +301 -301
  281. package/md_cg/test_p17_predict.py +354 -354
  282. package/md_cg/test_p18_whitebox.py +171 -171
  283. package/md_cg/test_p19_migrate_roleplay.py +149 -149
  284. package/md_cg/test_p1x_ref_root.py +160 -0
  285. package/md_cg/test_p20_evolution.py +315 -315
  286. package/md_cg/test_p21_tokens.py +293 -270
  287. package/md_cg/test_p22_theory.py +175 -175
  288. package/md_cg/test_p23_links.py +311 -311
  289. package/md_cg/test_p24_evidence.py +227 -227
  290. package/md_cg/test_p25_weights.py +156 -156
  291. package/md_cg/test_p26_refindex.py +416 -416
  292. package/md_cg/test_p27_docindex.py +16 -7
  293. package/md_cg/test_p28_refcheck.py +305 -305
  294. package/md_cg/test_p29_session_ingest_export.py +354 -333
  295. package/md_cg/test_p2_mcp.py +3 -0
  296. package/md_cg/test_p3.py +11 -2
  297. package/md_cg/test_p30_maintain.py +330 -330
  298. package/md_cg/test_p31_insight.py +534 -534
  299. package/md_cg/test_p32_backfill.py +7 -1
  300. package/md_cg/test_p33_ccg_wiring.py +293 -293
  301. package/md_cg/test_p34_crosscheck.py +331 -331
  302. package/md_cg/test_p35_conditioned_claim.py +252 -252
  303. package/md_cg/test_p36_kp_align.py +230 -230
  304. package/md_cg/test_p37_condition_space.py +248 -248
  305. package/md_cg/test_p38_concurrent_flush.py +102 -0
  306. package/md_cg/test_p38_contextualize.py +273 -273
  307. package/md_cg/test_p39_verify_flow.py +153 -0
  308. package/md_cg/test_p39_vision_evidence.py +369 -369
  309. package/md_cg/test_p40_refine_worklist.py +241 -241
  310. package/md_cg/test_p41_evolve_patrol.py +224 -224
  311. package/md_cg/test_p42_provenance.py +269 -269
  312. package/md_cg/test_p43_pooling.py +412 -398
  313. package/md_cg/test_p44_md_whitebox.py +231 -231
  314. package/md_cg/test_p45_session_identity.py +219 -219
  315. package/md_cg/test_p46_unit_scope.py +272 -272
  316. package/md_cg/test_p47_session_view.py +316 -0
  317. package/md_cg/test_p4_fuzzy.py +223 -223
  318. package/md_cg/test_p5_semantic.py +226 -226
  319. package/md_cg/test_p6_consolidate.py +440 -387
  320. package/md_cg/test_p7_goals_recent.py +202 -202
  321. package/md_cg/test_p8_subgraph_chain.py +200 -200
  322. package/md_cg/test_p9_forget_protect.py +231 -231
  323. package/md_cg/test_predict_beta.py +135 -135
  324. package/md_cg/test_preflight_failclosed.py +100 -100
  325. package/md_cg/test_progressive.py +146 -146
  326. package/md_cg/test_propose_tail_index.py +157 -0
  327. package/md_cg/test_protocol.py +243 -243
  328. package/md_cg/test_reach.py +378 -378
  329. package/md_cg/test_reach_keys.py +201 -201
  330. package/md_cg/test_read_clip.py +141 -141
  331. package/md_cg/test_read_scope_b27.py +277 -0
  332. package/md_cg/test_readcache_default_on.py +168 -0
  333. package/md_cg/test_readcache_precise_inval.py +270 -0
  334. package/md_cg/test_readcache_prodpath.py +203 -0
  335. package/md_cg/test_reconcile_v0.py +294 -0
  336. package/md_cg/test_retr_gates_prodpath.py +140 -0
  337. package/md_cg/test_retr_s1.py +344 -340
  338. package/md_cg/test_retr_s1b.py +276 -209
  339. package/md_cg/test_retr_s3.py +194 -194
  340. package/md_cg/test_retr_s4.py +163 -163
  341. package/md_cg/test_retr_s5.py +200 -200
  342. package/md_cg/test_retr_s6.py +157 -157
  343. package/md_cg/test_retr_s7.py +392 -384
  344. package/md_cg/test_retr_s8_time.py +369 -316
  345. package/md_cg/test_retr_s9_edges.py +286 -286
  346. package/md_cg/test_retr_s9_entity_ctx.py +9 -3
  347. package/md_cg/test_retr_score_once.py +208 -0
  348. package/md_cg/test_review_conformance.py +367 -367
  349. package/md_cg/test_review_onepass.py +170 -0
  350. package/md_cg/test_role_views.py +354 -354
  351. package/md_cg/test_rrf_graph_seed_cache.py +154 -0
  352. package/md_cg/test_security_audit.py +155 -0
  353. package/md_cg/test_security_audit_b26.py +161 -0
  354. package/md_cg/test_security_audit_v21.py +250 -0
  355. package/md_cg/test_sem_noise.py +242 -242
  356. package/md_cg/test_semantic_canonical.py +16 -2
  357. package/md_cg/test_session_isolation.py +168 -0
  358. package/md_cg/test_snapshot_autoclose.py +187 -0
  359. package/md_cg/test_subproc_encoding.py +192 -192
  360. package/md_cg/test_sustain_mutual.py +153 -153
  361. package/md_cg/test_tail_watermark_race.py +208 -0
  362. package/md_cg/test_tasks.py +409 -409
  363. package/md_cg/test_tenant_env_override_warn.py +139 -0
  364. package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
  365. package/md_cg/test_tool_face.py +189 -189
  366. package/md_cg/test_transfer.py +180 -180
  367. package/md_cg/test_trust.py +361 -361
  368. package/md_cg/test_twophase.py +286 -286
  369. package/md_cg/test_v14_fixes.py +38 -20
  370. package/md_cg/test_validity_filter.py +280 -280
  371. package/md_cg/test_verify_answer.py +138 -138
  372. package/md_cg/test_verify_dirty_reconcile.py +157 -0
  373. package/md_cg/test_wisdom_md_store.py +292 -292
  374. package/md_cg/test_writelimit.py +197 -197
  375. package/md_cg/test_writepipe.py +214 -214
  376. package/md_cg/theory.py +6 -3
  377. package/md_cg/tokens.py +85 -14
  378. package/md_cg/tool_face.py +260 -260
  379. package/md_cg/trust.py +986 -950
  380. package/md_cg/twophase.py +231 -231
  381. package/md_cg/units.py +668 -667
  382. package/md_cg/vision_evidence.py +667 -666
  383. package/md_cg/weights.py +624 -624
  384. package/md_cg/whitebox.py +527 -527
  385. package/md_cg/whitebox_kb/__init__.py +37 -37
  386. package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
  387. package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
  388. package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
  389. package/md_cg/whitebox_kb/engine.py +310 -310
  390. package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
  391. package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
  392. package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
  393. package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
  394. package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
  395. package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
  396. package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
  397. package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
  398. package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
  399. package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
  400. package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
  401. package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
  402. package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
  403. package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
  404. package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
  405. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
  406. package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
  407. package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
  408. package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
  409. package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
  410. package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
  411. package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
  412. package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
  413. package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
  414. package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
  415. package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
  416. package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
  417. package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
  418. package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
  419. package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
  420. package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
  421. package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
  422. package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
  423. package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
  424. package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
  425. package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
  426. package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
  427. package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
  428. package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
  429. package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
  430. package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
  431. package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
  432. package/md_cg/writelimit.py +356 -356
  433. package/md_cg/writepipe.py +20 -8
  434. package/package.json +101 -96
  435. package/skills/plugin.json +54 -54
  436. package/skills/skills/designer-perspective/SKILL.md +158 -158
  437. package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
  438. package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
  439. package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
  440. package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
  441. package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
  442. package/skills/skills/designer-perspective/scripts/designer.py +545 -545
  443. package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
  444. package/skills/skills/designer-perspective/tests/selftest.py +61 -61
  445. package/skills/skills/lingshu-browser/SKILL.md +60 -60
  446. package/skills/skills/lingshu-compiler/SKILL.md +56 -56
  447. package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
  448. package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
  449. package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
  450. package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
  451. package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
  452. package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
  453. package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
  454. package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
  455. package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
  456. package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
  457. package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
  458. package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
  459. package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
  460. package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
  461. package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
  462. package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
  463. package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
  464. package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
  465. package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
  466. package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
  467. package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
  468. package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
  469. package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
  470. package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
  471. package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
  472. package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
  473. package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
  474. package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
  475. package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
  476. package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
  477. package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
  478. package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
  479. package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
  480. package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
  481. package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
  482. package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
  483. package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
  484. package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
  485. package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
  486. package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
  487. package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
  488. package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
  489. package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
  490. package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
  491. package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
  492. package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
  493. package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
  494. package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
  495. package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
  496. package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
  497. package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
  498. package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
  499. package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
  500. package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
  501. package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
  502. package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
  503. package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
  504. package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
  505. package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
  506. package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
  507. package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
  508. package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
  509. package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
  510. package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
  511. package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
  512. package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
  513. package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
  514. package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
  515. package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
  516. package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
  517. package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
  518. package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
  519. package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
  520. package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
  521. package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
  522. package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
  523. package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
  524. package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
  525. package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
  526. package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
  527. package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
  528. package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
  529. package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
  530. package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
  531. package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
  532. package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
  533. package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
  534. package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
  535. package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
  536. package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
  537. package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
  538. package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
  539. package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
  540. package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
  541. package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
  542. package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
  543. package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
  544. package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
  545. package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
  546. package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
  547. package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
  548. package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
  549. package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
  550. package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
  551. package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
  552. package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
  553. package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
  554. package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
  555. package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
  556. package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
  557. package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
  558. package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
  559. package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
  560. package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
  561. package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
  562. package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
  563. package/skills/skills/lingshu-graph/SKILL.md +63 -63
  564. package/skills/skills/lingshu-net/SKILL.md +48 -48
  565. package/skills/skills/lingshu-os/SKILL.md +64 -64
  566. package/skills/skills/lingshu-pylang/SKILL.md +71 -71
  567. package/src/bridge.ts +33 -0
  568. package/src/hooks.ts +38 -2
  569. package/src/index.ts +526 -518
  570. package/src/lib/datapath.ts +326 -326
  571. package/src/lib/mdcg_client.ts +413 -413
  572. package/src/lib/mutual.ts +428 -428
  573. package/src/lib/prompt_safety.ts +62 -62
  574. package/src/lib/python_path.ts +71 -71
  575. package/src/lib/roleplay_web.ts +116 -29
  576. package/src/lib/token_store.ts +13 -3
  577. package/src/tools.ts +212 -212
  578. package/zcode/AGENTS.md +11 -3
  579. package/zcode/README.md +41 -41
  580. /package/docs/{mdcg → hive}//344/270/273/344/273/243/347/220/206/345/255/220/344/273/243/347/220/206/350/256/260/345/277/206/346/236/266/346/236/204/350/256/276/350/256/241.md" +0 -0
package/md_cg/insight.py CHANGED
@@ -1,501 +1,501 @@
1
- # -*- coding: utf-8 -*-
2
- """洞察条件层(P2 · insight):洞见事件四件套。
3
-
4
- 对齐 `docs/mdcg/tool_table_v0.3.0.md`(insight_record / insight_verify /
5
- insight_report / insight_window)与 `docs/mdcg/灵枢82工具_功能整理与迁移映射_v0.1.md`
6
- §五 P2 缺口。
7
-
8
- 四件套
9
- ------
10
- - ``record`` 记录一条洞见事件 + C1–C8 条件快照(state=pending)
11
- - ``verify`` 用 V1/V2/V3 外部证据裁决 → verified / falsified;verified 重要度保底 0.9
12
- - ``report`` CER 条件有效洞见率 + 2×SE 显著性 + 层状态 reliable/watch/degraded
13
- - ``window`` 开窗条件:C1 ≥ 0.6 ∧ 跨域 ∧ 低压力
14
-
15
- 诚实边界(写进返回值,不靠调用方自觉)
16
- --------------------------------------
17
- - 本层只做**结构性记账与统计**,不产生洞见正文——正文必须由调用方给出,
18
- 缺失即报错,绝不臆造;
19
- - 窗口开 ≠ 洞见有效:``window`` 只回答「条件是否具备」,有效性一律交由
20
- ``verify`` 的外部证据说话;
21
- - 样本不足时 ``report`` 显式返回 ``insufficient`` 并**不给结论**(宁可不说)。
22
-
23
- 零第三方依赖。
24
- """
25
- from __future__ import annotations
26
-
27
- import hashlib
28
- import math
29
- import os
30
- import time
31
-
32
- from .fsutil import append_jsonl
33
-
34
- INSIGHT_LOG = "_insight.jsonl"
35
- INSIGHT_LAYER = "contextual" # 条件层:低阶情境记录,不承担事实断言
36
- TAG_EVENT = "insight_event"
37
- TAG_VERIFIED = "insight_verified"
38
- TAG_FALSIFIED = "insight_falsified"
39
-
40
- STATE_PENDING = "pending"
41
- STATE_VERIFIED = "verified"
42
- STATE_FALSIFIED = "falsified"
43
-
44
- C1_WINDOW_MIN = 0.6 # C1 可检索度开窗门槛
45
- V1_MIN_EVIDENCE = 3 # V1(可检索/被引用)需 ≥3 条才成立
46
- IMPORTANCE_FLOOR = 0.9 # verified 后的重要度保底(对齐工具表)
47
- CER_MIN_SAMPLES = 20 # 样本 < 20 不判定层状态
48
-
49
- PRESSURES = ("low", "medium", "high")
50
- TONES = ("neutral", "curious", "defensive", "urgent")
51
-
52
- # C1–C8 条件快照字段(顺序即编号,便于审计对读)
53
- CONDITION_KEYS = ("retrievability", "outside_observer", "cross_domain",
54
- "premise_questioned", "pressure", "continuity_turns",
55
- "externalized", "tone")
56
- V_TYPES = ("v1", "v2", "v3")
57
- V_LABELS = {"v1": "可检索/被引用", "v2": "实践重复", "v3": "外部确证"}
58
-
59
-
60
- # ---------------------------------------------------------------- 基础
61
-
62
- # 生效条件:cg 可提供 root 时返回 os.path.join(cg.root, INSIGHT_LOG)。
63
- def log_path(cg):
64
- return os.path.join(cg.root, INSIGHT_LOG)
65
-
66
-
67
- # 生效条件:向 log_path(cg) 追加 JSONL 的调用若抛任何异常都会被 except Exception 吞掉,无论成败最终都返回 rec。
68
- def _append(cg, rec):
69
- """留痕(best-effort):审计不该反过来打断主流程。"""
70
- try:
71
- append_jsonl(log_path(cg), rec)
72
- except Exception: # noqa: BLE001
73
- pass
74
- return rec
75
-
76
-
77
- # 生效条件:getattr(cg,"index",None) 或其 "nodes" 为 None/假值时返回空列表,否则返回 nodes 中 (e or {}).get("tags") or [] 含 TAG_EVENT 的节点 id 列表。
78
- def _events(cg):
79
- """全部洞见事件节点 id(按 index 层标签粗筛,避免全量读盘)。"""
80
- nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
81
- return [nid for nid, e in nodes.items()
82
- if TAG_EVENT in ((e or {}).get("tags") or [])]
83
-
84
-
85
- # 生效条件:cg 具备 get,node_id 经 str(node_id or "").strip() 后非空(0/空串等假值回落空串即返回 None)、cg.get(nid) 返回真值节点、且该节点 frontmatter 的 tags(缺键或假值时按 [] 计)包含 TAG_EVENT 时返回该节点,否则返回 None。
86
- def _read_event(cg, node_id):
87
- """读洞见事件节点;非事件节点(标签不符)返回 None。"""
88
- nid = str(node_id or "").strip()
89
- if not nid:
90
- return None
91
- try:
92
- node = cg.get(nid)
93
- except Exception: # noqa: BLE001
94
- return None
95
- if not node:
96
- return None
97
- fm = node.get("frontmatter") or {}
98
- if TAG_EVENT not in (fm.get("tags") or []):
99
- return None
100
- return node
101
-
102
-
103
- # ---------------------------------------------------------------- 条件快照
104
-
105
- # 生效条件:conditions 为 None/假值时按空 dict 处理且 missing 登记 CONDITION_KEYS 中不在其中的键;retrievability 由 raw.get("retrievability",0.0) or 0.0 转 float(失败落 0.0)并截断到 [0,1],pressure/tone 不在 PRESSURES/TONES 白名单(含空串回落 "medium"/"neutral")时落 "medium"/"neutral",cross_domain 为字符串时包成单元素列表再排序去重,continuity_turns 经 int(raw.get(...) or 0)(失败落 0)取 max(0,·)。
106
- def normalize(conditions=None):
107
- """C1–C8 归一化;**缺失项显式登记**而不是静默补默认值。"""
108
- raw = dict(conditions or {})
109
- missing = [k for k in CONDITION_KEYS if k not in raw]
110
- out = {}
111
- try:
112
- c1 = float(raw.get("retrievability", 0.0) or 0.0)
113
- except (TypeError, ValueError):
114
- c1 = 0.0
115
- out["retrievability"] = min(1.0, max(0.0, c1))
116
- out["outside_observer"] = bool(raw.get("outside_observer", False))
117
- cd = raw.get("cross_domain") or []
118
- if isinstance(cd, str):
119
- cd = [cd]
120
- out["cross_domain"] = sorted({str(x) for x in cd})
121
- out["premise_questioned"] = bool(raw.get("premise_questioned", False))
122
- pr = str(raw.get("pressure") or "medium").strip().lower()
123
- out["pressure"] = pr if pr in PRESSURES else "medium"
124
- try:
125
- out["continuity_turns"] = max(0, int(raw.get("continuity_turns") or 0))
126
- except (TypeError, ValueError):
127
- out["continuity_turns"] = 0
128
- out["externalized"] = bool(raw.get("externalized", False))
129
- tn = str(raw.get("tone") or "neutral").strip().lower()
130
- out["tone"] = tn if tn in TONES else "neutral"
131
- return {"conditions": out, "missing": missing}
132
-
133
-
134
- # 生效条件:conditions 经 normalize 后,retrievability ≥ C1_WINDOW_MIN、cross_domain 非空、pressure == "low" 三者同时成立时 open 为 True 且 blocked_by 为空,否则 blocked_by 列出未通过的闸门键名。
135
- def window(conditions=None):
136
- """开窗判定:C1 ≥ 0.6 ∧ 跨域(≥1 个域)∧ 低压力。
137
-
138
- 返回逐闸门结果与阻塞项,便于调用方知道「差在哪」,而不是只拿到一个 bool。
139
- """
140
- n = normalize(conditions)
141
- c = n["conditions"]
142
- gates = {
143
- "c1_retrievable": c["retrievability"] >= C1_WINDOW_MIN,
144
- "cross_domain": bool(c["cross_domain"]),
145
- "low_pressure": c["pressure"] == "low",
146
- }
147
- blocked = [k for k, ok in gates.items() if not ok]
148
- return {"open": not blocked, "gates": gates, "blocked_by": blocked,
149
- "c1": c["retrievability"], "c1_min": C1_WINDOW_MIN,
150
- "conditions": c, "missing": n["missing"],
151
- "note": "开窗仅表示「条件具备」;是否有效一律由 verify 的外部证据裁决"}
152
-
153
-
154
- # 生效条件:任意 statement(假值按 "" 计)与 ts(None/0 等假值时回落 time.time())下恒返回 "ins_%d_%s",其中时间数字为 int(ts or time.time())、哈希为 str(statement or "").encode("utf-8") 的 sha1 前 8 位。
155
- def event_id(statement, ts=None):
156
- return "ins_%d_%s" % (int(ts or time.time()),
157
- hashlib.sha1(str(statement or "").encode("utf-8")).hexdigest()[:8])
158
-
159
-
160
- # ---------------------------------------------------------------- record
161
-
162
- # 生效条件:cg 具备 add/_append,statement 经 str(statement or "").strip() 为空时抛 ValueError;非空时以 str(node_id or event_id(statement)).strip() 为 nid(node_id 假值时回落到 event_id(statement)),_read_event 命中已有事件则返回 duplicate=True/existed_before=True 且 state 取该节点 frontmatter 的 insight_state,未命中则以 STATE_PENDING 写入新节点并返回 duplicate=False/existed_before=False,返回中的 window 来自 window(conditions)。
163
- def record(cg, statement=None, conditions=None, category="", source="",
164
- tags=None, importance=0.5, node_id=None, actor=None, **extra):
165
- """记录一条洞见事件(pending)+ C1–C8 条件快照。
166
-
167
- ``statement`` 必填:洞见正文由调用方给出,本层不臆造;缺正文直接报错。
168
- 幂等:同一正文派生同一 id,重复调用不重复写盘。
169
- """
170
- statement = str(statement or "").strip()
171
- if not statement:
172
- raise ValueError("insight record 需要 statement:洞见正文由调用方给出,本层不臆造")
173
- w = window(conditions)
174
- nid = str(node_id or event_id(statement)).strip()
175
- existing = _read_event(cg, nid)
176
- if existing:
177
- fm = existing.get("frontmatter") or {}
178
- _append(cg, {"action": "record", "node_id": nid, "duplicate": True,
179
- "actor": actor, "ts": time.time()})
180
- return {"ok": True, "action": "record", "node_id": nid,
181
- "state": fm.get("insight_state"), "window": w,
182
- "existed_before": True, "duplicate": True,
183
- "note": "同正文事件已存在,未重复写入(幂等)"}
184
- tg = [TAG_EVENT] + [str(t) for t in (tags or [])]
185
- if category:
186
- tg.append("insight_cat:%s" % category)
187
- body = statement if statement.endswith("\n") else statement + "\n"
188
- fm_extra = {
189
- "insight_state": STATE_PENDING,
190
- "insight_category": category,
191
- "insight_source": source,
192
- "insight_conditions": w["conditions"],
193
- "insight_missing": w["missing"],
194
- "insight_window_open": bool(w["open"]),
195
- "insight_statement": statement,
196
- "insight_evidence": [],
197
- "insight_history": [],
198
- }
199
- fm_extra.update(extra)
200
- cg.add(nid, body, layer=INSIGHT_LAYER, tags=tg,
201
- importance=float(importance), actor=actor, **fm_extra)
202
- _append(cg, {"action": "record", "node_id": nid, "category": category,
203
- "source": source, "window_open": w["open"],
204
- "blocked_by": w["blocked_by"], "missing": w["missing"],
205
- "actor": actor, "ts": time.time()})
206
- return {"ok": True, "action": "record", "node_id": nid, "state": STATE_PENDING,
207
- "window": w, "existed_before": False, "duplicate": False,
208
- "note": "已记录为 pending;有效性待 verify 的外部证据裁决"}
209
-
210
-
211
- # ---------------------------------------------------------------- verify
212
-
213
- # 生效条件:evidence 为 str/dict 时先包成单元素列表、为 None 或假值时按 [] 遍历;每个 dict 项 type 经 str(...).strip().lower() 属 V_TYPES 才保留否则回落 "v1",ref 取 item.get("ref") 或 item.get("source") 或 ""、note 取 item.get("note") 或 "",非 dict 项一律记为 {"type":"v1","ref":str(item),"note":""};v_types 中仅 strip().lower() 后属 V_TYPES 的项追加空 ref/note 条目,最终返回 out。
214
- def _normalize_evidence(evidence=None, v_types=None):
215
- """证据归一化:接受 ``["ref", ...]`` / ``[{"type","ref","note"}]`` / ``v_types``。"""
216
- ev = evidence
217
- if isinstance(ev, (str, dict)):
218
- ev = [ev]
219
- out = []
220
- for item in (ev or []):
221
- if isinstance(item, dict):
222
- t = str(item.get("type") or "").strip().lower()
223
- out.append({"type": t if t in V_TYPES else "v1",
224
- "ref": str(item.get("ref") or item.get("source") or ""),
225
- "note": str(item.get("note") or "")})
226
- else:
227
- out.append({"type": "v1", "ref": str(item), "note": ""})
228
- for t in (v_types or []):
229
- t = str(t).strip().lower()
230
- if t in V_TYPES:
231
- out.append({"type": t, "ref": "", "note": ""})
232
- return out
233
-
234
-
235
- # 生效条件:_read_event(cg,node_id) 取不到事件节点、或 verdict 经 str(verdict or "").strip().lower() 后非空且不是 verified/falsified 时抛 ValueError;verdict 为 None 或空白时按 v3 → v2 → v1 条数 ≥ V1_MIN_EVIDENCE 的顺序定 verified,有证据但不达门槛或无证据则保持 STATE_PENDING 并附 reason;显式 verdict 直接采信,verified 分支重要度保底 IMPORTANCE_FLOOR 并置保护位,falsified 分支打 TAG_FALSIFIED。
236
- def verify(cg, node_id=None, evidence=None, v_types=None, verdict=None,
237
- actor=None, note=""):
238
- """用 V1/V2/V3 外部证据裁决洞见事件。
239
-
240
- 判定规则(先声明后判定,避免「有证据就算过」):
241
- · 显式 ``verdict``(verified/falsified)→ 直接采信(证伪只能由此路径产生);
242
- · V3 外部确证 或 V2 实践重复 → verified;
243
- · V1 可检索/被引用 需 **≥ V1_MIN_EVIDENCE 条** 才成立;
244
- · 其余(无证据 / V1 不足)→ **保持 pending 并给出原因**,不判定。
245
- verified 后:重要度保底 0.9(``IMPORTANCE_FLOOR``)并置保护位。
246
- """
247
- node = _read_event(cg, node_id)
248
- if not node:
249
- raise ValueError("不是有效的洞见事件节点:%r" % (node_id,))
250
- fm = dict(node.get("frontmatter") or {})
251
- ev = _normalize_evidence(evidence, v_types)
252
- kinds = {e["type"] for e in ev}
253
- explicit = str(verdict or "").strip().lower() or None
254
- if explicit is not None and explicit not in (STATE_VERIFIED, STATE_FALSIFIED):
255
- raise ValueError("verdict 只能是 verified / falsified / None:%r" % (verdict,))
256
-
257
- final, reason = explicit, ""
258
- if final is None:
259
- if "v3" in kinds:
260
- final, reason = STATE_VERIFIED, "V3 外部确证"
261
- elif "v2" in kinds:
262
- final, reason = STATE_VERIFIED, "V2 实践重复"
263
- elif sum(1 for e in ev if e["type"] == "v1") >= V1_MIN_EVIDENCE:
264
- final, reason = STATE_VERIFIED, "V1 可检索/被引用 ≥ %d 条" % V1_MIN_EVIDENCE
265
- elif ev:
266
- reason = ("仅 V1 证据且不足 %d 条:不判定,保持 pending"
267
- % V1_MIN_EVIDENCE)
268
- else:
269
- reason = "无外部证据:不判定,保持 pending(窗口开不等于有效)"
270
- if final is None:
271
- _append(cg, {"action": "verify", "node_id": node_id, "state": STATE_PENDING,
272
- "decided": False, "reason": reason, "evidence": ev,
273
- "actor": actor, "ts": time.time()})
274
- return {"ok": True, "action": "verify", "node_id": node_id,
275
- "state": STATE_PENDING, "decided": False, "reason": reason,
276
- "evidence": ev, "importance": fm.get("importance"),
277
- "note": "未达判定门槛,保持 pending"}
278
-
279
- hist = list(fm.get("insight_history") or [])
280
- hist.append({"ts": time.time(), "from": fm.get("insight_state"),
281
- "to": final, "reason": reason or "显式裁决",
282
- "actor": actor, "note": note})
283
- fm["insight_state"] = final
284
- fm["insight_evidence"] = list(fm.get("insight_evidence") or []) + ev
285
- fm["insight_history"] = hist
286
- fm["insight_reason"] = reason or "显式裁决"
287
- tg = [t for t in (fm.get("tags") or []) if t not in (TAG_VERIFIED, TAG_FALSIFIED)]
288
- if final == STATE_VERIFIED:
289
- tg.append(TAG_VERIFIED)
290
- fm["importance"] = max(float(fm.get("importance") or 0.0), IMPORTANCE_FLOOR)
291
- fm["protected"] = True
292
- fm["protection_reason"] = "insight_verified"
293
- fm["verification_basis"] = "data"
294
- else:
295
- tg.append(TAG_FALSIFIED)
296
- fm["tags"] = tg
297
- cg._write_node(node_id, os.path.join(cg.root, node["path"]), fm,
298
- node.get("content") or "")
299
- ent = ((getattr(cg, "index", None) or {}).get("nodes") or {}).get(node_id)
300
- if isinstance(ent, dict):
301
- ent["importance"] = fm.get("importance")
302
- ent["tags"] = list(tg)
303
- ent["insight_state"] = final
304
- _append(cg, {"action": "verify", "node_id": node_id, "state": final,
305
- "decided": True, "reason": reason or "显式裁决",
306
- "evidence": ev, "importance": fm.get("importance"),
307
- "actor": actor, "ts": time.time()})
308
- return {"ok": True, "action": "verify", "node_id": node_id, "state": final,
309
- "decided": True, "reason": reason or "显式裁决", "evidence": ev,
310
- "evidence_count": len(fm["insight_evidence"]),
311
- "importance": fm.get("importance"),
312
- "protected": bool(fm.get("protected")),
313
- "note": "verified 后重要度保底 %s 并置保护位" % IMPORTANCE_FLOOR}
314
-
315
-
316
- # ---------------------------------------------------------------- list / report
317
-
318
- # 生效条件:state 为真值时只保留 insight_state 与之相等的项(state 为 None/空串等假值则不过滤),limit 为 0 等假值时返回按 created_at 排序后的全部列表,limit 为真值时返回 out[-int(limit):]——limit 为负时该切片等价于 out[|limit|:],即去掉排序后前 |limit| 条而非取前 |limit| 条。
319
- def list_events(cg, state=None, limit=0):
320
- out = []
321
- for nid in _events(cg):
322
- node = _read_event(cg, nid)
323
- if not node:
324
- continue
325
- fm = node.get("frontmatter") or {}
326
- st = fm.get("insight_state")
327
- if state and st != state:
328
- continue
329
- out.append({"node_id": nid, "state": st,
330
- "category": fm.get("insight_category"),
331
- "importance": fm.get("importance"),
332
- "window_open": bool(fm.get("insight_window_open")),
333
- "created_at": fm.get("created_at"),
334
- "evidence_count": len(fm.get("insight_evidence") or []),
335
- "reason": fm.get("insight_reason")})
336
- out.sort(key=lambda x: x.get("created_at") or 0)
337
- return out[-int(limit):] if limit else out
338
-
339
-
340
- # 生效条件:now 为 None/0 等假值时取 time.time(),window_days 为真值时按 now - window_days*86400 过滤 created_at;已裁决数 verified+falsified < CER_MIN_SAMPLES 时直接返回 cer/se/two_se/significant 为 None、layer_state="insufficient" 的结果,否则按 p=verified/denom 算出 se 与 significant,significant 为假时 p<0.3 取 degraded、否则 watch,significant 为真时 p≥0.5 取 reliable、否则 watch。
341
- def report(cg, window_days=None, now=None):
342
- """CER 条件有效洞见率报告(样本不足不判定)。
343
-
344
- CER = verified /(verified + falsified);显著性带宽 = 2×SE,
345
- SE = sqrt(p(1-p)/n)。层状态:reliable / watch / degraded / insufficient。
346
- """
347
- now = float(now or time.time())
348
- events = list_events(cg)
349
- if window_days:
350
- lo = now - float(window_days) * 86400.0
351
- events = [e for e in events if (e.get("created_at") or 0) >= lo]
352
- n = len(events)
353
- verified = sum(1 for e in events if e["state"] == STATE_VERIFIED)
354
- falsified = sum(1 for e in events if e["state"] == STATE_FALSIFIED)
355
- pending = sum(1 for e in events if e["state"] == STATE_PENDING)
356
- open_windows = sum(1 for e in events if e["window_open"])
357
- denom = verified + falsified
358
- out = {"ok": True, "action": "report", "op": "insight",
359
- "window_days": window_days, "recorded": n,
360
- "verified": verified, "falsified": falsified, "pending": pending,
361
- "decided": denom, "window_open_count": open_windows,
362
- "window_open_rate": (round(open_windows / n, 4) if n else None),
363
- "sample_min": CER_MIN_SAMPLES, "cer": None, "se": None, "two_se": None,
364
- "significant": None, "layer_state": "insufficient", "note": ""}
365
- if denom < CER_MIN_SAMPLES:
366
- out["note"] = ("样本不足(已裁决 %d < %d):按纪律不判定层状态,"
367
- "避免小样本过拟合" % (denom, CER_MIN_SAMPLES))
368
- return out
369
- p = verified / denom
370
- se = math.sqrt(max(0.0, p * (1.0 - p)) / denom)
371
- out.update({"cer": round(p, 4), "se": round(se, 4),
372
- "two_se": round(2 * se, 4), "significant": bool(p > 2 * se)})
373
- if not out["significant"]:
374
- out["layer_state"] = "degraded" if p < 0.3 else "watch"
375
- else:
376
- out["layer_state"] = "reliable" if p >= 0.5 else "watch"
377
- out["note"] = ("CER = 已验证 /(已验证 + 已证伪);2×SE 为显著性带宽;"
378
- "reliable/watch/degraded 只描述条件层有效性趋势,不构成结论")
379
- return out
380
-
381
-
382
- # ---------------------------------------------------------------- outlook
383
-
384
- # 生效条件:entry 为假值或 (entry or {}).get("layer") 为假值时返回 "unknown",否则返回该 layer 值的 str 形式。
385
- def _layer_of(entry):
386
- return str((entry or {}).get("layer") or "unknown")
387
-
388
-
389
- # 生效条件:values 为空/假值时返回 min/p50/p90/max 全为 None 的字典,否则对 sorted(values) 取 0.0/0.5/0.9/1.0 位置的值并各自 round(·,4)。
390
- def _quartiles(values):
391
- if not values:
392
- return {"min": None, "p50": None, "p90": None, "max": None}
393
- vs = sorted(values)
394
- # 生效条件:给定 f 与闭包列表 vs,取下标 i = min(len(vs)-1, max(0, int(round(f*(len(vs)-1)))))(f 越界被夹到两端)并返回 round(vs[i], 4);vs 为空时 min 得到 -1 的取值行为源码未做校验。
395
- def _q(f):
396
- i = min(len(vs) - 1, max(0, int(round(f * (len(vs) - 1)))))
397
- return round(vs[i], 4)
398
- return {"min": _q(0.0), "p50": _q(0.5), "p90": _q(0.9), "max": _q(1.0)}
399
-
400
-
401
- # 生效条件:cg.index(取不到或假值时 nodes 为空、total=0 使 protected_rate 与 growth 回落 None)与 now(假值时回落 time.time())决定 d1,float(recent_days) 参与 lo_recent 计算,window_days 透传 report 得 d2;suggestions 依序在 basis["unset"] 非零、hi_imp_unprotected 非空、no_neg 非零、pending>=3、layers["unresolved"] 非零、contextual>max(3, knowledge)、rep["layer_state"]=="insufficient" 时各自追加一条,high_importance_unprotected 取排序后前 sample_limit 项(sample_limit=0 时为空列表)。
402
- def outlook(cg, window_days=None, sample_limit=8, recent_days=7, now=None):
403
- """结构洞察:D1 结构判断 + D2 盲区与趋势建议(只读)。
404
-
405
- D1 —— 关于**自身记忆结构**的判断:分层分布、重要度分位、保护率、验证基底
406
- 分布、条件缺口(缺不适用条件)比例、近期增长。
407
- D2 —— 盲区与趋势建议:洞见层 CER 报告、未裁决堆积、unresolved/无锚点盲区、
408
- 以及**可执行的下一步建议**(带证据与建议调用)。
409
-
410
- 诚实边界:本函数只做**结构描述与差距定位**,不判有效性、不替调用方下结论;
411
- 样本不足或指标缺失时返回 None / 显式缺口,而不是编一个数。
412
- """
413
- now = float(now or time.time())
414
- nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
415
- total = len(nodes)
416
- layers, basis = {}, {}
417
- imps, protected, no_neg, recent = [], 0, 0, 0
418
- lo_recent = now - float(recent_days) * 86400.0
419
- hi_imp_unprotected = []
420
- for nid, e in nodes.items():
421
- e = e or {}
422
- layers[_layer_of(e)] = layers.get(_layer_of(e), 0) + 1
423
- b = str(e.get("verification_basis") or "unset")
424
- basis[b] = basis.get(b, 0) + 1
425
- try:
426
- iv = float(e.get("importance") or 0.0)
427
- except (TypeError, ValueError):
428
- iv = 0.0
429
- imps.append(iv)
430
- if e.get("protected"):
431
- protected += 1
432
- elif iv >= IMPORTANCE_FLOOR:
433
- hi_imp_unprotected.append(nid)
434
- if not e.get("has_neg_conditions"):
435
- no_neg += 1
436
- ca = e.get("created_at")
437
- if ca and float(ca) >= lo_recent:
438
- recent += 1
439
-
440
- events = list_events(cg)
441
- pending = sum(1 for x in events if x["state"] == STATE_PENDING)
442
- rep = report(cg, window_days=window_days, now=now)
443
-
444
- d1 = {
445
- "total": total,
446
- "layers": dict(sorted(layers.items(), key=lambda kv: (-kv[1], kv[0]))),
447
- "importance": _quartiles(imps),
448
- "protected": protected,
449
- "protected_rate": (round(protected / total, 4) if total else None),
450
- "verification_basis": dict(sorted(basis.items(), key=lambda kv: (-kv[1], kv[0]))),
451
- "missing_non_applicable": no_neg,
452
- "missing_non_applicable_rate": (round(no_neg / total, 4) if total else None),
453
- "recent_%dd" % int(recent_days): recent,
454
- "growth_%dd" % int(recent_days): (round(recent / total, 4) if total else None),
455
- }
456
- d2 = {
457
- "insight": {"recorded": rep["recorded"], "pending": rep["pending"],
458
- "verified": rep["verified"], "falsified": rep["falsified"],
459
- "cer": rep["cer"], "two_se": rep["two_se"],
460
- "layer_state": rep["layer_state"], "sample_min": rep["sample_min"]},
461
- "unresolved_nodes": layers.get("unresolved", 0),
462
- "high_importance_unprotected": sorted(hi_imp_unprotected)[:sample_limit],
463
- }
464
-
465
- suggestions = []
466
- if basis.get("unset", 0):
467
- suggestions.append({"priority": "P0", "action": "补验证基底",
468
- "evidence": "%d 个节点 verification_basis 缺失" % basis["unset"],
469
- "call": 'cg(op="maintain", action="importance", apply=true)'})
470
- if hi_imp_unprotected:
471
- suggestions.append({"priority": "P0", "action": "给高重要度节点补保护/裁决",
472
- "evidence": "%d 个高重要度节点未保护" % len(hi_imp_unprotected),
473
- "call": 'cg(op="insight", action="verify", node_id=..., evidence=[...])'})
474
- if no_neg:
475
- suggestions.append({"priority": "P1", "action": "补不适用条件(提升可判定性)",
476
- "evidence": "%d 个节点缺不适用条件" % no_neg,
477
- "call": 'cg(op="maintain", action="importance", apply=true)'})
478
- if pending >= 3:
479
- suggestions.append({"priority": "P1", "action": "给堆积的洞见补外部证据",
480
- "evidence": "%d 条 pending 洞见未裁决" % pending,
481
- "call": 'cg(op="insight", action="list", state="pending")'})
482
- if layers.get("unresolved"):
483
- suggestions.append({"priority": "P1", "action": "把未决查询转入盲区学习闭环",
484
- "evidence": "%d 条 unresolved" % layers["unresolved"],
485
- "call": 'cg(op="insight", action="learn", apply=true)'})
486
- if layers.get("contextual", 0) > max(3, layers.get("knowledge", 0)):
487
- suggestions.append({"priority": "P2", "action": "归纳情境记忆为概念层",
488
- "evidence": "contextual %d > knowledge %d"
489
- % (layers.get("contextual", 0),
490
- layers.get("knowledge", 0)),
491
- "call": 'cg(op="consolidate", action="induce", apply=true)'})
492
- if rep["layer_state"] == "insufficient":
493
- suggestions.append({"priority": "P2", "action": "积累洞见样本后再判层状态",
494
- "evidence": "已裁决 %d < %d" % (rep["decided"], rep["sample_min"]),
495
- "call": 'cg(op="insight", action="report")'})
496
-
497
- return {"ok": True, "action": "outlook", "op": "insight",
498
- "d1": d1, "d2": d2, "suggestions": suggestions,
499
- "generated_at": now,
500
- "note": ("结构描述与差距定位,不判有效性;suggestions 按优先级给出,"
1
+ # -*- coding: utf-8 -*-
2
+ """洞察条件层(P2 · insight):洞见事件四件套。
3
+
4
+ 对齐 `docs/mdcg/tool_table_v0.3.0.md`(insight_record / insight_verify /
5
+ insight_report / insight_window)与 `docs/mdcg/灵枢82工具_功能整理与迁移映射_v0.1.md`
6
+ §五 P2 缺口。
7
+
8
+ 四件套
9
+ ------
10
+ - ``record`` 记录一条洞见事件 + C1–C8 条件快照(state=pending)
11
+ - ``verify`` 用 V1/V2/V3 外部证据裁决 → verified / falsified;verified 重要度保底 0.9
12
+ - ``report`` CER 条件有效洞见率 + 2×SE 显著性 + 层状态 reliable/watch/degraded
13
+ - ``window`` 开窗条件:C1 ≥ 0.6 ∧ 跨域 ∧ 低压力
14
+
15
+ 诚实边界(写进返回值,不靠调用方自觉)
16
+ --------------------------------------
17
+ - 本层只做**结构性记账与统计**,不产生洞见正文——正文必须由调用方给出,
18
+ 缺失即报错,绝不臆造;
19
+ - 窗口开 ≠ 洞见有效:``window`` 只回答「条件是否具备」,有效性一律交由
20
+ ``verify`` 的外部证据说话;
21
+ - 样本不足时 ``report`` 显式返回 ``insufficient`` 并**不给结论**(宁可不说)。
22
+
23
+ 零第三方依赖。
24
+ """
25
+ from __future__ import annotations
26
+
27
+ import hashlib
28
+ import math
29
+ import os
30
+ import time
31
+
32
+ from .fsutil import append_jsonl
33
+
34
+ INSIGHT_LOG = "_insight.jsonl"
35
+ INSIGHT_LAYER = "contextual" # 条件层:低阶情境记录,不承担事实断言
36
+ TAG_EVENT = "insight_event"
37
+ TAG_VERIFIED = "insight_verified"
38
+ TAG_FALSIFIED = "insight_falsified"
39
+
40
+ STATE_PENDING = "pending"
41
+ STATE_VERIFIED = "verified"
42
+ STATE_FALSIFIED = "falsified"
43
+
44
+ C1_WINDOW_MIN = 0.6 # C1 可检索度开窗门槛
45
+ V1_MIN_EVIDENCE = 3 # V1(可检索/被引用)需 ≥3 条才成立
46
+ IMPORTANCE_FLOOR = 0.9 # verified 后的重要度保底(对齐工具表)
47
+ CER_MIN_SAMPLES = 20 # 样本 < 20 不判定层状态
48
+
49
+ PRESSURES = ("low", "medium", "high")
50
+ TONES = ("neutral", "curious", "defensive", "urgent")
51
+
52
+ # C1–C8 条件快照字段(顺序即编号,便于审计对读)
53
+ CONDITION_KEYS = ("retrievability", "outside_observer", "cross_domain",
54
+ "premise_questioned", "pressure", "continuity_turns",
55
+ "externalized", "tone")
56
+ V_TYPES = ("v1", "v2", "v3")
57
+ V_LABELS = {"v1": "可检索/被引用", "v2": "实践重复", "v3": "外部确证"}
58
+
59
+
60
+ # ---------------------------------------------------------------- 基础
61
+
62
+ # 生效条件:cg 可提供 root 时返回 os.path.join(cg.root, INSIGHT_LOG)。
63
+ def log_path(cg):
64
+ return os.path.join(cg.root, INSIGHT_LOG)
65
+
66
+
67
+ # 生效条件:向 log_path(cg) 追加 JSONL 的调用若抛任何异常都会被 except Exception 吞掉,无论成败最终都返回 rec。
68
+ def _append(cg, rec):
69
+ """留痕(best-effort):审计不该反过来打断主流程。"""
70
+ try:
71
+ append_jsonl(log_path(cg), rec)
72
+ except Exception: # noqa: BLE001
73
+ pass
74
+ return rec
75
+
76
+
77
+ # 生效条件:getattr(cg,"index",None) 或其 "nodes" 为 None/假值时返回空列表,否则返回 nodes 中 (e or {}).get("tags") or [] 含 TAG_EVENT 的节点 id 列表。
78
+ def _events(cg):
79
+ """全部洞见事件节点 id(按 index 层标签粗筛,避免全量读盘)。"""
80
+ nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
81
+ return [nid for nid, e in nodes.items()
82
+ if TAG_EVENT in ((e or {}).get("tags") or [])]
83
+
84
+
85
+ # 生效条件:cg 具备 get,node_id 经 str(node_id or "").strip() 后非空(0/空串等假值回落空串即返回 None)、cg.get(nid) 返回真值节点、且该节点 frontmatter 的 tags(缺键或假值时按 [] 计)包含 TAG_EVENT 时返回该节点,否则返回 None。
86
+ def _read_event(cg, node_id):
87
+ """读洞见事件节点;非事件节点(标签不符)返回 None。"""
88
+ nid = str(node_id or "").strip()
89
+ if not nid:
90
+ return None
91
+ try:
92
+ node = cg.get(nid)
93
+ except Exception: # noqa: BLE001
94
+ return None
95
+ if not node:
96
+ return None
97
+ fm = node.get("frontmatter") or {}
98
+ if TAG_EVENT not in (fm.get("tags") or []):
99
+ return None
100
+ return node
101
+
102
+
103
+ # ---------------------------------------------------------------- 条件快照
104
+
105
+ # 生效条件:conditions 为 None/假值时按空 dict 处理且 missing 登记 CONDITION_KEYS 中不在其中的键;retrievability 由 raw.get("retrievability",0.0) or 0.0 转 float(失败落 0.0)并截断到 [0,1],pressure/tone 不在 PRESSURES/TONES 白名单(含空串回落 "medium"/"neutral")时落 "medium"/"neutral",cross_domain 为字符串时包成单元素列表再排序去重,continuity_turns 经 int(raw.get(...) or 0)(失败落 0)取 max(0,·)。
106
+ def normalize(conditions=None):
107
+ """C1–C8 归一化;**缺失项显式登记**而不是静默补默认值。"""
108
+ raw = dict(conditions or {})
109
+ missing = [k for k in CONDITION_KEYS if k not in raw]
110
+ out = {}
111
+ try:
112
+ c1 = float(raw.get("retrievability", 0.0) or 0.0)
113
+ except (TypeError, ValueError):
114
+ c1 = 0.0
115
+ out["retrievability"] = min(1.0, max(0.0, c1))
116
+ out["outside_observer"] = bool(raw.get("outside_observer", False))
117
+ cd = raw.get("cross_domain") or []
118
+ if isinstance(cd, str):
119
+ cd = [cd]
120
+ out["cross_domain"] = sorted({str(x) for x in cd})
121
+ out["premise_questioned"] = bool(raw.get("premise_questioned", False))
122
+ pr = str(raw.get("pressure") or "medium").strip().lower()
123
+ out["pressure"] = pr if pr in PRESSURES else "medium"
124
+ try:
125
+ out["continuity_turns"] = max(0, int(raw.get("continuity_turns") or 0))
126
+ except (TypeError, ValueError):
127
+ out["continuity_turns"] = 0
128
+ out["externalized"] = bool(raw.get("externalized", False))
129
+ tn = str(raw.get("tone") or "neutral").strip().lower()
130
+ out["tone"] = tn if tn in TONES else "neutral"
131
+ return {"conditions": out, "missing": missing}
132
+
133
+
134
+ # 生效条件:conditions 经 normalize 后,retrievability ≥ C1_WINDOW_MIN、cross_domain 非空、pressure == "low" 三者同时成立时 open 为 True 且 blocked_by 为空,否则 blocked_by 列出未通过的闸门键名。
135
+ def window(conditions=None):
136
+ """开窗判定:C1 ≥ 0.6 ∧ 跨域(≥1 个域)∧ 低压力。
137
+
138
+ 返回逐闸门结果与阻塞项,便于调用方知道「差在哪」,而不是只拿到一个 bool。
139
+ """
140
+ n = normalize(conditions)
141
+ c = n["conditions"]
142
+ gates = {
143
+ "c1_retrievable": c["retrievability"] >= C1_WINDOW_MIN,
144
+ "cross_domain": bool(c["cross_domain"]),
145
+ "low_pressure": c["pressure"] == "low",
146
+ }
147
+ blocked = [k for k, ok in gates.items() if not ok]
148
+ return {"open": not blocked, "gates": gates, "blocked_by": blocked,
149
+ "c1": c["retrievability"], "c1_min": C1_WINDOW_MIN,
150
+ "conditions": c, "missing": n["missing"],
151
+ "note": "开窗仅表示「条件具备」;是否有效一律由 verify 的外部证据裁决"}
152
+
153
+
154
+ # 生效条件:任意 statement(假值按 "" 计)与 ts(None/0 等假值时回落 time.time())下恒返回 "ins_%d_%s",其中时间数字为 int(ts or time.time())、哈希为 str(statement or "").encode("utf-8") 的 sha1 前 8 位。
155
+ def event_id(statement, ts=None):
156
+ return "ins_%d_%s" % (int(ts or time.time()),
157
+ hashlib.sha1(str(statement or "").encode("utf-8")).hexdigest()[:8])
158
+
159
+
160
+ # ---------------------------------------------------------------- record
161
+
162
+ # 生效条件:cg 具备 add/_append,statement 经 str(statement or "").strip() 为空时抛 ValueError;非空时以 str(node_id or event_id(statement)).strip() 为 nid(node_id 假值时回落到 event_id(statement)),_read_event 命中已有事件则返回 duplicate=True/existed_before=True 且 state 取该节点 frontmatter 的 insight_state,未命中则以 STATE_PENDING 写入新节点并返回 duplicate=False/existed_before=False,返回中的 window 来自 window(conditions)。
163
+ def record(cg, statement=None, conditions=None, category="", source="",
164
+ tags=None, importance=0.5, node_id=None, actor=None, **extra):
165
+ """记录一条洞见事件(pending)+ C1–C8 条件快照。
166
+
167
+ ``statement`` 必填:洞见正文由调用方给出,本层不臆造;缺正文直接报错。
168
+ 幂等:同一正文派生同一 id,重复调用不重复写盘。
169
+ """
170
+ statement = str(statement or "").strip()
171
+ if not statement:
172
+ raise ValueError("insight record 需要 statement:洞见正文由调用方给出,本层不臆造")
173
+ w = window(conditions)
174
+ nid = str(node_id or event_id(statement)).strip()
175
+ existing = _read_event(cg, nid)
176
+ if existing:
177
+ fm = existing.get("frontmatter") or {}
178
+ _append(cg, {"action": "record", "node_id": nid, "duplicate": True,
179
+ "actor": actor, "ts": time.time()})
180
+ return {"ok": True, "action": "record", "node_id": nid,
181
+ "state": fm.get("insight_state"), "window": w,
182
+ "existed_before": True, "duplicate": True,
183
+ "note": "同正文事件已存在,未重复写入(幂等)"}
184
+ tg = [TAG_EVENT] + [str(t) for t in (tags or [])]
185
+ if category:
186
+ tg.append("insight_cat:%s" % category)
187
+ body = statement if statement.endswith("\n") else statement + "\n"
188
+ fm_extra = {
189
+ "insight_state": STATE_PENDING,
190
+ "insight_category": category,
191
+ "insight_source": source,
192
+ "insight_conditions": w["conditions"],
193
+ "insight_missing": w["missing"],
194
+ "insight_window_open": bool(w["open"]),
195
+ "insight_statement": statement,
196
+ "insight_evidence": [],
197
+ "insight_history": [],
198
+ }
199
+ fm_extra.update(extra)
200
+ cg.add(nid, body, layer=INSIGHT_LAYER, tags=tg,
201
+ importance=float(importance), actor=actor, **fm_extra)
202
+ _append(cg, {"action": "record", "node_id": nid, "category": category,
203
+ "source": source, "window_open": w["open"],
204
+ "blocked_by": w["blocked_by"], "missing": w["missing"],
205
+ "actor": actor, "ts": time.time()})
206
+ return {"ok": True, "action": "record", "node_id": nid, "state": STATE_PENDING,
207
+ "window": w, "existed_before": False, "duplicate": False,
208
+ "note": "已记录为 pending;有效性待 verify 的外部证据裁决"}
209
+
210
+
211
+ # ---------------------------------------------------------------- verify
212
+
213
+ # 生效条件:evidence 为 str/dict 时先包成单元素列表、为 None 或假值时按 [] 遍历;每个 dict 项 type 经 str(...).strip().lower() 属 V_TYPES 才保留否则回落 "v1",ref 取 item.get("ref") 或 item.get("source") 或 ""、note 取 item.get("note") 或 "",非 dict 项一律记为 {"type":"v1","ref":str(item),"note":""};v_types 中仅 strip().lower() 后属 V_TYPES 的项追加空 ref/note 条目,最终返回 out。
214
+ def _normalize_evidence(evidence=None, v_types=None):
215
+ """证据归一化:接受 ``["ref", ...]`` / ``[{"type","ref","note"}]`` / ``v_types``。"""
216
+ ev = evidence
217
+ if isinstance(ev, (str, dict)):
218
+ ev = [ev]
219
+ out = []
220
+ for item in (ev or []):
221
+ if isinstance(item, dict):
222
+ t = str(item.get("type") or "").strip().lower()
223
+ out.append({"type": t if t in V_TYPES else "v1",
224
+ "ref": str(item.get("ref") or item.get("source") or ""),
225
+ "note": str(item.get("note") or "")})
226
+ else:
227
+ out.append({"type": "v1", "ref": str(item), "note": ""})
228
+ for t in (v_types or []):
229
+ t = str(t).strip().lower()
230
+ if t in V_TYPES:
231
+ out.append({"type": t, "ref": "", "note": ""})
232
+ return out
233
+
234
+
235
+ # 生效条件:_read_event(cg,node_id) 取不到事件节点、或 verdict 经 str(verdict or "").strip().lower() 后非空且不是 verified/falsified 时抛 ValueError;verdict 为 None 或空白时按 v3 → v2 → v1 条数 ≥ V1_MIN_EVIDENCE 的顺序定 verified,有证据但不达门槛或无证据则保持 STATE_PENDING 并附 reason;显式 verdict 直接采信,verified 分支重要度保底 IMPORTANCE_FLOOR 并置保护位,falsified 分支打 TAG_FALSIFIED。
236
+ def verify(cg, node_id=None, evidence=None, v_types=None, verdict=None,
237
+ actor=None, note=""):
238
+ """用 V1/V2/V3 外部证据裁决洞见事件。
239
+
240
+ 判定规则(先声明后判定,避免「有证据就算过」):
241
+ · 显式 ``verdict``(verified/falsified)→ 直接采信(证伪只能由此路径产生);
242
+ · V3 外部确证 或 V2 实践重复 → verified;
243
+ · V1 可检索/被引用 需 **≥ V1_MIN_EVIDENCE 条** 才成立;
244
+ · 其余(无证据 / V1 不足)→ **保持 pending 并给出原因**,不判定。
245
+ verified 后:重要度保底 0.9(``IMPORTANCE_FLOOR``)并置保护位。
246
+ """
247
+ node = _read_event(cg, node_id)
248
+ if not node:
249
+ raise ValueError("不是有效的洞见事件节点:%r" % (node_id,))
250
+ fm = dict(node.get("frontmatter") or {})
251
+ ev = _normalize_evidence(evidence, v_types)
252
+ kinds = {e["type"] for e in ev}
253
+ explicit = str(verdict or "").strip().lower() or None
254
+ if explicit is not None and explicit not in (STATE_VERIFIED, STATE_FALSIFIED):
255
+ raise ValueError("verdict 只能是 verified / falsified / None:%r" % (verdict,))
256
+
257
+ final, reason = explicit, ""
258
+ if final is None:
259
+ if "v3" in kinds:
260
+ final, reason = STATE_VERIFIED, "V3 外部确证"
261
+ elif "v2" in kinds:
262
+ final, reason = STATE_VERIFIED, "V2 实践重复"
263
+ elif sum(1 for e in ev if e["type"] == "v1") >= V1_MIN_EVIDENCE:
264
+ final, reason = STATE_VERIFIED, "V1 可检索/被引用 ≥ %d 条" % V1_MIN_EVIDENCE
265
+ elif ev:
266
+ reason = ("仅 V1 证据且不足 %d 条:不判定,保持 pending"
267
+ % V1_MIN_EVIDENCE)
268
+ else:
269
+ reason = "无外部证据:不判定,保持 pending(窗口开不等于有效)"
270
+ if final is None:
271
+ _append(cg, {"action": "verify", "node_id": node_id, "state": STATE_PENDING,
272
+ "decided": False, "reason": reason, "evidence": ev,
273
+ "actor": actor, "ts": time.time()})
274
+ return {"ok": True, "action": "verify", "node_id": node_id,
275
+ "state": STATE_PENDING, "decided": False, "reason": reason,
276
+ "evidence": ev, "importance": fm.get("importance"),
277
+ "note": "未达判定门槛,保持 pending"}
278
+
279
+ hist = list(fm.get("insight_history") or [])
280
+ hist.append({"ts": time.time(), "from": fm.get("insight_state"),
281
+ "to": final, "reason": reason or "显式裁决",
282
+ "actor": actor, "note": note})
283
+ fm["insight_state"] = final
284
+ fm["insight_evidence"] = list(fm.get("insight_evidence") or []) + ev
285
+ fm["insight_history"] = hist
286
+ fm["insight_reason"] = reason or "显式裁决"
287
+ tg = [t for t in (fm.get("tags") or []) if t not in (TAG_VERIFIED, TAG_FALSIFIED)]
288
+ if final == STATE_VERIFIED:
289
+ tg.append(TAG_VERIFIED)
290
+ fm["importance"] = max(float(fm.get("importance") or 0.0), IMPORTANCE_FLOOR)
291
+ fm["protected"] = True
292
+ fm["protection_reason"] = "insight_verified"
293
+ fm["verification_basis"] = "data"
294
+ else:
295
+ tg.append(TAG_FALSIFIED)
296
+ fm["tags"] = tg
297
+ cg._write_node(node_id, os.path.join(cg.root, node["path"]), fm,
298
+ node.get("content") or "")
299
+ ent = ((getattr(cg, "index", None) or {}).get("nodes") or {}).get(node_id)
300
+ if isinstance(ent, dict):
301
+ ent["importance"] = fm.get("importance")
302
+ ent["tags"] = list(tg)
303
+ ent["insight_state"] = final
304
+ _append(cg, {"action": "verify", "node_id": node_id, "state": final,
305
+ "decided": True, "reason": reason or "显式裁决",
306
+ "evidence": ev, "importance": fm.get("importance"),
307
+ "actor": actor, "ts": time.time()})
308
+ return {"ok": True, "action": "verify", "node_id": node_id, "state": final,
309
+ "decided": True, "reason": reason or "显式裁决", "evidence": ev,
310
+ "evidence_count": len(fm["insight_evidence"]),
311
+ "importance": fm.get("importance"),
312
+ "protected": bool(fm.get("protected")),
313
+ "note": "verified 后重要度保底 %s 并置保护位" % IMPORTANCE_FLOOR}
314
+
315
+
316
+ # ---------------------------------------------------------------- list / report
317
+
318
+ # 生效条件:state 为真值时只保留 insight_state 与之相等的项(state 为 None/空串等假值则不过滤),limit 为 0 等假值时返回按 created_at 排序后的全部列表,limit 为真值时返回 out[-int(limit):]——limit 为负时该切片等价于 out[|limit|:],即去掉排序后前 |limit| 条而非取前 |limit| 条。
319
+ def list_events(cg, state=None, limit=0):
320
+ out = []
321
+ for nid in _events(cg):
322
+ node = _read_event(cg, nid)
323
+ if not node:
324
+ continue
325
+ fm = node.get("frontmatter") or {}
326
+ st = fm.get("insight_state")
327
+ if state and st != state:
328
+ continue
329
+ out.append({"node_id": nid, "state": st,
330
+ "category": fm.get("insight_category"),
331
+ "importance": fm.get("importance"),
332
+ "window_open": bool(fm.get("insight_window_open")),
333
+ "created_at": fm.get("created_at"),
334
+ "evidence_count": len(fm.get("insight_evidence") or []),
335
+ "reason": fm.get("insight_reason")})
336
+ out.sort(key=lambda x: x.get("created_at") or 0)
337
+ return out[-int(limit):] if limit else out
338
+
339
+
340
+ # 生效条件:now 为 None/0 等假值时取 time.time(),window_days 为真值时按 now - window_days*86400 过滤 created_at;已裁决数 verified+falsified < CER_MIN_SAMPLES 时直接返回 cer/se/two_se/significant 为 None、layer_state="insufficient" 的结果,否则按 p=verified/denom 算出 se 与 significant,significant 为假时 p<0.3 取 degraded、否则 watch,significant 为真时 p≥0.5 取 reliable、否则 watch。
341
+ def report(cg, window_days=None, now=None):
342
+ """CER 条件有效洞见率报告(样本不足不判定)。
343
+
344
+ CER = verified /(verified + falsified);显著性带宽 = 2×SE,
345
+ SE = sqrt(p(1-p)/n)。层状态:reliable / watch / degraded / insufficient。
346
+ """
347
+ now = float(now or time.time())
348
+ events = list_events(cg)
349
+ if window_days:
350
+ lo = now - float(window_days) * 86400.0
351
+ events = [e for e in events if (e.get("created_at") or 0) >= lo]
352
+ n = len(events)
353
+ verified = sum(1 for e in events if e["state"] == STATE_VERIFIED)
354
+ falsified = sum(1 for e in events if e["state"] == STATE_FALSIFIED)
355
+ pending = sum(1 for e in events if e["state"] == STATE_PENDING)
356
+ open_windows = sum(1 for e in events if e["window_open"])
357
+ denom = verified + falsified
358
+ out = {"ok": True, "action": "report", "op": "insight",
359
+ "window_days": window_days, "recorded": n,
360
+ "verified": verified, "falsified": falsified, "pending": pending,
361
+ "decided": denom, "window_open_count": open_windows,
362
+ "window_open_rate": (round(open_windows / n, 4) if n else None),
363
+ "sample_min": CER_MIN_SAMPLES, "cer": None, "se": None, "two_se": None,
364
+ "significant": None, "layer_state": "insufficient", "note": ""}
365
+ if denom < CER_MIN_SAMPLES:
366
+ out["note"] = ("样本不足(已裁决 %d < %d):按纪律不判定层状态,"
367
+ "避免小样本过拟合" % (denom, CER_MIN_SAMPLES))
368
+ return out
369
+ p = verified / denom
370
+ se = math.sqrt(max(0.0, p * (1.0 - p)) / denom)
371
+ out.update({"cer": round(p, 4), "se": round(se, 4),
372
+ "two_se": round(2 * se, 4), "significant": bool(p > 2 * se)})
373
+ if not out["significant"]:
374
+ out["layer_state"] = "degraded" if p < 0.3 else "watch"
375
+ else:
376
+ out["layer_state"] = "reliable" if p >= 0.5 else "watch"
377
+ out["note"] = ("CER = 已验证 /(已验证 + 已证伪);2×SE 为显著性带宽;"
378
+ "reliable/watch/degraded 只描述条件层有效性趋势,不构成结论")
379
+ return out
380
+
381
+
382
+ # ---------------------------------------------------------------- outlook
383
+
384
+ # 生效条件:entry 为假值或 (entry or {}).get("layer") 为假值时返回 "unknown",否则返回该 layer 值的 str 形式。
385
+ def _layer_of(entry):
386
+ return str((entry or {}).get("layer") or "unknown")
387
+
388
+
389
+ # 生效条件:values 为空/假值时返回 min/p50/p90/max 全为 None 的字典,否则对 sorted(values) 取 0.0/0.5/0.9/1.0 位置的值并各自 round(·,4)。
390
+ def _quartiles(values):
391
+ if not values:
392
+ return {"min": None, "p50": None, "p90": None, "max": None}
393
+ vs = sorted(values)
394
+ # 生效条件:给定 f 与闭包列表 vs,取下标 i = min(len(vs)-1, max(0, int(round(f*(len(vs)-1)))))(f 越界被夹到两端)并返回 round(vs[i], 4);vs 为空时 min 得到 -1 的取值行为源码未做校验。
395
+ def _q(f):
396
+ i = min(len(vs) - 1, max(0, int(round(f * (len(vs) - 1)))))
397
+ return round(vs[i], 4)
398
+ return {"min": _q(0.0), "p50": _q(0.5), "p90": _q(0.9), "max": _q(1.0)}
399
+
400
+
401
+ # 生效条件:cg.index(取不到或假值时 nodes 为空、total=0 使 protected_rate 与 growth 回落 None)与 now(假值时回落 time.time())决定 d1,float(recent_days) 参与 lo_recent 计算,window_days 透传 report 得 d2;suggestions 依序在 basis["unset"] 非零、hi_imp_unprotected 非空、no_neg 非零、pending>=3、layers["unresolved"] 非零、contextual>max(3, knowledge)、rep["layer_state"]=="insufficient" 时各自追加一条,high_importance_unprotected 取排序后前 sample_limit 项(sample_limit=0 时为空列表)。
402
+ def outlook(cg, window_days=None, sample_limit=8, recent_days=7, now=None):
403
+ """结构洞察:D1 结构判断 + D2 盲区与趋势建议(只读)。
404
+
405
+ D1 —— 关于**自身记忆结构**的判断:分层分布、重要度分位、保护率、验证基底
406
+ 分布、条件缺口(缺不适用条件)比例、近期增长。
407
+ D2 —— 盲区与趋势建议:洞见层 CER 报告、未裁决堆积、unresolved/无锚点盲区、
408
+ 以及**可执行的下一步建议**(带证据与建议调用)。
409
+
410
+ 诚实边界:本函数只做**结构描述与差距定位**,不判有效性、不替调用方下结论;
411
+ 样本不足或指标缺失时返回 None / 显式缺口,而不是编一个数。
412
+ """
413
+ now = float(now or time.time())
414
+ nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
415
+ total = len(nodes)
416
+ layers, basis = {}, {}
417
+ imps, protected, no_neg, recent = [], 0, 0, 0
418
+ lo_recent = now - float(recent_days) * 86400.0
419
+ hi_imp_unprotected = []
420
+ for nid, e in nodes.items():
421
+ e = e or {}
422
+ layers[_layer_of(e)] = layers.get(_layer_of(e), 0) + 1
423
+ b = str(e.get("verification_basis") or "unset")
424
+ basis[b] = basis.get(b, 0) + 1
425
+ try:
426
+ iv = float(e.get("importance") or 0.0)
427
+ except (TypeError, ValueError):
428
+ iv = 0.0
429
+ imps.append(iv)
430
+ if e.get("protected"):
431
+ protected += 1
432
+ elif iv >= IMPORTANCE_FLOOR:
433
+ hi_imp_unprotected.append(nid)
434
+ if not e.get("has_neg_conditions"):
435
+ no_neg += 1
436
+ ca = e.get("created_at")
437
+ if ca and float(ca) >= lo_recent:
438
+ recent += 1
439
+
440
+ events = list_events(cg)
441
+ pending = sum(1 for x in events if x["state"] == STATE_PENDING)
442
+ rep = report(cg, window_days=window_days, now=now)
443
+
444
+ d1 = {
445
+ "total": total,
446
+ "layers": dict(sorted(layers.items(), key=lambda kv: (-kv[1], kv[0]))),
447
+ "importance": _quartiles(imps),
448
+ "protected": protected,
449
+ "protected_rate": (round(protected / total, 4) if total else None),
450
+ "verification_basis": dict(sorted(basis.items(), key=lambda kv: (-kv[1], kv[0]))),
451
+ "missing_non_applicable": no_neg,
452
+ "missing_non_applicable_rate": (round(no_neg / total, 4) if total else None),
453
+ "recent_%dd" % int(recent_days): recent,
454
+ "growth_%dd" % int(recent_days): (round(recent / total, 4) if total else None),
455
+ }
456
+ d2 = {
457
+ "insight": {"recorded": rep["recorded"], "pending": rep["pending"],
458
+ "verified": rep["verified"], "falsified": rep["falsified"],
459
+ "cer": rep["cer"], "two_se": rep["two_se"],
460
+ "layer_state": rep["layer_state"], "sample_min": rep["sample_min"]},
461
+ "unresolved_nodes": layers.get("unresolved", 0),
462
+ "high_importance_unprotected": sorted(hi_imp_unprotected)[:sample_limit],
463
+ }
464
+
465
+ suggestions = []
466
+ if basis.get("unset", 0):
467
+ suggestions.append({"priority": "P0", "action": "补验证基底",
468
+ "evidence": "%d 个节点 verification_basis 缺失" % basis["unset"],
469
+ "call": 'cg(op="maintain", action="importance", apply=true)'})
470
+ if hi_imp_unprotected:
471
+ suggestions.append({"priority": "P0", "action": "给高重要度节点补保护/裁决",
472
+ "evidence": "%d 个高重要度节点未保护" % len(hi_imp_unprotected),
473
+ "call": 'cg(op="insight", action="verify", node_id=..., evidence=[...])'})
474
+ if no_neg:
475
+ suggestions.append({"priority": "P1", "action": "补不适用条件(提升可判定性)",
476
+ "evidence": "%d 个节点缺不适用条件" % no_neg,
477
+ "call": 'cg(op="maintain", action="importance", apply=true)'})
478
+ if pending >= 3:
479
+ suggestions.append({"priority": "P1", "action": "给堆积的洞见补外部证据",
480
+ "evidence": "%d 条 pending 洞见未裁决" % pending,
481
+ "call": 'cg(op="insight", action="list", state="pending")'})
482
+ if layers.get("unresolved"):
483
+ suggestions.append({"priority": "P1", "action": "把未决查询转入盲区学习闭环",
484
+ "evidence": "%d 条 unresolved" % layers["unresolved"],
485
+ "call": 'cg(op="insight", action="learn", apply=true)'})
486
+ if layers.get("contextual", 0) > max(3, layers.get("knowledge", 0)):
487
+ suggestions.append({"priority": "P2", "action": "归纳情境记忆为概念层",
488
+ "evidence": "contextual %d > knowledge %d"
489
+ % (layers.get("contextual", 0),
490
+ layers.get("knowledge", 0)),
491
+ "call": 'cg(op="consolidate", action="induce", apply=true)'})
492
+ if rep["layer_state"] == "insufficient":
493
+ suggestions.append({"priority": "P2", "action": "积累洞见样本后再判层状态",
494
+ "evidence": "已裁决 %d < %d" % (rep["decided"], rep["sample_min"]),
495
+ "call": 'cg(op="insight", action="report")'})
496
+
497
+ return {"ok": True, "action": "outlook", "op": "insight",
498
+ "d1": d1, "d2": d2, "suggestions": suggestions,
499
+ "generated_at": now,
500
+ "note": ("结构描述与差距定位,不判有效性;suggestions 按优先级给出,"
501
501
  "需调用方自行执行并核对")}