@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.
- package/README.md +552 -465
- 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 +143 -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/bench_lingshu_self/bench_self.py +140 -0
- package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
- 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
- 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
- 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/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
- 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/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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
- 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 +519 -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/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
- package/docs/images/lingshu-moonlight-covenant-poster.png +0 -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//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
- 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//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
- 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/bridge.d.ts +9 -0
- package/lib/bridge.js +35 -0
- package/lib/hooks.js +36 -2
- package/lib/index.js +7 -1
- package/lib/lib/roleplay_web.js +116 -29
- package/lib/lib/token_store.d.ts +7 -1
- package/lib/lib/token_store.js +12 -3
- package/md_cg/__init__.py +7 -7
- package/md_cg/audit.py +379 -368
- package/md_cg/autonomy.py +287 -287
- package/md_cg/backfill.py +1328 -1327
- package/md_cg/backfill_bigdomain.py +34 -34
- package/md_cg/backfill_bucket_zh.py +35 -0
- 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_e2e_judge.py +532 -0
- package/md_cg/bench_e2e_locomo_qa.py +368 -0
- package/md_cg/bench_e2e_qa.py +256 -0
- 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 +301 -285
- package/md_cg/build_postings.py +73 -73
- package/md_cg/ccgc.py +1006 -948
- package/md_cg/census.py +132 -132
- package/md_cg/chain.py +315 -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 +1537 -1439
- package/md_cg/corpus.py +110 -110
- package/md_cg/crosscheck.py +1098 -1097
- package/md_cg/crypto.py +3 -1
- package/md_cg/d_meta.py +310 -310
- package/md_cg/datapath.py +78 -18
- package/md_cg/docindex.py +473 -473
- package/md_cg/eval_common.py +575 -575
- package/md_cg/evidence.py +4 -2
- package/md_cg/evolution.py +477 -477
- package/md_cg/export.py +222 -220
- package/md_cg/forgetting.py +581 -581
- package/md_cg/fsutil.py +377 -329
- package/md_cg/hotcache.py +48 -7
- 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 +338 -0
- package/md_cg/judgment_manifest.py +177 -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 +140 -107
- package/md_cg/mcp_server.py +403 -55
- package/md_cg/md_whitebox.py +345 -345
- package/md_cg/mdcg.py +783 -233
- package/md_cg/mdcos.py +500 -70
- 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 +694 -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 +300 -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 +143 -0
- package/md_cg/reconcile.py +228 -0
- package/md_cg/refindex.py +833 -833
- package/md_cg/refine.py +604 -604
- package/md_cg/review_cli.py +170 -0
- package/md_cg/roleviews.py +89 -89
- package/md_cg/routing.py +393 -365
- package/md_cg/run_tests.py +211 -0
- package/md_cg/scrub.py +13 -3
- package/md_cg/security.py +128 -18
- package/md_cg/self_state.py +1029 -1029
- package/md_cg/selfreport.py +152 -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 +7 -4
- package/md_cg/sources.py +816 -582
- package/md_cg/statushdr.py +179 -179
- package/md_cg/stg.py +54 -37
- package/md_cg/subgraph.py +729 -729
- package/md_cg/sustain.py +35 -5
- package/md_cg/tasks.py +470 -470
- package/md_cg/test_access_hints.py +147 -0
- 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_branch_discard_tombstone.py +136 -0
- package/md_cg/test_branches.py +13 -3
- 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_chain_read_isolate.py +168 -0
- 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_device_name.py +203 -0
- package/md_cg/test_datapath_root.py +199 -199
- package/md_cg/test_emit_negtail_cache.py +156 -0
- package/md_cg/test_en_pipeline.py +22 -2
- package/md_cg/test_gain_gate.py +212 -212
- package/md_cg/test_govern_directread.py +421 -0
- 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_i32_hotcache_env_key.py +218 -0
- package/md_cg/test_identity_attribution.py +96 -15
- package/md_cg/test_index_durability.py +17 -3
- package/md_cg/test_interop.py +95 -0
- package/md_cg/test_interop_judgment.py +228 -0
- package/md_cg/test_issue39_utf8_stdio.py +273 -0
- package/md_cg/test_lifecycle.py +309 -309
- package/md_cg/test_linkref.py +306 -306
- package/md_cg/test_links_concurrent_write.py +188 -0
- 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_merge_upsert.py +168 -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_n123_derive_expiry_chain.py +205 -0
- package/md_cg/test_n130_verify_falsified_protect.py +185 -0
- package/md_cg/test_n131_merge_gate.py +205 -0
- 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_p1x_ref_root.py +160 -0
- 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 +16 -7
- package/md_cg/test_p28_refcheck.py +305 -305
- package/md_cg/test_p29_session_ingest_export.py +354 -333
- package/md_cg/test_p2_mcp.py +3 -0
- 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 +7 -1
- 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 +153 -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 +316 -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_propose_tail_index.py +157 -0
- 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_read_scope_b27.py +277 -0
- package/md_cg/test_readcache_default_on.py +168 -0
- package/md_cg/test_readcache_precise_inval.py +270 -0
- package/md_cg/test_readcache_prodpath.py +203 -0
- package/md_cg/test_reconcile_v0.py +294 -0
- package/md_cg/test_retr_gates_prodpath.py +140 -0
- package/md_cg/test_retr_s1.py +344 -340
- package/md_cg/test_retr_s1b.py +276 -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 +392 -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 +9 -3
- package/md_cg/test_retr_score_once.py +208 -0
- package/md_cg/test_review_conformance.py +367 -367
- package/md_cg/test_review_onepass.py +170 -0
- package/md_cg/test_role_views.py +354 -354
- package/md_cg/test_rrf_graph_seed_cache.py +154 -0
- package/md_cg/test_security_audit.py +155 -0
- package/md_cg/test_security_audit_b26.py +161 -0
- package/md_cg/test_security_audit_v21.py +250 -0
- package/md_cg/test_sem_noise.py +242 -242
- package/md_cg/test_semantic_canonical.py +16 -2
- package/md_cg/test_session_isolation.py +168 -0
- package/md_cg/test_snapshot_autoclose.py +187 -0
- package/md_cg/test_subproc_encoding.py +192 -192
- package/md_cg/test_sustain_mutual.py +153 -153
- package/md_cg/test_tail_watermark_race.py +208 -0
- package/md_cg/test_tasks.py +409 -409
- package/md_cg/test_tenant_env_override_warn.py +139 -0
- package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
- 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 +38 -20
- package/md_cg/test_validity_filter.py +280 -280
- package/md_cg/test_verify_answer.py +138 -138
- package/md_cg/test_verify_dirty_reconcile.py +157 -0
- 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 +6 -3
- package/md_cg/tokens.py +85 -14
- 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 +668 -667
- package/md_cg/vision_evidence.py +667 -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/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/multilang_ir.py +128 -124
- 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 +20 -8
- package/package.json +101 -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 +33 -0
- package/src/hooks.ts +38 -2
- package/src/index.ts +526 -518
- 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 +116 -29
- package/src/lib/token_store.ts +13 -3
- 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
|
"需调用方自行执行并核对")}
|