@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/d_meta.py
CHANGED
|
@@ -1,310 +1,310 @@
|
|
|
1
|
-
# -*- coding: utf-8 -*-
|
|
2
|
-
"""md_cg · D_meta 投影:边界压力向量(三代理,各自 [0,1],**不合成单值**)
|
|
3
|
-
|
|
4
|
-
理论约束(智能论3.4 §2.7.0 DEV-002 / DEV-002a;工程方案
|
|
5
|
-
`docs/mdcg/D_meta_工程化方案_v0.2.md`):
|
|
6
|
-
|
|
7
|
-
- DEV-002:`D_task` = 图上操作性距离;`D_meta` = 未被建模的现实总量。
|
|
8
|
-
**两者对象不同、数值不互换**。本模块**不参与** `MdCG._compute_d`——
|
|
9
|
-
`D_task` 口径零变更("双 D 落盘"= 并列新增,不是打通)。
|
|
10
|
-
- DEV-002a:可新增 `D_meta` 投影链路,但不能并入 `D_task` 计算公式。
|
|
11
|
-
- 增定律 `d(D_meta)/dt ≥ 0`:本模块只**观测**压力与其趋势,不做"缩小"运算。
|
|
12
|
-
- **不合成单一数值**:任何把三代理加权成一个 `D_meta` 数的企图都违反
|
|
13
|
-
DEV-002a。上层若需单值,只允许**指定单一代理**(见 `pressure()`)。
|
|
14
|
-
|
|
15
|
-
诚实边界(随代码同行,不可省略):
|
|
16
|
-
|
|
17
|
-
1. 三代理只计「**已进入本系统、但未被消化**」的可观测量——**不是**「世界真实
|
|
18
|
-
未发生的事件」,后者不可观测。全部数据来自**已落盘留痕与索引**,
|
|
19
|
-
不重放检索、不读全库正文(热路径约束)。
|
|
20
|
-
2. 本模块是**叶子只读**模块:不 import `mdcg` / `mdcos`(防循环依赖),
|
|
21
|
-
只依赖 `fsutil` 原语与注入的 `cg` 对象(duck-typing);`metacognition`
|
|
22
|
-
惰性导入(调用点内),理由同 `self_state._prediction_face`。
|
|
23
|
-
3. 只读:本模块**没有任何写路径**。
|
|
24
|
-
|
|
25
|
-
开关(三面隔离之一,方案 §2.1/§3):
|
|
26
|
-
|
|
27
|
-
- `MDCG_D_META`:D_meta 计算总闸,**默认开启**;置 `0/false/off/no`
|
|
28
|
-
显式回退(关闭计算 → 上层加分退化为 0,回到旧排序)。
|
|
29
|
-
|
|
30
|
-
三个代理的口径(各自 [0,1],可核验、可复算):
|
|
31
|
-
|
|
32
|
-
| 代理 | 口径 | 数据源(已落盘) |
|
|
33
|
-
|---|---|---|
|
|
34
|
-
| `events_pressure` | 窗口内新增未消化事件密度 = (近期事件条数 + 探索留痕条数) / (2×window) | `_recent.jsonl` + `_explore.jsonl` 尾部窗口 |
|
|
35
|
-
| `unmodeled_growth` | 0.5×存量饱和率 + 0.5×反思窗口未消化率(BLINDSPOT+DEFER 占比) | 索引 `rejected`/`unresolved` 层计数 + `_reflection.jsonl` 窗口 |
|
|
36
|
-
| `boundary_violation_rate` | 反思窗口内 (REJECT+BLINDSPOT) / 全部资格态 | `_reflection.jsonl` 窗口 `states` 分布 |
|
|
37
|
-
|
|
38
|
-
**query-relative 口径不在本模块**:`_neg_coverage` 之类的命中率需要
|
|
39
|
-
query+results 现场,留在 `MdCG.reflect`(彼处两者都有)。本模块口径
|
|
40
|
-
**库侧 query 无关**,故可在 `autonomy.proposals` 里"每轮一次、循环内复用"。
|
|
41
|
-
"""
|
|
42
|
-
from __future__ import annotations
|
|
43
|
-
|
|
44
|
-
import json
|
|
45
|
-
import os
|
|
46
|
-
|
|
47
|
-
from .fsutil import count_jsonl
|
|
48
|
-
|
|
49
|
-
# ---------------------------------------------------------------- 常量
|
|
50
|
-
|
|
51
|
-
_ENV_FLAG = "MDCG_D_META"
|
|
52
|
-
_FALSY = ("0", "false", "off", "no")
|
|
53
|
-
DEFAULT_WINDOW = 200
|
|
54
|
-
|
|
55
|
-
#: `rejected`/`unresolved` 存量的归一化饱和基准(达到即视为压力 1.0)。
|
|
56
|
-
STOCK_FULL = 100
|
|
57
|
-
|
|
58
|
-
EXPLORE_LOG = "_explore.jsonl"
|
|
59
|
-
RECENT_LOG = "_recent.jsonl"
|
|
60
|
-
REFLECTION_LOG = "_reflection.jsonl"
|
|
61
|
-
|
|
62
|
-
#: 未建模层(负记忆两类:失败/否决 + 未解问题)。
|
|
63
|
-
UNMODELED_LAYERS = ("rejected", "unresolved")
|
|
64
|
-
|
|
65
|
-
#: 资格四态(`judge_qualification` 的 states 取值域)。
|
|
66
|
-
JUDGE_STATES = ("ACCEPT", "REJECT", "DEFER", "BLINDSPOT")
|
|
67
|
-
|
|
68
|
-
PROXY_KEYS = ("events_pressure", "unmodeled_growth", "boundary_violation_rate")
|
|
69
|
-
|
|
70
|
-
_TAIL_BLOCK = 1 << 16 # 尾部反向扫描块(64KiB)
|
|
71
|
-
_CACHE_MAX = 64 # 进程内缓存条目上限(超出即清空,无后台线程)
|
|
72
|
-
_CACHE = {}
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
# 生效条件:读取环境变量 MDCG_D_META(大小写不敏感、去首尾空白),其值属于 _FALSY 时返回 False,其余(含未设置)返回 True;
|
|
76
|
-
def _enabled() -> bool:
|
|
77
|
-
"""D_meta 计算总闸(默认开启)。"""
|
|
78
|
-
return str(os.environ.get(_ENV_FLAG, "")).strip().lower() not in _FALSY
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
# 生效条件:path 不存在或不是文件、或 window<=0 时返回 [];否则从文件末尾按 _TAIL_BLOCK 分块反向读取,直到累计换行数超过 window 或到达文件头,再按行 json.loads 解析尾部 window 条非空记录(解析失败的行跳过、块首半截行跳过);
|
|
82
|
-
def tail_jsonl(path: str, window: int) -> list:
|
|
83
|
-
"""只读 JSONL **尾部最多 window 条**(反向分块,避免全文件 IO)。
|
|
84
|
-
|
|
85
|
-
与 `fsutil.read_jsonl` 的区别:不流式扫全文件,读盘量 ≈ O(window)。
|
|
86
|
-
日志文件可能末尾无换行(写者被杀死),此时最后一行会被解析失败丢弃——
|
|
87
|
-
与 `read_jsonl` 同语义(不猜内容)。
|
|
88
|
-
"""
|
|
89
|
-
window = int(window)
|
|
90
|
-
if window <= 0:
|
|
91
|
-
return []
|
|
92
|
-
try:
|
|
93
|
-
size = os.path.getsize(path)
|
|
94
|
-
except OSError:
|
|
95
|
-
return []
|
|
96
|
-
if size <= 0:
|
|
97
|
-
return []
|
|
98
|
-
data = b""
|
|
99
|
-
pos = size
|
|
100
|
-
try:
|
|
101
|
-
with open(path, "rb") as f:
|
|
102
|
-
while pos > 0 and data.count(b"\n") <= window:
|
|
103
|
-
step = min(_TAIL_BLOCK, pos)
|
|
104
|
-
pos -= step
|
|
105
|
-
f.seek(pos)
|
|
106
|
-
data = f.read(step) + data
|
|
107
|
-
except OSError:
|
|
108
|
-
return []
|
|
109
|
-
out = []
|
|
110
|
-
for raw in data.split(b"\n")[-(window + 1):]:
|
|
111
|
-
raw = raw.strip()
|
|
112
|
-
if not raw:
|
|
113
|
-
continue
|
|
114
|
-
try:
|
|
115
|
-
out.append(json.loads(raw.decode("utf-8", "replace")))
|
|
116
|
-
except ValueError:
|
|
117
|
-
continue
|
|
118
|
-
return out[-window:]
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
# 生效条件:cg.index 缺失或不是 dict 时返回 0;否则统计其 "nodes" 中各条目 layer 属于 UNMODELED_LAYERS 的条数(entry 非 dict 或 layer 缺失的条目不计);
|
|
122
|
-
def _layer_stock(cg) -> int:
|
|
123
|
-
"""未建模存量:索引中 rejected / unresolved 两层的条目计数(零正文 IO)。"""
|
|
124
|
-
idx = getattr(cg, "index", None)
|
|
125
|
-
nodes = (idx or {}).get("nodes") if isinstance(idx, dict) else None
|
|
126
|
-
if not nodes:
|
|
127
|
-
return 0
|
|
128
|
-
n = 0
|
|
129
|
-
for e in nodes.values():
|
|
130
|
-
if isinstance(e, dict) and e.get("layer") in UNMODELED_LAYERS:
|
|
131
|
-
n += 1
|
|
132
|
-
return n
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
# 生效条件:cg 的 reflection_log 属性缺失或为假值时回落 os.path.join(cg.root, REFLECTION_LOG);该文件不存在时返回计数 0;
|
|
136
|
-
def _reflection_count(cg) -> int:
|
|
137
|
-
path = getattr(cg, "reflection_log", "") or os.path.join(
|
|
138
|
-
str(getattr(cg, "root", "") or ""), REFLECTION_LOG)
|
|
139
|
-
try:
|
|
140
|
-
return int(count_jsonl(path))
|
|
141
|
-
except OSError:
|
|
142
|
-
return 0
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
# 生效条件:惰性导入 metacognition 并取窗口内资格态分布;metacognition.trace 返回 ok 为假(无反思留痕)或抛异常时返回 {"total": 0, "states": {}};
|
|
146
|
-
def _state_dist(cg, window: int) -> dict:
|
|
147
|
-
"""反思窗口内的资格态分布(复用 metacognition.trace,不重算)。"""
|
|
148
|
-
try:
|
|
149
|
-
from . import metacognition
|
|
150
|
-
tr = metacognition.trace(cg, window=int(window))
|
|
151
|
-
except Exception: # noqa: BLE001
|
|
152
|
-
return {"total": 0, "states": {}}
|
|
153
|
-
if not tr.get("ok"):
|
|
154
|
-
return {"total": 0, "states": {}}
|
|
155
|
-
states = {k: int(v) for k, v in (tr.get("states") or {}).items()}
|
|
156
|
-
return {"total": sum(states.values()), "states": states}
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
# 生效条件:给定 cg 与 window,返回窗口内新增未消化事件的密度代理([0,1]),= min(1.0, (recent 尾部条数 + explore 尾部条数) / (2*window));
|
|
160
|
-
def events_pressure(cg, window: int = DEFAULT_WINDOW) -> float:
|
|
161
|
-
"""代理一:未被建模的现实总量 → 窗口内新增未消化事件密度。"""
|
|
162
|
-
window = max(1, int(window or DEFAULT_WINDOW))
|
|
163
|
-
recent_path = (getattr(cg, "recent_log", "") or
|
|
164
|
-
os.path.join(str(getattr(cg, "root", "") or ""), RECENT_LOG))
|
|
165
|
-
explore_path = os.path.join(str(getattr(cg, "root", "") or ""), EXPLORE_LOG)
|
|
166
|
-
n = len(tail_jsonl(recent_path, window)) + len(tail_jsonl(explore_path,
|
|
167
|
-
window))
|
|
168
|
-
return round(min(1.0, n / float(2 * window)), 4)
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
# 生效条件:给定存量 stock 与资格态分布 dist,返回未建模信号增长的归一化代理([0,1]),= min(1.0, 0.5*min(1.0, stock/STOCK_FULL) + 0.5*((BLINDSPOT+DEFER)/max(1,total)));
|
|
172
|
-
def unmodeled_growth(stock: int, dist: dict) -> float:
|
|
173
|
-
"""代理二:未建模信号持续增长 → 存量饱和率 + 反思窗口未消化率 的均值。"""
|
|
174
|
-
stock_rate = min(1.0, max(0, int(stock)) / float(STOCK_FULL))
|
|
175
|
-
states = (dist or {}).get("states") or {}
|
|
176
|
-
total = int((dist or {}).get("total") or 0)
|
|
177
|
-
bad = 0
|
|
178
|
-
for k in ("BLINDSPOT", "DEFER"):
|
|
179
|
-
try:
|
|
180
|
-
bad += int(states.get(k) or 0)
|
|
181
|
-
except (TypeError, ValueError):
|
|
182
|
-
continue
|
|
183
|
-
return round(min(1.0, 0.5 * stock_rate + 0.5 * bad / float(max(1, total))), 4)
|
|
184
|
-
|
|
185
|
-
|
|
186
|
-
# 生效条件:给定资格态分布 dist,返回边界违反速率代理([0,1]),= (REJECT+BLINDSPOT)/max(1,total)(无分布即 0.0);
|
|
187
|
-
def boundary_violation_rate(dist: dict) -> float:
|
|
188
|
-
"""代理三:边界违反速率 → 反思窗口内 REJECT/BLINDSPOT 占比。"""
|
|
189
|
-
states = (dist or {}).get("states") or {}
|
|
190
|
-
total = int((dist or {}).get("total") or 0)
|
|
191
|
-
bad = 0
|
|
192
|
-
for k in ("REJECT", "BLINDSPOT"):
|
|
193
|
-
try:
|
|
194
|
-
bad += int(states.get(k) or 0)
|
|
195
|
-
except (TypeError, ValueError):
|
|
196
|
-
continue
|
|
197
|
-
return round(bad / float(max(1, total)), 4)
|
|
198
|
-
|
|
199
|
-
|
|
200
|
-
# 生效条件:cg 必需;MDCG_D_META 属于 _FALSY 时三代理恒 0.0、enabled=False 且 note 声明已回退;否则按 (root, 反思条数, 存量, recent 条数, explore 条数, window) 查进程内缓存,未命中则计算三代理并回填(缓存超 _CACHE_MAX 条即清空),返回含四键(三代理 + enabled/window/note);query/results 仅透传留痕于 note(本轮口径为库侧 query 无关,不计入数值);
|
|
201
|
-
def compute(cg, query=None, results=None, window: int = DEFAULT_WINDOW,
|
|
202
|
-
now=None) -> dict:
|
|
203
|
-
"""边界压力向量(三代理各自 [0,1],**不合成单一 D_meta 数值**)。
|
|
204
|
-
|
|
205
|
-
返回:`{"events_pressure", "unmodeled_growth", "boundary_violation_rate",
|
|
206
|
-
"enabled", "window", "note"}`。
|
|
207
|
-
|
|
208
|
-
- `enabled=False`(`MDCG_D_META` 显式关闭)时三值为 0.0 且 `note` 声明已回退。
|
|
209
|
-
- `query` / `results` 为**接口对称性**保留:query-relative 的 `_neg_coverage`
|
|
210
|
-
命中留 `reflect`(彼处有现场);本模块口径库侧 query 无关,
|
|
211
|
-
故可在 `proposals` 每轮一次、循环内复用。
|
|
212
|
-
- 纯读 + 进程内缓存(key 含两日志条数),无写路径、无后台线程、无网络。
|
|
213
|
-
"""
|
|
214
|
-
window = max(1, int(window or DEFAULT_WINDOW))
|
|
215
|
-
if not _enabled():
|
|
216
|
-
return {"events_pressure": 0.0, "unmodeled_growth": 0.0,
|
|
217
|
-
"boundary_violation_rate": 0.0, "enabled": False,
|
|
218
|
-
"window": window,
|
|
219
|
-
"note": ("MDCG_D_META 已显式关闭:D_meta 计算回退,三代理恒 0.0"
|
|
220
|
-
"(上层加分退化 → 旧排序)")}
|
|
221
|
-
root = str(getattr(cg, "root", "") or "")
|
|
222
|
-
refl_n = _reflection_count(cg)
|
|
223
|
-
stock = _layer_stock(cg)
|
|
224
|
-
recent_path = (getattr(cg, "recent_log", "") or
|
|
225
|
-
os.path.join(root, RECENT_LOG))
|
|
226
|
-
explore_path = os.path.join(root, EXPLORE_LOG)
|
|
227
|
-
recent_n = count_jsonl(recent_path)
|
|
228
|
-
explore_n = count_jsonl(explore_path)
|
|
229
|
-
key = (root, refl_n, stock, recent_n, explore_n, window)
|
|
230
|
-
hit = _CACHE.get(key)
|
|
231
|
-
if hit is None:
|
|
232
|
-
dist = _state_dist(cg, window)
|
|
233
|
-
hit = {
|
|
234
|
-
"events_pressure": events_pressure(cg, window=window),
|
|
235
|
-
"unmodeled_growth": unmodeled_growth(stock, dist),
|
|
236
|
-
"boundary_violation_rate": boundary_violation_rate(dist),
|
|
237
|
-
}
|
|
238
|
-
if len(_CACHE) >= _CACHE_MAX:
|
|
239
|
-
_CACHE.clear()
|
|
240
|
-
_CACHE[key] = hit
|
|
241
|
-
note = ("边界压力向量:三代理各自 [0,1]、**不合成单值**(DEV-002a);"
|
|
242
|
-
"只计「进入系统但未被消化」的事件,不是世界真实未发生事件;"
|
|
243
|
-
"不参与 _compute_d(D_task 口径零变更)")
|
|
244
|
-
if query is not None:
|
|
245
|
-
note += ";query 已透传(本轮口径为库侧 query 无关,不计入数值)"
|
|
246
|
-
return {
|
|
247
|
-
"events_pressure": hit["events_pressure"],
|
|
248
|
-
"unmodeled_growth": hit["unmodeled_growth"],
|
|
249
|
-
"boundary_violation_rate": hit["boundary_violation_rate"],
|
|
250
|
-
"enabled": True, "window": window,
|
|
251
|
-
"note": note,
|
|
252
|
-
}
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
# 生效条件:vec 为 dict 且其 key(缺省 "unmodeled_growth")的值为 int/float 时返回裁剪到 [0,1] 的 float,否则返回 0.0;
|
|
256
|
-
def pressure(vec, key: str = "unmodeled_growth") -> float:
|
|
257
|
-
"""取**单一指定代理**作单值用途(禁止三代理加权合成,DEV-002a)。"""
|
|
258
|
-
if not isinstance(vec, dict):
|
|
259
|
-
return 0.0
|
|
260
|
-
v = vec.get(key)
|
|
261
|
-
if isinstance(v, bool) or not isinstance(v, (int, float)):
|
|
262
|
-
return 0.0
|
|
263
|
-
return round(max(0.0, min(1.0, float(v))), 4)
|
|
264
|
-
|
|
265
|
-
|
|
266
|
-
# 生效条件:prev 或 cur 为假值时返回 None;否则返回三代理的逐字段差(cur-prev,round 4)字典;
|
|
267
|
-
def diff(prev, cur) -> dict:
|
|
268
|
-
"""逐字段差(供 `reflect` 落 `d_meta_delta`;首条无前值时返回 None)。"""
|
|
269
|
-
if not prev or not cur:
|
|
270
|
-
return None
|
|
271
|
-
out = {}
|
|
272
|
-
for k in PROXY_KEYS:
|
|
273
|
-
try:
|
|
274
|
-
out[k] = round(float(cur.get(k) or 0.0) - float(prev.get(k) or 0.0), 4)
|
|
275
|
-
except (TypeError, ValueError):
|
|
276
|
-
out[k] = 0.0
|
|
277
|
-
return out
|
|
278
|
-
|
|
279
|
-
|
|
280
|
-
# 生效条件:不适用(无必需形参与分支),恒定返回本模块的自描述 dict(module/role/theory/proxies/constraints/knobs);
|
|
281
|
-
def catalog() -> dict:
|
|
282
|
-
"""自描述:三代理口径、诚实边界与开关(防文档与实现漂移)。"""
|
|
283
|
-
return {
|
|
284
|
-
"module": "d_meta",
|
|
285
|
-
"role": "D_meta 结构性投影(边界压力向量,三代理各自 [0,1],不合成单值)",
|
|
286
|
-
"theory": {
|
|
287
|
-
"dev_002": "D_task=图上操作性距离;D_meta=未被建模的现实总量——不互换",
|
|
288
|
-
"dev_002a": "可新增投影链路,不得并入 _compute_d;不得加权合成单值",
|
|
289
|
-
"increasing": "d(D_meta)/dt ≥ 0 → 只观测趋势,不做缩小运算",
|
|
290
|
-
"boundary": "审美/创造/非任务探索不由 ΔD·σ(Gain) 定价 → 只做排序加分",
|
|
291
|
-
},
|
|
292
|
-
"proxies": {
|
|
293
|
-
"events_pressure": "窗口内新增未消化事件密度(_recent + _explore 尾窗)",
|
|
294
|
-
"unmodeled_growth": ("0.5×存量饱和率(rejected+unresolved / %d)"
|
|
295
|
-
" + 0.5×反思窗口未消化率(BLINDSPOT+DEFER)"
|
|
296
|
-
% STOCK_FULL),
|
|
297
|
-
"boundary_violation_rate": "反思窗口内 (REJECT+BLINDSPOT)/全部资格态",
|
|
298
|
-
},
|
|
299
|
-
"default_proxy_for_single_value": "unmodeled_growth",
|
|
300
|
-
"knobs": {"env_gate": _ENV_FLAG, "default_enabled": True,
|
|
301
|
-
"default_window": DEFAULT_WINDOW,
|
|
302
|
-
"stock_full": STOCK_FULL},
|
|
303
|
-
"constraints": [
|
|
304
|
-
"只读:无写路径;不 import mdcg / mdcos(叶子模块,防循环依赖)",
|
|
305
|
-
"不参与 _compute_d(D_task 口径零变更)",
|
|
306
|
-
"不合成单一 D_meta 数值(DEV-002a);单值只允许指定单一代理",
|
|
307
|
-
"代理只计「进入系统但未被消化」的事件,不是世界真实未发生事件",
|
|
308
|
-
],
|
|
309
|
-
"faces": ["compute", "pressure", "diff", "tail_jsonl", "catalog"],
|
|
310
|
-
}
|
|
1
|
+
# -*- coding: utf-8 -*-
|
|
2
|
+
"""md_cg · D_meta 投影:边界压力向量(三代理,各自 [0,1],**不合成单值**)
|
|
3
|
+
|
|
4
|
+
理论约束(智能论3.4 §2.7.0 DEV-002 / DEV-002a;工程方案
|
|
5
|
+
`docs/mdcg/D_meta_工程化方案_v0.2.md`):
|
|
6
|
+
|
|
7
|
+
- DEV-002:`D_task` = 图上操作性距离;`D_meta` = 未被建模的现实总量。
|
|
8
|
+
**两者对象不同、数值不互换**。本模块**不参与** `MdCG._compute_d`——
|
|
9
|
+
`D_task` 口径零变更("双 D 落盘"= 并列新增,不是打通)。
|
|
10
|
+
- DEV-002a:可新增 `D_meta` 投影链路,但不能并入 `D_task` 计算公式。
|
|
11
|
+
- 增定律 `d(D_meta)/dt ≥ 0`:本模块只**观测**压力与其趋势,不做"缩小"运算。
|
|
12
|
+
- **不合成单一数值**:任何把三代理加权成一个 `D_meta` 数的企图都违反
|
|
13
|
+
DEV-002a。上层若需单值,只允许**指定单一代理**(见 `pressure()`)。
|
|
14
|
+
|
|
15
|
+
诚实边界(随代码同行,不可省略):
|
|
16
|
+
|
|
17
|
+
1. 三代理只计「**已进入本系统、但未被消化**」的可观测量——**不是**「世界真实
|
|
18
|
+
未发生的事件」,后者不可观测。全部数据来自**已落盘留痕与索引**,
|
|
19
|
+
不重放检索、不读全库正文(热路径约束)。
|
|
20
|
+
2. 本模块是**叶子只读**模块:不 import `mdcg` / `mdcos`(防循环依赖),
|
|
21
|
+
只依赖 `fsutil` 原语与注入的 `cg` 对象(duck-typing);`metacognition`
|
|
22
|
+
惰性导入(调用点内),理由同 `self_state._prediction_face`。
|
|
23
|
+
3. 只读:本模块**没有任何写路径**。
|
|
24
|
+
|
|
25
|
+
开关(三面隔离之一,方案 §2.1/§3):
|
|
26
|
+
|
|
27
|
+
- `MDCG_D_META`:D_meta 计算总闸,**默认开启**;置 `0/false/off/no`
|
|
28
|
+
显式回退(关闭计算 → 上层加分退化为 0,回到旧排序)。
|
|
29
|
+
|
|
30
|
+
三个代理的口径(各自 [0,1],可核验、可复算):
|
|
31
|
+
|
|
32
|
+
| 代理 | 口径 | 数据源(已落盘) |
|
|
33
|
+
|---|---|---|
|
|
34
|
+
| `events_pressure` | 窗口内新增未消化事件密度 = (近期事件条数 + 探索留痕条数) / (2×window) | `_recent.jsonl` + `_explore.jsonl` 尾部窗口 |
|
|
35
|
+
| `unmodeled_growth` | 0.5×存量饱和率 + 0.5×反思窗口未消化率(BLINDSPOT+DEFER 占比) | 索引 `rejected`/`unresolved` 层计数 + `_reflection.jsonl` 窗口 |
|
|
36
|
+
| `boundary_violation_rate` | 反思窗口内 (REJECT+BLINDSPOT) / 全部资格态 | `_reflection.jsonl` 窗口 `states` 分布 |
|
|
37
|
+
|
|
38
|
+
**query-relative 口径不在本模块**:`_neg_coverage` 之类的命中率需要
|
|
39
|
+
query+results 现场,留在 `MdCG.reflect`(彼处两者都有)。本模块口径
|
|
40
|
+
**库侧 query 无关**,故可在 `autonomy.proposals` 里"每轮一次、循环内复用"。
|
|
41
|
+
"""
|
|
42
|
+
from __future__ import annotations
|
|
43
|
+
|
|
44
|
+
import json
|
|
45
|
+
import os
|
|
46
|
+
|
|
47
|
+
from .fsutil import count_jsonl
|
|
48
|
+
|
|
49
|
+
# ---------------------------------------------------------------- 常量
|
|
50
|
+
|
|
51
|
+
_ENV_FLAG = "MDCG_D_META"
|
|
52
|
+
_FALSY = ("0", "false", "off", "no")
|
|
53
|
+
DEFAULT_WINDOW = 200
|
|
54
|
+
|
|
55
|
+
#: `rejected`/`unresolved` 存量的归一化饱和基准(达到即视为压力 1.0)。
|
|
56
|
+
STOCK_FULL = 100
|
|
57
|
+
|
|
58
|
+
EXPLORE_LOG = "_explore.jsonl"
|
|
59
|
+
RECENT_LOG = "_recent.jsonl"
|
|
60
|
+
REFLECTION_LOG = "_reflection.jsonl"
|
|
61
|
+
|
|
62
|
+
#: 未建模层(负记忆两类:失败/否决 + 未解问题)。
|
|
63
|
+
UNMODELED_LAYERS = ("rejected", "unresolved")
|
|
64
|
+
|
|
65
|
+
#: 资格四态(`judge_qualification` 的 states 取值域)。
|
|
66
|
+
JUDGE_STATES = ("ACCEPT", "REJECT", "DEFER", "BLINDSPOT")
|
|
67
|
+
|
|
68
|
+
PROXY_KEYS = ("events_pressure", "unmodeled_growth", "boundary_violation_rate")
|
|
69
|
+
|
|
70
|
+
_TAIL_BLOCK = 1 << 16 # 尾部反向扫描块(64KiB)
|
|
71
|
+
_CACHE_MAX = 64 # 进程内缓存条目上限(超出即清空,无后台线程)
|
|
72
|
+
_CACHE = {}
|
|
73
|
+
|
|
74
|
+
|
|
75
|
+
# 生效条件:读取环境变量 MDCG_D_META(大小写不敏感、去首尾空白),其值属于 _FALSY 时返回 False,其余(含未设置)返回 True;
|
|
76
|
+
def _enabled() -> bool:
|
|
77
|
+
"""D_meta 计算总闸(默认开启)。"""
|
|
78
|
+
return str(os.environ.get(_ENV_FLAG, "")).strip().lower() not in _FALSY
|
|
79
|
+
|
|
80
|
+
|
|
81
|
+
# 生效条件:path 不存在或不是文件、或 window<=0 时返回 [];否则从文件末尾按 _TAIL_BLOCK 分块反向读取,直到累计换行数超过 window 或到达文件头,再按行 json.loads 解析尾部 window 条非空记录(解析失败的行跳过、块首半截行跳过);
|
|
82
|
+
def tail_jsonl(path: str, window: int) -> list:
|
|
83
|
+
"""只读 JSONL **尾部最多 window 条**(反向分块,避免全文件 IO)。
|
|
84
|
+
|
|
85
|
+
与 `fsutil.read_jsonl` 的区别:不流式扫全文件,读盘量 ≈ O(window)。
|
|
86
|
+
日志文件可能末尾无换行(写者被杀死),此时最后一行会被解析失败丢弃——
|
|
87
|
+
与 `read_jsonl` 同语义(不猜内容)。
|
|
88
|
+
"""
|
|
89
|
+
window = int(window)
|
|
90
|
+
if window <= 0:
|
|
91
|
+
return []
|
|
92
|
+
try:
|
|
93
|
+
size = os.path.getsize(path)
|
|
94
|
+
except OSError:
|
|
95
|
+
return []
|
|
96
|
+
if size <= 0:
|
|
97
|
+
return []
|
|
98
|
+
data = b""
|
|
99
|
+
pos = size
|
|
100
|
+
try:
|
|
101
|
+
with open(path, "rb") as f:
|
|
102
|
+
while pos > 0 and data.count(b"\n") <= window:
|
|
103
|
+
step = min(_TAIL_BLOCK, pos)
|
|
104
|
+
pos -= step
|
|
105
|
+
f.seek(pos)
|
|
106
|
+
data = f.read(step) + data
|
|
107
|
+
except OSError:
|
|
108
|
+
return []
|
|
109
|
+
out = []
|
|
110
|
+
for raw in data.split(b"\n")[-(window + 1):]:
|
|
111
|
+
raw = raw.strip()
|
|
112
|
+
if not raw:
|
|
113
|
+
continue
|
|
114
|
+
try:
|
|
115
|
+
out.append(json.loads(raw.decode("utf-8", "replace")))
|
|
116
|
+
except ValueError:
|
|
117
|
+
continue
|
|
118
|
+
return out[-window:]
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
# 生效条件:cg.index 缺失或不是 dict 时返回 0;否则统计其 "nodes" 中各条目 layer 属于 UNMODELED_LAYERS 的条数(entry 非 dict 或 layer 缺失的条目不计);
|
|
122
|
+
def _layer_stock(cg) -> int:
|
|
123
|
+
"""未建模存量:索引中 rejected / unresolved 两层的条目计数(零正文 IO)。"""
|
|
124
|
+
idx = getattr(cg, "index", None)
|
|
125
|
+
nodes = (idx or {}).get("nodes") if isinstance(idx, dict) else None
|
|
126
|
+
if not nodes:
|
|
127
|
+
return 0
|
|
128
|
+
n = 0
|
|
129
|
+
for e in nodes.values():
|
|
130
|
+
if isinstance(e, dict) and e.get("layer") in UNMODELED_LAYERS:
|
|
131
|
+
n += 1
|
|
132
|
+
return n
|
|
133
|
+
|
|
134
|
+
|
|
135
|
+
# 生效条件:cg 的 reflection_log 属性缺失或为假值时回落 os.path.join(cg.root, REFLECTION_LOG);该文件不存在时返回计数 0;
|
|
136
|
+
def _reflection_count(cg) -> int:
|
|
137
|
+
path = getattr(cg, "reflection_log", "") or os.path.join(
|
|
138
|
+
str(getattr(cg, "root", "") or ""), REFLECTION_LOG)
|
|
139
|
+
try:
|
|
140
|
+
return int(count_jsonl(path))
|
|
141
|
+
except OSError:
|
|
142
|
+
return 0
|
|
143
|
+
|
|
144
|
+
|
|
145
|
+
# 生效条件:惰性导入 metacognition 并取窗口内资格态分布;metacognition.trace 返回 ok 为假(无反思留痕)或抛异常时返回 {"total": 0, "states": {}};
|
|
146
|
+
def _state_dist(cg, window: int) -> dict:
|
|
147
|
+
"""反思窗口内的资格态分布(复用 metacognition.trace,不重算)。"""
|
|
148
|
+
try:
|
|
149
|
+
from . import metacognition
|
|
150
|
+
tr = metacognition.trace(cg, window=int(window))
|
|
151
|
+
except Exception: # noqa: BLE001
|
|
152
|
+
return {"total": 0, "states": {}}
|
|
153
|
+
if not tr.get("ok"):
|
|
154
|
+
return {"total": 0, "states": {}}
|
|
155
|
+
states = {k: int(v) for k, v in (tr.get("states") or {}).items()}
|
|
156
|
+
return {"total": sum(states.values()), "states": states}
|
|
157
|
+
|
|
158
|
+
|
|
159
|
+
# 生效条件:给定 cg 与 window,返回窗口内新增未消化事件的密度代理([0,1]),= min(1.0, (recent 尾部条数 + explore 尾部条数) / (2*window));
|
|
160
|
+
def events_pressure(cg, window: int = DEFAULT_WINDOW) -> float:
|
|
161
|
+
"""代理一:未被建模的现实总量 → 窗口内新增未消化事件密度。"""
|
|
162
|
+
window = max(1, int(window or DEFAULT_WINDOW))
|
|
163
|
+
recent_path = (getattr(cg, "recent_log", "") or
|
|
164
|
+
os.path.join(str(getattr(cg, "root", "") or ""), RECENT_LOG))
|
|
165
|
+
explore_path = os.path.join(str(getattr(cg, "root", "") or ""), EXPLORE_LOG)
|
|
166
|
+
n = len(tail_jsonl(recent_path, window)) + len(tail_jsonl(explore_path,
|
|
167
|
+
window))
|
|
168
|
+
return round(min(1.0, n / float(2 * window)), 4)
|
|
169
|
+
|
|
170
|
+
|
|
171
|
+
# 生效条件:给定存量 stock 与资格态分布 dist,返回未建模信号增长的归一化代理([0,1]),= min(1.0, 0.5*min(1.0, stock/STOCK_FULL) + 0.5*((BLINDSPOT+DEFER)/max(1,total)));
|
|
172
|
+
def unmodeled_growth(stock: int, dist: dict) -> float:
|
|
173
|
+
"""代理二:未建模信号持续增长 → 存量饱和率 + 反思窗口未消化率 的均值。"""
|
|
174
|
+
stock_rate = min(1.0, max(0, int(stock)) / float(STOCK_FULL))
|
|
175
|
+
states = (dist or {}).get("states") or {}
|
|
176
|
+
total = int((dist or {}).get("total") or 0)
|
|
177
|
+
bad = 0
|
|
178
|
+
for k in ("BLINDSPOT", "DEFER"):
|
|
179
|
+
try:
|
|
180
|
+
bad += int(states.get(k) or 0)
|
|
181
|
+
except (TypeError, ValueError):
|
|
182
|
+
continue
|
|
183
|
+
return round(min(1.0, 0.5 * stock_rate + 0.5 * bad / float(max(1, total))), 4)
|
|
184
|
+
|
|
185
|
+
|
|
186
|
+
# 生效条件:给定资格态分布 dist,返回边界违反速率代理([0,1]),= (REJECT+BLINDSPOT)/max(1,total)(无分布即 0.0);
|
|
187
|
+
def boundary_violation_rate(dist: dict) -> float:
|
|
188
|
+
"""代理三:边界违反速率 → 反思窗口内 REJECT/BLINDSPOT 占比。"""
|
|
189
|
+
states = (dist or {}).get("states") or {}
|
|
190
|
+
total = int((dist or {}).get("total") or 0)
|
|
191
|
+
bad = 0
|
|
192
|
+
for k in ("REJECT", "BLINDSPOT"):
|
|
193
|
+
try:
|
|
194
|
+
bad += int(states.get(k) or 0)
|
|
195
|
+
except (TypeError, ValueError):
|
|
196
|
+
continue
|
|
197
|
+
return round(bad / float(max(1, total)), 4)
|
|
198
|
+
|
|
199
|
+
|
|
200
|
+
# 生效条件:cg 必需;MDCG_D_META 属于 _FALSY 时三代理恒 0.0、enabled=False 且 note 声明已回退;否则按 (root, 反思条数, 存量, recent 条数, explore 条数, window) 查进程内缓存,未命中则计算三代理并回填(缓存超 _CACHE_MAX 条即清空),返回含四键(三代理 + enabled/window/note);query/results 仅透传留痕于 note(本轮口径为库侧 query 无关,不计入数值);
|
|
201
|
+
def compute(cg, query=None, results=None, window: int = DEFAULT_WINDOW,
|
|
202
|
+
now=None) -> dict:
|
|
203
|
+
"""边界压力向量(三代理各自 [0,1],**不合成单一 D_meta 数值**)。
|
|
204
|
+
|
|
205
|
+
返回:`{"events_pressure", "unmodeled_growth", "boundary_violation_rate",
|
|
206
|
+
"enabled", "window", "note"}`。
|
|
207
|
+
|
|
208
|
+
- `enabled=False`(`MDCG_D_META` 显式关闭)时三值为 0.0 且 `note` 声明已回退。
|
|
209
|
+
- `query` / `results` 为**接口对称性**保留:query-relative 的 `_neg_coverage`
|
|
210
|
+
命中留 `reflect`(彼处有现场);本模块口径库侧 query 无关,
|
|
211
|
+
故可在 `proposals` 每轮一次、循环内复用。
|
|
212
|
+
- 纯读 + 进程内缓存(key 含两日志条数),无写路径、无后台线程、无网络。
|
|
213
|
+
"""
|
|
214
|
+
window = max(1, int(window or DEFAULT_WINDOW))
|
|
215
|
+
if not _enabled():
|
|
216
|
+
return {"events_pressure": 0.0, "unmodeled_growth": 0.0,
|
|
217
|
+
"boundary_violation_rate": 0.0, "enabled": False,
|
|
218
|
+
"window": window,
|
|
219
|
+
"note": ("MDCG_D_META 已显式关闭:D_meta 计算回退,三代理恒 0.0"
|
|
220
|
+
"(上层加分退化 → 旧排序)")}
|
|
221
|
+
root = str(getattr(cg, "root", "") or "")
|
|
222
|
+
refl_n = _reflection_count(cg)
|
|
223
|
+
stock = _layer_stock(cg)
|
|
224
|
+
recent_path = (getattr(cg, "recent_log", "") or
|
|
225
|
+
os.path.join(root, RECENT_LOG))
|
|
226
|
+
explore_path = os.path.join(root, EXPLORE_LOG)
|
|
227
|
+
recent_n = count_jsonl(recent_path)
|
|
228
|
+
explore_n = count_jsonl(explore_path)
|
|
229
|
+
key = (root, refl_n, stock, recent_n, explore_n, window)
|
|
230
|
+
hit = _CACHE.get(key)
|
|
231
|
+
if hit is None:
|
|
232
|
+
dist = _state_dist(cg, window)
|
|
233
|
+
hit = {
|
|
234
|
+
"events_pressure": events_pressure(cg, window=window),
|
|
235
|
+
"unmodeled_growth": unmodeled_growth(stock, dist),
|
|
236
|
+
"boundary_violation_rate": boundary_violation_rate(dist),
|
|
237
|
+
}
|
|
238
|
+
if len(_CACHE) >= _CACHE_MAX:
|
|
239
|
+
_CACHE.clear()
|
|
240
|
+
_CACHE[key] = hit
|
|
241
|
+
note = ("边界压力向量:三代理各自 [0,1]、**不合成单值**(DEV-002a);"
|
|
242
|
+
"只计「进入系统但未被消化」的事件,不是世界真实未发生事件;"
|
|
243
|
+
"不参与 _compute_d(D_task 口径零变更)")
|
|
244
|
+
if query is not None:
|
|
245
|
+
note += ";query 已透传(本轮口径为库侧 query 无关,不计入数值)"
|
|
246
|
+
return {
|
|
247
|
+
"events_pressure": hit["events_pressure"],
|
|
248
|
+
"unmodeled_growth": hit["unmodeled_growth"],
|
|
249
|
+
"boundary_violation_rate": hit["boundary_violation_rate"],
|
|
250
|
+
"enabled": True, "window": window,
|
|
251
|
+
"note": note,
|
|
252
|
+
}
|
|
253
|
+
|
|
254
|
+
|
|
255
|
+
# 生效条件:vec 为 dict 且其 key(缺省 "unmodeled_growth")的值为 int/float 时返回裁剪到 [0,1] 的 float,否则返回 0.0;
|
|
256
|
+
def pressure(vec, key: str = "unmodeled_growth") -> float:
|
|
257
|
+
"""取**单一指定代理**作单值用途(禁止三代理加权合成,DEV-002a)。"""
|
|
258
|
+
if not isinstance(vec, dict):
|
|
259
|
+
return 0.0
|
|
260
|
+
v = vec.get(key)
|
|
261
|
+
if isinstance(v, bool) or not isinstance(v, (int, float)):
|
|
262
|
+
return 0.0
|
|
263
|
+
return round(max(0.0, min(1.0, float(v))), 4)
|
|
264
|
+
|
|
265
|
+
|
|
266
|
+
# 生效条件:prev 或 cur 为假值时返回 None;否则返回三代理的逐字段差(cur-prev,round 4)字典;
|
|
267
|
+
def diff(prev, cur) -> dict:
|
|
268
|
+
"""逐字段差(供 `reflect` 落 `d_meta_delta`;首条无前值时返回 None)。"""
|
|
269
|
+
if not prev or not cur:
|
|
270
|
+
return None
|
|
271
|
+
out = {}
|
|
272
|
+
for k in PROXY_KEYS:
|
|
273
|
+
try:
|
|
274
|
+
out[k] = round(float(cur.get(k) or 0.0) - float(prev.get(k) or 0.0), 4)
|
|
275
|
+
except (TypeError, ValueError):
|
|
276
|
+
out[k] = 0.0
|
|
277
|
+
return out
|
|
278
|
+
|
|
279
|
+
|
|
280
|
+
# 生效条件:不适用(无必需形参与分支),恒定返回本模块的自描述 dict(module/role/theory/proxies/constraints/knobs);
|
|
281
|
+
def catalog() -> dict:
|
|
282
|
+
"""自描述:三代理口径、诚实边界与开关(防文档与实现漂移)。"""
|
|
283
|
+
return {
|
|
284
|
+
"module": "d_meta",
|
|
285
|
+
"role": "D_meta 结构性投影(边界压力向量,三代理各自 [0,1],不合成单值)",
|
|
286
|
+
"theory": {
|
|
287
|
+
"dev_002": "D_task=图上操作性距离;D_meta=未被建模的现实总量——不互换",
|
|
288
|
+
"dev_002a": "可新增投影链路,不得并入 _compute_d;不得加权合成单值",
|
|
289
|
+
"increasing": "d(D_meta)/dt ≥ 0 → 只观测趋势,不做缩小运算",
|
|
290
|
+
"boundary": "审美/创造/非任务探索不由 ΔD·σ(Gain) 定价 → 只做排序加分",
|
|
291
|
+
},
|
|
292
|
+
"proxies": {
|
|
293
|
+
"events_pressure": "窗口内新增未消化事件密度(_recent + _explore 尾窗)",
|
|
294
|
+
"unmodeled_growth": ("0.5×存量饱和率(rejected+unresolved / %d)"
|
|
295
|
+
" + 0.5×反思窗口未消化率(BLINDSPOT+DEFER)"
|
|
296
|
+
% STOCK_FULL),
|
|
297
|
+
"boundary_violation_rate": "反思窗口内 (REJECT+BLINDSPOT)/全部资格态",
|
|
298
|
+
},
|
|
299
|
+
"default_proxy_for_single_value": "unmodeled_growth",
|
|
300
|
+
"knobs": {"env_gate": _ENV_FLAG, "default_enabled": True,
|
|
301
|
+
"default_window": DEFAULT_WINDOW,
|
|
302
|
+
"stock_full": STOCK_FULL},
|
|
303
|
+
"constraints": [
|
|
304
|
+
"只读:无写路径;不 import mdcg / mdcos(叶子模块,防循环依赖)",
|
|
305
|
+
"不参与 _compute_d(D_task 口径零变更)",
|
|
306
|
+
"不合成单一 D_meta 数值(DEV-002a);单值只允许指定单一代理",
|
|
307
|
+
"代理只计「进入系统但未被消化」的事件,不是世界真实未发生事件",
|
|
308
|
+
],
|
|
309
|
+
"faces": ["compute", "pressure", "diff", "tail_jsonl", "catalog"],
|
|
310
|
+
}
|