Pysolate benchmark 与 evidence catalog（单文档审查）

0. 审查范围、冻结对象与判定词

• 审查对象：/Users/yuzhe/projects/agent-python-runtime 的精确 commit b94c989785632d98634cdd5c2a6d4a1de6cc13ac，tree 6b8bb6a8d8274b8329a2aba444d13eac9fac19e9。
• 提交状态：git verify-commit 为有效 ED25519 签名；审查前工作树无 dirty/untracked 输出。
• 方法：先读取 WORKER_BRIEF.md，再用该 commit 的隔离 archive 做只读盘点。没有重跑 campaign、CI、provider 或外部数据收集；没有改实现仓库、commit 或 push。
• 本 catalog 的 target-bound 定义：只有 producer/harness/checker/artifact manifest 明确绑定上述 commit/tree，才可称为 target-bound。证据文件虽然被 checked-in 到目标 commit，并不等于其数字由目标 commit 产生。
• 状态词：Current 表示目标树中的合同/实现/证据索引仍在；Observed 表示 canonical artifact 记录了观察；Historical 表示 producer 或运行 artifact 来自目标之前的 commit；Framing 表示结构性或设计性边界；Deferred 表示被 gate 拒绝或尚未运行；Unsupported 表示不能由该证据推出。
• replayable 词义：canonical-recompute 只表示可从 checked-in canonical JSON 重算摘要；raw-replay 需要原始样本、artifact、harness 和运行环境，不能因有 SHA 字符串就宣称可重放。

论文主张应保持的连接

Pysolate 允许 Host 对显式授权、identity-bound、可丢弃的物理工作做提前 dispatch；未改变的 Guest dynamic occurrence 仍是唯一可以 claim logical effect 的位置；无效或未到达的工作被拒绝或 orphan，而不会继承后续 authority。

因此，本文将 analysis/candidate、物理 preparation、typed receipt、logical claim、fresh Guest、workspace state、native backend 和 projected schedule 分开记账；不把 component benchmark 当成生产延迟，不把 authored fixture 当成 natural uplift，不把旧 producer 当成当前 target certification。

1. 总览：paper claim 聚类而非逐 JSON 清单

2. 公共 authority/fresh-execution spine

2.1 问题、调用路径与边界

研究问题：当多个逻辑请求具有相同的 sealed qualification 时，能否在 fresh Run、private workspace attempt 和当前 authority 不混淆的前提下减少物理执行，并把取消、过期、widening、预算超限和 parent terminal 记录为拒绝/取消而不是成功？

目标树中的实现锚点：

• research/workflowbench/campaign.go：CanonicalTransparentCampaign、CampaignManifest.Validate、CanonicalCampaignPlans；
• research/workflowbench/campaign_execution.go：CampaignRequest（刻意不含 program ID/family/Expected）、RunTransparentCampaign、CampaignRuntime.Physical、ValidateCampaignEvidence；
• research/workflowbench/campaign_runtime_adapter.go：CampaignAdapter 与 typed execution kind 的 adapter 边界；
• runtime/capability、runtime/workflow、runtime/workspace：Host-owned Plan/Broker、fresh Run/resume、workspace root 和 terminal disposition；
• integration/e2e/campaign_guest_test.go：real-Guest wiring；research/workflowbench/evidence_layers.go:EvidenceSuite.Validate：证据层合同。

路径为：固定 manifest/Plan → adapter 收到不含 paper case label 的 CampaignRequest → Runtime admission/physical slot → Host-owned capability/child Plan → fresh Guest/Run 与私有 workspace attempt → Broker/typed consumer → result/terminal event → evidence recorder。共享只发生在 exact identity；近似 source/input/privacy/root 变化必须在 physical execution 前拒绝。

边界：Host owns Plan、grant、handler、workspace root identity、physical execution ID 和 disposition；Guest owns unchanged Python occurrence、logical call/result；shared 只有 sealed contract/receipt；private 是每个 Run 的 workspace、staged result、body-safe evidence。fixture contract (P01–P20) 不是 Runtime API，也不是 virtual Git 或生产 scheduler。

2.2 Evidence row

2.3 不变量、失败语义与 trade-off

• 不变量是“物理一次”与“逻辑一次”分离，而非物理一次自动等于逻辑成功；issues=starts=finishes=logical_claims=1 才是成功等价形状。
• P05/P06 exact identity 可共享；source/input/privacy/root 任一字段 near-match 必须拒绝。P16/P18/P19/P20 等 authority expiry、widening、budget、parent terminal 是负控，不应从总成功数中删除。
• 选择 fresh Guest/private workspace 是显式牺牲；它避免 persistent interpreter、跨 privacy 和 retained authority，代价是 provisioning/teardown。论文只能写 opportunity-level result，不能写 dominance theorem。
• phase5r 的 no Broker/no workspace 是 authority-free mechanism 约束，不是“可直接执行任意 agent source”。

defense-ready：我们证明的是“可重建、可拒绝、可归因的 authority/fresh execution contract”，而不是把 fixture 中的少数 sharing 关系包装成自然吞吐率。

3. Streaming overlap：authored mechanism 与 natural census 分开

3.1 Authored source-prefix overlap

研究问题：exact Guest、reach-gated 的 source-prefix execution，能否让一个早期 Host-mediated read 与剩余 Python source production 重叠，同时保持 result、dispatch count、Plan identity、workspace state 不变？它不是 dynamic DAG，不是并行 Python statements。

源路径与 lifecycle：research/workflowbench/source_prefix_overlap.go 的 SourcePrefixSchedule.Validate、ExecuteSourcePrefixPairs、ValidateSourcePrefixEvidence、ProduceTimedSource；source_prefix_overlap_test.go 的 contract/negative tests。流程为固定 contract/lane config/oracle → baseline generate_then_execute 或 streaming stream_while_generating → unchanged Guest reaches ordinary Broker → result/oracle/workspace hashes → paired evidence。

3.2 Natural structural opportunity census

docs/research/source-prefix-opportunity-census-v1.md 与 docs/evidence/source-prefix-opportunity-census-v1.json 的 NATURAL_STRUCTURAL_OPPORTUNITY_CENSUS_NOT_PERFORMANCE_EVIDENCE 是 zero-provider structural census，不是 overlap timing。

• producer/harness/artifact：Guest source 501daef99796c1af7cd7bab1e0ab712a199820b9、artifact sha256:a443042fb080d22f8e352aca0d0c8a5c87a7801e8afcc603e174d75fbe11c69b、census harness 61112106e20959e5894414ca991f8bac2699dd92；parent remediation sha256:5f504a138084f933ba0fd4f3bec7aede7076924ec3c2a5cfb8f05db3dd9a513f；public identity sha256:13120c7ec8565fe7599c0c3f362a0ae90deeb67cafdd986dafa4a8cac70d714a。
• denominator/platform：冻结 remediation-v2 READ cohort 36 events、30 unique source bodies；每个 source 为 48–57 bytes 的 body-free digest projection；exact CPython/WASI Guest analyzer。
• 结果：structurally_eligible=0、structurally_ineligible=36、timing_not_recorded=36；每个 READ 都在唯一/最后 candidate region，trailing regions 0。这些 counts 可从 canonical JSON 重算；没有 provider/chunk timing/raw body，不能重算 latency。
• 支持 claim：该 frozen cohort 没有 preregistered source-prefix overlap admission opportunity。禁止推论：不是 prevalence outside cohort，不 refute authored result，不支持 natural speedup/provider timing。
• 状态：Framing + Observed no-go；producer Historical；target-bound 否；structural canonical-recompute 是；raw-replay 否。主文只建议放一行 boundary/no-go，详细计数放 appendix。

paper placement：authored interval trace 可放主文 mechanism figure；natural census 只放主文 caveat 或 appendix gate，严禁把 projected/natural census 与 observed authored timings pooled。

4. Semantic pre-dispatch：窄 consumer、formal timing、derived-AST no-go

4.1 Current G1/v0 consumer

研究问题：能否从 exact Guest source occurrence 生成一个 sealed QualifiedCall，在 physical read 开始前 consume Host PreDispatchBudget，并在 unchanged Python ordinary Broker boundary 原子 claim 同一个 streaming.StagedObservation，而不 duplicate live request？

目标树锚点：runtime/semantic/streaming_predispatch.go 的 CanPreissue、PreDispatchBudget、ExecuteSemanticPreDispatch；runtime/capability/streaming_predispatch_test.go 的 Broker revalidation；runtime/semantic/streaming_predispatch_test.go 的 lifecycle/terminal cases；integration/e2e/semantic_predispatch_test.go（real CPython/WASI exact Guest）。语义包不创建 implicit goroutine；Host launcher 负责 capacity，child physical context 负责 cancel/wait；late/unclaimed result 必须 orphan/discard。

4.2 Formal Phase 4 matched campaign（历史 timing，非 target certification）

docs/evidence/semantic-speculation-phase4-campaign-evidence-v1.json：campaign source 66caa186dcf37e3432813adf46b0cf6d642d912d；artifact sha256:8780338cf3b4330371b13f06a2846006077c3ff99ee89d7fb618ea19e252d242；aggregate validator commit 8f5398d5f2083005181a6c685a926cb0087a1d97；campaign log/stdout/raw-record digests 分别为 sha256:52507229d9af457fe51f78aa29e0429811b765c7bef1a5bda3ef6a3b5a5252bd、sha256:2eff2acbc68c67f34374c14dbd49bdfd88f81a5758494c037b2b158d655581b7、sha256:b12994b6ee8257e0f9c9d4a0acdab0de793c322a6ba6029710903452e4d8550e。平台为 Linux/amd64（gpu31，private COW），360/360 records、120 matched cells、每 coordinate 5 ready trials，6 个 passing coordinates（3 cold + 3 preprovisioned）。

• canonical aggregate 中可直接复核的 savings：cold 445,820,706、432,933,163、460,582,130 ns；preprovisioned 2,435,380,583、2,468,139,393、2,471,417,846 ns。
• validator 语义：research/semanticspeculation/phase4_aggregate.go:AggregatePhase4Campaign 和 scripts/review-semantic-speculation-campaign.py 系列检查 complete matrix、outcome parity、mechanism/economics gate。报告支持 fixed named synthetic regime 的机制/经济结果，不支持 natural prevalence、production speedup、universal Python equivalence。
• raw 限制：目标 tree 只有 canonical report 和 raw digest，没有 360 条原始 trial JSONL；因此可核对 aggregate schema/数量，不能从 target tree 独立重算每个 median 或重放 Guest。
• 状态：Observed Historical；target-bound 否；canonical aggregate structural check 是；raw-replay 否。

4.3 Phase 5 derived-AST no-go

docs/evidence/semantic-speculation-phase5-mechanism-gate-evidence-v1.json 的 parent gate 保留 11 case 的 pass/fail 及 phase5_gate_passed=false；scripts/review-semantic-speculation-phase5-mechanism-gate.py 明确要求 failed case、timing_campaign_started=false、timing_samples_observed=0。Phase5r remediation 的 11/11 是 bounded mechanism controls，不是 economics promotion：economics_campaign_started=false、economics_records_observed=0；cost evidence 仅 4 个诊断 records（macOS/Linux × original/derived），且 fresh Guest provisioning dominates，不能把 critical_wall 误写成 observed user latency。

failure semantics：invalid suffix、pre-region exception、pre-cancelled 只允许 claims=0, consumed=0, discarded=1；after-region exception 可保留 parity claim；wrong capsule/selection identity 必须 reject without consumption。trade-off：分析/compile/scratch/final separation 换取 authority-free 和可审计性，牺牲 provisioning time；因此 no-go 保留 original execution，不扩展 transport/authority。

paper placement：G1/v0 exact live-only shape和一个小型 real-Guest result可进入主文；Phase4 full matrix、Phase5 no-go、cost profile放 appendix；绝不把 Phase5r 4 cost rows 写成 benchmark speedup。

5. Workspace / reuse / COW：机制成立不等于经济成立

5.1 NumPy result reuse Phase 7

调用/数据路径：numpy-core producer 在 verified Wazero Guest 中按 numpy-producer-admission 生成 bounded C-contiguous ndarray → Host owns immutable blob/descriptor → 每个 consumer 在 fresh Guest private materialization → lease consumed/cleanup。相关 source：research/numpyreuse/campaign.go 的 campaign/cell aggregation 与 reuse lifecycle；scripts/review-numpy-result-reuse-phase7.py 的 summary/checksum validator；scripts/review-numpy-producer-admission-phase6.py 的 body-safe lineage/adversarial checks；runtime/engine/wazero/cow_memory_linux.go、cow_runtime_linux.go 的 Linux COW substrate。

5.2 Workspace wording 与 COW failure boundary

• workspace_fixture_sha256 只标识 initial fixture declaration，不是 Git commit、merge/rebase 或 semantic workspace equivalence。实际 immutable Pysolate workspace root 必须由 Manager 单独记录。
• Linux COW 是 physical execution substrate；macOS probe 明确 memory_cow_candidate=false、fallback true，不能把 Darwin 与 Linux 结果合并为同一 backend。
• consumer_mutation_is_private=true、lease consumed、store retained bytes 归零是 lifecycle invariants；它们不证明跨 Run durable cache、pointer/heap transfer 或外部 effect rollback。
• 独立复核不应把 reuse penalty 与 producer/consumer compute 分段相加；Phase 7 的 raw JSONL 才是完整 sample identity，当前 tree 只有 body-safe summary。

paper placement：exact reuse/COW identity和全负 economics 放 appendix 或 mechanism/limitations box；主文只保留“安全 reuse 可实现但不在该 sparse matrix 中经济成立”的一句话。

6. Prepared data：Host physical preparation 与 Guest logical claim 的 join

6.1 Contract 与 end-to-end path

研究问题：在 final source 尚未释放时，Host 能否依据显式 numpy.load contract 做 bounded physical read/decode/seal，而不让 candidate syntax mint authority；之后只有 unchanged Guest exact occurrence 才能 claim 同一 staged object？

目标树锚点：

• docs/research/authority-preserving-prepared-data-contract-v1.md：contract、P1–P6 gates、promotion boundary；
• runtime/prepareddataset/prepareddataset_test.go：prepared contract/receipt/object lifecycle；
• runtime/capability 与 runtime/streaming：Host receipt、private staged observation、exact claim；
• integration/e2e/prepared_region_helper_test.go、runtime/engine/wazero/prepared_region_scratch.go：fresh Guest/claim/cleanup controls；
• research/prepareddatasetcampaign/campaign.go：Build、recordsFor、aggregate、overlap；
• docs/evidence/prepared-data-phase3-v2.json：positive object-bound join + Linux negative control；
• docs/evidence/prepared-data-phase7-closeout-v1.json：promotion verdict 与历史 evidence inventory。

路径为：numpy.load exact source occurrence → Host contract/Plan (sources.read, immutable workspace root, profile numpy-core, plan_epoch) → physical read receipt/file SHA/source verification → bounded .npy typed decode → Run-private seal → unchanged Guest checks exact final source/occurrence → exact object claim/one logical result → consume or orphan/dispose。Receipt、typed metadata 和 claim identity 是不同层，不能互相替代。

6.2 Evidence row

6.3 明确的 projected-vs-observed 判定

research/prepareddatasetcampaign/campaign.go 的 recordsFor 直接以 overlap(read+decode,gap)、overlap(cow.DatasetPrepareNanos,gap) 等公式构造 CriticalPathNanos；overlap 仅做 prep-gap 的 schedule projection。它没有 per-run read-start/read-end/decode/seal/claim event interval。故：

• phase6 的 54 aggregates 是 projected schedule / canonical derived output；
• phase3-v2 的单次 positive probe虽然记录了 read_started_nanos/read_completed_nanos/decode_completed_nanos/final_source_released_nanos，可支持该 probe 的 causal order，但不能替代 phase6 的 162-record observed campaign；
• 没有 raw report 时，任何从 median_critical_path_nanos 反推 interval overlap 的句子都应删掉。

6.4 Prepared-data invariants 与 rejected alternatives

• syntax fact 不能 mint Host contract；contract 必须绑定 source span、canonical args、host Plan、profile/import closure、freshness、budget、privacy 和 file/body identity。
• staged object 的 ID 不是任意 non-empty token；Guest claim 必须消费同一 body/file/source/contract-bound object。phase3-v2 新增的 branch-not-taken/earlier-exception negative control 正是防止 scalar token tautology。
• body-free evidence 只证明 typed receipt/claim join，不证明 external-world truth；Host owns immutable body，Guest 只看到 typed metadata/result。
• 不采用 generic allocator、public fanout、single-flight、durable cross-run cache、pickle、pointer/FD transfer；private-COW 是 substrate，不是 prepared-data novelty 本身。

paper placement：contract、positive/negative claim lifecycle 可进主文；phase6 schedule projection、phase7 closeout blockers、raw missing 说明放 appendix/limitations；不要把 phase6 数字写成 observed interval trace。

7. Native/backend boundary

7.1 numpy-core static-native profile

问题：能否把一个 source-locked、profile-owned 的 NumPy subset 作为 bounded native backend qualification，而不把 native imports 误写成通用 purity/DBI 或 arbitrary Python support？

• source/artifact：docs/evidence/numpy-core-phase2-mechanism-evidence-v1.json 绑定 source commit 47070b1e2ae09e6292f2a5ce0dd9f8c4ee9f6a6c、tree 7fa3d93dbae011207a82f4998925d23033aed8c9；artifact 1b759febddb9dd0d65760c74b21b07c4f04fa992ce761639fbb9baef155926aa、manifest eea4e8ead6be395c02612f3dc803ab61a0b409caf78189c1bbf4596cc4f2d055；builder gpu31，WASM/WASI，CPython 3.14.0/WASI SDK 33。
• harness/checker：scripts/review-numpy-core-phase2.py 验证 RESULT.READY、SHA256SUMS、manifest/inventory/qualification/build cache、profile identity 和 negative controls；它需要外部 artifact_root，target tree 没有 artifact bundle。
• 样本/数字：native modules 19、support archives 2；fresh process runs 2，results equal，capability calls [0,0]；NumPy 1.26.0b1 C-contiguous oracle qualified；filesystem write 返回 FileNotFoundError 且 no result/host file；base profile substitution 在 Guest 前拒绝。
• boundary：no preopened Host FS、workspace、Broker、runtime package install、dynamic native loading；actual enforcement 是 WASM/WASI capability absence + explicit Host-call + source/import admission + fresh Guest。instruction_level_dbi_claimed=false。
• 状态：Current bounded profile / Historical artifact；target-bound 否；canonical structural-recompute 是；raw/artifact replay 否。支持 profile-bound qualification，不支持 generic NumPy、native correctness outside profile、DBI 或 arbitrary Python。

7.2 Native sandbox lifecycle 与 natural placement control

• 目标 source：runtime/engine/native/backend.go 的 Backend.ExecuteWithEvidence、validateConfig、imageIdentityBound、Evidence.Lifecycle；rootfs.go:VerifyOCIImageConfig/RootFSIdentity；backend_evidence_test.go 的 image identity、fresh physical identifier、resource projection。它绑定 image config/artifact/decision identity，限制 memory/pids/output，执行后要求 delete reconciliation、cgroup/root unmount、scratch/workspace lease release。
• docs/evidence/natural-placement-open-swe-v1.json：Open-SWE revision ad4805a5aa7de70d99cab0bb8f99b15304c76de0，source digest sha256:4b91b39f54849bac8323a468b67fbed6065535dba004731c99ea21cb6345de1e，one frozen Python trajectory (95 messages, record SHA sha256:607d9fb4f9ebfe90ba654f85a5d012ba1ef3f845cf2d12ed53c022686d795a4d)；required features shell/subprocess，selected backend native_sandbox，native_backend_calls=1、Pysolate guest 0、effects/workspace started before placement false，promotion false。
• 该 control 只支持“one frozen trajectory conservatively placed before Guest start”；禁止 coding success、native backend correctness、model success、general placement optimality。它是 Observed/Framing，dataset producer historical，target-bound 否，target-tree raw body 无，只能做 body-safe structural check。

trade-off：native sandbox 提供 shell/subprocess 等 Pysolate Guest 不具备的 feature，但要求更强的 image/rootfs/resource lifecycle evidence；不能把“选择 native”说成自动透明 fallback，也不能把 numpy-core static native profile 与 native sandbox 当同一 backend。

8. Natural cohort、证据缺口与 no-go

8.1 Natural corpus importer / probe

问题：公共 agent dataset 是否能在不收集私有 corpus、不调用 LLM labeler 的情况下提供可审计的 real Python slice？

路径：scripts/natural-corpus.py 的 bounded AST/import screening、manifest identity recomputation、opportunity census；scripts/tests/test_natural_corpus.py、integration/e2e/natural_placement_canary_test.go；body-safe manifest 只保留 dataset/source-record/action/trajectory digest、bytes、oracle/privacy/authority/backend class。

8.2 tau2 remediation 与 source-bound evidence gap

docs/evidence/tau2-t2-remediation-v1.json（parent prereg sha256:64a66141c1a3382743e7867c087c6062d2222165698c1f616471eb272cddf082；treatment prereg sha256:0185482fae6882056630bc375a9878ef5e4882a30577b85c91b57b5044e6af4c；source tau2 revision c3398666e6559e3a063da3fc04b5acf7f941464e；checker scripts/tau2-t2-remediation-report.py、scripts/tau2-t2-oracle.py）：

• 16/16 planned/recorded cells completed，post_hoc_dropped=0；15 reconstructed，1 duplicate receipt identity partially reconstructed；source_joins=35、unique receipt-bound physical calls 35、known provider calls 241、unknown provider cells 0；private bodies excluded。
• 支持：remediation treatment 的 source/receipt/oracle join 结果，以及 duplicate identity 被 downgrade；禁止 leaderboard、matched-surface performance、model WRITE ability、production external effects。
• parent tau2-t2-cohort-v1.json 则是 32 cells，23 completed/1 not_recorded/8 unscorable，shared raw path collisions 12；它明确说明只能把 reconstructed rows 当 source-bound treatment evidence，不能把 collided rows 当 causal evidence。
• tau2-t2-runtime-replay-pilot-v1.json 只有一个 validation anchor，classification HARNESS_VALIDATION_ONLY_NOT_PERFORMANCE_EVIDENCE；不得升级成 runtime replay campaign。

8.3 Effect-aware census 与 natural source-prefix no-go 的共同教训

docs/evidence/effect-aware-opportunity-census.json / docs/research/effect-aware-opportunity-census.md 是 19 个 checked-in program 的 structural/overlay census：10 opaque/unknown、9 no-barrier、2 whole-Run reusable、16 WASM placement、3 native placement、11 structural exact pre-dispatch annotations 只收窄为 4 exact calls、其中 1 necessarily reached；CanPreissue legal 1、rejected 3。它证明的是 fail-closed narrowing，不是 population claim。

与 source-prefix natural census 的 36/36 final-or-only region、timing_not_recorded=36 一样，这些 no-go 都保留 denominator 和 absent timing，而不是补 synthetic samples。zero-provider/zero-raw/body-free 是 evidence limitation 的一部分，不是 performance zero。

paper placement：natural corpus denominator、opportunity gate、tau2 duplicate/source-join gap、semantic/source-prefix no-go 放 appendix 与 limitations；主文只保留“当前 natural evidence 不足以授权 sharing/overlap pass”的一句边界。

9. 验证结果、不可重算项与论文证据优先级

9.1 已做的只读验证

在 target archive/clean target worktree 上完成：

1. git cat-file -t、git rev-parse：commit/tree 精确匹配；git verify-commit 通过。
2. git show --stat：b94 只修改 docs/evidence/prepared-data-phase3-v2.json 与 prepared-data plan；没有 runtime/benchmark source 改动可让旧数字自动升级为 target benchmark。
3. Python JSON decode：target docs/evidence/*.json 全部可解析；按 schema/字段读取关键 catalog files。
4. 独立 canonical recompute：
   • semantic pre-dispatch 两份 5+5 rows：3214550/2196151/1018399 µs 与 3149103/2132259/1016844 µs；
   • source-prefix 两份 3+3 rows：v1 2950.046792/1533.922917 ms，day-trip 2942.787333/1537.471584 ms；
   • authority-transparent 5+5 runs：19/17 physical median、每对 reduction 2、wall median 25728.820333/22004.745333 ms；
   • NumPy reuse Phase 7 40 economics rows：四个 platform/profile median ratio 与 best ratio、40/40 negative break-even；
   • prepared Phase 6：6×3×3=54 coordinate、162 record count；仅验证结构/count，不把 aggregate median 重算成 observed trace。
5. 未执行任何 campaign、provider、CI、full benchmark 或 external dataset replay。

9.2 目标 tree 中不能独立重算/重放的项目

以下项目只在 canonical JSON 中保留 digest、summary 或 derived aggregate；raw body/JSONL、Guest artifact、private workspace 或运行环境不在目标 tree，因此要明确写“不可独立重算/重放”：

• prepared-data Phase 4–6 的 raw report/JSONL 与 phase6 per-event interval；phase6 median critical path 只能视为 projected schedule。
• semantic Phase 4 的 360 原始 trial records、Phase 5r external private artifact/cost raw；只能校验 canonical gate/count，不能重建 raw median 或 Guest execution。
• NumPy reuse Phase 7 的 macOS/Linux JSONL；canonical economics rows 可重算 ratio/negative break-even，但不能 raw-replay consumer lifecycle。
• numpy-core Phase 2 的 RESULT.READY、manifest、WASM artifact 和 import inventory/qualification bundle；脚本 validator 需要外部 artifact root。
• natural CodeAct/Open-SWE/tau2 原始 bodies、conversation/tool output、provider traces、workspace roots；body-safe digest/receipt rows不等于可 replay。
• authority-transparent walkthrough 的完整 Guest/Host raw process trace；10 summary runs 和 148 canonical events可做有限 recompute，不可重放 arbitrary case。

9.3 主文/appendix 建议与优先证据清单

主文优先（最多三条核心链）：

1. prepared-data-phase3-v2 positive + branch/exception negative：一张 authority/data/claim lifecycle 图，明确 Host physical 与 Guest logical join；同时标注 producer historical、非 target certification。
2. source-prefix-overlap-v1 authored 3-pair observed intervals：展示 one early read + source tail 的 overlap；旁边放 natural census 0/36 作为不外推的 boundary。
3. semantic-predispatch G1/v0 exact live-only shape：展示 unchanged Python boundary、single claim、no duplicate physical call；把 timing 作为 bounded fixture，不写成 production latency。

Appendix 必须保留：

• authority-transparent 20-program matrix、P01–P20 rejection/control table；
• NumPy reuse Phase 7 全 40 economic rows、四 platform/profile aggregates、0/40 break-even、raw JSONL digests；
• prepared Phase 6 54 projected coordinates 与 overlap(prep,gap) 公式，明确“非 observed interval”；
• semantic Phase 4 120-cell/360-record aggregate、Phase 5 parent no-go、Phase5r 11-case mechanism pass + zero economics records；
• native profile 19 modules/2 archives/2 fresh runs 和 native sandbox lifecycle invariants；
• natural 147-item manifest、8/8 smoke、137/400 opportunity census、tau2 16-cell remediation 与 duplicate/raw-path gap；
• 所有 source commit/tree/artifact/harness/checker/raw digest 与 target-bound 结论。

最优先补强的未来证据（不是本次执行）：

1. 用 b94/6b 构建并 hash-bind target-owned Guest artifact、harness、checker、manifest，再做一次 preregistered complete campaign；旧 producer 不得替代。
2. prepared-data 要记录 per-run read start/end → decode → source finalization → seal → exact claim → retire observed intervals，并把 raw rows 与 artifact 一起 append-only 保存。
3. semantic pre-dispatch 只在 G1 exact live-only subset 上扩展独立 matched campaign；derived-AST 需新的 preregistration，不能从 Phase5r mechanism pass 直接晋级。
4. natural cohort 先找有 trailing source regions、实际 overlap 和 Host-owned equivalence 的新冻结 corpus；zero-opportunity cohort 不应被 trace replay 强行补成 timing study。
5. native/backend 若要主张通用性，必须新增明确 ABI/profile/negative corpus；numpy-core 与 native_sandbox 不可合并成 generic native claim。

10. 防御式一句话结论

在精确 target b94c989… / 6b8bb6… 中，Pysolate 的 authority/fresh-Guest、exact object claim、窄 semantic pre-dispatch、source-prefix authored overlap、typed NumPy/native boundary 和 natural no-go 都有可追溯的 checked-in contract/evidence surface；但 benchmark 数字的 producer 全部是历史 commit，prepared Phase 6 是 projected schedule 而非 observed interval trace，多个 raw sample/artifact 只以 digest 或 private path 存在。因此本 target 可以作为evidence catalog 与 claim-boundary review，不能作为旧 benchmark producer 的 target certification、自然 workload performance 证明或通用 Python/native 优化定理。