Pysolate 本科生版解释任务清单
状态:旧基线的 23 个解释点已经完成;当前
94fab78c更新新增 4 个解释点,并重审受影响旧篇。本文保留分波记录、维护规则和全局完成门。
执行规则
- 修改单篇前先读
guide/WRITING-CONTRACT.md、目标解释及其链接的既有说明文档。 - 在冻结的
agent-python-runtimetarget 上核对高价值源码 owner;若 target 或 explained baseline 漂移,先更新基线说明。 - 保留每篇的核心问题、真实机制、源码导航与限制,不把解释层写成新的 claim authority。
- 每篇单独做 claim/owner/链接检查;维护时不要顺手扩大其他篇的表述。
- 若重新执行整套工作,同一 wave 内可并行,跨 wave 按理解依赖推进。
Wave 1:共同心智模型(顺序执行)
-
01-orientation/00-why-pysolate-exists.md:Pysolate 为什么存在 -
01-orientation/01-host-guest-run.md:Host、Guest 与 Run -
01-orientation/02-one-run-lifecycle.md:一次 Run 从请求到清理
Wave 2:权限主线(可分成两个并行小组)
-
02-authority/03-authority-lifecycle.md:权限为什么有生命周期 -
02-authority/04-spec-grant-plan-presentation.md:Spec、Grant、Plan 与 Presentation -
02-authority/05-broker-approval-dispatch.md:Broker、Approval 与唯一 dispatch -
02-authority/06-receipt-effect-truth-ambiguity.md:Receipt、effect truth 与 ambiguity
Wave 3:状态与安全优化(两个模块可并行)
-
03-fresh-state/07-fresh-guest.md:Fresh Guest 的真实含义 -
03-fresh-state/08-workspace-roots-attempts.md:Workspace Root、Branch 与私有 Attempt -
03-fresh-state/09-wait-suspend-resume.md:等待、暂停与恢复不是同一种机制 -
04-safe-optimization/10-candidate-qualified-physical-logical.md:Candidate、Qualified、Physical 与 Logical -
04-safe-optimization/11-streaming-source-binding.md:流式 source 与最终代码身份 -
04-safe-optimization/12-semantic-predispatch.md:Semantic pre-dispatch -
04-safe-optimization/13-prepared-data.md:Prepared data 与一次性 object claim -
04-safe-optimization/14-reuse-taxonomy.md:Reuse 不是一个通用 Cache -
04-safe-optimization/15-prepared-runtime-private-cow.md:Prepared runtime 与 private-COW
Wave 4:Backend 与 placement(顺序执行)
-
05-backends-placement/16-wasm-and-native.md:WASM 与 native 两条执行 lane -
05-backends-placement/17-artifacts-profiles-placement.md:Artifact、Profile 与 Placement -
05-backends-placement/18-typed-non-replay-promotion.md:Typed non-replay promotion
Wave 5:证据、限制与价值(完成前回看全部主线)
-
06-evidence-and-value/19-eager-comparison-and-economics.md:与 EAGER 比较及优化经济性 -
06-evidence-and-value/20-evidence-and-reproducibility.md:如何阅读 Pysolate 的证据 -
06-evidence-and-value/21-limitations-and-nonclaims.md:当前限制与不应声称的能力 -
06-evidence-and-value/22-business-value-and-users.md:业务价值与适用场景
Wave 6:Prepared Family(顺序执行)
-
07-prepared-families/23-prepared-family-shared-state.md:Prepared Family 到底共享什么 -
07-prepared-families/24-prepared-family-member-lifecycle.md:为什么每个 Family Member 仍是独立 Run
Wave 7:Source-bound Pass 重构(顺序执行)
-
08-source-bound-passes/25-source-bound-pass-architecture.md:为什么纯 AST 优化现在真的是 Pass -
08-source-bound-passes/26-source-pass-plugins-and-paper-kernels.md:Source Pass 插件怎样改代码又不偷 Authority
全局完成门
- 27 个解释点均不再包含“状态:待撰写”。
- 快速主线包含 source-bound pass 所需的 semantic pre-dispatch 前置,并可独立读通。
- 所有相对 Markdown 链接有效。
- 每篇保留真实源码 owner,且没有把 research seam 写成默认 production path。
- EAGER、prepared-data、private-COW、native fallback 和 benchmark 表述通过 non-claim 检查。
- 根 README 的 runtime target 与实际复核 target 一致。
- Prepared Family 的 shared physical state 与 per-member authority/lifecycle 已分开解释。
- 既有 semantic/prepared机制与 pure AST plugin 的 pass registration、stage、outcome 和真实 owner 没有混写。