edit | blame | history | raw

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

  • plan_id: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V015
  • role_instance_id: dev.developer.ana.cai
  • created_at: 2026-07-26T10:29:03.4689921+08:00
  • predecessor_plan: CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V014 / 144286/bd9c03fac8a025bf3fe01eb37099e846f04bc304eef92bc5f3ac9f14cafc8539 / review=PASS/0/0
  • predecessor_failure_audit: AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR2-PRECONSUMPTION-STOP-FAILURE-001 / 162489/115bac1466edc3abac581830e6feac0dfa03c8ddbe935f60daf61bf1cb0a6045 / line=1434
  • predecessor_authorization: AUTH-DEV-ANA-SEMI-ROOT-PREFLIGHT-V007-REPAIR2-IMPLEMENTATION-20260725-001/A001=TERMINATED_PRECONSUMPTION_UNCONSUMED_PERMANENTLY_CLOSED
  • status: PENDING_INDEPENDENT_PREFLIGHT_REPAIR_PLAN_REVIEW
  • current_authorization: NOT_ISSUED
  • implementation/synthetic/database/BATCH-001: NOT_AUTHORIZED/HELD/HELD/HELD

1. 目标与范围

本计划只修复 BLOCK-PRECONSUMPTION-01_MANDATORY_PREFLIGHT_TERMINAL_MISMATCH_RERUN_STARTED，并固化 ISSUE-PRECONSUMPTION-COMM-01_LEGACY_MBX_ROUTE_ATTEMPT_AFTER_NATIVE_POLICY 的不回退要求。

必须关闭四个根因：

  1. 时间窗口全部使用 DateTimeOffset，禁止 DateTime 与 DateTimeOffset 隐式比较。
  2. mandatory preflight 恰好调用一次；首次异常、mismatch 或 uncertainty 当场生成本地 terminal STOP，禁止修正后重跑。
  3. 相关进程选择器使用完整可执行文件坐标和完整命令行等值匹配，禁止 substring/self-match。
  4. terminal 仅通过 Codex 原生 exact-thread 投递，禁止 legacy MB-X route/inbox/session fallback。

本计划不修改 V014，不复用已经关闭的 Repair2 A001/run/target，也不授权 R01—R20、outer、csc、synthetic、proof、config-editor、mysql、SQL、数据库、网络、凭据、正式数据或业务动作。

2. 技术路线决定

2.1 保留的执行工具栈

层 技术 职责
native process runner C# / .NET Framework 原生进程启动、stdout/stderr bytes、生命周期和 sidecar
orchestration / evidence Windows PowerShell 5.1 + .NET BCL preflight、CreateNew、hash、JCS/receipt/manifest、失败收口
compiler reviewed csc.exe 仅在后续单独授权的 R3 实现链中编译 C#

2.2 Python / Node.js 处置

Python 和 Node.js 技术上均可实现时间、文件和 JSON 逻辑，但本轮不换栈：V007/V014 已审核的 C# API、PowerShell DAG、进程数、argv、JCS 和失败状态均依赖现有技术坐标。换栈会同时引入 runtime、依赖、进程、argv、canonical JSON 和打包合同重审，不能缩短当前最短路径。

若未来需要换栈，必须作为独立架构变更重新设计、审核和授权，不得在本计划或后续实现中静默替换。

3. 新的两阶段修复链

3.1 Stage P：稳定 preflight 模块

候选 run：RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PRECONSUMPTION-REPAIR-IMPLEMENTATION-20260726-001。

计划目标如下，全部使用项目根相对路径；当前均不得物化：

ID 路径 role
P01 dev/ana-dev/AnaSemi.Repair3PreconsumptionV001.psm1 SOURCE
P02 dev/ana-dev/test/Test-AnaSemiRepair3PreconsumptionV001.Static.ps1 TEST_SOURCE
P03 dev/ana-dev/test/AnaSemiRepair3PreconsumptionVectorsV001.json TEST_VECTOR
P04 dev/ana-dev/test/Invoke-AnaSemiRepair3PreconsumptionValidationV001.ps1 VALIDATION_SOURCE
P05 dev/ana-dev/tmp/RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PRECONSUMPTION-REPAIR-IMPLEMENTATION-20260726-001/test/static-result.json TEST_RESULT
P06 dev/ana-dev/tmp/RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PRECONSUMPTION-REPAIR-IMPLEMENTATION-20260726-001/test/contract-result.json TEST_RESULT
P07 dev/ana-dev/tmp/RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PRECONSUMPTION-REPAIR-IMPLEMENTATION-20260726-001/receipt/preflight-repair-receipt.md RECEIPT
P08 dev/ana-dev/tmp/RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-PRECONSUMPTION-REPAIR-IMPLEMENTATION-20260726-001/manifest/preflight-repair-manifest.csv MANIFEST

Stage P 必须先独立计划审核，再由 management 单独决定 P01—P08 的一次性物化/验证授权。实现后必须由 dev.reviewer.ana.cai 独立实现审核。P 阶段不得创建任何 R3 target，不得访问数据库或凭据。

3.2 Stage R3：后续实现链

只有 P 阶段实现审核 PASS 后，才允许另立完整 R3 计划并冻结新的 versioned R01—R20、payload、run、authorization、attempt、argv 和 hash。R3 不得复用 Repair2 的任何 ID/path/hash。

本 V015 不请求 R3 实现授权；它只建立可被 R3 授权引用的稳定 preflight 能力。

4. P01 公共 API

P01 只导出以下四个函数，禁止额外 pipeline output：

  1. ConvertTo-AnaSemiAuthorizationWindow
  2. Test-AnaSemiAuthorizationWindow
  3. Select-AnaSemiExactRelatedProcess
  4. Invoke-AnaSemiPreconsumptionPreflight

所有 helper 的非返回 API 调用必须显式赋给 $null 或 [void]；每个导出函数只返回恰好一个 PSCustomObject。调用端在读取属性前必须验证：

  • @($result).Count -eq 1
  • PSTypeNames[0] 等于该函数冻结的类型名
  • required property set 采用 ordinal、case-sensitive、无 missing/extra
  • 每个字段类型/null 符合下文 schema

任何 count/type/property 漂移直接进入 STOP_PRECONSUMPTION_RESULT_CONTRACT_DRIFT，不得再次调用函数。

5. 时间窗口唯一合同

5.1 输入格式

authorized_at 与 expires_at 必须为带 offset、恰好 7 位小数的字符串，解析格式唯一为：

yyyy-MM-dd'T'HH:mm:ss.fffffffK

实现只允许：

[DateTimeOffset]::ParseExact(
  $value,
  "yyyy-MM-dd'T'HH:mm:ss.fffffffK",
  [Globalization.CultureInfo]::InvariantCulture,
  [Globalization.DateTimeStyles]::None
)

禁止 [datetime]、Get-Date 返回值与 DateTimeOffset 直接比较，禁止 culture fallback、宽松 parse 或解析失败后的第二种格式。

5.2 比较坐标

  • now 只来自一次 [DateTimeOffset]::UtcNow 调用，测试时由注入的 clock 返回。
  • 三个时点均转换为 UtcDateTime.Ticks:INT64。
  • 唯一有效规则：authorized_ticks <= now_ticks -and now_ticks < expires_ticks。
  • expires_ticks <= authorized_ticks 直接 STOP。
  • 解析、转换或 clock 任一异常直接 STOP，不得重新取时。

5.3 固定测试向量

以 authorized_at=2026-07-26T01:12:58.2748820+08:00、expires_at=2026-07-26T03:12:58.2748820+08:00 为纯合成向量：

case now expected
T-BEFORE 2026-07-26T01:12:58.2748819+08:00 OUTSIDE
T-AT-START 2026-07-26T01:12:58.2748820+08:00 INSIDE
T-INSIDE 2026-07-26T02:00:00.0000000+08:00 INSIDE
T-AT-END 2026-07-26T03:12:58.2748820+08:00 OUTSIDE
T-MALFORMED 2026/07/26 02:00:00 STOP_PARSE

这些向量只验证比较语义，不授予历史窗口或任何执行权。

6. mandatory preflight 单次调用状态机

6.1 唯一阶段顺序

START → IDENTITY → WINDOW → PLAN_HASH → TARGET_ABSENCE → HISTORY_IMMUTABILITY → PROCESS_STATE → PASS

Invoke-AnaSemiPreconsumptionPreflight 内部维护 preflight_invocation_count=1。生产调用方必须在进入函数前置本地 monotonic guard；函数返回或抛出后 guard 永久关闭，本 turn 不得再调用。

6.2 首错终态

首个事实 terminal_status stop_code 可继续
所有检查通过 PASS null 仅允许进入后续管理授权明确的下一动作
已知 mismatch STOP STOP_PRECONSUMPTION_GATE_MISMATCH 否
解析/API/类型异常 STOP STOP_PRECONSUMPTION_PREFLIGHT_EXCEPTION 否
进程或文件状态不可确定 STOP STOP_PRECONSUMPTION_STATE_UNCERTAIN 否
返回对象合同漂移 STOP STOP_PRECONSUMPTION_RESULT_CONTRACT_DRIFT 否

catch 只允许创建本地 terminal 对象；禁止修正参数、修改脚本、再次调用 preflight、重新取时、重新枚举或转入另一工具。即使尚未消费未来 authorization，也必须结束该 authorization chain。

7. PreflightResult 完整 schema

类型名：ANA.SEMI.PRECONSUMPTION.RESULT.V001。

固定 22 个字段，按 ordinal 排序：

authorization_id,authorized_at_utc_ticks,candidate_run_exists,exception_type,expires_at_utc_ticks,finished_at,history_hash_mismatch_count,invocation_count,materialized_target_count,now_utc_ticks,preflight_stage,related_process_count,result_schema_id,started_at,status,stop_code,target_existing_count,uncertain_field,authorized_outer_started,credential_access,database_connection_performed,network_access

类型/null：

  • STRING 非空：authorization_id,result_schema_id,started_at,finished_at,status,preflight_stage
  • INT64 非负：三个 *_utc_ticks；解析失败时对应不可获得值为 null
  • INT32 非负：invocation_count,target_existing_count,history_hash_mismatch_count,related_process_count,materialized_target_count；无法安全取得的字段为 null
  • BOOL：candidate_run_exists,authorized_outer_started,credential_access,database_connection_performed,network_access；无法确定时允许 null，但 status 必须 STOP
  • nullable STRING：stop_code,exception_type,uncertain_field
  • invocation_count 在所有合法对象中恰好为 1
  • PASS 要求 stop/exception/uncertain 均 null，全部计数字段非 null且为 0，五个 BOOL 均 false
  • STOP 不得用 0/false 伪造未完成检查；未执行或不确定字段必须 null

本对象只存在于内存和原生 terminal 消息；pre-consumption STOP 不创建项目文件。

8. 不会 self-match 的 exact process selector

8.1 输入快照

selector 只接受结构化进程行：

process_id:UINT32,parent_process_id:UINT32,executable_path:STRING|null,command_line:STRING|null

生产 adapter 从 Win32_Process 一次性获取快照；测试 adapter 使用 P03 固定数组。禁止在 selector 内再次查询。

8.2 outer 匹配规则

future management authorization 必须提供：

  • expected_outer_executable_path
  • expected_outer_command_line_utf8_sha256
  • expected_outer_command_line_utf8_base64
  • source_preflight_process_id

一行仅在以下全部成立时匹配：

  1. process_id != source_preflight_process_id
  2. executable_path 非 null，经 Path.GetFullPath 后与 expected path 采用 OrdinalIgnoreCase 完全相等
  3. command_line 非 null，其 UTF-8 bytes 与 reviewed Base64 解码 bytes 完全相等
  4. UTF-8 SHA-256 与 reviewed hash 完全相等

禁止 -like、-match、Contains、substring、仅进程名、仅 script path 或把当前 shell 命令正文中的字符串当作实际 child argv。任一候选 path/command_line null、规范化异常或重复 exact match 均为 STATE_UNCERTAIN，不得宣称 count=0。

8.3 其他禁止进程

csc/mysql/mysql_config_editor 只按 future authorization 提供的 reviewed executable full path 做 OrdinalIgnoreCase 完整路径匹配。path 为 null 或枚举失败同样是 STATE_UNCERTAIN。

8.4 固定 selector 反例

P03 至少包含：

  1. exact outer 行 → count=1
  2. 相同 exe、不同完整 command line → count=0
  3. command line 仅包含 expected 字符串 → count=0
  4. source PID 且其 command line 文本含 expected 字符串 → count=0
  5. exact command line、不同 exe → count=0
  6. executable_path=null → STOP_UNCERTAIN
  7. command_line=null → STOP_UNCERTAIN
  8. 两条 exact outer → STOP_UNCERTAIN

9. native-only terminal delivery

terminal 的唯一通信入口为 Codex 原生 exact-thread：

  • management：授权中冻结的 management.admin thread id
  • reviewer：项目配置冻结的 dev.reviewer.ana.cai thread id

禁止 mbx interaction route、mbx send、project inbox、session bridge、历史 session fallback 或任何 legacy JSONL 投递。

每个目标最多调用一次原生发送；成功只记 dispatch_accepted。超时、返回不确定或目标状态不明确时记录 DELIVERY_AMBIGUOUS_NO_RETRY，不得改走备用通道、重发或把 delivery ambiguity 解释为执行成功。

P02/P04 必须静态扫描 P01—P04，不允许出现 legacy route/inbox/session 调用字符串；本规则只验证源码合同，不在 P 阶段真实发送测试消息。

10. P 阶段验证方案

10.1 进程与文件边界

未来 P 阶段若获单独授权：

  • P01—P04 使用 CreateNew/no-overwrite 物化
  • 启动恰好一个 reviewed PowerShell validation process 执行 P04
  • child/csc/mysql/config-editor/network/database/credential 均为 0/false
  • P05→P06→P07→P08 按 DAG CreateNew
  • 任一失败保留已物化子集，禁止补造、覆盖、删除或重试

10.2 测试覆盖

P04 必须覆盖：

  1. 5 个时间向量
  2. 首个异常注入后 invocation_count=1 且第二调用被本地 guard 拒绝
  3. 8 个 selector 向量
  4. PASS/4 类 STOP 的 22 字段 schema/null 矩阵
  5. helper 额外 pipeline object、missing/extra property、错误类型探针
  6. legacy communication token 静态禁入
  7. CreateNew conflict/no-overwrite

10.3 P05/P06 canonical

P05/P06 为 UTF-8 无 BOM、无 CR、无尾 LF 的 ordinal-key JCS。P07 为 UTF-8 Markdown，P08 为 RFC4180 CSV。P08 记录 P01—P07 bytes/hash；P08 self row 的 bytes/hash 为空，外部 P08 hash 只进入原生 handoff/审计，保持 DAG 无环。

11. 验收标准

V015 计划审核 PASS 必须证明：

  1. C# + PowerShell 栈选择及不换栈边界明确。
  2. DateTimeOffset parse/UTC ticks/半开窗口合同唯一。
  3. 任一首错只生成一个 terminal，preflight 不可重入且不可重跑。
  4. exact selector 不会因为 source shell 文本而 self-match。
  5. unknown 与 confirmed zero 分离，不伪造进程或文件状态。
  6. native-only delivery 不存在 legacy fallback。
  7. P01—P08 目标、状态、测试、DAG 和两阶段授权边界完整。
  8. V014、历史失败包和已关闭授权均保持不变。

12. 风险与 STOP

  • 任何新增 runtime 或改用 Python/Node.js：STOP_ARCHITECTURE_DRIFT
  • 任何 DateTime/宽松 parse/culture fallback：STOP_TIME_CONTRACT_DRIFT
  • 首错后第二次 preflight、重新取时或重新枚举：STOP_RETRY_CONTRACT_DRIFT
  • substring/process-name-only/self-match：STOP_PROCESS_SELECTOR_DRIFT
  • legacy MB-X 通信 fallback：STOP_COMMUNICATION_POLICY_DRIFT
  • P 阶段与 R3 阶段合并授权：STOP_STAGE_AUTHORIZATION_DRIFT
  • 旧 Repair2 ID/path/run/target 复用：STOP_HISTORY_REUSE

13. 当前门禁

本文件仅允许 dev.reviewer.ana.cai 独立计划审核。审核 PASS 也只允许向 management.admin 申请 Stage P 的 P01—P08 单次实现授权，不允许直接进入 R3、synthetic 或数据库。

在新的明确管理授权前，禁止创建 P01—P08、R3 R01—R20、运行 PowerShell validation/csc/outer/synthetic/proof/config-editor/mysql/SQL/database、读取凭据、访问网络、创建正式数据、执行 BATCH-001 或形成业务结论。