edit | blame | history | raw

CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V025

  • plan_id: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V025
  • role_instance_id: dev.developer.ana.cai
  • created_at: 2026-07-26T22:16:00+08:00
  • predecessor: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V024 / 24809/74d6effed42c21a1945979b0850fe0e323709741e02e64b6db4f7ada8d205fbf
  • predecessor_review: AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-PYTHON-STAGE-P-REPAIR-PLAN-V024=HOLD/2/2 / 242477/07fb3540ca9135d6b2d2f239962f46578f4b2fdc85c89709dc5bf792e4c16db2 / line 1870
  • status: PENDING_INDEPENDENT_TWO_STAGE_PYTHON_SOURCE_FREEZE_PLAN_REVIEW
  • source_materialization_authorization: NOT_ISSUED
  • candidate_execution_authorization: NOT_ISSUED
  • database_execution_authorization: NOT_ISSUED

V025 不继续扩大首次写入前的自制 AST sandbox。它把原单次“写源码并立即执行”拆成两个独立授权链：

  1. Stage S / source freeze：只 CreateNew 物化 Y01-Y04，不启动任何候选代码或外部进程；
  2. Stage V / validation execution：仅在 Y01-Y04 exact bytes/hash 获得 dev.reviewer.ana.cai 独立实现审核 PASS 后，另立 append-only 执行计划与 management 授权，bootstrap 只接受审核通过的四个 exact hashes。

该拆分不改变 V020 consumer wire、Y05-Y08、native C00-C40 或数据库边界；它只把不可信源码从“同一授权内边写边执行”改为“先冻结、再独立审、最后按 hash 执行”。

1. V024 两项 blocker 的结构性关闭

1.1 BLOCK-V024-01：移除首次写入链中的可执行 AST allowlist

Stage S 不启动 Python、PowerShell、node、csc 或任何候选进程；因此未审核源码不存在 receiver alias、native symbol alias 或 compliant false-positive 的运行机会。V024 bootstrap/AST gate 在 Stage S 全部 NOT_APPLICABLE_NOT_EXECUTED，不得作为 source freeze 放行依据，也不得启动。

Stage V 的唯一源码放行条件改为：

  • Y01-Y04 均是 Stage S immutable source package；
  • exact dev review=PASS/0/0；
  • Stage V 新计划逐字绑定四文件 path/bytes/SHA-256、review audit bytes/hash 与 review turn；
  • Stage V bootstrap 内 hardcode 四个 expected SHA-256/bytes，bundle 无权提供或覆盖 expected 值；
  • child start 前 parent 与 child 分别独立只读复开并匹配同一四组值；任何 drift 在 import/runpy/exec 前 STOP；
  • Stage V 不再通过末端 method 名推断安全，不接受未审核同 hash 外的任何 source。

Y04→Y01/Y02 的 receiver/module identity、API 名、调用次数与参数边界由实际 Y04/Y01/Y02 源码进入 implementation review；Stage V 计划把通过审核的 exact source hash 和审核结论作为不可变执行前驱。禁止在 Stage V 授权时改源码或仅靠 AST allowlist 推定等价。

1.2 BLOCK-V024-02：目录/native writer 转为真实源码审核门

Stage S 不创建 future run root、test/receipt/manifest 或 Y05-Y08，不调用 CreateDirectoryW/CreateFileW/WriteFile/ReadFile/FlushFileBuffers/CloseHandle/GetFileInformationByHandleEx/GetFileType。因此 V024-02 对 Stage S 为 NOT_APPLICABLE_NO_NATIVE_CALL。

Y01/Y04 实际源码必须在 Stage S 中实现并在 implementation review 中逐字核验以下 Stage V 必需合同；未通过则不允许编制/授权 Stage V：

  • ctypes/ctypes.wintypes 唯一 import 形式与 receiver identity；
  • CreateDirectoryW/CreateFileW/WriteFile/ReadFile/FlushFileBuffers/CloseHandle/GetFileInformationByHandleEx/GetFileType exact argtypes/restype；
  • ROOT→run→test→receipt→manifest 唯一 CreateDirectoryW 顺序；
  • immediate last-error、invalid handle、partial hierarchy、ERROR_ALREADY_EXISTS、parent/target reparse、file-vs-directory、close/reopen/hash uncertainty；
  • source writer与result writer的唯一 owner、call count、CreateNew/no-overwrite；
  • failure 对 V020 C00-C40/Y01-Y08 materialization/exit 的唯一映射。

Stage V append-only 计划须从审核通过的 source 逐行提取这些 signatures/call graph 和固定 hashes；不得让 management 临时补合同。若真实源码不满足，则返回新修复计划，不进入执行授权。

2. Stage S exact scope

2.1 唯一目标

Stage S 只允许以下四个 absent 文件；不创建 run root或其他 evidence file：

id absolute path role encoding
Y01 E:\mb-ms-doc\project-info\dev\ana-dev\ana_semi_preconsumption_v002.py Python implementation UTF-8 no BOM/CR/NUL，final LF exactly one
Y02 E:\mb-ms-doc\project-info\dev\ana-dev\test\test_ana_semi_preconsumption_v002.py static/contract test source UTF-8 no BOM/CR/NUL，final LF exactly one
Y03 E:\mb-ms-doc\project-info\dev\ana-dev\test\ana_semi_preconsumption_vectors_v002.json V020 exact vectors UTF-8 strict JCS，no BOM/CR/NUL/trailing LF
Y04 E:\mb-ms-doc\project-info\dev\ana-dev\test\run_ana_semi_preconsumption_validation_v002.py single-process validation entry UTF-8 no BOM/CR/NUL，final LF exactly one

target count=4；formal target=0。Y03 bytes必须精确为 V023/V024 已通过的 4016/86f563b43d934cb0828e395f557ded328ad2abcfb2c1ef7bdbc8a4c32c12cbca，不得重生成 schema或新增 case。

2.2 物化机制与 no-overwrite

Stage S 由 dev.developer.ana.cai 在独立 management authorization 下使用 Codex apply_patch 的 Add File 语义创建 Y01→Y02→Y03→Y04；每次 Add File 前后均以 exact absolute path 校验 absent→ordinary non-link file。任何 pre-existence、patch conflict、path escape、reparse、encoding drift 或 postwrite hash read failure立即 STOP；不得 delete、overwrite、truncate、rename、repair、backfill、retry或写第五个文件。

授权消费点=首次成功创建 Y01。失败时已物化子集永久不可变；未运行 downstream。Stage S 不使用 shell重定向、Python writer、PowerShell writer、temporary file或run root。

2.3 pre-first-write gate

首次 Y01 Add File 前必须只读核验：

  • exact role/thread/host/cwd与全新 authorization/attempt/window；
  • V025 plan/audit snapshot；
  • Y01-Y04 absent；future run absent；旧 P01-P04 hashes匹配且旧 P05-P08 absent；
  • exact bundled Python、csc、mysql、mysql_config_editor相关授权进程均未由本链启动；
  • no database/network/credential/formal/BATCH-001 action。

任何 mismatch/read failure/uncertainty在零目标状态 terminal STOP；禁止修正后重跑同一授权。

3. Stage S 源码内容边界

Y01/Y02/Y04 是待审核实现，但必须在物化时同时满足以下静态边界；这是代码审核入口，不是执行许可：

  • Python 3.12 标准库 only；禁止 subprocess/socket/urllib/http/requests/pymysql/mysql/sqlalchemy、动态 import、eval/exec/compile、os.system/os.spawn*、网络与凭据访问；
  • 不含 password/token/cookie/login-path content；不连接 database；不调用 mysql/config-editor；
  • 不发送 native/MB-X/route/inbox/session消息；terminal由parent Codex exact thread完成；
  • Y01只实现 V020 四 API、single-invocation owner、DateTimeOffset等价UTC tick、exact process provider与native writer primitives；
  • Y02包含 V020 4 success API、8 negative、4 provider precedence、7 time、15 selector、8 preflight及 V024 要求的 receiver/native/目录正负向静态 vectors；
  • Y04只编排已审核 Y01/Y02、生成 V020 Y05/Y06/Y07/Y08和C00-C40 closure；不执行 Y03以外输入、不运行 Y03/Y04外child；
  • 源码中所有 Win32 binding、module loader、API调用、目录/文件 owner和STOP mapping必须可由 reviewer逐行定位，无运行时生成源码或隐藏base64代码。

Stage S 完成 terminal 只报告四文件 materialized/bytes/hash、零进程/数据库/网络/凭据和 reviewer handoff；不得声称 implementation PASS。

4. Stage S 独立实现审核与 Stage V 门

Stage S 后只允许 exact dev.reviewer.ana.cai：

  1. 锁定 Y01-Y04 bytes/hash与 ordinary-file identity；
  2. 静态读取/解析，不 import、不 runpy、不执行 candidate；
  3. 审核 V020 wire producer、receiver-aware call graph、loader identity、Win32 prototypes、目录顺序、writer lifecycle、STOP/state mapping、no-secret/no-network/no-database；
  4. 复算 Y03 strict JCS与既有 hash；
  5. 输出 PASS/HOLD 与 immutable audit snapshot。

只有 PASS/0/0 才可 append-only 编制 Stage V execution plan。Stage V 计划必须使用全新 run/auth/attempt，有独立 review 和 management authorization；它可创建 Y05-Y08/run，但不得再改 Y01-Y04。Stage V implementation review PASS 后，才允许请求 root identity/grant database preflight authorization。

5. 零状态与禁止项

  • Y01-Y08=ABSENT_8_OF_8；future run absent。
  • implementation/database authorization=NOT_ISSUED/NOT_ISSUED。
  • 当前未执行 Python/PowerShell/csc/node/mysql/config-editor/SQL/database/network/credential。
  • 禁止基于 V025 直接执行候选代码、创建 Y05-Y08/run、连接数据库、R3、formal target、BATCH-001、配置/binding/session/role/permission/Git mutation。
  • V025 PASS 只允许向 management 申请 single-use Stage S Y01-Y04 source-freeze authorization；不允许申请 Stage V或数据库授权。