可追踪案例

以下 ID、Step、State/version、时间戳来自最终 10 条 Run 的 request-funnel.json、jev-events.jsonl、semantic-* receipts 和 promote-entry-analysis.json。

1. 版本未变化但仍 stale：ODK/StartLux semantic-115

run_b4c1993df4014b50b11a00534b235c82 的同一 input fingerprint 在 step 457 以异步 attempt 2 提交，来源 State g0s1、abstraction version 16、candidate_count=1；step 458 归档 response 为 STALE_HISTORY_OR_VERSION。step 450–464 的事件仍显示 abstraction version 16，没有观察到 version advance；期间多次 SEMANTIC_CONTEXT_INVALIDATED(reason=prepare_reentered)。这证明版本号没有变化时也会 stale，触发分支只能是 State object、相关 execution revision、confirmation count 或当前 exact execution 条件之一；归档没有记录是哪一项。

2. 可观测版本变化的 stale：ODK/StartLux semantic-66

run_37857f425d4f408589817ea0a86c7298，response source version=27，消费时事件最高 abstraction version=30，Step 540；终态为 STALE_HISTORY_OR_VERSION。这是“版本变化可能触发硬检查”的真实证据，但不能把版本变化等同于 Concrete/Witness 无效，也不能外推到所有 stale。

3. 到达但未进入 Ledger，且原始 PROMOTE：ODK/Jev semantic-32

run_1fecfdff37c243f0ad7ad34ff3464cf9，Step 281、State g14s61、version 14、candidate_count=1、pair_count=1、RN=2。路由证明 matched_executed=true，异步；arrival HTTP 200、provider latency 2.943 s；原始 Candidate 聚合为 PROMOTE，APE 在回调前已继续 1 次选择。终态 arrived_without_consumption，stored_entries=[]、adopted_promotes=[]。模型文本和 Pairwise answer 已到达，缺的是后续消费入口，不是 HTTP/解析失败。

4. ODK/Jev 更多原始 PROMOTE 未采纳

同一 Run 的 semantic-145（Step 1042，3 个 raw PROMOTE）、semantic-153（Step 1063，1 个 raw PROMOTE）均为 arrived_without_consumption；semantic-19/21/36/115/117/123 等 raw PROMOTE 为 stale。Run 合计异步 raw PROMOTE=15，异步采纳=0。

5. Omni/Jev 到达但未消费

run_99f61e7d0f824c80a8158d6d68490c19 / semantic-175，Step 555、State/version 由 request routing 记录，candidate_count=2、pair_count=3，原始聚合 c1=UNRESOLVED,c2=REPRESENTED，HTTP 200、arrival 无错误，APE 在 terminal callback 前继续 2 次；终态 arrived_without_consumption，没有 Ledger entry。其 body fingerprint 在 Gateway 有重复关联，归属保留 ambiguity。

6. ActivityDiary/Jev 到达但未消费

run_06d85a5c605f4e57abeb9293c0dd0e26 / semantic-121，Step 668、State g30s102、version 50、candidate_count=2、pair_count=2，HTTP 200，raw 聚合均 REPRESENTED，回调前继续 1 次；没有 Ledger entry。该请求在 Gateway body hash 上有多次关联，不能把每条上游记录强行归给唯一 Native request。

7. 唯一自然异步采纳但最终 Pending：ActivityDiary/StartLux semantic-265-c2

run_34412a29d5c74335a92ab67298bee615：Step 1026，source State g44s161，version 51，Concrete identity digest a7676b...27c8d，完整历史 Witness=2/2，Pairwise 两次 DIFFERENT，confidence 0.875923，聚合 PROMOTE。它确实产生 SEMANTIC_DECISION_STORED，最终 Ledger PROBE，但没有 PROBE_EXECUTED。

后续不是没有回访：Step 1031、1045、1060、1065、1067、1068 等同 version source selection 都有记录，之后 version 52、58 仍有观察。每次 PROBE_NAVIGATION_ELIGIBILITY 都是 reason=related_concrete_confirmed、source_valid=true、confidence_pass=true、same_state_confirmed=false、related_execution_suppressed=true、navigation=false。最接近真实失败点是既有 related Concrete 执行抑制了导航；它没有进入绑定/输入/导航失败，不能写成“Probe 导航失败”。

8. Scarlet/Jev 同一 fingerprint 重复同步审核

run_ab338a6f3fd248f09a31aa85687d82e0 在 Step 402–423 连续提交 semantic-33,35,37,39,41,43,45，输入 fingerprint 相同，均同步、均 stale；另有 semantic-61,63,67,77,78,84,91,94,101,102,117 聚集在 Step 470–587，同一 fingerprint 多次出现，混有 stale、consumed 和 arrived_without_consumption。它与 394 次同步、Gateway queue p95 106 s、软超时 354 次同时出现，说明 candidate cursor/inFlight 没有跨 stale/retry 生命周期形成足够强的请求去重。

9. 多数决可确定的部分与不可确定的部分

所有旧异步请求的 routing proof 都是 matched_executed=true，所以其 A=n、S=0，反事实仍异步。旧同步且 candidate_count=1 的请求都能确定 A=0、S=1，反事实仍同步。

旧同步且 candidate_count≥2 的包需要逐 Candidate 的 Registry match vote；正式 receipts 只保留 request-level matched_executed=false，没有 A/S 明细。它们必须列 UNKNOWN。Scarlet/Jev 394 个同步中 236 个 candidate_count≥2，Omni/Jev 285 个中 199 个，不能把它们猜成“混合包”或直接声称多数决减少了多少。

10. 最大完整 review 超时

run_92bc55cadd6a40c68f7aad7cef112e6b Wikipedia/Jev，Step 1146，whole_review_elapsed=7.610458151 s；provider_wait_ns 仍未超过 5 s。多出的时间属于完整 review 的本地/调度/HTTP 周边，不是 Provider wait 预算本身。