# 槽208、原始RSI与处理器137的条件连接

仅固定自产3.11 Demo2835 Ultra数据，目标SHA256为`5f9c1b6fcb019366f835d8f02d9ec3b2957fe619e039410d07f288a9c73f63f0`。精确3.8、CPU/OS、原生可达性和完整保护业务仍未证明。

沿用原入口RSP=S、F=(S-648)&~15及先前84字节、20上下文槽、原671字节窗口与映像分离/保持条件。进入78时虚拟栈[S-8]为原始入口RBP，当前RBP=S-8。78前缀15条把这个值写入F+208，RDI=原始RBP、R10=208、RBP=S、RSI加1；完整27条经派发器到137/0x1400545e7。

新增VIP+56处208与VIP+57处137，表137四字节已经存在，84→86。新F+208与原20槽逐字节不相交，仍在原窗口。

137的16条检查路径从VIP字节索引144读取[RSP+144]到RBX，RDX=144，RBP减8并将该值写入[RBP]，RSI加1、R8=RSP+384；原R9保持。这些通用方程与0的上下文读取/虚拟压栈相同，加载值的目的GPR不同。旧槽144保存的是**原始入口RSI**，不能用当前字节码指针RSI=VIP+58替代它。完整28条快路包含派发器，并保留搬栈互补出口的全部状态和早期写入。

新增VIP+58处144、VIP+59处136，表136四字节复用，86→88。仅在完整前提下末态RBX=原始入口RSI、RDX=144、RDI=原始入口RBP、R10=208、R9仍为先前状态中的原始入口RBP、RBP=S-8、RSI=VIP+60、RSP=F、RAX=136、R8=0x1400545b6；虚拟栈[S-8]为原始入口RSI。槽208及原20槽共21槽保持。快路false仍恰为8<=S<264，前序快路成立蕴含本次快路成立。

公开三层transition-chain为78完整27条、137检查16条、共同派发12条：54精确状态绑定、4条有序STORE、2个完整互补出口、137节点/425引用。STORE分别使用自己的进入guard，不能用最终pathGuard消除先前写入。

`prove_context208_join.py`先核对四份新局部完整核心与已有78/137报告逐项相等，复用6项已封存未切割全状态查询，**不计为新增查询或覆盖**。本轮新增22查询为16UNSAT/6SAT，验证三层全部状态、动态目标互补分区、原始源字方程、84→86→88接点、窗口/上下文保持和反例。源字cut有独立原LOAD方程，派发内存cut为原第一STORE之后；SAT负例恢复该STORE的实际内存定义。完整源DAG在切割之前校验；不是一项未切割整链/整VM证明。

`verify_context208_join.py`独立读取实际目标字节、四份完整核心与旧6项查询、新22项查询、54绑定、cut与反例恢复定义，并核对20槽与新208之间1280个字节对实例。原窗口64→10桥接、映像保持引理及先前任意0..255槽起点的栈写非别名证书继续有效。

880个普通状态中64个不满足映像分离而跳过，256个在前序分支停止，560个条件下到达下一136；检查全16GPR、整内存、4写、2互补出口、21槽与全部88字节。独立入口64未知位及ADD映像59未知位继续变化，两部署复用同批不增加覆盖。没有执行PE、补初始flags、扩大原预算、修改运行包/许可/安全设置。