创新点总表

这份表按“能否成为论文贡献”分级，不按代码包数量罗列功能。

一句话主张

Fresh isolated execution并不要求放弃跨执行优化。只要authority、physical work和effect truth由Host持有，逻辑effect仍由Guest中的原始动态occurrence触发，系统就可以提前、复用或丢弃物理工作，而不把后续authority交给长期存活的解释器。

这句话是Pysolate整体story；prepared-data、semantic pre-dispatch、workspace attempt和backend placement是它的不同实例。

A. 核心贡献候选

A1. Authority lifecycle runtime

Pysolate把一次Run中的权限从“解释器持有什么”改写为Host控制的生命周期：Plan admission、physical execution、receipt、logical claim、terminal disposition和cleanup。Guest只能通过生成的窄接口发起call，不能从Python语法、异常文本或旧结果中恢复authority。

为什么重要： fresh Guest不再意味着每次都要重新发明权限关系；persistent Guest也不再是保留权限上下文的唯一办法。

实现入口： runtime/capability、runtime/receipt、runtime/lifecycle、runtime/verification。

A2. Candidate、physical work与logical effect三分

Pysolate不把AST里出现的call、Host已经完成的read、Guest最终消费的结果视为同一件事：

candidate fact
→ Host-authorized physical preparation
→ exact Guest logical occurrence

candidate不能授权；physical completion不能自动记为logical success；未到达occurrence的结果必须orphan、cancel或discard。

为什么重要： 这让effect-adjacent工作不必全部退化为serial，同时保留原程序的动态effect边界。

实例： semantic pre-dispatch与fixed NumPy prepared-data。

A3. Fresh execution下的Host-owned effect truth

物理attempt、Broker receipt、ambiguous outcome、workspace disposition与terminal cleanup都由Host记录。Guest返回值不是唯一真相；provider trace、Python异常或旧cache hit也不能替代当前Run的effect evidence。

为什么重要： retry、fallback、reuse和backend切换可以依据“是否开始、是否完成、是否不确定”做决定，而不是依据错误字符串猜测。

A4. Typed non-replay placement

WASM与native不是两个可随意重试的等价runner。只有Host能够证明前一lane为typed unsupported/not_started时，才允许创建绑定parent decision的native attempt；普通异常、超时或可能已发生effect的失败不重放。

为什么重要： compatibility fallback不会静默变成副作用重复执行。

实现入口： runtime/placement、runtime/engine/native、runtime/capabilityrpc。

A5. Private attempts rather than shared mutable execution

workspace root、branch与attempt显式表达状态继承；物理执行可以在private attempt中激进失败、销毁或重试，只有显式publish才改变后续可见状态。

为什么重要： multi-agent或多backend执行可以共享不可变起点，但不共享一个长期可变解释器或目录。

B. 强支撑机制

B1. Streaming source-prefix execution

已到达且可独立分析的prefix可以启动窄physical read，后续source继续生成；final source必须是append-only extension。它证明Pysolate不需要等完整程序生成后才开始所有工作。

B2. Semantic pre-dispatch

exact target-Guest analysis生成opaque QualifiedCall，Host budget决定是否提前执行，普通Guest call仍负责logical claim。最新实现会在seal时把ready record绑定到现有final source SHA，但不会再次解析final AST。

B3. Authority-preserving prepared-data

固定numpy.load/NPY lane把Host read、typed decode、sealed object和Guest claim连成完整proof。它展示physical preparation可以早于logical effect，并在branch未走或提前异常时zero claim。

B4. Body-safe causal evidence

公开evidence优先保留identity、计数、时序和disposition，不要求保存credential、raw body或完整private trace。它支持论文复核，但不等于external-world truth。

B5. Backend/profile qualification

artifact profile、import qualification和placement把“这段代码在哪能跑”变成Host decision；package profile不是runtime package manager，native selection也不是任意Python正确性证明。

B6. Prepared Family 的 private cohort composition

Prepared Family把一份Host验证的bounded NumPy input交给有限个fresh single-use member。两条lane共享immutable input identity/body；Linux private-COW还共享sealed image/page lineage，portable private-copy则为每个Guest重新prepare。Invocation、workspace、mutation和terminal state逐member私有，需要capability的member再使用自己的Plan/Broker。

它把旧的research fanout probe收敛成显式opt-in Runtime API，但不包含scheduler、retry、winner selection、workspace merge或性能claim。

B7. Source-bound pass architecture

既有semantic pre-dispatch与prepared pure-region现在有pass registration/stage；pure AST rewrite通过compile-time static plugin和authority-free exact-Guest source patch成为可执行pass。Pipeline提供统一identity/bounds/terminal outcome合同；semantic projection adapter已有单测，但当前没有production caller。它不接管各机制的authority/lifecycle owner。

当前两个runnable scalar pass证明extensibility/correctness，matched timing均为负；它们不是论文性能贡献，也不代表generic optimizer。

C. 既有substrate，不单列为新贡献

private-COW：降低fresh consumer的内存启动成本，提供mutation isolation；不是prepared-data authority创新。
prepared runtime slot：一次性复用初始化实例或baseline；不是continuation或pool。
whole-Run memoization与single-flight：通用优化组件；不能替代effect authority。
NumPy typed result reuse：机制成立，但固定经济矩阵没有break-even，不应包装成性能贡献。
pure_scalar_cse与pure_scalar_fold：窄pass kernel与架构验证；当前fixture更慢，不单列性能贡献。
deterministic campaign/evidence tooling：使claim可复核，是研究基础设施而非论文主创新。

D. 明确不主张

Pysolate在所有workload上都不慢于EAGER；
任意Python effect都可安全提前执行；
generic cache、generic Host→Guest object ABI或zero-copy；
persistent interpreter在性能或语义上始终劣于fresh execution；
private-COW跨平台或等于完整CPython snapshot；
benchmark fixture代表生产agent workload；
receipt等于外部世界事实或完整rollback。
dynamic optimizer plugins、automatic pass composition或完整paper optimizer已经实现。