打开文档导航

限制与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 numpycodec ndarray,并创建有限single-use member;它不schedule、retry、select、publish或merge workspace。
  • Family的portable private_copy和Linux private_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、Wazero RunStream与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-770numpy-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优化。”