@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,129 +1,129 @@
|
|
|
1
|
-
# 单线程与注意力的集中 —— 无争议理论文档 v1.0
|
|
2
|
-
|
|
3
|
-
> **来源**:命题「单线程只是注意力的集中」出自主代理与使用者的对话,其初版白箱精确化曾收录《并发必然性理论》§2。
|
|
4
|
-
> **本文不是初版的沿用**:初版经蜂巢并发五单元审查(反思单元×2 + 验证单元×3,判定见 §6),初版全部三份验证判定为 REJECT(可修订),本文按全部判定单重写。
|
|
5
|
-
> **重写原则**:每处断言要么被条件边界封住,要么弱化为状态标注的刻画;凡不能由观测或文本检查裁决的项,显式标注为建模选择,不作为断言提出。
|
|
6
|
-
|
|
7
|
-
---
|
|
8
|
-
|
|
9
|
-
## 0 边界声明(先于一切断言)
|
|
10
|
-
|
|
11
|
-
| # | 声明 | 封住的攻击 |
|
|
12
|
-
|---|---|---|
|
|
13
|
-
| B1 | 本文全部工程性断言在**计算架构/功能层**陈述;神经科学内容仅以**工作假设**身份出现并标注争议状态(见 B5),不作为已决经验结论。 | 跨层等同误读(C1/A1) |
|
|
14
|
-
| B2 | 本文**不主张**主观串行感是幻觉、不否认第一人称报告的价值,也不主张第一人称与第三人称证据有本体论等级;本文区分的是证据类型(报告 vs 测量),不是真实性等级。 | 消除主义误读(C2) |
|
|
15
|
-
| B3 | 本文对「单线程」的归因是**非排他的**:注意力带宽的序列化分配是一种充分的刻画路径,不排除其他成因并存。 | 排他命题反例(D1/V1-1) |
|
|
16
|
-
| B4 | **串行作为策略选择是正当的**。本文不主张「并发总优于串行」;收敛粒度选择是成本-收益权衡(见 §3.2)。 | 全称规范断言(B1面/V1-2) |
|
|
17
|
-
| B5 | 「神经层不存在全局单线程执行器」为**工作假设**:现有行为学证据(心理不应期、注意瞬脱等)同时表明存在任务特异的**局部串行瓶颈**。两者相容:无全局串行执行器 ≠ 无任何串行瓶颈。 | 全称否定与中央瓶颈证据的冲突(V2-1/A1) |
|
|
18
|
-
| B6 | 「注意力」「收敛带宽」「收敛位」「调度」均为**功能性术语**(见 §1),不是解剖学或生理学断言。 | 术语实体化误读(A2/D4) |
|
|
19
|
-
| B7 | 「4±1」是工作记忆组块容量的**启发式借用**,仅作量级参照,不是对任何整合带宽的直接测量;工作记忆组块容量与多对象追踪容量不是同一构念。 | 数值锚点过度声称(V2-5/6/7/D3) |
|
|
20
|
-
| B8 | 本文**不涉及**意识本质(hard problem)的任何立场;「人脑→agent」为功能性类比,不主张工程系统复制人脑机制。 | 类比外溢(V3-9) |
|
|
21
|
-
| B9 | **元条款**:凡不能由观测或文本检查裁决的断言,本文显式标注为「建模选择」,不作为断言提出。 | 不可证伪指责(B2面-D7) |
|
|
22
|
-
| B10 | 串行/并发区分是**理想型**描述;实际系统的收敛粒度可连续、可自适应、可混合。 | 二元对立误读(B2面-B2/D5) |
|
|
23
|
-
|
|
24
|
-
---
|
|
25
|
-
|
|
26
|
-
## 1 术语表(显式定义,防滑移)
|
|
27
|
-
|
|
28
|
-
**1.1 「单线程」的三义**(初版同一词三用未分界,为本版显式拆分):
|
|
29
|
-
|
|
30
|
-
| 标签 | 指称 | 层 |
|
|
31
|
-
|---|---|---|
|
|
32
|
-
| **S-单线程** | 主观报告:「我一次只做一件事」 | 报告层 |
|
|
33
|
-
| **E-单线程** | 收敛形态:收敛粒度设为整任务的执行呈现 | 架构层 |
|
|
34
|
-
| **C-单线程** | 工程约束:系统实现是否应串行 | 决策层 |
|
|
35
|
-
|
|
36
|
-
命题只在 E-义上做刻画;S-义是现象(B2),C-义是权衡(B4)。三者不得互推。
|
|
37
|
-
|
|
38
|
-
**1.2 注意力(本文用法)**:**带宽分配过程**——决定「哪个节点获得整合」的功能。该刻画不预设中心执行者,不使用日常心理语义(聚光灯、可意志控制的实体)。它是一个功能性角色描述,不是机制断言(B6/B9)。
|
|
39
|
-
|
|
40
|
-
**1.3 两个独立参数**(初版将二者折叠,为本版拆分):
|
|
41
|
-
- **收敛带宽**=容量参数(多少整合可同时发生;稀缺);
|
|
42
|
-
- **收敛粒度**=单位参数(收敛事件在任务树的哪个深度发生)。
|
|
43
|
-
粒度下沉改变收敛事件的**次数**,带宽约束收敛事件的**容量**;二者相关但不同一,任何从一方到另一方的推论必须显式给出资源账本(本文 §3 不依赖此类推论)。
|
|
44
|
-
|
|
45
|
-
**1.4 三类串行**(初版坍缩为一类,为本版三分):
|
|
46
|
-
- **基座串行**:底层展开本身串行(单执行器、单输出通道、因果依赖链);
|
|
47
|
-
- **约束串行**:由正确性/安全/资源约束导出的串行(事务串行化、速率限制);
|
|
48
|
-
- **认知伪串行**:底层可并行、任务可分解,但执行被组织为串行黑盒。
|
|
49
|
-
**本文全部刻画只针对第三类。** 前两类不在本文断言范围内。
|
|
50
|
-
|
|
51
|
-
---
|
|
52
|
-
|
|
53
|
-
## 2 核心命题(弱化形式)
|
|
54
|
-
|
|
55
|
-
**P0(命题,替代初版排他形式)**:
|
|
56
|
-
> 在本文条件空间内,E-单线程不是与并行展开对立的独立执行机制;它被定义为收敛粒度设为整任务时的序列化收敛形态,可由注意力的有限带宽序列化分配来刻画。此为功能性刻画,不穷尽 E-单线程的全部成因,不作排他性唯一因声明。
|
|
57
|
-
|
|
58
|
-
**公设 A1**(初版误标为第 1 条的推论,依判定改标公设):
|
|
59
|
-
> 本文公设:注意力承担收敛带宽分配,不承担展开计算;底层执行由并行展开过程承担。
|
|
60
|
-
> (状态:建模选择。注意参与执行控制的经验证据不与此公设冲突——「分配不承担展开」是本文的功能分工定义,非神经机制断言;见 B6/B9。)
|
|
61
|
-
|
|
62
|
-
**刻画 1(对应初版第 1 条,弱化+状态标注)**:
|
|
63
|
-
> 神经活动层面,任意时刻存在大规模并行分布式处理;「全脑单一串行执行线程」没有证据支持,但也未被排除——此为工作假设(B5)。反应选择等阶段存在任务特异的局部串行瓶颈(心理不应期、双任务干扰等现象),可产生主观串行感。主观串行感与注意/中央瓶颈类模型**相容**;「由稀缺带宽逐个锚定实现」是待检验的机制假设,不作共识断言。
|
|
64
|
-
|
|
65
|
-
**刻画 2(对应初版第 3 条,理想型化+B10)**:
|
|
66
|
-
> 给定任务树:E-单线程(串行执行)=收敛粒度设为整任务的理想型——全部展开在收敛位视角外,收敛只在根节点发生一次;并发执行=收敛粒度下沉到子任务的理想型——各分支节点各自收敛,产出到达收敛位时已是裁决单位。实际系统在两极之间连续分布(B10)。
|
|
67
|
-
|
|
68
|
-
**刻画 3(粒度术语冲突修复)**:
|
|
69
|
-
> 「多任务之间的串行」(注意力依次锚定不同任务根节点)与「单任务内部的收敛粒度」(根节点内是否黑盒一次收敛)是两个不同问题。初版第 1 条描述前者、第 3 条定义后者,二者不冲突,但必须分开陈述——本文如此陈述。
|
|
70
|
-
|
|
71
|
-
---
|
|
72
|
-
|
|
73
|
-
## 3 工程含义(条件式推论,替代初版全称断言)
|
|
74
|
-
|
|
75
|
-
**3.1 条件式推论 P1**(初版「agent 没有单线程义务」「结构性倒置,不是审慎」的修订形式):
|
|
76
|
-
> **当且仅当**满足前提集 {底层展开确实可并行 ∧ 任务可分解 ∧ 无外部串行契约(正确性/安全/实时/资源约束)} 时:把整任务实现为串行黑盒,等于把宽展开层的工作压入唯一窄收敛位,构成**结构性错配**。此时 agent 不默认承担整任务串行黑盒义务。
|
|
77
|
-
> 任一前提不满足时,本推论不适用,串行由该前提正当化。
|
|
78
|
-
|
|
79
|
-
「唯一窄收敛位」是本文模型构造的容量限制(B6/B9),其与工作记忆 4±1 的关系仅为启发式量级参照(B7),不承担论证重量。
|
|
80
|
-
|
|
81
|
-
**3.2 串行正当场景(非穷举)**:
|
|
82
|
-
1. **基座串行**:单执行器/单输出通道/强因果依赖——无并行可供分配;
|
|
83
|
-
2. **约束串行**:事务一致性、竞态避免、副作用幂等、速率与成本约束——串行由正确性导出;
|
|
84
|
-
3. **成本串行**:子任务过微,拆解与协调/合并成本超过并行收益——保持粗粒度是权衡结果而非倒置;
|
|
85
|
-
4. **耦合串行**:子任务状态强耦合不可拆——无独立子任务即无「宽展开层」可依赖。
|
|
86
|
-
|
|
87
|
-
**3.3 粒度决策规则(非规范性,B4)**:
|
|
88
|
-
> 收敛粒度下沉的收益须扣除协调与合并成本;粒度选择是逐任务的成本-收益权衡,本文不提供默认答案。
|
|
89
|
-
|
|
90
|
-
---
|
|
91
|
-
|
|
92
|
-
## 4 争议封口对照表(初版表述 → 本版处置)
|
|
93
|
-
|
|
94
|
-
| 初版表述 | 问题(判定单溯源) | 本版处置 |
|
|
95
|
-
|---|---|---|
|
|
96
|
-
| 「单线程**只是**注意力的集中」 | 排他量词把功能刻画升格为还原等同(R1-D1、R2-C1、V1-1、V3-1 全五面命中) | P0 弱化:非排他归因 + 功能性刻画(B3) |
|
|
97
|
-
| 「神经层没有单线程」 | 全称否定与中央瓶颈证据冲突、以已决语气陈述(R2-A1、V2-1、V3-5) | 刻画 1:工作假设 + 局部瓶颈相容声明(B5) |
|
|
98
|
-
| 「注意力是调度器,不是执行器」 | 二分过强:注意参与执行控制;「调度器」携带未授权蕴含(R2-A2、V2-3、V1-5、R1-D4) | 公设 A1 显式标为建模选择 + §1.2 功能性定义(B6/B9) |
|
|
99
|
-
| 「agent 没有单线程义务」「结构性倒置,不是审慎」 | 描述性前提推不出规范性结论;反例场景未封(R2-B1、V1-2、V3-2/3) | P1 条件式推论 + §3.2 正当场景清单(B4) |
|
|
100
|
-
| 「唯一窄通道(4±1 量级)」 | 工作记忆组块容量≠追踪容量;借用未授权(R1-D3、V2-5/6/7、V3-7) | 降为启发式参照,不承担论证重量(B7) |
|
|
101
|
-
| 「串行=粒度整任务;并发=粒度下沉」 | 无操作定义、二元对立(R2-B2、V3-8) | 刻画 2 理想型化 + 可观测代理量(任务树收敛深度 d 处的裁决节点数)(B10) |
|
|
102
|
-
| 「是主观报告,不是神经事实」 | 可滑向消除主义与本体等级制(R2-C2) | B2 非消除主义声明 |
|
|
103
|
-
|
|
104
|
-
---
|
|
105
|
-
|
|
106
|
-
## 5 结论
|
|
107
|
-
|
|
108
|
-
1. 初版命题的可保留内核:E-单线程可由注意力带宽的序列化分配作**功能性刻画**——该内核在全部五面审查下存活;
|
|
109
|
-
2. 初版的争议全部来自**形式强度**(排他量词、全称量词、规范跳跃、术语滑移、未声明借用),不来自内核本身——本版以条件边界与状态标注封住全部已识别争议源;
|
|
110
|
-
3. 「无需争议」的达成方式不是断言更强,而是**每个断言声明自己的条件空间与证据状态**(B9 元条款)。
|
|
111
|
-
|
|
112
|
-
---
|
|
113
|
-
|
|
114
|
-
## 6 验证留痕(蜂巢并发,v0.2 配置标准)
|
|
115
|
-
|
|
116
|
-
| 单元 | 身份 | 审查面 | 裁决 | job |
|
|
117
|
-
|---|---|---|---|---|
|
|
118
|
-
| 反思×1 | 反思者 | 概念偏差(D1-D6 假说) | 假说移交包 | h1789458016491_7320 |
|
|
119
|
-
| 反思×2 | 反思者 | 争议预测(A/B/C 三类读者) | 假说移交包 + 边界条款候选 | h1789458016570_7050 |
|
|
120
|
-
| 验证×1 | 裁决者 | 逻辑有效性 | REJECT(修订后可再审) | h1789458307647_56cc |
|
|
121
|
-
| 验证×2 | 裁决者 | 科学锚点(离线,标置信度) | REJECT(修订后可再审) | h1789458016737_4824 |
|
|
122
|
-
| 验证×3 | 裁决者 | 类比外溢与边界完备性 | REJECT(修订后可再审) | h1789458016823_7658 |
|
|
123
|
-
|
|
124
|
-
> 产出物生命周期说明(2026-09-15):五单元的原始产出中间件(R1/R2/V1-V3 文件)已按《子代理配置标准》§5.4 在结论整合后清理,回放凭证以本表 job id 为准。
|
|
125
|
-
|
|
126
|
-
**剩余未决项(诚实保留,不静默丢弃)**:
|
|
127
|
-
- 判定单产出环境均为 memory_access=degraded,未做记忆检索与联网核验;本文因此把全部经验锚点降级为状态标注引用(B5/B7/B9),使未决项不承担论证重量;
|
|
128
|
-
- 若后续联网复核 PRP / Cowan 2001 / Pylyshyn & Storm 1988 等原文,可把刻画 1 与 B7 的置信度升级;
|
|
129
|
-
- 本文 §2/§3 的修订文本接受下一轮验证单元复审(初版三 REJECT 均注明「修订后可再审」)。
|
|
1
|
+
# 单线程与注意力的集中 —— 无争议理论文档 v1.0
|
|
2
|
+
|
|
3
|
+
> **来源**:命题「单线程只是注意力的集中」出自主代理与使用者的对话,其初版白箱精确化曾收录《并发必然性理论》§2。
|
|
4
|
+
> **本文不是初版的沿用**:初版经蜂巢并发五单元审查(反思单元×2 + 验证单元×3,判定见 §6),初版全部三份验证判定为 REJECT(可修订),本文按全部判定单重写。
|
|
5
|
+
> **重写原则**:每处断言要么被条件边界封住,要么弱化为状态标注的刻画;凡不能由观测或文本检查裁决的项,显式标注为建模选择,不作为断言提出。
|
|
6
|
+
|
|
7
|
+
---
|
|
8
|
+
|
|
9
|
+
## 0 边界声明(先于一切断言)
|
|
10
|
+
|
|
11
|
+
| # | 声明 | 封住的攻击 |
|
|
12
|
+
|---|---|---|
|
|
13
|
+
| B1 | 本文全部工程性断言在**计算架构/功能层**陈述;神经科学内容仅以**工作假设**身份出现并标注争议状态(见 B5),不作为已决经验结论。 | 跨层等同误读(C1/A1) |
|
|
14
|
+
| B2 | 本文**不主张**主观串行感是幻觉、不否认第一人称报告的价值,也不主张第一人称与第三人称证据有本体论等级;本文区分的是证据类型(报告 vs 测量),不是真实性等级。 | 消除主义误读(C2) |
|
|
15
|
+
| B3 | 本文对「单线程」的归因是**非排他的**:注意力带宽的序列化分配是一种充分的刻画路径,不排除其他成因并存。 | 排他命题反例(D1/V1-1) |
|
|
16
|
+
| B4 | **串行作为策略选择是正当的**。本文不主张「并发总优于串行」;收敛粒度选择是成本-收益权衡(见 §3.2)。 | 全称规范断言(B1面/V1-2) |
|
|
17
|
+
| B5 | 「神经层不存在全局单线程执行器」为**工作假设**:现有行为学证据(心理不应期、注意瞬脱等)同时表明存在任务特异的**局部串行瓶颈**。两者相容:无全局串行执行器 ≠ 无任何串行瓶颈。 | 全称否定与中央瓶颈证据的冲突(V2-1/A1) |
|
|
18
|
+
| B6 | 「注意力」「收敛带宽」「收敛位」「调度」均为**功能性术语**(见 §1),不是解剖学或生理学断言。 | 术语实体化误读(A2/D4) |
|
|
19
|
+
| B7 | 「4±1」是工作记忆组块容量的**启发式借用**,仅作量级参照,不是对任何整合带宽的直接测量;工作记忆组块容量与多对象追踪容量不是同一构念。 | 数值锚点过度声称(V2-5/6/7/D3) |
|
|
20
|
+
| B8 | 本文**不涉及**意识本质(hard problem)的任何立场;「人脑→agent」为功能性类比,不主张工程系统复制人脑机制。 | 类比外溢(V3-9) |
|
|
21
|
+
| B9 | **元条款**:凡不能由观测或文本检查裁决的断言,本文显式标注为「建模选择」,不作为断言提出。 | 不可证伪指责(B2面-D7) |
|
|
22
|
+
| B10 | 串行/并发区分是**理想型**描述;实际系统的收敛粒度可连续、可自适应、可混合。 | 二元对立误读(B2面-B2/D5) |
|
|
23
|
+
|
|
24
|
+
---
|
|
25
|
+
|
|
26
|
+
## 1 术语表(显式定义,防滑移)
|
|
27
|
+
|
|
28
|
+
**1.1 「单线程」的三义**(初版同一词三用未分界,为本版显式拆分):
|
|
29
|
+
|
|
30
|
+
| 标签 | 指称 | 层 |
|
|
31
|
+
|---|---|---|
|
|
32
|
+
| **S-单线程** | 主观报告:「我一次只做一件事」 | 报告层 |
|
|
33
|
+
| **E-单线程** | 收敛形态:收敛粒度设为整任务的执行呈现 | 架构层 |
|
|
34
|
+
| **C-单线程** | 工程约束:系统实现是否应串行 | 决策层 |
|
|
35
|
+
|
|
36
|
+
命题只在 E-义上做刻画;S-义是现象(B2),C-义是权衡(B4)。三者不得互推。
|
|
37
|
+
|
|
38
|
+
**1.2 注意力(本文用法)**:**带宽分配过程**——决定「哪个节点获得整合」的功能。该刻画不预设中心执行者,不使用日常心理语义(聚光灯、可意志控制的实体)。它是一个功能性角色描述,不是机制断言(B6/B9)。
|
|
39
|
+
|
|
40
|
+
**1.3 两个独立参数**(初版将二者折叠,为本版拆分):
|
|
41
|
+
- **收敛带宽**=容量参数(多少整合可同时发生;稀缺);
|
|
42
|
+
- **收敛粒度**=单位参数(收敛事件在任务树的哪个深度发生)。
|
|
43
|
+
粒度下沉改变收敛事件的**次数**,带宽约束收敛事件的**容量**;二者相关但不同一,任何从一方到另一方的推论必须显式给出资源账本(本文 §3 不依赖此类推论)。
|
|
44
|
+
|
|
45
|
+
**1.4 三类串行**(初版坍缩为一类,为本版三分):
|
|
46
|
+
- **基座串行**:底层展开本身串行(单执行器、单输出通道、因果依赖链);
|
|
47
|
+
- **约束串行**:由正确性/安全/资源约束导出的串行(事务串行化、速率限制);
|
|
48
|
+
- **认知伪串行**:底层可并行、任务可分解,但执行被组织为串行黑盒。
|
|
49
|
+
**本文全部刻画只针对第三类。** 前两类不在本文断言范围内。
|
|
50
|
+
|
|
51
|
+
---
|
|
52
|
+
|
|
53
|
+
## 2 核心命题(弱化形式)
|
|
54
|
+
|
|
55
|
+
**P0(命题,替代初版排他形式)**:
|
|
56
|
+
> 在本文条件空间内,E-单线程不是与并行展开对立的独立执行机制;它被定义为收敛粒度设为整任务时的序列化收敛形态,可由注意力的有限带宽序列化分配来刻画。此为功能性刻画,不穷尽 E-单线程的全部成因,不作排他性唯一因声明。
|
|
57
|
+
|
|
58
|
+
**公设 A1**(初版误标为第 1 条的推论,依判定改标公设):
|
|
59
|
+
> 本文公设:注意力承担收敛带宽分配,不承担展开计算;底层执行由并行展开过程承担。
|
|
60
|
+
> (状态:建模选择。注意参与执行控制的经验证据不与此公设冲突——「分配不承担展开」是本文的功能分工定义,非神经机制断言;见 B6/B9。)
|
|
61
|
+
|
|
62
|
+
**刻画 1(对应初版第 1 条,弱化+状态标注)**:
|
|
63
|
+
> 神经活动层面,任意时刻存在大规模并行分布式处理;「全脑单一串行执行线程」没有证据支持,但也未被排除——此为工作假设(B5)。反应选择等阶段存在任务特异的局部串行瓶颈(心理不应期、双任务干扰等现象),可产生主观串行感。主观串行感与注意/中央瓶颈类模型**相容**;「由稀缺带宽逐个锚定实现」是待检验的机制假设,不作共识断言。
|
|
64
|
+
|
|
65
|
+
**刻画 2(对应初版第 3 条,理想型化+B10)**:
|
|
66
|
+
> 给定任务树:E-单线程(串行执行)=收敛粒度设为整任务的理想型——全部展开在收敛位视角外,收敛只在根节点发生一次;并发执行=收敛粒度下沉到子任务的理想型——各分支节点各自收敛,产出到达收敛位时已是裁决单位。实际系统在两极之间连续分布(B10)。
|
|
67
|
+
|
|
68
|
+
**刻画 3(粒度术语冲突修复)**:
|
|
69
|
+
> 「多任务之间的串行」(注意力依次锚定不同任务根节点)与「单任务内部的收敛粒度」(根节点内是否黑盒一次收敛)是两个不同问题。初版第 1 条描述前者、第 3 条定义后者,二者不冲突,但必须分开陈述——本文如此陈述。
|
|
70
|
+
|
|
71
|
+
---
|
|
72
|
+
|
|
73
|
+
## 3 工程含义(条件式推论,替代初版全称断言)
|
|
74
|
+
|
|
75
|
+
**3.1 条件式推论 P1**(初版「agent 没有单线程义务」「结构性倒置,不是审慎」的修订形式):
|
|
76
|
+
> **当且仅当**满足前提集 {底层展开确实可并行 ∧ 任务可分解 ∧ 无外部串行契约(正确性/安全/实时/资源约束)} 时:把整任务实现为串行黑盒,等于把宽展开层的工作压入唯一窄收敛位,构成**结构性错配**。此时 agent 不默认承担整任务串行黑盒义务。
|
|
77
|
+
> 任一前提不满足时,本推论不适用,串行由该前提正当化。
|
|
78
|
+
|
|
79
|
+
「唯一窄收敛位」是本文模型构造的容量限制(B6/B9),其与工作记忆 4±1 的关系仅为启发式量级参照(B7),不承担论证重量。
|
|
80
|
+
|
|
81
|
+
**3.2 串行正当场景(非穷举)**:
|
|
82
|
+
1. **基座串行**:单执行器/单输出通道/强因果依赖——无并行可供分配;
|
|
83
|
+
2. **约束串行**:事务一致性、竞态避免、副作用幂等、速率与成本约束——串行由正确性导出;
|
|
84
|
+
3. **成本串行**:子任务过微,拆解与协调/合并成本超过并行收益——保持粗粒度是权衡结果而非倒置;
|
|
85
|
+
4. **耦合串行**:子任务状态强耦合不可拆——无独立子任务即无「宽展开层」可依赖。
|
|
86
|
+
|
|
87
|
+
**3.3 粒度决策规则(非规范性,B4)**:
|
|
88
|
+
> 收敛粒度下沉的收益须扣除协调与合并成本;粒度选择是逐任务的成本-收益权衡,本文不提供默认答案。
|
|
89
|
+
|
|
90
|
+
---
|
|
91
|
+
|
|
92
|
+
## 4 争议封口对照表(初版表述 → 本版处置)
|
|
93
|
+
|
|
94
|
+
| 初版表述 | 问题(判定单溯源) | 本版处置 |
|
|
95
|
+
|---|---|---|
|
|
96
|
+
| 「单线程**只是**注意力的集中」 | 排他量词把功能刻画升格为还原等同(R1-D1、R2-C1、V1-1、V3-1 全五面命中) | P0 弱化:非排他归因 + 功能性刻画(B3) |
|
|
97
|
+
| 「神经层没有单线程」 | 全称否定与中央瓶颈证据冲突、以已决语气陈述(R2-A1、V2-1、V3-5) | 刻画 1:工作假设 + 局部瓶颈相容声明(B5) |
|
|
98
|
+
| 「注意力是调度器,不是执行器」 | 二分过强:注意参与执行控制;「调度器」携带未授权蕴含(R2-A2、V2-3、V1-5、R1-D4) | 公设 A1 显式标为建模选择 + §1.2 功能性定义(B6/B9) |
|
|
99
|
+
| 「agent 没有单线程义务」「结构性倒置,不是审慎」 | 描述性前提推不出规范性结论;反例场景未封(R2-B1、V1-2、V3-2/3) | P1 条件式推论 + §3.2 正当场景清单(B4) |
|
|
100
|
+
| 「唯一窄通道(4±1 量级)」 | 工作记忆组块容量≠追踪容量;借用未授权(R1-D3、V2-5/6/7、V3-7) | 降为启发式参照,不承担论证重量(B7) |
|
|
101
|
+
| 「串行=粒度整任务;并发=粒度下沉」 | 无操作定义、二元对立(R2-B2、V3-8) | 刻画 2 理想型化 + 可观测代理量(任务树收敛深度 d 处的裁决节点数)(B10) |
|
|
102
|
+
| 「是主观报告,不是神经事实」 | 可滑向消除主义与本体等级制(R2-C2) | B2 非消除主义声明 |
|
|
103
|
+
|
|
104
|
+
---
|
|
105
|
+
|
|
106
|
+
## 5 结论
|
|
107
|
+
|
|
108
|
+
1. 初版命题的可保留内核:E-单线程可由注意力带宽的序列化分配作**功能性刻画**——该内核在全部五面审查下存活;
|
|
109
|
+
2. 初版的争议全部来自**形式强度**(排他量词、全称量词、规范跳跃、术语滑移、未声明借用),不来自内核本身——本版以条件边界与状态标注封住全部已识别争议源;
|
|
110
|
+
3. 「无需争议」的达成方式不是断言更强,而是**每个断言声明自己的条件空间与证据状态**(B9 元条款)。
|
|
111
|
+
|
|
112
|
+
---
|
|
113
|
+
|
|
114
|
+
## 6 验证留痕(蜂巢并发,v0.2 配置标准)
|
|
115
|
+
|
|
116
|
+
| 单元 | 身份 | 审查面 | 裁决 | job |
|
|
117
|
+
|---|---|---|---|---|
|
|
118
|
+
| 反思×1 | 反思者 | 概念偏差(D1-D6 假说) | 假说移交包 | h1789458016491_7320 |
|
|
119
|
+
| 反思×2 | 反思者 | 争议预测(A/B/C 三类读者) | 假说移交包 + 边界条款候选 | h1789458016570_7050 |
|
|
120
|
+
| 验证×1 | 裁决者 | 逻辑有效性 | REJECT(修订后可再审) | h1789458307647_56cc |
|
|
121
|
+
| 验证×2 | 裁决者 | 科学锚点(离线,标置信度) | REJECT(修订后可再审) | h1789458016737_4824 |
|
|
122
|
+
| 验证×3 | 裁决者 | 类比外溢与边界完备性 | REJECT(修订后可再审) | h1789458016823_7658 |
|
|
123
|
+
|
|
124
|
+
> 产出物生命周期说明(2026-09-15):五单元的原始产出中间件(R1/R2/V1-V3 文件)已按《子代理配置标准》§5.4 在结论整合后清理,回放凭证以本表 job id 为准。
|
|
125
|
+
|
|
126
|
+
**剩余未决项(诚实保留,不静默丢弃)**:
|
|
127
|
+
- 判定单产出环境均为 memory_access=degraded,未做记忆检索与联网核验;本文因此把全部经验锚点降级为状态标注引用(B5/B7/B9),使未决项不承担论证重量;
|
|
128
|
+
- 若后续联网复核 PRP / Cowan 2001 / Pylyshyn & Storm 1988 等原文,可把刻画 1 与 B7 的置信度升级;
|
|
129
|
+
- 本文 §2/§3 的修订文本接受下一轮验证单元复审(初版三 REJECT 均注明「修订后可再审」)。
|
|
@@ -1,134 +1,134 @@
|
|
|
1
|
-
# 并发必然性理论:收敛带宽刚性定理 v0.2
|
|
2
|
-
|
|
3
|
-
> **版本**:v0.2 | 2026-09-15 | 状态:条件论地基重构稿(蜂巢并发验证未执行,见 §7)
|
|
4
|
-
> **体系定位**:三份核心文档之**理论层**——《并发必然性理论》(本文)→《认知代理与收敛结构》(架构层)→《子代理配置标准》(工程层)。三份体系由使用者裁定收敛(2026-09-15);其余理论文档(单线程与注意力 v1.0、GridWorld 规格、概念分层对齐表、蜂群同错检测协议)为补充资料。
|
|
5
|
-
> **v0.2 变更**:依据使用者裁定,**地基从神经科学事实(v0.1 的 F1/F2)迁移到条件论与信息差**(真源=《白箱智能是什么?》系列四篇,下文以 ①②③④ 加节号引用)。定理 T 的形式化与工程面保留并重述;推论 T2 按「任务分解前提删除」修正;神经科学内容降为附录 A,不承担论证重量。
|
|
6
|
-
> **架构层承接**:公设的完整展开、认知代理定义、收敛结构见《认知代理与收敛结构_条件论重构_v0.1.md》(下称「架构层文档」);本文不重复其内容,只立理论判据。
|
|
7
|
-
|
|
8
|
-
---
|
|
9
|
-
|
|
10
|
-
## 0 核心主张(一页版)
|
|
11
|
-
|
|
12
|
-
**定理 T(收敛带宽刚性,条件论重述)**:认知系统的扩展只能发生在展开侧。单收敛位的调用带宽存在刚性上界(④快照三问之三:未被调用的信息等于这次不存在),而展开侧(条件投影)近乎无限可扩;当任务的信息流宽度超过单收敛位的调用带宽时,把整任务压入单一收敛位会使信息差按 R>C 推论扩大(④二),收敛粒度下沉是把**容量瓶颈转换为协调成本**的结构响应。
|
|
13
|
-
|
|
14
|
-
- **推论 T1(串行=收敛粒度选择)**:串行不是执行的本性,是收敛粒度的选择——把整个任务当作单个收敛事件(E-单线程)。
|
|
15
|
-
- **推论 T2(投影收敛开放,修正 v0.1 的「并发默认」)**:任何认知任务默认允许多条件投影独立收敛(公设 P2——「可分」不依赖「可分解」);**串行是需要给出理由的例外**。但允许 ≠ 必优:投影间盲区同构时多代理退化为重复计算(架构层文档 CA-T2'),串行正当场景见 T3。
|
|
16
|
-
- **推论 T3(串行正当性条件)**:仅当子任务链存在严格数据依赖(后者需要前者的产出才能开始)时,该链内串行是唯一形态;完整正当场景四分类(基座/约束/成本/耦合串行)见架构层文档 §5.1(承接补充资料《单线程与注意力集中 v1.0》§3.2)。
|
|
17
|
-
- **推论 T4(并发不豁免收敛)**:并发扩的是展开侧;每路产出仍需收敛位裁决,裁决责任不随 worker 数量分散(工程投影:蜂巢「agent 本体只做编排」)。
|
|
18
|
-
|
|
19
|
-
**一句话**:收敛带宽刚性决定了扩展方向只能朝展开侧;但「展开侧」的单位是**条件投影**,不是「任务切块」——v0.1 的「可分解任务」前提在条件论下被删除。
|
|
20
|
-
|
|
21
|
-
---
|
|
22
|
-
|
|
23
|
-
## 1 证据基座(条件论三公设)
|
|
24
|
-
|
|
25
|
-
| # | 公设 | 内容 | 真源锚点 |
|
|
26
|
-
|---|---|---|---|
|
|
27
|
-
| P1 | 任务原子性 | 认知任务本身原子;非原子展开发生在实现层,不构成任务分解 | 架构层文档公设 P1(建模公设) |
|
|
28
|
-
| P2 | 条件投影可分性 | 同一任务可在多个相互区分的条件空间上建立独立投影(D=D(C):不同投影携带不同信息可得性) | ①一、③二;架构层公设 P2 |
|
|
29
|
-
| P3 | 收敛带宽有限性 | 单次认知的收敛带宽受调用带宽约束;多投影提高有效观测容量,不消除信息差 | ④三之「调用带宽」、④二 R>C;架构层公设 P3 |
|
|
30
|
-
|
|
31
|
-
**关键设计**:定理 T 只依赖 P2+P3(P1 用于封「子代理=任务切块」误读)。本文不需要:神经科学事实、任何意识理论、注意力机制假设——后者全部降为附录 A 启发。
|
|
32
|
-
|
|
33
|
-
---
|
|
34
|
-
|
|
35
|
-
## 2 单线程的白箱精确化(E-义)
|
|
36
|
-
|
|
37
|
-
「单线程」三义(S-主观报告 / E-收敛形态 / C-工程约束)的完整展开与防滑移边界见补充资料《单线程与注意力集中 v1.0》§1;本文只在 **E-义**上刻画:
|
|
38
|
-
|
|
39
|
-
- **E-单线程** = 收敛粒度设为「整任务」的理想型——全部展开隐藏在收敛位视角外,收敛只在根节点发生一次;
|
|
40
|
-
- **多收敛** = 收敛粒度下沉到投影层——各条件投影各自收敛,产出到达收敛位时已是裁决单位(带四态资格)。
|
|
41
|
-
|
|
42
|
-
收敛粒度(G_c)与收敛带宽(B_c)是两个独立参数:粒度改变收敛事件的**位置**,带宽约束收敛事件的**容量**;互推须显式给出资源账本。
|
|
43
|
-
|
|
44
|
-
**2.4 工程含义(条件式,替代 v0.1 的全称表述)**:当任务信息流宽度超过单收敛位调用带宽时,整任务串行黑盒=把宽展开面压入窄调用口——此时 agent 不默认承担整任务串行义务(CA-T3 判据见 §4)。前提不满足时,串行由该前提正当化,是权衡结果而非倒置。
|
|
45
|
-
|
|
46
|
-
---
|
|
47
|
-
|
|
48
|
-
## 3 理论 → 灵枢实现对照表
|
|
49
|
-
|
|
50
|
-
(v0.1 的「人脑↔灵枢」两列同构表随地基迁移降级至附录 A;本表只保留纯工程面对应,不依赖任何神经科学内容。)
|
|
51
|
-
|
|
52
|
-
| 理论概念 | 灵枢实现 | 对应关系 |
|
|
53
|
-
|---|---|---|
|
|
54
|
-
| 条件投影多路展开 | 四路并行召回(lexical/bucket/entity/graph RRF 融合) | 结构对应 |
|
|
55
|
-
| 资格由条件证据裁决,不由相似度裁决 | judge 资格裁决 / 条件路由收敛 | 结构对应 |
|
|
56
|
-
| 展开侧扩容(\|E\| 增大) | 蜂巢 worker 池(spec/result 文件协议) | 结构对应 |
|
|
57
|
-
| 收敛位唯一、责任不分散(T4) | agent 编排位 / 认知图写入广播 | 结构对应 |
|
|
58
|
-
| 预测误差→条件更新 | predict 误差驱动学习闭环 | 机制对应 |
|
|
59
|
-
|
|
60
|
-
---
|
|
61
|
-
|
|
62
|
-
## 4 定理 T 的形式化
|
|
63
|
-
|
|
64
|
-
设系统由两部分组成:
|
|
65
|
-
- **展开集 E**:可复制、可扩容的收敛单位集合(条件投影代理;蜂巢 worker);
|
|
66
|
-
- **收敛位 C**:对多路产出做更高阶收敛(裁决/融合)的单元,其单次可调用信息量受调用带宽约束 B_c(④快照三问之三)。
|
|
67
|
-
|
|
68
|
-
**命题 1(收敛瓶颈)**:若所有收敛动作都在根节点串行发生,总墙钟时间 ≥ 全部子任务数 × 单次收敛耗时;且当信息流宽度 W > B_c 时,单收敛位无法取用全部展开面,信息差按 R>C 扩大(④二)——瓶颈不仅在时间,更在信息。
|
|
69
|
-
|
|
70
|
-
**命题 2(粒度下沉)**:若各条件投影相互独立,收敛动作可下沉至各投影并行发生,根节点只做一次更高阶收敛。总墙钟时间从 Σ(各路收敛时间)降为 max(各投影收敛时间)+ 一次融合成本。
|
|
71
|
-
|
|
72
|
-
**定理 T**:当任务的信息流宽度超过单收敛位调用带宽(W > B_c)时,把收敛粒度从根下沉到投影层,在信息面上是结构响应而非偏好;且展开侧扩容(|E| 增大)可继续压缩 max 项,而收敛侧扩容不存在——调用带宽是单点观测的结构属性(④快照三问:任何单点观测都是窄的),不可靠复制消除。
|
|
73
|
-
|
|
74
|
-
**证明要点**:命题 1 由 P3(调用带宽刚性)给出信息面约束、由串行聚合给出时间面约束;命题 2 由投影独立性(P2 的建立条件)给出;合取即得。∎
|
|
75
|
-
|
|
76
|
-
**适用域**:W ≤ B_c 或存在 T3 串行契约时,本文不作下沉判断——粒度选择是逐任务的成本-收益权衡(架构层文档 CA4;补充资料单线程 v1.0 §3.3)。
|
|
77
|
-
|
|
78
|
-
---
|
|
79
|
-
|
|
80
|
-
## 5 工程落地(纪律第 17 条的理论位置)
|
|
81
|
-
|
|
82
|
-
| 纪律动作 | 理论对应 |
|
|
83
|
-
|---|---|
|
|
84
|
-
| 任务→拆 spec | 收敛粒度下沉(命题 2);**200k 上下文预算=拆解信号**(W > B_c 的工程判据,见《子代理配置标准 v0.5》§6) |
|
|
85
|
-
| spec 独立性检查 | 条件投影实质区分判定(架构层 CA-T1:四维任一不同且影响信息可得性) |
|
|
86
|
-
| `hive_spawn` 并发提交 | 展开侧扩容(\|E\| 增大) |
|
|
87
|
-
| agent 收 result 汇总裁决 | 收敛位唯一、责任不分散(T4) |
|
|
88
|
-
| 宿主自带 subagent 不是等价通道 | 展开动作必须经统一文件协议留痕(spec/status/result),否则收敛位失去裁决材料 |
|
|
89
|
-
|
|
90
|
-
---
|
|
91
|
-
|
|
92
|
-
## 6 边界声明(防外溢)
|
|
93
|
-
|
|
94
|
-
- **CA1 体系**:本文边界编号沿用架构层文档 CA1-CA6(架构/功能层陈述、建模公设不越界、认知结构并行、非排他、带宽=调用带宽表述、元条款),不另立体系。
|
|
95
|
-
- **B4 并发不豁免收敛**(=T4):多路产出使收敛位的裁决责任更重,裁决材料必须结构化(文件协议、留痕)。
|
|
96
|
-
- **B6 数字诚实**:本文不使用任何数值锚点(4±1 等已随神经科学地基降级);「W > B_c」是关系判据,W 与 B_c 均不承诺数值测量——工程代理量见《子代理配置标准》§6。
|
|
97
|
-
- **诚实边界**:本文定理是架构层结构判据,不构成「并发总优于串行」的规范断言(CA4)。
|
|
98
|
-
|
|
99
|
-
---
|
|
100
|
-
|
|
101
|
-
## 7 验证状态(诚实标注)
|
|
102
|
-
|
|
103
|
-
| 项 | 状态 |
|
|
104
|
-
|---|---|
|
|
105
|
-
| v0.1 计划的「蜂巢 4 视角并发反思验证」(逻辑攻击/科学锚点/边界攻击/自洽性) | **未执行**(v0.1 §7 为待回填空节) |
|
|
106
|
-
| v0.2 地基替换后的重新验证 | **待执行**:按架构层文档 §7 实验纲领(七测度)设计;测度 2 承接 GridWorld 规格、测度 4 承接蜂群同错检测协议 |
|
|
107
|
-
| 相关审查留痕 | 《单线程与注意力集中 v1.0》五单元审查(反思×2+验证×3,三 REJECT→重写)结论以其 §6 留痕表为准(job id 可回放);审查中间件产物(单元原始产出文件)已按《子代理配置标准》§5.4 产出物生命周期在系统整合后清理 |
|
|
108
|
-
|
|
109
|
-
---
|
|
110
|
-
|
|
111
|
-
## 8 关联文档与节点
|
|
112
|
-
|
|
113
|
-
**三份核心体系**:
|
|
114
|
-
- 架构层:《认知代理与收敛结构_条件论重构_v0.1.md》(公设展开/代理定义/收敛结构/实验纲领)
|
|
115
|
-
- 工程层:《子代理配置标准_v0.5.md》(六位角色拓扑/统一执行默认/确定性执行/spec 配置/上下文预算/工具面/理论对应节)
|
|
116
|
-
|
|
117
|
-
**补充资料**(参考源,不再承担正式理论职责):
|
|
118
|
-
- 《单线程与注意力集中_无争议理论文档_v1.0.md》(S/E/C 三义、三类串行、串行正当场景、争议封口方法)
|
|
119
|
-
- 《GridWorld最小闭环规格_v0.1.md》(实验设施:闭环机制验证)
|
|
120
|
-
- 《概念分层对齐表_v0.1.md》(五层置信概念:融合位裁决纪律的概念映射)
|
|
121
|
-
- 《蜂群同错检测实验协议_v0.1.md》(实验协议:共识≠真相验证)
|
|
122
|
-
|
|
123
|
-
**真源**:白箱智能四篇(①②③④);认知图节点 `mem_1789454083769`(树状递归/条件裁决/误差驱动/调用带宽)、`mem_1789374897301`(hive 落地与文件协议)、`mem_1789454597670`(收敛带宽定理首提)。
|
|
124
|
-
|
|
125
|
-
---
|
|
126
|
-
|
|
127
|
-
## 附录 A 神经科学启发(v0.1 证据基座的降级存档)
|
|
128
|
-
|
|
129
|
-
> **状态**:依使用者裁定(2026-09-15)降为启发引用,不承担本文任何论证重量;保留于此仅为溯源。
|
|
130
|
-
|
|
131
|
-
- **F1 大规模并行**:人脑约 860 亿神经元持续并行活动;感觉通道各自独立并行处理(Herculano-Houzel & Azevedo 等,2009)。
|
|
132
|
-
- **F2 收敛带宽有限**:工作记忆项目数约 4±1(Cowan, 2001);多对象视觉追踪上限约 4-5(Pylyshyn & Storm, 1988)。注意:工作记忆组块容量与多对象追踪容量不是同一构念(单线程 v1.0 B7)。
|
|
133
|
-
- **F3 工程同构**(保留为工程事实,非神经科学):一个会话绑定一个收敛主体;执行位(worker)可任意扩容(灵枢蜂巢 `HIVE_WORKERS` 可调)。
|
|
134
|
-
- **解释性对照**(仅启发):全局工作空间理论、预测加工框架——v0.1 §3 同构表的「人脑」列随地基迁移移除,对照关系见该表存档(git 历史 v0.1)。
|
|
1
|
+
# 并发必然性理论:收敛带宽刚性定理 v0.2
|
|
2
|
+
|
|
3
|
+
> **版本**:v0.2 | 2026-09-15 | 状态:条件论地基重构稿(蜂巢并发验证未执行,见 §7)
|
|
4
|
+
> **体系定位**:三份核心文档之**理论层**——《并发必然性理论》(本文)→《认知代理与收敛结构》(架构层)→《子代理配置标准》(工程层)。三份体系由使用者裁定收敛(2026-09-15);其余理论文档(单线程与注意力 v1.0、GridWorld 规格、概念分层对齐表、蜂群同错检测协议)为补充资料。
|
|
5
|
+
> **v0.2 变更**:依据使用者裁定,**地基从神经科学事实(v0.1 的 F1/F2)迁移到条件论与信息差**(真源=《白箱智能是什么?》系列四篇,下文以 ①②③④ 加节号引用)。定理 T 的形式化与工程面保留并重述;推论 T2 按「任务分解前提删除」修正;神经科学内容降为附录 A,不承担论证重量。
|
|
6
|
+
> **架构层承接**:公设的完整展开、认知代理定义、收敛结构见《认知代理与收敛结构_条件论重构_v0.1.md》(下称「架构层文档」);本文不重复其内容,只立理论判据。
|
|
7
|
+
|
|
8
|
+
---
|
|
9
|
+
|
|
10
|
+
## 0 核心主张(一页版)
|
|
11
|
+
|
|
12
|
+
**定理 T(收敛带宽刚性,条件论重述)**:认知系统的扩展只能发生在展开侧。单收敛位的调用带宽存在刚性上界(④快照三问之三:未被调用的信息等于这次不存在),而展开侧(条件投影)近乎无限可扩;当任务的信息流宽度超过单收敛位的调用带宽时,把整任务压入单一收敛位会使信息差按 R>C 推论扩大(④二),收敛粒度下沉是把**容量瓶颈转换为协调成本**的结构响应。
|
|
13
|
+
|
|
14
|
+
- **推论 T1(串行=收敛粒度选择)**:串行不是执行的本性,是收敛粒度的选择——把整个任务当作单个收敛事件(E-单线程)。
|
|
15
|
+
- **推论 T2(投影收敛开放,修正 v0.1 的「并发默认」)**:任何认知任务默认允许多条件投影独立收敛(公设 P2——「可分」不依赖「可分解」);**串行是需要给出理由的例外**。但允许 ≠ 必优:投影间盲区同构时多代理退化为重复计算(架构层文档 CA-T2'),串行正当场景见 T3。
|
|
16
|
+
- **推论 T3(串行正当性条件)**:仅当子任务链存在严格数据依赖(后者需要前者的产出才能开始)时,该链内串行是唯一形态;完整正当场景四分类(基座/约束/成本/耦合串行)见架构层文档 §5.1(承接补充资料《单线程与注意力集中 v1.0》§3.2)。
|
|
17
|
+
- **推论 T4(并发不豁免收敛)**:并发扩的是展开侧;每路产出仍需收敛位裁决,裁决责任不随 worker 数量分散(工程投影:蜂巢「agent 本体只做编排」)。
|
|
18
|
+
|
|
19
|
+
**一句话**:收敛带宽刚性决定了扩展方向只能朝展开侧;但「展开侧」的单位是**条件投影**,不是「任务切块」——v0.1 的「可分解任务」前提在条件论下被删除。
|
|
20
|
+
|
|
21
|
+
---
|
|
22
|
+
|
|
23
|
+
## 1 证据基座(条件论三公设)
|
|
24
|
+
|
|
25
|
+
| # | 公设 | 内容 | 真源锚点 |
|
|
26
|
+
|---|---|---|---|
|
|
27
|
+
| P1 | 任务原子性 | 认知任务本身原子;非原子展开发生在实现层,不构成任务分解 | 架构层文档公设 P1(建模公设) |
|
|
28
|
+
| P2 | 条件投影可分性 | 同一任务可在多个相互区分的条件空间上建立独立投影(D=D(C):不同投影携带不同信息可得性) | ①一、③二;架构层公设 P2 |
|
|
29
|
+
| P3 | 收敛带宽有限性 | 单次认知的收敛带宽受调用带宽约束;多投影提高有效观测容量,不消除信息差 | ④三之「调用带宽」、④二 R>C;架构层公设 P3 |
|
|
30
|
+
|
|
31
|
+
**关键设计**:定理 T 只依赖 P2+P3(P1 用于封「子代理=任务切块」误读)。本文不需要:神经科学事实、任何意识理论、注意力机制假设——后者全部降为附录 A 启发。
|
|
32
|
+
|
|
33
|
+
---
|
|
34
|
+
|
|
35
|
+
## 2 单线程的白箱精确化(E-义)
|
|
36
|
+
|
|
37
|
+
「单线程」三义(S-主观报告 / E-收敛形态 / C-工程约束)的完整展开与防滑移边界见补充资料《单线程与注意力集中 v1.0》§1;本文只在 **E-义**上刻画:
|
|
38
|
+
|
|
39
|
+
- **E-单线程** = 收敛粒度设为「整任务」的理想型——全部展开隐藏在收敛位视角外,收敛只在根节点发生一次;
|
|
40
|
+
- **多收敛** = 收敛粒度下沉到投影层——各条件投影各自收敛,产出到达收敛位时已是裁决单位(带四态资格)。
|
|
41
|
+
|
|
42
|
+
收敛粒度(G_c)与收敛带宽(B_c)是两个独立参数:粒度改变收敛事件的**位置**,带宽约束收敛事件的**容量**;互推须显式给出资源账本。
|
|
43
|
+
|
|
44
|
+
**2.4 工程含义(条件式,替代 v0.1 的全称表述)**:当任务信息流宽度超过单收敛位调用带宽时,整任务串行黑盒=把宽展开面压入窄调用口——此时 agent 不默认承担整任务串行义务(CA-T3 判据见 §4)。前提不满足时,串行由该前提正当化,是权衡结果而非倒置。
|
|
45
|
+
|
|
46
|
+
---
|
|
47
|
+
|
|
48
|
+
## 3 理论 → 灵枢实现对照表
|
|
49
|
+
|
|
50
|
+
(v0.1 的「人脑↔灵枢」两列同构表随地基迁移降级至附录 A;本表只保留纯工程面对应,不依赖任何神经科学内容。)
|
|
51
|
+
|
|
52
|
+
| 理论概念 | 灵枢实现 | 对应关系 |
|
|
53
|
+
|---|---|---|
|
|
54
|
+
| 条件投影多路展开 | 四路并行召回(lexical/bucket/entity/graph RRF 融合) | 结构对应 |
|
|
55
|
+
| 资格由条件证据裁决,不由相似度裁决 | judge 资格裁决 / 条件路由收敛 | 结构对应 |
|
|
56
|
+
| 展开侧扩容(\|E\| 增大) | 蜂巢 worker 池(spec/result 文件协议) | 结构对应 |
|
|
57
|
+
| 收敛位唯一、责任不分散(T4) | agent 编排位 / 认知图写入广播 | 结构对应 |
|
|
58
|
+
| 预测误差→条件更新 | predict 误差驱动学习闭环 | 机制对应 |
|
|
59
|
+
|
|
60
|
+
---
|
|
61
|
+
|
|
62
|
+
## 4 定理 T 的形式化
|
|
63
|
+
|
|
64
|
+
设系统由两部分组成:
|
|
65
|
+
- **展开集 E**:可复制、可扩容的收敛单位集合(条件投影代理;蜂巢 worker);
|
|
66
|
+
- **收敛位 C**:对多路产出做更高阶收敛(裁决/融合)的单元,其单次可调用信息量受调用带宽约束 B_c(④快照三问之三)。
|
|
67
|
+
|
|
68
|
+
**命题 1(收敛瓶颈)**:若所有收敛动作都在根节点串行发生,总墙钟时间 ≥ 全部子任务数 × 单次收敛耗时;且当信息流宽度 W > B_c 时,单收敛位无法取用全部展开面,信息差按 R>C 扩大(④二)——瓶颈不仅在时间,更在信息。
|
|
69
|
+
|
|
70
|
+
**命题 2(粒度下沉)**:若各条件投影相互独立,收敛动作可下沉至各投影并行发生,根节点只做一次更高阶收敛。总墙钟时间从 Σ(各路收敛时间)降为 max(各投影收敛时间)+ 一次融合成本。
|
|
71
|
+
|
|
72
|
+
**定理 T**:当任务的信息流宽度超过单收敛位调用带宽(W > B_c)时,把收敛粒度从根下沉到投影层,在信息面上是结构响应而非偏好;且展开侧扩容(|E| 增大)可继续压缩 max 项,而收敛侧扩容不存在——调用带宽是单点观测的结构属性(④快照三问:任何单点观测都是窄的),不可靠复制消除。
|
|
73
|
+
|
|
74
|
+
**证明要点**:命题 1 由 P3(调用带宽刚性)给出信息面约束、由串行聚合给出时间面约束;命题 2 由投影独立性(P2 的建立条件)给出;合取即得。∎
|
|
75
|
+
|
|
76
|
+
**适用域**:W ≤ B_c 或存在 T3 串行契约时,本文不作下沉判断——粒度选择是逐任务的成本-收益权衡(架构层文档 CA4;补充资料单线程 v1.0 §3.3)。
|
|
77
|
+
|
|
78
|
+
---
|
|
79
|
+
|
|
80
|
+
## 5 工程落地(纪律第 17 条的理论位置)
|
|
81
|
+
|
|
82
|
+
| 纪律动作 | 理论对应 |
|
|
83
|
+
|---|---|
|
|
84
|
+
| 任务→拆 spec | 收敛粒度下沉(命题 2);**200k 上下文预算=拆解信号**(W > B_c 的工程判据,见《子代理配置标准 v0.5》§6) |
|
|
85
|
+
| spec 独立性检查 | 条件投影实质区分判定(架构层 CA-T1:四维任一不同且影响信息可得性) |
|
|
86
|
+
| `hive_spawn` 并发提交 | 展开侧扩容(\|E\| 增大) |
|
|
87
|
+
| agent 收 result 汇总裁决 | 收敛位唯一、责任不分散(T4) |
|
|
88
|
+
| 宿主自带 subagent 不是等价通道 | 展开动作必须经统一文件协议留痕(spec/status/result),否则收敛位失去裁决材料 |
|
|
89
|
+
|
|
90
|
+
---
|
|
91
|
+
|
|
92
|
+
## 6 边界声明(防外溢)
|
|
93
|
+
|
|
94
|
+
- **CA1 体系**:本文边界编号沿用架构层文档 CA1-CA6(架构/功能层陈述、建模公设不越界、认知结构并行、非排他、带宽=调用带宽表述、元条款),不另立体系。
|
|
95
|
+
- **B4 并发不豁免收敛**(=T4):多路产出使收敛位的裁决责任更重,裁决材料必须结构化(文件协议、留痕)。
|
|
96
|
+
- **B6 数字诚实**:本文不使用任何数值锚点(4±1 等已随神经科学地基降级);「W > B_c」是关系判据,W 与 B_c 均不承诺数值测量——工程代理量见《子代理配置标准》§6。
|
|
97
|
+
- **诚实边界**:本文定理是架构层结构判据,不构成「并发总优于串行」的规范断言(CA4)。
|
|
98
|
+
|
|
99
|
+
---
|
|
100
|
+
|
|
101
|
+
## 7 验证状态(诚实标注)
|
|
102
|
+
|
|
103
|
+
| 项 | 状态 |
|
|
104
|
+
|---|---|
|
|
105
|
+
| v0.1 计划的「蜂巢 4 视角并发反思验证」(逻辑攻击/科学锚点/边界攻击/自洽性) | **未执行**(v0.1 §7 为待回填空节) |
|
|
106
|
+
| v0.2 地基替换后的重新验证 | **待执行**:按架构层文档 §7 实验纲领(七测度)设计;测度 2 承接 GridWorld 规格、测度 4 承接蜂群同错检测协议 |
|
|
107
|
+
| 相关审查留痕 | 《单线程与注意力集中 v1.0》五单元审查(反思×2+验证×3,三 REJECT→重写)结论以其 §6 留痕表为准(job id 可回放);审查中间件产物(单元原始产出文件)已按《子代理配置标准》§5.4 产出物生命周期在系统整合后清理 |
|
|
108
|
+
|
|
109
|
+
---
|
|
110
|
+
|
|
111
|
+
## 8 关联文档与节点
|
|
112
|
+
|
|
113
|
+
**三份核心体系**:
|
|
114
|
+
- 架构层:《认知代理与收敛结构_条件论重构_v0.1.md》(公设展开/代理定义/收敛结构/实验纲领)
|
|
115
|
+
- 工程层:《子代理配置标准_v0.5.md》(六位角色拓扑/统一执行默认/确定性执行/spec 配置/上下文预算/工具面/理论对应节)
|
|
116
|
+
|
|
117
|
+
**补充资料**(参考源,不再承担正式理论职责):
|
|
118
|
+
- 《单线程与注意力集中_无争议理论文档_v1.0.md》(S/E/C 三义、三类串行、串行正当场景、争议封口方法)
|
|
119
|
+
- 《GridWorld最小闭环规格_v0.1.md》(实验设施:闭环机制验证)
|
|
120
|
+
- 《概念分层对齐表_v0.1.md》(五层置信概念:融合位裁决纪律的概念映射)
|
|
121
|
+
- 《蜂群同错检测实验协议_v0.1.md》(实验协议:共识≠真相验证)
|
|
122
|
+
|
|
123
|
+
**真源**:白箱智能四篇(①②③④);认知图节点 `mem_1789454083769`(树状递归/条件裁决/误差驱动/调用带宽)、`mem_1789374897301`(hive 落地与文件协议)、`mem_1789454597670`(收敛带宽定理首提)。
|
|
124
|
+
|
|
125
|
+
---
|
|
126
|
+
|
|
127
|
+
## 附录 A 神经科学启发(v0.1 证据基座的降级存档)
|
|
128
|
+
|
|
129
|
+
> **状态**:依使用者裁定(2026-09-15)降为启发引用,不承担本文任何论证重量;保留于此仅为溯源。
|
|
130
|
+
|
|
131
|
+
- **F1 大规模并行**:人脑约 860 亿神经元持续并行活动;感觉通道各自独立并行处理(Herculano-Houzel & Azevedo 等,2009)。
|
|
132
|
+
- **F2 收敛带宽有限**:工作记忆项目数约 4±1(Cowan, 2001);多对象视觉追踪上限约 4-5(Pylyshyn & Storm, 1988)。注意:工作记忆组块容量与多对象追踪容量不是同一构念(单线程 v1.0 B7)。
|
|
133
|
+
- **F3 工程同构**(保留为工程事实,非神经科学):一个会话绑定一个收敛主体;执行位(worker)可任意扩容(灵枢蜂巢 `HIVE_WORKERS` 可调)。
|
|
134
|
+
- **解释性对照**(仅启发):全局工作空间理论、预测加工框架——v0.1 §3 同构表的「人脑」列随地基迁移移除,对照关系见该表存档(git 历史 v0.1)。
|