@furongjun1999/dsh-memory 0.4.11 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +16 -16
- package/codebuddy/CODEBUDDY.md +11 -3
- package/codebuddy/README.md +92 -90
- package/codebuddy/mcp.json +27 -27
- 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
- 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
- package/docs/README.md +142 -111
- package/docs/discipline/harnesses.yaml +244 -226
- package/docs/discipline/templates/full.md.tmpl +61 -61
- package/docs/discipline/templates/rules.mdc.tmpl +68 -0
- package/docs/discipline/templates/skill.md.tmpl +23 -23
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +503 -503
- 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
- 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
- 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
- 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
- package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
- package/docs/mdcg/lingshu_tutorial.html +14449 -14449
- package/docs/mdcg/release_v0.4.11.md +49 -0
- package/docs/mdcg/release_v0.4.5.md +55 -55
- package/docs/mdcg/tool_table_v0.3.0.md +117 -117
- 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
- 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
- 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
- package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
- 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
- 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
- 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
- package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
- 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
- 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
- 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
- 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
- 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
- package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
- 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
- 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
- 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
- package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- package/dsh/README.md +82 -82
- package/dsh/cordis.yml.example +139 -139
- package/dsh/update-lingshu.bat +11 -11
- package/lib/hooks.js +36 -2
- package/lib/lib/roleplay_web.js +427 -427
- package/md_cg/__init__.py +7 -7
- package/md_cg/audit.py +368 -368
- package/md_cg/autonomy.py +287 -287
- package/md_cg/backfill.py +1327 -1327
- package/md_cg/backfill_bigdomain.py +34 -34
- package/md_cg/bench6_arms.py +410 -410
- package/md_cg/bench6_common.py +230 -230
- package/md_cg/bench6_competitors.py +212 -212
- package/md_cg/bench_axis_domain.py +257 -257
- package/md_cg/bench_blind_comp.py +308 -308
- package/md_cg/bench_en_atoms_public.py +230 -230
- package/md_cg/bench_governance.py +348 -348
- package/md_cg/bench_lme_zh.py +410 -410
- package/md_cg/bench_locomo.py +121 -121
- package/md_cg/bench_locomo_zh.py +450 -450
- package/md_cg/bench_locomo_zh_public.py +147 -147
- package/md_cg/bench_longmem.py +112 -112
- package/md_cg/bench_membench.py +632 -632
- package/md_cg/bench_p0.py +149 -149
- package/md_cg/bench_progressive.py +287 -287
- package/md_cg/bench_role_views.py +238 -238
- package/md_cg/bench_task_ab.py +243 -243
- package/md_cg/bench_task_ab_llm.py +408 -408
- package/md_cg/bench_unified_en.py +204 -204
- package/md_cg/bench_zh_mad.py +601 -601
- package/md_cg/blindspot_tickets.py +123 -123
- package/md_cg/branches.py +285 -285
- package/md_cg/build_postings.py +73 -73
- package/md_cg/ccgc.py +1005 -948
- package/md_cg/census.py +132 -132
- package/md_cg/chain.py +300 -300
- package/md_cg/codeindex.py +531 -531
- package/md_cg/coldverify.py +292 -292
- package/md_cg/comment_gate.py +337 -337
- package/md_cg/cond_compose.py +190 -190
- package/md_cg/cond_facts.py +154 -154
- package/md_cg/cond_template.json +106 -106
- package/md_cg/condition_anchor.py +142 -142
- package/md_cg/conformance.py +726 -726
- package/md_cg/consistency.py +717 -717
- package/md_cg/consolidate.py +1536 -1439
- package/md_cg/corpus.py +110 -110
- package/md_cg/crosscheck.py +1097 -1097
- package/md_cg/crypto.py +437 -437
- package/md_cg/d_meta.py +310 -310
- package/md_cg/datapath.py +334 -334
- package/md_cg/docindex.py +473 -473
- package/md_cg/eval_common.py +575 -575
- package/md_cg/evidence.py +580 -580
- package/md_cg/evolution.py +477 -477
- package/md_cg/export.py +220 -220
- package/md_cg/forgetting.py +581 -581
- package/md_cg/fsutil.py +329 -329
- package/md_cg/hotcache.py +238 -214
- package/md_cg/hyperedge.py +251 -251
- package/md_cg/identity.py +390 -390
- package/md_cg/insight.py +500 -500
- package/md_cg/interop.py +199 -0
- package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
- package/md_cg/lexicon/build_standard_en.py +171 -171
- package/md_cg/lexicon/expand_en_zh.py +211 -211
- package/md_cg/lifecycle.py +272 -272
- package/md_cg/linkref.py +280 -280
- package/md_cg/links.py +622 -622
- package/md_cg/mcp_server.py +129 -32
- package/md_cg/md_whitebox.py +345 -345
- package/md_cg/mdcg.py +176 -117
- package/md_cg/mdcos.py +79 -13
- package/md_cg/metacognition.py +591 -591
- package/md_cg/migrate.py +119 -119
- package/md_cg/migrate_aeis.py +221 -221
- package/md_cg/migrate_roleplay.py +293 -293
- package/md_cg/migrate_wisdom_graph.py +360 -360
- package/md_cg/mreview/__init__.py +25 -25
- package/md_cg/mreview/__main__.py +110 -110
- package/md_cg/mreview/bundle.py +178 -178
- package/md_cg/mreview/candidates.py +262 -262
- package/md_cg/mreview/govern.py +693 -693
- package/md_cg/mreview/locate.py +939 -939
- package/md_cg/mreview/pipeline.py +728 -728
- package/md_cg/mreview/rules/duplication.json +21 -21
- package/md_cg/mreview/rules/field_coverage.json +54 -54
- package/md_cg/mreview/rules/source_license.json +21 -21
- package/md_cg/mreview/rules/template_flow.json +21 -21
- package/md_cg/mreview/ruleset.py +252 -252
- package/md_cg/nodefile.py +575 -575
- package/md_cg/pooling.py +484 -472
- package/md_cg/postings.py +298 -298
- package/md_cg/predict.py +1100 -1100
- package/md_cg/progressive.py +123 -123
- package/md_cg/protect.py +272 -272
- package/md_cg/protocol/md_cg_gate.proto +33 -33
- package/md_cg/protocol.py +372 -372
- package/md_cg/provenance.py +582 -582
- package/md_cg/reach.py +453 -453
- package/md_cg/readcache.py +85 -0
- package/md_cg/refindex.py +833 -833
- package/md_cg/refine.py +604 -604
- package/md_cg/roleviews.py +89 -89
- package/md_cg/routing.py +365 -365
- package/md_cg/scrub.py +852 -852
- package/md_cg/security.py +274 -274
- package/md_cg/self_state.py +1029 -1029
- package/md_cg/selfreport.py +151 -151
- package/md_cg/semantic/__init__.py +10 -10
- package/md_cg/semantic/canonical.py +122 -122
- package/md_cg/semantic/en_normalizer.py +364 -364
- package/md_cg/semantic/en_zh_map.json +28694 -0
- package/md_cg/semantic/export_en_zh_map.py +64 -0
- package/md_cg/semantic/unify.py +45 -0
- package/md_cg/semantic/zh_en_atoms.py +139 -139
- package/md_cg/signer.py +562 -562
- package/md_cg/sources.py +815 -582
- package/md_cg/statushdr.py +179 -179
- package/md_cg/stg.py +48 -37
- package/md_cg/subgraph.py +729 -729
- package/md_cg/sustain.py +1138 -1138
- package/md_cg/tasks.py +470 -470
- package/md_cg/test_action_derive.py +203 -203
- package/md_cg/test_audit_rotate.py +270 -270
- package/md_cg/test_autonomy.py +143 -143
- package/md_cg/test_bench_governance.py +102 -102
- package/md_cg/test_blindspot_tickets.py +166 -166
- package/md_cg/test_branches.py +249 -249
- package/md_cg/test_ccg_perturb.py +184 -184
- package/md_cg/test_ccgc.py +433 -433
- package/md_cg/test_census_prune.py +81 -81
- package/md_cg/test_cond_compose_anchors.py +76 -76
- package/md_cg/test_cond_match.py +165 -165
- package/md_cg/test_condition_anchor.py +81 -81
- package/md_cg/test_d_meta.py +412 -412
- package/md_cg/test_datapath_root.py +199 -199
- package/md_cg/test_en_pipeline.py +166 -166
- package/md_cg/test_gain_gate.py +212 -212
- package/md_cg/test_health_scale.py +173 -173
- package/md_cg/test_hive_ingest.py +285 -0
- package/md_cg/test_hot_cold.py +215 -215
- package/md_cg/test_hyperedge.py +245 -245
- package/md_cg/test_i26_empty_first_write.py +116 -0
- package/md_cg/test_i27_e041_identity.py +128 -0
- package/md_cg/test_i28_hotcache_prodpath.py +122 -0
- package/md_cg/test_identity_attribution.py +147 -147
- package/md_cg/test_index_durability.py +224 -224
- package/md_cg/test_interop.py +93 -0
- package/md_cg/test_lifecycle.py +309 -309
- package/md_cg/test_linkref.py +306 -306
- package/md_cg/test_lock.py +43 -43
- package/md_cg/test_md_access_parity.py +255 -255
- package/md_cg/test_md_writepath.py +345 -345
- package/md_cg/test_mdstore_search_parity.py +160 -0
- package/md_cg/test_mr_m2.py +587 -587
- package/md_cg/test_mr_m3.py +710 -710
- package/md_cg/test_mr_m4.py +485 -485
- package/md_cg/test_p0.py +250 -250
- package/md_cg/test_p1.py +316 -316
- package/md_cg/test_p10_identity.py +173 -173
- package/md_cg/test_p11_consistency.py +233 -233
- package/md_cg/test_p12_metacognition.py +212 -212
- package/md_cg/test_p13_encryption.py +241 -241
- package/md_cg/test_p14_sustain.py +249 -249
- package/md_cg/test_p15_scrub.py +280 -280
- package/md_cg/test_p16_self_state.py +301 -301
- package/md_cg/test_p17_predict.py +354 -354
- package/md_cg/test_p18_whitebox.py +171 -171
- package/md_cg/test_p19_migrate_roleplay.py +149 -149
- package/md_cg/test_p20_evolution.py +315 -315
- package/md_cg/test_p21_tokens.py +293 -270
- package/md_cg/test_p22_theory.py +175 -175
- package/md_cg/test_p23_links.py +311 -311
- package/md_cg/test_p24_evidence.py +227 -227
- package/md_cg/test_p25_weights.py +156 -156
- package/md_cg/test_p26_refindex.py +416 -416
- package/md_cg/test_p27_docindex.py +765 -765
- package/md_cg/test_p28_refcheck.py +305 -305
- package/md_cg/test_p29_session_ingest_export.py +354 -333
- package/md_cg/test_p3.py +11 -2
- package/md_cg/test_p30_maintain.py +330 -330
- package/md_cg/test_p31_insight.py +534 -534
- package/md_cg/test_p32_backfill.py +298 -298
- package/md_cg/test_p33_ccg_wiring.py +293 -293
- package/md_cg/test_p34_crosscheck.py +331 -331
- package/md_cg/test_p35_conditioned_claim.py +252 -252
- package/md_cg/test_p36_kp_align.py +230 -230
- package/md_cg/test_p37_condition_space.py +248 -248
- package/md_cg/test_p38_concurrent_flush.py +102 -0
- package/md_cg/test_p38_contextualize.py +273 -273
- package/md_cg/test_p39_verify_flow.py +113 -0
- package/md_cg/test_p39_vision_evidence.py +369 -369
- package/md_cg/test_p40_refine_worklist.py +241 -241
- package/md_cg/test_p41_evolve_patrol.py +224 -224
- package/md_cg/test_p42_provenance.py +269 -269
- package/md_cg/test_p43_pooling.py +412 -398
- package/md_cg/test_p44_md_whitebox.py +231 -231
- package/md_cg/test_p45_session_identity.py +219 -219
- package/md_cg/test_p46_unit_scope.py +272 -272
- package/md_cg/test_p47_session_view.py +281 -0
- package/md_cg/test_p4_fuzzy.py +223 -223
- package/md_cg/test_p5_semantic.py +226 -226
- package/md_cg/test_p6_consolidate.py +440 -387
- package/md_cg/test_p7_goals_recent.py +202 -202
- package/md_cg/test_p8_subgraph_chain.py +200 -200
- package/md_cg/test_p9_forget_protect.py +231 -231
- package/md_cg/test_predict_beta.py +135 -135
- package/md_cg/test_preflight_failclosed.py +100 -100
- package/md_cg/test_progressive.py +146 -146
- package/md_cg/test_protocol.py +243 -243
- package/md_cg/test_reach.py +378 -378
- package/md_cg/test_reach_keys.py +201 -201
- package/md_cg/test_read_clip.py +141 -141
- package/md_cg/test_readcache_prodpath.py +155 -0
- package/md_cg/test_retr_gates_prodpath.py +140 -0
- package/md_cg/test_retr_s1.py +340 -340
- package/md_cg/test_retr_s1b.py +209 -209
- package/md_cg/test_retr_s3.py +194 -194
- package/md_cg/test_retr_s4.py +163 -163
- package/md_cg/test_retr_s5.py +200 -200
- package/md_cg/test_retr_s6.py +157 -157
- package/md_cg/test_retr_s7.py +384 -384
- package/md_cg/test_retr_s8_time.py +369 -316
- package/md_cg/test_retr_s9_edges.py +286 -286
- package/md_cg/test_retr_s9_entity_ctx.py +175 -175
- package/md_cg/test_review_conformance.py +367 -367
- package/md_cg/test_role_views.py +354 -354
- package/md_cg/test_sem_noise.py +242 -242
- package/md_cg/test_semantic_canonical.py +241 -241
- package/md_cg/test_subproc_encoding.py +192 -192
- package/md_cg/test_sustain_mutual.py +153 -153
- package/md_cg/test_tasks.py +409 -409
- package/md_cg/test_tool_face.py +189 -189
- package/md_cg/test_transfer.py +180 -180
- package/md_cg/test_trust.py +361 -361
- package/md_cg/test_twophase.py +286 -286
- package/md_cg/test_v14_fixes.py +397 -397
- package/md_cg/test_validity_filter.py +280 -280
- package/md_cg/test_verify_answer.py +138 -138
- package/md_cg/test_wisdom_md_store.py +292 -292
- package/md_cg/test_writelimit.py +197 -197
- package/md_cg/test_writepipe.py +214 -214
- package/md_cg/theory.py +273 -273
- package/md_cg/tokens.py +677 -663
- package/md_cg/tool_face.py +260 -260
- package/md_cg/trust.py +986 -950
- package/md_cg/twophase.py +231 -231
- package/md_cg/units.py +667 -667
- package/md_cg/vision_evidence.py +666 -666
- package/md_cg/weights.py +624 -624
- package/md_cg/whitebox.py +527 -527
- package/md_cg/whitebox_kb/__init__.py +37 -37
- package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
- package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
- package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
- package/md_cg/whitebox_kb/engine.py +310 -310
- package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
- package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
- package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
- package/md_cg/whitebox_kb/wisdom/code_solidified.json +6195 -6195
- package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
- package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
- package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
- package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
- package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
- package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
- package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
- package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
- package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
- package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
- package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
- package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
- package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
- package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
- package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
- package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
- package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
- package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
- package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
- package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
- package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
- package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
- package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
- package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
- package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
- package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
- package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
- package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
- package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
- package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
- package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
- package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
- package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
- package/md_cg/writelimit.py +356 -356
- package/md_cg/writepipe.py +550 -542
- package/package.json +97 -96
- package/skills/plugin.json +54 -54
- package/skills/skills/designer-perspective/SKILL.md +158 -158
- package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
- package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
- package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
- package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
- package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
- package/skills/skills/designer-perspective/scripts/designer.py +545 -545
- package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
- package/skills/skills/designer-perspective/tests/selftest.py +61 -61
- package/skills/skills/lingshu-browser/SKILL.md +60 -60
- package/skills/skills/lingshu-compiler/SKILL.md +56 -56
- package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
- package/skills/skills/lingshu-graph/SKILL.md +63 -63
- package/skills/skills/lingshu-net/SKILL.md +48 -48
- package/skills/skills/lingshu-os/SKILL.md +64 -64
- package/skills/skills/lingshu-pylang/SKILL.md +71 -71
- package/src/bridge.ts +401 -401
- package/src/hooks.ts +38 -2
- package/src/lib/datapath.ts +326 -326
- package/src/lib/mdcg_client.ts +413 -413
- package/src/lib/mutual.ts +428 -428
- package/src/lib/prompt_safety.ts +62 -62
- package/src/lib/python_path.ts +71 -71
- package/src/lib/roleplay_web.ts +932 -932
- package/src/lib/token_store.ts +192 -192
- package/src/tools.ts +212 -212
- package/zcode/AGENTS.md +11 -3
- package/zcode/README.md +41 -41
- /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
|
"需调用方自行执行并核对")}
|