v6.20.0 (StateSemantics) — 引擎语义不变量 E1'~E4

v6.20.0 StateSemantics (2026-09-09)

引擎语义不变量四件套 (R8, 评测只当探照灯 — 引擎能力真升级, 判卷/judge/prompt V1/数据面零改动):

• E1' 状态时点裁决 core/state_projection.py — latest-wins + 否定行 + timeline 全链掩码 (与 _property_temporal_retrieve 同构)
• E3 实例身份 key core/instance_key.py — sha1(entity|type|iso_week|obj|obj_desc), obj_desc 修饰语维 (双吉他异实例), 别名归一
• E2 模态五值闭域 core/modality_rules.py — actual/planned/wish/inferred/in_talks, 谓词语义门 did/plan/offer
• E4 槽位确定性检索 retrieval/slot_facts.py (SlotIndex 全集+值去重) + slot_extract.py (原文抽取) + QueryRouter.retrieve_slot (R8_CTX=1)
• 评测装配 scripts/slot_assembly.py [SLOT EVIDENCE] (R8_SLOT=1, bench 3 点位追加式)

默认全 off 与 v6.19.0 逐字节等价; 全量 pytest 1320 零回归。
Benchmark: 官方口径仍 v6.19.0 83.14% (cat1 68.5/ cat2 81.6/ cat3 77.9/ cat4 88.0) — G4 全量评测延后 11 号后更新至 v6.20.0。