答辩高频问题
1. Pysolate最核心的创新是什么？
把Agent程序的logical effect与执行它所需的physical work分离，同时不把authority交给Guest或优化器长期持有。Host可以在显式authority下提前完成可丢弃的准备，但只有Guest实际到达的exact dynamic occurrence才能claim逻辑effect。
这比“提前调用工具”多了三个语义条件：准备结果绑定到哪个Run/call、何时才算logical effect、未到达或发生漂移时如何安全终结。
2. 为什么不能直接用EAGER？
EAGER通常把“静态发现候选”和“立刻执行”绑定起来。遇到条件分支、副作用、exception或authority变化时，要么扩大语义风险，要么退回串行。
Pysolate把physical preparation做成可claim、可orphan、可fallback的Host对象，因此可以在不提前产生logical effect的前提下创造overlap机会。但这只是调度机会，不保证每个workload更快。
3. AST是否产生authority？
不产生。Guest analysis只描述候选、call site和数据依赖。Host用Plan、Grant、schema、privacy与budget决定candidate是否qualified。静态发现不能自行添加capability。
4. 为什么必须fresh Guest？
fresh Guest切断上一次执行遗留的heap、globals、module mutation、WASI handle和隐含authority。Pysolate复用的是Host-owned的编译产物、immutable records、prepared bytes或private-COW baseline，而不是一个继续活着并持有authority的解释器。
5. private-COW是不是prepared-data创新？
不是。private-COW是既有execution substrate，解决fresh startup、page sharing、mutation isolation和fan-out。prepared-data的新语义是：显式authority下提前准备物理对象，再由exact Guest occurrence一次性claim；未到达时orphan。
6. 这是不是checkpoint/restore？
不是。workflow resume保存显式逻辑State并创建fresh Guest；approval suspension保留同一次pending call；cold-I/O continuation只是同一slot的memory tiering。系统没有通用Python frame、heap或任意WASM执行栈checkpoint。
7. staged object是否是通用Host→Guest ABI？
不是。当前最强object-bound证据只覆盖固定NumPy研究lane：固定loader/codec、dtype、shape与body约束。它证明claim机制能绑定真实对象，不证明arbitrary ndarray、generic blob cache或zero-copy object transport。
Prepared Family后来增加了bounded numpycodec binary ingress和multiple fresh members，但仍是封闭NumPy contract；它没有把staged-object lane变成generic ABI。
8. 系统如何处理branch not taken和earlier exception？
physical work可以已经开始或完成，但不会自动成为logical effect。finalize时若exact occurrence没有claim，对象进入orphan/cancelled等terminal disposition，logical claim保持零。
9. cancel能否撤销外部副作用？
不能。dispatch commit之前可以阻止执行；commit之后只能如实记录success/error/ambiguous并进入reconciliation。Pysolate不会把“请求取消”伪装成“外部世界一定没发生变化”。
10. native fallback为什么不能随便重试？
只有Host能够证明旧attempt是not_started时，才能隐式换backend。开始状态不确定或可能已产生effect时，自动重放会制造重复副作用；此时必须显式报告ambiguous或由reconciliation处理。
11. benchmark到底证明了什么？
它们主要证明机制分解后的组件成本、fresh/private-COW fan-out特性、source-prefix authored overlap和固定prepared-data schedule opportunity。P6是component timing加projected schedule model，不是实际interval trace，也不是production critical-path latency。
12. 为什么不把所有机制做成generic optimizer/cache？
论文需要证明核心语义是否成立，而不是提前构建产品级优化器。当前实现刻意保留fixed lane和显式policy，避免把缓存淘汰、任意对象序列化、全局planner与跨平台snapshot等问题混进authority claim。
13. receipt为什么不能等于“外部世界真相”？
receipt记录Host边界观察到的identity、dispatch和terminal disposition。它可以证明系统采取了什么路径，但无法独自证明远端系统最终状态，尤其在timeout、网络断连或provider ambiguity下。
14. Prepared Family共享了什么，为什么不泄漏authority？
它共享Host验证的bounded NumPy input；Linux private-COW还共享sealed image/page lineage，portable private-copy则为每个Guest重新prepare。每个member重新绑定Invocation、RunConfig、可选Plan/Broker、workspace、deadline和terminal record；runner single-use。Family不schedule、retry、select或publish，因此共享数据不等于共享执行主体或authority。
15. “AST优化拆成Pass”是否等于有了通用optimizer？
不是。当前重构统一了 pass registration/stage vocabulary，并提供 body-free outcome shell；pure AST rewrite 走 authority-free exact-Guest source patch。Semantic projection adapter 有单测但无 production caller，prepared adapter 和 scalar registry 也没有自动落账。系统没有 dynamic loader、generic IR、automatic ordering、fixed-point 或 cost model，两个 scalar pass 的 synthetic timing 也都是负结果。
16. 论文最稳妥的一句话是什么？
Pysolate证明了fresh isolated Agent execution与跨执行优化并不矛盾：Host可以在显式authority下提前完成并持有可丢弃的physical work，而Guest中的exact dynamic occurrence仍是logical effect的唯一claim点。