@furongjun1999/dsh-memory 0.4.11 → 0.5.0
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 +16 -16
- 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 +142 -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//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/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/{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//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 +503 -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/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//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//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/hooks.js +36 -2
- package/lib/lib/roleplay_web.js +427 -427
- package/md_cg/__init__.py +7 -7
- package/md_cg/audit.py +368 -368
- package/md_cg/autonomy.py +287 -287
- package/md_cg/backfill.py +1327 -1327
- package/md_cg/backfill_bigdomain.py +34 -34
- 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_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 +285 -285
- package/md_cg/build_postings.py +73 -73
- package/md_cg/ccgc.py +1005 -948
- package/md_cg/census.py +132 -132
- package/md_cg/chain.py +300 -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 +1536 -1439
- package/md_cg/corpus.py +110 -110
- package/md_cg/crosscheck.py +1097 -1097
- package/md_cg/crypto.py +437 -437
- package/md_cg/d_meta.py +310 -310
- package/md_cg/datapath.py +334 -334
- package/md_cg/docindex.py +473 -473
- package/md_cg/eval_common.py +575 -575
- package/md_cg/evidence.py +580 -580
- package/md_cg/evolution.py +477 -477
- package/md_cg/export.py +220 -220
- package/md_cg/forgetting.py +581 -581
- package/md_cg/fsutil.py +329 -329
- package/md_cg/hotcache.py +238 -214
- 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 +199 -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 +622 -622
- package/md_cg/mcp_server.py +129 -32
- package/md_cg/md_whitebox.py +345 -345
- package/md_cg/mdcg.py +176 -117
- package/md_cg/mdcos.py +79 -13
- 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 +693 -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 +298 -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 +85 -0
- package/md_cg/refindex.py +833 -833
- package/md_cg/refine.py +604 -604
- package/md_cg/roleviews.py +89 -89
- package/md_cg/routing.py +365 -365
- package/md_cg/scrub.py +852 -852
- package/md_cg/security.py +274 -274
- package/md_cg/self_state.py +1029 -1029
- package/md_cg/selfreport.py +151 -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 +562 -562
- package/md_cg/sources.py +815 -582
- package/md_cg/statushdr.py +179 -179
- package/md_cg/stg.py +48 -37
- package/md_cg/subgraph.py +729 -729
- package/md_cg/sustain.py +1138 -1138
- package/md_cg/tasks.py +470 -470
- 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_branches.py +249 -249
- 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_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_root.py +199 -199
- package/md_cg/test_en_pipeline.py +166 -166
- package/md_cg/test_gain_gate.py +212 -212
- 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_identity_attribution.py +147 -147
- package/md_cg/test_index_durability.py +224 -224
- package/md_cg/test_interop.py +93 -0
- package/md_cg/test_lifecycle.py +309 -309
- package/md_cg/test_linkref.py +306 -306
- 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_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_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_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 +765 -765
- package/md_cg/test_p28_refcheck.py +305 -305
- package/md_cg/test_p29_session_ingest_export.py +354 -333
- 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 +298 -298
- 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 +113 -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 +281 -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_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_readcache_prodpath.py +155 -0
- package/md_cg/test_retr_gates_prodpath.py +140 -0
- package/md_cg/test_retr_s1.py +340 -340
- package/md_cg/test_retr_s1b.py +209 -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 +384 -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 +175 -175
- package/md_cg/test_review_conformance.py +367 -367
- package/md_cg/test_role_views.py +354 -354
- package/md_cg/test_sem_noise.py +242 -242
- package/md_cg/test_semantic_canonical.py +241 -241
- package/md_cg/test_subproc_encoding.py +192 -192
- package/md_cg/test_sustain_mutual.py +153 -153
- package/md_cg/test_tasks.py +409 -409
- 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 +397 -397
- package/md_cg/test_validity_filter.py +280 -280
- package/md_cg/test_verify_answer.py +138 -138
- 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 +273 -273
- package/md_cg/tokens.py +677 -663
- 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 +667 -667
- package/md_cg/vision_evidence.py +666 -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/code_solidified.json +6195 -6195
- 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/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 +550 -542
- package/package.json +97 -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 +401 -401
- package/src/hooks.ts +38 -2
- 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 +932 -932
- package/src/lib/token_store.ts +192 -192
- 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
package/md_cg/protect.py
CHANGED
|
@@ -1,273 +1,273 @@
|
|
|
1
|
-
# -*- coding: utf-8 -*-
|
|
2
|
-
"""md_cg · 自我层 / 锚点层写保护(不可遗忘)
|
|
3
|
-
|
|
4
|
-
理论出处(全部来自本仓已有文档,非外部发明):
|
|
5
|
-
|
|
6
|
-
· `docs/mdcg/灵枢_自我层定义.md:6`
|
|
7
|
-
SELF 层 = 身份 + 价值观 + 图接口,**不可遗忘**、跨会话自动加载。
|
|
8
|
-
任何实例都能改写自我层 = 自我认知可被任意覆写,与「自我」定义冲突。
|
|
9
|
-
· `docs/mdcg/认知图_MD目录方案_v0.1.md:53`
|
|
10
|
-
`anchor/ # 锚点层(不可遗忘,保护)`
|
|
11
|
-
· `docs/mdcg/认知图_MD目录方案_v0.1.md:412-416`
|
|
12
|
-
「importance 提升(保护:不可遗忘记入 anchor/ 且**受保护标记**)」
|
|
13
|
-
· `docs/mdcg/tool_table_v0.3.0.md:15`
|
|
14
|
-
「importance_hint 可显式提示重要性(**≥0.7 触发不可遗忘保护**)」
|
|
15
|
-
|
|
16
|
-
三层保护(任一命中即受保护):
|
|
17
|
-
|
|
18
|
-
┌ 1. 层保护 layer ∈ {self, anchor}
|
|
19
|
-
├ 2. 显式标记 frontmatter.protected == True
|
|
20
|
-
└ 3. 重要性保护 importance ≥ 0.70(写入时自动打标)
|
|
21
|
-
|
|
22
|
-
**关键区分:不可遗忘 ≠ 不可覆盖。**
|
|
23
|
-
· 不可遗忘(forget / 降级搬迁):层保护 + protected 标记 + importance≥0.7 三者都拦。
|
|
24
|
-
文档原话是「不可遗忘」「触发不可遗忘保护」——重点是**别弄丢**。
|
|
25
|
-
· 不可覆盖(覆写同一 id):只拦 层保护 + 显式 immutable 标记。
|
|
26
|
-
因为 goal_*/fix_*/kp_* 这类 id 是内容派生、由系统自身幂等更新,
|
|
27
|
-
若 importance≥0.7 就禁止覆写,会把正常的状态更新全部误伤。
|
|
28
|
-
自我认知之所以不可篡改,靠的是 **self/anchor 层**这个强信号,
|
|
29
|
-
而不是"重要性高"这个弱信号。
|
|
30
|
-
|
|
31
|
-
受保护节点的动作必须显式 `override=True`:动作前先把旧版本快照进
|
|
32
|
-
`_protected_history/<id>/<时间戳>.md`,并把「谁、何时、为何」记进
|
|
33
|
-
`_protected_audit.jsonl`——保护不等于黑箱。
|
|
34
|
-
|
|
35
|
-
注意:新建(索引中不存在的节点)不受限。保护的是「已有自我认知不被改/删」,
|
|
36
|
-
不是「禁止产生自我认知」,否则审计节点等正常写入会被误伤。
|
|
37
|
-
"""
|
|
38
|
-
import os
|
|
39
|
-
import time
|
|
40
|
-
|
|
41
|
-
from . import nodefile
|
|
42
|
-
from .fsutil import append_jsonl, atomic_write
|
|
43
|
-
|
|
44
|
-
PROTECTED_LAYERS = ("self", "anchor")
|
|
45
|
-
AUTO_PROTECT_IMPORTANCE = 0.70
|
|
46
|
-
HISTORY_DIR = "_protected_history"
|
|
47
|
-
AUDIT_FILE = "_protected_audit.jsonl"
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
class ProtectionError(PermissionError):
|
|
51
|
-
"""受保护节点的写动作被拒绝。"""
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
# ---------------------------------------------------------------- 判定
|
|
55
|
-
|
|
56
|
-
# 生效条件:对任意 cg、node_id 无条件返回 `(cg.index 或其假值时的 {})["nodes"]`(该键缺失或假值时为 `{}`)中以 node_id 为键的值,索引无此键时返回 None。
|
|
57
|
-
def _entry(cg, node_id):
|
|
58
|
-
return ((getattr(cg, "index", None) or {}).get("nodes") or {}).get(node_id)
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
# 生效条件:cg 索引中无 node_id 条目时返回 None;有条目时先取 layer/importance(缺 importance 键回落 0.5)/protected/protection_reason/immutable/self_state,仅当条目缺 protected 或 immutable、或(缺 self_state 且条目 layer∈PROTECTED_LAYERS)时再经 cg.get(node_id) 用 frontmatter 覆盖这四个键(cg.get 抛异常或返回假值时保留索引值;layer 取 frontmatter.layer or 索引 layer,importance 缺键时回落索引 importance)。
|
|
62
|
-
def _fm(cg, node_id):
|
|
63
|
-
"""取判定所需的 frontmatter 字段;索引快照缺 protected 时回退读文件。"""
|
|
64
|
-
e = _entry(cg, node_id)
|
|
65
|
-
if e is None:
|
|
66
|
-
return None
|
|
67
|
-
fm = {
|
|
68
|
-
"layer": e.get("layer"),
|
|
69
|
-
"importance": e.get("importance", 0.5),
|
|
70
|
-
"protected": e.get("protected"),
|
|
71
|
-
"protection_reason": e.get("protection_reason"),
|
|
72
|
-
"immutable": e.get("immutable"),
|
|
73
|
-
"self_state": e.get("self_state"),
|
|
74
|
-
}
|
|
75
|
-
# 回退读文件:索引快照缺字段时。self_state 只在受保护层(self/anchor)
|
|
76
|
-
# 需要,回退代价被限制在少量节点上,不影响全量统计性能。
|
|
77
|
-
need_fallback = ("protected" not in e or "immutable" not in e
|
|
78
|
-
or ("self_state" not in e
|
|
79
|
-
and str(e.get("layer") or "") in PROTECTED_LAYERS))
|
|
80
|
-
if need_fallback:
|
|
81
|
-
try:
|
|
82
|
-
node = cg.get(node_id)
|
|
83
|
-
except Exception:
|
|
84
|
-
node = None
|
|
85
|
-
if node:
|
|
86
|
-
f2 = node.get("frontmatter") or {}
|
|
87
|
-
fm["protected"] = f2.get("protected")
|
|
88
|
-
fm["protection_reason"] = f2.get("protection_reason")
|
|
89
|
-
fm["immutable"] = f2.get("immutable")
|
|
90
|
-
fm["self_state"] = f2.get("self_state")
|
|
91
|
-
fm["layer"] = f2.get("layer") or fm["layer"]
|
|
92
|
-
fm["importance"] = f2.get("importance", fm["importance"])
|
|
93
|
-
return fm
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
# 生效条件:cg 索引无 node_id 条目(_fm 直接返回 None,不走回退读文件)时返回 (False, '');有条目时按 layer∈PROTECTED_LAYERS 返回 (True, 层保护);否则 protected is True 时返回 (True, protection_reason 或 '显式保护标记');否则 importance(缺失/假值/float 转换异常一律按 0.0)≥AUTO_PROTECT_IMPORTANCE 时返回 (True, 重要性保护);其余返回 (False, '')。
|
|
97
|
-
def is_protected(cg, node_id):
|
|
98
|
-
"""**不可遗忘**判定 → (是否受保护, 原因)。节点不存在返回 (False, "")。"""
|
|
99
|
-
fm = _fm(cg, node_id)
|
|
100
|
-
if fm is None:
|
|
101
|
-
return False, ""
|
|
102
|
-
layer = str(fm.get("layer") or "")
|
|
103
|
-
if layer in PROTECTED_LAYERS:
|
|
104
|
-
return True, f"层保护:{layer}(不可遗忘层)"
|
|
105
|
-
if fm.get("protected") is True:
|
|
106
|
-
return True, str(fm.get("protection_reason") or "显式保护标记")
|
|
107
|
-
try:
|
|
108
|
-
imp = float(fm.get("importance") or 0.0)
|
|
109
|
-
except Exception:
|
|
110
|
-
imp = 0.0
|
|
111
|
-
if imp >= AUTO_PROTECT_IMPORTANCE:
|
|
112
|
-
return True, f"重要性保护:importance={imp:.2f}≥{AUTO_PROTECT_IMPORTANCE}"
|
|
113
|
-
return False, ""
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
# 生效条件:cg 索引无 node_id 条目时返回 (False, '');有条目时若 self_state is True 一律返回 (False, '')(自我状态豁免);否则 layer∈PROTECTED_LAYERS 返回 (True, 层保护);否则 immutable is True 返回 (True, protection_reason 或 '显式不可覆盖标记');其余返回 (False, '')。
|
|
117
|
-
def is_immutable(cg, node_id):
|
|
118
|
-
"""**不可覆盖**判定 → (是否不可篡改, 原因)。比不可遗忘更窄,只认强信号。
|
|
119
|
-
|
|
120
|
-
例外:自我状态卡(frontmatter.self_state is True)**必须可覆盖**——
|
|
121
|
-
自我状态本来就要随认知演化而更新,冻结它等于自我认知停止生长。
|
|
122
|
-
但它仍然 is_protected(不可遗忘),这是「不可遗忘 ≠ 不可覆盖」的延伸。
|
|
123
|
-
身份锚点不设此豁免,依旧两者皆禁。
|
|
124
|
-
"""
|
|
125
|
-
fm = _fm(cg, node_id)
|
|
126
|
-
if fm is None:
|
|
127
|
-
return False, ""
|
|
128
|
-
if fm.get("self_state") is True:
|
|
129
|
-
return False, ""
|
|
130
|
-
layer = str(fm.get("layer") or "")
|
|
131
|
-
if layer in PROTECTED_LAYERS:
|
|
132
|
-
return True, f"层保护:{layer}(不可篡改层)"
|
|
133
|
-
if fm.get("immutable") is True:
|
|
134
|
-
return True, str(fm.get("protection_reason") or "显式不可覆盖标记")
|
|
135
|
-
return False, ""
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
# ---------------------------------------------------------------- 留痕
|
|
139
|
-
|
|
140
|
-
# 生效条件:对任意 cg、action、node_id、reason(actor/snapshot 缺省为 None)都构造含 t/action/node_id/reason/actor/snapshot 的 rec 并返回,同时尝试追加写入 cg.root 下的 AUDIT_FILE,该写入抛出的任何异常被吞掉且不影响返回值。
|
|
141
|
-
def _audit(cg, action, node_id, reason, actor=None, snapshot=None):
|
|
142
|
-
rec = {"t": time.time(), "action": action, "node_id": node_id,
|
|
143
|
-
"reason": reason, "actor": actor, "snapshot": snapshot}
|
|
144
|
-
try:
|
|
145
|
-
append_jsonl(os.path.join(cg.root, AUDIT_FILE), rec)
|
|
146
|
-
except Exception:
|
|
147
|
-
pass
|
|
148
|
-
return rec
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
# 生效条件:cg.get(node_id) 抛异常或返回假值时返回 None;否则在 cg.root/HISTORY_DIR/node_id 下以时间戳命名写入当前 frontmatter 与 content,_write_node 抛异常时返回 None,成功则返回相对 cg.root 且以 '/' 分隔的路径。
|
|
152
|
-
def snapshot(cg, node_id):
|
|
153
|
-
"""把节点当前版本快照进 `_protected_history/<id>/<ts>.md`,返回相对路径。"""
|
|
154
|
-
try:
|
|
155
|
-
node = cg.get(node_id)
|
|
156
|
-
except Exception:
|
|
157
|
-
node = None
|
|
158
|
-
if not node:
|
|
159
|
-
return None
|
|
160
|
-
d = os.path.join(cg.root, HISTORY_DIR, node_id)
|
|
161
|
-
os.makedirs(d, exist_ok=True)
|
|
162
|
-
ts = time.strftime("%Y%m%d-%H%M%S", time.localtime())
|
|
163
|
-
p = os.path.join(d, f"{ts}.md")
|
|
164
|
-
try:
|
|
165
|
-
cg._write_node(node.get("id"), p, node.get("frontmatter") or {},
|
|
166
|
-
node.get("content") or "")
|
|
167
|
-
except Exception:
|
|
168
|
-
return None
|
|
169
|
-
return os.path.relpath(p, cg.root).replace("\\", "/")
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
# 生效条件:cg.root/HISTORY_DIR/node_id 不是目录时返回 [];是目录时返回该目录下以 .md 结尾(不递归)的文件按名称排序后的 `HISTORY_DIR/node_id/文件名` 列表,无匹配文件则列表为空。
|
|
173
|
-
def history(cg, node_id):
|
|
174
|
-
"""受保护节点的历史版本列表(按时间升序)。"""
|
|
175
|
-
d = os.path.join(cg.root, HISTORY_DIR, node_id)
|
|
176
|
-
if not os.path.isdir(d):
|
|
177
|
-
return []
|
|
178
|
-
out = [f for f in os.listdir(d) if f.endswith(".md")]
|
|
179
|
-
out.sort()
|
|
180
|
-
return [f"{HISTORY_DIR}/{node_id}/{f}" for f in out]
|
|
181
|
-
|
|
182
|
-
|
|
183
|
-
# ---------------------------------------------------------------- 守卫
|
|
184
|
-
|
|
185
|
-
# 生效条件:对任意 cg、node_id、why、action、override、actor 都无条件返回 {'override': True, 'reason': why, 'snapshot': snapshot(...) 的结果, 'audit': _audit(cg, action, node_id, why, actor, snap) 的结果},override 形参本身不改变返回内容。
|
|
186
|
-
def _allow(cg, node_id, why, action, override, actor):
|
|
187
|
-
snap = snapshot(cg, node_id)
|
|
188
|
-
rec = _audit(cg, action, node_id, why, actor, snap)
|
|
189
|
-
return {"override": True, "reason": why, "snapshot": snap, "audit": rec}
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
# 生效条件:is_immutable(cg, node_id) 为假(含 self_state is True、layer 不在 PROTECTED_LAYERS 且 immutable 非 True 的情形)时返回 None;为真时 override 取真值则返回 _allow(..., 'override_write', override, actor),否则抛出 ProtectionError;layer 形参不参与该判定。
|
|
193
|
-
def guard_write(cg, node_id, layer=None, override=False, actor=None):
|
|
194
|
-
"""覆盖既有节点前的守卫(只认**不可覆盖**信号)。
|
|
195
|
-
|
|
196
|
-
新节点 / 未标记 immutable 的节点直接放行(返回 None)。
|
|
197
|
-
importance≥0.7 只保证「不可遗忘」,不阻断系统自身的幂等更新。
|
|
198
|
-
"""
|
|
199
|
-
prot, why = is_immutable(cg, node_id)
|
|
200
|
-
if not prot:
|
|
201
|
-
return None
|
|
202
|
-
if override:
|
|
203
|
-
return _allow(cg, node_id, why, "override_write", override, actor)
|
|
204
|
-
raise ProtectionError(
|
|
205
|
-
f"节点 {node_id} 受写保护({why});覆盖需显式 override=True")
|
|
206
|
-
|
|
207
|
-
|
|
208
|
-
# 生效条件:is_protected(cg, node_id) 为假时返回 None;为真时 override 取真值则返回 _allow(..., 'override_forget', override, actor),否则抛出 ProtectionError。
|
|
209
|
-
def guard_forget(cg, node_id, override=False, actor=None):
|
|
210
|
-
"""删除前的守卫。受保护节点 = 不可遗忘。"""
|
|
211
|
-
prot, why = is_protected(cg, node_id)
|
|
212
|
-
if not prot:
|
|
213
|
-
return None
|
|
214
|
-
if override:
|
|
215
|
-
return _allow(cg, node_id, why, "override_forget", override, actor)
|
|
216
|
-
raise ProtectionError(
|
|
217
|
-
f"节点 {node_id} 不可遗忘({why});删除需显式 override=True")
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
# 生效条件:is_protected(cg, node_id) 为假时返回 None;为真且 to_layer∈PROTECTED_LAYERS(保护层间互搬)时也返回 None;为真且 to_layer 不在 PROTECTED_LAYERS 时,override 取真值则返回 _allow(..., 'override_move', override, actor),否则抛出 ProtectionError。
|
|
221
|
-
def guard_move(cg, node_id, to_layer, override=False, actor=None):
|
|
222
|
-
"""降级/搬迁前的守卫:受保护节点不得被移出保护层。"""
|
|
223
|
-
prot, why = is_protected(cg, node_id)
|
|
224
|
-
if not prot:
|
|
225
|
-
return None
|
|
226
|
-
if to_layer in PROTECTED_LAYERS:
|
|
227
|
-
return None # 保护层之间互搬仍受保护,放行
|
|
228
|
-
if override:
|
|
229
|
-
return _allow(cg, node_id, why, "override_move", override, actor)
|
|
230
|
-
raise ProtectionError(
|
|
231
|
-
f"节点 {node_id} 受写保护({why});降级移出保护层需显式 override=True")
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
# 生效条件:cg.get(node_id) 抛异常或返回假值时返回 None;否则把 protected=True 与 protection_reason=reason 写入 cg.root 下 node["path"](该键缺失即抛 KeyError)对应的 frontmatter 并保持原 content,随后门条目存在时同步其 protected/protection_reason,返回 {'node_id': node_id, 'protected': True, 'reason': reason}。
|
|
235
|
-
def mark(cg, node_id, reason):
|
|
236
|
-
"""给节点打上 `protected=True` 标记(写回 frontmatter,不动 content)。"""
|
|
237
|
-
try:
|
|
238
|
-
node = cg.get(node_id)
|
|
239
|
-
except Exception:
|
|
240
|
-
node = None
|
|
241
|
-
if not node:
|
|
242
|
-
return None
|
|
243
|
-
fm = node.get("frontmatter") or {}
|
|
244
|
-
fm["protected"] = True
|
|
245
|
-
fm["protection_reason"] = reason
|
|
246
|
-
cg._write_node(node_id, os.path.join(cg.root, node["path"]),
|
|
247
|
-
fm, node.get("content") or "")
|
|
248
|
-
e = _entry(cg, node_id)
|
|
249
|
-
if e is not None:
|
|
250
|
-
e["protected"] = True
|
|
251
|
-
e["protection_reason"] = reason
|
|
252
|
-
return {"node_id": node_id, "protected": True, "reason": reason}
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
# 生效条件:遍历 cg.index.nodes(或其假值时的空字典)的每个键,对 is_protected 为真的节点计入 ids 并按 layer(缺失/假值记为 '?')累加 by_layer,其中原因串含 "importance=" 或以 "重要性保护" 开头的计入 auto_by_importance,对 is_immutable 为真的计入 immutable_ids,返回含 protected_count/immutable_count/by_layer/auto_by_importance/ids/immutable_ids 的字典。
|
|
256
|
-
def stats(cg):
|
|
257
|
-
"""保护面盘点:不可遗忘数 / 不可覆盖数 / 分层分布 / 自动保护命中数。"""
|
|
258
|
-
nodes = ((getattr(cg, "index", None) or {}).get("nodes") or {})
|
|
259
|
-
by_layer, ids, auto, immutable = {}, [], 0, []
|
|
260
|
-
for nid in nodes:
|
|
261
|
-
prot, why = is_protected(cg, nid)
|
|
262
|
-
if prot:
|
|
263
|
-
ids.append(nid)
|
|
264
|
-
layer = str(nodes[nid].get("layer") or "?")
|
|
265
|
-
by_layer[layer] = by_layer.get(layer, 0) + 1
|
|
266
|
-
if "importance=" in why or why.startswith("重要性保护"):
|
|
267
|
-
auto += 1
|
|
268
|
-
imm, _ = is_immutable(cg, nid)
|
|
269
|
-
if imm:
|
|
270
|
-
immutable.append(nid)
|
|
271
|
-
return {"protected_count": len(ids), "immutable_count": len(immutable),
|
|
272
|
-
"by_layer": by_layer, "auto_by_importance": auto, "ids": ids,
|
|
1
|
+
# -*- coding: utf-8 -*-
|
|
2
|
+
"""md_cg · 自我层 / 锚点层写保护(不可遗忘)
|
|
3
|
+
|
|
4
|
+
理论出处(全部来自本仓已有文档,非外部发明):
|
|
5
|
+
|
|
6
|
+
· `docs/mdcg/灵枢_自我层定义.md:6`
|
|
7
|
+
SELF 层 = 身份 + 价值观 + 图接口,**不可遗忘**、跨会话自动加载。
|
|
8
|
+
任何实例都能改写自我层 = 自我认知可被任意覆写,与「自我」定义冲突。
|
|
9
|
+
· `docs/mdcg/认知图_MD目录方案_v0.1.md:53`
|
|
10
|
+
`anchor/ # 锚点层(不可遗忘,保护)`
|
|
11
|
+
· `docs/mdcg/认知图_MD目录方案_v0.1.md:412-416`
|
|
12
|
+
「importance 提升(保护:不可遗忘记入 anchor/ 且**受保护标记**)」
|
|
13
|
+
· `docs/mdcg/tool_table_v0.3.0.md:15`
|
|
14
|
+
「importance_hint 可显式提示重要性(**≥0.7 触发不可遗忘保护**)」
|
|
15
|
+
|
|
16
|
+
三层保护(任一命中即受保护):
|
|
17
|
+
|
|
18
|
+
┌ 1. 层保护 layer ∈ {self, anchor}
|
|
19
|
+
├ 2. 显式标记 frontmatter.protected == True
|
|
20
|
+
└ 3. 重要性保护 importance ≥ 0.70(写入时自动打标)
|
|
21
|
+
|
|
22
|
+
**关键区分:不可遗忘 ≠ 不可覆盖。**
|
|
23
|
+
· 不可遗忘(forget / 降级搬迁):层保护 + protected 标记 + importance≥0.7 三者都拦。
|
|
24
|
+
文档原话是「不可遗忘」「触发不可遗忘保护」——重点是**别弄丢**。
|
|
25
|
+
· 不可覆盖(覆写同一 id):只拦 层保护 + 显式 immutable 标记。
|
|
26
|
+
因为 goal_*/fix_*/kp_* 这类 id 是内容派生、由系统自身幂等更新,
|
|
27
|
+
若 importance≥0.7 就禁止覆写,会把正常的状态更新全部误伤。
|
|
28
|
+
自我认知之所以不可篡改,靠的是 **self/anchor 层**这个强信号,
|
|
29
|
+
而不是"重要性高"这个弱信号。
|
|
30
|
+
|
|
31
|
+
受保护节点的动作必须显式 `override=True`:动作前先把旧版本快照进
|
|
32
|
+
`_protected_history/<id>/<时间戳>.md`,并把「谁、何时、为何」记进
|
|
33
|
+
`_protected_audit.jsonl`——保护不等于黑箱。
|
|
34
|
+
|
|
35
|
+
注意:新建(索引中不存在的节点)不受限。保护的是「已有自我认知不被改/删」,
|
|
36
|
+
不是「禁止产生自我认知」,否则审计节点等正常写入会被误伤。
|
|
37
|
+
"""
|
|
38
|
+
import os
|
|
39
|
+
import time
|
|
40
|
+
|
|
41
|
+
from . import nodefile
|
|
42
|
+
from .fsutil import append_jsonl, atomic_write
|
|
43
|
+
|
|
44
|
+
PROTECTED_LAYERS = ("self", "anchor")
|
|
45
|
+
AUTO_PROTECT_IMPORTANCE = 0.70
|
|
46
|
+
HISTORY_DIR = "_protected_history"
|
|
47
|
+
AUDIT_FILE = "_protected_audit.jsonl"
|
|
48
|
+
|
|
49
|
+
|
|
50
|
+
class ProtectionError(PermissionError):
|
|
51
|
+
"""受保护节点的写动作被拒绝。"""
|
|
52
|
+
|
|
53
|
+
|
|
54
|
+
# ---------------------------------------------------------------- 判定
|
|
55
|
+
|
|
56
|
+
# 生效条件:对任意 cg、node_id 无条件返回 `(cg.index 或其假值时的 {})["nodes"]`(该键缺失或假值时为 `{}`)中以 node_id 为键的值,索引无此键时返回 None。
|
|
57
|
+
def _entry(cg, node_id):
|
|
58
|
+
return ((getattr(cg, "index", None) or {}).get("nodes") or {}).get(node_id)
|
|
59
|
+
|
|
60
|
+
|
|
61
|
+
# 生效条件:cg 索引中无 node_id 条目时返回 None;有条目时先取 layer/importance(缺 importance 键回落 0.5)/protected/protection_reason/immutable/self_state,仅当条目缺 protected 或 immutable、或(缺 self_state 且条目 layer∈PROTECTED_LAYERS)时再经 cg.get(node_id) 用 frontmatter 覆盖这四个键(cg.get 抛异常或返回假值时保留索引值;layer 取 frontmatter.layer or 索引 layer,importance 缺键时回落索引 importance)。
|
|
62
|
+
def _fm(cg, node_id):
|
|
63
|
+
"""取判定所需的 frontmatter 字段;索引快照缺 protected 时回退读文件。"""
|
|
64
|
+
e = _entry(cg, node_id)
|
|
65
|
+
if e is None:
|
|
66
|
+
return None
|
|
67
|
+
fm = {
|
|
68
|
+
"layer": e.get("layer"),
|
|
69
|
+
"importance": e.get("importance", 0.5),
|
|
70
|
+
"protected": e.get("protected"),
|
|
71
|
+
"protection_reason": e.get("protection_reason"),
|
|
72
|
+
"immutable": e.get("immutable"),
|
|
73
|
+
"self_state": e.get("self_state"),
|
|
74
|
+
}
|
|
75
|
+
# 回退读文件:索引快照缺字段时。self_state 只在受保护层(self/anchor)
|
|
76
|
+
# 需要,回退代价被限制在少量节点上,不影响全量统计性能。
|
|
77
|
+
need_fallback = ("protected" not in e or "immutable" not in e
|
|
78
|
+
or ("self_state" not in e
|
|
79
|
+
and str(e.get("layer") or "") in PROTECTED_LAYERS))
|
|
80
|
+
if need_fallback:
|
|
81
|
+
try:
|
|
82
|
+
node = cg.get(node_id)
|
|
83
|
+
except Exception:
|
|
84
|
+
node = None
|
|
85
|
+
if node:
|
|
86
|
+
f2 = node.get("frontmatter") or {}
|
|
87
|
+
fm["protected"] = f2.get("protected")
|
|
88
|
+
fm["protection_reason"] = f2.get("protection_reason")
|
|
89
|
+
fm["immutable"] = f2.get("immutable")
|
|
90
|
+
fm["self_state"] = f2.get("self_state")
|
|
91
|
+
fm["layer"] = f2.get("layer") or fm["layer"]
|
|
92
|
+
fm["importance"] = f2.get("importance", fm["importance"])
|
|
93
|
+
return fm
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
# 生效条件:cg 索引无 node_id 条目(_fm 直接返回 None,不走回退读文件)时返回 (False, '');有条目时按 layer∈PROTECTED_LAYERS 返回 (True, 层保护);否则 protected is True 时返回 (True, protection_reason 或 '显式保护标记');否则 importance(缺失/假值/float 转换异常一律按 0.0)≥AUTO_PROTECT_IMPORTANCE 时返回 (True, 重要性保护);其余返回 (False, '')。
|
|
97
|
+
def is_protected(cg, node_id):
|
|
98
|
+
"""**不可遗忘**判定 → (是否受保护, 原因)。节点不存在返回 (False, "")。"""
|
|
99
|
+
fm = _fm(cg, node_id)
|
|
100
|
+
if fm is None:
|
|
101
|
+
return False, ""
|
|
102
|
+
layer = str(fm.get("layer") or "")
|
|
103
|
+
if layer in PROTECTED_LAYERS:
|
|
104
|
+
return True, f"层保护:{layer}(不可遗忘层)"
|
|
105
|
+
if fm.get("protected") is True:
|
|
106
|
+
return True, str(fm.get("protection_reason") or "显式保护标记")
|
|
107
|
+
try:
|
|
108
|
+
imp = float(fm.get("importance") or 0.0)
|
|
109
|
+
except Exception:
|
|
110
|
+
imp = 0.0
|
|
111
|
+
if imp >= AUTO_PROTECT_IMPORTANCE:
|
|
112
|
+
return True, f"重要性保护:importance={imp:.2f}≥{AUTO_PROTECT_IMPORTANCE}"
|
|
113
|
+
return False, ""
|
|
114
|
+
|
|
115
|
+
|
|
116
|
+
# 生效条件:cg 索引无 node_id 条目时返回 (False, '');有条目时若 self_state is True 一律返回 (False, '')(自我状态豁免);否则 layer∈PROTECTED_LAYERS 返回 (True, 层保护);否则 immutable is True 返回 (True, protection_reason 或 '显式不可覆盖标记');其余返回 (False, '')。
|
|
117
|
+
def is_immutable(cg, node_id):
|
|
118
|
+
"""**不可覆盖**判定 → (是否不可篡改, 原因)。比不可遗忘更窄,只认强信号。
|
|
119
|
+
|
|
120
|
+
例外:自我状态卡(frontmatter.self_state is True)**必须可覆盖**——
|
|
121
|
+
自我状态本来就要随认知演化而更新,冻结它等于自我认知停止生长。
|
|
122
|
+
但它仍然 is_protected(不可遗忘),这是「不可遗忘 ≠ 不可覆盖」的延伸。
|
|
123
|
+
身份锚点不设此豁免,依旧两者皆禁。
|
|
124
|
+
"""
|
|
125
|
+
fm = _fm(cg, node_id)
|
|
126
|
+
if fm is None:
|
|
127
|
+
return False, ""
|
|
128
|
+
if fm.get("self_state") is True:
|
|
129
|
+
return False, ""
|
|
130
|
+
layer = str(fm.get("layer") or "")
|
|
131
|
+
if layer in PROTECTED_LAYERS:
|
|
132
|
+
return True, f"层保护:{layer}(不可篡改层)"
|
|
133
|
+
if fm.get("immutable") is True:
|
|
134
|
+
return True, str(fm.get("protection_reason") or "显式不可覆盖标记")
|
|
135
|
+
return False, ""
|
|
136
|
+
|
|
137
|
+
|
|
138
|
+
# ---------------------------------------------------------------- 留痕
|
|
139
|
+
|
|
140
|
+
# 生效条件:对任意 cg、action、node_id、reason(actor/snapshot 缺省为 None)都构造含 t/action/node_id/reason/actor/snapshot 的 rec 并返回,同时尝试追加写入 cg.root 下的 AUDIT_FILE,该写入抛出的任何异常被吞掉且不影响返回值。
|
|
141
|
+
def _audit(cg, action, node_id, reason, actor=None, snapshot=None):
|
|
142
|
+
rec = {"t": time.time(), "action": action, "node_id": node_id,
|
|
143
|
+
"reason": reason, "actor": actor, "snapshot": snapshot}
|
|
144
|
+
try:
|
|
145
|
+
append_jsonl(os.path.join(cg.root, AUDIT_FILE), rec)
|
|
146
|
+
except Exception:
|
|
147
|
+
pass
|
|
148
|
+
return rec
|
|
149
|
+
|
|
150
|
+
|
|
151
|
+
# 生效条件:cg.get(node_id) 抛异常或返回假值时返回 None;否则在 cg.root/HISTORY_DIR/node_id 下以时间戳命名写入当前 frontmatter 与 content,_write_node 抛异常时返回 None,成功则返回相对 cg.root 且以 '/' 分隔的路径。
|
|
152
|
+
def snapshot(cg, node_id):
|
|
153
|
+
"""把节点当前版本快照进 `_protected_history/<id>/<ts>.md`,返回相对路径。"""
|
|
154
|
+
try:
|
|
155
|
+
node = cg.get(node_id)
|
|
156
|
+
except Exception:
|
|
157
|
+
node = None
|
|
158
|
+
if not node:
|
|
159
|
+
return None
|
|
160
|
+
d = os.path.join(cg.root, HISTORY_DIR, node_id)
|
|
161
|
+
os.makedirs(d, exist_ok=True)
|
|
162
|
+
ts = time.strftime("%Y%m%d-%H%M%S", time.localtime())
|
|
163
|
+
p = os.path.join(d, f"{ts}.md")
|
|
164
|
+
try:
|
|
165
|
+
cg._write_node(node.get("id"), p, node.get("frontmatter") or {},
|
|
166
|
+
node.get("content") or "")
|
|
167
|
+
except Exception:
|
|
168
|
+
return None
|
|
169
|
+
return os.path.relpath(p, cg.root).replace("\\", "/")
|
|
170
|
+
|
|
171
|
+
|
|
172
|
+
# 生效条件:cg.root/HISTORY_DIR/node_id 不是目录时返回 [];是目录时返回该目录下以 .md 结尾(不递归)的文件按名称排序后的 `HISTORY_DIR/node_id/文件名` 列表,无匹配文件则列表为空。
|
|
173
|
+
def history(cg, node_id):
|
|
174
|
+
"""受保护节点的历史版本列表(按时间升序)。"""
|
|
175
|
+
d = os.path.join(cg.root, HISTORY_DIR, node_id)
|
|
176
|
+
if not os.path.isdir(d):
|
|
177
|
+
return []
|
|
178
|
+
out = [f for f in os.listdir(d) if f.endswith(".md")]
|
|
179
|
+
out.sort()
|
|
180
|
+
return [f"{HISTORY_DIR}/{node_id}/{f}" for f in out]
|
|
181
|
+
|
|
182
|
+
|
|
183
|
+
# ---------------------------------------------------------------- 守卫
|
|
184
|
+
|
|
185
|
+
# 生效条件:对任意 cg、node_id、why、action、override、actor 都无条件返回 {'override': True, 'reason': why, 'snapshot': snapshot(...) 的结果, 'audit': _audit(cg, action, node_id, why, actor, snap) 的结果},override 形参本身不改变返回内容。
|
|
186
|
+
def _allow(cg, node_id, why, action, override, actor):
|
|
187
|
+
snap = snapshot(cg, node_id)
|
|
188
|
+
rec = _audit(cg, action, node_id, why, actor, snap)
|
|
189
|
+
return {"override": True, "reason": why, "snapshot": snap, "audit": rec}
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
# 生效条件:is_immutable(cg, node_id) 为假(含 self_state is True、layer 不在 PROTECTED_LAYERS 且 immutable 非 True 的情形)时返回 None;为真时 override 取真值则返回 _allow(..., 'override_write', override, actor),否则抛出 ProtectionError;layer 形参不参与该判定。
|
|
193
|
+
def guard_write(cg, node_id, layer=None, override=False, actor=None):
|
|
194
|
+
"""覆盖既有节点前的守卫(只认**不可覆盖**信号)。
|
|
195
|
+
|
|
196
|
+
新节点 / 未标记 immutable 的节点直接放行(返回 None)。
|
|
197
|
+
importance≥0.7 只保证「不可遗忘」,不阻断系统自身的幂等更新。
|
|
198
|
+
"""
|
|
199
|
+
prot, why = is_immutable(cg, node_id)
|
|
200
|
+
if not prot:
|
|
201
|
+
return None
|
|
202
|
+
if override:
|
|
203
|
+
return _allow(cg, node_id, why, "override_write", override, actor)
|
|
204
|
+
raise ProtectionError(
|
|
205
|
+
f"节点 {node_id} 受写保护({why});覆盖需显式 override=True")
|
|
206
|
+
|
|
207
|
+
|
|
208
|
+
# 生效条件:is_protected(cg, node_id) 为假时返回 None;为真时 override 取真值则返回 _allow(..., 'override_forget', override, actor),否则抛出 ProtectionError。
|
|
209
|
+
def guard_forget(cg, node_id, override=False, actor=None):
|
|
210
|
+
"""删除前的守卫。受保护节点 = 不可遗忘。"""
|
|
211
|
+
prot, why = is_protected(cg, node_id)
|
|
212
|
+
if not prot:
|
|
213
|
+
return None
|
|
214
|
+
if override:
|
|
215
|
+
return _allow(cg, node_id, why, "override_forget", override, actor)
|
|
216
|
+
raise ProtectionError(
|
|
217
|
+
f"节点 {node_id} 不可遗忘({why});删除需显式 override=True")
|
|
218
|
+
|
|
219
|
+
|
|
220
|
+
# 生效条件:is_protected(cg, node_id) 为假时返回 None;为真且 to_layer∈PROTECTED_LAYERS(保护层间互搬)时也返回 None;为真且 to_layer 不在 PROTECTED_LAYERS 时,override 取真值则返回 _allow(..., 'override_move', override, actor),否则抛出 ProtectionError。
|
|
221
|
+
def guard_move(cg, node_id, to_layer, override=False, actor=None):
|
|
222
|
+
"""降级/搬迁前的守卫:受保护节点不得被移出保护层。"""
|
|
223
|
+
prot, why = is_protected(cg, node_id)
|
|
224
|
+
if not prot:
|
|
225
|
+
return None
|
|
226
|
+
if to_layer in PROTECTED_LAYERS:
|
|
227
|
+
return None # 保护层之间互搬仍受保护,放行
|
|
228
|
+
if override:
|
|
229
|
+
return _allow(cg, node_id, why, "override_move", override, actor)
|
|
230
|
+
raise ProtectionError(
|
|
231
|
+
f"节点 {node_id} 受写保护({why});降级移出保护层需显式 override=True")
|
|
232
|
+
|
|
233
|
+
|
|
234
|
+
# 生效条件:cg.get(node_id) 抛异常或返回假值时返回 None;否则把 protected=True 与 protection_reason=reason 写入 cg.root 下 node["path"](该键缺失即抛 KeyError)对应的 frontmatter 并保持原 content,随后门条目存在时同步其 protected/protection_reason,返回 {'node_id': node_id, 'protected': True, 'reason': reason}。
|
|
235
|
+
def mark(cg, node_id, reason):
|
|
236
|
+
"""给节点打上 `protected=True` 标记(写回 frontmatter,不动 content)。"""
|
|
237
|
+
try:
|
|
238
|
+
node = cg.get(node_id)
|
|
239
|
+
except Exception:
|
|
240
|
+
node = None
|
|
241
|
+
if not node:
|
|
242
|
+
return None
|
|
243
|
+
fm = node.get("frontmatter") or {}
|
|
244
|
+
fm["protected"] = True
|
|
245
|
+
fm["protection_reason"] = reason
|
|
246
|
+
cg._write_node(node_id, os.path.join(cg.root, node["path"]),
|
|
247
|
+
fm, node.get("content") or "")
|
|
248
|
+
e = _entry(cg, node_id)
|
|
249
|
+
if e is not None:
|
|
250
|
+
e["protected"] = True
|
|
251
|
+
e["protection_reason"] = reason
|
|
252
|
+
return {"node_id": node_id, "protected": True, "reason": reason}
|
|
253
|
+
|
|
254
|
+
|
|
255
|
+
# 生效条件:遍历 cg.index.nodes(或其假值时的空字典)的每个键,对 is_protected 为真的节点计入 ids 并按 layer(缺失/假值记为 '?')累加 by_layer,其中原因串含 "importance=" 或以 "重要性保护" 开头的计入 auto_by_importance,对 is_immutable 为真的计入 immutable_ids,返回含 protected_count/immutable_count/by_layer/auto_by_importance/ids/immutable_ids 的字典。
|
|
256
|
+
def stats(cg):
|
|
257
|
+
"""保护面盘点:不可遗忘数 / 不可覆盖数 / 分层分布 / 自动保护命中数。"""
|
|
258
|
+
nodes = ((getattr(cg, "index", None) or {}).get("nodes") or {})
|
|
259
|
+
by_layer, ids, auto, immutable = {}, [], 0, []
|
|
260
|
+
for nid in nodes:
|
|
261
|
+
prot, why = is_protected(cg, nid)
|
|
262
|
+
if prot:
|
|
263
|
+
ids.append(nid)
|
|
264
|
+
layer = str(nodes[nid].get("layer") or "?")
|
|
265
|
+
by_layer[layer] = by_layer.get(layer, 0) + 1
|
|
266
|
+
if "importance=" in why or why.startswith("重要性保护"):
|
|
267
|
+
auto += 1
|
|
268
|
+
imm, _ = is_immutable(cg, nid)
|
|
269
|
+
if imm:
|
|
270
|
+
immutable.append(nid)
|
|
271
|
+
return {"protected_count": len(ids), "immutable_count": len(immutable),
|
|
272
|
+
"by_layer": by_layer, "auto_by_importance": auto, "ids": ids,
|
|
273
273
|
"immutable_ids": immutable}
|
|
@@ -1,33 +1,33 @@
|
|
|
1
|
-
// md_cg 判定层 · 可协议化闸门 v0.1
|
|
2
|
-
// 来源:forgetting.py assess() 七步阶梯 · protect.py is_protected()/is_immutable()
|
|
3
|
-
// 语言契约(实测,见 out/probe*.proto):
|
|
4
|
-
// · 且/或/非 静默恒假 → 复合条件一律用嵌套 若(等效 AND)
|
|
5
|
-
// · ≥ 闭区间用「若 X 小于 t,则 <不满足>,否则 <满足>」保真
|
|
6
|
-
// · 裸赋值会被静默丢弃 → 赋值全包在 若 分支内,第 1 步顺带初始化 裁决
|
|
7
|
-
// · 变量名禁用数字后缀
|
|
8
|
-
// · 输入符号必须全部显式传入:未传=未声明(抛 NameError),而非默认为 0
|
|
9
|
-
// · check 的 statements 计数在 3 层嵌套上坍缩为 1(forgetting 单段 8 条也报 1 条),
|
|
10
|
-
// 但编译指令数与运行终态均正确 —— 该计数不可用作正确性判据
|
|
11
|
-
// 输入(Python 侧数值化):重要度 冗余 新信息 来源内定 层保护 显式保护 显式不可变 自我状态
|
|
12
|
-
// 输出:裁决 1=ACCEPT 2=MERGE 3=DROP 4=DEFER;保护 1/0;不可覆盖 1/0
|
|
13
|
-
// 阈值:0.70 0.85 0.60 0.30 0.15(forgetting.py / protect.py 常量)
|
|
14
|
-
// 语句 1-7 = 遗忘闸门(顺序即语义);8-10 = 不可遗忘;11-14 = 不可覆盖(9=未命中哨兵)
|
|
15
|
-
|
|
16
|
-
问曰:此条记忆当写否,既有自我认知可改否?
|
|
17
|
-
答曰:依 forgetting 七步阶梯与 protect 三层保护裁决。
|
|
18
|
-
术曰:
|
|
19
|
-
1。若 重要度 小于 0.7,则 裁决 = 0,否则 裁决 = 1;
|
|
20
|
-
2。若 裁决 等于 0,则 若 来源内定 大于 0.5,则 若 冗余 小于 0.6,则 裁决 = 0,否则 裁决 = 3;
|
|
21
|
-
3。若 裁决 等于 0,则 若 冗余 小于 0.85,则 裁决 = 0,否则 裁决 = 2;
|
|
22
|
-
4。若 裁决 等于 0,则 若 重要度 小于 0.3,则 若 冗余 小于 0.6,则 裁决 = 0,否则 裁决 = 4;
|
|
23
|
-
5。若 裁决 等于 0,则 若 重要度 小于 0.3,则 裁决 = 0,否则 裁决 = 1;
|
|
24
|
-
6。若 裁决 等于 0,则 若 新信息 小于 0.15,则 裁决 = 0,否则 裁决 = 1;
|
|
25
|
-
7。若 裁决 等于 0,则 裁决 = 4;
|
|
26
|
-
8。若 层保护 大于 0.5,则 保护 = 1,否则 保护 = 9;
|
|
27
|
-
9。若 保护 等于 9,则 若 显式保护 大于 0.5,则 保护 = 1;
|
|
28
|
-
10。若 保护 等于 9,则 若 重要度 小于 0.7,则 保护 = 0,否则 保护 = 1;
|
|
29
|
-
11。若 自我状态 大于 0.5,则 不可覆盖 = 0,否则 不可覆盖 = 9;
|
|
30
|
-
12。若 不可覆盖 等于 9,则 若 层保护 大于 0.5,则 不可覆盖 = 1;
|
|
31
|
-
13。若 不可覆盖 等于 9,则 若 显式不可变 大于 0.5,则 不可覆盖 = 1;
|
|
32
|
-
14。若 不可覆盖 等于 9,则 不可覆盖 = 0;
|
|
33
|
-
15。止。
|
|
1
|
+
// md_cg 判定层 · 可协议化闸门 v0.1
|
|
2
|
+
// 来源:forgetting.py assess() 七步阶梯 · protect.py is_protected()/is_immutable()
|
|
3
|
+
// 语言契约(实测,见 out/probe*.proto):
|
|
4
|
+
// · 且/或/非 静默恒假 → 复合条件一律用嵌套 若(等效 AND)
|
|
5
|
+
// · ≥ 闭区间用「若 X 小于 t,则 <不满足>,否则 <满足>」保真
|
|
6
|
+
// · 裸赋值会被静默丢弃 → 赋值全包在 若 分支内,第 1 步顺带初始化 裁决
|
|
7
|
+
// · 变量名禁用数字后缀
|
|
8
|
+
// · 输入符号必须全部显式传入:未传=未声明(抛 NameError),而非默认为 0
|
|
9
|
+
// · check 的 statements 计数在 3 层嵌套上坍缩为 1(forgetting 单段 8 条也报 1 条),
|
|
10
|
+
// 但编译指令数与运行终态均正确 —— 该计数不可用作正确性判据
|
|
11
|
+
// 输入(Python 侧数值化):重要度 冗余 新信息 来源内定 层保护 显式保护 显式不可变 自我状态
|
|
12
|
+
// 输出:裁决 1=ACCEPT 2=MERGE 3=DROP 4=DEFER;保护 1/0;不可覆盖 1/0
|
|
13
|
+
// 阈值:0.70 0.85 0.60 0.30 0.15(forgetting.py / protect.py 常量)
|
|
14
|
+
// 语句 1-7 = 遗忘闸门(顺序即语义);8-10 = 不可遗忘;11-14 = 不可覆盖(9=未命中哨兵)
|
|
15
|
+
|
|
16
|
+
问曰:此条记忆当写否,既有自我认知可改否?
|
|
17
|
+
答曰:依 forgetting 七步阶梯与 protect 三层保护裁决。
|
|
18
|
+
术曰:
|
|
19
|
+
1。若 重要度 小于 0.7,则 裁决 = 0,否则 裁决 = 1;
|
|
20
|
+
2。若 裁决 等于 0,则 若 来源内定 大于 0.5,则 若 冗余 小于 0.6,则 裁决 = 0,否则 裁决 = 3;
|
|
21
|
+
3。若 裁决 等于 0,则 若 冗余 小于 0.85,则 裁决 = 0,否则 裁决 = 2;
|
|
22
|
+
4。若 裁决 等于 0,则 若 重要度 小于 0.3,则 若 冗余 小于 0.6,则 裁决 = 0,否则 裁决 = 4;
|
|
23
|
+
5。若 裁决 等于 0,则 若 重要度 小于 0.3,则 裁决 = 0,否则 裁决 = 1;
|
|
24
|
+
6。若 裁决 等于 0,则 若 新信息 小于 0.15,则 裁决 = 0,否则 裁决 = 1;
|
|
25
|
+
7。若 裁决 等于 0,则 裁决 = 4;
|
|
26
|
+
8。若 层保护 大于 0.5,则 保护 = 1,否则 保护 = 9;
|
|
27
|
+
9。若 保护 等于 9,则 若 显式保护 大于 0.5,则 保护 = 1;
|
|
28
|
+
10。若 保护 等于 9,则 若 重要度 小于 0.7,则 保护 = 0,否则 保护 = 1;
|
|
29
|
+
11。若 自我状态 大于 0.5,则 不可覆盖 = 0,否则 不可覆盖 = 9;
|
|
30
|
+
12。若 不可覆盖 等于 9,则 若 层保护 大于 0.5,则 不可覆盖 = 1;
|
|
31
|
+
13。若 不可覆盖 等于 9,则 若 显式不可变 大于 0.5,则 不可覆盖 = 1;
|
|
32
|
+
14。若 不可覆盖 等于 9,则 不可覆盖 = 0;
|
|
33
|
+
15。止。
|