@furongjun1999/dsh-memory 0.4.11 → 0.5.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +552 -465
- package/codebuddy/CODEBUDDY.md +11 -3
- package/codebuddy/README.md +92 -90
- package/codebuddy/mcp.json +27 -27
- package/docs/GBrain/345/217/257/345/200/237/351/211/264/347/202/271_/347/201/265/346/236/242/350/220/275/347/202/271/344/272/244/346/216/245_20260919.md +169 -169
- package/docs/Pi/345/217/257/345/255/246/344/271/240/344/274/230/347/202/271_/347/201/265/346/236/242/345/244/247/350/204/221/346/224/271/350/277/233/344/272/244/346/216/245_20260915.md +144 -144
- package/docs/README.md +143 -111
- package/docs/discipline/harnesses.yaml +244 -226
- package/docs/discipline/templates/full.md.tmpl +61 -61
- package/docs/discipline/templates/rules.mdc.tmpl +68 -0
- package/docs/discipline/templates/skill.md.tmpl +23 -23
- package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md +299 -299
- package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v2.0.md +239 -239
- package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
- package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
- package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
- package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
- package/docs/eval//345/256/236/351/252/214/346/226/271/346/241/210_/345/255/246/344/271/240/351/227/255/347/216/257AB/344/270/216/346/250/252/350/257/204_v1.0.md +174 -174
- package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
- package/docs/eval//346/250/252/350/257/204_/345/205/255/345/256/266100/351/242/230/344/270/255/350/213/261/345/217/214/346/237/245_v1.0.md +223 -223
- package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +100 -0
- package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +197 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v1.md +156 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v10.md +210 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v11.md +227 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v12.md +203 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v13.md +233 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v14.md +191 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v15.md +213 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v16.md +214 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v17.md +199 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v2.md +156 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v3.md +152 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v4.md +128 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v5.md +114 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v6.md +192 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v7.md +187 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v8.md +207 -0
- package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v9.md +203 -0
- package/docs/{mdcg → hive}//344/273/244/347/211/214/344/270/216/350/247/222/350/211/262/346/235/203/350/201/214/345/210/206/347/246/273_v0.1.md +165 -160
- package/docs/hive//344/273/244/347/211/214/350/257/255/344/271/211/344/277/256/346/255/243_/344/273/262/350/243/201/344/275/215_v0.1.md +76 -0
- package/docs/{mdcg → hive}//345/255/220/344/273/243/347/220/206/351/205/215/347/275/256/346/240/207/345/207/206_v0.5.md +236 -236
- package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
- package/docs/hive//346/243/200/347/264/242/346/224/266/346/225/233/345/256/236/346/265/213/344/270/216S1b/350/256/276/350/256/241_v0.1.md +43 -43
- package/docs/hive//346/243/200/347/264/242/347/256/227/346/263/225/345/217/243/345/276/204/345/257/271/347/205/247_v0.1.md +85 -0
- package/docs/hive//346/243/200/347/264/242/350/267/257/345/276/204/344/270/216/350/256/244/347/237/245/347/273/223/346/236/204/345/245/221/347/272/246_v0.1.md +102 -102
- package/docs/hive//350/234/202/345/267/242M6_ingest/345/256/236/346/226/275/350/256/241/345/210/222_v0.1.md +47 -0
- package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +519 -503
- package/docs/hive//350/234/202/345/267/242/345/267/245/344/275/234/350/256/260/345/277/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +85 -85
- package/docs/hive//350/234/202/345/267/242/350/256/276/350/256/241_/347/220/206/350/256/272/345/257/271/351/275/220_v0.1.md +191 -0
- package/docs/hive//350/234/202/345/267/242/350/277/255/344/273/243_/345/256/217/350/247/202/344/270/216/347/276/244/344/275/223/350/260/203/345/272/246_v0.1.md +90 -0
- package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
- package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
- package/docs/mdcg/D_meta_/345/267/245/347/250/213/345/214/226/346/226/271/346/241/210_v0.2.md +216 -216
- package/docs/mdcg/README/350/257/246/347/273/206/347/211/210_v0.4.10.md +646 -646
- package/docs/mdcg/lingshu_tutorial.html +14449 -14449
- package/docs/mdcg/release_v0.4.11.md +49 -0
- package/docs/mdcg/release_v0.4.5.md +55 -55
- package/docs/mdcg/tool_table_v0.3.0.md +117 -117
- package/docs/mdcg//345/205/250/345/272/223/344/273/243/347/240/201/350/257/204/345/256/241/344/270/216/346/235/241/344/273/266/345/214/226/346/263/250/351/207/212_/350/256/241/345/210/222_v0.1.md +600 -600
- package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +40 -40
- package/docs/mdcg//345/215/225/345/205/203/350/207/252/346/210/221/351/224/232/347/202/271_/347/263/273/347/273/237/346/217/220/347/244/272/350/257/215/346/240/207/345/207/206_v0.3.md +275 -275
- package/docs/mdcg//345/217/221/345/270/203/351/227/250/347/246/201/351/223/276_v0.1.md +54 -0
- package/docs/mdcg//346/272/220/347/240/201/347/272/247/346/236/266/346/236/204/345/256/241/350/256/241_GPT/346/211/271/350/257/204/345/257/271/347/205/247_v1.0.md +130 -130
- package/docs/mdcg//347/201/265/346/236/24282/345/267/245/345/205/267_/345/212/237/350/203/275/346/225/264/347/220/206/344/270/216/350/277/201/347/247/273/346/230/240/345/260/204_v0.1.md +278 -278
- package/docs/mdcg//347/201/265/346/236/242/350/256/260/345/277/206/345/212/250/350/257/215/345/215/217/350/256/256_v1.0-draft.md +172 -172
- package/docs/mdcg//347/274/272/345/217/243/345/215/225_P0/346/224/266/345/217/243_v0.1.md +270 -270
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md +491 -491
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md +340 -340
- package/docs/mdcg//350/256/244/347/237/245/345/233/276_/347/264/242/345/274/225/344/270/216/345/267/245/347/250/213/350/247/204/350/214/203/345/214/226_/350/256/241/345/210/222_v0.1.md +588 -588
- package/docs/plans/GridWorld/346/234/200/345/260/217/351/227/255/347/216/257/350/247/204/346/240/274_v0.1.md +176 -176
- package/docs/plans//345/221/275/345/220/215/346/262/273/347/220/206_/351/241/271/347/233/256/350/256/241/345/210/222.md +81 -81
- package/docs/swarm//350/234/202/347/276/244/344/272/222/350/201/224_v0.1.md +704 -704
- package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md +242 -242
- package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
- package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md +129 -129
- package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md +134 -134
- package/docs/theory//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md +145 -145
- package/docs/theory//347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md +144 -144
- package/docs/theory//347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md +198 -198
- package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md +221 -221
- package/docs/world_model//344/270/226/347/225/214/346/250/241/345/236/213_/347/245/236/347/273/217/347/275/221/347/273/234/345/272/225/345/261/202/346/236/266/346/236/204_v1.0.md +237 -237
- package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
- package/docs//345/217/221/345/270/203/344/273/266/345/233/236/346/272/257/350/257/264/346/230/216_v0.1.md +82 -82
- package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json +28 -2
- package/dsh/README.md +82 -82
- package/dsh/cordis.yml.example +139 -139
- package/dsh/update-lingshu.bat +11 -11
- package/lib/bridge.d.ts +9 -0
- package/lib/bridge.js +35 -0
- package/lib/hooks.js +36 -2
- package/lib/index.js +7 -1
- package/lib/lib/roleplay_web.js +116 -29
- package/lib/lib/token_store.d.ts +7 -1
- package/lib/lib/token_store.js +12 -3
- package/md_cg/__init__.py +7 -7
- package/md_cg/audit.py +379 -368
- package/md_cg/autonomy.py +287 -287
- package/md_cg/backfill.py +1328 -1327
- package/md_cg/backfill_bigdomain.py +34 -34
- package/md_cg/backfill_bucket_zh.py +35 -0
- package/md_cg/bench6_arms.py +410 -410
- package/md_cg/bench6_common.py +230 -230
- package/md_cg/bench6_competitors.py +212 -212
- package/md_cg/bench_axis_domain.py +257 -257
- package/md_cg/bench_blind_comp.py +308 -308
- package/md_cg/bench_e2e_judge.py +532 -0
- package/md_cg/bench_e2e_locomo_qa.py +368 -0
- package/md_cg/bench_e2e_qa.py +256 -0
- package/md_cg/bench_en_atoms_public.py +230 -230
- package/md_cg/bench_governance.py +348 -348
- package/md_cg/bench_lme_zh.py +410 -410
- package/md_cg/bench_locomo.py +121 -121
- package/md_cg/bench_locomo_zh.py +450 -450
- package/md_cg/bench_locomo_zh_public.py +147 -147
- package/md_cg/bench_longmem.py +112 -112
- package/md_cg/bench_membench.py +632 -632
- package/md_cg/bench_p0.py +149 -149
- package/md_cg/bench_progressive.py +287 -287
- package/md_cg/bench_role_views.py +238 -238
- package/md_cg/bench_task_ab.py +243 -243
- package/md_cg/bench_task_ab_llm.py +408 -408
- package/md_cg/bench_unified_en.py +204 -204
- package/md_cg/bench_zh_mad.py +601 -601
- package/md_cg/blindspot_tickets.py +123 -123
- package/md_cg/branches.py +301 -285
- package/md_cg/build_postings.py +73 -73
- package/md_cg/ccgc.py +1006 -948
- package/md_cg/census.py +132 -132
- package/md_cg/chain.py +315 -300
- package/md_cg/codeindex.py +531 -531
- package/md_cg/coldverify.py +292 -292
- package/md_cg/comment_gate.py +337 -337
- package/md_cg/cond_compose.py +190 -190
- package/md_cg/cond_facts.py +154 -154
- package/md_cg/cond_template.json +106 -106
- package/md_cg/condition_anchor.py +142 -142
- package/md_cg/conformance.py +726 -726
- package/md_cg/consistency.py +717 -717
- package/md_cg/consolidate.py +1537 -1439
- package/md_cg/corpus.py +110 -110
- package/md_cg/crosscheck.py +1098 -1097
- package/md_cg/crypto.py +3 -1
- package/md_cg/d_meta.py +310 -310
- package/md_cg/datapath.py +78 -18
- package/md_cg/docindex.py +473 -473
- package/md_cg/eval_common.py +575 -575
- package/md_cg/evidence.py +4 -2
- package/md_cg/evolution.py +477 -477
- package/md_cg/export.py +222 -220
- package/md_cg/forgetting.py +581 -581
- package/md_cg/fsutil.py +377 -329
- package/md_cg/hotcache.py +48 -7
- package/md_cg/hyperedge.py +251 -251
- package/md_cg/identity.py +390 -390
- package/md_cg/insight.py +500 -500
- package/md_cg/interop.py +338 -0
- package/md_cg/judgment_manifest.py +177 -0
- package/md_cg/lexicon/build_cedict_en_zh.py +329 -329
- package/md_cg/lexicon/build_standard_en.py +171 -171
- package/md_cg/lexicon/expand_en_zh.py +211 -211
- package/md_cg/lifecycle.py +272 -272
- package/md_cg/linkref.py +280 -280
- package/md_cg/links.py +140 -107
- package/md_cg/mcp_server.py +403 -55
- package/md_cg/md_whitebox.py +345 -345
- package/md_cg/mdcg.py +783 -233
- package/md_cg/mdcos.py +500 -70
- package/md_cg/metacognition.py +591 -591
- package/md_cg/migrate.py +119 -119
- package/md_cg/migrate_aeis.py +221 -221
- package/md_cg/migrate_roleplay.py +293 -293
- package/md_cg/migrate_wisdom_graph.py +360 -360
- package/md_cg/mreview/__init__.py +25 -25
- package/md_cg/mreview/__main__.py +110 -110
- package/md_cg/mreview/bundle.py +178 -178
- package/md_cg/mreview/candidates.py +262 -262
- package/md_cg/mreview/govern.py +694 -693
- package/md_cg/mreview/locate.py +939 -939
- package/md_cg/mreview/pipeline.py +728 -728
- package/md_cg/mreview/rules/duplication.json +21 -21
- package/md_cg/mreview/rules/field_coverage.json +54 -54
- package/md_cg/mreview/rules/source_license.json +21 -21
- package/md_cg/mreview/rules/template_flow.json +21 -21
- package/md_cg/mreview/ruleset.py +252 -252
- package/md_cg/nodefile.py +575 -575
- package/md_cg/pooling.py +484 -472
- package/md_cg/postings.py +300 -298
- package/md_cg/predict.py +1100 -1100
- package/md_cg/progressive.py +123 -123
- package/md_cg/protect.py +272 -272
- package/md_cg/protocol/md_cg_gate.proto +33 -33
- package/md_cg/protocol.py +372 -372
- package/md_cg/provenance.py +582 -582
- package/md_cg/reach.py +453 -453
- package/md_cg/readcache.py +143 -0
- package/md_cg/reconcile.py +228 -0
- package/md_cg/refindex.py +833 -833
- package/md_cg/refine.py +604 -604
- package/md_cg/review_cli.py +170 -0
- package/md_cg/roleviews.py +89 -89
- package/md_cg/routing.py +393 -365
- package/md_cg/run_tests.py +211 -0
- package/md_cg/scrub.py +13 -3
- package/md_cg/security.py +128 -18
- package/md_cg/self_state.py +1029 -1029
- package/md_cg/selfreport.py +152 -151
- package/md_cg/semantic/__init__.py +10 -10
- package/md_cg/semantic/canonical.py +122 -122
- package/md_cg/semantic/en_normalizer.py +364 -364
- package/md_cg/semantic/en_zh_map.json +28694 -0
- package/md_cg/semantic/export_en_zh_map.py +64 -0
- package/md_cg/semantic/unify.py +45 -0
- package/md_cg/semantic/zh_en_atoms.py +139 -139
- package/md_cg/signer.py +7 -4
- package/md_cg/sources.py +816 -582
- package/md_cg/statushdr.py +179 -179
- package/md_cg/stg.py +54 -37
- package/md_cg/subgraph.py +729 -729
- package/md_cg/sustain.py +35 -5
- package/md_cg/tasks.py +470 -470
- package/md_cg/test_access_hints.py +147 -0
- package/md_cg/test_action_derive.py +203 -203
- package/md_cg/test_audit_rotate.py +270 -270
- package/md_cg/test_autonomy.py +143 -143
- package/md_cg/test_bench_governance.py +102 -102
- package/md_cg/test_blindspot_tickets.py +166 -166
- package/md_cg/test_branch_discard_tombstone.py +136 -0
- package/md_cg/test_branches.py +13 -3
- package/md_cg/test_ccg_perturb.py +184 -184
- package/md_cg/test_ccgc.py +433 -433
- package/md_cg/test_census_prune.py +81 -81
- package/md_cg/test_chain_read_isolate.py +168 -0
- package/md_cg/test_cond_compose_anchors.py +76 -76
- package/md_cg/test_cond_match.py +165 -165
- package/md_cg/test_condition_anchor.py +81 -81
- package/md_cg/test_d_meta.py +412 -412
- package/md_cg/test_datapath_device_name.py +203 -0
- package/md_cg/test_datapath_root.py +199 -199
- package/md_cg/test_emit_negtail_cache.py +156 -0
- package/md_cg/test_en_pipeline.py +22 -2
- package/md_cg/test_gain_gate.py +212 -212
- package/md_cg/test_govern_directread.py +421 -0
- package/md_cg/test_health_scale.py +173 -173
- package/md_cg/test_hive_ingest.py +285 -0
- package/md_cg/test_hot_cold.py +215 -215
- package/md_cg/test_hyperedge.py +245 -245
- package/md_cg/test_i26_empty_first_write.py +116 -0
- package/md_cg/test_i27_e041_identity.py +128 -0
- package/md_cg/test_i28_hotcache_prodpath.py +122 -0
- package/md_cg/test_i32_hotcache_env_key.py +218 -0
- package/md_cg/test_identity_attribution.py +96 -15
- package/md_cg/test_index_durability.py +17 -3
- package/md_cg/test_interop.py +95 -0
- package/md_cg/test_interop_judgment.py +228 -0
- package/md_cg/test_issue39_utf8_stdio.py +273 -0
- package/md_cg/test_lifecycle.py +309 -309
- package/md_cg/test_linkref.py +306 -306
- package/md_cg/test_links_concurrent_write.py +188 -0
- package/md_cg/test_lock.py +43 -43
- package/md_cg/test_md_access_parity.py +255 -255
- package/md_cg/test_md_writepath.py +345 -345
- package/md_cg/test_mdstore_search_parity.py +160 -0
- package/md_cg/test_merge_upsert.py +168 -0
- package/md_cg/test_mr_m2.py +587 -587
- package/md_cg/test_mr_m3.py +710 -710
- package/md_cg/test_mr_m4.py +485 -485
- package/md_cg/test_n123_derive_expiry_chain.py +205 -0
- package/md_cg/test_n130_verify_falsified_protect.py +185 -0
- package/md_cg/test_n131_merge_gate.py +205 -0
- package/md_cg/test_p0.py +250 -250
- package/md_cg/test_p1.py +316 -316
- package/md_cg/test_p10_identity.py +173 -173
- package/md_cg/test_p11_consistency.py +233 -233
- package/md_cg/test_p12_metacognition.py +212 -212
- package/md_cg/test_p13_encryption.py +241 -241
- package/md_cg/test_p14_sustain.py +249 -249
- package/md_cg/test_p15_scrub.py +280 -280
- package/md_cg/test_p16_self_state.py +301 -301
- package/md_cg/test_p17_predict.py +354 -354
- package/md_cg/test_p18_whitebox.py +171 -171
- package/md_cg/test_p19_migrate_roleplay.py +149 -149
- package/md_cg/test_p1x_ref_root.py +160 -0
- package/md_cg/test_p20_evolution.py +315 -315
- package/md_cg/test_p21_tokens.py +293 -270
- package/md_cg/test_p22_theory.py +175 -175
- package/md_cg/test_p23_links.py +311 -311
- package/md_cg/test_p24_evidence.py +227 -227
- package/md_cg/test_p25_weights.py +156 -156
- package/md_cg/test_p26_refindex.py +416 -416
- package/md_cg/test_p27_docindex.py +16 -7
- package/md_cg/test_p28_refcheck.py +305 -305
- package/md_cg/test_p29_session_ingest_export.py +354 -333
- package/md_cg/test_p2_mcp.py +3 -0
- package/md_cg/test_p3.py +11 -2
- package/md_cg/test_p30_maintain.py +330 -330
- package/md_cg/test_p31_insight.py +534 -534
- package/md_cg/test_p32_backfill.py +7 -1
- package/md_cg/test_p33_ccg_wiring.py +293 -293
- package/md_cg/test_p34_crosscheck.py +331 -331
- package/md_cg/test_p35_conditioned_claim.py +252 -252
- package/md_cg/test_p36_kp_align.py +230 -230
- package/md_cg/test_p37_condition_space.py +248 -248
- package/md_cg/test_p38_concurrent_flush.py +102 -0
- package/md_cg/test_p38_contextualize.py +273 -273
- package/md_cg/test_p39_verify_flow.py +153 -0
- package/md_cg/test_p39_vision_evidence.py +369 -369
- package/md_cg/test_p40_refine_worklist.py +241 -241
- package/md_cg/test_p41_evolve_patrol.py +224 -224
- package/md_cg/test_p42_provenance.py +269 -269
- package/md_cg/test_p43_pooling.py +412 -398
- package/md_cg/test_p44_md_whitebox.py +231 -231
- package/md_cg/test_p45_session_identity.py +219 -219
- package/md_cg/test_p46_unit_scope.py +272 -272
- package/md_cg/test_p47_session_view.py +316 -0
- package/md_cg/test_p4_fuzzy.py +223 -223
- package/md_cg/test_p5_semantic.py +226 -226
- package/md_cg/test_p6_consolidate.py +440 -387
- package/md_cg/test_p7_goals_recent.py +202 -202
- package/md_cg/test_p8_subgraph_chain.py +200 -200
- package/md_cg/test_p9_forget_protect.py +231 -231
- package/md_cg/test_predict_beta.py +135 -135
- package/md_cg/test_preflight_failclosed.py +100 -100
- package/md_cg/test_progressive.py +146 -146
- package/md_cg/test_propose_tail_index.py +157 -0
- package/md_cg/test_protocol.py +243 -243
- package/md_cg/test_reach.py +378 -378
- package/md_cg/test_reach_keys.py +201 -201
- package/md_cg/test_read_clip.py +141 -141
- package/md_cg/test_read_scope_b27.py +277 -0
- package/md_cg/test_readcache_default_on.py +168 -0
- package/md_cg/test_readcache_precise_inval.py +270 -0
- package/md_cg/test_readcache_prodpath.py +203 -0
- package/md_cg/test_reconcile_v0.py +294 -0
- package/md_cg/test_retr_gates_prodpath.py +140 -0
- package/md_cg/test_retr_s1.py +344 -340
- package/md_cg/test_retr_s1b.py +276 -209
- package/md_cg/test_retr_s3.py +194 -194
- package/md_cg/test_retr_s4.py +163 -163
- package/md_cg/test_retr_s5.py +200 -200
- package/md_cg/test_retr_s6.py +157 -157
- package/md_cg/test_retr_s7.py +392 -384
- package/md_cg/test_retr_s8_time.py +369 -316
- package/md_cg/test_retr_s9_edges.py +286 -286
- package/md_cg/test_retr_s9_entity_ctx.py +9 -3
- package/md_cg/test_retr_score_once.py +208 -0
- package/md_cg/test_review_conformance.py +367 -367
- package/md_cg/test_review_onepass.py +170 -0
- package/md_cg/test_role_views.py +354 -354
- package/md_cg/test_rrf_graph_seed_cache.py +154 -0
- package/md_cg/test_security_audit.py +155 -0
- package/md_cg/test_security_audit_b26.py +161 -0
- package/md_cg/test_security_audit_v21.py +250 -0
- package/md_cg/test_sem_noise.py +242 -242
- package/md_cg/test_semantic_canonical.py +16 -2
- package/md_cg/test_session_isolation.py +168 -0
- package/md_cg/test_snapshot_autoclose.py +187 -0
- package/md_cg/test_subproc_encoding.py +192 -192
- package/md_cg/test_sustain_mutual.py +153 -153
- package/md_cg/test_tail_watermark_race.py +208 -0
- package/md_cg/test_tasks.py +409 -409
- package/md_cg/test_tenant_env_override_warn.py +139 -0
- package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
- package/md_cg/test_tool_face.py +189 -189
- package/md_cg/test_transfer.py +180 -180
- package/md_cg/test_trust.py +361 -361
- package/md_cg/test_twophase.py +286 -286
- package/md_cg/test_v14_fixes.py +38 -20
- package/md_cg/test_validity_filter.py +280 -280
- package/md_cg/test_verify_answer.py +138 -138
- package/md_cg/test_verify_dirty_reconcile.py +157 -0
- package/md_cg/test_wisdom_md_store.py +292 -292
- package/md_cg/test_writelimit.py +197 -197
- package/md_cg/test_writepipe.py +214 -214
- package/md_cg/theory.py +6 -3
- package/md_cg/tokens.py +85 -14
- package/md_cg/tool_face.py +260 -260
- package/md_cg/trust.py +986 -950
- package/md_cg/twophase.py +231 -231
- package/md_cg/units.py +668 -667
- package/md_cg/vision_evidence.py +667 -666
- package/md_cg/weights.py +624 -624
- package/md_cg/whitebox.py +527 -527
- package/md_cg/whitebox_kb/__init__.py +37 -37
- package/md_cg/whitebox_kb/aeis_core/__init__.py +42 -42
- package/md_cg/whitebox_kb/aeis_core/semantic.py +280 -280
- package/md_cg/whitebox_kb/aeis_core/textutil.py +13 -13
- package/md_cg/whitebox_kb/engine.py +310 -310
- package/md_cg/whitebox_kb/seed_knowledge//346/231/272/350/203/275/350/256/2723.4.md +5260 -5260
- package/md_cg/whitebox_kb/wisdom/browser_units.py +2631 -2631
- package/md_cg/whitebox_kb/wisdom/causal_discover.py +432 -432
- package/md_cg/whitebox_kb/wisdom/chat_engine.py +1506 -1506
- package/md_cg/whitebox_kb/wisdom/compiler_code_units.py +3033 -3033
- package/md_cg/whitebox_kb/wisdom/condition_algebra.py +112 -112
- package/md_cg/whitebox_kb/wisdom/condition_frame.py +315 -315
- package/md_cg/whitebox_kb/wisdom/condition_kb.py +108 -108
- package/md_cg/whitebox_kb/wisdom/conflict_map.json +4445 -4445
- package/md_cg/whitebox_kb/wisdom/core/lexer.py +512 -512
- package/md_cg/whitebox_kb/wisdom/core/name_checker.py +1023 -1023
- package/md_cg/whitebox_kb/wisdom/cspmn.py +258 -258
- package/md_cg/whitebox_kb/wisdom/csre.py +264 -264
- package/md_cg/whitebox_kb/wisdom/danmaku_audit.py +252 -252
- package/md_cg/whitebox_kb/wisdom/distilled_condition_units.json +6417 -6417
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902b.json +1950 -1950
- package/md_cg/whitebox_kb/wisdom/docs/WB-EVAL-20260902c.json +1296 -1296
- package/md_cg/whitebox_kb/wisdom/docs/whitebox_capability_graph_demo.json +59 -59
- package/md_cg/whitebox_kb/wisdom/graph_db_units.py +3089 -3089
- package/md_cg/whitebox_kb/wisdom/knowledge_points.py +318 -318
- package/md_cg/whitebox_kb/wisdom/md_access.py +470 -470
- package/md_cg/whitebox_kb/wisdom/md_store.py +276 -251
- package/md_cg/whitebox_kb/wisdom/migrate_wisdom.py +476 -476
- package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
- package/md_cg/whitebox_kb/wisdom/navigate.py +248 -248
- package/md_cg/whitebox_kb/wisdom/neural_retrieve.py +224 -224
- package/md_cg/whitebox_kb/wisdom/os_units.py +2735 -2735
- package/md_cg/whitebox_kb/wisdom/pattern_separation.py +376 -376
- package/md_cg/whitebox_kb/wisdom/prereq_map.json +364 -364
- package/md_cg/whitebox_kb/wisdom/python_code_units.py +2766 -2766
- package/md_cg/whitebox_kb/wisdom/role_solidified.json +7 -7
- package/md_cg/whitebox_kb/wisdom/route_memory.py +244 -244
- package/md_cg/whitebox_kb/wisdom/scene_reconstruction.py +148 -148
- package/md_cg/whitebox_kb/wisdom/snr_report.json +40 -40
- package/md_cg/whitebox_kb/wisdom/test_code_compose_domains.py +7541 -7541
- package/md_cg/whitebox_kb/wisdom/test_compiler_self_bootstrap.py +354 -354
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_assembly.py +158 -158
- package/md_cg/whitebox_kb/wisdom/test_ecosystem_demos.py +193 -193
- package/md_cg/whitebox_kb/wisdom/test_graph_db.py +292 -292
- package/md_cg/whitebox_kb/wisdom/test_python_self_bootstrap.py +160 -160
- package/md_cg/whitebox_kb/wisdom/trigger_words_index.json +4366 -4366
- package/md_cg/whitebox_kb/wisdom/verifier.py +1297 -1297
- package/md_cg/writelimit.py +356 -356
- package/md_cg/writepipe.py +20 -8
- package/package.json +101 -96
- package/skills/plugin.json +54 -54
- package/skills/skills/designer-perspective/SKILL.md +158 -158
- package/skills/skills/designer-perspective/references/01-observation-position.md +66 -66
- package/skills/skills/designer-perspective/references/02-structure-recognition.md +62 -62
- package/skills/skills/designer-perspective/references/03-direction-judgment.md +55 -55
- package/skills/skills/designer-perspective/references/04-qualification-verdict.md +72 -72
- package/skills/skills/designer-perspective/references/05-condition-attribution.md +74 -74
- package/skills/skills/designer-perspective/scripts/designer.py +545 -545
- package/skills/skills/designer-perspective/tests/cases.jsonl +17 -17
- package/skills/skills/designer-perspective/tests/selftest.py +61 -61
- package/skills/skills/lingshu-browser/SKILL.md +60 -60
- package/skills/skills/lingshu-compiler/SKILL.md +56 -56
- package/skills/skills/lingshu-compiler/units/analyze-type-infer/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-recursive/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-scope/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compile-while/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0010c4bf/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0355bffb/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0361708a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-054a0414/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05a1691a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-05eeed1e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0622a1f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-08b54217/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0a62b70c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ab24d00/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e093688/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0e82b966/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0ee9b9b9/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-0f3787e6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1028685f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-11897630/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-16661b9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-1f722303/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-25be1262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2a76ba07/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2dbea54a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2df52f16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2ec2c9d2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-2f8c8f39/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-38378ac7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39457d2e/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-39fb5926/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-47f4fbfa/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4a8cd1f1/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4b230b6b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4cbbda95/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-4d5a68ff/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-56dc9bdd/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-57e76ebe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-61ff016b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-63eae588/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-64c4224b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-66377955/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-674ab4f6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6af76fd6/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6d979db2/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6de326c0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-6f1c0eea/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-724d6c9b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7690177f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9d9b4e83/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-9f7be5ad/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a6daf076/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a7995a0c/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-a8399248/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-aabbd099/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-afe169d8/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b0678bda/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b09bd196/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b1396e23/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-b9b31ce0/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-c10264a7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cb1e8e4b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ccafd438/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f8c8b24b/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-f99fedbe/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fa8ff5f7/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/compiler-fe1b058d/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-chinese-program/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-dao-de-jing/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/lex-nine-chapters/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-arithmetic/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-array-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-closure-create/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-compare/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-jump/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-cond-space/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-exception/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-func-call/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-loop-run/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-profiling/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-refcount/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-run-loop/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-short-circuit/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-guard/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-stack-ops/SKILL.md +45 -45
- package/skills/skills/lingshu-compiler/units/vm-trust-accum/SKILL.md +45 -45
- package/skills/skills/lingshu-graph/SKILL.md +63 -63
- package/skills/skills/lingshu-net/SKILL.md +48 -48
- package/skills/skills/lingshu-os/SKILL.md +64 -64
- package/skills/skills/lingshu-pylang/SKILL.md +71 -71
- package/src/bridge.ts +33 -0
- package/src/hooks.ts +38 -2
- package/src/index.ts +526 -518
- package/src/lib/datapath.ts +326 -326
- package/src/lib/mdcg_client.ts +413 -413
- package/src/lib/mutual.ts +428 -428
- package/src/lib/prompt_safety.ts +62 -62
- package/src/lib/python_path.ts +71 -71
- package/src/lib/roleplay_web.ts +116 -29
- package/src/lib/token_store.ts +13 -3
- package/src/tools.ts +212 -212
- package/zcode/AGENTS.md +11 -3
- package/zcode/README.md +41 -41
- /package/docs/{mdcg → hive}//344/270/273/344/273/243/347/220/206/345/255/220/344/273/243/347/220/206/350/256/260/345/277/206/346/236/266/346/236/204/350/256/276/350/256/241.md" +0 -0
|
@@ -1,17 +1,17 @@
|
|
|
1
|
-
{"id":"declare-001","kind":"declare","input":{"position":"designer","space":{"观测工具":"条件证据(6章.2 四态)","时间窗口":"当前任务条件空间","存在约束":"锚点层公理"}},"expect":{"dims_complete":true}}
|
|
2
|
-
{"id":"declare-002","kind":"declare","input":{"position":"op"},"expect":{"dims_complete":false,"observation_position_contains":"操作层"}}
|
|
3
|
-
{"id":"judge-001","kind":"judge","input":{"query":"标准大气压下水的沸点是多少","conditions":{"观测位置":"操作层:我如何执行熵管理操作","观测工具":"热力学沸点规则","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"boil-point","evidence":["热力学沸点规则:标准大气压下水沸点100℃"],"when":{}}],"verification_path":["对照物理实验测量"]},"expect":{"state":"ACCEPT"}}
|
|
4
|
-
{"id":"judge-002","kind":"judge","input":{"query":"用音频解码单元处理3D图像","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"audio-decode","not_applicable":["3D图像"]}],"verification_path":["对照能力级不适用条件"]},"expect":{"state":"REJECT"}}
|
|
5
|
-
{"id":"judge-003","kind":"judge","input":{"query":"明天的股价是多少","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"stock-quote","when":{"时间窗口":"未来行情"}}]},"expect":{"state":"DEFER","missing_dim":"时间窗口"}}
|
|
6
|
-
{"id":"judge-004","kind":"judge","input":{"query":"某个从未编码的知识域中的问题","conditions":{"观测位置":"全局观测层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[]},"expect":{"state":"BLINDSPOT","require_missing_dim":true}}
|
|
7
|
-
{"id":"judge-005","kind":"judge","input":{"query":"这个图遍历任务应该用BFS还是DFS","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"bfs","evidence":["BFS 适用于最短路径"]},{"id":"dfs","evidence":["DFS 适用于连通分量"]}],"verification_path":["对照任务图结构"]},"expect":{"state":"DEFER","missing_dim":"条件边界"}}
|
|
8
|
-
{"id":"judge-006","kind":"judge","input":{"query":"某个可执行候选但无锚定依据","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"bare"}],"verification_path":["对照验证基底"]},"expect":{"state":"DEFER","missing_dim":"观测工具"}}
|
|
9
|
-
{"id":"judge-007","kind":"judge","input":{"query":"条件空间未声明完整时的候选","conditions":{"观测位置":"操作层"},"candidates":[{"id":"partial","evidence":["某条知识"]}],"verification_path":["对照验证基底"]},"expect":{"state":"DEFER","missing_dim":"观测工具"}}
|
|
10
|
-
{"id":"judge-008","kind":"judge","input":{"query":"用音频解码单元和视频解码单元处理3D图像","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"audio-decode","not_applicable":["3D图像"]},{"id":"video-decode","not_applicable":["3D图像"]}]},"expect":{"state":"REJECT"}}
|
|
11
|
-
{"id":"missing-001","kind":"missing","input":{"error":{"query":"检索时越搜越对抗","expected_state":"ACCEPT","actual_state":"REJECT","missing":"观测位置未知导致搜索对抗"}},"expect":{"missing_dim":"观测位置"}}
|
|
12
|
-
{"id":"missing-002","kind":"missing","input":{"error":{"query":"答案看起来最像就用了","expected_state":"ACCEPT","actual_state":"DEFER","missing":"用相似度代替条件证据"}},"expect":{"missing_dim":"观测工具"}}
|
|
13
|
-
{"id":"missing-003","kind":"missing","input":{"error":{"query":"用旧状态回答了当前问题","expected_state":"ACCEPT","actual_state":"REJECT","missing":"使用了过期快照作为依据"}},"expect":{"missing_dim":"时间窗口"}}
|
|
14
|
-
{"id":"missing-004","kind":"missing","input":{"error":{"query":"越权执行了不允许的操作","expected_state":"ACCEPT","actual_state":"REJECT","missing":"忽略了锚点层公理约束"}},"expect":{"missing_dim":"存在约束"}}
|
|
15
|
-
{"id":"missing-005","kind":"missing","input":{"error":{"query":"把E1的结论直接用到E5","expected_state":"ACCEPT","actual_state":"REJECT","missing":"跨条件空间直接迁移结论"}},"expect":{"missing_dim":"条件边界"}}
|
|
16
|
-
{"id":"verify-001","kind":"verify","input":{"query":"标准大气压下水的沸点","conditions":{"观测位置":"操作层","观测工具":"热力学沸点规则","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"boil-point","evidence":["热力学沸点规则"]}],"verification_path":["对照物理实验"]},"expect":{"state":"ACCEPT","require_verification_path":true}}
|
|
17
|
-
{"id":"verify-002","kind":"verify","input":{"query":"未知域问题","conditions":{"观测位置":"全局观测层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[]},"expect":{"state":"BLINDSPOT","require_missing_dim":true}}
|
|
1
|
+
{"id":"declare-001","kind":"declare","input":{"position":"designer","space":{"观测工具":"条件证据(6章.2 四态)","时间窗口":"当前任务条件空间","存在约束":"锚点层公理"}},"expect":{"dims_complete":true}}
|
|
2
|
+
{"id":"declare-002","kind":"declare","input":{"position":"op"},"expect":{"dims_complete":false,"observation_position_contains":"操作层"}}
|
|
3
|
+
{"id":"judge-001","kind":"judge","input":{"query":"标准大气压下水的沸点是多少","conditions":{"观测位置":"操作层:我如何执行熵管理操作","观测工具":"热力学沸点规则","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"boil-point","evidence":["热力学沸点规则:标准大气压下水沸点100℃"],"when":{}}],"verification_path":["对照物理实验测量"]},"expect":{"state":"ACCEPT"}}
|
|
4
|
+
{"id":"judge-002","kind":"judge","input":{"query":"用音频解码单元处理3D图像","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"audio-decode","not_applicable":["3D图像"]}],"verification_path":["对照能力级不适用条件"]},"expect":{"state":"REJECT"}}
|
|
5
|
+
{"id":"judge-003","kind":"judge","input":{"query":"明天的股价是多少","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"stock-quote","when":{"时间窗口":"未来行情"}}]},"expect":{"state":"DEFER","missing_dim":"时间窗口"}}
|
|
6
|
+
{"id":"judge-004","kind":"judge","input":{"query":"某个从未编码的知识域中的问题","conditions":{"观测位置":"全局观测层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[]},"expect":{"state":"BLINDSPOT","require_missing_dim":true}}
|
|
7
|
+
{"id":"judge-005","kind":"judge","input":{"query":"这个图遍历任务应该用BFS还是DFS","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"bfs","evidence":["BFS 适用于最短路径"]},{"id":"dfs","evidence":["DFS 适用于连通分量"]}],"verification_path":["对照任务图结构"]},"expect":{"state":"DEFER","missing_dim":"条件边界"}}
|
|
8
|
+
{"id":"judge-006","kind":"judge","input":{"query":"某个可执行候选但无锚定依据","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"bare"}],"verification_path":["对照验证基底"]},"expect":{"state":"DEFER","missing_dim":"观测工具"}}
|
|
9
|
+
{"id":"judge-007","kind":"judge","input":{"query":"条件空间未声明完整时的候选","conditions":{"观测位置":"操作层"},"candidates":[{"id":"partial","evidence":["某条知识"]}],"verification_path":["对照验证基底"]},"expect":{"state":"DEFER","missing_dim":"观测工具"}}
|
|
10
|
+
{"id":"judge-008","kind":"judge","input":{"query":"用音频解码单元和视频解码单元处理3D图像","conditions":{"观测位置":"操作层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"audio-decode","not_applicable":["3D图像"]},{"id":"video-decode","not_applicable":["3D图像"]}]},"expect":{"state":"REJECT"}}
|
|
11
|
+
{"id":"missing-001","kind":"missing","input":{"error":{"query":"检索时越搜越对抗","expected_state":"ACCEPT","actual_state":"REJECT","missing":"观测位置未知导致搜索对抗"}},"expect":{"missing_dim":"观测位置"}}
|
|
12
|
+
{"id":"missing-002","kind":"missing","input":{"error":{"query":"答案看起来最像就用了","expected_state":"ACCEPT","actual_state":"DEFER","missing":"用相似度代替条件证据"}},"expect":{"missing_dim":"观测工具"}}
|
|
13
|
+
{"id":"missing-003","kind":"missing","input":{"error":{"query":"用旧状态回答了当前问题","expected_state":"ACCEPT","actual_state":"REJECT","missing":"使用了过期快照作为依据"}},"expect":{"missing_dim":"时间窗口"}}
|
|
14
|
+
{"id":"missing-004","kind":"missing","input":{"error":{"query":"越权执行了不允许的操作","expected_state":"ACCEPT","actual_state":"REJECT","missing":"忽略了锚点层公理约束"}},"expect":{"missing_dim":"存在约束"}}
|
|
15
|
+
{"id":"missing-005","kind":"missing","input":{"error":{"query":"把E1的结论直接用到E5","expected_state":"ACCEPT","actual_state":"REJECT","missing":"跨条件空间直接迁移结论"}},"expect":{"missing_dim":"条件边界"}}
|
|
16
|
+
{"id":"verify-001","kind":"verify","input":{"query":"标准大气压下水的沸点","conditions":{"观测位置":"操作层","观测工具":"热力学沸点规则","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[{"id":"boil-point","evidence":["热力学沸点规则"]}],"verification_path":["对照物理实验"]},"expect":{"state":"ACCEPT","require_verification_path":true}}
|
|
17
|
+
{"id":"verify-002","kind":"verify","input":{"query":"未知域问题","conditions":{"观测位置":"全局观测层","观测工具":"条件证据","时间窗口":"当前任务","存在约束":"锚点层公理"},"candidates":[]},"expect":{"state":"BLINDSPOT","require_missing_dim":true}}
|
|
@@ -1,62 +1,62 @@
|
|
|
1
|
-
#!/usr/bin/env python3
|
|
2
|
-
# -*- coding: utf-8 -*-
|
|
3
|
-
"""selftest.py · 设计者视角认知能力验收执行器
|
|
4
|
-
|
|
5
|
-
读取 cases.jsonl,驱动 scripts/designer.py 的声明/判定/归因核心,输出逐项结果与通过率。
|
|
6
|
-
通过率是「技能是否真的生效」的自证,不是自我声称(附录25 工程验证清单)。
|
|
7
|
-
|
|
8
|
-
用法:
|
|
9
|
-
python selftest.py [--cases tests/cases.jsonl] [--json]
|
|
10
|
-
退出码:全通过 0,否则 1。
|
|
11
|
-
"""
|
|
12
|
-
import argparse
|
|
13
|
-
import json
|
|
14
|
-
import os
|
|
15
|
-
import sys
|
|
16
|
-
|
|
17
|
-
HERE = os.path.dirname(os.path.abspath(__file__))
|
|
18
|
-
ROOT = os.path.dirname(HERE)
|
|
19
|
-
sys.path.insert(0, os.path.join(ROOT, "scripts"))
|
|
20
|
-
|
|
21
|
-
import designer # noqa: E402 (路径注入后导入)
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
# 生效条件:读取 cases_path 的 JSONL(strip 后为空的行跳过)交给 designer.run_cases,返回 (results, passed, total) 三元组;
|
|
25
|
-
def run(cases_path):
|
|
26
|
-
with open(cases_path, encoding="utf-8") as fh:
|
|
27
|
-
cases = [json.loads(line) for line in fh if line.strip()]
|
|
28
|
-
results = designer.run_cases(cases)
|
|
29
|
-
passed = sum(1 for r in results if r["ok"])
|
|
30
|
-
total = len(results)
|
|
31
|
-
return results, passed, total
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
# 生效条件:argv(None 时取 sys.argv)解析后 --cases 缺省为 HERE/cases.jsonl,调用 run 后 passed==total 返回 0 否则返回 1,--json 为真值时打印 JSON 汇总、否则打印逐项明细;
|
|
35
|
-
def main(argv=None):
|
|
36
|
-
ap = argparse.ArgumentParser(prog="selftest.py",
|
|
37
|
-
description="设计者视角 · 认知能力验收")
|
|
38
|
-
ap.add_argument("--cases", default=os.path.join(HERE, "cases.jsonl"))
|
|
39
|
-
ap.add_argument("--json", action="store_true")
|
|
40
|
-
args = ap.parse_args(argv)
|
|
41
|
-
|
|
42
|
-
results, passed, total = run(args.cases)
|
|
43
|
-
rate = (100.0 * passed / total) if total else 0.0
|
|
44
|
-
|
|
45
|
-
if args.json:
|
|
46
|
-
print(json.dumps({"passed": passed, "total": total, "rate": round(rate, 2),
|
|
47
|
-
"results": results}, ensure_ascii=False, indent=2))
|
|
48
|
-
else:
|
|
49
|
-
print("设计者视角 · 认知能力验收(%s)" % os.path.basename(args.cases))
|
|
50
|
-
print("-" * 58)
|
|
51
|
-
for r in results:
|
|
52
|
-
print("%s %-14s [%-8s] %s" % ("PASS" if r["ok"] else "FAIL",
|
|
53
|
-
r["id"], r["kind"], r["detail"]))
|
|
54
|
-
print("-" * 58)
|
|
55
|
-
print("通过率:%d/%d = %.1f%%" % (passed, total, rate))
|
|
56
|
-
if passed != total:
|
|
57
|
-
print("未通过项:%s" % "、".join(r["id"] for r in results if not r["ok"]))
|
|
58
|
-
return 0 if passed == total else 1
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
if __name__ == "__main__":
|
|
1
|
+
#!/usr/bin/env python3
|
|
2
|
+
# -*- coding: utf-8 -*-
|
|
3
|
+
"""selftest.py · 设计者视角认知能力验收执行器
|
|
4
|
+
|
|
5
|
+
读取 cases.jsonl,驱动 scripts/designer.py 的声明/判定/归因核心,输出逐项结果与通过率。
|
|
6
|
+
通过率是「技能是否真的生效」的自证,不是自我声称(附录25 工程验证清单)。
|
|
7
|
+
|
|
8
|
+
用法:
|
|
9
|
+
python selftest.py [--cases tests/cases.jsonl] [--json]
|
|
10
|
+
退出码:全通过 0,否则 1。
|
|
11
|
+
"""
|
|
12
|
+
import argparse
|
|
13
|
+
import json
|
|
14
|
+
import os
|
|
15
|
+
import sys
|
|
16
|
+
|
|
17
|
+
HERE = os.path.dirname(os.path.abspath(__file__))
|
|
18
|
+
ROOT = os.path.dirname(HERE)
|
|
19
|
+
sys.path.insert(0, os.path.join(ROOT, "scripts"))
|
|
20
|
+
|
|
21
|
+
import designer # noqa: E402 (路径注入后导入)
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
# 生效条件:读取 cases_path 的 JSONL(strip 后为空的行跳过)交给 designer.run_cases,返回 (results, passed, total) 三元组;
|
|
25
|
+
def run(cases_path):
|
|
26
|
+
with open(cases_path, encoding="utf-8") as fh:
|
|
27
|
+
cases = [json.loads(line) for line in fh if line.strip()]
|
|
28
|
+
results = designer.run_cases(cases)
|
|
29
|
+
passed = sum(1 for r in results if r["ok"])
|
|
30
|
+
total = len(results)
|
|
31
|
+
return results, passed, total
|
|
32
|
+
|
|
33
|
+
|
|
34
|
+
# 生效条件:argv(None 时取 sys.argv)解析后 --cases 缺省为 HERE/cases.jsonl,调用 run 后 passed==total 返回 0 否则返回 1,--json 为真值时打印 JSON 汇总、否则打印逐项明细;
|
|
35
|
+
def main(argv=None):
|
|
36
|
+
ap = argparse.ArgumentParser(prog="selftest.py",
|
|
37
|
+
description="设计者视角 · 认知能力验收")
|
|
38
|
+
ap.add_argument("--cases", default=os.path.join(HERE, "cases.jsonl"))
|
|
39
|
+
ap.add_argument("--json", action="store_true")
|
|
40
|
+
args = ap.parse_args(argv)
|
|
41
|
+
|
|
42
|
+
results, passed, total = run(args.cases)
|
|
43
|
+
rate = (100.0 * passed / total) if total else 0.0
|
|
44
|
+
|
|
45
|
+
if args.json:
|
|
46
|
+
print(json.dumps({"passed": passed, "total": total, "rate": round(rate, 2),
|
|
47
|
+
"results": results}, ensure_ascii=False, indent=2))
|
|
48
|
+
else:
|
|
49
|
+
print("设计者视角 · 认知能力验收(%s)" % os.path.basename(args.cases))
|
|
50
|
+
print("-" * 58)
|
|
51
|
+
for r in results:
|
|
52
|
+
print("%s %-14s [%-8s] %s" % ("PASS" if r["ok"] else "FAIL",
|
|
53
|
+
r["id"], r["kind"], r["detail"]))
|
|
54
|
+
print("-" * 58)
|
|
55
|
+
print("通过率:%d/%d = %.1f%%" % (passed, total, rate))
|
|
56
|
+
if passed != total:
|
|
57
|
+
print("未通过项:%s" % "、".join(r["id"] for r in results if not r["ok"]))
|
|
58
|
+
return 0 if passed == total else 1
|
|
59
|
+
|
|
60
|
+
|
|
61
|
+
if __name__ == "__main__":
|
|
62
62
|
sys.exit(main())
|
|
@@ -1,60 +1,60 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: lingshu-browser
|
|
3
|
-
description: >-
|
|
4
|
-
灵枢白箱条件单元域入口:浏览器与网页(104 单元 / 14 子域)。触发词:浏览器、渲染、DOM、事件循环、Web存储、CSP、性能、PWA。
|
|
5
|
-
场景:任务命中本域任一子域主题时使用。先查下方路由表定位单元,语义模糊时经 mdcg cg op=route 路由;
|
|
6
|
-
单元正文在 units/<slug>/SKILL.md 按需回读(KCCS 四要素在各单元内,不随本入口加载)。
|
|
7
|
-
【不适用】Not for:任务不属于本域任何子域主题(负路由);跨域方向判断改用 designer-perspective 元技能。
|
|
8
|
-
license: MIT
|
|
9
|
-
allowed-tools: Read Grep Glob Bash
|
|
10
|
-
metadata:
|
|
11
|
-
version: "2.0"
|
|
12
|
-
skill-author: 灵枢(AEIS)
|
|
13
|
-
last-reviewed: "2026-09-11"
|
|
14
|
-
domain: browser
|
|
15
|
-
unit-count: 104
|
|
16
|
-
kccs:
|
|
17
|
-
trigger_words: ["浏览器", "渲染", "安全", "性能", "PWA", "事件", "存储", "网络", "CSS", "HTTP", "并行", "HTML"]
|
|
18
|
-
when: "任务命中本域单元的生效条件(子域主题见路由表;单元级条件在 units/<slug>/SKILL.md)"
|
|
19
|
-
sub: ["浏览器", "渲染", "安全", "性能", "PWA", "事件", "存储", "网络", "CSS", "HTTP", "并行", "HTML", "URL", "通知"]
|
|
20
|
-
execute: "① 定位:路由表或 mdcg cg op=route → ② 回读 units/<slug>/SKILL.md → ③ 按单元 KCCS 执行 → ④ 验证交灵枢 MCP(编译/运行/断言)"
|
|
21
|
-
not_applicable: ["任务不属于本域任何子域主题(负路由)", "需要全局观测/资格裁决时改用 designer-perspective(元技能不执行操作层)"]
|
|
22
|
-
---
|
|
23
|
-
|
|
24
|
-
# 灵枢 浏览器与网页域入口(lingshu-browser)
|
|
25
|
-
|
|
26
|
-
白箱条件单元域入口(v2.0 层级化重组)。本域 104 个单元收纳于 `units/`,
|
|
27
|
-
本文件只承载**子域路由**——description 进上下文做域级命中,单元按需回读。
|
|
28
|
-
|
|
29
|
-
## 路由表(子域 → 单元)
|
|
30
|
-
|
|
31
|
-
| 子域 | 数 | 单元(slug · 中文主题)|
|
|
32
|
-
|---|---|---|
|
|
33
|
-
| 浏览器 | 57 | `browser-03b04f98` · 浏览器-表单验证(browser-03b04f98)、`browser-093c03ab` · 浏览器-预加载(browser-093c03ab)、`browser-09e60b35` · 浏览器-画中画(browser-09e60b35)、`browser-0ab4f2db` · 浏览器-网络记录(browser-0ab4f2db)、`browser-0f598430` · 浏览器-页面可见性(browser-0f598430)、`browser-18f823e2` · 浏览器-响应式断点(browser-18f823e2)、`browser-1bafe81c` · 浏览器-振动反馈(browser-1bafe81c)、`browser-1fdb5852` · 浏览器-标签页通信(browser-1fdb5852)、`browser-22e8de36` · 浏览器-触控手势(browser-22e8de36)、`browser-2895ff52` · 浏览器-文件系统访问(browser-2895ff52)、`browser-2cc1da58` · 浏览器-扩展管理(browser-2cc1da58)、`browser-3189fe6f` · 浏览器-字体加载(browser-3189fe6f)、`browser-31f2b08f` · 浏览器-形状检测(browser-31f2b08f)、`browser-396ec3a6` · 浏览器-书签管理(browser-396ec3a6)、`browser-43154cec` · 浏览器-窗口管理(browser-43154cec)、`browser-434b74b8` · 浏览器-资源优先级(browser-434b74b8)、`browser-440d4398` · 浏览器-弹窗拦截(browser-440d4398)、`browser-4d6c0788` · 浏览器-媒体播放(browser-4d6c0788)、`browser-50fecd89` · 浏览器-历史记录(browser-50fecd89)、`browser-57312d24` · 浏览器-离线队列(browser-57312d24)、`browser-59a0ada4` · 浏览器-语音合成(browser-59a0ada4)、`browser-5a455aeb` · 浏览器-摄像头(browser-5a455aeb)、`browser-5ae7623a` · 浏览器-标签页管理(browser-5ae7623a)、`browser-5e5f1396` · 浏览器-扫码(browser-5e5f1396)、`browser-5ebb01dd` · 浏览器-唤醒锁(browser-5ebb01dd)、`browser-5f5453f9` · 浏览器-传感器(browser-5f5453f9)、`browser-5f90f58c` · 浏览器-语言检测(browser-5f90f58c)、`browser-609362ee` · 浏览器-蓝牙扫描(browser-609362ee)、`browser-6636d49c` · 浏览器-拖放交互(browser-6636d49c)、`browser-6cfcb6db` · 浏览器-联系人(browser-6cfcb6db)、`browser-77a97b43` · 浏览器-存储配额(browser-77a97b43)、`browser-7bb4871d` · 浏览器-剪贴板(browser-7bb4871d)、`browser-7da433f3` · 浏览器-屏幕捕获(browser-7da433f3)、`browser-7f9cefec` · 浏览器-虚拟键盘(browser-7f9cefec)、`browser-80224e71` · 浏览器-全屏模式(browser-80224e71)、`browser-822cfa44` · 浏览器-屏幕方向(browser-822cfa44)、`browser-853690c0` · 浏览器-内置聊天(browser-853690c0)、`browser-85553126` · 浏览器-权限API(browser-85553126)、`browser-87b0ce80` · 浏览器-在线状态(browser-87b0ce80)、`browser-910405c4` · 浏览器-语音识别(browser-910405c4)、`browser-9e4914a7` · 浏览器-网页共享(browser-9e4914a7)、`browser-a280ec64` · 浏览器-网络信息(browser-a280ec64)、`browser-a2d9b0b0` · 浏览器-游戏手柄(browser-a2d9b0b0)、`browser-a990e68e` · 浏览器-翻译(browser-a990e68e)、`browser-bcd4288d` · 浏览器-图像生成(browser-bcd4288d)、`browser-bfad66a5` · 浏览器-请求合并(browser-bfad66a5)、`browser-c879eb0b` · 浏览器-文本摘要(browser-c879eb0b)、`browser-c92ac01b` · 浏览器-CSP报告(browser-c92ac01b)、`browser-cb179242` · 浏览器-设备方向(browser-cb179242)、`browser-cf3c47f0` · 浏览器-会话恢复(browser-cf3c47f0)、`browser-d462581c` · 浏览器-下载管理(browser-d462581c)、`browser-d5fa0b7f` · 浏览器-空闲调度(browser-d5fa0b7f)、`browser-e84565c1` · 浏览器-音频上下文(browser-e84565c1)、`browser-ea9b2b8e` · 浏览器-地理位置(browser-ea9b2b8e)、`browser-f75a4418` · 浏览器-资源完整性(browser-f75a4418)、`browser-f8f2966e` · 浏览器-支付请求(browser-f8f2966e)、`browser-ff94a671` · 浏览器-提示词(browser-ff94a671) |
|
|
34
|
-
| 渲染 | 16 | `browser-0c7f88d6` · 渲染-盒模型(browser-0c7f88d6)、`browser-1f9ab1f0` · 渲染-边框圆角(browser-1f9ab1f0)、`browser-21b0359c` · 渲染-文本排版(browser-21b0359c)、`browser-44d7f183` · 渲染-渐变填充(browser-44d7f183)、`browser-60aefeeb` · 渲染-滚动容器(browser-60aefeeb)、`browser-716cd26c` · 渲染-动画帧(browser-716cd26c)、`browser-7be57bbe` · 渲染-颜色转换(browser-7be57bbe)、`browser-7e96fe1d` · 渲染-混合模式(browser-7e96fe1d)、`browser-81345ecd` · 渲染-重排重绘(browser-81345ecd)、`browser-a372edeb` · 渲染-命中测试(browser-a372edeb)、`browser-a7a2b0c1` · 渲染-绘制(browser-a7a2b0c1)、`browser-aaac4eec` · 渲染-布局树(browser-aaac4eec)、`browser-ae6586bb` · 渲染-合成分层(browser-ae6586bb)、`browser-c4dd6078` · 渲染-样式计算(browser-c4dd6078)、`browser-df1a919e` · 渲染-块布局(browser-df1a919e)、`browser-fa65fa2d` · 渲染-像素光栅化(browser-fa65fa2d) |
|
|
35
|
-
| 安全 | 6 | `browser-25afee4d` · 安全-沙箱隔离(browser-25afee4d)、`browser-555c0626` · 安全-同源策略(browser-555c0626)、`browser-5dac60b6` · 安全-CORS检查(browser-5dac60b6)、`browser-a681d0c2` · 安全-CSP策略(browser-a681d0c2)、`browser-b501767c` · 安全-混合内容(browser-b501767c)、`browser-faac8812` · 安全-XSS防护(browser-faac8812) |
|
|
36
|
-
| 性能 | 4 | `browser-37b8339e` · 性能-关键渲染路径(browser-37b8339e)、`browser-3df2f904` · 性能-懒加载(browser-3df2f904)、`browser-900c4484` · 性能-防抖节流(browser-900c4484)、`browser-d72e225b` · 性能-渲染优化(browser-d72e225b) |
|
|
37
|
-
| PWA | 3 | `browser-6e1c1158` · PWA-应用清单(browser-6e1c1158)、`browser-cc7d3d6d` · PWA-安装事件(browser-cc7d3d6d)、`browser-cf9f812e` · PWA-缓存策略(browser-cf9f812e) |
|
|
38
|
-
| 事件 | 3 | `browser-02898b15` · 事件-事件冒泡(browser-02898b15)、`browser-97a14ca3` · 事件-事件监听(browser-97a14ca3)、`browser-b4c8cf65` · 事件-事件委托(browser-b4c8cf65) |
|
|
39
|
-
| 存储 | 3 | `browser-7008e942` · 存储-IndexedDB(browser-7008e942)、`browser-720ce1a1` · 存储-本地存储(browser-720ce1a1)、`browser-95fd3c86` · 存储-会话存储(browser-95fd3c86) |
|
|
40
|
-
| 网络 | 3 | `browser-0754386d` · 网络-Fetch请求(browser-0754386d)、`browser-a4c793a4` · 网络-Cookie(browser-a4c793a4)、`browser-e947a564` · 网络-HTTP缓存(browser-e947a564) |
|
|
41
|
-
| CSS | 2 | `browser-17906c62` · CSS-选择器(browser-17906c62)、`browser-c45cbfe9` · CSS-级联(browser-c45cbfe9) |
|
|
42
|
-
| HTTP | 2 | `browser-2471a991` · HTTP-请求构建(browser-2471a991)、`browser-9de10895` · HTTP-响应解析(browser-9de10895) |
|
|
43
|
-
| 并行 | 2 | `browser-0fd64fa5` · 并行-Service Worker(browser-0fd64fa5)、`browser-f5ffc6d9` · 并行-Web Worker(browser-f5ffc6d9) |
|
|
44
|
-
| HTML | 1 | `browser-24163519` · HTML-DOM解析(browser-24163519) |
|
|
45
|
-
| URL | 1 | `browser-afa4091f` · URL-解析(browser-afa4091f) |
|
|
46
|
-
| 通知 | 1 | `browser-283a91bd` · 通知-推送消息(browser-283a91bd) |
|
|
47
|
-
|
|
48
|
-
## 路由流程
|
|
49
|
-
|
|
50
|
-
1. **词面命中**:任务含子域/单元触发词 → 直接查上表回读对应单元
|
|
51
|
-
2. **语义模糊**:`mdcg cg op=route intent=<任务描述>` → 返回建议能力名与知识
|
|
52
|
-
3. **回读**:`units/<单元slug>/SKILL.md`(含 KCCS 四要素与验证样例)
|
|
53
|
-
4. **验证**:灵枢 MCP 工具物理执行(编译/运行/断言裁决),技能说"怎么验证"、MCP 负责"真去跑"
|
|
54
|
-
|
|
55
|
-
## 真源与纪律
|
|
56
|
-
|
|
57
|
-
- 知识真源:`md_cg/whitebox_kb/wisdom/browser_units.py`(KCCS 四要素唯一真源)
|
|
58
|
-
- 本包为生成投影(2026-09-11 层级化重组 v2.0):单元内容零改动,仅目录收纳 + 域入口新增
|
|
59
|
-
- 触发词全量索引:`md_cg/whitebox_kb/wisdom/trigger_words_index.json`
|
|
60
|
-
- 变更须在真源层修改后重新导出(R6 变更验证),勿直接改本目录单元
|
|
1
|
+
---
|
|
2
|
+
name: lingshu-browser
|
|
3
|
+
description: >-
|
|
4
|
+
灵枢白箱条件单元域入口:浏览器与网页(104 单元 / 14 子域)。触发词:浏览器、渲染、DOM、事件循环、Web存储、CSP、性能、PWA。
|
|
5
|
+
场景:任务命中本域任一子域主题时使用。先查下方路由表定位单元,语义模糊时经 mdcg cg op=route 路由;
|
|
6
|
+
单元正文在 units/<slug>/SKILL.md 按需回读(KCCS 四要素在各单元内,不随本入口加载)。
|
|
7
|
+
【不适用】Not for:任务不属于本域任何子域主题(负路由);跨域方向判断改用 designer-perspective 元技能。
|
|
8
|
+
license: MIT
|
|
9
|
+
allowed-tools: Read Grep Glob Bash
|
|
10
|
+
metadata:
|
|
11
|
+
version: "2.0"
|
|
12
|
+
skill-author: 灵枢(AEIS)
|
|
13
|
+
last-reviewed: "2026-09-11"
|
|
14
|
+
domain: browser
|
|
15
|
+
unit-count: 104
|
|
16
|
+
kccs:
|
|
17
|
+
trigger_words: ["浏览器", "渲染", "安全", "性能", "PWA", "事件", "存储", "网络", "CSS", "HTTP", "并行", "HTML"]
|
|
18
|
+
when: "任务命中本域单元的生效条件(子域主题见路由表;单元级条件在 units/<slug>/SKILL.md)"
|
|
19
|
+
sub: ["浏览器", "渲染", "安全", "性能", "PWA", "事件", "存储", "网络", "CSS", "HTTP", "并行", "HTML", "URL", "通知"]
|
|
20
|
+
execute: "① 定位:路由表或 mdcg cg op=route → ② 回读 units/<slug>/SKILL.md → ③ 按单元 KCCS 执行 → ④ 验证交灵枢 MCP(编译/运行/断言)"
|
|
21
|
+
not_applicable: ["任务不属于本域任何子域主题(负路由)", "需要全局观测/资格裁决时改用 designer-perspective(元技能不执行操作层)"]
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
# 灵枢 浏览器与网页域入口(lingshu-browser)
|
|
25
|
+
|
|
26
|
+
白箱条件单元域入口(v2.0 层级化重组)。本域 104 个单元收纳于 `units/`,
|
|
27
|
+
本文件只承载**子域路由**——description 进上下文做域级命中,单元按需回读。
|
|
28
|
+
|
|
29
|
+
## 路由表(子域 → 单元)
|
|
30
|
+
|
|
31
|
+
| 子域 | 数 | 单元(slug · 中文主题)|
|
|
32
|
+
|---|---|---|
|
|
33
|
+
| 浏览器 | 57 | `browser-03b04f98` · 浏览器-表单验证(browser-03b04f98)、`browser-093c03ab` · 浏览器-预加载(browser-093c03ab)、`browser-09e60b35` · 浏览器-画中画(browser-09e60b35)、`browser-0ab4f2db` · 浏览器-网络记录(browser-0ab4f2db)、`browser-0f598430` · 浏览器-页面可见性(browser-0f598430)、`browser-18f823e2` · 浏览器-响应式断点(browser-18f823e2)、`browser-1bafe81c` · 浏览器-振动反馈(browser-1bafe81c)、`browser-1fdb5852` · 浏览器-标签页通信(browser-1fdb5852)、`browser-22e8de36` · 浏览器-触控手势(browser-22e8de36)、`browser-2895ff52` · 浏览器-文件系统访问(browser-2895ff52)、`browser-2cc1da58` · 浏览器-扩展管理(browser-2cc1da58)、`browser-3189fe6f` · 浏览器-字体加载(browser-3189fe6f)、`browser-31f2b08f` · 浏览器-形状检测(browser-31f2b08f)、`browser-396ec3a6` · 浏览器-书签管理(browser-396ec3a6)、`browser-43154cec` · 浏览器-窗口管理(browser-43154cec)、`browser-434b74b8` · 浏览器-资源优先级(browser-434b74b8)、`browser-440d4398` · 浏览器-弹窗拦截(browser-440d4398)、`browser-4d6c0788` · 浏览器-媒体播放(browser-4d6c0788)、`browser-50fecd89` · 浏览器-历史记录(browser-50fecd89)、`browser-57312d24` · 浏览器-离线队列(browser-57312d24)、`browser-59a0ada4` · 浏览器-语音合成(browser-59a0ada4)、`browser-5a455aeb` · 浏览器-摄像头(browser-5a455aeb)、`browser-5ae7623a` · 浏览器-标签页管理(browser-5ae7623a)、`browser-5e5f1396` · 浏览器-扫码(browser-5e5f1396)、`browser-5ebb01dd` · 浏览器-唤醒锁(browser-5ebb01dd)、`browser-5f5453f9` · 浏览器-传感器(browser-5f5453f9)、`browser-5f90f58c` · 浏览器-语言检测(browser-5f90f58c)、`browser-609362ee` · 浏览器-蓝牙扫描(browser-609362ee)、`browser-6636d49c` · 浏览器-拖放交互(browser-6636d49c)、`browser-6cfcb6db` · 浏览器-联系人(browser-6cfcb6db)、`browser-77a97b43` · 浏览器-存储配额(browser-77a97b43)、`browser-7bb4871d` · 浏览器-剪贴板(browser-7bb4871d)、`browser-7da433f3` · 浏览器-屏幕捕获(browser-7da433f3)、`browser-7f9cefec` · 浏览器-虚拟键盘(browser-7f9cefec)、`browser-80224e71` · 浏览器-全屏模式(browser-80224e71)、`browser-822cfa44` · 浏览器-屏幕方向(browser-822cfa44)、`browser-853690c0` · 浏览器-内置聊天(browser-853690c0)、`browser-85553126` · 浏览器-权限API(browser-85553126)、`browser-87b0ce80` · 浏览器-在线状态(browser-87b0ce80)、`browser-910405c4` · 浏览器-语音识别(browser-910405c4)、`browser-9e4914a7` · 浏览器-网页共享(browser-9e4914a7)、`browser-a280ec64` · 浏览器-网络信息(browser-a280ec64)、`browser-a2d9b0b0` · 浏览器-游戏手柄(browser-a2d9b0b0)、`browser-a990e68e` · 浏览器-翻译(browser-a990e68e)、`browser-bcd4288d` · 浏览器-图像生成(browser-bcd4288d)、`browser-bfad66a5` · 浏览器-请求合并(browser-bfad66a5)、`browser-c879eb0b` · 浏览器-文本摘要(browser-c879eb0b)、`browser-c92ac01b` · 浏览器-CSP报告(browser-c92ac01b)、`browser-cb179242` · 浏览器-设备方向(browser-cb179242)、`browser-cf3c47f0` · 浏览器-会话恢复(browser-cf3c47f0)、`browser-d462581c` · 浏览器-下载管理(browser-d462581c)、`browser-d5fa0b7f` · 浏览器-空闲调度(browser-d5fa0b7f)、`browser-e84565c1` · 浏览器-音频上下文(browser-e84565c1)、`browser-ea9b2b8e` · 浏览器-地理位置(browser-ea9b2b8e)、`browser-f75a4418` · 浏览器-资源完整性(browser-f75a4418)、`browser-f8f2966e` · 浏览器-支付请求(browser-f8f2966e)、`browser-ff94a671` · 浏览器-提示词(browser-ff94a671) |
|
|
34
|
+
| 渲染 | 16 | `browser-0c7f88d6` · 渲染-盒模型(browser-0c7f88d6)、`browser-1f9ab1f0` · 渲染-边框圆角(browser-1f9ab1f0)、`browser-21b0359c` · 渲染-文本排版(browser-21b0359c)、`browser-44d7f183` · 渲染-渐变填充(browser-44d7f183)、`browser-60aefeeb` · 渲染-滚动容器(browser-60aefeeb)、`browser-716cd26c` · 渲染-动画帧(browser-716cd26c)、`browser-7be57bbe` · 渲染-颜色转换(browser-7be57bbe)、`browser-7e96fe1d` · 渲染-混合模式(browser-7e96fe1d)、`browser-81345ecd` · 渲染-重排重绘(browser-81345ecd)、`browser-a372edeb` · 渲染-命中测试(browser-a372edeb)、`browser-a7a2b0c1` · 渲染-绘制(browser-a7a2b0c1)、`browser-aaac4eec` · 渲染-布局树(browser-aaac4eec)、`browser-ae6586bb` · 渲染-合成分层(browser-ae6586bb)、`browser-c4dd6078` · 渲染-样式计算(browser-c4dd6078)、`browser-df1a919e` · 渲染-块布局(browser-df1a919e)、`browser-fa65fa2d` · 渲染-像素光栅化(browser-fa65fa2d) |
|
|
35
|
+
| 安全 | 6 | `browser-25afee4d` · 安全-沙箱隔离(browser-25afee4d)、`browser-555c0626` · 安全-同源策略(browser-555c0626)、`browser-5dac60b6` · 安全-CORS检查(browser-5dac60b6)、`browser-a681d0c2` · 安全-CSP策略(browser-a681d0c2)、`browser-b501767c` · 安全-混合内容(browser-b501767c)、`browser-faac8812` · 安全-XSS防护(browser-faac8812) |
|
|
36
|
+
| 性能 | 4 | `browser-37b8339e` · 性能-关键渲染路径(browser-37b8339e)、`browser-3df2f904` · 性能-懒加载(browser-3df2f904)、`browser-900c4484` · 性能-防抖节流(browser-900c4484)、`browser-d72e225b` · 性能-渲染优化(browser-d72e225b) |
|
|
37
|
+
| PWA | 3 | `browser-6e1c1158` · PWA-应用清单(browser-6e1c1158)、`browser-cc7d3d6d` · PWA-安装事件(browser-cc7d3d6d)、`browser-cf9f812e` · PWA-缓存策略(browser-cf9f812e) |
|
|
38
|
+
| 事件 | 3 | `browser-02898b15` · 事件-事件冒泡(browser-02898b15)、`browser-97a14ca3` · 事件-事件监听(browser-97a14ca3)、`browser-b4c8cf65` · 事件-事件委托(browser-b4c8cf65) |
|
|
39
|
+
| 存储 | 3 | `browser-7008e942` · 存储-IndexedDB(browser-7008e942)、`browser-720ce1a1` · 存储-本地存储(browser-720ce1a1)、`browser-95fd3c86` · 存储-会话存储(browser-95fd3c86) |
|
|
40
|
+
| 网络 | 3 | `browser-0754386d` · 网络-Fetch请求(browser-0754386d)、`browser-a4c793a4` · 网络-Cookie(browser-a4c793a4)、`browser-e947a564` · 网络-HTTP缓存(browser-e947a564) |
|
|
41
|
+
| CSS | 2 | `browser-17906c62` · CSS-选择器(browser-17906c62)、`browser-c45cbfe9` · CSS-级联(browser-c45cbfe9) |
|
|
42
|
+
| HTTP | 2 | `browser-2471a991` · HTTP-请求构建(browser-2471a991)、`browser-9de10895` · HTTP-响应解析(browser-9de10895) |
|
|
43
|
+
| 并行 | 2 | `browser-0fd64fa5` · 并行-Service Worker(browser-0fd64fa5)、`browser-f5ffc6d9` · 并行-Web Worker(browser-f5ffc6d9) |
|
|
44
|
+
| HTML | 1 | `browser-24163519` · HTML-DOM解析(browser-24163519) |
|
|
45
|
+
| URL | 1 | `browser-afa4091f` · URL-解析(browser-afa4091f) |
|
|
46
|
+
| 通知 | 1 | `browser-283a91bd` · 通知-推送消息(browser-283a91bd) |
|
|
47
|
+
|
|
48
|
+
## 路由流程
|
|
49
|
+
|
|
50
|
+
1. **词面命中**:任务含子域/单元触发词 → 直接查上表回读对应单元
|
|
51
|
+
2. **语义模糊**:`mdcg cg op=route intent=<任务描述>` → 返回建议能力名与知识
|
|
52
|
+
3. **回读**:`units/<单元slug>/SKILL.md`(含 KCCS 四要素与验证样例)
|
|
53
|
+
4. **验证**:灵枢 MCP 工具物理执行(编译/运行/断言裁决),技能说"怎么验证"、MCP 负责"真去跑"
|
|
54
|
+
|
|
55
|
+
## 真源与纪律
|
|
56
|
+
|
|
57
|
+
- 知识真源:`md_cg/whitebox_kb/wisdom/browser_units.py`(KCCS 四要素唯一真源)
|
|
58
|
+
- 本包为生成投影(2026-09-11 层级化重组 v2.0):单元内容零改动,仅目录收纳 + 域入口新增
|
|
59
|
+
- 触发词全量索引:`md_cg/whitebox_kb/wisdom/trigger_words_index.json`
|
|
60
|
+
- 变更须在真源层修改后重新导出(R6 变更验证),勿直接改本目录单元
|
|
@@ -1,56 +1,56 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: lingshu-compiler
|
|
3
|
-
description: >-
|
|
4
|
-
灵枢白箱条件单元域入口:中文编译器(116 单元 / 10 子域)。触发词:编译、词法分析、语法分析、字节码、虚拟机、递归编译、类型检查、调试。
|
|
5
|
-
场景:任务命中本域任一子域主题时使用。先查下方路由表定位单元,语义模糊时经 mdcg cg op=route 路由;
|
|
6
|
-
单元正文在 units/<slug>/SKILL.md 按需回读(KCCS 四要素在各单元内,不随本入口加载)。
|
|
7
|
-
【不适用】Not for:任务不属于本域任何子域主题(负路由);跨域方向判断改用 designer-perspective 元技能。
|
|
8
|
-
license: MIT
|
|
9
|
-
allowed-tools: Read Grep Glob Bash
|
|
10
|
-
metadata:
|
|
11
|
-
version: "2.0"
|
|
12
|
-
skill-author: 灵枢(AEIS)
|
|
13
|
-
last-reviewed: "2026-09-11"
|
|
14
|
-
domain: compiler
|
|
15
|
-
unit-count: 116
|
|
16
|
-
kccs:
|
|
17
|
-
trigger_words: ["编译", "VM", "分析", "词法", "语法", "调试", "字节码", "校验", "对接", "求值"]
|
|
18
|
-
when: "任务命中本域单元的生效条件(子域主题见路由表;单元级条件在 units/<slug>/SKILL.md)"
|
|
19
|
-
sub: ["编译", "VM", "分析", "词法", "语法", "调试", "字节码", "校验", "对接", "求值"]
|
|
20
|
-
execute: "① 定位:路由表或 mdcg cg op=route → ② 回读 units/<slug>/SKILL.md → ③ 按单元 KCCS 执行 → ④ 验证交灵枢 MCP(编译/运行/断言)"
|
|
21
|
-
not_applicable: ["任务不属于本域任何子域主题(负路由)", "需要全局观测/资格裁决时改用 designer-perspective(元技能不执行操作层)"]
|
|
22
|
-
---
|
|
23
|
-
|
|
24
|
-
# 灵枢 中文编译器域入口(lingshu-compiler)
|
|
25
|
-
|
|
26
|
-
白箱条件单元域入口(v2.0 层级化重组)。本域 116 个单元收纳于 `units/`,
|
|
27
|
-
本文件只承载**子域路由**——description 进上下文做域级命中,单元按需回读。
|
|
28
|
-
|
|
29
|
-
## 路由表(子域 → 单元)
|
|
30
|
-
|
|
31
|
-
| 子域 | 数 | 单元(slug · 中文主题)|
|
|
32
|
-
|---|---|---|
|
|
33
|
-
| 编译 | 40 | `compile-assign` · 编译-赋值(compile-assign)、`compile-expr-tree` · 编译-表达式树(compile-expr-tree)、`compile-full-pipeline` · 编译-完整管线(compile-full-pipeline)、`compile-func-def` · 编译-函数定义(compile-func-def)、`compile-if-then` · 编译-若则(compile-if-then)、`compile-logic-expr` · 编译-逻辑表达式(compile-logic-expr)、`compile-recursive` · 编译-递归(compile-recursive)、`compile-scope` · 编译-作用域分析(compile-scope)、`compile-type-check` · 编译-类型检查(compile-type-check)、`compile-while` · 编译-循环(compile-while)、`compiler-0010c4bf` · 编译-指令重排(compiler-0010c4bf)、`compiler-054a0414` · 编译-支配树(compiler-054a0414)、`compiler-05eeed1e` · 编译-名实绑定(compiler-05eeed1e)、`compiler-0622a1f6` · 编译-内联展开(compiler-0622a1f6)、`compiler-08b54217` · 编译-寄存器溢出(compiler-08b54217)、`compiler-1028685f` · 编译-窥孔优化(compiler-1028685f)、`compiler-16661b9b` · 编译-寄存器分配(compiler-16661b9b)、`compiler-25be1262` · 编译-指令选择(compiler-25be1262)、`compiler-2a76ba07` · 编译-尾调用优化(compiler-2a76ba07)、`compiler-2df52f16` · 编译-指令融合(compiler-2df52f16)、`compiler-38378ac7` · 编译-程序(compiler-38378ac7)、`compiler-4cbbda95` · 编译-指令(compiler-4cbbda95)、`compiler-64c4224b` · 编译-中间表示(compiler-64c4224b)、`compiler-66377955` · 编译-寄存器着色(compiler-66377955)、`compiler-6af76fd6` · 编译-常量池(compiler-6af76fd6)、`compiler-6d979db2` · 编译-常量折叠(compiler-6d979db2)、`compiler-724d6c9b` · 编译-类型转换(compiler-724d6c9b)、`compiler-7690177f` · 编译-字符串拼接(compiler-7690177f)、`compiler-83c61634` · 编译-管线静态检查(compiler-83c61634)、`compiler-94b8d72d` · 编译-闭包捕获分析(compiler-94b8d72d)、`compiler-98b4c42f` · 编译-循环展开(compiler-98b4c42f)、`compiler-98e3894a` · 编译-去虚拟化(compiler-98e3894a)、`compiler-9bdfe4b8` · 编译-循环不变式(compiler-9bdfe4b8)、`compiler-aabbd099` · 编译-死代码消除(compiler-aabbd099)、`compiler-afe169d8` · 编译-指令调度(compiler-afe169d8)、`compiler-c10264a7` · 编译-常量传播(compiler-c10264a7)、`compiler-cda9c262` · 编译-边界检查消除(compiler-cda9c262)、`compiler-eb1cf2b5` · 编译-信任流分析(compiler-eb1cf2b5)、`compiler-ecb30d5b` · 编译-链式比较(compiler-ecb30d5b)、`compiler-fa8ff5f7` · 编译-内联缓存(compiler-fa8ff5f7) |
|
|
34
|
-
| VM | 17 | `vm-arithmetic` · VM-算术执行(vm-arithmetic)、`vm-array-ops` · VM-数组操作(vm-array-ops)、`vm-closure-call` · VM-闭包调用(vm-closure-call)、`vm-closure-create` · VM-闭包创建(vm-closure-create)、`vm-compare` · VM-比较执行(vm-compare)、`vm-cond-jump` · VM-条件跳转(vm-cond-jump)、`vm-cond-space` · VM-条件空间(vm-cond-space)、`vm-exception` · VM-异常处理(vm-exception)、`vm-func-call` · VM-函数调用(vm-func-call)、`vm-loop-run` · VM-循环执行(vm-loop-run)、`vm-profiling` · VM-指令剖析(vm-profiling)、`vm-refcount` · VM-引用计数(vm-refcount)、`vm-run-loop` · VM-执行循环(vm-run-loop)、`vm-short-circuit` · VM-短路求值(vm-short-circuit)、`vm-stack-guard` · VM-栈保护(vm-stack-guard)、`vm-stack-ops` · VM-栈操作(vm-stack-ops)、`vm-trust-accum` · VM-信任累积(vm-trust-accum) |
|
|
35
|
-
| 分析 | 14 | `analyze-type-infer` · 分析-类型推断(analyze-type-infer)、`compiler-0ab24d00` · 分析-圈复杂度(compiler-0ab24d00)、`compiler-0e093688` · 分析-污点分析(compiler-0e093688)、`compiler-2dbea54a` · 分析-循环检测(compiler-2dbea54a)、`compiler-2ec2c9d2` · 分析-活跃变量(compiler-2ec2c9d2)、`compiler-2f8c8f39` · 分析-调用图(compiler-2f8c8f39)、`compiler-6de326c0` · 分析-逃逸分析(compiler-6de326c0)、`compiler-7f471b3a` · 分析-基本块(compiler-7f471b3a)、`compiler-a6daf076` · 分析-字节码转储(compiler-a6daf076)、`compiler-b0678bda` · 分析-数据流分析(compiler-b0678bda)、`compiler-b1396e23` · 分析-循环开销(compiler-b1396e23)、`compiler-ce648068` · 分析-控制流图(compiler-ce648068)、`compiler-e3979fd3` · 分析-栈深度分析(compiler-e3979fd3)、`compiler-f8c8b24b` · 分析-信息差追踪(compiler-f8c8b24b) |
|
|
36
|
-
| 词法 | 13 | `compiler-0a62b70c` · 词法-数字字面量(compiler-0a62b70c)、`compiler-0ee9b9b9` · 词法-关键字识别(compiler-0ee9b9b9)、`compiler-56dc9bdd` · 词法-行号跟踪(compiler-56dc9bdd)、`compiler-6f1c0eea` · 词法-注释剥离(compiler-6f1c0eea)、`compiler-8c798c81` · 词法-转义序列(compiler-8c798c81)、`compiler-94f12231` · 词法-标识符解析(compiler-94f12231)、`compiler-95937c16` · 词法-字符串字面量(compiler-95937c16)、`compiler-9f7be5ad` · 词法-字符类别(compiler-9f7be5ad)、`compiler-b09bd196` · 词法-数字后缀(compiler-b09bd196)、`compiler-fe1b058d` · 词法-操作符解析(compiler-fe1b058d)、`lex-chinese-program` · 词法-中文程序(lex-chinese-program)、`lex-dao-de-jing` · 词法-道德经(lex-dao-de-jing)、`lex-nine-chapters` · 词法-九章算术(lex-nine-chapters) |
|
|
37
|
-
| 语法 | 11 | `compiler-0361708a` · 语法-元组解析(compiler-0361708a)、`compiler-1f722303` · 语法-括号匹配(compiler-1f722303)、`compiler-39457d2e` · 语法-位运算(compiler-39457d2e)、`compiler-4b230b6b` · 语法-空值字面量(compiler-4b230b6b)、`compiler-57e76ebe` · 语法-数组字面量(compiler-57e76ebe)、`compiler-63eae588` · 语法-布尔字面量(compiler-63eae588)、`compiler-815cad08` · 语法-复合赋值(compiler-815cad08)、`compiler-8dd747ac` · 语法-字典字面量(compiler-8dd747ac)、`compiler-9d9b4e83` · 语法-三元表达式(compiler-9d9b4e83)、`compiler-a8399248` · 语法-语句分隔(compiler-a8399248)、`compiler-d974e5d3` · 语法-函数签名(compiler-d974e5d3) |
|
|
38
|
-
| 调试 | 7 | `compiler-0355bffb` · 调试-单步(compiler-0355bffb)、`compiler-11897630` · 调试-覆盖率(compiler-11897630)、`compiler-39fb5926` · 调试-断点(compiler-39fb5926)、`compiler-47f4fbfa` · 调试-调用计数(compiler-47f4fbfa)、`compiler-98a5625b` · 调试-条件断点(compiler-98a5625b)、`compiler-a7995a0c` · 调试-调用栈回溯(compiler-a7995a0c)、`compiler-cb1e8e4b` · 调试-变量监视(compiler-cb1e8e4b) |
|
|
39
|
-
| 字节码 | 6 | `compiler-0f3787e6` · 字节码-反序列化(compiler-0f3787e6)、`compiler-674ab4f6` · 字节码-完整性校验(compiler-674ab4f6)、`compiler-7b229a7d` · 字节码-紧凑编码(compiler-7b229a7d)、`compiler-b9b31ce0` · 字节码-指令大小(compiler-b9b31ce0)、`compiler-ccafd438` · 字节码-文件头校验(compiler-ccafd438)、`compiler-cf5776a4` · 字节码-序列化(compiler-cf5776a4) |
|
|
40
|
-
| 校验 | 6 | `check-name-real` · 校验-名实(check-name-real)、`compiler-05a1691a` · 校验-信任检查(compiler-05a1691a)、`compiler-4d5a68ff` · 校验-条件空间类型(compiler-4d5a68ff)、`compiler-61ff016b` · 校验-名实一致(compiler-61ff016b)、`compiler-90324d0a` · 校验-条件空间存在性(compiler-90324d0a)、`compiler-f99fedbe` · 校验-条件空间符号类型(compiler-f99fedbe) |
|
|
41
|
-
| 对接 | 1 | `compiler-0e82b966` · 对接-协议词法(compiler-0e82b966) |
|
|
42
|
-
| 求值 | 1 | `compiler-4a8cd1f1` · 求值-条件表达式(compiler-4a8cd1f1) |
|
|
43
|
-
|
|
44
|
-
## 路由流程
|
|
45
|
-
|
|
46
|
-
1. **词面命中**:任务含子域/单元触发词 → 直接查上表回读对应单元
|
|
47
|
-
2. **语义模糊**:`mdcg cg op=route intent=<任务描述>` → 返回建议能力名与知识
|
|
48
|
-
3. **回读**:`units/<单元slug>/SKILL.md`(含 KCCS 四要素与验证样例)
|
|
49
|
-
4. **验证**:灵枢 MCP 工具物理执行(编译/运行/断言裁决),技能说"怎么验证"、MCP 负责"真去跑"
|
|
50
|
-
|
|
51
|
-
## 真源与纪律
|
|
52
|
-
|
|
53
|
-
- 知识真源:`md_cg/whitebox_kb/wisdom/compiler_code_units.py`(KCCS 四要素唯一真源)
|
|
54
|
-
- 本包为生成投影(2026-09-11 层级化重组 v2.0):单元内容零改动,仅目录收纳 + 域入口新增
|
|
55
|
-
- 触发词全量索引:`md_cg/whitebox_kb/wisdom/trigger_words_index.json`
|
|
56
|
-
- 变更须在真源层修改后重新导出(R6 变更验证),勿直接改本目录单元
|
|
1
|
+
---
|
|
2
|
+
name: lingshu-compiler
|
|
3
|
+
description: >-
|
|
4
|
+
灵枢白箱条件单元域入口:中文编译器(116 单元 / 10 子域)。触发词:编译、词法分析、语法分析、字节码、虚拟机、递归编译、类型检查、调试。
|
|
5
|
+
场景:任务命中本域任一子域主题时使用。先查下方路由表定位单元,语义模糊时经 mdcg cg op=route 路由;
|
|
6
|
+
单元正文在 units/<slug>/SKILL.md 按需回读(KCCS 四要素在各单元内,不随本入口加载)。
|
|
7
|
+
【不适用】Not for:任务不属于本域任何子域主题(负路由);跨域方向判断改用 designer-perspective 元技能。
|
|
8
|
+
license: MIT
|
|
9
|
+
allowed-tools: Read Grep Glob Bash
|
|
10
|
+
metadata:
|
|
11
|
+
version: "2.0"
|
|
12
|
+
skill-author: 灵枢(AEIS)
|
|
13
|
+
last-reviewed: "2026-09-11"
|
|
14
|
+
domain: compiler
|
|
15
|
+
unit-count: 116
|
|
16
|
+
kccs:
|
|
17
|
+
trigger_words: ["编译", "VM", "分析", "词法", "语法", "调试", "字节码", "校验", "对接", "求值"]
|
|
18
|
+
when: "任务命中本域单元的生效条件(子域主题见路由表;单元级条件在 units/<slug>/SKILL.md)"
|
|
19
|
+
sub: ["编译", "VM", "分析", "词法", "语法", "调试", "字节码", "校验", "对接", "求值"]
|
|
20
|
+
execute: "① 定位:路由表或 mdcg cg op=route → ② 回读 units/<slug>/SKILL.md → ③ 按单元 KCCS 执行 → ④ 验证交灵枢 MCP(编译/运行/断言)"
|
|
21
|
+
not_applicable: ["任务不属于本域任何子域主题(负路由)", "需要全局观测/资格裁决时改用 designer-perspective(元技能不执行操作层)"]
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
# 灵枢 中文编译器域入口(lingshu-compiler)
|
|
25
|
+
|
|
26
|
+
白箱条件单元域入口(v2.0 层级化重组)。本域 116 个单元收纳于 `units/`,
|
|
27
|
+
本文件只承载**子域路由**——description 进上下文做域级命中,单元按需回读。
|
|
28
|
+
|
|
29
|
+
## 路由表(子域 → 单元)
|
|
30
|
+
|
|
31
|
+
| 子域 | 数 | 单元(slug · 中文主题)|
|
|
32
|
+
|---|---|---|
|
|
33
|
+
| 编译 | 40 | `compile-assign` · 编译-赋值(compile-assign)、`compile-expr-tree` · 编译-表达式树(compile-expr-tree)、`compile-full-pipeline` · 编译-完整管线(compile-full-pipeline)、`compile-func-def` · 编译-函数定义(compile-func-def)、`compile-if-then` · 编译-若则(compile-if-then)、`compile-logic-expr` · 编译-逻辑表达式(compile-logic-expr)、`compile-recursive` · 编译-递归(compile-recursive)、`compile-scope` · 编译-作用域分析(compile-scope)、`compile-type-check` · 编译-类型检查(compile-type-check)、`compile-while` · 编译-循环(compile-while)、`compiler-0010c4bf` · 编译-指令重排(compiler-0010c4bf)、`compiler-054a0414` · 编译-支配树(compiler-054a0414)、`compiler-05eeed1e` · 编译-名实绑定(compiler-05eeed1e)、`compiler-0622a1f6` · 编译-内联展开(compiler-0622a1f6)、`compiler-08b54217` · 编译-寄存器溢出(compiler-08b54217)、`compiler-1028685f` · 编译-窥孔优化(compiler-1028685f)、`compiler-16661b9b` · 编译-寄存器分配(compiler-16661b9b)、`compiler-25be1262` · 编译-指令选择(compiler-25be1262)、`compiler-2a76ba07` · 编译-尾调用优化(compiler-2a76ba07)、`compiler-2df52f16` · 编译-指令融合(compiler-2df52f16)、`compiler-38378ac7` · 编译-程序(compiler-38378ac7)、`compiler-4cbbda95` · 编译-指令(compiler-4cbbda95)、`compiler-64c4224b` · 编译-中间表示(compiler-64c4224b)、`compiler-66377955` · 编译-寄存器着色(compiler-66377955)、`compiler-6af76fd6` · 编译-常量池(compiler-6af76fd6)、`compiler-6d979db2` · 编译-常量折叠(compiler-6d979db2)、`compiler-724d6c9b` · 编译-类型转换(compiler-724d6c9b)、`compiler-7690177f` · 编译-字符串拼接(compiler-7690177f)、`compiler-83c61634` · 编译-管线静态检查(compiler-83c61634)、`compiler-94b8d72d` · 编译-闭包捕获分析(compiler-94b8d72d)、`compiler-98b4c42f` · 编译-循环展开(compiler-98b4c42f)、`compiler-98e3894a` · 编译-去虚拟化(compiler-98e3894a)、`compiler-9bdfe4b8` · 编译-循环不变式(compiler-9bdfe4b8)、`compiler-aabbd099` · 编译-死代码消除(compiler-aabbd099)、`compiler-afe169d8` · 编译-指令调度(compiler-afe169d8)、`compiler-c10264a7` · 编译-常量传播(compiler-c10264a7)、`compiler-cda9c262` · 编译-边界检查消除(compiler-cda9c262)、`compiler-eb1cf2b5` · 编译-信任流分析(compiler-eb1cf2b5)、`compiler-ecb30d5b` · 编译-链式比较(compiler-ecb30d5b)、`compiler-fa8ff5f7` · 编译-内联缓存(compiler-fa8ff5f7) |
|
|
34
|
+
| VM | 17 | `vm-arithmetic` · VM-算术执行(vm-arithmetic)、`vm-array-ops` · VM-数组操作(vm-array-ops)、`vm-closure-call` · VM-闭包调用(vm-closure-call)、`vm-closure-create` · VM-闭包创建(vm-closure-create)、`vm-compare` · VM-比较执行(vm-compare)、`vm-cond-jump` · VM-条件跳转(vm-cond-jump)、`vm-cond-space` · VM-条件空间(vm-cond-space)、`vm-exception` · VM-异常处理(vm-exception)、`vm-func-call` · VM-函数调用(vm-func-call)、`vm-loop-run` · VM-循环执行(vm-loop-run)、`vm-profiling` · VM-指令剖析(vm-profiling)、`vm-refcount` · VM-引用计数(vm-refcount)、`vm-run-loop` · VM-执行循环(vm-run-loop)、`vm-short-circuit` · VM-短路求值(vm-short-circuit)、`vm-stack-guard` · VM-栈保护(vm-stack-guard)、`vm-stack-ops` · VM-栈操作(vm-stack-ops)、`vm-trust-accum` · VM-信任累积(vm-trust-accum) |
|
|
35
|
+
| 分析 | 14 | `analyze-type-infer` · 分析-类型推断(analyze-type-infer)、`compiler-0ab24d00` · 分析-圈复杂度(compiler-0ab24d00)、`compiler-0e093688` · 分析-污点分析(compiler-0e093688)、`compiler-2dbea54a` · 分析-循环检测(compiler-2dbea54a)、`compiler-2ec2c9d2` · 分析-活跃变量(compiler-2ec2c9d2)、`compiler-2f8c8f39` · 分析-调用图(compiler-2f8c8f39)、`compiler-6de326c0` · 分析-逃逸分析(compiler-6de326c0)、`compiler-7f471b3a` · 分析-基本块(compiler-7f471b3a)、`compiler-a6daf076` · 分析-字节码转储(compiler-a6daf076)、`compiler-b0678bda` · 分析-数据流分析(compiler-b0678bda)、`compiler-b1396e23` · 分析-循环开销(compiler-b1396e23)、`compiler-ce648068` · 分析-控制流图(compiler-ce648068)、`compiler-e3979fd3` · 分析-栈深度分析(compiler-e3979fd3)、`compiler-f8c8b24b` · 分析-信息差追踪(compiler-f8c8b24b) |
|
|
36
|
+
| 词法 | 13 | `compiler-0a62b70c` · 词法-数字字面量(compiler-0a62b70c)、`compiler-0ee9b9b9` · 词法-关键字识别(compiler-0ee9b9b9)、`compiler-56dc9bdd` · 词法-行号跟踪(compiler-56dc9bdd)、`compiler-6f1c0eea` · 词法-注释剥离(compiler-6f1c0eea)、`compiler-8c798c81` · 词法-转义序列(compiler-8c798c81)、`compiler-94f12231` · 词法-标识符解析(compiler-94f12231)、`compiler-95937c16` · 词法-字符串字面量(compiler-95937c16)、`compiler-9f7be5ad` · 词法-字符类别(compiler-9f7be5ad)、`compiler-b09bd196` · 词法-数字后缀(compiler-b09bd196)、`compiler-fe1b058d` · 词法-操作符解析(compiler-fe1b058d)、`lex-chinese-program` · 词法-中文程序(lex-chinese-program)、`lex-dao-de-jing` · 词法-道德经(lex-dao-de-jing)、`lex-nine-chapters` · 词法-九章算术(lex-nine-chapters) |
|
|
37
|
+
| 语法 | 11 | `compiler-0361708a` · 语法-元组解析(compiler-0361708a)、`compiler-1f722303` · 语法-括号匹配(compiler-1f722303)、`compiler-39457d2e` · 语法-位运算(compiler-39457d2e)、`compiler-4b230b6b` · 语法-空值字面量(compiler-4b230b6b)、`compiler-57e76ebe` · 语法-数组字面量(compiler-57e76ebe)、`compiler-63eae588` · 语法-布尔字面量(compiler-63eae588)、`compiler-815cad08` · 语法-复合赋值(compiler-815cad08)、`compiler-8dd747ac` · 语法-字典字面量(compiler-8dd747ac)、`compiler-9d9b4e83` · 语法-三元表达式(compiler-9d9b4e83)、`compiler-a8399248` · 语法-语句分隔(compiler-a8399248)、`compiler-d974e5d3` · 语法-函数签名(compiler-d974e5d3) |
|
|
38
|
+
| 调试 | 7 | `compiler-0355bffb` · 调试-单步(compiler-0355bffb)、`compiler-11897630` · 调试-覆盖率(compiler-11897630)、`compiler-39fb5926` · 调试-断点(compiler-39fb5926)、`compiler-47f4fbfa` · 调试-调用计数(compiler-47f4fbfa)、`compiler-98a5625b` · 调试-条件断点(compiler-98a5625b)、`compiler-a7995a0c` · 调试-调用栈回溯(compiler-a7995a0c)、`compiler-cb1e8e4b` · 调试-变量监视(compiler-cb1e8e4b) |
|
|
39
|
+
| 字节码 | 6 | `compiler-0f3787e6` · 字节码-反序列化(compiler-0f3787e6)、`compiler-674ab4f6` · 字节码-完整性校验(compiler-674ab4f6)、`compiler-7b229a7d` · 字节码-紧凑编码(compiler-7b229a7d)、`compiler-b9b31ce0` · 字节码-指令大小(compiler-b9b31ce0)、`compiler-ccafd438` · 字节码-文件头校验(compiler-ccafd438)、`compiler-cf5776a4` · 字节码-序列化(compiler-cf5776a4) |
|
|
40
|
+
| 校验 | 6 | `check-name-real` · 校验-名实(check-name-real)、`compiler-05a1691a` · 校验-信任检查(compiler-05a1691a)、`compiler-4d5a68ff` · 校验-条件空间类型(compiler-4d5a68ff)、`compiler-61ff016b` · 校验-名实一致(compiler-61ff016b)、`compiler-90324d0a` · 校验-条件空间存在性(compiler-90324d0a)、`compiler-f99fedbe` · 校验-条件空间符号类型(compiler-f99fedbe) |
|
|
41
|
+
| 对接 | 1 | `compiler-0e82b966` · 对接-协议词法(compiler-0e82b966) |
|
|
42
|
+
| 求值 | 1 | `compiler-4a8cd1f1` · 求值-条件表达式(compiler-4a8cd1f1) |
|
|
43
|
+
|
|
44
|
+
## 路由流程
|
|
45
|
+
|
|
46
|
+
1. **词面命中**:任务含子域/单元触发词 → 直接查上表回读对应单元
|
|
47
|
+
2. **语义模糊**:`mdcg cg op=route intent=<任务描述>` → 返回建议能力名与知识
|
|
48
|
+
3. **回读**:`units/<单元slug>/SKILL.md`(含 KCCS 四要素与验证样例)
|
|
49
|
+
4. **验证**:灵枢 MCP 工具物理执行(编译/运行/断言裁决),技能说"怎么验证"、MCP 负责"真去跑"
|
|
50
|
+
|
|
51
|
+
## 真源与纪律
|
|
52
|
+
|
|
53
|
+
- 知识真源:`md_cg/whitebox_kb/wisdom/compiler_code_units.py`(KCCS 四要素唯一真源)
|
|
54
|
+
- 本包为生成投影(2026-09-11 层级化重组 v2.0):单元内容零改动,仅目录收纳 + 域入口新增
|
|
55
|
+
- 触发词全量索引:`md_cg/whitebox_kb/wisdom/trigger_words_index.json`
|
|
56
|
+
- 变更须在真源层修改后重新导出(R6 变更验证),勿直接改本目录单元
|
|
@@ -1,45 +1,45 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: analyze-type-infer
|
|
3
|
-
description: >-
|
|
4
|
-
类型推断 / 分析-类型推断 / C2 语 / 从赋值推断符号类型 / 冲突赋值 → 类型标记'。用户提到这些词时使用本技能。
|
|
5
|
-
场景:对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)。
|
|
6
|
-
【不适用】Not for 以下场景:kind 非 {COND, assign} 时
|
|
7
|
-
license: MIT
|
|
8
|
-
compatibility: >-
|
|
9
|
-
statements 为语句列表(assign/条件空间声明)
|
|
10
|
-
allowed-tools: Read Write Bash
|
|
11
|
-
metadata:
|
|
12
|
-
version: "1.0"
|
|
13
|
-
skill-author: 灵枢(AEIS)
|
|
14
|
-
last-reviewed: "2026-08-29"
|
|
15
|
-
kccs:
|
|
16
|
-
trigger_words: ["类型推断", "分析-类型推断", "C2 语", "从赋值推断符号类型", "冲突赋值 → 类型标记'"]
|
|
17
|
-
when: "statements 为语句列表(assign/条件空间声明)"
|
|
18
|
-
sub: ["① 赋值推导类型 ② 条件空间登记 ③ 冲突标记混合类型"]
|
|
19
|
-
execute: "逐语句分派,冲突赋值 → 类型标记'混合'(编译期拦截候选)"
|
|
20
|
-
not_applicable: ["kind 非 {COND, assign} 时"]
|
|
21
|
-
calibration: "对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)"
|
|
22
|
-
---
|
|
23
|
-
|
|
24
|
-
# 分析-类型推断(analyze-type-infer)
|
|
25
|
-
|
|
26
|
-
## When to use
|
|
27
|
-
|
|
28
|
-
任务「类型推断」;对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)。
|
|
29
|
-
|
|
30
|
-
## 克制条款(不适用条件)
|
|
31
|
-
|
|
32
|
-
kind 非 {COND, assign} 时
|
|
33
|
-
|
|
34
|
-
## How to execute
|
|
35
|
-
|
|
36
|
-
逐语句分派,冲突赋值 → 类型标记'混合'(编译期拦截候选)
|
|
37
|
-
|
|
38
|
-
## Verification
|
|
39
|
-
|
|
40
|
-
- 单元样例 4 条(cases 断言)
|
|
41
|
-
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
|
|
42
|
-
|
|
43
|
-
## References
|
|
44
|
-
|
|
45
|
-
- 单元库:compiler_code_units.py「分析-类型推断」
|
|
1
|
+
---
|
|
2
|
+
name: analyze-type-infer
|
|
3
|
+
description: >-
|
|
4
|
+
类型推断 / 分析-类型推断 / C2 语 / 从赋值推断符号类型 / 冲突赋值 → 类型标记'。用户提到这些词时使用本技能。
|
|
5
|
+
场景:对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)。
|
|
6
|
+
【不适用】Not for 以下场景:kind 非 {COND, assign} 时
|
|
7
|
+
license: MIT
|
|
8
|
+
compatibility: >-
|
|
9
|
+
statements 为语句列表(assign/条件空间声明)
|
|
10
|
+
allowed-tools: Read Write Bash
|
|
11
|
+
metadata:
|
|
12
|
+
version: "1.0"
|
|
13
|
+
skill-author: 灵枢(AEIS)
|
|
14
|
+
last-reviewed: "2026-08-29"
|
|
15
|
+
kccs:
|
|
16
|
+
trigger_words: ["类型推断", "分析-类型推断", "C2 语", "从赋值推断符号类型", "冲突赋值 → 类型标记'"]
|
|
17
|
+
when: "statements 为语句列表(assign/条件空间声明)"
|
|
18
|
+
sub: ["① 赋值推导类型 ② 条件空间登记 ③ 冲突标记混合类型"]
|
|
19
|
+
execute: "逐语句分派,冲突赋值 → 类型标记'混合'(编译期拦截候选)"
|
|
20
|
+
not_applicable: ["kind 非 {COND, assign} 时"]
|
|
21
|
+
calibration: "对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)"
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
# 分析-类型推断(analyze-type-infer)
|
|
25
|
+
|
|
26
|
+
## When to use
|
|
27
|
+
|
|
28
|
+
任务「类型推断」;对照:C2 语义深化——类型推断(赋值→数值/文本/布尔,冲突→混合)+ 条件空间声明登记(目标3 分析器完整化)。
|
|
29
|
+
|
|
30
|
+
## 克制条款(不适用条件)
|
|
31
|
+
|
|
32
|
+
kind 非 {COND, assign} 时
|
|
33
|
+
|
|
34
|
+
## How to execute
|
|
35
|
+
|
|
36
|
+
逐语句分派,冲突赋值 → 类型标记'混合'(编译期拦截候选)
|
|
37
|
+
|
|
38
|
+
## Verification
|
|
39
|
+
|
|
40
|
+
- 单元样例 4 条(cases 断言)
|
|
41
|
+
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
|
|
42
|
+
|
|
43
|
+
## References
|
|
44
|
+
|
|
45
|
+
- 单元库:compiler_code_units.py「分析-类型推断」
|