限制与non-claims
这些限制不是失败清单,而是当前实现与论文claim的边界。
平台与backend
- private-COW依赖Linux memfd、seal和
MAP_PRIVATE;非Linux没有同等实现保证。 - runsc/native OCI真实部署、kernel/cgroup/mount行为没有在当前综合审查中重新运行。
- WASM与native backend共享authority原则,但不是byte-level相同的response/evidence实现。
- backend fallback只允许已证明
not_started的attempt,不能把ambiguous执行自动重放。
Python与Guest状态
- 不支持任意Python frame、heap、module graph或WASI资源checkpoint/restore。
- fresh execution强调不继承hidden state,不等于启动成本为零。
- fixed fixtures和测试程序不能推出arbitrary Python workload兼容性。
- CPython/WASI preparation仍可能接触ambient clock/random;不能称全面authority-free或deterministic snapshot。
Prepared data
- object-bound claim当前只在固定
numpy_npy_c_v1研究lane端到端成立。 - 数据通过Host-authored Guest bridge进入NumPy,不是generic materialization ABI。
- 不是zero-copy object transport;private-COW只在线性memory page层共享未修改页面。
- private-COW是既有substrate,不是prepared-data authority语义本身。
- 没有通用cache eviction、TTL、distributed dedup或arbitrary object schema。
- Prepared Family v1只接受bounded
numpycodecndarray,并创建有限single-use member;它不schedule、retry、select、publish或merge workspace。 - Family的portable
private_copy和Linuxprivate_cow共享contract,但不共享相同copy/page行为,也没有性能等价结论。
Source-bound passes
passpipeline统一registration、stage和body-free outcome,不执行transform、Agent Python或post-effect fallback。- 现有semantic/prepared机制通过static adapter保留原owner;semantic projection adapter有单测但无production caller,prepared/scalar也没有自动落账。统一shell不表示统一执行lifecycle。
- Static plugin registry不是dynamic loader;没有automatic ordering、conflict resolution、fixed-point、generic IR或cost model。
- 当前两个runnable AST pass只覆盖closed bool/int64 scalar程序;matched synthetic timing分别慢14.61%和4.49%。
- Parallel tool calls、batch fusion、projection、prepared literal hoisting与multi-program factoring仍Deferred,因为pure source patch不拥有其effect/workspace/materialization语义。
Semantic pre-dispatch与streaming
- AST candidate只是Guest evidence,不能产生authority。
- source-prefix lane只对已到达、exact-analyzed且满足Host policy的candidate做pre-dispatch。
- final-source SHA promotion依赖append-only source lineage;不会为此再解析一次final AST。
SourceStream、WazeroRunStream与semantic prefix pre-dispatch是相邻seam,不能仅凭命名视为一条统一production path。- 多个同capability、同arguments occurrence按verified source order消费;当前不是通用动态trace correlator。
Workspace与continuation
- workspace branch/attempt通过完整物理copy获得简单隔离,不是filesystem COW。
Attempt.Publish是caller disposition,不等于immutable Root或自动merge。- workflow resume使用显式State与fresh Guest;approval/cold continuation保留同一受约束call,二者不能混称checkpoint。
- hot approval和cold continuation不提供crash-safe、跨进程或无限期恢复。
Evidence与性能
- P6是component timing加projected schedule,不是observed interval trace。
- source-prefix authored overlap不能推出自然LLM workload或production延迟收益。
- 历史benchmark producer、artifact与当前审查target必须分别记录。
- 某些raw samples或平台artifact只保留digest/private archive;这降低公开独立重放强度。
- 当前没有universal superiority over EAGER、所有workload non-worse或cross-platform speedup结论。
Productization
attrs-770和numpy-core尚未成为默认多shard automatic placement路径。- whole-Run stores不具备统一TTL/Close policy;retention依赖owner lifecycle、capacity或显式eviction。
- 没有generic optimizer、automatic pass/overlap planner、distributed scheduler或production provenance系统。
- 当前机制优先可证伪与claim清晰,不追求覆盖所有对象、backend和workload。
不应在论文中出现的强表述
- “Pysolate总是比EAGER快。”
- “private-COW实现了完整Python snapshot。”
- “prepared data是通用zero-copy ABI。”
- “receipt证明远端副作用一定发生或一定没发生。”
- “P6测得了真实端到端critical-path overlap。”
- “当前fixture证明任意Python程序受支持。”
- “所有backend具有相同runtime和evidence语义。”
- “source pass重构已经实现完整论文optimizer、动态插件或通用effect-aware优化。”