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

• plan_id: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V021
• role_instance_id: dev.developer.ana.cai
• created_at: 2026-07-26T18:10:04.9230408+08:00
• predecessor_plan: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V020 / 11173/235aaa1ef3ead63f0b729239de95e89ab54cffe0f2b80a4a7eac2e563120fc93
• predecessor_review: AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-PRECONSUMPTION-REPAIR-PLAN-V020=PASS/0/0 / 202509/0c81bf1711d4bab2859f7c225d3f9d7fc3992dab143810fd1183663990b0e769 / line 1673
• triggering_failure: AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-STAGE-P-IMPLEMENTATION-FAILURE-001=PASS_FAILURE_PATH/1/1 / 208353/9c58e80fa237993c5f3194c09458cc529f3e57bbd7f18ea7ebdc2393dc7533dd / line 1704
• triggering_blocker: BLOCK-STAGE-P-IMPLEMENTATION-FAILURE-01_P01_WINDOWS_POWERSHELL_GENERIC_METHOD_SYNTAX_INVALID
• status: PENDING_INDEPENDENT_PYTHON_ARCHITECTURE_REPAIR_PLAN_REVIEW
• implementation_authorization: NOT_ISSUED
• database_execution_authorization: NOT_ISSUED

本版是全新、append-only 的实现架构修复计划。旧 Stage P A001 已永久关闭；旧 P01-P04 是不可变失败历史，旧 P05-P08 与旧 run 继续 absent。本版不修改、删除、重命名、复用或补造任何旧目标。

1. 决策与目标

1.1 架构决策

Stage P 从 C#/.NET Framework + Windows PowerShell 5.1 切换为受管 CPython 3.12 单进程实现。该切换只 supersede Stage P 的实现语言、运行时、API 表达与目标路径；V007/V020 已审核通过的业务边界继续有效：

• 授权窗口仍为带时区的半开区间 [authorized_at, expires_at)；
• 第一次 preconsumption 异常立即 fail-closed，不允许修正后重跑；
• process selector 必须 exact、non-self-match、confirmed-zero 与 unknown 分账；
• source/result 使用 CreateNew/no-overwrite，原生字节与 hash 可复验；
• native-only exact-thread terminal delivery，不使用 legacy MB-X route/inbox/session fallback；
• network、credential、mysql、SQL、database、synthetic、R3、formal target 和 BATCH-001 均不在本计划执行范围内。

1.2 为什么切换 Python

旧实现失败点是 Windows PowerShell 5.1 无法解析 [Linq.Enumerable]::SequenceEqual[byte](...)。Python 直接使用 bytes == bytes，不存在 PowerShell 泛型静态方法语法差异；ast.parse、json.loads、json.dumps、hashlib.sha256、os.open(..., O_CREAT|O_EXCL) 和 datetime 均为标准库，不需要网络安装第三方依赖。

本计划不把“换语言”解释为放宽合同。相反，解析、JCS、字节、路径、进程与终态验证都前移到第一次持久化之前。

2. 运行时与依赖边界

2.1 逻辑运行时

代码和正式文档只绑定逻辑运行时 BUNDLED_WORKSPACE_PYTHON_3_12。管理授权前动态解析其绝对路径，并绑定同一次授权的 path/bytes/SHA-256/version。当前只读观察值为：

该绝对路径是当前环境证据，不写入未来源代码。路径、bytes、hash 或 version 漂移时只能 HOLD/STOP，并重新走计划/授权判断。

2.2 依赖

本阶段只允许 Python 标准库。当前只读检查显示 pymysql=false、mysql.connector=false、sqlalchemy=false。本计划不安装包、不访问网络、不引入 vendor wheel。

后续数据库身份/授权预检不得把聊天中的密码传入 Python argv、stdin、环境、文件或日志。数据库连接仍应由 Python 编排器启动冻结的 mysql.exe --login-path=ana_semi_admin_preflight，由 .mylogin.cnf 提供不可见认证；是否允许该子进程和两条 SQL，必须在 Stage P 实现审核 PASS 后另立执行授权。

3. 全新目标宇宙

future run：RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PYTHON-STAGE-P-20260726-001

target count=8，source/test=4，temporary result=4，formal target=0。当前 Y01-Y08 与 future run 必须全部 absent。任何 pre-existence、reparse point、path escape、case-fold collision 或 parent mismatch 都是 preconsumption STOP。

旧 P01-P04 的 bytes/hash 必须继续精确为：

• P01=18621/561d0a7d6ebb8769a459c2ec36e0c767330a29dc9117bea26acc0eb359af174b
• P02=2824/85b561e449b7e385a44de7f66e609172c8e28869cde6f5e107701ff706a49a53
• P03=4038/6b404e64d902ced1398664b2df50cb2f021512c6587b6bd5e513790db03377e1
• P04=14811/e462986be23bababbdea99e2efa31f14c00ec09f2600cf5cfff568a409d30ae9

旧 P05-P08 必须保持 absent；不得用旧失败包作为 Python 实现输入。

4. 单进程实现模型

4.1 进程上限

Stage P implementation authorization 只允许一个 Python 进程：

BUNDLED_WORKSPACE_PYTHON_3_12 -I -B -c <reviewed_bootstrap>

• python_process_count=exactly 1；
• powershell/csc/node/synthetic/proof/mysql_config_editor/mysql/query/database=0/0/0/0/0/0/0/false；
• timeout=120000ms，kill-wait=10000ms；
• stdout/stderr 分离为内存原生字节，不经过文本 pipeline，不创建额外文件；
• process start 消耗未来单次授权；启动失败同样消费，不得 retry。

reviewed_bootstrap 的完整 UTF-8 bytes/hash、-c token、argv token count/preimage/hash 与 Win32 CommandLine bytes/hash，必须在下一次实现授权申请中作为动态固定向量提供。未冻结或复算不一致时不得启动。

4.2 内存 source bundle

唯一 Python 进程从 stdin 接收非秘密 ANA-SEMI-PYTHON-SOURCE-BUNDLE-JCS-V001。bundle 只含 Y01-Y04 的：artifact_id,relative_path,media_type,content_base64,bytes,sha256，按 Y01-Y04 排序。stdin 不得含数据库密码、token、cookie、credential 或 option-file 内容。

在任何文件打开之前，bootstrap 必须：

1. 严格 UTF-8 解码 bundle，拒绝 BOM/CR/NUL/trailing LF；
2. 验证 ordinal key/order、target allowlist、Base64 roundtrip、bytes/SHA-256；
3. 对 Y01/Y02/Y04 全量执行 ast.parse，三者 error count 必须均为 0；
4. 对 Y03 执行 json.loads，再以 UTF-8、sort_keys=True,separators=(',',':'),ensure_ascii=False,allow_nan=False 重新序列化，必须 byte-identical；
5. 扫描所有 Python AST，禁止 subprocess、socket、urllib、http、requests、数据库 connector、eval、exec、动态 import 和 shell invocation；仅 bootstrap 自身允许一次受审的 compile/exec 加载 Y04；
6. 计算四个 source hashes 并与 bundle 固定值相等。

任一失败必须在 Y01-Y08 materialized_count=0 时 terminal STOP。不得修正 bundle 后再次启动。

4.3 写入与调用顺序

内存 gate PASS 后，严格执行：

Y01 CreateNew → reopen/hash → Y02 CreateNew → reopen/hash → Y03 CreateNew → reopen/hash/canonical → Y04 CreateNew → reopen/hash/AST → import Y01/Y02/Y04 from exact reviewed paths → run static tests → Y05 → run contract tests → Y06 → freeze Y01-Y06 → Y07 → Y08 → external Y08 hash

所有写入使用 os.open(path, os.O_WRONLY|os.O_CREAT|os.O_EXCL, 0o600) 或等价 Windows exclusive-create；写完 flush+os.fsync+close，只读独占复开并复算 bytes/hash。不得 predelete、truncate、rename-over、rewrite、repair、backfill。

Y04 只提供固定 main(project_root, run_id, output_root) -> int；同一进程内只能调用一次。second call 由原子 owner state 直接返回 STOP_REENTRANT_CALL，provider call count=0，不能再次读取 clock/process/filesystem。

5. Python 合同映射

5.1 时间

• 输入时间必须为 RFC3339/ISO-8601 且含显式 offset；
• 使用 datetime.fromisoformat 后强制 tzinfo is not None；
• 比较前统一 astimezone(timezone.utc)；
• inside = authorized_at_utc <= now_utc < expires_at_utc；
• malformed、naive datetime、end<=start、clock provider exception 或二次调用均为唯一 STOP，不得纠正后重算。

5.2 字节相等

Python 权威实现为内建 bytes 严格相等：actual_bytes == expected_bytes。旧 PowerShell 语法字符串 [Linq.Enumerable]::SequenceEqual[byte]( 必须作为负向 sentinel 出现在 Y03；Y01/Y02/Y04 的 UTF-8 源码中该字符串出现次数必须为 0。

5.3 process selector

Python 实现只读取一次管理授权指定的、只读 process snapshot provider。selector 先按 PID 去重和 source PID 排除，再按 ordinal/case-sensitive executable path、argv token vector、cwd 与 run id 分类。访问拒绝、字段 null、重复 PID、snapshot drift 或相关进程 liveness 不确定时记录 unknown 并 STOP；不得用 substring、自身当前命令行或宽松名称匹配证明 zero。

本阶段不启动、终止或修改任何被观察进程。future management authorization 必须冻结 snapshot provider、字段 schema、exact selector vectors 和 no-self-match 规则。

5.4 结果 schema

Y03/Y05/Y06 延续 V020 的语义组，但采用语言无关 JSON 类型：string|integer|boolean|null|array[integer]|array[string]，不再把 PowerShell CLR FullName 当作权威业务字段。为保持可审计性，结果同时记录 python_type_name，固定 enum 为 str|int|bool|NoneType|list[int]|list[str]。

Y03 至少覆盖：

• authorization window 4 个边界向量；
• malformed/naive/end-before-start/provider exception/second-call；
• selector success、15 个 selector 边界、provider precedence；
• bytes equality PASS 与旧 PowerShell generic syntax negative regression；
• JSON BOM/CR/NUL/trailing-LF/order/hash mutation；
• source bundle AST error、dynamic import、subprocess/network/database import 禁止向量；
• Y05/Y06/Y07/Y08 各 success/failure/attempted-no-output/invalid/unknown closure。

Y05/Y06 为 canonical JSON、UTF-8、无 BOM/CR/NUL/trailing LF。Y07 UTF-8、无 BOM/CR/NUL、恰好一个 final LF。Y08 为 RFC4180 CRLF、含 final CRLF、固定八行 Y01-Y08；Y08 自身 row 的 bytes/hash 为空，external Y08 bytes/hash 只进入 native terminal 与独立审核。

6. 状态、失败闭包与 DAG

artifact row 状态 enum：

NOT_RUN_UPSTREAM_STOP|ATTEMPTED_NO_OUTPUT|MATERIALIZED_INVALID_KNOWN|MATERIALIZED_VALID|STATE_UNCERTAIN

终态优先级：

PACKAGE_UNCLOSED_OR_STATE_UNCERTAIN/27 > RECEIPT_CREATE_STOP/25 > MANIFEST_CREATE_STOP/26 > OUTER_TIMEOUT_KILLED_KNOWN/24 > STATIC_TEST_FAILED/21 > CONTRACT_TEST_FAILED/22 > SOURCE_CREATE_OR_VALIDATE_STOP/11 > PASS/0

已知且安全 hash 的 partial 文件必须记 MATERIALIZED_INVALID_KNOWN，不能降级为 unknown；writer 尝试但无文件为 ATTEMPTED_NO_OUTPUT；从未到达 writer 为 NOT_RUN_UPSTREAM_STOP。只有 handle/liveness/close/hash 无法判定时才允许 STATE_UNCERTAIN/27。

权威无环 DAG：

V021 + plan audit + management authorization → in-memory bundle gate → Y01-Y04 → Y05 → Y06 → freeze Y01-Y06 → Y07(as-of Y06) → Y08(record Y07 hash; self blank) → external native terminal(record Y08 hash) → independent implementation review

Y07 不宣称 Y08 final；native terminal 才记录最终 closure。任何上游失败后，下游未执行目标必须物理 absent，禁止伪造零字节文件。

7. 与数据库连接的边界

Python Stage P PASS 只证明安全编排器实现可用，不自动连接数据库。后续最近的合法动作仍是 root identity/grant preflight：

1. Python 编排器只负责 process argv、native byte capture、验证和证据闭包；
2. 数据库认证仅使用现有 named login-path ana_semi_admin_preflight，不得使用聊天密码；
3. 仅允许管理另行授权的 SELECT USER(), CURRENT_USER() 与 SHOW GRANTS FOR CURRENT_USER()；
4. root 永远不得映射为 READONLY_PROVEN；
5. 业务行情、45 formal targets、BATCH-001、写入、DDL、GRANT 继续 HELD。

如果未来决定采用 Python connector，必须先建立不会暴露秘密的 credential provider 并独立审核；当前环境没有 connector 包，本计划不授权安装或直连。

8. 审核与阶段门

独立 reviewer 必须至少验证：

1. Python 架构切换只 supersede implementation stack，V007/V020 安全和业务边界无回退；
2. runtime 当前 snapshot、标准库-only、第三方 connector absent 与 no-network 边界；
3. Y01-Y08 8 个唯一目标、旧 P01-P04 hashes、旧 P05-P08 absent 与新 run absent；
4. 单进程/内存 bundle/first-write-before-AST prevention 与 fail-fast/no-retry；
5. Python time/bytes/process/JSON contracts、状态优先级、Y07/Y08 无环 DAG；
6. 数据库仍为后续独立授权，不把聊天密码带入 Python。

本 V021 只允许 dev.reviewer.ana.cai 独立计划审核。review PASS 后，也只允许向 management.admin 申请新的、single-use、exact Y01-Y08 Python implementation/materialization/validation 授权。未获得明确管理授权前，禁止 Y01-Y08/run 物化、Python process、PowerShell/csc/node/synthetic/proof/config-editor/mysql/SQL/database/network/credential/formal target、R3、BATCH-001、配置/binding/session/role/permission/Git 修改。