@furongjun1999/dsh-memory 0.4.11 → 0.5.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +552 -465
- package/codebuddy/CODEBUDDY.md +11 -3
- package/codebuddy/README.md +92 -90
- package/codebuddy/mcp.json +27 -27
- package/docs/GBrain/345/217/257/345/200/237/351/211/264/347/202/271_/347/201/265/346/236/242/350/220/275/347/202/271/344/272/244/346/216/245_20260919.md +169 -169
- package/docs/Pi/345/217/257/345/255/246/344/271/240/344/274/230/347/202/271_/347/201/265/346/236/242/345/244/247/350/204/221/346/224/271/350/277/233/344/272/244/346/216/245_20260915.md +144 -144
- package/docs/README.md +143 -111
- package/docs/discipline/harnesses.yaml +244 -226
- package/docs/discipline/templates/full.md.tmpl +61 -61
- package/docs/discipline/templates/rules.mdc.tmpl +68 -0
- package/docs/discipline/templates/skill.md.tmpl +23 -23
- package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md +299 -299
- package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v2.0.md +239 -239
- package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
- package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
- package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
- package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
- package/docs/eval//345/256/236/351/252/214/346/226/271/346/241/210_/345/255/246/344/271/240/351/227/255/347/216/257AB/344/270/216/346/250/252/350/257/204_v1.0.md +174 -174
- package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
- package/docs/eval//346/250/252/350/257/204_/345/205/255/345/256/266100/351/242/230/344/270/255/350/213/261/345/217/214/346/237/245_v1.0.md +223 -223
- package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +100 -0
- package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +197 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v1.md +156 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v10.md +210 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v11.md +227 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v12.md +203 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v13.md +233 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v14.md +191 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v15.md +213 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v16.md +214 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v17.md +199 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v2.md +156 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v3.md +152 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v4.md +128 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v5.md +114 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v6.md +192 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v7.md +187 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v8.md +207 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v9.md +203 -0
- package/docs/{mdcg → hive}//344/273/244/347/211/214/344/270/216/350/247/222/350/211/262/346/235/203/350/201/214/345/210/206/347/246/273_v0.1.md +165 -160
- package/docs/hive//344/273/244/347/211/214/350/257/255/344/271/211/344/277/256/346/255/243_/344/273/262/350/243/201/344/275/215_v0.1.md +76 -0
- package/docs/{mdcg → hive}//345/255/220/344/273/243/347/220/206/351/205/215/347/275/256/346/240/207/345/207/206_v0.5.md +236 -236
- package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
- package/docs/hive//346/243/200/347/264/242/346/224/266/346/225/233/345/256/236/346/265/213/344/270/216S1b/350/256/276/350/256/241_v0.1.md +43 -43
- package/docs/hive//346/243/200/347/264/242/347/256/227/346/263/225/345/217/243/345/276/204/345/257/271/347/205/247_v0.1.md +85 -0
- package/docs/hive//346/243/200/347/264/242/350/267/257/345/276/204/344/270/216/350/256/244/347/237/245/347/273/223/346/236/204/345/245/221/347/272/246_v0.1.md +102 -102
- package/docs/hive//350/234/202/345/267/242M6_ingest/345/256/236/346/226/275/350/256/241/345/210/222_v0.1.md +47 -0
- package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +519 -503
- package/docs/hive//350/234/202/345/267/242/345/267/245/344/275/234/350/256/260/345/277/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +85 -85
- package/docs/hive//350/234/202/345/267/242/350/256/276/350/256/241_/347/220/206/350/256/272/345/257/271/351/275/220_v0.1.md +191 -0
- package/docs/hive//350/234/202/345/267/242/350/277/255/344/273/243_/345/256/217/350/247/202/344/270/216/347/276/244/344/275/223/350/260/203/345/272/246_v0.1.md +90 -0
- package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
- package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
- package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -216
- package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
- package/docs/mdcg/lingshu_tutorial.html +14449 -14449
- package/docs/mdcg/release_v0.4.11.md +49 -0
- package/docs/mdcg/release_v0.4.5.md +55 -55
- package/docs/mdcg/tool_table_v0.3.0.md +117 -117
- package/docs/mdcg//345/205/250/345/272/223/344/273/243/347/240/201/350/257/204/345/256/241/344/270/216/346/235/241/344/273/266/345/214/226/346/263/250/351/207/212_/350/256/241/345/210/222_v0.1.md +600 -600
- package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +40 -40
- package/docs/mdcg//345/215/225/345/205/203/350/207/252/346/210/221/351/224/232/347/202/271_/347/263/273/347/273/237/346/217/220/347/244/272/350/257/215/346/240/207/345/207/206_v0.3.md +275 -275
- package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
- package/docs/mdcg//346/272/220/347/240/201/347/272/247/346/236/266/346/236/204/345/256/241/350/256/241_GPT/346/211/271/350/257/204/345/257/271/347/205/247_v1.0.md +130 -130
- package/docs/mdcg//347/201/265/346/236/24282/345/267/245/345/205/267_/345/212/237/350/203/275/346/225/264/347/220/206/344/270/216/350/277/201/347/247/273/346/230/240/345/260/204_v0.1.md +278 -278
- package/docs/mdcg//347/201/265/346/236/242/350/256/260/345/277/206/345/212/250/350/257/215/345/215/217/350/256/256_v1.0-draft.md +172 -172
- package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md +491 -491
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md +340 -340
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_/347/264/242/345/274/225/344/270/216/345/267/245/347/250/213/350/247/204/350/214/203/345/214/226_/350/256/241/345/210/222_v0.1.md +588 -588
- package/docs/plans/GridWorld/346/234/200/345/260/217/351/227/255/347/216/257/350/247/204/346/240/274_v0.1.md +176 -176
- package/docs/plans//345/221/275/345/220/215/346/262/273/347/220/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +81 -81
- package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
- package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md +242 -242
- package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
- package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md +129 -129
- package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md +134 -134
- package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md +145 -145
- package/docs/theory//347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md +144 -144
- package/docs/theory//347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md +198 -198
- package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md +221 -221
- package/docs/world_model//344/270/226/347/225/214/346/250/241/345/236/213_/347/245/236/347/273/217/347/275/221/347/273/234/345/272/225/345/261/202/346/236/266/346/236/204_v1.0.md +237 -237
- package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
- package/docs//345/217/221/345/270/203/344/273/266/345/233/236/346/272/257/350/257/264/346/230/216_v0.1.md +82 -82
- package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json +28 -2
- package/dsh/README.md +82 -82
- package/dsh/cordis.yml.example +139 -139
- package/dsh/update-lingshu.bat +11 -11
- package/lib/bridge.d.ts +9 -0
- package/lib/bridge.js +35 -0
- package/lib/hooks.js +36 -2
- package/lib/index.js +7 -1
- package/lib/lib/roleplay_web.js +116 -29
- package/lib/lib/token_store.d.ts +7 -1
- package/lib/lib/token_store.js +12 -3
- package/md_cg/__init__.py +7 -7
- package/md_cg/audit.py +379 -368
- package/md_cg/autonomy.py +287 -287
- package/md_cg/backfill.py +1328 -1327
- package/md_cg/backfill_bigdomain.py +34 -34
- package/md_cg/backfill_bucket_zh.py +35 -0
- package/md_cg/bench6_arms.py +410 -410
- package/md_cg/bench6_common.py +230 -230
- package/md_cg/bench6_competitors.py +212 -212
- package/md_cg/bench_axis_domain.py +257 -257
- package/md_cg/bench_blind_comp.py +308 -308
- package/md_cg/bench_e2e_judge.py +532 -0
- package/md_cg/bench_e2e_locomo_qa.py +368 -0
- package/md_cg/bench_e2e_qa.py +256 -0
- package/md_cg/bench_en_atoms_public.py +230 -230
- package/md_cg/bench_governance.py +348 -348
- package/md_cg/bench_lme_zh.py +410 -410
- package/md_cg/bench_locomo.py +121 -121
- package/md_cg/bench_locomo_zh.py +450 -450
- package/md_cg/bench_locomo_zh_public.py +147 -147
- package/md_cg/bench_longmem.py +112 -112
- package/md_cg/bench_membench.py +632 -632
- package/md_cg/bench_p0.py +149 -149
- package/md_cg/bench_progressive.py +287 -287
- package/md_cg/bench_role_views.py +238 -238
- package/md_cg/bench_task_ab.py +243 -243
- package/md_cg/bench_task_ab_llm.py +408 -408
- package/md_cg/bench_unified_en.py +204 -204
- package/md_cg/bench_zh_mad.py +601 -601
- package/md_cg/blindspot_tickets.py +123 -123
- package/md_cg/branches.py +301 -285
- package/md_cg/build_postings.py +73 -73
- package/md_cg/ccgc.py +1006 -948
- package/md_cg/census.py +132 -132
- package/md_cg/chain.py +315 -300
- package/md_cg/codeindex.py +531 -531
- package/md_cg/coldverify.py +292 -292
- package/md_cg/comment_gate.py +337 -337
- package/md_cg/cond_compose.py +190 -190
- package/md_cg/cond_facts.py +154 -154
- package/md_cg/cond_template.json +106 -106
- package/md_cg/condition_anchor.py +142 -142
- package/md_cg/conformance.py +726 -726
- package/md_cg/consistency.py +717 -717
- package/md_cg/consolidate.py +1537 -1439
- package/md_cg/corpus.py +110 -110
- package/md_cg/crosscheck.py +1098 -1097
- package/md_cg/crypto.py +3 -1
- package/md_cg/d_meta.py +310 -310
- package/md_cg/datapath.py +78 -18
- package/md_cg/docindex.py +473 -473
- package/md_cg/eval_common.py +575 -575
- package/md_cg/evidence.py +4 -2
- package/md_cg/evolution.py +477 -477
- package/md_cg/export.py +222 -220
- package/md_cg/forgetting.py +581 -581
- package/md_cg/fsutil.py +377 -329
- package/md_cg/hotcache.py +48 -7
- package/md_cg/hyperedge.py +251 -251
- package/md_cg/identity.py +390 -390
- package/md_cg/insight.py +500 -500
- package/md_cg/interop.py +338 -0
- package/md_cg/judgment_manifest.py +177 -0
- package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
- package/md_cg/lexicon/build_standard_en.py +171 -171
- package/md_cg/lexicon/expand_en_zh.py +211 -211
- package/md_cg/lifecycle.py +272 -272
- package/md_cg/linkref.py +280 -280
- package/md_cg/links.py +140 -107
- package/md_cg/mcp_server.py +403 -55
- package/md_cg/md_whitebox.py +345 -345
- package/md_cg/mdcg.py +783 -233
- package/md_cg/mdcos.py +500 -70
- package/md_cg/metacognition.py +591 -591
- package/md_cg/migrate.py +119 -119
- package/md_cg/migrate_aeis.py +221 -221
- package/md_cg/migrate_roleplay.py +293 -293
- package/md_cg/migrate_wisdom_graph.py +360 -360
- package/md_cg/mreview/__init__.py +25 -25
- package/md_cg/mreview/__main__.py +110 -110
- package/md_cg/mreview/bundle.py +178 -178
- package/md_cg/mreview/candidates.py +262 -262
- package/md_cg/mreview/govern.py +694 -693
- package/md_cg/mreview/locate.py +939 -939
- package/md_cg/mreview/pipeline.py +728 -728
- package/md_cg/mreview/rules/duplication.json +21 -21
- package/md_cg/mreview/rules/field_coverage.json +54 -54
- package/md_cg/mreview/rules/source_license.json +21 -21
- package/md_cg/mreview/rules/template_flow.json +21 -21
- package/md_cg/mreview/ruleset.py +252 -252
- package/md_cg/nodefile.py +575 -575
- package/md_cg/pooling.py +484 -472
- package/md_cg/postings.py +300 -298
- package/md_cg/predict.py +1100 -1100
- package/md_cg/progressive.py +123 -123
- package/md_cg/protect.py +272 -272
- package/md_cg/protocol/md_cg_gate.proto +33 -33
- package/md_cg/protocol.py +372 -372
- package/md_cg/provenance.py +582 -582
- package/md_cg/reach.py +453 -453
- package/md_cg/readcache.py +143 -0
- package/md_cg/reconcile.py +228 -0
- package/md_cg/refindex.py +833 -833
- package/md_cg/refine.py +604 -604
- package/md_cg/review_cli.py +170 -0
- package/md_cg/roleviews.py +89 -89
- package/md_cg/routing.py +393 -365
- package/md_cg/run_tests.py +211 -0
- package/md_cg/scrub.py +13 -3
- package/md_cg/security.py +128 -18
- package/md_cg/self_state.py +1029 -1029
- package/md_cg/selfreport.py +152 -151
- package/md_cg/semantic/__init__.py +10 -10
- package/md_cg/semantic/canonical.py +122 -122
- package/md_cg/semantic/en_normalizer.py +364 -364
- package/md_cg/semantic/en_zh_map.json +28694 -0
- package/md_cg/semantic/export_en_zh_map.py +64 -0
- package/md_cg/semantic/unify.py +45 -0
- package/md_cg/semantic/zh_en_atoms.py +139 -139
- package/md_cg/signer.py +7 -4
- package/md_cg/sources.py +816 -582
- package/md_cg/statushdr.py +179 -179
- package/md_cg/stg.py +54 -37
- package/md_cg/subgraph.py +729 -729
- package/md_cg/sustain.py +35 -5
- package/md_cg/tasks.py +470 -470
- package/md_cg/test_access_hints.py +147 -0
- package/md_cg/test_action_derive.py +203 -203
- package/md_cg/test_audit_rotate.py +270 -270
- package/md_cg/test_autonomy.py +143 -143
- package/md_cg/test_bench_governance.py +102 -102
- package/md_cg/test_blindspot_tickets.py +166 -166
- package/md_cg/test_branch_discard_tombstone.py +136 -0
- package/md_cg/test_branches.py +13 -3
- package/md_cg/test_ccg_perturb.py +184 -184
- package/md_cg/test_ccgc.py +433 -433
- package/md_cg/test_census_prune.py +81 -81
- package/md_cg/test_chain_read_isolate.py +168 -0
- package/md_cg/test_cond_compose_anchors.py +76 -76
- package/md_cg/test_cond_match.py +165 -165
- package/md_cg/test_condition_anchor.py +81 -81
- package/md_cg/test_d_meta.py +412 -412
- package/md_cg/test_datapath_device_name.py +203 -0
- package/md_cg/test_datapath_root.py +199 -199
- package/md_cg/test_emit_negtail_cache.py +156 -0
- package/md_cg/test_en_pipeline.py +22 -2
- package/md_cg/test_gain_gate.py +212 -212
- package/md_cg/test_govern_directread.py +421 -0
- package/md_cg/test_health_scale.py +173 -173
- package/md_cg/test_hive_ingest.py +285 -0
- package/md_cg/test_hot_cold.py +215 -215
- package/md_cg/test_hyperedge.py +245 -245
- package/md_cg/test_i26_empty_first_write.py +116 -0
- package/md_cg/test_i27_e041_identity.py +128 -0
- package/md_cg/test_i28_hotcache_prodpath.py +122 -0
- package/md_cg/test_i32_hotcache_env_key.py +218 -0
- package/md_cg/test_identity_attribution.py +96 -15
- package/md_cg/test_index_durability.py +17 -3
- package/md_cg/test_interop.py +95 -0
- package/md_cg/test_interop_judgment.py +228 -0
- package/md_cg/test_issue39_utf8_stdio.py +273 -0
- package/md_cg/test_lifecycle.py +309 -309
- package/md_cg/test_linkref.py +306 -306
- package/md_cg/test_links_concurrent_write.py +188 -0
- package/md_cg/test_lock.py +43 -43
- package/md_cg/test_md_access_parity.py +255 -255
- package/md_cg/test_md_writepath.py +345 -345
- package/md_cg/test_mdstore_search_parity.py +160 -0
- package/md_cg/test_merge_upsert.py +168 -0
- package/md_cg/test_mr_m2.py +587 -587
- package/md_cg/test_mr_m3.py +710 -710
- package/md_cg/test_mr_m4.py +485 -485
- package/md_cg/test_n123_derive_expiry_chain.py +205 -0
- package/md_cg/test_n130_verify_falsified_protect.py +185 -0
- package/md_cg/test_n131_merge_gate.py +205 -0
- package/md_cg/test_p0.py +250 -250
- package/md_cg/test_p1.py +316 -316
- package/md_cg/test_p10_identity.py +173 -173
- package/md_cg/test_p11_consistency.py +233 -233
- package/md_cg/test_p12_metacognition.py +212 -212
- package/md_cg/test_p13_encryption.py +241 -241
- package/md_cg/test_p14_sustain.py +249 -249
- package/md_cg/test_p15_scrub.py +280 -280
- package/md_cg/test_p16_self_state.py +301 -301
- package/md_cg/test_p17_predict.py +354 -354
- package/md_cg/test_p18_whitebox.py +171 -171
- package/md_cg/test_p19_migrate_roleplay.py +149 -149
- package/md_cg/test_p1x_ref_root.py +160 -0
- package/md_cg/test_p20_evolution.py +315 -315
- package/md_cg/test_p21_tokens.py +293 -270
- package/md_cg/test_p22_theory.py +175 -175
- package/md_cg/test_p23_links.py +311 -311
- package/md_cg/test_p24_evidence.py +227 -227
- package/md_cg/test_p25_weights.py +156 -156
- package/md_cg/test_p26_refindex.py +416 -416
- package/md_cg/test_p27_docindex.py +16 -7
- package/md_cg/test_p28_refcheck.py +305 -305
- package/md_cg/test_p29_session_ingest_export.py +354 -333
- package/md_cg/test_p2_mcp.py +3 -0
- package/md_cg/test_p3.py +11 -2
- package/md_cg/test_p30_maintain.py +330 -330
- package/md_cg/test_p31_insight.py +534 -534
- package/md_cg/test_p32_backfill.py +7 -1
- package/md_cg/test_p33_ccg_wiring.py +293 -293
- package/md_cg/test_p34_crosscheck.py +331 -331
- package/md_cg/test_p35_conditioned_claim.py +252 -252
- package/md_cg/test_p36_kp_align.py +230 -230
- package/md_cg/test_p37_condition_space.py +248 -248
- package/md_cg/test_p38_concurrent_flush.py +102 -0
- package/md_cg/test_p38_contextualize.py +273 -273
- package/md_cg/test_p39_verify_flow.py +153 -0
- package/md_cg/test_p39_vision_evidence.py +369 -369
- package/md_cg/test_p40_refine_worklist.py +241 -241
- package/md_cg/test_p41_evolve_patrol.py +224 -224
- package/md_cg/test_p42_provenance.py +269 -269
- package/md_cg/test_p43_pooling.py +412 -398
- package/md_cg/test_p44_md_whitebox.py +231 -231
- package/md_cg/test_p45_session_identity.py +219 -219
- package/md_cg/test_p46_unit_scope.py +272 -272
- package/md_cg/test_p47_session_view.py +316 -0
- package/md_cg/test_p4_fuzzy.py +223 -223
- package/md_cg/test_p5_semantic.py +226 -226
- package/md_cg/test_p6_consolidate.py +440 -387
- package/md_cg/test_p7_goals_recent.py +202 -202
- package/md_cg/test_p8_subgraph_chain.py +200 -200
- package/md_cg/test_p9_forget_protect.py +231 -231
- package/md_cg/test_predict_beta.py +135 -135
- package/md_cg/test_preflight_failclosed.py +100 -100
- package/md_cg/test_progressive.py +146 -146
- package/md_cg/test_propose_tail_index.py +157 -0
- package/md_cg/test_protocol.py +243 -243
- package/md_cg/test_reach.py +378 -378
- package/md_cg/test_reach_keys.py +201 -201
- package/md_cg/test_read_clip.py +141 -141
- package/md_cg/test_read_scope_b27.py +277 -0
- package/md_cg/test_readcache_default_on.py +168 -0
- package/md_cg/test_readcache_precise_inval.py +270 -0
- package/md_cg/test_readcache_prodpath.py +203 -0
- package/md_cg/test_reconcile_v0.py +294 -0
- package/md_cg/test_retr_gates_prodpath.py +140 -0
- package/md_cg/test_retr_s1.py +344 -340
- package/md_cg/test_retr_s1b.py +276 -209
- package/md_cg/test_retr_s3.py +194 -194
- package/md_cg/test_retr_s4.py +163 -163
- package/md_cg/test_retr_s5.py +200 -200
- package/md_cg/test_retr_s6.py +157 -157
- package/md_cg/test_retr_s7.py +392 -384
- package/md_cg/test_retr_s8_time.py +369 -316
- package/md_cg/test_retr_s9_edges.py +286 -286
- package/md_cg/test_retr_s9_entity_ctx.py +9 -3
- package/md_cg/test_retr_score_once.py +208 -0
- package/md_cg/test_review_conformance.py +367 -367
- package/md_cg/test_review_onepass.py +170 -0
- package/md_cg/test_role_views.py +354 -354
- package/md_cg/test_rrf_graph_seed_cache.py +154 -0
- package/md_cg/test_security_audit.py +155 -0
- package/md_cg/test_security_audit_b26.py +161 -0
- package/md_cg/test_security_audit_v21.py +250 -0
- package/md_cg/test_sem_noise.py +242 -242
- package/md_cg/test_semantic_canonical.py +16 -2
- package/md_cg/test_session_isolation.py +168 -0
- package/md_cg/test_snapshot_autoclose.py +187 -0
- package/md_cg/test_subproc_encoding.py +192 -192
- package/md_cg/test_sustain_mutual.py +153 -153
- package/md_cg/test_tail_watermark_race.py +208 -0
- package/md_cg/test_tasks.py +409 -409
- package/md_cg/test_tenant_env_override_warn.py +139 -0
- package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
- package/md_cg/test_tool_face.py +189 -189
- package/md_cg/test_transfer.py +180 -180
- package/md_cg/test_trust.py +361 -361
- package/md_cg/test_twophase.py +286 -286
- package/md_cg/test_v14_fixes.py +38 -20
- package/md_cg/test_validity_filter.py +280 -280
- package/md_cg/test_verify_answer.py +138 -138
- package/md_cg/test_verify_dirty_reconcile.py +157 -0
- package/md_cg/test_wisdom_md_store.py +292 -292
- package/md_cg/test_writelimit.py +197 -197
- package/md_cg/test_writepipe.py +214 -214
- package/md_cg/theory.py +6 -3
- package/md_cg/tokens.py +85 -14
- package/md_cg/tool_face.py +260 -260
- package/md_cg/trust.py +986 -950
- package/md_cg/twophase.py +231 -231
- package/md_cg/units.py +668 -667
- package/md_cg/vision_evidence.py +667 -666
- package/md_cg/weights.py +624 -624
- package/md_cg/whitebox.py +527 -527
- package/md_cg/whitebox_kb/__init__.py +37 -37
- package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
- package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
- package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
- package/md_cg/whitebox_kb/engine.py +310 -310
- package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
- package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
- package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
- package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
- package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
- package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
- package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
- package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
- package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
- package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
- package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
- package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
- package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
- package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
- package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
- package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
- package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
- package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
- package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
- package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
- package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
- package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
- package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
- package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
- package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
- package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
- package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
- package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
- package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
- package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
- package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
- package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
- package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
- package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
- package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
- package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
- package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
- package/md_cg/writelimit.py +356 -356
- package/md_cg/writepipe.py +20 -8
- package/package.json +101 -96
- package/skills/plugin.json +54 -54
- package/skills/skills/designer-perspective/SKILL.md +158 -158
- package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
- package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
- package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
- package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
- package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
- package/skills/skills/designer-perspective/scripts/designer.py +545 -545
- package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
- package/skills/skills/designer-perspective/tests/selftest.py +61 -61
- package/skills/skills/lingshu-browser/SKILL.md +60 -60
- package/skills/skills/lingshu-compiler/SKILL.md +56 -56
- package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
- package/skills/skills/lingshu-graph/SKILL.md +63 -63
- package/skills/skills/lingshu-net/SKILL.md +48 -48
- package/skills/skills/lingshu-os/SKILL.md +64 -64
- package/skills/skills/lingshu-pylang/SKILL.md +71 -71
- package/src/bridge.ts +33 -0
- package/src/hooks.ts +38 -2
- package/src/index.ts +526 -518
- package/src/lib/datapath.ts +326 -326
- package/src/lib/mdcg_client.ts +413 -413
- package/src/lib/mutual.ts +428 -428
- package/src/lib/prompt_safety.ts +62 -62
- package/src/lib/python_path.ts +71 -71
- package/src/lib/roleplay_web.ts +116 -29
- package/src/lib/token_store.ts +13 -3
- package/src/tools.ts +212 -212
- package/zcode/AGENTS.md +11 -3
- package/zcode/README.md +41 -41
- /package/docs/{mdcg → hive}//344/270/273/344/273/243/347/220/206/345/255/220/344/273/243/347/220/206/350/256/260/345/277/206/346/236/266/346/236/204/350/256/276/350/256/241.md" +0 -0
|
@@ -1,55 +1,55 @@
|
|
|
1
|
-
# 03 方向判断:盲区驱动、目标函数与导航税
|
|
2
|
-
|
|
3
|
-
> 来源:《智能论3.4.md》5.3、6章.2、7.3、附录22.1、蜂群架构奠基声明五。行号为 v3.4 原文行号。
|
|
4
|
-
|
|
5
|
-
## 一、条款锚点
|
|
6
|
-
|
|
7
|
-
| 条款 | 行号 | 原文关键句 |
|
|
8
|
-
|------|------|-----------|
|
|
9
|
-
| 5.1 状态空间 | 3140-3142 | `S(t) = ( C(t), K(t), B(t) )`;C=条件空间 / K=知识状态 / B=身体端口状态。 |
|
|
10
|
-
| 5.2 混杂系统 | 3144-3150 | 认知是**混杂系统**:感知事件驱动、路由离散决策、信念在验证时刻点更新、趋势/租约/可信度衰减准连续。 |
|
|
11
|
-
| 5.3 目标函数 | 3152-3165 | `π* = argmax_π [ Σ_v Value(s,v) - λ·K_π ]`;`Value(s,v) = ΔD_task(s,v) · σ( Gain_task(s,v) )`;Gain_task=筛选器(值不值得做)、ΔD_task=定价器(对任务值多少)、K_π=结构成本(导航税/验证成本/计算开销)。 |
|
|
12
|
-
| 5.3 权限边界声明 | 3157-3160 | π* 为**策略搜索层目标函数**,适用 L1/L2 层;**L3 存在级决策不适用 π***,仍走完整八步闭环 + 维生系统终裁——π* 结果仅作参考输入,不构成对维生终裁权的绕过。「目标函数是启发式描述,不是裁决机制。」 |
|
|
13
|
-
| 5.3 记账单位 | 3164-3165 | D_task=货币,KL=做功,D_meta=供给,K=成本;「在有限结构成本下,选择能够最大程度缩小信息差的认知路径」。 |
|
|
14
|
-
| 6章.2 导航税 | 2983-2985 | 「大模型擅长生成,但不擅长**导航**——它不记得第几次尝试、卡在哪个分支、哪些条件已被排除。这种持续跟踪判断进程的成本 = **导航税**。条件判断必须交给稳定的确定性机制,LLM 只负责提供候选假设。」 |
|
|
15
|
-
| 7.3 CSPRE | 3204-3210 | 「**搜索=导航**:先定位条件空间,再脉冲激活——不是「搜索=匹配」全库扫描,而是「先导航再激活」定向检索(跳过无关 domain)。」 |
|
|
16
|
-
| 附录22.1 认知外部化 | 5181-5188 | 状态跟踪外部化(_STATE 状态字典/硬触发——外部计数,模型零判断);条件判断外部化(COND-ANALYSIS 词表路由——判断先行,路径是分析产物);「机制补结构型任务/模型补内容理解型任务——互补非替代」。 |
|
|
17
|
-
| 奠基声明 五 | 4791-4804 | 设计者视角(观测层):「从整体查看图的内容 / 识别未知,决定方向 / 观测不干预,可发关注信号」。 |
|
|
18
|
-
| 附录6注释 观察002 | 4321-4323 | 位置效应由责任激活;未被赋予责任的位置,其位置效应不会显现。 |
|
|
19
|
-
|
|
20
|
-
## 二、方向判断的三问
|
|
21
|
-
|
|
22
|
-
### 问 1:值不值得做(Gain_task)
|
|
23
|
-
|
|
24
|
-
筛选器。先问这个任务是否值得进入策略搜索——不是所有「能做的」都「值得做」。
|
|
25
|
-
|
|
26
|
-
### 问 2:对任务值多少(ΔD_task)
|
|
27
|
-
|
|
28
|
-
定价器。该路径能缩小多少任务信息差。价值 = ΔD_task × σ(Gain_task)。
|
|
29
|
-
|
|
30
|
-
### 问 3:成本是多少(K_π)
|
|
31
|
-
|
|
32
|
-
结构成本 = 导航税 + 验证成本 + 计算开销。**导航税的本质是持续跟踪判断进程的成本**——因此状态跟踪与条件判断应外部化到确定性机制(附录22.1),LLM 只负责提供候选假设。
|
|
33
|
-
|
|
34
|
-
决策式:在有限结构成本下,选择能够最大程度缩小信息差的认知路径。
|
|
35
|
-
|
|
36
|
-
## 三、边界与纪律
|
|
37
|
-
|
|
38
|
-
1. **层级边界**:π* 只适用于 L1/L2 策略搜索层;L3 存在级决策不适用 π*,须走完整八步闭环 + 维生系统终裁(5.3 权限边界声明)。
|
|
39
|
-
2. **不是裁决机制**:目标函数是启发式描述,不构成对维生终裁权的绕过。
|
|
40
|
-
3. **观测不干预**:设计者视角可发关注信号(signal),不直接干预内部决策。
|
|
41
|
-
4. **盲区驱动方向**:识别未知区域并据此决定方向——方向来自「哪里不知道」,而不是「哪里最像」。
|
|
42
|
-
5. **责任激活**:位置效应由责任激活;无责任承担时方向判断不产生约束力,因此每轮须产出可核查的判定单。
|
|
43
|
-
|
|
44
|
-
## 四、与 md_cg 的对应
|
|
45
|
-
|
|
46
|
-
| 能力 | 工具 | action | 说明 |
|
|
47
|
-
|------|------|--------|------|
|
|
48
|
-
| 候选未来 | `mdcg_predict` | `routes` | 沿因果/时序边 + 语义邻近(经伪因果过滤门)生成局部路线;输出 uncertainty_bound / extrapolation_validity / T_pred 四维评分(trend .40 / boundary .20 / verification .25 / balance .15) |
|
|
49
|
-
| 盲区驱动预测 | `mdcg_predict` | `routes` + `blindspot_id` | 从 unresolved 节点或盲区邻域键出发生成路线 |
|
|
50
|
-
| 命中反馈 | `mdcg_predict` | `feedback` | 命中 → 边置信度 +0.05;未命中 → 登记 rejected(D-006 动态校准) |
|
|
51
|
-
| 信息差与二阶变化 | `mdcg_reflect` | — | 记录 D(t,C) 与 d²D/dt²,写 `_reflection.jsonl` |
|
|
52
|
-
| 未解问题 | `mdcg_unresolved` | — | 读取待补条件的 unresolved 条目 |
|
|
53
|
-
| 自我状态 | `mdcg_self_state` | `snapshot` | 信息差 D/d1/d2、信任 P_gap/P_trust |
|
|
54
|
-
|
|
55
|
-
**声明「不可预测」则拒绝生成**(`mdcg_predict` 的边界)——这正对应 BLINDSPOT 的纪律:无法建立判断路径时停止猜测。
|
|
1
|
+
# 03 方向判断:盲区驱动、目标函数与导航税
|
|
2
|
+
|
|
3
|
+
> 来源:《智能论3.4.md》5.3、6章.2、7.3、附录22.1、蜂群架构奠基声明五。行号为 v3.4 原文行号。
|
|
4
|
+
|
|
5
|
+
## 一、条款锚点
|
|
6
|
+
|
|
7
|
+
| 条款 | 行号 | 原文关键句 |
|
|
8
|
+
|------|------|-----------|
|
|
9
|
+
| 5.1 状态空间 | 3140-3142 | `S(t) = ( C(t), K(t), B(t) )`;C=条件空间 / K=知识状态 / B=身体端口状态。 |
|
|
10
|
+
| 5.2 混杂系统 | 3144-3150 | 认知是**混杂系统**:感知事件驱动、路由离散决策、信念在验证时刻点更新、趋势/租约/可信度衰减准连续。 |
|
|
11
|
+
| 5.3 目标函数 | 3152-3165 | `π* = argmax_π [ Σ_v Value(s,v) - λ·K_π ]`;`Value(s,v) = ΔD_task(s,v) · σ( Gain_task(s,v) )`;Gain_task=筛选器(值不值得做)、ΔD_task=定价器(对任务值多少)、K_π=结构成本(导航税/验证成本/计算开销)。 |
|
|
12
|
+
| 5.3 权限边界声明 | 3157-3160 | π* 为**策略搜索层目标函数**,适用 L1/L2 层;**L3 存在级决策不适用 π***,仍走完整八步闭环 + 维生系统终裁——π* 结果仅作参考输入,不构成对维生终裁权的绕过。「目标函数是启发式描述,不是裁决机制。」 |
|
|
13
|
+
| 5.3 记账单位 | 3164-3165 | D_task=货币,KL=做功,D_meta=供给,K=成本;「在有限结构成本下,选择能够最大程度缩小信息差的认知路径」。 |
|
|
14
|
+
| 6章.2 导航税 | 2983-2985 | 「大模型擅长生成,但不擅长**导航**——它不记得第几次尝试、卡在哪个分支、哪些条件已被排除。这种持续跟踪判断进程的成本 = **导航税**。条件判断必须交给稳定的确定性机制,LLM 只负责提供候选假设。」 |
|
|
15
|
+
| 7.3 CSPRE | 3204-3210 | 「**搜索=导航**:先定位条件空间,再脉冲激活——不是「搜索=匹配」全库扫描,而是「先导航再激活」定向检索(跳过无关 domain)。」 |
|
|
16
|
+
| 附录22.1 认知外部化 | 5181-5188 | 状态跟踪外部化(_STATE 状态字典/硬触发——外部计数,模型零判断);条件判断外部化(COND-ANALYSIS 词表路由——判断先行,路径是分析产物);「机制补结构型任务/模型补内容理解型任务——互补非替代」。 |
|
|
17
|
+
| 奠基声明 五 | 4791-4804 | 设计者视角(观测层):「从整体查看图的内容 / 识别未知,决定方向 / 观测不干预,可发关注信号」。 |
|
|
18
|
+
| 附录6注释 观察002 | 4321-4323 | 位置效应由责任激活;未被赋予责任的位置,其位置效应不会显现。 |
|
|
19
|
+
|
|
20
|
+
## 二、方向判断的三问
|
|
21
|
+
|
|
22
|
+
### 问 1:值不值得做(Gain_task)
|
|
23
|
+
|
|
24
|
+
筛选器。先问这个任务是否值得进入策略搜索——不是所有「能做的」都「值得做」。
|
|
25
|
+
|
|
26
|
+
### 问 2:对任务值多少(ΔD_task)
|
|
27
|
+
|
|
28
|
+
定价器。该路径能缩小多少任务信息差。价值 = ΔD_task × σ(Gain_task)。
|
|
29
|
+
|
|
30
|
+
### 问 3:成本是多少(K_π)
|
|
31
|
+
|
|
32
|
+
结构成本 = 导航税 + 验证成本 + 计算开销。**导航税的本质是持续跟踪判断进程的成本**——因此状态跟踪与条件判断应外部化到确定性机制(附录22.1),LLM 只负责提供候选假设。
|
|
33
|
+
|
|
34
|
+
决策式:在有限结构成本下,选择能够最大程度缩小信息差的认知路径。
|
|
35
|
+
|
|
36
|
+
## 三、边界与纪律
|
|
37
|
+
|
|
38
|
+
1. **层级边界**:π* 只适用于 L1/L2 策略搜索层;L3 存在级决策不适用 π*,须走完整八步闭环 + 维生系统终裁(5.3 权限边界声明)。
|
|
39
|
+
2. **不是裁决机制**:目标函数是启发式描述,不构成对维生终裁权的绕过。
|
|
40
|
+
3. **观测不干预**:设计者视角可发关注信号(signal),不直接干预内部决策。
|
|
41
|
+
4. **盲区驱动方向**:识别未知区域并据此决定方向——方向来自「哪里不知道」,而不是「哪里最像」。
|
|
42
|
+
5. **责任激活**:位置效应由责任激活;无责任承担时方向判断不产生约束力,因此每轮须产出可核查的判定单。
|
|
43
|
+
|
|
44
|
+
## 四、与 md_cg 的对应
|
|
45
|
+
|
|
46
|
+
| 能力 | 工具 | action | 说明 |
|
|
47
|
+
|------|------|--------|------|
|
|
48
|
+
| 候选未来 | `mdcg_predict` | `routes` | 沿因果/时序边 + 语义邻近(经伪因果过滤门)生成局部路线;输出 uncertainty_bound / extrapolation_validity / T_pred 四维评分(trend .40 / boundary .20 / verification .25 / balance .15) |
|
|
49
|
+
| 盲区驱动预测 | `mdcg_predict` | `routes` + `blindspot_id` | 从 unresolved 节点或盲区邻域键出发生成路线 |
|
|
50
|
+
| 命中反馈 | `mdcg_predict` | `feedback` | 命中 → 边置信度 +0.05;未命中 → 登记 rejected(D-006 动态校准) |
|
|
51
|
+
| 信息差与二阶变化 | `mdcg_reflect` | — | 记录 D(t,C) 与 d²D/dt²,写 `_reflection.jsonl` |
|
|
52
|
+
| 未解问题 | `mdcg_unresolved` | — | 读取待补条件的 unresolved 条目 |
|
|
53
|
+
| 自我状态 | `mdcg_self_state` | `snapshot` | 信息差 D/d1/d2、信任 P_gap/P_trust |
|
|
54
|
+
|
|
55
|
+
**声明「不可预测」则拒绝生成**(`mdcg_predict` 的边界)——这正对应 BLINDSPOT 的纪律:无法建立判断路径时停止猜测。
|
|
@@ -1,72 +1,72 @@
|
|
|
1
|
-
# 04 资格裁决:四态判定规则与边界
|
|
2
|
-
|
|
3
|
-
> 来源:《智能论3.4.md》6章.2、第三章 3.1–3.4、第〇章。行号为 v3.4 原文行号。
|
|
4
|
-
|
|
5
|
-
## 一、条款锚点
|
|
6
|
-
|
|
7
|
-
| 条款 | 行号 | 原文关键句 |
|
|
8
|
-
|------|------|-----------|
|
|
9
|
-
| 第〇章 白箱三问 | 2582-2594 | 「系统的每个回答都能回答三个问题——① **依据什么**(锚定:引用了哪条知识);② **在什么条件下成立**(条件空间:E1 小学层级成立 ≠ E5 前沿成立);③ **错了怎么办**(验证闭环:失败被记录、被学习、被修正)。」白箱三问对应协议结构:依据什么 ↔ 锚定层;条件成立 ↔ 条件空间;错了怎么办 ↔ 验证单元+反思协议。 |
|
|
10
|
-
| 第〇章 白箱 ≠ 不用大模型 | 2588-2590 | 「白箱 = 给模型套一层可审计的骨架——知识库负责「知道什么」,验证单元负责「凭什么信」,反思协议负责「怎么改自己」。大模型退居为**假设生成器**(它提出假设,物理基底裁决)。」 |
|
|
11
|
-
| 6章.2 资格判断 | 2929-2930 | 「面对输入时,首先判断的不是「哪个答案最像」,而是**「当前条件是否足以支持执行」**」。 |
|
|
12
|
-
| 6章.2 四态表 | 2932-2937 | ACCEPT=条件充分,获得执行资格;REJECT=存在足以证明「不适用」的条件冲突;DEFER=候选存在但区分条件未定,继续递归;BLINDSPOT=无法建立判断路径,停止猜测。 |
|
|
13
|
-
| 6章.2 负路由 | 2939-2943 | 「条件路由的关键不只在「命中什么」,更在**「拒绝什么」**——能力级不适用条件是负路由的核心:候选关键词很像,但实际能力不同(如「BFS」vs「DFS」的邻域任务),必须靠**能力级不适用条件**拒绝。」 |
|
|
14
|
-
| 6章.2 资格来源 | 2957-2970 | 「**候选不是被「选掉」,而是被「证明」**」;「相似度可以产生候选,但不能单独授予执行资格——**资格由条件证据裁决,不由相似度裁决**」。 |
|
|
15
|
-
| 6章.2 三层分工 | 2987-2996 | 概率=可能是什么(产生候选);条件=能不能做(决定资格);验证=做得对不对(外部基底裁决事实)。「白箱拒绝的是让概率相似度**直接代替**资格判断」。 |
|
|
16
|
-
| 3.1 四维定义 | 2809-2818 | 观测位置 / 观测工具 / 时间窗口 / 存在约束。 |
|
|
17
|
-
| 3.2 声明格式 | 2820-2832 | `space_id` / `observation_position` / `observation_tool` / `time_window` / `existence_constraint` / `validity_range` / `transition_rules`。 |
|
|
18
|
-
| 3.3 切换流程 | 2834-2869 | 触发(D_norm > 0.5 / P_trust < 0.7 / 用户指令)→ 声明生成 → 验证单元复核 → 执行 → 复核(D_norm < 0.3 成功)→ 记录到结构层(不可遗忘)。 |
|
|
19
|
-
| 3.4 识别卡 | 2871-2889 | 13 字段标准接口:编号/名称/层级/内嵌观测位/默认存在预设/不可约起点/有效观测方式/时间与因果结构/识别的条件边界/自洽性评估/可映射到的协议概念/已知边界/交互标签(推荐/稳定/易碎/边界)。 |
|
|
20
|
-
| 3.5 非符号边界 | 2891-2901 | 非符号条件空间仅作为边界条件声明,不在当前操作范围内——即「承认边界,但不越界操作」。 |
|
|
21
|
-
|
|
22
|
-
## 二、判定顺序(固定)
|
|
23
|
-
|
|
24
|
-
先拒绝,后接受。顺序不可颠倒:
|
|
25
|
-
|
|
26
|
-
```
|
|
27
|
-
候选 C
|
|
28
|
-
│
|
|
29
|
-
├─ ① 存在足以证明「不适用」的条件冲突? → REJECT
|
|
30
|
-
│ 判据:能力级不适用条件命中(关键词像但能力不同)
|
|
31
|
-
│
|
|
32
|
-
├─ ② 无法建立判断路径? → BLINDSPOT
|
|
33
|
-
│ 判据:从未编码的知识域 / 无任何可用条件链
|
|
34
|
-
│
|
|
35
|
-
├─ ③ 候选存在但区分条件未定? → DEFER
|
|
36
|
-
│ 判据:多个候选均可能,缺可区分的条件
|
|
37
|
-
│
|
|
38
|
-
└─ ④ 条件充分,获得执行资格 → ACCEPT
|
|
39
|
-
判据:条件匹配 + 知识存在 + 白箱三问均可回答
|
|
40
|
-
```
|
|
41
|
-
|
|
42
|
-
**为什么 REJECT 在 BLINDSPOT 之前**:负路由是结构性能力(行 2954-2955)。能证明「不适用」时,不必进入盲区判断——拒绝比猜测更省导航税。
|
|
43
|
-
|
|
44
|
-
## 三、每态的动作与产出
|
|
45
|
-
|
|
46
|
-
| 状态 | 动作 | 产出 |
|
|
47
|
-
|------|------|------|
|
|
48
|
-
| ACCEPT | 交给操作层执行 | 判定单 + 执行建议(不代执行) |
|
|
49
|
-
| REJECT | 指出冲突的不适用条件 | 判定单 + 负路由依据 |
|
|
50
|
-
| DEFER | 列出缺失的区分条件,继续递归补条件 | 判定单 + 待补条件清单 |
|
|
51
|
-
| BLINDSPOT | 停止猜测,指出缺失的条件维度 | 判定单 + 缺失维度 + 关注信号 |
|
|
52
|
-
|
|
53
|
-
## 四、边界声明
|
|
54
|
-
|
|
55
|
-
1. **不代替验证**:本裁决判断的是「有没有资格执行」,不是「执行结果对不对」。事实裁决归验证单元与 `mdcg_verify`。
|
|
56
|
-
2. **不代替概率**:相似度产生候选是合法的,只是不能单独授予资格。
|
|
57
|
-
3. **四态判定不交给 LLM 独自完成**:持续跟踪判断进程的成本是导航税(行 2983-2985),条件判断应外部化到确定性机制。
|
|
58
|
-
4. **判定必须可核查**:每条裁决须给出条件证据;无法给出即降级为 DEFER 或 BLINDSPOT。
|
|
59
|
-
5. **不硬答盲区**:BLINDSPOT 是合法结论,不是失败。
|
|
60
|
-
|
|
61
|
-
## 五、与 md_cg 的对应
|
|
62
|
-
|
|
63
|
-
| 能力 | 工具 | 说明 |
|
|
64
|
-
|------|------|------|
|
|
65
|
-
| 四态检索 | `mdcg_search` | 返回 score/state/tier;T0–T3 阶梯 |
|
|
66
|
-
| 验证裁决 | `mdcg_verify` | `verdict=confirmed|weakened|falsified`;falsified 移入 rejected/ 负记忆 |
|
|
67
|
-
| 遗忘裁决 | `mdcg_forgetting_history` | ACCEPT/MERGE/DROP/DEFER 四态及三问判据(重复度/重要度/自信息代理),可审计「为什么没被记住」 |
|
|
68
|
-
| 元认知自检 | `mdcg_metacognition` | `action=self_check`——回答前自检:该直接答还是先补条件 |
|
|
69
|
-
| 自信校准 | `mdcg_metacognition` | `action=calibration`——期望正确率 vs 实际验证通过率,识别过度自信/过度保守 |
|
|
70
|
-
| 负记忆 | `mdcg_rejected` | 读取已拒绝候选,供负路由复用 |
|
|
71
|
-
|
|
72
|
-
写操作(`verify`)只输出建议参数,由 agent 经 MCP 显式发起。
|
|
1
|
+
# 04 资格裁决:四态判定规则与边界
|
|
2
|
+
|
|
3
|
+
> 来源:《智能论3.4.md》6章.2、第三章 3.1–3.4、第〇章。行号为 v3.4 原文行号。
|
|
4
|
+
|
|
5
|
+
## 一、条款锚点
|
|
6
|
+
|
|
7
|
+
| 条款 | 行号 | 原文关键句 |
|
|
8
|
+
|------|------|-----------|
|
|
9
|
+
| 第〇章 白箱三问 | 2582-2594 | 「系统的每个回答都能回答三个问题——① **依据什么**(锚定:引用了哪条知识);② **在什么条件下成立**(条件空间:E1 小学层级成立 ≠ E5 前沿成立);③ **错了怎么办**(验证闭环:失败被记录、被学习、被修正)。」白箱三问对应协议结构:依据什么 ↔ 锚定层;条件成立 ↔ 条件空间;错了怎么办 ↔ 验证单元+反思协议。 |
|
|
10
|
+
| 第〇章 白箱 ≠ 不用大模型 | 2588-2590 | 「白箱 = 给模型套一层可审计的骨架——知识库负责「知道什么」,验证单元负责「凭什么信」,反思协议负责「怎么改自己」。大模型退居为**假设生成器**(它提出假设,物理基底裁决)。」 |
|
|
11
|
+
| 6章.2 资格判断 | 2929-2930 | 「面对输入时,首先判断的不是「哪个答案最像」,而是**「当前条件是否足以支持执行」**」。 |
|
|
12
|
+
| 6章.2 四态表 | 2932-2937 | ACCEPT=条件充分,获得执行资格;REJECT=存在足以证明「不适用」的条件冲突;DEFER=候选存在但区分条件未定,继续递归;BLINDSPOT=无法建立判断路径,停止猜测。 |
|
|
13
|
+
| 6章.2 负路由 | 2939-2943 | 「条件路由的关键不只在「命中什么」,更在**「拒绝什么」**——能力级不适用条件是负路由的核心:候选关键词很像,但实际能力不同(如「BFS」vs「DFS」的邻域任务),必须靠**能力级不适用条件**拒绝。」 |
|
|
14
|
+
| 6章.2 资格来源 | 2957-2970 | 「**候选不是被「选掉」,而是被「证明」**」;「相似度可以产生候选,但不能单独授予执行资格——**资格由条件证据裁决,不由相似度裁决**」。 |
|
|
15
|
+
| 6章.2 三层分工 | 2987-2996 | 概率=可能是什么(产生候选);条件=能不能做(决定资格);验证=做得对不对(外部基底裁决事实)。「白箱拒绝的是让概率相似度**直接代替**资格判断」。 |
|
|
16
|
+
| 3.1 四维定义 | 2809-2818 | 观测位置 / 观测工具 / 时间窗口 / 存在约束。 |
|
|
17
|
+
| 3.2 声明格式 | 2820-2832 | `space_id` / `observation_position` / `observation_tool` / `time_window` / `existence_constraint` / `validity_range` / `transition_rules`。 |
|
|
18
|
+
| 3.3 切换流程 | 2834-2869 | 触发(D_norm > 0.5 / P_trust < 0.7 / 用户指令)→ 声明生成 → 验证单元复核 → 执行 → 复核(D_norm < 0.3 成功)→ 记录到结构层(不可遗忘)。 |
|
|
19
|
+
| 3.4 识别卡 | 2871-2889 | 13 字段标准接口:编号/名称/层级/内嵌观测位/默认存在预设/不可约起点/有效观测方式/时间与因果结构/识别的条件边界/自洽性评估/可映射到的协议概念/已知边界/交互标签(推荐/稳定/易碎/边界)。 |
|
|
20
|
+
| 3.5 非符号边界 | 2891-2901 | 非符号条件空间仅作为边界条件声明,不在当前操作范围内——即「承认边界,但不越界操作」。 |
|
|
21
|
+
|
|
22
|
+
## 二、判定顺序(固定)
|
|
23
|
+
|
|
24
|
+
先拒绝,后接受。顺序不可颠倒:
|
|
25
|
+
|
|
26
|
+
```
|
|
27
|
+
候选 C
|
|
28
|
+
│
|
|
29
|
+
├─ ① 存在足以证明「不适用」的条件冲突? → REJECT
|
|
30
|
+
│ 判据:能力级不适用条件命中(关键词像但能力不同)
|
|
31
|
+
│
|
|
32
|
+
├─ ② 无法建立判断路径? → BLINDSPOT
|
|
33
|
+
│ 判据:从未编码的知识域 / 无任何可用条件链
|
|
34
|
+
│
|
|
35
|
+
├─ ③ 候选存在但区分条件未定? → DEFER
|
|
36
|
+
│ 判据:多个候选均可能,缺可区分的条件
|
|
37
|
+
│
|
|
38
|
+
└─ ④ 条件充分,获得执行资格 → ACCEPT
|
|
39
|
+
判据:条件匹配 + 知识存在 + 白箱三问均可回答
|
|
40
|
+
```
|
|
41
|
+
|
|
42
|
+
**为什么 REJECT 在 BLINDSPOT 之前**:负路由是结构性能力(行 2954-2955)。能证明「不适用」时,不必进入盲区判断——拒绝比猜测更省导航税。
|
|
43
|
+
|
|
44
|
+
## 三、每态的动作与产出
|
|
45
|
+
|
|
46
|
+
| 状态 | 动作 | 产出 |
|
|
47
|
+
|------|------|------|
|
|
48
|
+
| ACCEPT | 交给操作层执行 | 判定单 + 执行建议(不代执行) |
|
|
49
|
+
| REJECT | 指出冲突的不适用条件 | 判定单 + 负路由依据 |
|
|
50
|
+
| DEFER | 列出缺失的区分条件,继续递归补条件 | 判定单 + 待补条件清单 |
|
|
51
|
+
| BLINDSPOT | 停止猜测,指出缺失的条件维度 | 判定单 + 缺失维度 + 关注信号 |
|
|
52
|
+
|
|
53
|
+
## 四、边界声明
|
|
54
|
+
|
|
55
|
+
1. **不代替验证**:本裁决判断的是「有没有资格执行」,不是「执行结果对不对」。事实裁决归验证单元与 `mdcg_verify`。
|
|
56
|
+
2. **不代替概率**:相似度产生候选是合法的,只是不能单独授予资格。
|
|
57
|
+
3. **四态判定不交给 LLM 独自完成**:持续跟踪判断进程的成本是导航税(行 2983-2985),条件判断应外部化到确定性机制。
|
|
58
|
+
4. **判定必须可核查**:每条裁决须给出条件证据;无法给出即降级为 DEFER 或 BLINDSPOT。
|
|
59
|
+
5. **不硬答盲区**:BLINDSPOT 是合法结论,不是失败。
|
|
60
|
+
|
|
61
|
+
## 五、与 md_cg 的对应
|
|
62
|
+
|
|
63
|
+
| 能力 | 工具 | 说明 |
|
|
64
|
+
|------|------|------|
|
|
65
|
+
| 四态检索 | `mdcg_search` | 返回 score/state/tier;T0–T3 阶梯 |
|
|
66
|
+
| 验证裁决 | `mdcg_verify` | `verdict=confirmed|weakened|falsified`;falsified 移入 rejected/ 负记忆 |
|
|
67
|
+
| 遗忘裁决 | `mdcg_forgetting_history` | ACCEPT/MERGE/DROP/DEFER 四态及三问判据(重复度/重要度/自信息代理),可审计「为什么没被记住」 |
|
|
68
|
+
| 元认知自检 | `mdcg_metacognition` | `action=self_check`——回答前自检:该直接答还是先补条件 |
|
|
69
|
+
| 自信校准 | `mdcg_metacognition` | `action=calibration`——期望正确率 vs 实际验证通过率,识别过度自信/过度保守 |
|
|
70
|
+
| 负记忆 | `mdcg_rejected` | 读取已拒绝候选,供负路由复用 |
|
|
71
|
+
|
|
72
|
+
写操作(`verify`)只输出建议参数,由 agent 经 MCP 显式发起。
|
|
@@ -1,74 +1,74 @@
|
|
|
1
|
-
# 05 条件层归因:三方失配与蒸馏
|
|
2
|
-
|
|
3
|
-
> 来源:《智能论3.4.md》附录22.3、第一章 1.1.1、第〇章学习闭环、6章.2 知识飞轮。行号为 v3.4 原文行号。
|
|
4
|
-
|
|
5
|
-
## 一、条款锚点
|
|
6
|
-
|
|
7
|
-
| 条款 | 行号 | 原文关键句 |
|
|
8
|
-
|------|------|-----------|
|
|
9
|
-
| 第〇章 学习闭环 | 2599-2609 | 「预测 → 执行 → 得到结果 → 发现预测误差 → 检查遗漏条件 → 形成候选新规则 → 验证 → 通过则固化 → 不通过则继续寻找或标记待验证」;「**误差不是简单改答案,而是寻找遗漏条件**」。 |
|
|
10
|
-
| 第〇章 认知即条件路由 | 2611-2612 | 「识别条件→路由知识→执行→验证→更新,每一层都走条件路由图的四态判定与条件链——认知自身的运行就是条件路由。」 |
|
|
11
|
-
| 1.1.1 蒸馏机制 | 2621-2628 | 「失败 → 根因(条件层)→ 可复用纪律(带适用条件)→ 注入 → 不再犯。」「失败不是 bug 是知识线索——从失败家族蒸馏纪律(条件声明),让同类失败不再发生。」工程实证:374 失败 → 7 家族 → 3 根因 → 6+2 条纪律。 |
|
|
12
|
-
| 6章.2 知识飞轮 | 2998-3001 | 执行结果与预期不符时,预测误差首先被作为「当前条件描述可能不完整」的信号 → 寻找能解释误差的新增条件 → 用验证基底检验 → 成立则纳入知识结构。 |
|
|
13
|
-
| 附录22.3 归因层级 | 5199 | 行为层(症状:只读不写)→ 条件层(根因:观测位置未知→搜索对抗)。 |
|
|
14
|
-
| 附录22.3 三方条件空间 | 5200 | **任务真实条件 / 模型感知条件 / 机制声明条件——失败 = 三方失配**。 |
|
|
15
|
-
| 附录22.3 五失配维度 | 5201 | **观测位置 / 观测工具 / 时间窗口 / 存在约束 / 条件边界**。 |
|
|
16
|
-
| 附录22.3 证据自证 | 5202-5203 | 「证据自证:输出断言失败详情(事实)而非警告怀疑」;「无条件规则=读而不应用;带条件规则=模型能判断触发时机(条件空间即触发时机)」。 |
|
|
17
|
-
| 附录22.2 注入极性 | 5192-5195 | 「注入有效性 = 1/所需认知判断量:**事实(免判断)> 无条件行动(免判断)> 条件规则(要判断=模型最缺的能力→失败)**」;「警告 = 疑心来源;**证据 = 自证**」。 |
|
|
18
|
-
| 附录22.1 认知外部化 | 5183-5186 | 状态跟踪与条件判断外部化(外部计数/词表路由——模型零判断);机制补结构型任务/模型补内容理解型任务——互补非替代。 |
|
|
19
|
-
|
|
20
|
-
## 二、三方条件空间
|
|
21
|
-
|
|
22
|
-
失败 = 三方失配。归因时分别声明三者,再定位差异:
|
|
23
|
-
|
|
24
|
-
| 条件空间 | 含义 | 来源 |
|
|
25
|
-
|---------|------|------|
|
|
26
|
-
| 任务真实条件 | 任务本身实际要求的条件 | 任务定义、验证基底 |
|
|
27
|
-
| 模型感知条件 | 模型在决策时以为的条件 | 提示/上下文中的声明 |
|
|
28
|
-
| 机制声明条件 | 机制(工具/脚本/流程)对外声明的条件 | 工具契约、SKILL.md 的 when |
|
|
29
|
-
|
|
30
|
-
**归因顺序**:先固定「任务真实条件」为基准 → 对比「机制声明条件」是否覆盖 → 再对比「模型感知条件」是否对齐 → 三者差异即为失配点。
|
|
31
|
-
|
|
32
|
-
## 三、五失配维度(定位到具体维度)
|
|
33
|
-
|
|
34
|
-
| 维度 | 失配表现 | 典型症状 |
|
|
35
|
-
|------|---------|---------|
|
|
36
|
-
| 观测位置 | 谁在观测/从哪个尺度观测未对齐 | 用操作层视角回答全局问题 |
|
|
37
|
-
| 观测工具 | 测量方法不一致 | 用相似度代替条件证据 |
|
|
38
|
-
| 时间窗口 | 观测范围/迭代周期错位 | 用过期快照回答当前状态 |
|
|
39
|
-
| 存在约束 | 物理-信息层允许范围被忽略 | 违反锚点层公理或资源约束 |
|
|
40
|
-
| 条件边界 | 适用极限未被承认 | 跨条件空间直接迁移结论 |
|
|
41
|
-
|
|
42
|
-
## 四、蒸馏流程(失败资产化)
|
|
43
|
-
|
|
44
|
-
```
|
|
45
|
-
失败集合
|
|
46
|
-
│
|
|
47
|
-
├─ ① 聚类:按失败家族聚合(同因不同形)
|
|
48
|
-
│
|
|
49
|
-
├─ ② 定位根因:归到条件层,落到五失配维度之一
|
|
50
|
-
│
|
|
51
|
-
├─ ③ 形成纪律:一句话规律 + 适用条件(带 when,不是无条件规则)
|
|
52
|
-
│
|
|
53
|
-
├─ ④ 验证:用验证基底检验该纪律能否稳定解释误差
|
|
54
|
-
│
|
|
55
|
-
└─ ⑤ 注入:写进知识结构(下次自动走另一条路径);不通过则标记待验证
|
|
56
|
-
```
|
|
57
|
-
|
|
58
|
-
**纪律必须带适用条件**:无条件规则=读而不应用;带条件规则=能判断触发时机(附录22.3)。
|
|
59
|
-
|
|
60
|
-
**注入极性**:把纪律写成「事实/无条件行动」优先,避免写成需要模型自行判断的模糊条件规则(附录22.2)。
|
|
61
|
-
|
|
62
|
-
## 五、与 md_cg 的对应
|
|
63
|
-
|
|
64
|
-
| 能力 | 工具 | action | 参数要点 |
|
|
65
|
-
|------|------|--------|---------|
|
|
66
|
-
| 误差转 unresolved | `mdcg_flywheel` | — | `error_report={query, expected_state, actual_state, missing}`;把一次误差转为 unresolved 条目,驱动补条件 |
|
|
67
|
-
| 演化账本 | `mdcg_evolution` | `record` | `rule`(一句话认知规律)/ `missing`(补的是哪一维缺失条件)/ `change` / `kind`(`condition_gap`|`layer_shift`|`general`)/ `evidence` / `source`(`consolidate`|`verify`|`manual`) |
|
|
68
|
-
| 规律沉淀 | `mdcg_evolution` | `patterns` | 读取已沉淀的认知规律 + 状态(confidence/layer/importance/负条件/验证基底) |
|
|
69
|
-
| 回滚 | `mdcg_evolution` | `rollback` | 支持 `dry_run` 预演;撤销本身也记条目(不可静默) |
|
|
70
|
-
| 未解问题 | `mdcg_unresolved` | — | 读取待补条件条目 |
|
|
71
|
-
| 元认知自检 | `mdcg_metacognition` | `self_check` | 回答前自检:该直接答还是先补条件 |
|
|
72
|
-
| 盲区地图 | `mdcg_metacognition` | `blindspots` | 反复 BLINDSPOT 的查询邻域 + 未解问题 |
|
|
73
|
-
|
|
74
|
-
**记账纪律**:每一次修改 = 对一条缺失条件的补充(`mdcg_evolution` 的账本语义)。实现细节属于 git,账本只记认知规律与状态。
|
|
1
|
+
# 05 条件层归因:三方失配与蒸馏
|
|
2
|
+
|
|
3
|
+
> 来源:《智能论3.4.md》附录22.3、第一章 1.1.1、第〇章学习闭环、6章.2 知识飞轮。行号为 v3.4 原文行号。
|
|
4
|
+
|
|
5
|
+
## 一、条款锚点
|
|
6
|
+
|
|
7
|
+
| 条款 | 行号 | 原文关键句 |
|
|
8
|
+
|------|------|-----------|
|
|
9
|
+
| 第〇章 学习闭环 | 2599-2609 | 「预测 → 执行 → 得到结果 → 发现预测误差 → 检查遗漏条件 → 形成候选新规则 → 验证 → 通过则固化 → 不通过则继续寻找或标记待验证」;「**误差不是简单改答案,而是寻找遗漏条件**」。 |
|
|
10
|
+
| 第〇章 认知即条件路由 | 2611-2612 | 「识别条件→路由知识→执行→验证→更新,每一层都走条件路由图的四态判定与条件链——认知自身的运行就是条件路由。」 |
|
|
11
|
+
| 1.1.1 蒸馏机制 | 2621-2628 | 「失败 → 根因(条件层)→ 可复用纪律(带适用条件)→ 注入 → 不再犯。」「失败不是 bug 是知识线索——从失败家族蒸馏纪律(条件声明),让同类失败不再发生。」工程实证:374 失败 → 7 家族 → 3 根因 → 6+2 条纪律。 |
|
|
12
|
+
| 6章.2 知识飞轮 | 2998-3001 | 执行结果与预期不符时,预测误差首先被作为「当前条件描述可能不完整」的信号 → 寻找能解释误差的新增条件 → 用验证基底检验 → 成立则纳入知识结构。 |
|
|
13
|
+
| 附录22.3 归因层级 | 5199 | 行为层(症状:只读不写)→ 条件层(根因:观测位置未知→搜索对抗)。 |
|
|
14
|
+
| 附录22.3 三方条件空间 | 5200 | **任务真实条件 / 模型感知条件 / 机制声明条件——失败 = 三方失配**。 |
|
|
15
|
+
| 附录22.3 五失配维度 | 5201 | **观测位置 / 观测工具 / 时间窗口 / 存在约束 / 条件边界**。 |
|
|
16
|
+
| 附录22.3 证据自证 | 5202-5203 | 「证据自证:输出断言失败详情(事实)而非警告怀疑」;「无条件规则=读而不应用;带条件规则=模型能判断触发时机(条件空间即触发时机)」。 |
|
|
17
|
+
| 附录22.2 注入极性 | 5192-5195 | 「注入有效性 = 1/所需认知判断量:**事实(免判断)> 无条件行动(免判断)> 条件规则(要判断=模型最缺的能力→失败)**」;「警告 = 疑心来源;**证据 = 自证**」。 |
|
|
18
|
+
| 附录22.1 认知外部化 | 5183-5186 | 状态跟踪与条件判断外部化(外部计数/词表路由——模型零判断);机制补结构型任务/模型补内容理解型任务——互补非替代。 |
|
|
19
|
+
|
|
20
|
+
## 二、三方条件空间
|
|
21
|
+
|
|
22
|
+
失败 = 三方失配。归因时分别声明三者,再定位差异:
|
|
23
|
+
|
|
24
|
+
| 条件空间 | 含义 | 来源 |
|
|
25
|
+
|---------|------|------|
|
|
26
|
+
| 任务真实条件 | 任务本身实际要求的条件 | 任务定义、验证基底 |
|
|
27
|
+
| 模型感知条件 | 模型在决策时以为的条件 | 提示/上下文中的声明 |
|
|
28
|
+
| 机制声明条件 | 机制(工具/脚本/流程)对外声明的条件 | 工具契约、SKILL.md 的 when |
|
|
29
|
+
|
|
30
|
+
**归因顺序**:先固定「任务真实条件」为基准 → 对比「机制声明条件」是否覆盖 → 再对比「模型感知条件」是否对齐 → 三者差异即为失配点。
|
|
31
|
+
|
|
32
|
+
## 三、五失配维度(定位到具体维度)
|
|
33
|
+
|
|
34
|
+
| 维度 | 失配表现 | 典型症状 |
|
|
35
|
+
|------|---------|---------|
|
|
36
|
+
| 观测位置 | 谁在观测/从哪个尺度观测未对齐 | 用操作层视角回答全局问题 |
|
|
37
|
+
| 观测工具 | 测量方法不一致 | 用相似度代替条件证据 |
|
|
38
|
+
| 时间窗口 | 观测范围/迭代周期错位 | 用过期快照回答当前状态 |
|
|
39
|
+
| 存在约束 | 物理-信息层允许范围被忽略 | 违反锚点层公理或资源约束 |
|
|
40
|
+
| 条件边界 | 适用极限未被承认 | 跨条件空间直接迁移结论 |
|
|
41
|
+
|
|
42
|
+
## 四、蒸馏流程(失败资产化)
|
|
43
|
+
|
|
44
|
+
```
|
|
45
|
+
失败集合
|
|
46
|
+
│
|
|
47
|
+
├─ ① 聚类:按失败家族聚合(同因不同形)
|
|
48
|
+
│
|
|
49
|
+
├─ ② 定位根因:归到条件层,落到五失配维度之一
|
|
50
|
+
│
|
|
51
|
+
├─ ③ 形成纪律:一句话规律 + 适用条件(带 when,不是无条件规则)
|
|
52
|
+
│
|
|
53
|
+
├─ ④ 验证:用验证基底检验该纪律能否稳定解释误差
|
|
54
|
+
│
|
|
55
|
+
└─ ⑤ 注入:写进知识结构(下次自动走另一条路径);不通过则标记待验证
|
|
56
|
+
```
|
|
57
|
+
|
|
58
|
+
**纪律必须带适用条件**:无条件规则=读而不应用;带条件规则=能判断触发时机(附录22.3)。
|
|
59
|
+
|
|
60
|
+
**注入极性**:把纪律写成「事实/无条件行动」优先,避免写成需要模型自行判断的模糊条件规则(附录22.2)。
|
|
61
|
+
|
|
62
|
+
## 五、与 md_cg 的对应
|
|
63
|
+
|
|
64
|
+
| 能力 | 工具 | action | 参数要点 |
|
|
65
|
+
|------|------|--------|---------|
|
|
66
|
+
| 误差转 unresolved | `mdcg_flywheel` | — | `error_report={query, expected_state, actual_state, missing}`;把一次误差转为 unresolved 条目,驱动补条件 |
|
|
67
|
+
| 演化账本 | `mdcg_evolution` | `record` | `rule`(一句话认知规律)/ `missing`(补的是哪一维缺失条件)/ `change` / `kind`(`condition_gap`|`layer_shift`|`general`)/ `evidence` / `source`(`consolidate`|`verify`|`manual`) |
|
|
68
|
+
| 规律沉淀 | `mdcg_evolution` | `patterns` | 读取已沉淀的认知规律 + 状态(confidence/layer/importance/负条件/验证基底) |
|
|
69
|
+
| 回滚 | `mdcg_evolution` | `rollback` | 支持 `dry_run` 预演;撤销本身也记条目(不可静默) |
|
|
70
|
+
| 未解问题 | `mdcg_unresolved` | — | 读取待补条件条目 |
|
|
71
|
+
| 元认知自检 | `mdcg_metacognition` | `self_check` | 回答前自检:该直接答还是先补条件 |
|
|
72
|
+
| 盲区地图 | `mdcg_metacognition` | `blindspots` | 反复 BLINDSPOT 的查询邻域 + 未解问题 |
|
|
73
|
+
|
|
74
|
+
**记账纪律**:每一次修改 = 对一条缺失条件的补充(`mdcg_evolution` 的账本语义)。实现细节属于 git,账本只记认知规律与状态。
|