PysolateExplained
打开文档导航
研究资料查看 Markdown 源文件

Current Runtime 94fab78 更新证据

范围

本文只记录 agent-python-runtime 从 guide 旧基线 b6458b41f0fa32085fdd4cad0a528d98602569d2 到 current target 94fab78cb3f44d14f86d293287269b704b11d383 的两条新增机制证据：Prepared Family 与 source-bound pass architecture。旧 benchmark 仍留在 benchmark-catalog.md，不能因为 current HEAD 前进而改写 producer。

Current target tree：a4291f77e59d680f5ef1bd21e39b323afd5c5ecf。

Prepared Family

Current mechanism

源码与 tests 支持：

  • bounded PreparedNumpyInput validation/copy/profile binding；
  • portable private-copy 与 Linux private-COW 两种 family physical disposition；
  • fresh single-use member、per-member Invocation/workspace，以及 capability member 私有的 Plan/Broker；
  • max-consumer/max-active、success/error/timeout/cancel/closed-unrun terminal lifecycle；
  • body-free member record 与 post-close acceptance report；
  • subagent runner factory 的 fail-closed authority tuple；
  • binary NumPy preparation ABI，不把 body 放进 source、RunRequest 或 Broker JSON。

Runtime owner 文档 docs/prepared-family-v1.md 声明 deterministic local 与 exact Linux artifact-backed acceptance passed；当前 tree 没有 checked-in 完整 Host-test report 可独立复核该次运行。docs/examples/prepared-family-acceptance-v1.json 只是 deterministic fixture declaration，覆盖：

  • 3 个 array shapes/dtypes；
  • 3 类 program oracle；
  • fanout 0/1/2/4；
  • ok/guest_error/timeout/cancelled terminal cases；
  • correctness、fresh state、private mutation/workspace 与 authority separation。

该 fixture 明确不 claim performance、natural workload、agent quality 或 economic benefit。仓库没有把完整 Host-test output 作为公开 benchmark report，因此这里的 strongest claim 是 Current contract + bounded acceptance，不是可独立重算的 performance evidence。

可重跑层级

A 级（current source/tests）：

go test ./runtime/engine/wazero ./runtime/subagent -count=1
python3 scripts/verify-workstation-host-test.py --help

B 级（需要 exact numpy-core Guest/Linux workstation）：

AGENT_RUNTIME_GUEST=<numpy-core.wasm> \
  go test ./runtime/engine/wazero -run 'TestPrepared(Family|Numpy)' -count=1

scripts/test-host-workstation.sh \
  --suite prepared-family \
  --output <private-output>

B 级结果需要 source commit/tree、artifact/profile、RESULT.READY 与 complete SHA256SUMS；skipped real-Guest test 不算通过。

Source-bound pass architecture

Current mechanism

源码与 tests 支持：

  • existing semantic/prepared-region mechanisms 有 immutable pass registration 与 typed stage；
  • passpipeline 提供统一 body-free terminal outcome、limits 与 deterministic order；semantic projection adapter 有 unit tests，但当前没有 production caller；
  • compile-time static plugin 可在不修改 central built-in switch 时注册；
  • generic whole-program patch 在 authority-free exact Guest 中生成；
  • final fresh Guest 收到 unchanged original request，并重新推导/选择 patch；
  • disabled/not-applicable/transform-error 只在 Agent execution 前走 original source；
  • derived execution 开始后没有 replay fallback。

pure_scalar_cse evidence

Canonical file：runtime docs/evidence/source-pass-plugin-v1.json。

  • Guest artifact source：b2b3b1c2bfd848a9d0dbe1de1be1a720cbac3cca；artifact SHA sha256:c1112c078a5aa1ab10440196e6fc24ee3e06c3d0f8d9a129dc082a60f5ea0320；
  • Harness source：278086787d968c20dba7683caf54554c4aefcb58；
  • Positive control：1 replacement，baseline/treatment 都为 [52, 52]；
  • Call/self-reference/unknown-call/compiled-code/integer-identity controls 全部 not-applicable 并执行 unchanged source；
  • 3-pair timing：baseline median 2,428,868,958 ns，treatment median 2,783,839,291 ns，慢 14.61%。

pure_scalar_fold evidence

Canonical file：runtime docs/evidence/pure-scalar-fold-paper-pass-v1.json。

  • 同一 exact Guest artifact与 harness family；
  • Positive control：1 replacement，baseline/derived 都为 52；
  • Unknown-call、compiled-code、integer-identity controls not-applicable；
  • 两次 3-pair synthetic run 都是负结果；retained run baseline median 2,385,342,083 ns，treatment 2,492,427,458 ns，慢 4.49%。

这些 JSON 在 current tree 中 checked-in，并分别绑定真正的 artifact/harness producer；current target 只持有和验证它们，不能冒充这些 timings 的 producer。

可重跑层级

A 级（current contract/unit）：

go test ./runtime/passregistration ./runtime/passpipeline ./runtime/passplugin \
  ./runtime/sourcepatch ./runtime/semantic -count=1
PYTHONPATH=guest/bootstrap python3 -m unittest guest.tests.test_source_pass

B 级（需要 exact Guest artifact）：

AGENT_RUNTIME_GUEST=<base.wasm> \
  go test ./integration/e2e -run 'TestRealGuest.*Pass' -count=1 -v

C 级（canonical evidence recompute）：可从 checked-in timing rows 重算 median/ratio；这不等于重新执行 Guest。

不支持的推论

  • Prepared Family 或 source pass 已成为默认 production path；
  • Family fan-out 已有性能或经济收益；
  • 两个 scalar pass 加速当前 synthetic fixture；
  • Dynamic plugin loader、automatic pass ordering、generic IR、fixed-point 或 cost model 已实现；
  • stratum、LLMCompiler、APPL、tool fusion、batching 或 parallel-call 系统已被吸收；
  • pure source-patch seam 可以承载 capability/workspace/multi-program effect semantics。