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

最小可信复现地图

范围与冻结点

  • 证据面：evidence/benchmark-catalog.md 与仓库根目录 claims/*.md；代码面：agent-python-runtime 的 checked-in docs/scripts/Go tests。
  • 代码 target：commit b6458b41f0fa32085fdd4cad0a528d98602569d2，tree 5e8154fc26527181c66e612584d79dd4e620649d；target worktree 当时 clean。
  • catalog 自己描述的是旧 target b94c9897/旧 tree；因此旧 benchmark 的 producer、Guest、harness 不能被当前 target 自动认证。
  • target tree 没有 checked-in Makefile；下文不引入任何 make 命令，只使用 README、docs、scripts 与 Go 入口。
  • 命令中的 <...> 是公开方案中的待冻结输入名，不是本机私有路径；artifact、raw JSONL、workspace 和输出应由复现者自行提供到受保护目录。
  • 本次只读盘点未运行任何 campaign、provider、full benchmark、CI 或外部数据 replay。

四级定义

  • A 当前 tree 可直接重跑：不需要历史 Guest 或 private raw；只重跑当前 contract、unit、结构检查或已提交 gate。
  • B 需要固定 Guest/artifact/toolchain：入口在当前 tree，但结论依赖 hash-bound Guest、sidecar、平台、WASI/CPython 或冻结实验输入。
  • C historical artifact/raw record 可重算但 producer 不在 target：可从外部保存的 artifact/raw 或 checked-in canonical rows 重算校验/聚合；不能把当前 producer 当历史 producer。
  • D projected/model-only：只有公式、模型或由 component 字段推导的 schedule；不构成 observed interval trace。

A：当前 tree 可直接重跑

A1 focused 当前实现门

  • 命令/入口：scripts/track-f-gate.sh focused。
  • 输入：当前 Go tree、checked-in fixtures、semantic/workflowbench contracts。
  • 输出：focused Go package test 的 pass/fail。
  • 能证明：当前 semantic、semanticreuse、agentfunction、effectgraph、placement/region census、workflowbench、labview 的测试契约仍通过。
  • 不能证明：真实 Guest、历史 artifact 身份、provider latency、campaign economics 或生产 workload uplift。

A2 semantic 与 prepared-data 合同

  • 命令/入口：go test ./runtime/semantic ./runtime/prepareddataset ./research/prepareddataset -count=1。
  • 输入：当前 runtime 包、Go synthetic cases、identity/negative-control fixtures。
  • 输出：测试通过或具体不变量失败。
  • 能证明：exact occurrence、append-only final binding、single-use claim、drift/orphan/fail-closed 等当前代码不变量。
  • 不能证明：任何历史 E2E 数字、Guest artifact 可执行性、外部世界 rollback 或 arbitrary Python effect。

A3 研究合同与聚合器的当前实现

  • 命令/入口：go test ./research/semanticspeculation ./research/numpyreuse ./research/prepareddatasetcampaign ./research/workflowbench/... -count=1。
  • 输入：checked-in matrix/preregistration 类型、canonical codec、synthetic records。
  • 输出：合同、编解码、聚合和篡改拒绝测试结果。
  • 能证明：schedule identity、严格字段、record aggregation 与失败关闭逻辑可由当前 tree 重跑。
  • 不能证明：这些 synthetic tests 曾经启动过历史 Guest，或历史 raw rows 的 producer provenance。

A4 checked-in semantic gate validator

  • 命令/入口：python3 scripts/review-semantic-speculation-campaign.py；python3 scripts/review-semantic-speculation-phase5-mechanism-gate.py；python3 scripts/review-semantic-speculation-phase5r-closure.py。
  • 输入：target tree 内的 phase5/phase5r JSON evidence、matrix、preregistration 与 lineage digest。
  • 输出：JSON/PASS；尤其是 parent no-go、failed case、timing_samples_observed=0 与 phase5r closure 状态。
  • 能证明：已提交 body-free gate/count/lineage 没有结构漂移，且 no-go 没被改写成 timing promotion。
  • 不能证明：重新执行过 11-case Guest、重新生成过 raw trace，或产生了正向 latency。

A5 NumPy adversarial contract 检查

  • 命令/入口：python3 scripts/review-numpy-result-reuse-controls.py。
  • 输入：checked-in controls、admission evidence、固定源码 digest；脚本内部调用当前 runtime tests 与两个 body-safe validators。
  • 输出：PASS numpy reuse adversarial controls 或失败位置。
  • 能证明：object/non-contiguous/Fortran/random/time/file/profile/source/input 等拒绝与私有 mutation 控制的当前契约。
  • 不能证明：Phase 7 的 240 条历史运行、consumer lifecycle raw trace、跨平台性能或通用 NumPy ABI。

B：需要固定 Guest/artifact/toolchain

B1 构建新的 Guest bundle

  • 命令/入口：guest/build/build-guest.sh。
  • 输入：锁定的 CPython/WASI/package profile、构建工具链与网络/缓存环境。
  • 输出：dist/agent-python-runtime.wasm 及 manifest.json、inventory、qualification、checksums sidecars。
  • 能证明：在同一锁定 toolchain 下可生成并验证一个新的 target-owned artifact。
  • 不能证明：它等于 catalog 中历史 artifact，或历史 benchmark 的 source/harness/raw provenance。

B2 当前 target 的 real-Guest E2E

  • 命令/入口：AGENT_RUNTIME_GUEST=<guest.wasm> go test ./integration/e2e -count=1 -v。
  • 输入：当前 b645 tree、与 sidecar 相邻且 hash-bound 的 Guest、可用 Go/WASI toolchain。
  • 输出：integration/e2e pass/fail；覆盖 README 所列 execution、workspace、admission、receipt。
  • 能证明：当前代码与这个固定 Guest 的 bounded real-Guest 语义/生命周期行为。
  • 不能证明：历史 campaign 的 timing、natural prevalence、EAGER universal dominance 或 arbitrary Python correctness。

B3 authored source-prefix overlap producer

  • 命令/入口：go run ./research/workflowbench/cmd/source-prefix-overlap -artifact <guest.wasm> -contract <contract.json> -oracle <oracle.json> -lane-config <lane.json> -output <new-evidence.json>。
  • 输入：固定 Guest（含相邻 manifest）、frozen contract/oracle/lane config、clean exact harness revision。
  • 输出：新的 private evidence JSON 与 baseline/streaming medians、pair count、identity digest。
  • 能证明：在完全匹配的 authored 3-pair fixture 中可产生并验证 observed interval rows。
  • 不能证明：natural/provider/production speedup、动态 DAG、speculative write safety，或旧 evidence 的 target certification。

B4 semantic Phase 4 campaign producer

  • 命令/入口：go run ./research/semanticspeculation/cmd/semantic-phase4-campaign -artifact <guest.wasm> -manifest <manifest.json> -matrix <matrix.json> -output-root <raw-root> -workspace-root <workspace-root>。
  • 输入：固定 Guest/manifest、冻结 Phase 4 matrix、全新私有 raw/output 与 disposable workspace；Linux COW 还需 -cow 和对应环境。
  • 输出：按 coordinate 写出的 raw trial JSON 与 aggregate-ready count。
  • 能证明：当前 producer 在固定输入下能产生一次新的 bounded synthetic campaign。
  • 不能证明：catalog 中旧 campaign 的 360 records/medians，因为旧 producer、artifact、harness 不在 b645 target。

B5 prepared-data exact Guest slice

  • 命令/入口：AGENT_RUNTIME_GUEST=<guest.wasm> go test ./integration/e2e -run 'Test(ExactGuestPreparedRegion|RealGuestPreparedRuntime)' -count=1 -v。
  • 输入：固定 Guest、manifest/profile qualification、当前 prepared-region code 与 fixed .npy fixture。
  • 输出：prepared-region claim/selection/negative-control E2E pass/fail。
  • 能证明：固定 Guest 上 Host receipt、typed object、exact claim、fresh execution 与 discard/consumption boundary。
  • 不能证明：phase3/phase6 历史 raw report、generic numpy.load、zero-copy、外部世界 truth 或 phase6 的任何观测时序。

C：历史 artifact/raw 可重算，producer 不在 target

C1 source-prefix 历史 canonical rows

  • 命令/入口：go test ./research/workflowbench/cmd/source-prefix-overlap -run 'TestCheckedIn' -count=1。
  • 输入：checked-in source-prefix evidence/report/preregistration rows 与当前 validator tests。
  • 输出：canonical identity、pair binding、report consistency 的测试结果。
  • 能证明：已提交 rows 的 median/count/hash 关系可结构重算；catalog 的 authored result 仍有 bounded canonical surface。
  • 不能证明：原始 process log、Guest binary、历史 harness 可从当前 target 重放，也不能扩大到 natural workload。

C2 semantic Phase 4 历史 raw aggregate

  • 命令/入口：go run ./research/semanticspeculation/cmd/semantic-phase4-aggregate -raw-root <historical-raw-root> -output <new-report.json>。
  • 输入：历史 360 条 schema-valid raw trial JSON、对应 matrix/identity；raw 不在 target tree。
  • 输出：新的 aggregate report 与 mechanism/economics flags。
  • 能证明：给定同一 raw records 时，当前聚合器能重算 count、median、matched cells 与 gate。
  • 不能证明：raw records 当年由当前 b645 producer 生成，或当前 tree 能重放历史 Guest。

C3 NumPy reuse Phase 7 report

  • 命令/入口：go run ./cmd/numpy-reuse-report -darwin <darwin.jsonl> -linux <linux.jsonl> -controls <controls.json> -output <new-report.json>。
  • 输入：历史两平台 JSONL、checked/frozen adversarial controls、manifest-compatible identity。
  • 输出：sealed body-free report、economics rows 与 report identity。
  • 能证明：已保存 raw JSONL 的 result parity、ratio、break-even 与 controls 可重新聚合；固定矩阵的 40/40 negative 结论可核算。
  • 不能证明：重新运行 producer/consumer Guest、memory/COW lifecycle、未保存的 raw rows，或 reuse 永远不经济。

C4 numpy-core 历史 artifact verifier

  • 命令/入口：python3 scripts/review-numpy-core-phase2.py --artifact-root <frozen-bundle-root>。
  • 输入：历史 bundle 的 RESULT.READY、dist、WASM、manifest、inventory、qualification、cache 与 SHA256SUMS。
  • 输出：PASS JSON（artifact hash、19 native modules、2 support archives、2 fresh runs 等）。
  • 能证明：外部 bundle 与 checked-in mechanism evidence 的 checksum/profile/qualification lineage 一致。
  • 不能证明：当前 tree 重建了该 bundle、generic NumPy/native correctness、DBI、或没有 bundle 时可独立运行。

C5 natural source-prefix census

  • 命令/入口：go test ./research/workflowbench/cmd/source-prefix-census -run 'TestCheckedInCensusEvidenceAndReportAreBound' -count=1。
  • 输入：checked-in census JSON、denominator/count projection 与当前 binding test；原始 bodies/corpus/artifact 不在 target。
  • 输出：census evidence/report binding 的 pass/fail。
  • 能证明：36 events、0 eligible、36 ineligible、timing_not_recorded=36 这类 canonical structural counts 可核对。
  • 不能证明：provider timing、latency、natural speedup、cohort 外 prevalence，或 authored overlap result 被 refute。

C6 authority-transparent 历史 evidence API

  • 命令/入口与输入：workflowbench.ValidateCampaignEvidence；最短合同检查为 go test ./research/workflowbench -count=1，输入是历史 manifest/evidence（完整历史结果仍需外部 bundle）。
  • 输出与边界：validation pass/error；能重算 logical/physical identity、FIFO/lifecycle、terminal disposition，不能重算历史 19/17 median、完整 Host/Guest raw trace 或任意 real-Guest case。

D：projected/model-only

D1 prepared-data Phase 6 schedule projection

  • 命令/入口：research/prepareddatasetcampaign.recordsFor、aggregate；当前 synthetic 入口为 go test ./research/prepareddatasetcampaign -count=1。
  • 输入：fanout/eager component timing、consumer count、lead gap 与固定 manifest；公式使用 overlap(prep, gap)。
  • 输出：54 aggregate coordinates / 162 derived records 的 critical_path_nanos 等 projected fields。
  • 能证明：固定输入下的 schedule arithmetic、count、parity/cleanup framing 与 model comparison。
  • 不能证明：任何 per-run read-start/end、decode/seal/claim interval、用户 critical path、formal break-even 或 observed overlap。
  • 硬边界：P6 只能写 projected schedule/canonical derived output，禁止称为观测时序；没有 raw interval 就不得反推 trace。

D2 EAGER 对比与收益不等式

  • 命令/入口：claims/eager-comparison.md 的模型边界；没有对应 observed producer command。
  • 输入：抽象的 preparation lead、staging/join、fresh-start、materialization 与 orphan cost。
  • 输出：定性不等式：overlappable preparation 必须超过新增成本才可能获益。
  • 能证明：不能从当前证据推出 Pysolate 对所有 workload 的 wall-clock dominance。
  • 不能证明：任何具体平台的 latency、生产吞吐、自然 workload uplift 或 persistent interpreter 的普遍劣势。

结论

最可信的当前复现止于 A；带固定 Guest/artifact/toolchain 才进入 B；历史数字最多进入 C 的 canonical/raw recompute，不能伪装成 b645 producer 结果；P6 与 EAGER schedule 只能留在 D。