@furongjun1999/dsh-memory 0.4.7 → 0.4.9
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 +130 -47
- package/codebuddy/CODEBUDDY.md +21 -10
- package/codebuddy/README.md +13 -1
- package/codebuddy/mcp.json +9 -0
- 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 -0
- 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 -0
- package/docs/README.md +111 -0
- package/docs/discipline/harnesses.yaml +226 -152
- package/docs/discipline/templates/full.md.tmpl +61 -58
- package/docs/eval//347/254/254/344/270/211/346/226/271/351/252/214/350/257/201/346/212/245/345/221/212_LoCoMo_/347/201/265/346/236/242_.md +127 -0
- package/docs/eval//347/254/254/344/270/211/346/226/271/351/252/214/350/257/201/346/212/245/345/221/212_LoCoMo_/347/201/265/346/236/242_.png +0 -0
- package/docs/eval//347/254/254/344/270/211/346/226/271/351/252/214/350/257/201/346/212/245/345/221/212_/347/201/265/346/236/242_vs_dejavu_/347/273/237/344/270/200/350/257/204/345/210/206_v7.md +202 -0
- package/docs/experiments/linkref_backfill/candidates_20260917.json +726 -0
- package/docs/experiments/linkref_backfill/candidates_internal_20260917.json +602 -0
- package/docs/experiments/linkref_backfill/candidates_internal_v2.json +603 -0
- package/docs/experiments/linkref_backfill/candidates_secret_20260917.json +884 -0
- package/docs/experiments/linkref_backfill/candidates_secret_v2.json +789 -0
- package/docs/experiments/m4-role-probe/census.py +86 -0
- package/docs/experiments/m4-role-probe/probe.py +89 -0
- package/docs/experiments/mapped_confidence/bench_mapped_conf.py +216 -0
- package/docs/experiments/mapped_confidence/post_check.py +75 -0
- package/docs/experiments/mapped_confidence/repro_thirdparty_tol.py +83 -0
- package/docs/experiments/mapped_confidence/result_mapped_conf.json +215 -0
- package/docs/hive//345/244/232/347/253/257harness/351/200/232/344/277/241/345/245/221/347/272/246_v0.1.md +42 -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 -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 -0
- package/docs/hive//347/234/237/345/256/236/345/272/223/347/253/257/345/210/260/347/253/257/345/256/236/346/265/213_S1b/344/270/216/345/217/254/345/233/236/346/235/203/350/241/241_v0.1.md +57 -0
- package/docs/hive//347/234/237/345/256/236/345/272/223/347/253/257/345/210/260/347/253/257/345/256/236/346/265/213_S7/345/200/222/346/216/222/345/200/231/351/200/211/345/261/202_v0.1.md +126 -0
- package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +503 -0
- 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 +14 -2
- package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -0
- package/docs/{README → mdcg/README}/350/257/246/347/273/206/347/211/210_v0.4.5.md +631 -625
- package/docs/{ → mdcg/}/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 +1 -1
- package/docs/mdcg//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_/345/245/221/347/272/246_v0.1.md +82 -0
- 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 -0
- 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 +263 -0
- 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 +1 -1
- package/docs/mdcg//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 -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 +2 -2
- package/docs/{ → mdcg/}/347/201/265/346/236/242/344/270/211/345/261/202/346/213/206/345/210/206/350/247/204/345/210/222_v0.1.md +181 -181
- 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 -0
- package/docs/mdcg//347/216/257/344/272/214_/347/231/275/347/256/261/345/241/253/345/205/205/346/265/201/346/260/264/347/272/277_v0.1.md +31 -0
- package/docs/{ → mdcg/}/347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +2 -2
- 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 +1 -1
- 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 +4 -4
- package/docs/{ → mdcg/}/350/256/260/345/277/206/346/223/215/344/275/234/347/263/273/347/273/237_MdCGOS/344/270/216MCP/346/216/245/345/205/245_v0.1.md +2 -2
- package/docs/mdcg//350/267/250/347/253/257/351/252/214/350/257/201/344/270/216/345/220/214/346/255/245/345/215/217/350/256/256_v0.1.md +93 -0
- 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 -0
- package/docs/{ → swarm/}/350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +3 -3
- 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 -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 -0
- 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 -0
- 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 -0
- 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 +6 -6
- 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 +1 -1
- 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 -0
- 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 -0
- package/docs//345/255/230/347/256/227/344/270/200/344/275/223/346/236/266/346/236/204/345/255/246/344/271/240_/345/244/226/351/203/250/347/220/206/350/256/272/345/257/271/347/205/247/344/270/216/350/267/257/347/272/277/344/272/244/346/216/245_20260916.md +98 -0
- package/docs//345/255/230/347/256/227/344/270/200/344/275/223/347/245/236/347/273/217/347/275/221/347/273/234/346/236/266/346/236/204_/346/200/273/347/272/262/344/270/216/344/272/244/346/216/245_20260916.md +109 -0
- 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 +434 -405
- package/docs//347/201/265/346/236/242/350/207/252/346/210/221/346/224/271/350/277/233/345/267/245/344/275/234/350/256/241/345/210/222_/345/244/226/351/203/250/347/240/224/347/251/266/347/263/273/345/210/227/345/220/270/346/224/266_v1_20260919.md +286 -0
- package/docs//347/231/275/347/256/261/345/214/226/347/272/262/351/242/206_/344/270/211/351/241/271/347/233/256/345/255/246/344/271/240/346/200/273/346/236/266/346/236/204/344/270/216Ghidra/344/272/244/346/216/245_20260916.md +104 -0
- package/docs//350/256/260/345/277/206/350/257/204/345/256/241/347/263/273/347/273/237_/347/253/213/351/241/271/350/256/276/350/256/241/344/270/216/346/226/275/345/267/245/344/272/244/346/216/245_20260915.md +183 -0
- package/dsh/README.md +34 -1
- package/dsh/cordis.yml.example +13 -7
- package/dsh/hive-mcp-probe.mjs +94 -0
- package/dsh/hive-mcp.example.yml +62 -0
- package/dsh/update-lingshu.bat +11 -0
- package/dsh/update-lingshu.ps1 +337 -0
- package/lib/hooks.d.ts +8 -0
- package/lib/hooks.js +27 -24
- package/lib/index.d.ts +4 -2
- package/lib/index.js +29 -6
- package/lib/lib/datapath.d.ts +76 -1
- package/lib/lib/datapath.js +199 -13
- package/lib/lib/mdcg_client.d.ts +6 -3
- package/lib/lib/mdcg_client.js +6 -5
- package/lib/lib/mutual.js +4 -4
- package/lib/lib/prompt_safety.d.ts +48 -0
- package/lib/lib/prompt_safety.js +62 -0
- package/lib/lib/token_store.js +4 -5
- package/md_cg/audit.py +91 -2
- package/md_cg/autonomy.py +86 -15
- package/md_cg/backfill.py +36 -1
- package/md_cg/backfill_bigdomain.py +34 -0
- package/md_cg/bench6_arms.py +28 -1
- package/md_cg/bench6_common.py +10 -1
- package/md_cg/bench6_competitors.py +6 -1
- package/md_cg/bench_axis_domain.py +9 -1
- package/md_cg/bench_blind_comp.py +7 -1
- package/md_cg/bench_en_atoms_public.py +9 -0
- package/md_cg/bench_governance.py +348 -0
- package/md_cg/bench_lme_zh.py +16 -1
- package/md_cg/bench_locomo.py +2 -1
- package/md_cg/bench_locomo_zh.py +16 -1
- package/md_cg/bench_locomo_zh_public.py +4 -1
- package/md_cg/bench_longmem.py +2 -1
- package/md_cg/bench_membench.py +37 -6
- package/md_cg/bench_p0.py +4 -1
- package/md_cg/bench_progressive.py +61 -10
- package/md_cg/bench_role_views.py +238 -0
- package/md_cg/bench_task_ab.py +8 -1
- package/md_cg/bench_task_ab_llm.py +13 -1
- package/md_cg/bench_unified_en.py +6 -1
- package/md_cg/bench_zh_mad.py +20 -1
- package/md_cg/blindspot_tickets.py +123 -0
- package/md_cg/branches.py +286 -0
- package/md_cg/build_postings.py +73 -0
- package/md_cg/ccgc.py +949 -0
- package/md_cg/census.py +5 -1
- package/md_cg/chain.py +24 -3
- package/md_cg/codeindex.py +134 -17
- package/md_cg/coldverify.py +265 -0
- package/md_cg/comment_gate.py +338 -0
- package/md_cg/cond_compose.py +190 -0
- package/md_cg/cond_facts.py +155 -0
- package/md_cg/cond_template.json +107 -0
- package/md_cg/condition_anchor.py +143 -0
- package/md_cg/conformance.py +727 -0
- package/md_cg/consistency.py +25 -2
- package/md_cg/consolidate.py +53 -2
- package/md_cg/corpus.py +5 -1
- package/md_cg/crosscheck.py +42 -2
- package/md_cg/crypto.py +35 -1
- package/md_cg/d_meta.py +310 -0
- package/md_cg/datapath.py +201 -26
- package/md_cg/docindex.py +122 -1
- package/md_cg/eval_common.py +35 -6
- package/md_cg/evidence.py +27 -1
- package/md_cg/evolution.py +21 -1
- package/md_cg/export.py +11 -1
- package/md_cg/forgetting.py +34 -4
- package/md_cg/fsutil.py +81 -2
- package/md_cg/hotcache.py +214 -0
- package/md_cg/hyperedge.py +251 -0
- package/md_cg/identity.py +20 -3
- package/md_cg/insight.py +19 -3
- package/md_cg/lexicon/build_cedict_en_zh.py +9 -0
- package/md_cg/lexicon/build_standard_en.py +171 -168
- package/md_cg/lexicon/expand_en_zh.py +6 -0
- package/md_cg/lifecycle.py +273 -0
- package/md_cg/linkref.py +281 -0
- package/md_cg/links.py +29 -1
- package/md_cg/mcp_server.py +894 -168
- package/md_cg/md_whitebox.py +53 -1
- package/md_cg/mdcg.py +1205 -41
- package/md_cg/mdcos.py +1060 -76
- package/md_cg/metacognition.py +39 -4
- package/md_cg/migrate.py +4 -0
- package/md_cg/migrate_aeis.py +221 -213
- package/md_cg/migrate_roleplay.py +8 -0
- package/md_cg/migrate_wisdom_graph.py +14 -1
- package/md_cg/mreview/__init__.py +25 -0
- package/md_cg/mreview/__main__.py +110 -0
- package/md_cg/mreview/bundle.py +178 -0
- package/md_cg/mreview/candidates.py +262 -0
- package/md_cg/mreview/govern.py +694 -0
- package/md_cg/mreview/locate.py +939 -0
- package/md_cg/mreview/pipeline.py +729 -0
- package/md_cg/mreview/rules/duplication.json +21 -0
- package/md_cg/mreview/rules/field_coverage.json +54 -0
- package/md_cg/mreview/rules/source_license.json +21 -0
- package/md_cg/mreview/rules/template_flow.json +21 -0
- package/md_cg/mreview/ruleset.py +253 -0
- package/md_cg/nodefile.py +269 -1
- package/md_cg/pooling.py +23 -1
- package/md_cg/postings.py +298 -0
- package/md_cg/predict.py +113 -15
- package/md_cg/progressive.py +3 -0
- package/md_cg/protect.py +18 -5
- package/md_cg/protocol.py +372 -0
- package/md_cg/provenance.py +262 -0
- package/md_cg/reach.py +453 -0
- package/md_cg/refindex.py +88 -4
- package/md_cg/refine.py +20 -1
- package/md_cg/roleviews.py +89 -0
- package/md_cg/routing.py +76 -0
- package/md_cg/scrub.py +68 -3
- package/md_cg/security.py +26 -1
- package/md_cg/self_state.py +65 -2
- package/md_cg/selfreport.py +151 -0
- package/md_cg/semantic/canonical.py +5 -0
- package/md_cg/semantic/en_normalizer.py +364 -295
- package/md_cg/semantic/zh_en_atoms.py +139 -136
- package/md_cg/signer.py +41 -1
- package/md_cg/sources.py +583 -547
- package/md_cg/statushdr.py +179 -0
- package/md_cg/stg.py +59 -18
- package/md_cg/subgraph.py +23 -0
- package/md_cg/sustain.py +74 -1
- package/md_cg/tasks.py +471 -0
- package/md_cg/test_action_derive.py +203 -0
- package/md_cg/test_audit_rotate.py +270 -0
- package/md_cg/test_autonomy.py +26 -0
- package/md_cg/test_bench_governance.py +102 -0
- package/md_cg/test_blindspot_tickets.py +166 -0
- package/md_cg/test_branches.py +249 -0
- package/md_cg/test_ccg_perturb.py +1 -1
- package/md_cg/test_ccgc.py +433 -0
- package/md_cg/test_codeindex.py +338 -0
- package/md_cg/test_comment_gate.py +187 -0
- package/md_cg/test_cond_compose_anchors.py +76 -0
- package/md_cg/test_condition_anchor.py +82 -0
- package/md_cg/test_conformance.py +343 -0
- package/md_cg/test_d_meta.py +412 -0
- package/md_cg/test_datapath_root.py +188 -0
- package/md_cg/test_en_pipeline.py +24 -0
- package/md_cg/test_gain_gate.py +47 -1
- package/md_cg/test_health_scale.py +173 -0
- package/md_cg/test_hot_cold.py +187 -0
- package/md_cg/test_hyperedge.py +245 -0
- package/md_cg/test_identity_attribution.py +6 -0
- package/md_cg/test_index_durability.py +224 -0
- package/md_cg/test_lifecycle.py +309 -0
- package/md_cg/test_linkref.py +306 -0
- package/md_cg/test_md_access_parity.py +15 -3
- package/md_cg/test_mr_m1.py +769 -0
- package/md_cg/test_mr_m2.py +587 -0
- package/md_cg/test_mr_m3.py +710 -0
- package/md_cg/test_mr_m4.py +485 -0
- package/md_cg/test_p1.py +1 -1
- package/md_cg/test_p11_consistency.py +1 -1
- package/md_cg/test_p12_metacognition.py +2 -2
- package/md_cg/test_p16_self_state.py +1 -1
- package/md_cg/test_p26_refindex.py +50 -21
- package/md_cg/test_p27_docindex.py +258 -4
- package/md_cg/test_p28_refcheck.py +1 -1
- package/md_cg/test_p29_session_ingest_export.py +1 -1
- package/md_cg/test_p2_mcp.py +7 -1
- package/md_cg/test_p31_insight.py +24 -0
- package/md_cg/test_p38_contextualize.py +1 -1
- package/md_cg/test_p39_vision_evidence.py +1 -1
- package/md_cg/test_p40_refine_worklist.py +1 -1
- package/md_cg/test_p41_evolve_patrol.py +1 -1
- package/md_cg/test_p42_provenance.py +1 -1
- package/md_cg/test_p43_pooling.py +41 -13
- package/md_cg/test_p44_md_whitebox.py +14 -1
- package/md_cg/test_protocol.py +243 -0
- package/md_cg/test_reach.py +378 -0
- package/md_cg/test_reach_keys.py +201 -0
- package/md_cg/test_reach_meta_exits.py +145 -0
- package/md_cg/test_read_clip.py +141 -0
- package/md_cg/test_retr_s1.py +340 -0
- package/md_cg/test_retr_s1b.py +209 -0
- package/md_cg/test_retr_s3.py +194 -0
- package/md_cg/test_retr_s4.py +163 -0
- package/md_cg/test_retr_s5.py +200 -0
- package/md_cg/test_retr_s6.py +157 -0
- package/md_cg/test_retr_s7.py +385 -0
- package/md_cg/test_retr_s8_time.py +316 -0
- package/md_cg/test_retr_s9_edges.py +286 -0
- package/md_cg/test_retr_s9_entity_ctx.py +175 -0
- package/md_cg/test_review_conformance.py +367 -0
- package/md_cg/test_role_views.py +354 -0
- package/md_cg/test_tasks.py +409 -0
- package/md_cg/test_tool_face.py +189 -0
- package/md_cg/test_trust.py +361 -0
- package/md_cg/test_twophase.py +286 -0
- package/md_cg/test_units_poll.py +71 -0
- package/md_cg/test_v14_fixes.py +397 -0
- package/md_cg/test_validity_filter.py +280 -0
- package/md_cg/test_wisdom_md_store.py +7 -3
- package/md_cg/test_writepipe.py +214 -0
- package/md_cg/theory.py +17 -2
- package/md_cg/tokens.py +134 -12
- package/md_cg/tool_face.py +261 -0
- package/md_cg/trust.py +943 -0
- package/md_cg/twophase.py +232 -0
- package/md_cg/units.py +665 -0
- package/md_cg/vision_evidence.py +25 -2
- package/md_cg/weights.py +25 -2
- package/md_cg/whitebox.py +33 -2
- package/md_cg/whitebox_kb/data/verify_cache.json +21233 -360
- package/md_cg/whitebox_kb/data/verify_savings.jsonl +5124 -0
- package/md_cg/whitebox_kb/wisdom/audit_log/chain_heat.json +10 -10
- package/md_cg/whitebox_kb/wisdom/code_compose.py +113 -6
- package/md_cg/whitebox_kb/wisdom/code_solidified.json +1 -1
- package/md_cg/whitebox_kb/wisdom/verifier.py +340 -55
- package/md_cg/whitebox_kb/wisdom/wisdom-book-cloud.db +0 -0
- package/md_cg/writelimit.py +37 -7
- package/md_cg/writepipe.py +543 -0
- package/package.json +2 -2
- package/skills/skills/designer-perspective/scripts/__pycache__/designer.cpython-310.pyc +0 -0
- package/skills/skills/designer-perspective/scripts/designer.py +17 -1
- package/skills/skills/designer-perspective/tests/selftest.py +3 -1
- package/src/hooks.ts +27 -22
- package/src/index.ts +33 -6
- package/src/lib/datapath.ts +211 -13
- package/src/lib/mdcg_client.ts +12 -8
- package/src/lib/mutual.ts +411 -411
- package/src/lib/prompt_safety.ts +62 -0
- package/src/lib/token_store.ts +4 -5
- package/zcode/AGENTS.md +21 -10
- package/zcode/README.md +4 -0
- package/docs//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +0 -221
- /package/docs/{AGI → 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" +0 -0
- /package/docs/{AGI → 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" +0 -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" +0 -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" +0 -0
- /package/docs/{guardrail-charter.md → mdcg/guardrail-charter.md} +0 -0
- /package/docs/{lingshu_tutorial.html → mdcg/lingshu_tutorial.html} +0 -0
- /package/docs/{memory-assessment.html → mdcg/memory-assessment.html} +0 -0
- /package/docs/{memory_score.html → mdcg/memory_score.html} +0 -0
- /package/docs/{memory_score.png → mdcg/memory_score.png} +0 -0
- /package/docs/{release_v0.3.0.md → mdcg/release_v0.3.0.md} +0 -0
- /package/docs/{release_v0.4.5.md → mdcg/release_v0.4.5.md} +0 -0
- /package/docs/{tool_table_v0.3.0.md → mdcg/tool_table_v0.3.0.md} +0 -0
- /package/docs/{ → mdcg/}/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" +0 -0
- /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" +0 -0
- /package/docs/{ → mdcg/}/347/201/265/346/236/242MCP/345/267/245/345/205/267/346/200/273/350/241/250_v3.4.md" +0 -0
- /package/docs/{ → mdcg/}/347/201/265/346/236/242_/350/207/252/346/210/221/345/261/202/345/256/232/344/271/211.md" +0 -0
- /package/docs/{ → mdcg/}/350/256/244/347/237/245/345/233/276_MD/347/233/256/345/275/225/346/226/271/346/241/210_v0.1.md" +0 -0
- /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" +0 -0
- /package/docs/{ → mdcg/}/350/256/244/347/237/245/345/233/276/344/275/234/344/270/272/350/256/260/345/277/206/346/223/215/344/275/234/347/263/273/347/273/237_/350/257/204/344/274/260/344/270/216/350/267/257/347/272/277_v0.1.md" +0 -0
- /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" +0 -0
- /package/docs/{ → plans/}/347/237/245/350/257/206/345/233/276/350/260/261/351/241/271/347/233/256_/344/272/244/346/216/245/346/226/207/346/241/243_20260914.md" +0 -0
- /package/docs/{ → swarm/}/350/234/202/347/276/244/345/244/232/346/231/272/350/203/275/344/275/223_/344/275/277/347/224/250/346/212/245/345/221/212_20260913.md" +0 -0
- /package/docs/{ → swarm/}/350/234/202/347/276/244/345/244/232/346/231/272/350/203/275/344/275/223_/345/212/237/350/203/275/350/257/264/346/230/216_v0.6.md" +0 -0
- /package/docs/{ → swarm/}/350/234/202/347/276/244/347/233/262/345/214/272/346/240/207/350/256/260_v1.0.md" +0 -0
- /package/docs/{ → theory/}/344/277/241/346/201/257/345/267/256/344/270/272/344/273/200/344/271/210/345/277/205/347/204/266/345/255/230/345/234/250/344/270/224/350/207/252/347/204/266/346/211/251/345/244/247.md" +0 -0
- /package/docs/{ → theory/}/346/231/272/350/203/275/347/232/204/345/205/254/347/220/206/345/214/226/345/237/272/347/237/263.md" +0 -0
- /package/docs/{ → theory/}/346/231/272/350/203/275/347/232/204/350/256/244/347/237/245/350/277/207/347/250/213.md" +0 -0
- /package/docs/{ → theory/}/346/231/272/350/203/275/350/256/2723.4.md" +0 -0
- /package/docs/{ → theory/}/347/231/275/347/256/261/346/231/272/350/203/275/346/230/257/344/273/200/344/271/210/357/274/237.md" +0 -0
- /package/docs/{ → theory/}/347/231/275/347/256/261/346/231/272/350/203/275/347/263/273/345/210/227/302/267/347/254/254/344/272/224/347/257/207/357/274/232/350/256/251AI/347/234/237/346/255/243/350/243/205/344/270/212/350/256/260/345/277/206.md" +0 -0
|
@@ -0,0 +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 均注明「修订后可再审」)。
|
|
@@ -0,0 +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)。
|
|
@@ -0,0 +1,145 @@
|
|
|
1
|
+
# 概念分层对齐表 v0.1
|
|
2
|
+
|
|
3
|
+
> **定位**:外部评审(GPT)指出系统置信类概念在增殖——condition / evidence / trust / confidence / qualification / prediction confidence / source trust / execution confidence / consensus confidence——若不加约束会退化为 heuristic framework。本文档将既有置信面**严格对齐到五层**:Source Trust(来源信任)→ Evidence Quality(证据质量)→ Claim Confidence(断言置信)→ Execution Confidence(执行置信)→ Consensus Confidence(共识置信),盘点每层的代码落点、量纲与重叠冲突,作为后续概念收敛的共同参照。
|
|
4
|
+
>
|
|
5
|
+
> **边界(先读)**:本表是**文档层对齐**,不裁决任何工程面合并——凡涉及行为变更(改默认值、改排序、改判定序)一律另案,经验证单元与使用者终裁后才可落地。行号对齐 2026-09-15 工作区 HEAD;行号必腐化,以符号名为准绳。
|
|
6
|
+
>
|
|
7
|
+
> **理论锚点**:CTP 仓(仓外私有理论仓 `CommonTrustProtocol`)`智能论3.4.md`(下称「理论」)。
|
|
8
|
+
|
|
9
|
+
---
|
|
10
|
+
|
|
11
|
+
## 1 五层定义与判定标准
|
|
12
|
+
|
|
13
|
+
| 层 | 名称 | 一句话定义 | 判定问句 | CTP 理论锚点 |
|
|
14
|
+
|---|---|---|---|---|
|
|
15
|
+
| L1 | Source Trust 来源信任 | **谁**——来源(实例/写入者/通道)本身的历史行为可信度 | 这个来源过去的行为记录如何? | 信任值=信噪比映射(理论 L4376);T_total 第一性分量 P_trust(理论 L1678-1694);compiler「德」寄存器=trust_value 名实一处 |
|
|
16
|
+
| L2 | Evidence Quality 证据质量 | **凭什么**——支撑断言的外部验证基底有多硬 | 断言背后是什么类型的验证? | 理论无独立证据层;「验证单元独立复核」(理论 L4654)为最近对应;工程侧 verification_basis 两档口径为自建分级 |
|
|
17
|
+
| L3 | Claim Confidence 断言置信 | **这条断言**本身多可信、当前是否适用 | 这条记忆该不该用/有多可靠? | 「概率负责可信度,条件负责资格」二分(理论 L1170)——资格(条件)与置信(概率)分离的理论根据 |
|
|
18
|
+
| L4 | Execution Confidence 执行置信 | **做事的预测**——某通道/路线继续做某事会成功的概率 | 这么做能成吗? | 通道可信度 2.9.1a:「置信度=单次判断内部一致性;可信度=通道历史验证命中率」(理论 L1743-1746);T_pred 为辅助分量(理论 L1520-1525) |
|
|
19
|
+
| L5 | Consensus Confidence 共识置信 | **多方是否一致**——多个独立来源对同一对象的一致程度 | 大家都同意吗? | P_gap 宏观信息差(理论 L1737-1741);蜂群阶段4触发 T_avg≥0.75 持续30天(理论 L2834) |
|
|
20
|
+
|
|
21
|
+
**归层判定问句**(给后续新增指标用):先问「这个数回答的是谁/凭什么/该不该/能不能成/同不同意」中的哪一个,再入层;一个数同时回答多个问句的,标记为跨层混合点并在 §4 注记。
|
|
22
|
+
|
|
23
|
+
---
|
|
24
|
+
|
|
25
|
+
## 2 对齐总表
|
|
26
|
+
|
|
27
|
+
量纲记法:`[0,1]` 连续概率型;`名义` 分类枚举型;`{a,b,c}` 离散值域;`无界` 非概率实数。
|
|
28
|
+
|
|
29
|
+
### L1 Source Trust(来源信任)
|
|
30
|
+
|
|
31
|
+
| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
|
|
32
|
+
|---|---|---|---|---|
|
|
33
|
+
| 实例信任初值 `trust` | `swarm/rust_swarm.py:40`(make_swarm_config) | 实例注册时声明的行为信任初值,随 gossip `@trust` payload 在蜂群传播更新 | [0,1] 配置值 | 与 compiler「德」寄存器同源:德=trust_value 名实一处(compiler/SEMANTICS.md;`swarm/tests/test_rust_swarm_resume.py:48-50` 德 0.3 字面驱动) |
|
|
34
|
+
| 信任聚合 T_avg/T_min/T_variance | `swarm/rust_swarm.py:129-139`(aggregate_trust_python);Rust 对照 `swarm/rust_runtime/src/swarm.rs:6` | 蜂群实例信任分布的四个聚合量(均值/最小/方差) | [0,1] | Rust/Python 双实现已对齐;T_min 是蜂群短板度量,勿与均值混用 |
|
|
35
|
+
| T_alignment 蜂群对齐度 | `swarm/rust_swarm.py:138` | `1 − T_variance/T_avg`:信任分布一致程度 | [0,1](0 除护) | **兼有 L5 语义**(分布一致性≈弱共识),是 L5 真空缺的最近替身(见 §5) |
|
|
36
|
+
| 「德」寄存器 | `compiler/SEMANTICS.md`(语义契约真源,德↔信任值名实一处存储) | 编译语言内建名,实例行为信任的载体 | [0,1] 字面 | 命名跨仓:CTP 理论叫「信任值」、swarm 叫 trust、编译语言叫「德」——三名一物,收敛时统一术语 |
|
|
37
|
+
| 跨节点证据包验签 | `md_cg/evidence.py:7-21,44-48` | 他证(来源节点对主体的观测)携带签名,验签通过才入库;可拒收、禁转手 | 0/1(通过/拒收) | `evidence.py:20-21` 自声明诚实边界:验证「证据来自该节点」≠「证据为真」——L1(来源可溯)与 L2/L3(内容真假)已正确切分 |
|
|
38
|
+
| writer/session 写入归属 | `md_cg/mdcos.py`(_attribution,2026-09-13 落地) | 记忆节点的写入者/会话身份进 frontmatter,检索可按 session 过滤 | 字符串身份(无数值) | **L1 在记忆域的半成品**:身份已落盘但 writer 不带信任分、不进排序——记忆域来源信任的空缺口(见 §5) |
|
|
39
|
+
|
|
40
|
+
### L2 Evidence Quality(证据质量)
|
|
41
|
+
|
|
42
|
+
| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
|
|
43
|
+
|---|---|---|---|---|
|
|
44
|
+
| verification_basis 枚举 | `md_cg/nodefile.py:51-59`(8 档);`nodefile.py:62`(REPRODUCIBLE_BASIS 5 档);校验 `nodefile.py:122-127` | 断言的外部验证基底类型:compiler/test/measurement/formal_proof/data(可复现档)+ textbook/public_kb/other(来源一致档) | 名义(分类,非连续) | **本层唯一主干**。「文科宽松理科严格」两档口径是现成的证据分级先例;与 L3 判定序耦合:无基底→DEFER(`md_cg/mdcg.py:1232`),是设计耦合非冗余 |
|
|
45
|
+
| WAL 验签 | `swarm/rust_swarm.py:88`(verify_wal_signatures) | HMAC 逐条验签,Python 独立实现交叉验证 Rust 写出 | 0/1 + 计数 | 与 integrity_rate(下行)是**同一验证动作的两个读出面**→§4-3 |
|
|
46
|
+
| integrity_rate 证据完整性 | `swarm/rust_swarm.py:173`(aggregate_health_python 内) | `(总轮数−验签失败轮数)/总轮数 × gossip覆盖率` | [0,1] | 被 health score 以 W=0.2 混入 L4 语义的聚合——**跨层混合点**(L2 语义进了 L4 聚合) |
|
|
47
|
+
| 节点证据计数 evidence_count / positive_evidence / negative_evidence | `md_cg/mdcg.py:1612-1618`(verify 更新) | 外部验证裁决的累计次数与正/反例计数 | 非负整数 | 与 fm.confidence(L3)同函数内联动更新(`mdcg.py:1609-1611`)——L2 计数→L3 置信的唯一现成换算通道(固定步长,非贝叶斯) |
|
|
48
|
+
| predict verification 维 | `md_cg/predict.py:378-390`(score_route,W_VERIFICATION=0.25,ver=hit_rate) | 路线评分的「验证」分量,直接代入预测命中率 | [0,1] | **L2 语义位但 L4 实现**:与 hit_rate(L4)同一数值双重使用——既作四维分量又作 dynamic_hit_threshold 输入(`predict.py:655-675`),样本不足时两处同向波动→§4-5 |
|
|
49
|
+
| 「证据强度分离」待办注记 | `md_cg/bench_progressive.py:220`(注释:真伪判据=verification_basis/时间线冲突,证据强度分离另案) | 代码内已自我承认本层无强度量纲 | —(待办) | 佐证 L2 半空缺(见 §5) |
|
|
50
|
+
|
|
51
|
+
### L3 Claim Confidence(断言置信)
|
|
52
|
+
|
|
53
|
+
| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
|
|
54
|
+
|---|---|---|---|---|
|
|
55
|
+
| fm.confidence 节点自声明置信 | `md_cg/mdcg.py:633-635`(add 默认 0.6);恢复时同读 `mdcg.py:1385` | 写入时对断言的静态置信声明,存 frontmatter 随节点走 | [0,1] | 与 judge qual(动态、query-relative)正交但易混;唯一耦合是降级链(下行 DEMOTE) |
|
|
56
|
+
| 非对称验证步长 | `md_cg/mdcg.py:1609-1611`(verify 内) | confirmed +0.05 / weakened −0.15(反例权重更大),夹取 [0,1];falsified→负记忆化(`mdcg.py:1595-1605`) | Δ[0,1] | 与 Beta-Bernoulli(L4)哲学同源(证据更新置信)但对象不同:**节点断言 vs 预测通道**——不可合并;步长固定非贝叶斯,样本效应未建模 |
|
|
57
|
+
| DEMOTE_CONFIDENCE 降级阈值 | `md_cg/mdcg.py:48-51`(=0.2,注释:0.6 起需连续 3 次 weakened) | confidence 跌破 0.2→knowledge 降 contextual | 常数阈值 | L3 置信→记忆层级的换算落点(Claim Confidence 驱动分层,非跨层混合) |
|
|
58
|
+
| judge_qualification 四态 | `md_cg/mdcg.py:1171-1243` | 资格判定序:BLINDSPOT(CCG 要素不全)→REJECT(负条件命中)→正条件确认(零命中降 DEFER)→DEFER(无 verification_basis)→ACCEPT;输出 `{state, reason}` | 名义四态 `{ACCEPT, REJECT, DEFER, BLINDSPOT}` | **系统内分层最干净处**:`mdcg.py:1254` 自声明与 tier 正交(tier=怎么找到的性能 / state=是否该用的资格);qual 是 query-relative 资格而非节点固有属性(同条记忆换问句即变判) |
|
|
59
|
+
| judge_ranking 证据防火墙 | `md_cg/mdcos.py:730,756-760,835-848`(search_rrf,opt-in) | REJECT/BLINDSPOT 剔除、DEFER ×0.5 降权、ACCEPT 保位——资格裁决改写终排 | 乘数 `{0, 0.5, 1}` | **L3→L4 换算的唯一通道**;×0.5 是隐式量纲约定且未文档化——收敛时须显式声明;meta 带 judge_ranking/judge_filtered 审计字段(`mdcos.py:861-864`) |
|
|
60
|
+
|
|
61
|
+
### L4 Execution Confidence(执行置信)
|
|
62
|
+
|
|
63
|
+
| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
|
|
64
|
+
|---|---|---|---|---|
|
|
65
|
+
| hit_rate 滑动命中率 | `md_cg/predict.py:309-314` | feedback 历史滚动窗口(≤200)频率;空历史→0.40 基线 | [0,1] | 小样本过度自信(n=5 全中→1.0),正是 beta_posterior 的修正对象→§4-1 |
|
|
66
|
+
| beta_posterior / beta_mean | `md_cg/predict.py:319-346` | Beta-Bernoulli 后验(PRIOR_STRENGTH=20,先验均值=BASE_HIT_RATE=0.40),小样本向基线收缩;透出 mean/ci95/samples | [0,1] + 置信区间 | docstring(`predict.py:322-326`)自声明「置信度≠可信度(P-T-73/74)」——本层与 CTP 2.9.1a 通道可信度(理论 L1743-1746)精确对应,是五层里理论↔代码对齐最好的一处 |
|
|
67
|
+
| channel_posterior 通道后验 | `md_cg/predict.py:349-375`(channel_history/channel_posterior) | 按反馈通道分组的后验;未标注通道归 unlabeled 诚实不冒充 | [0,1] 分通道 | `md_cg/self_state.py:250-271` 透出 beta_mean/beta_ci95 进自我模型面——同一统计的第二个读出位(透出非重复计算,注记即可) |
|
|
68
|
+
| dynamic_hit_threshold 动态死区 | `md_cg/predict.py:655-675` | 样本<50 不反思;阈值=max(0.40, mean−2σ)——只对显著劣化反思,防噪声空耗 | [0,1] 阈值 | 消费的是 hit_rate 非 beta_mean——修正前后两个读数并存→§4-1 |
|
|
69
|
+
| score_route composite | `md_cg/predict.py:378-390` | T_pred 四维加权:trend 0.40 / boundary 0.20 / verification 0.25 / balance 0.15 | [0,1] | 权重表对齐 AEIS 2.10 节,与 CTP 理论 T_pred 四维(U_trust .30/U_behavior .25/U_connection .30/U_prediction_error .15,理论 L1520-1525)**不同表**——理论↔代码映射须显式注记,防「对齐了」的错觉 |
|
|
70
|
+
| 边置信度 edge confidence | `md_cg/predict.py:127-131`(_edge_conf);EDGE_BOOST=0.05(`predict.py:43`);命中回写 +0.05(`predict.py:599-652,678-719`) | 因果/时序边的结构置信,预测命中时增量回写 | [0,1] | `md_cg/mdcos.py:553`(_path_chain)逐跳**乘**边置信度进检索打分——与词面相似度混合聚合,量纲同语义异(结构信任 vs 词面匹配)→§4-7 |
|
|
71
|
+
| σ(Gain) 增益门槛 | `md_cg/autonomy.py:51-92`(gain_gate) | 无历史→1.0;读上轮 explore 实现值,连续 2 次终态停滞且冷却内(GAIN_COOLDOWN=3600s)→0.0 | `{0.0, 1.0}` 二值 | 筛选器非置信——值域碰巧与二值概率同形,勿与 qual 四态或概率混同 |
|
|
72
|
+
| proposals score 信息差定价 | `md_cg/autonomy.py:34,133-138`(W_D2/W_BLINDSPOT/W_DEFER=1.0/2.0/1.0) | 探索提案定价:1.0×Σ\|d2\| + 2.0×BLINDSPOT计数 + 1.0×DEFER计数 | 无界正实数 | **不归五层**(是信息差信号强度非置信);代码 `autonomy.py:17-18` 自声明「score 只做排序不做资格」;名为 score 与检索分/health score 撞名→§6 |
|
|
73
|
+
|
|
74
|
+
### L5 Consensus Confidence(共识置信)
|
|
75
|
+
|
|
76
|
+
| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
|
|
77
|
+
|---|---|---|---|---|
|
|
78
|
+
| health score 四因子 | `swarm/rust_swarm.py:142-178`(aggregate_health_python);Rust 同公式 `swarm/rust_runtime/src/health.rs:51`(score_instance) | 0.4×成功轮占比 + 0.2×参与轮占比 + 0.2×(1−error轮占比) + 0.2×integrity_rate | [0,1] | **混合层聚合**:对单实例是 L4 执行健康,成分里含 L2(integrity);蜂群比较时易被误读为「该实例可信度」(L1)——三层语义挤在一个数里,是 GPT 所指增殖的典型样本 |
|
|
79
|
+
| T_alignment | `swarm/rust_swarm.py:138` | 见 L1 表;此处按语义归 L5 | [0,1] | 度量「信任分布一致性」而非「独立验证共识」——L5 的弱替身(见 §5) |
|
|
80
|
+
| RRF fusion="sum" 多路共识奖励 | `md_cg/mdcos.py:752-755`(search_rrf 注释) | 等权 RRF 用 sum 奖励「多路共识」,max 只认单路最好 | 排序贡献 | L5 弱形态(检索路间共识);注释自声明会系统性低估单路独有候选——共识语义进召回面的现成案例 |
|
|
81
|
+
| 蜂群阶段4触发条件 | CTP 理论 `智能论3.4.md:2834`(T_avg≥0.75 持续30天) | 阶段升级的共识门槛 | 阈值 | **理论有、代码无**:阶段升级未工程化——L5 空缺的理论侧佐证 |
|
|
82
|
+
|
|
83
|
+
---
|
|
84
|
+
|
|
85
|
+
## 3 分层正确先例(代码内自声明,收敛的现成锚点)
|
|
86
|
+
|
|
87
|
+
概念收敛**不需要发明新原则**——四个关键分离代码里已有自声明,缺的只是给它们统一命名与显式分层:
|
|
88
|
+
|
|
89
|
+
| 先例 | 代码位置 | 自声明内容 | 对应分层 |
|
|
90
|
+
|---|---|---|---|
|
|
91
|
+
| 性能/资格正交 | `md_cg/mdcg.py:1254` | tier=怎么找到的(性能)/state=是否该用(资格),二者正交 | L3 资格 ≠ L4 检索性能 |
|
|
92
|
+
| 置信度≠可信度 | `md_cg/predict.py:322-326` | 置信度=单次判断内部一致性;可信度=通道历史验证命中率(P-T-73/74) | L3 断言置信 ≠ L4 通道执行置信 |
|
|
93
|
+
| 来源≠内容 | `md_cg/evidence.py:20-21` | 验证「证据来自该节点」≠「证据为真」 | L1 来源信任 ≠ L2/L3 证据与断言 |
|
|
94
|
+
| 定价≠资格 | `md_cg/autonomy.py:17-18` | score 只做排序不做资格 | 信号定价(非五层)≠ L3 资格 |
|
|
95
|
+
|
|
96
|
+
---
|
|
97
|
+
|
|
98
|
+
## 4 冗余与可合并项清单
|
|
99
|
+
|
|
100
|
+
| # | 项组 | 实质关系 | 处理建议(文档层;工程改动另案) |
|
|
101
|
+
|---|---|---|---|
|
|
102
|
+
| 4-1 | hit_rate ↔ beta_mean(`predict.py:309-314` ↔ `319-346`) | **同源同对象**:同一份 feedback 历史;beta = hit_rate 的先验收缩修正 | 读出面统一以 beta_mean 为「可信度」口径,hit_rate 降为审计字段;当前 dynamic_hit_threshold 与 score_route.verification 仍消费 hit_rate(修正前后读数并存)——切换属行为变更须回归验证 |
|
|
103
|
+
| 4-2 | T_alignment ↔ health score(`rust_swarm.py:138` ↔ `142-178`) | **不可合并**:对象不同(信任分布 vs 执行健康);但两者都被泛称「蜂群健康/信任」 | 保持分离,命名区分(trust_alignment / execution_health),禁止合成为单一 swarm score |
|
|
104
|
+
| 4-3 | WAL 验签 ↔ integrity_rate ↔ 跨节点 evidence 验签(`rust_swarm.py:88` / `173` / `evidence.py`) | 同一验证动作(验签)的三个读出位置 | 统一定位为「验签=来源可信(L1/L2 边界)原语」;三处读出各有用途(对账/健康/入库),不删读出面,只统一术语 |
|
|
105
|
+
| 4-4 | verification_basis 枚举 ↔ judge DEFER 规则(`nodefile.py:51` ↔ `mdcg.py:1232`) | **设计耦合非冗余**:无基底→DEFER 把 L2 当 L3 资格的门槛 | 保留现状;注记该耦合是五层间唯一已实现的跨层依赖,概念收敛时作为跨层依赖的范式 |
|
|
106
|
+
| 4-5 | score_route.verification 维 ↔ hit_rate 双重使用(`predict.py:378-390` ↔ `655-675`) | 同一统计(hit_rate)同时进入路线评分分量与反思死区阈值,样本不足时同向波动 | 建议 verification 维改读 beta_mean(与 4-1 同一动作);另案 |
|
|
107
|
+
| 4-6 | proposals score ↔ reflect d2(`autonomy.py:133-138` ↔ `mdcg.py:1487-1497`) | 同源链:score = d2 的加权聚合 + 资格计数;非冗余,但「score」与检索相似度分、health score 撞名 | 建议改名(如 signal_price / info_gap_score);改名属接口变更,另案 |
|
|
108
|
+
| 4-7 | 边置信度 ↔ 检索相似度(`predict.py:127-131` ↔ `mdcos.py:553`) | 量纲同([0,1])语义异(结构信任 vs 词面匹配),_path_chain 已逐跳混乘 | 分层命名:edge_trust vs lex_score;混乘公式是否保留属检索行为变更,另案 |
|
|
109
|
+
|
|
110
|
+
**合并先后建议**:先做零行为变更的(4-2、4-3 命名统一 → 4-6、4-7 改名),后做需回归的(4-1+4-5 统一读数源);4-4 只注记不动。
|
|
111
|
+
|
|
112
|
+
---
|
|
113
|
+
|
|
114
|
+
## 5 空缺层清单
|
|
115
|
+
|
|
116
|
+
| 层 | 空缺程度 | 具体缺口 | 备注 |
|
|
117
|
+
|---|---|---|---|
|
|
118
|
+
| L1 Source Trust | 半空缺 | 蜂群域有实现(trust/德/验签);**记忆域只有身份无信任**——writer/session 已落盘(2026-09-13 归属落地)但 writer 不带信任分、不进检索排序 | 若补:writer 信任属 L1,排序消费属 L3/L4,跨层链路须显式设计 |
|
|
119
|
+
| L2 Evidence Quality | 半空缺 | verification_basis 是名义枚举,**无连续证据强度量纲**;REPRODUCIBLE_BASIS 五档是唯一分级;`bench_progressive.py:220` 已自我承认(「证据强度分离,另案」) | 分级(枚举)与强度(数值)是两种量纲,收敛时不可混称 |
|
|
120
|
+
| L3 Claim Confidence | 不空缺 | fm.confidence + 四态 qual + 降级链,链路完整 | 当前最厚实层之一 |
|
|
121
|
+
| L4 Execution Confidence | 不空缺 | predict.py 全套 + judge_ranking 换算通道 | 当前系统重心;理论对齐最好(P-T-73/74) |
|
|
122
|
+
| L5 Consensus Confidence | **最薄(真空缺)** | 无「多验证者对同一断言独立验证→共识聚合」实现:review_queue 是单裁决者制;T_alignment 只度量信任分布一致性;CTP 阶段触发条件(T_avg≥0.75×30天)未工程化 | 若未来补 L5,最小闭环候选=review 队列多裁决者聚合或蜂群对同一节点证据的交叉验签计数 |
|
|
123
|
+
|
|
124
|
+
---
|
|
125
|
+
|
|
126
|
+
## 6 术语漂移实录(GPT 所指增殖的词面证据)
|
|
127
|
+
|
|
128
|
+
| 词 | 现状 | 各处含义 |
|
|
129
|
+
|---|---|---|
|
|
130
|
+
| 信任 / trust / 德 | 三名一物 | CTP「信任值」=信噪比协作度量(理论 L4376)= swarm trust(L1)= compiler「德」寄存器——本层内部一致,但外部读者易读成「总体置信」 |
|
|
131
|
+
| confidence | 一词三用 | fm.confidence(L3 断言静态声明)、edge confidence(L4 结构置信)、SEMANTIC_CONF=0.4(语义诱导候选固定置信) |
|
|
132
|
+
| 可信度 | 最干净 | beta docstring 专指「通道历史验证命中率」(`predict.py:322-326`),与 CTP 2.9.1a 一致——建议保留为 L4 专名 |
|
|
133
|
+
| score | 一词四用 | autonomy proposals(信号定价)、检索相似度分、score_route composite、health score——四处同名异义 |
|
|
134
|
+
| qual / 资格 | 最干净 | judge 四态,名义非数值,自声明与 tier 正交——建议保留为 L3 专名 |
|
|
135
|
+
|
|
136
|
+
**收敛建议方向**(文档层):每层一个专名——L1=信任(trust)、L2=证据(basis/strength)、L3=置信(confidence,断言面)+资格(qualification,query 面)、L4=可信度(reliability,通道面)、L5=共识(consensus);其余同义词(德→trust 保留别名注记、score 按 §4-6/4-7 改名)逐步归位。
|
|
137
|
+
|
|
138
|
+
---
|
|
139
|
+
|
|
140
|
+
## 7 边界声明
|
|
141
|
+
|
|
142
|
+
1. 本表是**文档层对齐**:只做概念归位、量纲盘点、冗余/空缺识别;不裁决任何工程面合并——行为变更(改默认值/排序/判定序/接口名)一律另案,过验证单元与使用者终裁。
|
|
143
|
+
2. 行号对齐 2026-09-15 工作区 HEAD,行号必腐化,引用以「文件+符号名」为准绳;本表为手写文档,不进 cogmap_sync 管线(非 README 认知图/功能映射表的投影对象)。
|
|
144
|
+
3. 五层框架来自外部评审提案;CTP 理论提供了 L1/L3/L4/L5 的锚点,**L2 在理论侧无独立层**(工程侧 verification_basis 为自建)——这是框架引入时的已知差异,不是本表的遗漏。
|
|
145
|
+
4. 表中「建议」列均非决议;凡标注「另案」者需独立判定单(设计者视角)后才可进入工程面。
|
|
@@ -39,7 +39,7 @@
|
|
|
39
39
|
|
|
40
40
|
| # | 理论命题(P-T) | 工程对象(P-E) | 测试 | 证据(强度) | 状态 |
|
|
41
41
|
|---|---|---|---|---|---|
|
|
42
|
-
| 16 | P-T-85 五层记忆职责(锚点/结构/知识/情境/自我) | P-E-21 `LAYERS` 八槽(+rejected/unresolved/goals
|
|
42
|
+
| 16 | P-T-85 五层记忆职责(锚点/结构/知识/情境/自我) | P-E-21 `LAYERS` 八槽(+rejected/unresolved/goals);**structural 业务写入口 = `md_cg/tasks.py`(2026-09-16)** | 逐层测试齐;**test_tasks 75 断言(2026-09-16)** | G4 对账锚点闭合 228+6102+4+5=6339(A);~~structural 实库 0 条~~ → 任务实体为该层正式业务入口(结构性一等节点:layer=structural、importance=0.8、跨会话不遗忘) | ✅ 层已启用(#16 结案,裁决见 §3A.5) |
|
|
43
43
|
| 17 | P-T-86 SELF 薄自我(身份+价值观+图接口,不存内容) | P-E-31 `self_state` 状态卡:九项只存当前值+指针,样本不足 unknown 不编造 | test_p16 51/51 | P-V-21/25/26 版本链+审计实库在跑(A) | ✅ 结构已证 |
|
|
44
44
|
| 18 | P-T-87 会话连续性(启动自动加载 SELF,按 session 索引) | P-E-31 session 切片+recall | test_p45 30/30 全绿 | P-V-34/37 跨会话续接实测(A) | ✅ 机制已证;🔴 实库纵深仅 2 版本留痕(月级连续性未证) |
|
|
45
45
|
| 19 | P-T-99 协定式自我赋予/扮演论边界(角色≠自身锚点) | P-E-26 `set_anchor` kind 分流(self→self 层,role→anchor 层,越界拒绝) | test_p10 24 项全绿 | P-V-24/30 实库锚点+保护留痕(A) | ✅ 已证 |
|
|
@@ -87,7 +87,7 @@
|
|
|
87
87
|
|
|
88
88
|
## 2A. 端口/锚定实现—理论张力(v0.2 盘点实查)
|
|
89
89
|
|
|
90
|
-
1.
|
|
90
|
+
1. ~~**structural 层空层**~~(**已完成 2026-09-16**):`LAYERS` 八槽齐全,structural 层此前唯一业务写入口 `identity.add_trait` 在主库从未使用(G4 对账中 0 条)。现由 `md_cg/tasks.py`(`cg(op=task)`)承担该层正式业务写入口——任务实体为结构性一等节点,直接对位「忘记已实现的工程/计划与实际不符/缺核验/换表述即新任务」四症状的机制解。
|
|
91
91
|
2. **「锚点」双义未消解**:anchor 身份锚点层(不可遗忘)与 `reconstruct_scene`/`anchor_from_description` 的检索锚点(动态词面选出、跨层)同名异物;重构的 blindspot 判定不读 anchor 层语义。
|
|
92
92
|
3. ~~**preflight fail-open**~~(**已完成 2026-09-13**):门面(AEIS 真身+md_cg 镜像同步)改为 fail-closed——未装配返回 `ok:False + status=fail_closed + 装配错误透传`,「检查未执行」不再冒充「检查通过」;实现体实际在库内镜像可审计(v0.2 盘点时误判为仓外)。
|
|
93
93
|
4. **自我连续性纵深极薄**:机制测试全绿(P16 51/51、P45 30/30),但实库 `_self_state.jsonl` 仅 2 个版本、self 层 5 节点中 3 个 vb=null——「一个月后还是同一个我」目前仅小时级留痕支撑,v2.0 评分报告已自declared 此边界。
|
|
@@ -99,15 +99,15 @@
|
|
|
99
99
|
2. ~~**#29 preflight 改 fail-closed**~~(**已完成 2026-09-13**):未装配返回拦截(ok:False+fail_closed+错误透传)而非放行,与写入侧纪律对齐;双侧专项测试 12+12、装配路径回归 50/50。
|
|
100
100
|
3. ~~**#25 端口命题最小投影**~~(**已完成 2026-09-13**):文档层声明已落(§1A #25 行)——输入=AEIS 感知侧(ingest/add 闸)、内部=predict/reflect、输出=宿主工具面(mutual_watch 心跳拉起=输出端口最小具身形态);三端口各自机制测试已在位(failclosed/predict_beta/sustain_mutual),专属具身场景测试待真实多实例环境。
|
|
101
101
|
4. **#18 自我连续性长周期实证**:机制已证,缺的是时间——由日常运行自然积累(self_state refresh 留痕),数月后回看,无需专项开发。
|
|
102
|
-
5.
|
|
102
|
+
5. ~~**#16 structural 层启用裁决**~~(**已裁决并落地 2026-09-16**):两条候选中选「接入实际流程」而非「文档声明暂缓」——structural 层新增正式业务写入口 `md_cg/tasks.py`(任务实体)。生效条件:存在需跨会话/跨上下文压缩续接的工程任务;边界:该层只承载任务骨架(目标/计划/计划变更/结果/状态/验收/边界),执行中间过程仍由情境层自持、任务产出知识归知识层,三者不互相替代;不适用:闲聊与无延续性的单步操作。
|
|
103
103
|
|
|
104
104
|
## 1B. 信息差公理映射矩阵(v0.3,编号续接;理论 24 条 P-T-117~140 / 工程 P-E-46~59 / 证据 P-V-46~57)
|
|
105
105
|
|
|
106
106
|
| # | 理论命题(P-T) | 工程对象(P-E) | 测试 | 证据(强度) | 状态 |
|
|
107
107
|
|---|---|---|---|---|---|
|
|
108
|
-
| 31 | P-T-117 信息差增定律 dD/dt≥0(自我定级「可操作化的经验命题」) | D_task/D_meta 分离未投影 | — | — |
|
|
108
|
+
| 31 | P-T-117 信息差增定律 dD/dt≥0(自我定级「可操作化的经验命题」) | D_task/D_meta 分离未投影 | — | — | 🟡 **结构性投影已落地(2026-09-20)**:`md_cg/d_meta.py`(边界压力向量三代理)+ `mdcg.reflect` 并列落 `d_meta`/`d_meta_delta` + MCP 观测面 `cg(op=metacognition, action="d_meta")`;**D_meta 不入 `_compute_d`**(D_task 口径零变更,数值不互换)。剩余=真实多域场景下对增定律的轨迹观测(方案 v0.2 阶段 6 交使用者) |
|
|
109
109
|
| 32 | P-T-124 D_norm 四分量(w=0.30/0.25/0.30/0.15,**权重无来源推导**) | P-E-59 `wisdom_book.dex_auto_verify` 唯一数值实现 | 无 | B | ✅ **桥接裁决完成(2026-09-13)**:智能论3.4 §2.7.0 新增 DEV-002a——主工程检索口径 D 与 wisdom 四分量 D_norm 同为 D_task 工程化身(检索链路/验证链路),对象同一、数值不互换;两侧实现 docstring/注释已落口径声明。权重来源推导仍开放(诚实保留) |
|
|
110
|
-
| 33 | P-T-126/127 D_task/D_meta 分离(学习悖论消解,有实测方案) | D_task≈`reflect` 的 D(检索命中口径);D_meta 无对象 | 无 | P-V-51 审计自认「world 侧无处可写」 |
|
|
110
|
+
| 33 | P-T-126/127 D_task/D_meta 分离(学习悖论消解,有实测方案) | D_task≈`reflect` 的 D(检索命中口径);D_meta 无对象 | 无 | P-V-51 审计自认「world 侧无处可写」 | 🟡 **对象已建立(2026-09-20)**:D_meta = 边界压力向量(`events_pressure`/`unmodeled_growth`/`boundary_violation_rate`),三代理各自 [0,1] 归一、**不合成单值**(DEV-002a);落 `_reflection.jsonl.d_meta`、`_explore.jsonl.meta_outcomes`、`self_state.prediction.d_meta_trend`。剩余=代理与「世界侧真实事件」的距离(诚实口径:只计**进入系统但未被消化**的事件,非世界真实未发生事件) |
|
|
111
111
|
| 34 | P-T-133 情绪=d²D/dt²(自我定级「形式化假设」) | P-E-48 `_emotion`(D2_EMOTION=0.05 阈值三态) | test_p12 状态转移断言 | P-V-47(B);实库已激活(2026-09-13):emotion=stable(D 序列 [1,1,1] → d2=0.0;D 恒 1.0 因复合 query 检索全 DEFER/BLINDSPOT 无 ACCEPT,D 口径对 judge 结果敏感) | 🟡 机制已证、实库有值(语义弱:序列无变化) |
|
|
112
112
|
| 35 | P-T-134 情感=d²T/dt² | P-E-49 trust 二阶差分 | test_p12 D1-D3 | B | 🟡 同上 |
|
|
113
113
|
| 36 | P-T-140 P_trust≠信息差补集、P_gap 判定 | P-E-49 `metacognition.trust` + P-E-58 `links.py` 链路级 P_trust(±步进/衰减/降级) | test_p12 | 实库 p_trust=0.75(12 事件 9 confirmed,2026-09-13:补测③ anchor 回填 4 + 本轮 preflight gate confirmed + 既有 mem 验证;p_gap=0.0 与 D=1.0 一致自洽) | 🟡 信任面已激活 |
|
|
@@ -115,7 +115,7 @@
|
|
|
115
115
|
| 38 | P-T-137 管理三工具(索引+条件路由/BLINDSPOT/误差更新) | 三工具全部在库(routing/judge/predict.feedback) | 全绿 | 条件论部分 A 级 | ✅ 管理宣言的工程形态已证 |
|
|
116
116
|
| 39 | P-T-136(本次抽取发现的理论缺口)统一变量**无边界条款**——审美/创造零条款,好奇心被降格为策略而非豁免 | — | — | — | ✅ **条款已写入(2026-09-13)**:智能论3.4 §2.9.3.1「统一变量边界条款」——独立动机类/预算化豁免(非无限豁免)/与猎奇出局分条件空间/白箱纪律自限(规范性声明非定理)。对 GPT 三核心问题①的正面回答基础就位 |
|
|
117
117
|
|
|
118
|
-
统计(信息差):✅ 4 | 🟡
|
|
118
|
+
统计(信息差):✅ 4 | 🟡 5 | 🔴 0(2026-09-20:#31/#33 由结构性投影收口——`md_cg/d_meta.py` + 双 D 落盘 + 观测面,方案 `docs/mdcg/D_meta_工程化方案_v0.2.md`;剩余为真实多域场景轨迹观测,不再计 🔴)
|
|
119
119
|
|
|
120
120
|
## 2B. 信息差实现—理论张力(v0.3 盘点实查)
|
|
121
121
|
|