@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/test_d_meta.py
CHANGED
|
@@ -1,412 +1,412 @@
|
|
|
1
|
-
# -*- coding: utf-8 -*-
|
|
2
|
-
"""D_meta 结构性投影(边界压力向量)验证。
|
|
3
|
-
|
|
4
|
-
断言面:
|
|
5
|
-
A 三代理口径:空库下界 / 逐代理公式复算 / 归一化上界 / **不合成单值**
|
|
6
|
-
B 开关回退臂:MDCG_D_META=0 → 三值 0.0 + enabled=False + 加分退化 0
|
|
7
|
-
C 双 D 落盘:reflect 落 d_meta / d_meta_delta(首条 None);_compute_d 零变更
|
|
8
|
-
D 第五维 opt-in:默认不落键/不改 composite;显式启用才落键并同步 SORT_KEYS
|
|
9
|
-
E 提案加分:只改 sort_score 与证据,不改 score、不改资格(无信号仍不提案)
|
|
10
|
-
F explore 留痕 meta_outcomes(outcomes 契约不变)+ gain_gate 压力冷却分支
|
|
11
|
-
G self_state:d_meta_trend 幂等 + 状态卡边界压力行
|
|
12
|
-
H MCP 观测面:cg op=metacognition action=d_meta
|
|
13
|
-
I tail_jsonl 原语边界(缺文件 / 窗口 ≤0 / 截断末行 / 尾部窗口等价)
|
|
14
|
-
|
|
15
|
-
理论:智能论3.4 §2.7.0 DEV-002/002a(D_task ≠ D_meta;不得加权合成单值)。
|
|
16
|
-
运行:python -m md_cg.test_d_meta
|
|
17
|
-
"""
|
|
18
|
-
from __future__ import annotations
|
|
19
|
-
|
|
20
|
-
import importlib
|
|
21
|
-
import json
|
|
22
|
-
import os
|
|
23
|
-
import shutil
|
|
24
|
-
import tempfile
|
|
25
|
-
|
|
26
|
-
from . import autonomy, d_meta, mcp_server, metacognition, predict, self_state
|
|
27
|
-
from .fsutil import append_jsonl
|
|
28
|
-
from .mdcos import MdCGOS
|
|
29
|
-
|
|
30
|
-
PASS = FAIL = 0
|
|
31
|
-
FAILS = []
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
def ok(cond, label):
|
|
35
|
-
global PASS, FAIL
|
|
36
|
-
if cond:
|
|
37
|
-
PASS += 1
|
|
38
|
-
else:
|
|
39
|
-
FAIL += 1
|
|
40
|
-
FAILS.append(label)
|
|
41
|
-
print(f" FAIL {label}")
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
def _sig(cg, t, query, d2, states):
|
|
45
|
-
append_jsonl(cg.reflection_log,
|
|
46
|
-
{"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
|
|
47
|
-
"d_delta": 0.0, "d2": d2, "states": states,
|
|
48
|
-
"n_results": 3, "feedback": None})
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
def _root(tmp, name):
|
|
52
|
-
r = os.path.join(tmp, name)
|
|
53
|
-
os.makedirs(r, exist_ok=True)
|
|
54
|
-
return r
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
def main():
|
|
58
|
-
tmp = tempfile.mkdtemp(prefix="mdcg_dmeta_")
|
|
59
|
-
try:
|
|
60
|
-
# ---------- A 三代理口径 ----------
|
|
61
|
-
cg = MdCGOS(_root(tmp, "a"))
|
|
62
|
-
v0 = d_meta.compute(cg)
|
|
63
|
-
ok(v0["enabled"] is True and v0["window"] == d_meta.DEFAULT_WINDOW,
|
|
64
|
-
"A1空库:enabled=True、window=200(总闸默认开启)")
|
|
65
|
-
ok(all(v0[k] == 0.0 for k in d_meta.PROXY_KEYS),
|
|
66
|
-
"A1b空库三代理取下界 0.0(无留痕即无压力,不编造)")
|
|
67
|
-
ok(not any(k in v0 for k in ("d_meta", "composite", "value")),
|
|
68
|
-
"A1c返回结构无单一 D_meta 数值键(DEV-002a 不合成单值)")
|
|
69
|
-
|
|
70
|
-
for i in range(20):
|
|
71
|
-
append_jsonl(cg.recent_log, {"i": i})
|
|
72
|
-
for i in range(10):
|
|
73
|
-
append_jsonl(autonomy._explore_log_path(cg), {"i": i, "bids": []})
|
|
74
|
-
p_ev = d_meta.compute(cg)["events_pressure"]
|
|
75
|
-
ok(abs(p_ev - round((20 + 10) / (2 * 200), 4)) < 1e-9,
|
|
76
|
-
f"A2events_pressure 公式复算((20+10)/(2×200)={p_ev})")
|
|
77
|
-
|
|
78
|
-
cg_full = MdCGOS(_root(tmp, "a_full"))
|
|
79
|
-
for i in range(300):
|
|
80
|
-
append_jsonl(cg_full.recent_log, {"i": i})
|
|
81
|
-
append_jsonl(autonomy._explore_log_path(cg_full), {"i": i})
|
|
82
|
-
ok(d_meta.compute(cg_full)["events_pressure"] == 1.0,
|
|
83
|
-
"A2b两日志各满窗 → 上界 1.0(尾窗只取 window 条、不漏出 [0,1])")
|
|
84
|
-
|
|
85
|
-
stock = d_meta._layer_stock(type("C", (), {"index": {"nodes": {
|
|
86
|
-
"n1": {"layer": "rejected"}, "n2": {"layer": "unresolved"},
|
|
87
|
-
"n3": {"layer": "knowledge"}}}})())
|
|
88
|
-
ok(stock == 2, "A3_layer_stock 只计 rejected/unresolved 层(零正文 IO)")
|
|
89
|
-
ug = d_meta.unmodeled_growth(2, {"total": 2,
|
|
90
|
-
"states": {"BLINDSPOT": 1,
|
|
91
|
-
"DEFER": 1}})
|
|
92
|
-
ok(abs(ug - round(0.5 * (2 / d_meta.STOCK_FULL) + 0.5 * 1.0, 4))
|
|
93
|
-
< 1e-9, f"A3bunmodeled_growth 公式复算({ug})")
|
|
94
|
-
bv = d_meta.boundary_violation_rate({"total": 4, "states": {
|
|
95
|
-
"REJECT": 1, "BLINDSPOT": 1, "ACCEPT": 2}})
|
|
96
|
-
ok(bv == 0.5, "A3cboundary_violation_rate=(REJECT+BLINDSPOT)/全部")
|
|
97
|
-
ok(d_meta.boundary_violation_rate({"total": 0, "states": {}}) == 0.0,
|
|
98
|
-
"A3d空分布 → 0.0(不除零、不编造)")
|
|
99
|
-
|
|
100
|
-
cat = d_meta.catalog()
|
|
101
|
-
ok(len(d_meta.PROXY_KEYS) == 3
|
|
102
|
-
and cat["default_proxy_for_single_value"] == "unmodeled_growth",
|
|
103
|
-
"A4catalog 声明三代理 + 单值只允许指定单一代理")
|
|
104
|
-
ok(any("不合成" in c for c in cat["constraints"]),
|
|
105
|
-
"A4bcatalog 约束含「不合成单一 D_meta 数值」")
|
|
106
|
-
|
|
107
|
-
ok(d_meta.pressure({}) == 0.0
|
|
108
|
-
and d_meta.pressure({"unmodeled_growth": 1.7}) == 1.0
|
|
109
|
-
and d_meta.pressure(v0) == 0.0,
|
|
110
|
-
"A5pressure() 只取单一代理且裁剪到 [0,1](缺键/越界不炸)")
|
|
111
|
-
ok(d_meta.pressure({"events_pressure": 0.3}) == 0.0,
|
|
112
|
-
"A5bpressure() 默认代理为 unmodeled_growth(不跨代理兜底)")
|
|
113
|
-
ok(d_meta.diff(None, v0) is None,
|
|
114
|
-
"A6diff(无前值) → None(首条反思 delta 为 None)")
|
|
115
|
-
dd = d_meta.diff({"unmodeled_growth": 0.1, "events_pressure": 0.4},
|
|
116
|
-
{"unmodeled_growth": 0.35, "events_pressure": 0.4})
|
|
117
|
-
ok(dd["unmodeled_growth"] == 0.25 and dd["events_pressure"] == 0.0,
|
|
118
|
-
"A6bdiff 逐字段差(缺键按 0.0 处理)")
|
|
119
|
-
|
|
120
|
-
# ---------- B 开关回退臂 ----------
|
|
121
|
-
cg_b = MdCGOS(_root(tmp, "b"))
|
|
122
|
-
for i in range(40):
|
|
123
|
-
append_jsonl(cg_b.recent_log, {"i": i})
|
|
124
|
-
_sig(cg_b, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
125
|
-
on_v = d_meta.compute(cg_b)
|
|
126
|
-
pr_on = autonomy.proposals(cg_b)
|
|
127
|
-
os.environ["MDCG_D_META"] = "0"
|
|
128
|
-
try:
|
|
129
|
-
off_v = d_meta.compute(cg_b)
|
|
130
|
-
pr_off = autonomy.proposals(cg_b)
|
|
131
|
-
ok(off_v["enabled"] is False
|
|
132
|
-
and all(off_v[k] == 0.0 for k in d_meta.PROXY_KEYS),
|
|
133
|
-
"B1MDCG_D_META=0 → enabled=False、三代理恒 0.0(显式回退)")
|
|
134
|
-
ok("已显式关闭" in off_v["note"],
|
|
135
|
-
"B1b回退臂 note 声明关闭(回退留痕,不是缺键)")
|
|
136
|
-
ok(on_v["enabled"] and on_v["events_pressure"] > 0.0,
|
|
137
|
-
"B1c开启臂同库同数据压力 > 0(对照非空)")
|
|
138
|
-
ok(pr_on["d_meta"]["bonus"] == round(
|
|
139
|
-
autonomy.W_DMETA * d_meta.pressure(on_v), 4),
|
|
140
|
-
"B2开启臂提案加分 = W_DMETA×单代理压力")
|
|
141
|
-
ok(pr_off["d_meta"]["bonus"] == 0.0
|
|
142
|
-
and pr_off["proposals"][0]["d_meta_bonus"] == 0.0,
|
|
143
|
-
"B2b回退臂加分退化 0(回到旧排序)")
|
|
144
|
-
ok(pr_off["proposals"][0]["sort_score"]
|
|
145
|
-
== pr_off["proposals"][0]["score"],
|
|
146
|
-
"B2c回退臂 sort_score == score(逐位回到 ΔD 定价)")
|
|
147
|
-
finally:
|
|
148
|
-
os.environ.pop("MDCG_D_META", None)
|
|
149
|
-
ok(d_meta.compute(cg_b)["enabled"] is True,
|
|
150
|
-
"B3删除环境变量后总闸自动回到开启(默认开启)")
|
|
151
|
-
|
|
152
|
-
# ---------- C 双 D 落盘 ----------
|
|
153
|
-
cg_c = MdCGOS(_root(tmp, "c"))
|
|
154
|
-
r1 = cg_c.reflect("反应堆冷却方案", [])
|
|
155
|
-
ok(set(r1.get("d_meta") or {}) == set(d_meta.PROXY_KEYS),
|
|
156
|
-
"C1reflect 落 d_meta 三代理键")
|
|
157
|
-
ok(r1.get("d_meta_delta") is None,
|
|
158
|
-
"C1b首条反思 d_meta_delta=None(无前值不编造差)")
|
|
159
|
-
ok(r1["d_curr"] == 1.0, "C1cresults 为空 → D_task 仍取 1.0(口径零变更)")
|
|
160
|
-
append_jsonl(cg_c.recent_log, {"i": 1})
|
|
161
|
-
r2 = cg_c.reflect("反应堆冷却方案",
|
|
162
|
-
[("d1", 1, {"state": "ACCEPT"}),
|
|
163
|
-
("d2", 0, {"state": "ACCEPT"})])
|
|
164
|
-
ok(r2["d_curr"] == 0.5,
|
|
165
|
-
"C2_compute_d 既有口径不变(1 − 1/2 = 0.5)")
|
|
166
|
-
ok(r2["d_meta_delta"] is not None
|
|
167
|
-
and r2["d_meta_delta"]["events_pressure"]
|
|
168
|
-
== round(r2["d_meta"]["events_pressure"]
|
|
169
|
-
- r1["d_meta"]["events_pressure"], 4),
|
|
170
|
-
"C2bd_meta_delta = 与上一条反思的逐字段差")
|
|
171
|
-
recs = cg_c.last_d_records()
|
|
172
|
-
ok(len(recs) == 2 and all(0.0 <= recs[-1]["d_meta"][k] <= 1.0
|
|
173
|
-
for k in d_meta.PROXY_KEYS),
|
|
174
|
-
"C2c落盘 d_meta 三代理均在 [0,1]")
|
|
175
|
-
os.environ["MDCG_D_META"] = "0"
|
|
176
|
-
try:
|
|
177
|
-
r3 = cg_c.reflect("反应堆冷却方案", [])
|
|
178
|
-
ok(all(r3["d_meta"][k] == 0.0 for k in d_meta.PROXY_KEYS)
|
|
179
|
-
and r3["d_meta_delta"] is None,
|
|
180
|
-
"C3关闭臂 reflect:d_meta 恒 0.0 且 delta=None(回退可审计)")
|
|
181
|
-
finally:
|
|
182
|
-
os.environ.pop("MDCG_D_META", None)
|
|
183
|
-
|
|
184
|
-
# ---------- D 第五维 opt-in ----------
|
|
185
|
-
cg_d = MdCGOS(_root(tmp, "d"))
|
|
186
|
-
route = {"confidence": 0.5, "path": []}
|
|
187
|
-
sc_off = predict.score_route(cg_d, route, verification=0.5)
|
|
188
|
-
ok("meta_pressure" not in sc_off
|
|
189
|
-
and len(predict.SORT_KEYS) == 5,
|
|
190
|
-
"D1默认(W_META=0)不落 meta_pressure 键、SORT_KEYS 不扩张")
|
|
191
|
-
ok(set(sc_off) == {"trend", "boundary", "verification", "balance",
|
|
192
|
-
"composite", "weights"},
|
|
193
|
-
"D1b默认返回键集合与四维时代逐字节一致")
|
|
194
|
-
ok("meta_pressure" not in predict.catalog()["weights"],
|
|
195
|
-
"D1ccatalog().weights 默认仍为四维(防文档漂移)")
|
|
196
|
-
os.environ["PREDICTION_META_DIM"] = "0.2"
|
|
197
|
-
os.environ["PREDICTION_META_PROXY"] = "unmodeled_growth"
|
|
198
|
-
try:
|
|
199
|
-
pred_on = importlib.reload(predict)
|
|
200
|
-
sc_on = pred_on.score_route(cg_d, route, verification=0.5)
|
|
201
|
-
mp = sc_on["meta_pressure"]
|
|
202
|
-
ok("meta_pressure" in sc_on
|
|
203
|
-
and "meta_pressure" in pred_on.SORT_KEYS,
|
|
204
|
-
"D2启用(PREDICTION_META_DIM=0.2)落键并同步 SORT_KEYS")
|
|
205
|
-
ok("meta_pressure" in pred_on.catalog()["weights"],
|
|
206
|
-
"D2bcatalog().weights 同步扩张(自描述不漂移)")
|
|
207
|
-
ok(abs(sc_on["composite"]
|
|
208
|
-
- round(sc_off["composite"] + 0.2 * mp, 4)) < 1e-9,
|
|
209
|
-
"D2ccomposite = 四维 + W_META×单代理(仍不做三代理加权)")
|
|
210
|
-
finally:
|
|
211
|
-
os.environ.pop("PREDICTION_META_DIM", None)
|
|
212
|
-
os.environ.pop("PREDICTION_META_PROXY", None)
|
|
213
|
-
pred_back = importlib.reload(predict)
|
|
214
|
-
sc_back = pred_back.score_route(cg_d, route, verification=0.5)
|
|
215
|
-
ok("meta_pressure" not in sc_back and len(pred_back.SORT_KEYS) == 5,
|
|
216
|
-
"D3移除环境变量并重载 → 回到四维、键不落(可回退)")
|
|
217
|
-
|
|
218
|
-
# ---------- E 提案加分只影响排序 ----------
|
|
219
|
-
cg_e = MdCGOS(_root(tmp, "e"))
|
|
220
|
-
for i in range(30):
|
|
221
|
-
append_jsonl(cg_e.recent_log, {"i": i})
|
|
222
|
-
_sig(cg_e, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
223
|
-
_sig(cg_e, 2.0, "周末菜单", 0.05, {})
|
|
224
|
-
_sig(cg_e, 3.0, "零信号查询", 0.0, {})
|
|
225
|
-
pr_e = autonomy.proposals(cg_e, limit=5)
|
|
226
|
-
ps = pr_e["proposals"]
|
|
227
|
-
p0 = ps[0]
|
|
228
|
-
ok(pr_e["n_signals"] == 3 and len(ps) == 2,
|
|
229
|
-
"E1零信号查询不进提案(资格判据先于加分,不编造)")
|
|
230
|
-
raw = (autonomy.W_D2 * p0["d2_abs"]
|
|
231
|
-
+ autonomy.W_BLINDSPOT * p0["blindspot"]
|
|
232
|
-
+ autonomy.W_DEFER * p0["defer"])
|
|
233
|
-
ok(p0["score"] == round(raw, 4),
|
|
234
|
-
"E1bscore 仍是纯 ΔD 定价(口径零变更)")
|
|
235
|
-
ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4),
|
|
236
|
-
"E1csort_score = score + D_meta 加分(加分只进排序键)")
|
|
237
|
-
ok("D_meta" in p0["reason"] and "不合成" in p0["reason"],
|
|
238
|
-
"E1dreason 追加 D_meta 证据且声明不合成(可审计)")
|
|
239
|
-
ok("d2" in p0["reason"] and "BLINDSPOT" in p0["reason"],
|
|
240
|
-
"E1ereason 保留 d2/BLINDSPOT 既有子串(契约不破)")
|
|
241
|
-
ok(pr_e["d_meta"]["proxy"] == autonomy.DMETA_PROXY
|
|
242
|
-
and pr_e["d_meta"]["bonus"] == p0["d_meta_bonus"],
|
|
243
|
-
"E2每轮一次计算、循环内复用(各提案加分同值)")
|
|
244
|
-
os.environ["MDCG_D_META"] = "0"
|
|
245
|
-
try:
|
|
246
|
-
pr_e_off = autonomy.proposals(cg_e, limit=5)
|
|
247
|
-
ok([x["sort_score"] for x in pr_e_off["proposals"]]
|
|
248
|
-
== [x["score"] for x in pr_e_off["proposals"]],
|
|
249
|
-
"E3关闭臂:sort_score 退化回 score(旧排序逐位一致)")
|
|
250
|
-
finally:
|
|
251
|
-
os.environ.pop("MDCG_D_META", None)
|
|
252
|
-
|
|
253
|
-
# ---------- F explore 留痕 + gain_gate 压力冷却 ----------
|
|
254
|
-
cg_f = MdCGOS(_root(tmp, "f"))
|
|
255
|
-
cg_f.add("k1", "# 功能名:反应堆冷却知识\n"
|
|
256
|
-
"# 生效条件:问反应堆冷却方案\n"
|
|
257
|
-
"# 子功能:知识片段\n"
|
|
258
|
-
"# 执行:陈述知识\n"
|
|
259
|
-
"# 验证方式:test\n"
|
|
260
|
-
"# 不适用条件:无\n"
|
|
261
|
-
"反应堆冷却方案概述。\n",
|
|
262
|
-
layer="knowledge", verification_basis="test")
|
|
263
|
-
_sig(cg_f, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
264
|
-
autonomy.explore(cg_f, actor="test")
|
|
265
|
-
autonomy.explore(cg_f, actor="test")
|
|
266
|
-
with open(autonomy._explore_log_path(cg_f), encoding="utf-8") as fh:
|
|
267
|
-
recs_f = [json.loads(x) for x in fh if x.strip()]
|
|
268
|
-
mo = recs_f[-1].get("meta_outcomes") or {}
|
|
269
|
-
ok(set(mo.get("before") or {}) == set(d_meta.PROXY_KEYS)
|
|
270
|
-
and mo.get("proxy") == autonomy.DMETA_PROXY,
|
|
271
|
-
"F1explore 留痕 meta_outcomes.before 三代理齐备")
|
|
272
|
-
ok(mo.get("delta") is not None,
|
|
273
|
-
"F1b第二轮 delta 非 None(跨轮压力增量 → gain_gate 输入)")
|
|
274
|
-
ok(all(isinstance(v, str)
|
|
275
|
-
for v in (recs_f[-1].get("outcomes") or {}).values()),
|
|
276
|
-
"F2outcomes 值仍为终态字符串(契约不变,停滞集比对不失效)")
|
|
277
|
-
ok(JSON_KEYS_UNCHANGED(recs_f[-1]),
|
|
278
|
-
"F2bmata_outcomes 与 outcomes 并列,未覆盖既有键")
|
|
279
|
-
|
|
280
|
-
bid = metacognition._key("反应堆冷却方案")
|
|
281
|
-
cg_g = MdCGOS(_root(tmp, "g"))
|
|
282
|
-
for i, tml in enumerate(["carried", "carried"]):
|
|
283
|
-
append_jsonl(autonomy._explore_log_path(cg_g),
|
|
284
|
-
{"type": "explore", "t": 1000.0 + i,
|
|
285
|
-
"actor": "test", "outcomes": {bid: tml},
|
|
286
|
-
"bids": [bid],
|
|
287
|
-
"meta_outcomes": {"delta": {"unmodeled_growth": 0.2},
|
|
288
|
-
"proxy": autonomy.DMETA_PROXY}})
|
|
289
|
-
g_pressure = autonomy.gain_gate(cg_g, bid, now=1000.0 + 3600.0 + 10.0)
|
|
290
|
-
ok(g_pressure["sigma"] == 0.0 and g_pressure["gain"] == 0
|
|
291
|
-
and "UNDER_PRESSURE" in g_pressure["reason"],
|
|
292
|
-
"F3终态停滞 + 压力仍扩大 → 冷却过期也不放行(新分支)")
|
|
293
|
-
ok(g_pressure.get("meta_rising") is True,
|
|
294
|
-
"F3b新分支留痕 meta_rising=True(可审计)")
|
|
295
|
-
|
|
296
|
-
cg_h = MdCGOS(_root(tmp, "h"))
|
|
297
|
-
for i, tml in enumerate(["carried", "carried"]):
|
|
298
|
-
append_jsonl(autonomy._explore_log_path(cg_h),
|
|
299
|
-
{"type": "explore", "t": 1000.0 + i,
|
|
300
|
-
"actor": "test", "outcomes": {bid: tml},
|
|
301
|
-
"bids": [bid]})
|
|
302
|
-
g_plain = autonomy.gain_gate(cg_h, bid, now=1000.0 + 3600.0 + 10.0)
|
|
303
|
-
ok(g_plain["sigma"] == 1.0,
|
|
304
|
-
"F4缺 meta_outcomes 键 → 新分支不触发(冷却过期照旧放行)")
|
|
305
|
-
g_cool = autonomy.gain_gate(cg_h, bid, now=1000.5)
|
|
306
|
-
ok(g_cool["sigma"] == 0.0 and "DEFER_EXHAUSTED" in g_cool["reason"],
|
|
307
|
-
"F4b既有 ② 冷却内口径逐字保持(DEFER_EXHAUSTED)")
|
|
308
|
-
cg_i = MdCGOS(_root(tmp, "i"))
|
|
309
|
-
for i, tml in enumerate(["carried", "carried"]):
|
|
310
|
-
append_jsonl(autonomy._explore_log_path(cg_i),
|
|
311
|
-
{"type": "explore", "t": 1000.0 + i,
|
|
312
|
-
"actor": "test", "outcomes": {bid: tml}, "bids": [bid],
|
|
313
|
-
"meta_outcomes": {"delta": {"unmodeled_growth": 0.0}}})
|
|
314
|
-
ok(autonomy.gain_gate(cg_i, bid,
|
|
315
|
-
now=1000.0 + 3600.0 + 10.0)["sigma"] == 1.0,
|
|
316
|
-
"F4c压力未扩大(delta=0)→ 不放行条件不成立(只在上升时冷却)")
|
|
317
|
-
|
|
318
|
-
# ---------- G self_state 边界压力趋势 ----------
|
|
319
|
-
cg_j = MdCGOS(_root(tmp, "j"))
|
|
320
|
-
pf_empty = self_state._prediction_face(cg_j)
|
|
321
|
-
ok("d_meta_trend" in pf_empty
|
|
322
|
-
and isinstance(pf_empty["d_meta_trend"], float),
|
|
323
|
-
"G1空留痕:d_meta_trend 回落当前单代理值(float,不编造)")
|
|
324
|
-
append_jsonl(cg_j.reflection_log,
|
|
325
|
-
{"t": 1.0, "query": "q1", "d_curr": 1.0, "d2": 0.1,
|
|
326
|
-
"states": {}, "n_results": 1,
|
|
327
|
-
"d_meta": {"events_pressure": 0.0,
|
|
328
|
-
"unmodeled_growth": 0.20,
|
|
329
|
-
"boundary_violation_rate": 0.0}})
|
|
330
|
-
append_jsonl(cg_j.reflection_log,
|
|
331
|
-
{"t": 2.0, "query": "q2", "d_curr": 1.0, "d2": 0.1,
|
|
332
|
-
"states": {}, "n_results": 1,
|
|
333
|
-
"d_meta": {"events_pressure": 0.0,
|
|
334
|
-
"unmodeled_growth": 0.40,
|
|
335
|
-
"boundary_violation_rate": 0.0}})
|
|
336
|
-
t1 = self_state._prediction_face(cg_j)["d_meta_trend"]
|
|
337
|
-
t2 = self_state._prediction_face(cg_j)["d_meta_trend"]
|
|
338
|
-
ok(t1 == 0.3 and t1 == t2,
|
|
339
|
-
"G1bd_meta_trend = 近窗口均值(0.2/0.4 → 0.3)且幂等")
|
|
340
|
-
card_in = {"subject": "self:test", "information_gap": {}, "trust": {},
|
|
341
|
-
"short_term": {}, "emotion": "unknown", "affect": "unknown",
|
|
342
|
-
"importance_self": 1.0, "important_refs": [], "relations": {},
|
|
343
|
-
"identity_ref": None, "identity_anchors": 0,
|
|
344
|
-
"dimensions": {}, "state_ts": 1.0, "state_version": 1,
|
|
345
|
-
"prediction": {"d_meta_trend": t1, "hit_rate": None,
|
|
346
|
-
"samples": 0, "threshold": None,
|
|
347
|
-
"reflect": False, "beta_mean": None,
|
|
348
|
-
"beta_ci95": None, "ece": None,
|
|
349
|
-
"calibration": None}}
|
|
350
|
-
body = self_state._render(card_in)
|
|
351
|
-
ok("D_meta" in body and "边界压力趋势" in body
|
|
352
|
-
and str(t1) in body,
|
|
353
|
-
"G2状态卡新增边界压力行(人可读观测面,含趋势值)")
|
|
354
|
-
self_state.refresh(cg_j, force=True)
|
|
355
|
-
r_b = self_state.refresh(cg_j)
|
|
356
|
-
ok(r_b.get("changed") is False,
|
|
357
|
-
"G2brefresh 幂等:无变化刷新 changed=False(不破 B1/B2/B3)")
|
|
358
|
-
|
|
359
|
-
# ---------- H MCP 观测面 ----------
|
|
360
|
-
out = mcp_server._metacognition_call(cg_j, {"action": "d_meta"})
|
|
361
|
-
ok(set(d_meta.PROXY_KEYS) <= set(out) and "enabled" in out,
|
|
362
|
-
"H1cg op=metacognition action=d_meta 返回三代理向量")
|
|
363
|
-
ok(out["note"] == metacognition.d_meta_face(cg_j)["note"]
|
|
364
|
-
or set(out) == set(metacognition.d_meta_face(cg_j)),
|
|
365
|
-
"H1b与 metacognition.d_meta_face 同源(单一实现)")
|
|
366
|
-
wrap = cg_j.metacognition_d_meta(window=50)
|
|
367
|
-
ok(set(wrap) == set(out) and wrap["window"] == 50,
|
|
368
|
-
"H2mdcos 包装 metacognition_d_meta(window) 等价可用")
|
|
369
|
-
ok("d_meta" in (metacognition.catalog().get("faces") or []),
|
|
370
|
-
"H2bcatalog 观测面清单含 d_meta")
|
|
371
|
-
try:
|
|
372
|
-
mcp_server._metacognition_call(cg_j, {"action": "no_such_action"})
|
|
373
|
-
ok(False, "H3未知 action 应抛 ValueError")
|
|
374
|
-
except ValueError:
|
|
375
|
-
ok(True, "H3未知 action 仍抛 ValueError(分派失败闭锁)")
|
|
376
|
-
|
|
377
|
-
# ---------- I tail_jsonl 原语边界 ----------
|
|
378
|
-
p = os.path.join(tmp, "tail.jsonl")
|
|
379
|
-
ok(d_meta.tail_jsonl(os.path.join(tmp, "nope.jsonl"), 5) == [],
|
|
380
|
-
"I1文件缺失 → [](不抛异常)")
|
|
381
|
-
with open(p, "w", encoding="utf-8") as fh:
|
|
382
|
-
fh.write("\n".join(json.dumps({"i": i}) for i in range(300)) + "\n")
|
|
383
|
-
ok(d_meta.tail_jsonl(p, 0) == [], "I1bwindow<=0 → [](无越界读取)")
|
|
384
|
-
ok([r["i"] for r in d_meta.tail_jsonl(p, 3)] == [297, 298, 299],
|
|
385
|
-
"I2尾部窗口取末 3 条(与全量末 3 条一致)")
|
|
386
|
-
with open(p, "w", encoding="utf-8") as fh:
|
|
387
|
-
fh.write('{"i":1}\n{"i":2}\n{"i":3') # 末行截断
|
|
388
|
-
ok(len(d_meta.tail_jsonl(p, 50)) == 2,
|
|
389
|
-
"I2b截断末行被丢弃(不猜内容,与 read_jsonl 同语义)")
|
|
390
|
-
with open(p, "w", encoding="utf-8") as fh:
|
|
391
|
-
fh.write('{"i":1}\n{"i":2}') # 末行无换行但完整
|
|
392
|
-
ok(len(d_meta.tail_jsonl(p, 50)) == 2,
|
|
393
|
-
"I2c末行完整但无换行仍计入(写者未落换行不等于坏行)")
|
|
394
|
-
finally:
|
|
395
|
-
shutil.rmtree(tmp, ignore_errors=True)
|
|
396
|
-
|
|
397
|
-
print(f"\nd_meta: {PASS} passed, {FAIL} failed")
|
|
398
|
-
if FAILS:
|
|
399
|
-
for f in FAILS:
|
|
400
|
-
print(f" - {f}")
|
|
401
|
-
raise SystemExit(1 if FAIL else 0)
|
|
402
|
-
|
|
403
|
-
|
|
404
|
-
def JSON_KEYS_UNCHANGED(rec):
|
|
405
|
-
"""explore 留痕既有键集合未被本次改动删除(契约守卫)。"""
|
|
406
|
-
need = {"type", "t", "actor", "apply", "n_proposals", "bids", "outcomes",
|
|
407
|
-
"bypass_gain", "gain_deferred"}
|
|
408
|
-
return need <= set(rec)
|
|
409
|
-
|
|
410
|
-
|
|
411
|
-
if __name__ == "__main__":
|
|
412
|
-
main()
|
|
1
|
+
# -*- coding: utf-8 -*-
|
|
2
|
+
"""D_meta 结构性投影(边界压力向量)验证。
|
|
3
|
+
|
|
4
|
+
断言面:
|
|
5
|
+
A 三代理口径:空库下界 / 逐代理公式复算 / 归一化上界 / **不合成单值**
|
|
6
|
+
B 开关回退臂:MDCG_D_META=0 → 三值 0.0 + enabled=False + 加分退化 0
|
|
7
|
+
C 双 D 落盘:reflect 落 d_meta / d_meta_delta(首条 None);_compute_d 零变更
|
|
8
|
+
D 第五维 opt-in:默认不落键/不改 composite;显式启用才落键并同步 SORT_KEYS
|
|
9
|
+
E 提案加分:只改 sort_score 与证据,不改 score、不改资格(无信号仍不提案)
|
|
10
|
+
F explore 留痕 meta_outcomes(outcomes 契约不变)+ gain_gate 压力冷却分支
|
|
11
|
+
G self_state:d_meta_trend 幂等 + 状态卡边界压力行
|
|
12
|
+
H MCP 观测面:cg op=metacognition action=d_meta
|
|
13
|
+
I tail_jsonl 原语边界(缺文件 / 窗口 ≤0 / 截断末行 / 尾部窗口等价)
|
|
14
|
+
|
|
15
|
+
理论:智能论3.4 §2.7.0 DEV-002/002a(D_task ≠ D_meta;不得加权合成单值)。
|
|
16
|
+
运行:python -m md_cg.test_d_meta
|
|
17
|
+
"""
|
|
18
|
+
from __future__ import annotations
|
|
19
|
+
|
|
20
|
+
import importlib
|
|
21
|
+
import json
|
|
22
|
+
import os
|
|
23
|
+
import shutil
|
|
24
|
+
import tempfile
|
|
25
|
+
|
|
26
|
+
from . import autonomy, d_meta, mcp_server, metacognition, predict, self_state
|
|
27
|
+
from .fsutil import append_jsonl
|
|
28
|
+
from .mdcos import MdCGOS
|
|
29
|
+
|
|
30
|
+
PASS = FAIL = 0
|
|
31
|
+
FAILS = []
|
|
32
|
+
|
|
33
|
+
|
|
34
|
+
def ok(cond, label):
|
|
35
|
+
global PASS, FAIL
|
|
36
|
+
if cond:
|
|
37
|
+
PASS += 1
|
|
38
|
+
else:
|
|
39
|
+
FAIL += 1
|
|
40
|
+
FAILS.append(label)
|
|
41
|
+
print(f" FAIL {label}")
|
|
42
|
+
|
|
43
|
+
|
|
44
|
+
def _sig(cg, t, query, d2, states):
|
|
45
|
+
append_jsonl(cg.reflection_log,
|
|
46
|
+
{"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
|
|
47
|
+
"d_delta": 0.0, "d2": d2, "states": states,
|
|
48
|
+
"n_results": 3, "feedback": None})
|
|
49
|
+
|
|
50
|
+
|
|
51
|
+
def _root(tmp, name):
|
|
52
|
+
r = os.path.join(tmp, name)
|
|
53
|
+
os.makedirs(r, exist_ok=True)
|
|
54
|
+
return r
|
|
55
|
+
|
|
56
|
+
|
|
57
|
+
def main():
|
|
58
|
+
tmp = tempfile.mkdtemp(prefix="mdcg_dmeta_")
|
|
59
|
+
try:
|
|
60
|
+
# ---------- A 三代理口径 ----------
|
|
61
|
+
cg = MdCGOS(_root(tmp, "a"))
|
|
62
|
+
v0 = d_meta.compute(cg)
|
|
63
|
+
ok(v0["enabled"] is True and v0["window"] == d_meta.DEFAULT_WINDOW,
|
|
64
|
+
"A1空库:enabled=True、window=200(总闸默认开启)")
|
|
65
|
+
ok(all(v0[k] == 0.0 for k in d_meta.PROXY_KEYS),
|
|
66
|
+
"A1b空库三代理取下界 0.0(无留痕即无压力,不编造)")
|
|
67
|
+
ok(not any(k in v0 for k in ("d_meta", "composite", "value")),
|
|
68
|
+
"A1c返回结构无单一 D_meta 数值键(DEV-002a 不合成单值)")
|
|
69
|
+
|
|
70
|
+
for i in range(20):
|
|
71
|
+
append_jsonl(cg.recent_log, {"i": i})
|
|
72
|
+
for i in range(10):
|
|
73
|
+
append_jsonl(autonomy._explore_log_path(cg), {"i": i, "bids": []})
|
|
74
|
+
p_ev = d_meta.compute(cg)["events_pressure"]
|
|
75
|
+
ok(abs(p_ev - round((20 + 10) / (2 * 200), 4)) < 1e-9,
|
|
76
|
+
f"A2events_pressure 公式复算((20+10)/(2×200)={p_ev})")
|
|
77
|
+
|
|
78
|
+
cg_full = MdCGOS(_root(tmp, "a_full"))
|
|
79
|
+
for i in range(300):
|
|
80
|
+
append_jsonl(cg_full.recent_log, {"i": i})
|
|
81
|
+
append_jsonl(autonomy._explore_log_path(cg_full), {"i": i})
|
|
82
|
+
ok(d_meta.compute(cg_full)["events_pressure"] == 1.0,
|
|
83
|
+
"A2b两日志各满窗 → 上界 1.0(尾窗只取 window 条、不漏出 [0,1])")
|
|
84
|
+
|
|
85
|
+
stock = d_meta._layer_stock(type("C", (), {"index": {"nodes": {
|
|
86
|
+
"n1": {"layer": "rejected"}, "n2": {"layer": "unresolved"},
|
|
87
|
+
"n3": {"layer": "knowledge"}}}})())
|
|
88
|
+
ok(stock == 2, "A3_layer_stock 只计 rejected/unresolved 层(零正文 IO)")
|
|
89
|
+
ug = d_meta.unmodeled_growth(2, {"total": 2,
|
|
90
|
+
"states": {"BLINDSPOT": 1,
|
|
91
|
+
"DEFER": 1}})
|
|
92
|
+
ok(abs(ug - round(0.5 * (2 / d_meta.STOCK_FULL) + 0.5 * 1.0, 4))
|
|
93
|
+
< 1e-9, f"A3bunmodeled_growth 公式复算({ug})")
|
|
94
|
+
bv = d_meta.boundary_violation_rate({"total": 4, "states": {
|
|
95
|
+
"REJECT": 1, "BLINDSPOT": 1, "ACCEPT": 2}})
|
|
96
|
+
ok(bv == 0.5, "A3cboundary_violation_rate=(REJECT+BLINDSPOT)/全部")
|
|
97
|
+
ok(d_meta.boundary_violation_rate({"total": 0, "states": {}}) == 0.0,
|
|
98
|
+
"A3d空分布 → 0.0(不除零、不编造)")
|
|
99
|
+
|
|
100
|
+
cat = d_meta.catalog()
|
|
101
|
+
ok(len(d_meta.PROXY_KEYS) == 3
|
|
102
|
+
and cat["default_proxy_for_single_value"] == "unmodeled_growth",
|
|
103
|
+
"A4catalog 声明三代理 + 单值只允许指定单一代理")
|
|
104
|
+
ok(any("不合成" in c for c in cat["constraints"]),
|
|
105
|
+
"A4bcatalog 约束含「不合成单一 D_meta 数值」")
|
|
106
|
+
|
|
107
|
+
ok(d_meta.pressure({}) == 0.0
|
|
108
|
+
and d_meta.pressure({"unmodeled_growth": 1.7}) == 1.0
|
|
109
|
+
and d_meta.pressure(v0) == 0.0,
|
|
110
|
+
"A5pressure() 只取单一代理且裁剪到 [0,1](缺键/越界不炸)")
|
|
111
|
+
ok(d_meta.pressure({"events_pressure": 0.3}) == 0.0,
|
|
112
|
+
"A5bpressure() 默认代理为 unmodeled_growth(不跨代理兜底)")
|
|
113
|
+
ok(d_meta.diff(None, v0) is None,
|
|
114
|
+
"A6diff(无前值) → None(首条反思 delta 为 None)")
|
|
115
|
+
dd = d_meta.diff({"unmodeled_growth": 0.1, "events_pressure": 0.4},
|
|
116
|
+
{"unmodeled_growth": 0.35, "events_pressure": 0.4})
|
|
117
|
+
ok(dd["unmodeled_growth"] == 0.25 and dd["events_pressure"] == 0.0,
|
|
118
|
+
"A6bdiff 逐字段差(缺键按 0.0 处理)")
|
|
119
|
+
|
|
120
|
+
# ---------- B 开关回退臂 ----------
|
|
121
|
+
cg_b = MdCGOS(_root(tmp, "b"))
|
|
122
|
+
for i in range(40):
|
|
123
|
+
append_jsonl(cg_b.recent_log, {"i": i})
|
|
124
|
+
_sig(cg_b, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
125
|
+
on_v = d_meta.compute(cg_b)
|
|
126
|
+
pr_on = autonomy.proposals(cg_b)
|
|
127
|
+
os.environ["MDCG_D_META"] = "0"
|
|
128
|
+
try:
|
|
129
|
+
off_v = d_meta.compute(cg_b)
|
|
130
|
+
pr_off = autonomy.proposals(cg_b)
|
|
131
|
+
ok(off_v["enabled"] is False
|
|
132
|
+
and all(off_v[k] == 0.0 for k in d_meta.PROXY_KEYS),
|
|
133
|
+
"B1MDCG_D_META=0 → enabled=False、三代理恒 0.0(显式回退)")
|
|
134
|
+
ok("已显式关闭" in off_v["note"],
|
|
135
|
+
"B1b回退臂 note 声明关闭(回退留痕,不是缺键)")
|
|
136
|
+
ok(on_v["enabled"] and on_v["events_pressure"] > 0.0,
|
|
137
|
+
"B1c开启臂同库同数据压力 > 0(对照非空)")
|
|
138
|
+
ok(pr_on["d_meta"]["bonus"] == round(
|
|
139
|
+
autonomy.W_DMETA * d_meta.pressure(on_v), 4),
|
|
140
|
+
"B2开启臂提案加分 = W_DMETA×单代理压力")
|
|
141
|
+
ok(pr_off["d_meta"]["bonus"] == 0.0
|
|
142
|
+
and pr_off["proposals"][0]["d_meta_bonus"] == 0.0,
|
|
143
|
+
"B2b回退臂加分退化 0(回到旧排序)")
|
|
144
|
+
ok(pr_off["proposals"][0]["sort_score"]
|
|
145
|
+
== pr_off["proposals"][0]["score"],
|
|
146
|
+
"B2c回退臂 sort_score == score(逐位回到 ΔD 定价)")
|
|
147
|
+
finally:
|
|
148
|
+
os.environ.pop("MDCG_D_META", None)
|
|
149
|
+
ok(d_meta.compute(cg_b)["enabled"] is True,
|
|
150
|
+
"B3删除环境变量后总闸自动回到开启(默认开启)")
|
|
151
|
+
|
|
152
|
+
# ---------- C 双 D 落盘 ----------
|
|
153
|
+
cg_c = MdCGOS(_root(tmp, "c"))
|
|
154
|
+
r1 = cg_c.reflect("反应堆冷却方案", [])
|
|
155
|
+
ok(set(r1.get("d_meta") or {}) == set(d_meta.PROXY_KEYS),
|
|
156
|
+
"C1reflect 落 d_meta 三代理键")
|
|
157
|
+
ok(r1.get("d_meta_delta") is None,
|
|
158
|
+
"C1b首条反思 d_meta_delta=None(无前值不编造差)")
|
|
159
|
+
ok(r1["d_curr"] == 1.0, "C1cresults 为空 → D_task 仍取 1.0(口径零变更)")
|
|
160
|
+
append_jsonl(cg_c.recent_log, {"i": 1})
|
|
161
|
+
r2 = cg_c.reflect("反应堆冷却方案",
|
|
162
|
+
[("d1", 1, {"state": "ACCEPT"}),
|
|
163
|
+
("d2", 0, {"state": "ACCEPT"})])
|
|
164
|
+
ok(r2["d_curr"] == 0.5,
|
|
165
|
+
"C2_compute_d 既有口径不变(1 − 1/2 = 0.5)")
|
|
166
|
+
ok(r2["d_meta_delta"] is not None
|
|
167
|
+
and r2["d_meta_delta"]["events_pressure"]
|
|
168
|
+
== round(r2["d_meta"]["events_pressure"]
|
|
169
|
+
- r1["d_meta"]["events_pressure"], 4),
|
|
170
|
+
"C2bd_meta_delta = 与上一条反思的逐字段差")
|
|
171
|
+
recs = cg_c.last_d_records()
|
|
172
|
+
ok(len(recs) == 2 and all(0.0 <= recs[-1]["d_meta"][k] <= 1.0
|
|
173
|
+
for k in d_meta.PROXY_KEYS),
|
|
174
|
+
"C2c落盘 d_meta 三代理均在 [0,1]")
|
|
175
|
+
os.environ["MDCG_D_META"] = "0"
|
|
176
|
+
try:
|
|
177
|
+
r3 = cg_c.reflect("反应堆冷却方案", [])
|
|
178
|
+
ok(all(r3["d_meta"][k] == 0.0 for k in d_meta.PROXY_KEYS)
|
|
179
|
+
and r3["d_meta_delta"] is None,
|
|
180
|
+
"C3关闭臂 reflect:d_meta 恒 0.0 且 delta=None(回退可审计)")
|
|
181
|
+
finally:
|
|
182
|
+
os.environ.pop("MDCG_D_META", None)
|
|
183
|
+
|
|
184
|
+
# ---------- D 第五维 opt-in ----------
|
|
185
|
+
cg_d = MdCGOS(_root(tmp, "d"))
|
|
186
|
+
route = {"confidence": 0.5, "path": []}
|
|
187
|
+
sc_off = predict.score_route(cg_d, route, verification=0.5)
|
|
188
|
+
ok("meta_pressure" not in sc_off
|
|
189
|
+
and len(predict.SORT_KEYS) == 5,
|
|
190
|
+
"D1默认(W_META=0)不落 meta_pressure 键、SORT_KEYS 不扩张")
|
|
191
|
+
ok(set(sc_off) == {"trend", "boundary", "verification", "balance",
|
|
192
|
+
"composite", "weights"},
|
|
193
|
+
"D1b默认返回键集合与四维时代逐字节一致")
|
|
194
|
+
ok("meta_pressure" not in predict.catalog()["weights"],
|
|
195
|
+
"D1ccatalog().weights 默认仍为四维(防文档漂移)")
|
|
196
|
+
os.environ["PREDICTION_META_DIM"] = "0.2"
|
|
197
|
+
os.environ["PREDICTION_META_PROXY"] = "unmodeled_growth"
|
|
198
|
+
try:
|
|
199
|
+
pred_on = importlib.reload(predict)
|
|
200
|
+
sc_on = pred_on.score_route(cg_d, route, verification=0.5)
|
|
201
|
+
mp = sc_on["meta_pressure"]
|
|
202
|
+
ok("meta_pressure" in sc_on
|
|
203
|
+
and "meta_pressure" in pred_on.SORT_KEYS,
|
|
204
|
+
"D2启用(PREDICTION_META_DIM=0.2)落键并同步 SORT_KEYS")
|
|
205
|
+
ok("meta_pressure" in pred_on.catalog()["weights"],
|
|
206
|
+
"D2bcatalog().weights 同步扩张(自描述不漂移)")
|
|
207
|
+
ok(abs(sc_on["composite"]
|
|
208
|
+
- round(sc_off["composite"] + 0.2 * mp, 4)) < 1e-9,
|
|
209
|
+
"D2ccomposite = 四维 + W_META×单代理(仍不做三代理加权)")
|
|
210
|
+
finally:
|
|
211
|
+
os.environ.pop("PREDICTION_META_DIM", None)
|
|
212
|
+
os.environ.pop("PREDICTION_META_PROXY", None)
|
|
213
|
+
pred_back = importlib.reload(predict)
|
|
214
|
+
sc_back = pred_back.score_route(cg_d, route, verification=0.5)
|
|
215
|
+
ok("meta_pressure" not in sc_back and len(pred_back.SORT_KEYS) == 5,
|
|
216
|
+
"D3移除环境变量并重载 → 回到四维、键不落(可回退)")
|
|
217
|
+
|
|
218
|
+
# ---------- E 提案加分只影响排序 ----------
|
|
219
|
+
cg_e = MdCGOS(_root(tmp, "e"))
|
|
220
|
+
for i in range(30):
|
|
221
|
+
append_jsonl(cg_e.recent_log, {"i": i})
|
|
222
|
+
_sig(cg_e, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
223
|
+
_sig(cg_e, 2.0, "周末菜单", 0.05, {})
|
|
224
|
+
_sig(cg_e, 3.0, "零信号查询", 0.0, {})
|
|
225
|
+
pr_e = autonomy.proposals(cg_e, limit=5)
|
|
226
|
+
ps = pr_e["proposals"]
|
|
227
|
+
p0 = ps[0]
|
|
228
|
+
ok(pr_e["n_signals"] == 3 and len(ps) == 2,
|
|
229
|
+
"E1零信号查询不进提案(资格判据先于加分,不编造)")
|
|
230
|
+
raw = (autonomy.W_D2 * p0["d2_abs"]
|
|
231
|
+
+ autonomy.W_BLINDSPOT * p0["blindspot"]
|
|
232
|
+
+ autonomy.W_DEFER * p0["defer"])
|
|
233
|
+
ok(p0["score"] == round(raw, 4),
|
|
234
|
+
"E1bscore 仍是纯 ΔD 定价(口径零变更)")
|
|
235
|
+
ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4),
|
|
236
|
+
"E1csort_score = score + D_meta 加分(加分只进排序键)")
|
|
237
|
+
ok("D_meta" in p0["reason"] and "不合成" in p0["reason"],
|
|
238
|
+
"E1dreason 追加 D_meta 证据且声明不合成(可审计)")
|
|
239
|
+
ok("d2" in p0["reason"] and "BLINDSPOT" in p0["reason"],
|
|
240
|
+
"E1ereason 保留 d2/BLINDSPOT 既有子串(契约不破)")
|
|
241
|
+
ok(pr_e["d_meta"]["proxy"] == autonomy.DMETA_PROXY
|
|
242
|
+
and pr_e["d_meta"]["bonus"] == p0["d_meta_bonus"],
|
|
243
|
+
"E2每轮一次计算、循环内复用(各提案加分同值)")
|
|
244
|
+
os.environ["MDCG_D_META"] = "0"
|
|
245
|
+
try:
|
|
246
|
+
pr_e_off = autonomy.proposals(cg_e, limit=5)
|
|
247
|
+
ok([x["sort_score"] for x in pr_e_off["proposals"]]
|
|
248
|
+
== [x["score"] for x in pr_e_off["proposals"]],
|
|
249
|
+
"E3关闭臂:sort_score 退化回 score(旧排序逐位一致)")
|
|
250
|
+
finally:
|
|
251
|
+
os.environ.pop("MDCG_D_META", None)
|
|
252
|
+
|
|
253
|
+
# ---------- F explore 留痕 + gain_gate 压力冷却 ----------
|
|
254
|
+
cg_f = MdCGOS(_root(tmp, "f"))
|
|
255
|
+
cg_f.add("k1", "# 功能名:反应堆冷却知识\n"
|
|
256
|
+
"# 生效条件:问反应堆冷却方案\n"
|
|
257
|
+
"# 子功能:知识片段\n"
|
|
258
|
+
"# 执行:陈述知识\n"
|
|
259
|
+
"# 验证方式:test\n"
|
|
260
|
+
"# 不适用条件:无\n"
|
|
261
|
+
"反应堆冷却方案概述。\n",
|
|
262
|
+
layer="knowledge", verification_basis="test")
|
|
263
|
+
_sig(cg_f, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
|
|
264
|
+
autonomy.explore(cg_f, actor="test")
|
|
265
|
+
autonomy.explore(cg_f, actor="test")
|
|
266
|
+
with open(autonomy._explore_log_path(cg_f), encoding="utf-8") as fh:
|
|
267
|
+
recs_f = [json.loads(x) for x in fh if x.strip()]
|
|
268
|
+
mo = recs_f[-1].get("meta_outcomes") or {}
|
|
269
|
+
ok(set(mo.get("before") or {}) == set(d_meta.PROXY_KEYS)
|
|
270
|
+
and mo.get("proxy") == autonomy.DMETA_PROXY,
|
|
271
|
+
"F1explore 留痕 meta_outcomes.before 三代理齐备")
|
|
272
|
+
ok(mo.get("delta") is not None,
|
|
273
|
+
"F1b第二轮 delta 非 None(跨轮压力增量 → gain_gate 输入)")
|
|
274
|
+
ok(all(isinstance(v, str)
|
|
275
|
+
for v in (recs_f[-1].get("outcomes") or {}).values()),
|
|
276
|
+
"F2outcomes 值仍为终态字符串(契约不变,停滞集比对不失效)")
|
|
277
|
+
ok(JSON_KEYS_UNCHANGED(recs_f[-1]),
|
|
278
|
+
"F2bmata_outcomes 与 outcomes 并列,未覆盖既有键")
|
|
279
|
+
|
|
280
|
+
bid = metacognition._key("反应堆冷却方案")
|
|
281
|
+
cg_g = MdCGOS(_root(tmp, "g"))
|
|
282
|
+
for i, tml in enumerate(["carried", "carried"]):
|
|
283
|
+
append_jsonl(autonomy._explore_log_path(cg_g),
|
|
284
|
+
{"type": "explore", "t": 1000.0 + i,
|
|
285
|
+
"actor": "test", "outcomes": {bid: tml},
|
|
286
|
+
"bids": [bid],
|
|
287
|
+
"meta_outcomes": {"delta": {"unmodeled_growth": 0.2},
|
|
288
|
+
"proxy": autonomy.DMETA_PROXY}})
|
|
289
|
+
g_pressure = autonomy.gain_gate(cg_g, bid, now=1000.0 + 3600.0 + 10.0)
|
|
290
|
+
ok(g_pressure["sigma"] == 0.0 and g_pressure["gain"] == 0
|
|
291
|
+
and "UNDER_PRESSURE" in g_pressure["reason"],
|
|
292
|
+
"F3终态停滞 + 压力仍扩大 → 冷却过期也不放行(新分支)")
|
|
293
|
+
ok(g_pressure.get("meta_rising") is True,
|
|
294
|
+
"F3b新分支留痕 meta_rising=True(可审计)")
|
|
295
|
+
|
|
296
|
+
cg_h = MdCGOS(_root(tmp, "h"))
|
|
297
|
+
for i, tml in enumerate(["carried", "carried"]):
|
|
298
|
+
append_jsonl(autonomy._explore_log_path(cg_h),
|
|
299
|
+
{"type": "explore", "t": 1000.0 + i,
|
|
300
|
+
"actor": "test", "outcomes": {bid: tml},
|
|
301
|
+
"bids": [bid]})
|
|
302
|
+
g_plain = autonomy.gain_gate(cg_h, bid, now=1000.0 + 3600.0 + 10.0)
|
|
303
|
+
ok(g_plain["sigma"] == 1.0,
|
|
304
|
+
"F4缺 meta_outcomes 键 → 新分支不触发(冷却过期照旧放行)")
|
|
305
|
+
g_cool = autonomy.gain_gate(cg_h, bid, now=1000.5)
|
|
306
|
+
ok(g_cool["sigma"] == 0.0 and "DEFER_EXHAUSTED" in g_cool["reason"],
|
|
307
|
+
"F4b既有 ② 冷却内口径逐字保持(DEFER_EXHAUSTED)")
|
|
308
|
+
cg_i = MdCGOS(_root(tmp, "i"))
|
|
309
|
+
for i, tml in enumerate(["carried", "carried"]):
|
|
310
|
+
append_jsonl(autonomy._explore_log_path(cg_i),
|
|
311
|
+
{"type": "explore", "t": 1000.0 + i,
|
|
312
|
+
"actor": "test", "outcomes": {bid: tml}, "bids": [bid],
|
|
313
|
+
"meta_outcomes": {"delta": {"unmodeled_growth": 0.0}}})
|
|
314
|
+
ok(autonomy.gain_gate(cg_i, bid,
|
|
315
|
+
now=1000.0 + 3600.0 + 10.0)["sigma"] == 1.0,
|
|
316
|
+
"F4c压力未扩大(delta=0)→ 不放行条件不成立(只在上升时冷却)")
|
|
317
|
+
|
|
318
|
+
# ---------- G self_state 边界压力趋势 ----------
|
|
319
|
+
cg_j = MdCGOS(_root(tmp, "j"))
|
|
320
|
+
pf_empty = self_state._prediction_face(cg_j)
|
|
321
|
+
ok("d_meta_trend" in pf_empty
|
|
322
|
+
and isinstance(pf_empty["d_meta_trend"], float),
|
|
323
|
+
"G1空留痕:d_meta_trend 回落当前单代理值(float,不编造)")
|
|
324
|
+
append_jsonl(cg_j.reflection_log,
|
|
325
|
+
{"t": 1.0, "query": "q1", "d_curr": 1.0, "d2": 0.1,
|
|
326
|
+
"states": {}, "n_results": 1,
|
|
327
|
+
"d_meta": {"events_pressure": 0.0,
|
|
328
|
+
"unmodeled_growth": 0.20,
|
|
329
|
+
"boundary_violation_rate": 0.0}})
|
|
330
|
+
append_jsonl(cg_j.reflection_log,
|
|
331
|
+
{"t": 2.0, "query": "q2", "d_curr": 1.0, "d2": 0.1,
|
|
332
|
+
"states": {}, "n_results": 1,
|
|
333
|
+
"d_meta": {"events_pressure": 0.0,
|
|
334
|
+
"unmodeled_growth": 0.40,
|
|
335
|
+
"boundary_violation_rate": 0.0}})
|
|
336
|
+
t1 = self_state._prediction_face(cg_j)["d_meta_trend"]
|
|
337
|
+
t2 = self_state._prediction_face(cg_j)["d_meta_trend"]
|
|
338
|
+
ok(t1 == 0.3 and t1 == t2,
|
|
339
|
+
"G1bd_meta_trend = 近窗口均值(0.2/0.4 → 0.3)且幂等")
|
|
340
|
+
card_in = {"subject": "self:test", "information_gap": {}, "trust": {},
|
|
341
|
+
"short_term": {}, "emotion": "unknown", "affect": "unknown",
|
|
342
|
+
"importance_self": 1.0, "important_refs": [], "relations": {},
|
|
343
|
+
"identity_ref": None, "identity_anchors": 0,
|
|
344
|
+
"dimensions": {}, "state_ts": 1.0, "state_version": 1,
|
|
345
|
+
"prediction": {"d_meta_trend": t1, "hit_rate": None,
|
|
346
|
+
"samples": 0, "threshold": None,
|
|
347
|
+
"reflect": False, "beta_mean": None,
|
|
348
|
+
"beta_ci95": None, "ece": None,
|
|
349
|
+
"calibration": None}}
|
|
350
|
+
body = self_state._render(card_in)
|
|
351
|
+
ok("D_meta" in body and "边界压力趋势" in body
|
|
352
|
+
and str(t1) in body,
|
|
353
|
+
"G2状态卡新增边界压力行(人可读观测面,含趋势值)")
|
|
354
|
+
self_state.refresh(cg_j, force=True)
|
|
355
|
+
r_b = self_state.refresh(cg_j)
|
|
356
|
+
ok(r_b.get("changed") is False,
|
|
357
|
+
"G2brefresh 幂等:无变化刷新 changed=False(不破 B1/B2/B3)")
|
|
358
|
+
|
|
359
|
+
# ---------- H MCP 观测面 ----------
|
|
360
|
+
out = mcp_server._metacognition_call(cg_j, {"action": "d_meta"})
|
|
361
|
+
ok(set(d_meta.PROXY_KEYS) <= set(out) and "enabled" in out,
|
|
362
|
+
"H1cg op=metacognition action=d_meta 返回三代理向量")
|
|
363
|
+
ok(out["note"] == metacognition.d_meta_face(cg_j)["note"]
|
|
364
|
+
or set(out) == set(metacognition.d_meta_face(cg_j)),
|
|
365
|
+
"H1b与 metacognition.d_meta_face 同源(单一实现)")
|
|
366
|
+
wrap = cg_j.metacognition_d_meta(window=50)
|
|
367
|
+
ok(set(wrap) == set(out) and wrap["window"] == 50,
|
|
368
|
+
"H2mdcos 包装 metacognition_d_meta(window) 等价可用")
|
|
369
|
+
ok("d_meta" in (metacognition.catalog().get("faces") or []),
|
|
370
|
+
"H2bcatalog 观测面清单含 d_meta")
|
|
371
|
+
try:
|
|
372
|
+
mcp_server._metacognition_call(cg_j, {"action": "no_such_action"})
|
|
373
|
+
ok(False, "H3未知 action 应抛 ValueError")
|
|
374
|
+
except ValueError:
|
|
375
|
+
ok(True, "H3未知 action 仍抛 ValueError(分派失败闭锁)")
|
|
376
|
+
|
|
377
|
+
# ---------- I tail_jsonl 原语边界 ----------
|
|
378
|
+
p = os.path.join(tmp, "tail.jsonl")
|
|
379
|
+
ok(d_meta.tail_jsonl(os.path.join(tmp, "nope.jsonl"), 5) == [],
|
|
380
|
+
"I1文件缺失 → [](不抛异常)")
|
|
381
|
+
with open(p, "w", encoding="utf-8") as fh:
|
|
382
|
+
fh.write("\n".join(json.dumps({"i": i}) for i in range(300)) + "\n")
|
|
383
|
+
ok(d_meta.tail_jsonl(p, 0) == [], "I1bwindow<=0 → [](无越界读取)")
|
|
384
|
+
ok([r["i"] for r in d_meta.tail_jsonl(p, 3)] == [297, 298, 299],
|
|
385
|
+
"I2尾部窗口取末 3 条(与全量末 3 条一致)")
|
|
386
|
+
with open(p, "w", encoding="utf-8") as fh:
|
|
387
|
+
fh.write('{"i":1}\n{"i":2}\n{"i":3') # 末行截断
|
|
388
|
+
ok(len(d_meta.tail_jsonl(p, 50)) == 2,
|
|
389
|
+
"I2b截断末行被丢弃(不猜内容,与 read_jsonl 同语义)")
|
|
390
|
+
with open(p, "w", encoding="utf-8") as fh:
|
|
391
|
+
fh.write('{"i":1}\n{"i":2}') # 末行无换行但完整
|
|
392
|
+
ok(len(d_meta.tail_jsonl(p, 50)) == 2,
|
|
393
|
+
"I2c末行完整但无换行仍计入(写者未落换行不等于坏行)")
|
|
394
|
+
finally:
|
|
395
|
+
shutil.rmtree(tmp, ignore_errors=True)
|
|
396
|
+
|
|
397
|
+
print(f"\nd_meta: {PASS} passed, {FAIL} failed")
|
|
398
|
+
if FAILS:
|
|
399
|
+
for f in FAILS:
|
|
400
|
+
print(f" - {f}")
|
|
401
|
+
raise SystemExit(1 if FAIL else 0)
|
|
402
|
+
|
|
403
|
+
|
|
404
|
+
def JSON_KEYS_UNCHANGED(rec):
|
|
405
|
+
"""explore 留痕既有键集合未被本次改动删除(契约守卫)。"""
|
|
406
|
+
need = {"type", "t", "actor", "apply", "n_proposals", "bids", "outcomes",
|
|
407
|
+
"bypass_gain", "gain_deferred"}
|
|
408
|
+
return need <= set(rec)
|
|
409
|
+
|
|
410
|
+
|
|
411
|
+
if __name__ == "__main__":
|
|
412
|
+
main()
|