@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
package/md_cg/vision_evidence.py
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
|
|
4
4
|
裁定依据
|
|
5
5
|
--------
|
|
6
|
-
`docs/认知图_G4-G8缺口裁定单_v0.1.md` §三(四态 = ACCEPT,条件 = 脱敏 + 只读 AEIS)。
|
|
6
|
+
`docs/mdcg/认知图_G4-G8缺口裁定单_v0.1.md` §三(四态 = ACCEPT,条件 = 脱敏 + 只读 AEIS)。
|
|
7
7
|
缺口根因(库外只读观测):产出侧 `vision_pipeline.cg_ingest` 只取
|
|
8
8
|
`p.get("model_evidence")`,白箱 `geometry_parts` 部件不带该键 → 部件节点证据面
|
|
9
9
|
恒为 `{}`。即「证据口径未定义」,不是「没有证据」。
|
|
@@ -116,15 +116,18 @@ _RE_DIR_N = re.compile(r"_(\d+)$")
|
|
|
116
116
|
|
|
117
117
|
# ---- 通用工具 -------------------------------------------------------------
|
|
118
118
|
|
|
119
|
+
# 生效条件:x 为 str 时返回 MdCGOS(x) 新实例,否则原样返回 x。
|
|
119
120
|
def _as_cg(x):
|
|
120
121
|
"""接受 root 路径或已构造 cg 实例——保持密级隔离与密钥上下文。"""
|
|
121
122
|
return MdCGOS(x) if isinstance(x, str) else x
|
|
122
123
|
|
|
123
124
|
|
|
125
|
+
# 生效条件:无必需形参,调用即返回 time.strftime("%Y%m%d-%H%M%S") 的当前批次串。
|
|
124
126
|
def _now_batch() -> str:
|
|
125
127
|
return time.strftime("%Y%m%d-%H%M%S")
|
|
126
128
|
|
|
127
129
|
|
|
130
|
+
# 生效条件:base 为字符串批号,先读 _log_path(cg) 的 jsonl 收集 batch 字段中以 base 开头的已有值,base 未被占用则原样返回 base,已占用则返回首个未占用的 f"{base}.{i}"(i 从 2 递增)。
|
|
128
131
|
def _unique_batch(cg, base: str) -> str:
|
|
129
132
|
"""同秒重复调用时批号去重(后缀 .2/.3…),保证按批次回滚不打偏。"""
|
|
130
133
|
seen = set()
|
|
@@ -140,21 +143,25 @@ def _unique_batch(cg, base: str) -> str:
|
|
|
140
143
|
return f"{base}.{i}"
|
|
141
144
|
|
|
142
145
|
|
|
146
|
+
# 生效条件:cg 具 root 属性时取 cg.root、否则取 str(cg) 作为 root,返回 os.path.join(root, EVIDENCE_LOG)。
|
|
143
147
|
def _log_path(cg) -> str:
|
|
144
148
|
root = cg.root if hasattr(cg, "root") else str(cg)
|
|
145
149
|
return os.path.join(root, EVIDENCE_LOG)
|
|
146
150
|
|
|
147
151
|
|
|
152
|
+
# 生效条件:batch 与 nid 恒以 "%s|%s" 拼接成条目号,不做空值或类型校验。
|
|
148
153
|
def _entry_id(batch: str, nid: str) -> str:
|
|
149
154
|
return "%s|%s" % (batch, nid)
|
|
150
155
|
|
|
151
156
|
|
|
157
|
+
# 生效条件:v 为 list/tuple 时返回各元素 str(x).strip() 后非空项以「;」连接;否则 v 为 None 返回空串,其余值返回 str(v).strip()。
|
|
152
158
|
def _as_text(v) -> str:
|
|
153
159
|
if isinstance(v, (list, tuple)):
|
|
154
160
|
return ";".join(str(x).strip() for x in v if str(x).strip())
|
|
155
161
|
return "" if v is None else str(v).strip()
|
|
156
162
|
|
|
157
163
|
|
|
164
|
+
# 生效条件:path 经 abspath→dirname→basename 取名后匹配 _RE_DIR_N,命中则返回 int(m.group(1)),未命中返回 None。
|
|
158
165
|
def _gallery_no(path: str):
|
|
159
166
|
"""图集编号:目录名尾部 `_<N>`;缺省 None(脱敏引用用)。"""
|
|
160
167
|
name = os.path.basename(os.path.dirname(os.path.abspath(path)))
|
|
@@ -162,10 +169,12 @@ def _gallery_no(path: str):
|
|
|
162
169
|
return int(m.group(1)) if m else None
|
|
163
170
|
|
|
164
171
|
|
|
172
|
+
# 生效条件:gal 非 None 时返回 "图集_%s" % gal,gal 为 None 时返回 "图集_?"。
|
|
165
173
|
def _gallery_ref(gal) -> str:
|
|
166
174
|
return "图集_%s" % (gal if gal is not None else "?")
|
|
167
175
|
|
|
168
176
|
|
|
177
|
+
# 生效条件:无必需形参,按 os.environ.get(VISION_ROOT_ENV) or os.environ.get(LEGACY_VISION_ROOT_ENV) or DEFAULT_VISION_ROOT 取值——某环境变量为空串时视为假值继续回落下一项。
|
|
169
178
|
def vision_root() -> str:
|
|
170
179
|
"""视觉证据归档根:env 覆盖 > 遗留 env > 本仓 data/vision 的父目录。"""
|
|
171
180
|
return (os.environ.get(VISION_ROOT_ENV)
|
|
@@ -179,6 +188,7 @@ aeis_root = vision_root
|
|
|
179
188
|
|
|
180
189
|
# ---- 证据源(只读归档) ---------------------------------------------------
|
|
181
190
|
|
|
191
|
+
# 生效条件:root 下 data/vision/*/*.json 逐文件读;文件 OSError/ValueError、JSON 顶层非 dict、parts 非非空 list、或过滤后(type 与 cond_hash 皆真值的 dict)无记录时跳过该文件,否则收入含 path/gallery/image_id/algo/identity_cond_hash/by_type/by_cond 的 src 并最终返回 out 列表。
|
|
182
192
|
def load_sources(root: str) -> list:
|
|
183
193
|
"""扫描 `AEIS/data/vision/*/*.json`,取逐部件结构化结果(主证据源)。"""
|
|
184
194
|
base = os.path.join(root, "data", "vision")
|
|
@@ -215,6 +225,7 @@ def load_sources(root: str) -> list:
|
|
|
215
225
|
|
|
216
226
|
# ---- 节点正文解析 ---------------------------------------------------------
|
|
217
227
|
|
|
228
|
+
# 生效条件:content 为 None 或空串时按 "" 处理;逐行 strip 后跳过空行与以 # 开头的行,返回首个含 ROOT_MARK 或匹配 _RE_PART 的行,全部无命中返回 ""。
|
|
218
229
|
def _find_body_line(content: str) -> str:
|
|
219
230
|
for ln in (content or "").split("\n"):
|
|
220
231
|
s = ln.strip()
|
|
@@ -225,6 +236,7 @@ def _find_body_line(content: str) -> str:
|
|
|
225
236
|
return ""
|
|
226
237
|
|
|
227
238
|
|
|
239
|
+
# 生效条件:rest 为 None/假值时按 "" 处理,分别用 _RE_COND/_RE_VERDICT/_RE_REASON/_RE_FG 捕获;fg 命中则转 float、ValueError 时置 None;reason 命中并 strip 后为空则置 None;返回含 cond_hash/verdict/reason/fg_ratio 四键的 dict(未命中键值为 None)。
|
|
228
240
|
def _fields(rest: str) -> dict:
|
|
229
241
|
m = _RE_COND.search(rest or "")
|
|
230
242
|
v = _RE_VERDICT.search(rest or "")
|
|
@@ -242,6 +254,7 @@ def _fields(rest: str) -> dict:
|
|
|
242
254
|
"fg_ratio": fg}
|
|
243
255
|
|
|
244
256
|
|
|
257
|
+
# 生效条件:content 无正文行(空串、全为注释/空行、或无 ROOT_MARK 且不匹配 _RE_PART)返回 None;首行含 ROOT_MARK 返回 kind="root" 记录(n_parts 由 _RE_NPARTS 转 int、未命中为 None,cond_hash 取自 _fields);否则须匹配 _RE_PART,不匹配返回 None,匹配后 bbox 按逗号切分对非空项做 int(float(x))(ValueError 则 bbox=None)并返回 kind="part" 记录。
|
|
245
258
|
def parse_node(content: str):
|
|
246
259
|
"""视觉节点正文 → 结构化记录;非视觉节点 → None。"""
|
|
247
260
|
line = _find_body_line(content)
|
|
@@ -268,6 +281,7 @@ def parse_node(content: str):
|
|
|
268
281
|
|
|
269
282
|
# ---- 节点集合 -------------------------------------------------------------
|
|
270
283
|
|
|
284
|
+
# 生效条件:layer 透传给 cg._candidates,nid 取 e["id"] 或 path 去 .md 后须以 prefixes 中任一开头且 cg._read 返回非 None 的 fm 才被计数;加密内容记录 locked=True/parsed=None 且不触发 limit 检查,非加密内容 parse_node 后若 limit 非 None 且节点数已达 limit 即 break(因此最多多计该条)。
|
|
271
285
|
def _vision_nodes(cg, layer=None, prefixes=VISION_PREFIXES, limit=None) -> list:
|
|
272
286
|
"""收集视觉节点(只读 index)。
|
|
273
287
|
|
|
@@ -295,6 +309,7 @@ def _vision_nodes(cg, layer=None, prefixes=VISION_PREFIXES, limit=None) -> list:
|
|
|
295
309
|
return nodes
|
|
296
310
|
|
|
297
311
|
|
|
312
|
+
# 生效条件:nodes 中 parsed 为 dict、kind=="root" 且 cond_hash 为真值的节点,以其 tags[-1](无 tags 时为空串)为标签 setdefault 记录首个 cond_hash,返回标签→cond_hash 的 out。
|
|
298
313
|
def _family_root_cond(nodes) -> dict:
|
|
299
314
|
"""家族标签(image_id) → 根节点 cond_hash。"""
|
|
300
315
|
out = {}
|
|
@@ -306,6 +321,7 @@ def _family_root_cond(nodes) -> dict:
|
|
|
306
321
|
return out
|
|
307
322
|
|
|
308
323
|
|
|
324
|
+
# 生效条件:n["id"] 以 "vpipe_" 开头时先以 roots.get(tags[-1] 或 "") 取 cond——cond 为假返回 (None,"no_family_root"),cond 为真则在 sources 中匹配 identity_cond_hash 成功返回 (s,"identity_cond_hash")、未命中再按该标签匹配 image_id 成功返回 (s,"image_id")、仍失败返回 (None,"no_source_archive");非 vpipe_ 时取 tags 中首个匹配 _RE_IMG_TAG 的 img<N>(未取到则不匹配)按 image_id 命中返回 (s,"image_tag"),否则返回 (None,"no_source_archive")。
|
|
309
325
|
def _pick_source(n, sources, roots) -> tuple:
|
|
310
326
|
"""→ (source, joined_by);无法定位图集 → (None, 原因)。"""
|
|
311
327
|
nid = n["id"]
|
|
@@ -339,6 +355,7 @@ def _pick_source(n, sources, roots) -> tuple:
|
|
|
339
355
|
|
|
340
356
|
# ---- 三档映射 -------------------------------------------------------------
|
|
341
357
|
|
|
358
|
+
# 生效条件:parsed.cond_hash 为真值时按 str(cond_hash) 从 src["by_cond"] 取候选——其中 type 与 parsed["type"] 相同者直接返回 (r,"cond_hash"),否则候选仅 1 条返回 (cands[0],"cond_hash")、多于 1 条返回 (None,None);候选为空或 cond_hash 为假时若 parsed.type 为真则按 src["by_type"].get(type) 命中返回 (r,"type"),否则返回 (None,None)。
|
|
342
359
|
def _match_record(src, parsed, joined_by):
|
|
343
360
|
"""在归档里定位对应部件记录(imgpart 优先 cond_hash 精确,vpipe 按 type)。"""
|
|
344
361
|
if parsed.get("cond_hash"):
|
|
@@ -355,6 +372,7 @@ def _match_record(src, parsed, joined_by):
|
|
|
355
372
|
return None, None
|
|
356
373
|
|
|
357
374
|
|
|
375
|
+
# 生效条件:n["locked"] 为真→BLINDSPOT(reason="locked");否则 parsed 缺失→"unparsed"、kind 非 "part"→"root_no_verdict";否则 _pick_source(n,sources,roots) 无源→以 why 为 reason;否则 _match_record 无记录→"no_matching_part";否则 parsed 与 rec 的 verdict 均为真且不等→"verdict_mismatch";否则 TIER2_FIELDS 中任一字段为 None→"missing_field:…";全部通过才返回 STATUS_WHITEBOX 与 ev(未用到的形参 aeis_root_used 不参与判定)。
|
|
358
376
|
def build_evidence(n, sources, roots, aeis_root_used):
|
|
359
377
|
"""单节点 → (status, evidence, meta);严格三档,缺源即 BLINDSPOT。"""
|
|
360
378
|
parsed = n.get("parsed")
|
|
@@ -397,6 +415,7 @@ def build_evidence(n, sources, roots, aeis_root_used):
|
|
|
397
415
|
|
|
398
416
|
# ---- 预演 / 执行 / 回滚 / 留痕 --------------------------------------------
|
|
399
417
|
|
|
418
|
+
# 生效条件:x 经 _as_cg 转换;prefixes 为假值回落 VISION_PREFIXES、aeis_root_ 为假值回落 aeis_root();ids 为真值时才按 set(ids) 过滤 nodes;对 nodes 调 build_evidence,locked 节点只累加 skipped_locked,白箱项入 items、其余入 blindspot_items,全程不写盘并返回含 aeis_root/sources/nodes_scanned/targeted/blindspot/by_reason 的报表。
|
|
400
419
|
def plan(x, layer=None, prefixes=None, limit=None,
|
|
401
420
|
aeis_root_=None, ids=None) -> dict:
|
|
402
421
|
"""预演:产出证据回填清单,不写盘。"""
|
|
@@ -445,6 +464,7 @@ def plan(x, layer=None, prefixes=None, limit=None,
|
|
|
445
464
|
}
|
|
446
465
|
|
|
447
466
|
|
|
467
|
+
# 生效条件:x 经 _as_cg,batch 为假值回落 BATCH_DEFAULT 并交给 _unique_batch(cg, …) 去重;ids 为真值才按 id 过滤、entry_ids 为真值才按 _entry_id(batch,id) 过滤;循环中节点不在 cg.index["nodes"] 记 skipped_drift,fm 为 None 或内容加密记 skipped_locked,fm 已有同 status(白箱还要求 evidence 相同)记 skipped_already,否则改写 fm 并落盘、追加 jsonl、收集 entry_id;written 非 0 时 cg.rebuild_index() 并尝试 evolution.record(异常被吞)后返回 rep。
|
|
448
468
|
def apply(x, ids=None, entry_ids=None, layer=None, prefixes=None,
|
|
449
469
|
limit=None, batch=None, aeis_root_=None, actor=None) -> dict:
|
|
450
470
|
"""执行回填:逐节点改写 frontmatter 证据面,写 `_vision_evidence.jsonl`。"""
|
|
@@ -528,6 +548,7 @@ def apply(x, ids=None, entry_ids=None, layer=None, prefixes=None,
|
|
|
528
548
|
return rep
|
|
529
549
|
|
|
530
550
|
|
|
551
|
+
# 生效条件:x 经 _as_cg 后读 _log_path(cg) 日志,只处理 action=="vision_evidence" 记录;batch 为真值时仅取 batch 相同记录、entry_ids 为真值时仅取 entry_id 在集合内记录、该 entry_id 已出现在 rollback 日志则记 skipped_done;节点缺失或 _read 返回 fm 为 None 记 missing,EVIDENCE_KEYS 一个都不在 fm 中记 skipped_done,否则删除命中键、写盘并追加 rollback 留痕,reverted 非 0 时重建索引后返回 rep。
|
|
531
552
|
def rollback(x, batch=None, entry_ids=None, actor=None) -> dict:
|
|
532
553
|
"""按留痕反向应用:删除本批次写入的证据键(幂等,防覆盖)。"""
|
|
533
554
|
cg = _as_cg(x)
|
|
@@ -580,6 +601,7 @@ def rollback(x, batch=None, entry_ids=None, actor=None) -> dict:
|
|
|
580
601
|
return rep
|
|
581
602
|
|
|
582
603
|
|
|
604
|
+
# 生效条件:x 经 _as_cg 后逐条读 _log_path(cg),batch 为真值时才按 rec.get("batch")==batch 过滤;limit 非 None 且 >=0 时执行 recs = recs[-limit:](limit=0 因 -0 切片退化为全量),limit 为 None 或负数时不截断,返回 {root,total,returned,records}。
|
|
583
605
|
def history(x, limit=100, batch=None) -> dict:
|
|
584
606
|
cg = _as_cg(x)
|
|
585
607
|
recs = []
|
|
@@ -596,6 +618,7 @@ def history(x, limit=100, batch=None) -> dict:
|
|
|
596
618
|
|
|
597
619
|
# ---- CLI(真实库预演/执行用;MCP 侧走 maintain action) -------------------
|
|
598
620
|
|
|
621
|
+
# 生效条件:argv 为 None 时 argparse 取 sys.argv;--prefixes 默认由 ",".join(VISION_PREFIXES) 提供并切出非空前缀;a.rollback 为真调 rollback(entry_ids 切分后为空则传 None)、否则 a.apply 为真调 apply、否则调 plan;--json 为真打印整份 JSON,否则按固定关键字打印并恒返回 0。
|
|
599
622
|
def _main(argv=None) -> int:
|
|
600
623
|
import argparse
|
|
601
624
|
ap = argparse.ArgumentParser(description="G5 视觉证据回填(默认只预演)")
|
|
@@ -641,4 +664,4 @@ def _main(argv=None) -> int:
|
|
|
641
664
|
|
|
642
665
|
|
|
643
666
|
if __name__ == "__main__": # pragma: no cover
|
|
644
|
-
raise SystemExit(_main())
|
|
667
|
+
raise SystemExit(_main())
|
package/md_cg/weights.py
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
|
|
4
4
|
理论出处(本仓原文,非外部知识)
|
|
5
5
|
--------------------------------
|
|
6
|
-
`docs/智能的公理化基石.md` §4.3:信任合成是
|
|
6
|
+
`docs/theory/智能的公理化基石.md` §4.3:信任合成是
|
|
7
7
|
P_trust = f(一致性, 位置可预测性, 版本对齐度)
|
|
8
8
|
其中 `版本对齐度` 已由 `theory` + `links.version_alignment` 提供,
|
|
9
9
|
`位置可预测性` 见 `predict`,`一致性` 见 `consistency`。本模块只补一件
|
|
@@ -108,6 +108,7 @@ class WeightError(Exception):
|
|
|
108
108
|
# 基础查询
|
|
109
109
|
# --------------------------------------------------------------------------
|
|
110
110
|
|
|
111
|
+
# 生效条件:position 经 str(position or "").strip() 作为 SPEC 的键,命中时返回对应 spec dict,未命中(含 position 为 None/空串/未知)抛 WeightError;
|
|
111
112
|
def _spec(position: str) -> dict:
|
|
112
113
|
s = SPEC.get(str(position or "").strip())
|
|
113
114
|
if s is None:
|
|
@@ -115,6 +116,7 @@ def _spec(position: str) -> dict:
|
|
|
115
116
|
return s
|
|
116
117
|
|
|
117
118
|
|
|
119
|
+
# 生效条件:component 经 str(component or "").strip() 后若结果在 COMPONENTS 中返回该规范分量字符串,否则抛 WeightError;
|
|
118
120
|
def _comp(component: str) -> str:
|
|
119
121
|
c = str(component or "").strip()
|
|
120
122
|
if c not in COMPONENTS:
|
|
@@ -122,32 +124,38 @@ def _comp(component: str) -> str:
|
|
|
122
124
|
return c
|
|
123
125
|
|
|
124
126
|
|
|
127
|
+
# 生效条件:position 可被 _spec 解析且其结果 "class" 等于 VIEWPOINT 时返回 True,非 VIEWPOINT 返回 False,未知 position 抛 WeightError;
|
|
125
128
|
def is_viewpoint(position: str) -> bool:
|
|
126
129
|
"""是否认知视角(3 项都涉及,不设零)。"""
|
|
127
130
|
return _spec(position)["class"] == VIEWPOINT
|
|
128
131
|
|
|
129
132
|
|
|
133
|
+
# 生效条件:position 可被 _spec 解析且其结果 "class" 等于 FUNCTIONAL 时返回 True,非 FUNCTIONAL 返回 False,未知 position 抛 WeightError;
|
|
130
134
|
def is_functional(position: str) -> bool:
|
|
131
135
|
"""是否功能单元(身份即排除)。"""
|
|
132
136
|
return _spec(position)["class"] == FUNCTIONAL
|
|
133
137
|
|
|
134
138
|
|
|
139
|
+
# 生效条件:position 经 _spec(position) 验证可解析后,返回原始 position 是否在模块级 DAILY 中;带首尾空白等未 strip 的值会因不在 DAILY 返回 False,未知 position 抛 WeightError;
|
|
135
140
|
def in_daily_eval(position: str) -> bool:
|
|
136
141
|
"""是否参与日常评估(设计者=False,元参照系)。"""
|
|
137
142
|
_spec(position)
|
|
138
143
|
return position in DAILY
|
|
139
144
|
|
|
140
145
|
|
|
146
|
+
# 生效条件:position 可被 _spec 解析且其 spec 含 "primary" 键时返回该值,未知 position 抛 WeightError;
|
|
141
147
|
def dominant(position: str) -> str:
|
|
142
148
|
"""主导分量(权重最高者)。"""
|
|
143
149
|
return _spec(position)["primary"]
|
|
144
150
|
|
|
145
151
|
|
|
152
|
+
# 生效条件:position 可被 _spec 解析且其 spec 含 "secondary" 键时返回该值(视角可为 None),未知 position 抛 WeightError;
|
|
146
153
|
def secondary(position: str):
|
|
147
154
|
"""次主导分量;视角返回 None(另两项并列、均 >0)。"""
|
|
148
155
|
return _spec(position)["secondary"]
|
|
149
156
|
|
|
150
157
|
|
|
158
|
+
# 生效条件:position 可被 _spec 解析且其 spec 含 "excluded" 键时返回该值(视角可为 None),未知 position 抛 WeightError;
|
|
151
159
|
def excluded(position: str):
|
|
152
160
|
"""被排除分量(≈0);视角返回 None(不设零)。"""
|
|
153
161
|
return _spec(position)["excluded"]
|
|
@@ -157,6 +165,7 @@ def excluded(position: str):
|
|
|
157
165
|
# 序比较(本模块的权威结论:只有序,没有数值)
|
|
158
166
|
# --------------------------------------------------------------------------
|
|
159
167
|
|
|
168
|
+
# 生效条件:position 与 component 分别经 _spec 与 _comp 验证后,若 component 等于该位置 spec["excluded"] 返回 RANK_EXCLUDED,否则若等于 spec["primary"] 返回 RANK_PRIMARY,否则返回 RANK_SECONDARY;
|
|
160
169
|
def rank(position: str, component: str) -> float:
|
|
161
170
|
"""分量在该位置的序秩(占位量级):2 主导 / 1 参与 / 0 排除。"""
|
|
162
171
|
s = _spec(position)
|
|
@@ -168,6 +177,7 @@ def rank(position: str, component: str) -> float:
|
|
|
168
177
|
return RANK_SECONDARY
|
|
169
178
|
|
|
170
179
|
|
|
180
|
+
# 生效条件:position、a、b 经 rank 可得序秩,若 rank(position,a)==rank(position,b) 返回 None,否则返回 ra>rb 的 bool;任一参数未知则抛 WeightError;
|
|
171
181
|
def prefers(position: str, a: str, b: str):
|
|
172
182
|
"""该位置是否**严格**偏好 a 胜过 b。
|
|
173
183
|
|
|
@@ -179,6 +189,7 @@ def prefers(position: str, a: str, b: str):
|
|
|
179
189
|
return ra > rb
|
|
180
190
|
|
|
181
191
|
|
|
192
|
+
# 生效条件:position 经 _spec 验证且 COMPONENTS 可用时,按 -rank(position,c) 与 COMPONENTS.index(c) 排序,返回 {"preferred":[rank>0], "excluded":[rank==0], "primary":dominant(position), "secondary":secondary(position)}(无 dominant 键);
|
|
182
193
|
def order(position: str):
|
|
183
194
|
"""从高到低排列的分量(并列者按 COMPONENTS 稳定序);排除项单独列出。"""
|
|
184
195
|
_spec(position)
|
|
@@ -189,6 +200,7 @@ def order(position: str):
|
|
|
189
200
|
"primary": dominant(position), "secondary": secondary(position)}
|
|
190
201
|
|
|
191
202
|
|
|
203
|
+
# 生效条件:position 经 _spec 验证且 COMPONENTS 可用时,将各分量 rank 归一化到 4 位小数返回;若 total 为 0 则按 total=1.0 计算;
|
|
192
204
|
def weights(position: str) -> dict:
|
|
193
205
|
"""占位数值权重(序秩归一化);**未标定**,仅供仿真。"""
|
|
194
206
|
_spec(position)
|
|
@@ -201,6 +213,7 @@ def weights(position: str) -> dict:
|
|
|
201
213
|
# 合成(占位:f(一致性, 位置可预测性, 版本对齐度))
|
|
202
214
|
# --------------------------------------------------------------------------
|
|
203
215
|
|
|
216
|
+
# 生效条件:position 经 _spec 可解析且 COMPONENTS 可用时,components 对每个分量经 .get(c,0.0) 取值并截到 [0,1];若 components 无 .get 或该值不能 float 则该分量值记 0.0,仍按 weights(position) 加权求和返回含 score/values/weights/dominant 的 dict;
|
|
204
217
|
def blend(position: str, components: dict) -> dict:
|
|
205
218
|
"""按位置的权重合成单一信任标量。
|
|
206
219
|
|
|
@@ -229,6 +242,7 @@ def blend(position: str, components: dict) -> dict:
|
|
|
229
242
|
# 不变量自检(把上轮的三条结构约束落成可执行断言)
|
|
230
243
|
# --------------------------------------------------------------------------
|
|
231
244
|
|
|
245
|
+
# 生效条件:模块级 POSITION_ORDER、COMPONENTS、SPEC、VIEWPOINT、FUNCTIONAL 等常量齐备时,invariants() 逐条自检并返回 {"ok": all(checks[*].ok), "checks": ...};
|
|
232
246
|
def invariants() -> dict:
|
|
233
247
|
"""逐条自检结构约束,返回 {ok, checks{name: {ok, detail}}}。"""
|
|
234
248
|
checks = {}
|
|
@@ -294,6 +308,7 @@ def invariants() -> dict:
|
|
|
294
308
|
# 自描述
|
|
295
309
|
# --------------------------------------------------------------------------
|
|
296
310
|
|
|
311
|
+
# 生效条件:模块级 COMPONENTS、COMPONENT_LABELS、VIEWPOINT、FUNCTIONAL、SPEC、POSITION_ORDER、DAILY 齐备时,返回位置权重矩阵自描述 dict,其中 components 按 COMPONENT_LABELS、positions 按 SPEC、daily_eval 按 DAILY 展开;
|
|
297
312
|
def catalog() -> dict:
|
|
298
313
|
"""位置权重矩阵自描述(供 MCP / 文档对照验证)。"""
|
|
299
314
|
return {
|
|
@@ -357,6 +372,7 @@ IMPORTANCE_PROTECT = 0.70 # ≥ 此值:保护下限(已保护/高危节点
|
|
|
357
372
|
APPLY_DELTA = 0.05 # 变动小于此值不写盘(防 IO 放大)
|
|
358
373
|
|
|
359
374
|
|
|
375
|
+
# 生效条件:e 为可 .get 的映射时,遍历 e.get("edges")(假值视为空)逐项按 dict 的 to/target/node/id 或标量转 str 追加非假值,再取 e.get("subgraph"),若为 dict 取其 "nodes" 否则取 subgraph 本身,且当其为 list/tuple 时追加其中 dict 的 id 或标量转 str 的非假值,返回 out;
|
|
360
376
|
def _targets(e: dict):
|
|
361
377
|
"""索引快照里的「出边目标」:edges ∪ subgraph.nodes(兼容 dict/str)。"""
|
|
362
378
|
out = []
|
|
@@ -377,6 +393,7 @@ def _targets(e: dict):
|
|
|
377
393
|
return out
|
|
378
394
|
|
|
379
395
|
|
|
396
|
+
# 生效条件:basis 为 None 时返回 BASIS_TRUST_MISSING;否则把 str(basis).strip().lower() 作为 BASIS_TRUST 的键,命中返回对应权重,未命中(含空串)返回 BASIS_TRUST_MISSING;
|
|
380
397
|
def basis_trust(basis):
|
|
381
398
|
"""验证基底 → 可信权重;缺失/未知一律给最低档(不假装可信)。"""
|
|
382
399
|
if basis is None:
|
|
@@ -384,6 +401,7 @@ def basis_trust(basis):
|
|
|
384
401
|
return BASIS_TRUST.get(str(basis).strip().lower(), BASIS_TRUST_MISSING)
|
|
385
402
|
|
|
386
403
|
|
|
404
|
+
# 生效条件:cg 的 index(getattr(cg,"index",None) or {})与其 "nodes" 同为真值时,返回以这些节点 id 为键的入度表,仅当 _targets(e) 给出的目标 t 也在 nodes 且 t != nid 时计数 +1;index 或 "nodes" 为假值(None/{})时 nodes 回落 {},直接返回空 dict。
|
|
387
405
|
def coverage_index(cg) -> dict:
|
|
388
406
|
"""入度表:nid → 被多少节点指向(覆盖度,O(N) 免读文件)。"""
|
|
389
407
|
nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
|
|
@@ -395,6 +413,7 @@ def coverage_index(cg) -> dict:
|
|
|
395
413
|
return indeg
|
|
396
414
|
|
|
397
415
|
|
|
416
|
+
# 生效条件:cg.index 的 "nodes" 为 dict 时,layer 真值仅处理 e.get("layer")==layer 的节点,layer 假值不过滤;content_hash 为假值(None/空串/0 等)的节点输出 0.0,同 (e.get("layer"), content_hash) 第二次撞车时当前与首次节点均输出 1.0,否则输出 0.0;
|
|
398
417
|
def redundancy_map(cg, layer=None) -> dict:
|
|
399
418
|
"""同层内容哈希撞车 → 冗余度 1.0,否则 0.0(精确冗余,O(N) 免读文件)。
|
|
400
419
|
|
|
@@ -420,6 +439,7 @@ def redundancy_map(cg, layer=None) -> dict:
|
|
|
420
439
|
return out
|
|
421
440
|
|
|
422
441
|
|
|
442
|
+
# 生效条件:cg.index 的 nodes 为 dict 且 entry 非 None 或 nodes.get(nid) 命中时,e 按 entry 优先否则 nodes.get(nid);indeg/red 分别仅在为 None 时回落 coverage_index(cg)/redundancy_map(cg, layer=e.get("layer"))(空容器不回落);按 IMPORTANCE_MIX、COV_SAT 及 e.get("verification_basis") 的 basis_trust 计算 coverage/redundancy/basis 分量,按 bool(e.get("protected")) 选择 IMPORTANCE_PROTECT 或 IMPORTANCE_FLOOR 作下限、IMPORTANCE_CEIL 作上限,返回含 before(e.get("importance",0.5) or 0.5)、after、components、protected 的 dict;entry 与 nodes.get(nid) 均为 None 返回 None;
|
|
423
443
|
def node_importance(cg, nid, indeg=None, red=None, entry=None):
|
|
424
444
|
"""单节点结构重要性分解(可审计:给出分量而非只给分)。"""
|
|
425
445
|
nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
|
|
@@ -448,6 +468,7 @@ def node_importance(cg, nid, indeg=None, red=None, entry=None):
|
|
|
448
468
|
"protected_floor": protected}
|
|
449
469
|
|
|
450
470
|
|
|
471
|
+
# 生效条件:给定 cg 且 nodes = cg.index["nodes"] 时按 layer 过滤、limit 为真值才 ids = ids[:int(limit)] 逐节点重算,abs(after-before) < float(min_delta) 记 unchanged;仅 apply=True 才把 frontmatter.importance/importance_source/importance_components 写回(after >= IMPORTANCE_PROTECT 且未 protected 时补写 protected/protection_reason),并向 cg.root 下 append_jsonl(..., MAINTAIN_LOG) 记 batch 后 rebuild_index。
|
|
451
472
|
def recalc(cg, layer=None, limit=None, apply=False, min_delta=APPLY_DELTA,
|
|
452
473
|
actor="maintain", dry_run_samples=10):
|
|
453
474
|
"""结构重要性重算:覆盖度 + 冗余度 + 验证基底 → 重排节点重要性。
|
|
@@ -547,6 +568,7 @@ def recalc(cg, layer=None, limit=None, apply=False, min_delta=APPLY_DELTA,
|
|
|
547
568
|
}
|
|
548
569
|
|
|
549
570
|
|
|
571
|
+
# 生效条件:cg.root/MAINTAIN_LOG 可读出 action=="importance" 记录后,entry_ids 为真值时按记录 id 是否在 {str(x) for x in entry_ids} 过滤;否则 batch 为真值时按 r.get("batch")==batch 过滤;否则取最后一条记录的 batch 再按其过滤;无 importance 记录返回 {"ok":False,"error":"no_records","reverted":0},过滤后无记录返回 {"ok":False,"error":"batch_not_found",...};对命中且 cg.get(nid) 为真的记录写回 rec.get("before") 并计数,若 reverted 且 cg 有 rebuild_index 则调用,最后 append_jsonl 写 actor 并返回 {"ok":True,"batch":batch,"reverted":reverted,"ids":ids};
|
|
550
572
|
def rollback(cg, batch=None, entry_ids=None, actor="maintain"):
|
|
551
573
|
"""把重要性重算反向应用(bulk 改写的可回滚兑现)。
|
|
552
574
|
|
|
@@ -594,9 +616,10 @@ def rollback(cg, batch=None, entry_ids=None, actor="maintain"):
|
|
|
594
616
|
return {"ok": True, "batch": batch, "reverted": reverted, "ids": ids}
|
|
595
617
|
|
|
596
618
|
|
|
619
|
+
# 生效条件:cg.root/MAINTAIN_LOG 可读出 JSONL 记录后,action 为真值时按 r.get("action")==action 过滤,假值不过滤;返回 recs[-int(limit):],其中 limit=0 时 int(0)=0 使切片为 recs[0:] 返回全部而非空;
|
|
597
620
|
def history(cg, limit=100, action=None):
|
|
598
621
|
"""维护留痕(最近 limit 条),可按 action 过滤。"""
|
|
599
622
|
recs = list(read_jsonl(os.path.join(cg.root, MAINTAIN_LOG)))
|
|
600
623
|
if action:
|
|
601
624
|
recs = [r for r in recs if r.get("action") == action]
|
|
602
|
-
return recs[-int(limit):]
|
|
625
|
+
return recs[-int(limit):]
|
package/md_cg/whitebox.py
CHANGED
|
@@ -17,7 +17,7 @@
|
|
|
17
17
|
才回退外部 MCP stdio 子进程(legacy 路径)。
|
|
18
18
|
· 调用结果:验证结论写回认知图(self 层,tags 含 `whitebox:verify`),可追溯。
|
|
19
19
|
|
|
20
|
-
显式调用映射(详见 docs/功能调用映射表_v0.1.md)
|
|
20
|
+
显式调用映射(详见 docs/mdcg/功能调用映射表_v0.1.md)
|
|
21
21
|
------------------------------------------------
|
|
22
22
|
功能 → 代码 → MCP
|
|
23
23
|
白箱问答 → md_cg.whitebox.ask → cg(op=whitebox, action=ask)
|
|
@@ -63,6 +63,7 @@ DEFAULT_KNOWLEDGE_PROBES = [
|
|
|
63
63
|
# 启动命令
|
|
64
64
|
# --------------------------------------------------------------------------
|
|
65
65
|
|
|
66
|
+
# 生效条件:无必需形参;exe 取 MDCG_WHITEBOX_CMD,该值为假时取 sys.executable、再为假时取 "python",args 取 MDCG_WHITEBOX_ARGS.split()(该值为真时)否则 ["-m","aeis.mcp.server"],返回 [exe]+args。
|
|
66
67
|
def _launch_cmd():
|
|
67
68
|
"""外部白箱 MCP server 启动命令(legacy 路径,需显式配置)。
|
|
68
69
|
|
|
@@ -79,6 +80,7 @@ def _launch_cmd():
|
|
|
79
80
|
# 白箱 MCP stdio 客户端(零第三方依赖)
|
|
80
81
|
# --------------------------------------------------------------------------
|
|
81
82
|
|
|
83
|
+
# 生效条件:类无自定义 __init__(无必需构造形参);实例化后仅当子类覆写 call 时 ask/remember 才走通,否则 call 抛 NotImplementedError。
|
|
82
84
|
class _WhiteboxApi:
|
|
83
85
|
"""白箱业务接口(`ask` / `remember`)。
|
|
84
86
|
|
|
@@ -87,10 +89,12 @@ class _WhiteboxApi:
|
|
|
87
89
|
· `_SubprocessWhiteboxClient` —— MCP stdio 子进程(legacy,显式配置时)
|
|
88
90
|
"""
|
|
89
91
|
|
|
92
|
+
# 生效条件:以 required 形参 name 与 args 调用该抽象方法时无条件抛出 NotImplementedError,不产生任何返回。
|
|
90
93
|
def call(self, name, args):
|
|
91
94
|
"""调用白箱工具,返回 {isError, text, data}。"""
|
|
92
95
|
raise NotImplementedError
|
|
93
96
|
|
|
97
|
+
# 生效条件:给定 required 形参 message(session_id 省略时取默认 "md_cg-whitebox-verify")即转调 self.call("wisdom_chat", {...}),按返回 r 组装 {ok: not r["isError"], route: _extract_route(data), reply: _extract_reply(data, r.get("text")), raw},其中 data 由 r.get("data") or {} 得到(data 缺失或为假值时为 {}),故 raw 恒取该 data、不回落到 r.get("text")。
|
|
94
98
|
def ask(self, message, session_id="md_cg-whitebox-verify"):
|
|
95
99
|
"""白箱问答(wisdom_chat)。返回归一化的 {ok, route, reply, raw}。"""
|
|
96
100
|
r = self.call("wisdom_chat", {"message": message, "session_id": session_id})
|
|
@@ -100,6 +104,7 @@ class _WhiteboxApi:
|
|
|
100
104
|
"reply": _extract_reply(data, r.get("text")),
|
|
101
105
|
"raw": data if data is not None else r.get("text")}
|
|
102
106
|
|
|
107
|
+
# 生效条件:给定 required 形参 content(importance 省略时取 0.9 并 float() 转换;tags 为 None/[]/"" 等假值时按 tags or ["md_cg","whitebox-probe"] 回落为 list(["md_cg","whitebox-probe"]))即转调 self.call("remember", {...}),返回 {ok: not r["isError"], raw: r.get("data") or r.get("text")}。
|
|
103
108
|
def remember(self, content, importance=0.9, tags=None):
|
|
104
109
|
"""白箱编码(remember):把一条知识交给白箱写入其记忆库。"""
|
|
105
110
|
r = self.call("remember", {"content": content,
|
|
@@ -108,6 +113,7 @@ class _WhiteboxApi:
|
|
|
108
113
|
return {"ok": not r["isError"], "raw": r.get("data") or r.get("text")}
|
|
109
114
|
|
|
110
115
|
|
|
116
|
+
# 生效条件:以假值 cmd(None/空序列)构造时 self.cmd 取 _launch_cmd(),真值 cmd 时取 list(cmd);timeout 与 MDCG_WHITEBOX_TIMEOUT 环境变量都取假值时 self.timeout 为 float(60.0),否则取其中首个真值;env 为真值时按 str(v) 合并进 os.environ 副本,假值时 self.env 仅为 os.environ 副本。
|
|
111
117
|
class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
112
118
|
"""外部白箱 MCP stdio 客户端(legacy 路径,需显式配置才启用)。
|
|
113
119
|
|
|
@@ -115,6 +121,7 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
115
121
|
进程懒启动、调用串行化、超时即杀(下次调用自动重启)。
|
|
116
122
|
"""
|
|
117
123
|
|
|
124
|
+
# 生效条件:cmd 为真值时 self.cmd=list(cmd),否则回落 _launch_cmd();timeout 为真值则直接用,否则回落 os.environ.get("MDCG_WHITEBOX_TIMEOUT"),再否则 60.0;env 为真值时其键值经 str() 合并进 os.environ 副本。
|
|
118
125
|
def __init__(self, cmd=None, env=None, timeout=None):
|
|
119
126
|
self.cmd = list(cmd) if cmd else _launch_cmd()
|
|
120
127
|
self.timeout = float(timeout or os.environ.get("MDCG_WHITEBOX_TIMEOUT") or 60.0)
|
|
@@ -127,6 +134,7 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
127
134
|
self._lock = threading.Lock()
|
|
128
135
|
|
|
129
136
|
# -- 生命周期 ---------------------------------------------------------
|
|
137
|
+
# 生效条件:当 self.proc 非 None 且 self.proc.poll() 为 None 时直接返回 self;否则启动 self.cmd 子进程并以模块级常量 PROTOCOL_VERSION 与 CLIENT_NAME 发 initialize 请求和 notifications/initialized 通知后返回 self。
|
|
130
138
|
def start(self):
|
|
131
139
|
if self.proc is not None and self.proc.poll() is None:
|
|
132
140
|
return self
|
|
@@ -143,6 +151,7 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
143
151
|
self._notify("notifications/initialized", {})
|
|
144
152
|
return self
|
|
145
153
|
|
|
154
|
+
# 生效条件:幂等、可重复调用;self.proc 为 None 时直接返回;否则先关 stdin 再 terminate 并 wait(timeout=3),超时或异常则 kill 兜底;无返回值、不抛异常;
|
|
146
155
|
def close(self):
|
|
147
156
|
proc, self.proc = self.proc, None
|
|
148
157
|
if proc is None:
|
|
@@ -162,6 +171,7 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
162
171
|
pass
|
|
163
172
|
|
|
164
173
|
# -- 内部 IO ----------------------------------------------------------
|
|
174
|
+
# 生效条件:self.proc 为 None 或 proc.stdout 为 None 时直接返回;否则逐行 strip 后跳过空行,非空行 json.loads 成功则放入 self._q,抛 ValueError 则跳过该行。
|
|
165
175
|
def _reader(self):
|
|
166
176
|
stream = self.proc.stdout if self.proc else None
|
|
167
177
|
if stream is None:
|
|
@@ -175,15 +185,18 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
175
185
|
except ValueError:
|
|
176
186
|
continue
|
|
177
187
|
|
|
188
|
+
# 生效条件:给定 required 形参 payload 时,若 self.proc is None 或 self.proc.poll() is not None 则抛 RuntimeError("白箱进程未运行(启动失败或已退出)"),否则把 json.dumps(payload, ensure_ascii=False) + "\n" 写入 self.proc.stdin 并 flush,无返回。
|
|
178
189
|
def _write(self, payload):
|
|
179
190
|
if self.proc is None or self.proc.poll() is not None:
|
|
180
191
|
raise RuntimeError("白箱进程未运行(启动失败或已退出)")
|
|
181
192
|
self.proc.stdin.write(json.dumps(payload, ensure_ascii=False) + "\n")
|
|
182
193
|
self.proc.stdin.flush()
|
|
183
194
|
|
|
195
|
+
# 生效条件:给定 required 形参 method 与 params 时,以 {"jsonrpc": "2.0", "method": method, "params": params}(无 id)调用 self._write,自身无返回。
|
|
184
196
|
def _notify(self, method, params):
|
|
185
197
|
self._write({"jsonrpc": "2.0", "method": method, "params": params})
|
|
186
198
|
|
|
199
|
+
# 生效条件:给定 required 形参 method 与 params 时在 self._lock 内取自增 id 并写入请求,随后循环取 self._q:remain <= 0 或 queue.Empty 时先 self.close() 再抛 TimeoutError,msg.get("id") 不等于 rid 时 continue,msg.get("error") 为真时抛 RuntimeError,id 匹配且无 error 时返回 msg.get("result")(缺 "result" 键返回 None)。
|
|
187
200
|
def _request(self, method, params):
|
|
188
201
|
with self._lock:
|
|
189
202
|
rid = self._next_id
|
|
@@ -208,6 +221,7 @@ class _SubprocessWhiteboxClient(_WhiteboxApi):
|
|
|
208
221
|
return msg.get("result")
|
|
209
222
|
|
|
210
223
|
# -- 业务接口 ---------------------------------------------------------
|
|
224
|
+
# 生效条件:给定 required 形参 name 与 args(args 为假值时按 {"name": name, "arguments": args or {}} 发空字典)即以 "tools/call" 发请求,把结果 content 中 type=="text" 的块文本拼接后 json.loads,失败(ValueError/TypeError)则 data=None,返回 {"isError": bool((result or {}).get("isError")), "text": text, "data": data}。
|
|
211
225
|
def call(self, name, args):
|
|
212
226
|
"""调用白箱 MCP 工具,返回 {isError, text, data}。"""
|
|
213
227
|
result = self._request("tools/call", {"name": name, "arguments": args or {}})
|
|
@@ -234,32 +248,38 @@ class LocalWhiteboxClient(_WhiteboxApi):
|
|
|
234
248
|
故 `ask / remember / ping / verify_*` 及其留痕逻辑无需任何改动。
|
|
235
249
|
"""
|
|
236
250
|
|
|
251
|
+
# 生效条件:db_path 为 None 时由引擎按默认路径取库;_ignored 吞掉子进程版遗留形参以保持接口同形;构造只记录路径、不加载引擎(延迟到 self.engine 首次访问);
|
|
237
252
|
def __init__(self, db_path=None, **_ignored):
|
|
238
253
|
self.db_path = db_path
|
|
239
254
|
self._engine = None
|
|
240
255
|
|
|
241
256
|
@property
|
|
257
|
+
# 生效条件:self._engine 为 None 时调用 _load_get_engine()(db_path=self.db_path) 创建并缓存后返回它,非 None 时直接返回缓存实例。
|
|
242
258
|
def engine(self):
|
|
243
259
|
if self._engine is None:
|
|
244
260
|
self._engine = _load_get_engine()(db_path=self.db_path)
|
|
245
261
|
return self._engine
|
|
246
262
|
|
|
247
263
|
# -- 生命周期(与子进程版语义对齐:start 即确保可用,失败即抛) --------
|
|
264
|
+
# 生效条件:先取 self.engine(首次访问才真正加载知识库)并调 service_info() 以确认可服务,不可用即抛;成功后返回 self,可重复调用;
|
|
248
265
|
def start(self):
|
|
249
266
|
_ = self.engine.service_info()
|
|
250
267
|
return self
|
|
251
268
|
|
|
269
|
+
# 生效条件:幂等;self._engine 为 None 时直接返回,否则关闭引擎并置 None(只释放句柄,不删除落盘数据);
|
|
252
270
|
def close(self):
|
|
253
271
|
if self._engine is not None:
|
|
254
272
|
self._engine.close()
|
|
255
273
|
self._engine = None
|
|
256
274
|
|
|
257
275
|
# -- 业务接口 ---------------------------------------------------------
|
|
276
|
+
# 生效条件:给定 required 形参 name 与 args 时直接转调 self.engine.call_tool(name, args) 并返回其结果,不做任何形参改写或校验。
|
|
258
277
|
def call(self, name, args):
|
|
259
278
|
"""调用白箱工具,返回 {isError, text, data}(形状对齐 MCP)。"""
|
|
260
279
|
return self.engine.call_tool(name, args)
|
|
261
280
|
|
|
262
281
|
|
|
282
|
+
# 生效条件:无必需形参;包内 from .whitebox_kb.engine import get_engine 成功时返回它,ImportError 时改为 from whitebox_kb.engine import get_engine 并返回。
|
|
263
283
|
def _load_get_engine():
|
|
264
284
|
"""兼容两种导入方式(包内 / 平铺)。"""
|
|
265
285
|
try:
|
|
@@ -269,6 +289,7 @@ def _load_get_engine():
|
|
|
269
289
|
return get_engine
|
|
270
290
|
|
|
271
291
|
|
|
292
|
+
# 生效条件:cmd 或 env 为真,或 MDCG_WHITEBOX_CMD / MDCG_WHITEBOX_ARGS 为真时返回 _SubprocessWhiteboxClient(cmd=cmd, env=env, timeout=timeout),否则返回 LocalWhiteboxClient(db_path=db_path)。
|
|
272
293
|
def WhiteboxClient(cmd=None, env=None, timeout=None, db_path=None):
|
|
273
294
|
"""白箱客户端工厂。
|
|
274
295
|
|
|
@@ -286,6 +307,7 @@ def WhiteboxClient(cmd=None, env=None, timeout=None, db_path=None):
|
|
|
286
307
|
# 结果归一化
|
|
287
308
|
# --------------------------------------------------------------------------
|
|
288
309
|
|
|
310
|
+
# 生效条件:data 为 dict 时按 route、mode、path 顺序取首个非空 str 值返回,否则(含 data 非 dict、三键均无或均为空/非 str)返回 ""。
|
|
289
311
|
def _extract_route(data):
|
|
290
312
|
if isinstance(data, dict):
|
|
291
313
|
for key in ("route", "mode", "path"):
|
|
@@ -295,6 +317,7 @@ def _extract_route(data):
|
|
|
295
317
|
return ""
|
|
296
318
|
|
|
297
319
|
|
|
320
|
+
# 生效条件:data 为 dict 时先按 reply/answer/text/response/content/message 取首个 strip 后非空的 str 返回,再对 result、data 两键的 dict 值递归取非空结果,均无则返回 fallback or ""。
|
|
298
321
|
def _extract_reply(data, fallback=""):
|
|
299
322
|
if isinstance(data, dict):
|
|
300
323
|
for key in ("reply", "answer", "text", "response", "content", "message"):
|
|
@@ -314,6 +337,7 @@ def _extract_reply(data, fallback=""):
|
|
|
314
337
|
# 验证:编码能力 / 已有知识回答能力
|
|
315
338
|
# --------------------------------------------------------------------------
|
|
316
339
|
|
|
340
|
+
# 生效条件:client 为 None 时自建 WhiteboxClient() 并在 finally 关闭;marker、fact、question 为假值时分别用带毫秒时间戳的默认口令、默认事实、默认追问,cg 仅传给 _record(cg 为 None 则 node_id 为 None,不自建 client),异常时返回 ok=False 并同样 _record。
|
|
317
341
|
def verify_encoding(cg=None, client=None, marker=None, fact=None,
|
|
318
342
|
question=None, session_id="md_cg-whitebox-verify"):
|
|
319
343
|
"""验证白箱「编码能力」。
|
|
@@ -346,6 +370,7 @@ def verify_encoding(cg=None, client=None, marker=None, fact=None,
|
|
|
346
370
|
cli.close()
|
|
347
371
|
|
|
348
372
|
|
|
373
|
+
# 生效条件:client 为 None 时自建 WhiteboxClient() 并在 finally 关闭;questions 为假值(None 或空)时用 DEFAULT_KNOWLEDGE_PROBES,逐问后仅当至少一问 reply 非空且 route 为 self 或 self_fallback 时 ok=True,异常返回 ok=False。
|
|
349
374
|
def verify_existing(cg=None, client=None, questions=None,
|
|
350
375
|
session_id="md_cg-whitebox-verify"):
|
|
351
376
|
"""验证白箱「已有知识回答能力」。
|
|
@@ -380,6 +405,7 @@ def verify_existing(cg=None, client=None, questions=None,
|
|
|
380
405
|
cli.close()
|
|
381
406
|
|
|
382
407
|
|
|
408
|
+
# 生效条件:client 为 None 时自建 WhiteboxClient() 并在 finally 关闭;依次对 service_info、mdcg_service_info、info 调用 call,首个 isError 为假即返回 ok=True 与该 tool/info,全部不可用返回 ok=False,start 或整体异常返回 ok=False。
|
|
383
409
|
def ping(client=None, session_id="md_cg-whitebox-ping"):
|
|
384
410
|
"""白箱连通性探测:调 service_info(或 info)判断能力库是否在线。"""
|
|
385
411
|
own = client is None
|
|
@@ -402,6 +428,7 @@ def ping(client=None, session_id="md_cg-whitebox-ping"):
|
|
|
402
428
|
cli.close()
|
|
403
429
|
|
|
404
430
|
|
|
431
|
+
# 生效条件:client 为 None 时以 WhiteboxClient(timeout=kw.get("timeout")) 自建并在 finally 关闭;随后 cli.start() 并返回 cli.ask(message, session_id=session_id)。
|
|
405
432
|
def ask(message, session_id="md_cg-whitebox-verify", client=None, **kw):
|
|
406
433
|
"""显式调用白箱回答一个问题。"""
|
|
407
434
|
own = client is None
|
|
@@ -414,6 +441,7 @@ def ask(message, session_id="md_cg-whitebox-verify", client=None, **kw):
|
|
|
414
441
|
cli.close()
|
|
415
442
|
|
|
416
443
|
|
|
444
|
+
# 生效条件:client 为 None 时以 WhiteboxClient(timeout=kw.get("timeout")) 自建并在 finally 关闭;随后 cli.start() 并返回 cli.remember(content, importance=importance, tags=tags)。
|
|
417
445
|
def remember(content, importance=0.9, tags=None, client=None, **kw):
|
|
418
446
|
"""显式调用白箱编码一条知识。"""
|
|
419
447
|
own = client is None
|
|
@@ -430,6 +458,7 @@ def remember(content, importance=0.9, tags=None, client=None, **kw):
|
|
|
430
458
|
# 留痕与报告
|
|
431
459
|
# --------------------------------------------------------------------------
|
|
432
460
|
|
|
461
|
+
# 生效条件:cg 为 None 时返回 None;否则以 whitebox_verify_{kind}_{毫秒时间戳} 为 id 调 cg.add 写入 self 层,成功返回该 nid,cg.add 抛异常时返回 None。
|
|
433
462
|
def _record(cg, kind, ok, payload):
|
|
434
463
|
"""把验证结论写入认知图(self 层)。失败不阻断验证本身。"""
|
|
435
464
|
if cg is None:
|
|
@@ -446,6 +475,7 @@ def _record(cg, kind, ok, payload):
|
|
|
446
475
|
return None
|
|
447
476
|
|
|
448
477
|
|
|
478
|
+
# 生效条件:cg 为 None 时返回 {'ok': False, 'error': '需要 cg 实例'};否则以 k=int(limit or 20)(limit 为 0/空串/None 时 k 变 20)调 cg.search("白箱能力验证", layer="self", record=False),只保留 tags 中任一以 "whitebox:" 开头的项并返回 count 与 items。
|
|
449
479
|
def report(cg=None, limit=20):
|
|
450
480
|
"""汇总最近的「白箱能力验证」留痕。"""
|
|
451
481
|
if cg is None:
|
|
@@ -467,6 +497,7 @@ def report(cg=None, limit=20):
|
|
|
467
497
|
# MCP 统一入口(由 mcp_server._whitebox_call 调用)
|
|
468
498
|
# --------------------------------------------------------------------------
|
|
469
499
|
|
|
500
|
+
# 生效条件:action=(args.action or "ping") 小写后,ask/chat/query 走 ask(question/message/query 均假则传 ""),remember/encode/write 走 remember 且 importance=float(a.get("importance", 0.9)),verify_encoding/encoding 走 verify_encoding,verify_existing/existing/knowledge 走 verify_existing(questions 取 a.questions 或 a.question 单元素列表),report/history 走 report(limit=int(a.get("limit") or 20)),ping/status/info 走 ping(),其余抛 ValueError。
|
|
470
501
|
def dispatch(cg, args):
|
|
471
502
|
"""cg(op=whitebox) 的分发:action=ask|remember|verify_encoding|verify_existing|ping|report。"""
|
|
472
503
|
a = args or {}
|
|
@@ -494,4 +525,4 @@ def dispatch(cg, args):
|
|
|
494
525
|
|
|
495
526
|
|
|
496
527
|
if __name__ == "__main__": # 手动自检:python -m md_cg.whitebox
|
|
497
|
-
print(json.dumps(ping(), ensure_ascii=False, indent=2))
|
|
528
|
+
print(json.dumps(ping(), ensure_ascii=False, indent=2))
|