edit | blame | history | raw

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

创建人员：dev.developer.ana.cai
创建时间：2026-07-24T19:56:00+08:00
事项 ID：DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-IMPLEMENTATION-20260724-001
计划 ID：DEV-PLAN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-IMPLEMENTATION-R2
当前状态：PENDING_INDEPENDENT_PLAN_REREVIEW
精确角色：dev.developer.ana.cai
独立审核：dev.reviewer.ana.cai
实现授权：NOT_ISSUED

1. 修订链与适用优先级

本文件是 append-only R2/V003。V001、V002 均保持不可变：

  • V001=13850 bytes / 20e452a7f5bce3ac2bc96105577d1f616bd15c06b8884543cedc2d61b5dd7a6f / review=HOLD/3/3。
  • V002=21697 bytes / 858b880753a4c968e9004bf9d956e654e281b055322203bb8fa6ce7faac6bcce / AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-PLAN-V002=HOLD/3/3 / ana-doc/案例审计报告.md:759。

V003 继承 V002 已核验关闭的 wrapper/liveness 分离、22-property、public API、工具元数据、双进程模型、V007ExpectedVectors 专业绑定与高层 DAG。与 V002 冲突处仅以本版为准：

  1. 增加唯一 assembly load/call/return/STOP 合同。
  2. 将 csc 直接正式输出改为 compiler staging → exclusive verify → CreateNew publish。
  3. 将 target universe 从 I01-I15 升级为 I01-I16，并用 primary terminal × closure state 冻结全部 PASS/FAIL schema、null/status/upstream 规则。

专业 V007 及审计 hash 继续沿用 V002，不在本版重复解释或修改。

2. Assembly identity、唯一加载和调用图

2.1 固定 identity

I01 C# source 必须包含：

  • [assembly:System.Reflection.AssemblyVersion("1.0.0.0")]
  • [assembly:System.Reflection.AssemblyFileVersion("1.0.0.0")]
  • assembly simple name=AnaSemi.NativeProcessRunnerV006
  • full name=AnaSemi.NativeProcessRunnerV006, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null

namespace、六个 public type/method、22-property、Run/ValidateSingle/WriteCreateNew 签名逐字继承 V002。任何额外 public type、method、overload 或 identity 漂移为 STOP_ASSEMBLY_PUBLIC_API_DRIFT。

2.2 唯一加载 API 与顺序

implementation validation 与未来 authorized synthetic harness 都只能按下列顺序加载 I09 published DLL：

  1. Path.GetFullPath(RunnerAssemblyPath)，ordinal 等于已审核 I09 absolute path；拒绝 relative、UNC、alternate stream、reparse point 和 path escape。
  2. 以 FileMode.Open,FileAccess.Read,FileShare.None 独占只读复开，计算 bytes/SHA-256 并等于 manifest/调用参数。
  3. 在 AppDomain.CurrentDomain.GetAssemblies() 中使用 StringComparer.Ordinal 搜索 simple name；加载前 count 必须为 0，否则 STOP_ASSEMBLY_ALREADY_LOADED。
  4. 恰好调用一次 [System.Reflection.Assembly]::LoadFile($resolvedAbsolutePath)；禁止 Load、LoadFrom、LoadWithPartialName、Add-Type、反射字节加载或再次 LoadFile。
  5. 返回 assembly 非空后，FullName、Location、ModuleVersionId、target runtime、公开 type/method/property 集按顺序校验；Location 必须 ordinal 等于 I09 path。
  6. 再次枚举 AppDomain，simple name count 必须为 1 且引用相同 assembly；否则 STOP_ASSEMBLY_LOAD_CONFLICT。
  7. 仅全部 PASS 后允许 dot-source I02/I04/I05 或读取任何 public member。

LoadFile 抛错/返回空=STOP_ASSEMBLY_LOAD_FAILED；identity/type/method/property 不符=STOP_ASSEMBLY_PUBLIC_API_DRIFT。失败后禁止第二次加载、回退 API 或启动下游。

2.3 模块调用图与输出

implementation validation 唯一调用图：

I07 top-level → precheck → csc once → verify I08 → CreateNew publish I09 → unique LoadFile I09 → dot-source I04 → Invoke-AnaSemiL0StaticValidationV001 → dot-source I05 → Invoke-AnaSemiL1ContractValidationV001 → I15 → I16 → exit

  • I04/I05 顶层只定义各自唯一函数；dot-source success pipeline object count 必须为 0，否则固定 STOP。
  • L0/L1 函数 success pipeline object count 必须为 0；唯一结果在 I13/I14 JCS。失败只抛出一个带固定 StopCode 的 terminating error；禁止 warning/verbose/information/success stream 输出。
  • I07 success pipeline/stdout/stderr 均为 0 bytes，成功 process exit=0；失败 exit 继续使用 V002 11..16，并在可能时生成闭合失败包。

future synthetic harness 唯一调用图：

I02 script top-level param → unique LoadFile I09 → dot-source definitions → Invoke-AnaSemiWrapperSelftestV006 → validate ST01-ST30 → script exit

I02 被 dot-source 时只定义函数且 pipeline count=0；被 -File 执行时调用函数恰好一次。Invoke-AnaSemiWrapperSelftestV006 success pipeline count=0、返回语义=void、唯一成功证据=ST30 external hash、caller exit=0。失败抛一个固定 StopCode；caller 只映射 71=AUTH/PRECHECK,72=ASSEMBLY/API,73=PROCESS/ENVELOPE,74=PACKAGE/NO_OVERWRITE,75=SECRET/NETWORK/DATABASE，不得 retry。

3. STOP 总枚举与触发

3.1 Load/module STOP

  • STOP_ASSEMBLY_PATH_OR_HASH_DRIFT：path、exclusive open、bytes/hash 不符。
  • STOP_ASSEMBLY_ALREADY_LOADED：LoadFile 前 simple-name count 非 0。
  • STOP_ASSEMBLY_LOAD_FAILED：唯一 LoadFile 抛错/空。
  • STOP_ASSEMBLY_LOAD_CONFLICT：加载后 count 非 1、Location/reference 不同。
  • STOP_ASSEMBLY_PUBLIC_API_DRIFT：identity、runtime、type/method/property/22-hash 不符。
  • STOP_MODULE_DOTSOURCE_OUTPUT_DRIFT：I02/I04/I05 dot-source pipeline count 非 0。
  • STOP_MODULE_SUCCESS_OUTPUT_DRIFT：L0/L1/harness success pipeline count 非 0。

3.2 L0 固定顺序与 STOP

8 checks 顺序不变；首个失败停止后续：

  1. SOURCE_CANONICAL → STOP_L0_SOURCE_CANONICAL_DRIFT
  2. CSC_EXIT → STOP_L0_CSC_OR_PUBLISH_DRIFT
  3. PUBLIC_API → STOP_ASSEMBLY_PUBLIC_API_DRIFT
  4. PROPERTY_22 → STOP_L0_PROPERTY_CONTRACT_DRIFT
  5. POWERSHELL_AST → STOP_L0_POWERSHELL_AST_DRIFT
  6. PROHIBITED_API → STOP_L0_PROHIBITED_API
  7. TOP_LEVEL_SIDE_EFFECT → STOP_L0_TOP_LEVEL_SIDE_EFFECT
  8. EXPECTED_VECTOR_BINDING → STOP_L0_EXPECTED_VECTOR_BINDING

3.3 L1 固定顺序与 STOP

  1. ARGV_QUOTING → STOP_L1_ARGV_QUOTING
  2. ARGV_FINGERPRINT → STOP_L1_ARGV_FINGERPRINT
  3. ENVELOPE_EXTRA → STOP_L1_ENVELOPE_EXTRA
  4. ENVELOPE_MISSING → STOP_L1_ENVELOPE_MISSING
  5. RESULT_STATE_MATRIX → STOP_L1_RESULT_STATE_MATRIX
  6. RAW_PREIMAGE → STOP_L1_RAW_PREIMAGE
  7. REAL_13_TARGET_CONTRACT → STOP_L1_REAL_13_TARGET_CONTRACT
  8. SYNTHETIC_30_TARGET_CONTRACT → STOP_L1_SYNTHETIC_30_TARGET_CONTRACT
  9. CREATE_NEW_DECISION → STOP_L1_CREATE_NEW_DECISION

I02 authorized synthetic 另外只允许专业 V007 STOP：STOP_AUTHORIZATION_MISSING_OR_DRIFT|STOP_PROCESS_RESULT_COUNT_TYPE_OR_PROPERTY_DRIFT|STOP_ACTUAL_CHILD_ARGV_ROUNDTRIP_MISMATCH|STOP_CHILD_LIVENESS_UNCERTAIN|STOP_RAW_FINALIZATION_UNCERTAIN|STOP_PROCESS_RESULT_SIDECAR_PERSIST_OR_VERIFY_FAILED|STOP_TARGET_ALREADY_EXISTS|STOP_SYNTHETIC_PAYLOAD_PREIMAGE_MISMATCH|STOP_PACKAGE_CONTRACT_DRIFT|STOP_SECRET_NETWORK_DATABASE_TOUCH。未知 StopCode 一律映射 STOP_UNKNOWN_CODE 并终止，不得吞掉或猜测。

4. csc staging → CreateNew publish

4.1 唯一编译与 argv hash

外层 PowerShell argv 保持 V002 15 tokens，canonical preimage 为：

UTF8("ANA-SEMI-ARGV-V001" + NUL + argv[0] + NUL + ... + argv[14])，无尾随 NUL；count=15、SHA-256=ac99c11e3446bfa4d35867f99818d7836db9c17571960b3b1bfc9474f05a5b64。

csc argv 升级为以下 11 tokens，顺序固定：

  1. C:\Windows\Microsoft.NET\Framework64\v4.0.30319\csc.exe
  2. /nologo
  3. /target:library
  4. /optimize+
  5. /debug-
  6. /checked+
  7. /platform:anycpu
  8. /warnaserror+
  9. /utf8output
  10. /out:E:\mb-ms-doc\project-info\dev\ana-dev\tmp\RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-V007-IMPLEMENTATION-20260724-001\staging\AnaSemi.NativeProcessRunnerV006.dll
  11. E:\mb-ms-doc\project-info\dev\ana-dev\AnaSemi.NativeProcessRunnerV006.cs

同一 canonical 公式得到 count=11、SHA-256=2d898216b8f1bb95fbc716737915a43e47c57f4d48685da74b392a167dc024df。I12 必须记录完整 count/hash；不得保存拼接 shell command line。

4.2 staging 与 publish

  • run root 必须整体 absent，并由 I07 在授权后一次性新建；staging 目录在该新 root 内创建，禁止其他 writer。
  • I08=staging/AnaSemi.NativeProcessRunnerV006.dll 是唯一 COMPILER_OWNED_STAGING 例外：csc 可按自身 create/write 语义生成；它不是可加载或交付 assembly，不受“正式 publish 必须 CreateNew”声明覆盖。
  • csc 前 I08/I09 必须 absent。csc 后必须先等待 exit、关闭 stdout/stderr、以 exclusive read 复开 I08，校验 PE/.NET identity、bytes/hash；csc exit 非 0、timeout 或 I08 无效时禁止 publish。
  • I09=build/AnaSemi.NativeProcessRunnerV006.dll 是唯一可加载 assembly。发布使用 new FileStream(I09,FileMode.CreateNew,FileAccess.Write,FileShare.None)，从 exclusive-read I08 顺序复制、Flush(true)、Dispose，再以 exclusive-read I09 重算 bytes/hash并必须等于 I08。
  • I09 已存在、copy/flush/dispose/reopen/hash 任一失败=STOP_BUILD_PUBLISH_CREATE_NEW_OR_VERIFY_FAILED；I09 可为 partial，绝不删除/覆盖/重试，按实际 bytes/hash 收口。

5. V003 完整 I01-I16 universe

I01-I07 与 V002 相同。V003 从 I08 起完全取代 V002 编号：

ID role path schema success status
I01 WRAPPER_SOURCE dev/ana-dev/AnaSemi.NativeProcessRunnerV006.cs ANA-SEMI-NATIVE-WRAPPER-CS-V001 SOURCE_FROZEN
I02 HARNESS_SOURCE dev/ana-dev/Invoke-AnaSemiWrapperSelftestV006.ps1 ANA-SEMI-WRAPPER-HARNESS-PS1-V001 SOURCE_FROZEN
I03 CHILD_SOURCE dev/ana-dev/synthetic-child.ps1 ANA-SEMI-SYNTHETIC-CHILD-PS1-V001 SOURCE_FROZEN
I04 L0_TEST_SOURCE dev/ana-dev/test/Test-AnaSemiNativeProcessRunnerV006.Static.ps1 ANA-SEMI-L0-VALIDATOR-PS1-V001 SOURCE_FROZEN
I05 L1_TEST_SOURCE dev/ana-dev/test/Test-InvokeAnaSemiWrapperSelftestV006.Static.ps1 ANA-SEMI-L1-VALIDATOR-PS1-V001 SOURCE_FROZEN
I06 EXPECTED_VECTORS dev/ana-dev/test/V007ExpectedVectors.json ANA-SEMI-V007-EXPECTED-VECTORS-JCS-V001 SOURCE_FROZEN
I07 VALIDATION_ENTRY dev/ana-dev/test/Invoke-AnaSemiImplementationValidationV001.ps1 ANA-SEMI-IMPLEMENTATION-VALIDATION-PS1-V001 SOURCE_FROZEN
I08 COMPILER_STAGING staging/AnaSemi.NativeProcessRunnerV006.dll PE-DOTNET48-STAGING-V001 COMPILER_STAGING_READY
I09 PUBLISHED_ASSEMBLY build/AnaSemi.NativeProcessRunnerV006.dll PE-DOTNET48-V001 BUILD_PUBLISHED
I10 CSC_STDOUT process/csc.stdout.bin RAW-BYTES-V001 RAW_CAPTURED
I11 CSC_STDERR process/csc.stderr.bin RAW-BYTES-V001 RAW_CAPTURED
I12 CSC_PROCESS_RESULT process/csc.result.json ANA-SEMI-IMPLEMENTATION-PROCESS-RESULT-JCS-V002 PROCESS_RESULT_PASS
I13 L0_RESULT test/l0-static.json ANA-SEMI-IMPLEMENTATION-L0-JCS-V002 TEST_PASS
I14 L1_RESULT test/l1-contract.json ANA-SEMI-IMPLEMENTATION-L1-JCS-V002 TEST_PASS
I15 IMPLEMENTATION_RECEIPT receipt/implementation-receipt.md ANA-SEMI-IMPLEMENTATION-RECEIPT-MD-V002 RECEIPT_FINALIZED
I16 IMPLEMENTATION_MANIFEST manifest/implementation-source-manifest.csv ANA-SEMI-IMPLEMENTATION-MANIFEST-CSV-V002 MANIFEST_SELF_EXTERNAL_HASH

Canonical encodings 继承 V002。成功包恰好 16 项；I08 保留为审计证据，不删除。

6. I12 完整 JCS 与 null matrix

I12 keys 恰好 27 个：schema_id,tool_path,tool_bytes,tool_sha256,argv_count,argv_sha256,process_started,process_id,started_at,finished_at,exit_code,timed_out,stdout_path,stdout_bytes,stdout_sha256,stderr_path,stderr_bytes,stderr_sha256,staging_path,staging_bytes,staging_sha256,publish_path,publish_bytes,publish_sha256,status,stop_code,child_liveness。

类型：bytes/count/id 为 UINT64/UINT16/UINT32；exit=INT32；时间 RFC3339；hash HEX64；BOOL 原生；path/string 非空。status 总枚举=PASS|PROCESS_START_FAILED|TIMED_OUT|NONZERO_EXIT|OUTPUT_INVALID|PUBLISH_FAILED；child_liveness=EXITED|NOT_STARTED；stop_code 在 PASS 必须 null，失败必须为对应固定 STOP。

status started/pid/start finish/exit timed_out/liveness raw metadata staging publish
PASS TRUE/non-null/non-null non-null/0 FALSE/EXITED non-null non-null non-null且hash=staging
PROCESS_START_FAILED FALSE/null/null non-null/null FALSE/NOT_STARTED non-null，均 0/empty hash all null all null
TIMED_OUT TRUE/non-null/non-null non-null/INT32或null TRUE/EXITED；若无法确认退出则不构造 I12 non-null 三元组同空同非空 all null
NONZERO_EXIT TRUE/non-null/non-null non-null/非0 FALSE/EXITED non-null 三元组同空同非空 all null
OUTPUT_INVALID TRUE/non-null/non-null non-null/0 FALSE/EXITED non-null non-null all null
PUBLISH_FAILED TRUE/non-null/non-null non-null/0 FALSE/EXITED non-null non-null 三元组同空同非空，partial 可非空

I12 process 未能确认 child exit/raw close 时不得物化，直接 native PACKAGE_UNCLOSED_STOP。I12 argv preimage/hash只能使用第 4.1 节公式和值。

7. I13/I14 完整 PASS/FAIL JCS

7.1 公共 shape

I13/I14 top-level keys 恰好：schema_id,run_id,source_hashes,toolchain,assembly,checks,check_count,pass_count,fail_count,not_run_count,external_process_count,network_count,database_count,credential_count,status,terminal_stop_code。

  • source_hashes：恰好 I01-I07 七 key/HEX64。
  • toolchain：恰好 powershell,csc 两 object；各自 keys=path,bytes,sha256,version，类型 STRING/UINT64/HEX64/STRING。
  • assembly：keys 恰好 staging_path,staging_bytes,staging_sha256,published_path,published_bytes,published_sha256,full_name,public_api_sha256；无 null，published hash=staging hash。
  • checks：固定顺序 array；每项 keys 恰好 check_id,expected,actual,result,stop_code，expected/actual 为 STRING，result=PASS|FAIL|NOT_RUN。PASS 时 stop_code=null；首个 FAIL 使用第 3 节对应 STOP；其后均 result=NOT_RUN、actual=NOT_RUN_UPSTREAM_STOP、stop_code=STOP_UPSTREAM_NOT_RUN。
  • counts 为 UINT16 且三数之和=check_count；status=PASS|FAIL。PASS 时 terminal_stop_code=null；FAIL 时等于首个 FAIL stop_code。

public_api_sha256 的唯一 preimage 为 UTF-8：domain ANA-SEMI-PUBLIC-API-V003、assembly full name、V002 第 3.1 节六个 public type/method signature、V002 第 3.2 节 22 个 property:CLR-type，按文档顺序以单个 NUL 分隔、无尾随 NUL；禁止 reflection 默认排序、locale 或额外 member。实现落盘后才计算 actual HEX64，并由 L0 与独立 reviewer 复算。

I13 check_count=8；成功 8/0/0，external_process_count=1（csc 已由同一 outer 启动），其他 0。I14 check_count=9；成功 9/0/0，external_process_count=0，其他 0。失败文件仍完整包含全部 check objects，禁止省略或用 null 替代 NOT_RUN。

7.2 固定执行与 trigger

I13/I14 的 check 顺序、STOP 与触发逐项等于第 3.2/3.3 节。I13 在 unique LoadFile/API 校验后写；I14 复用已加载的同一 assembly reference，禁止再次 LoadFile。任何 JCS CreateNew/write/reopen/hash 失败升级 PACKAGE_UNCLOSED_STOP，不得声称 TEST_FAIL 已闭合。

8. Primary terminal × closure state 总模型

8.1 Primary vector（I01-I14）

M(status)=materialized；A(upstream)=absent/NOT_RUN；C(status)=按实际存在并记录。I01-I07 在 outer 启动前已经成功物化，故下列内部 primary 全部为 M(SOURCE_FROZEN)。

primary I08 I09 I10-I11 I12 I13 I14 stop_code
CSC_START_STOP A A M(RAW_CAPTURED) M(PROCESS_RESULT_FAIL) A A STOP_CSC_PROCESS_START_FAILED
CSC_TIMEOUT_STOP C(COMPILER_STAGING_PARTIAL) A M(RAW_CAPTURED) M(PROCESS_RESULT_FAIL) A A STOP_CSC_TIMEOUT
CSC_NONZERO_STOP C(COMPILER_STAGING_PARTIAL) A M(RAW_CAPTURED) M(PROCESS_RESULT_FAIL) A A STOP_CSC_NONZERO_EXIT
CSC_OUTPUT_INVALID_STOP M(COMPILER_STAGING_INVALID) A M(RAW_CAPTURED) M(PROCESS_RESULT_FAIL) A A STOP_CSC_OUTPUT_INVALID
PUBLISH_STOP M(COMPILER_STAGING_READY) C(BUILD_PUBLISH_PARTIAL) M(RAW_CAPTURED) M(PROCESS_RESULT_FAIL) A A STOP_BUILD_PUBLISH_CREATE_NEW_OR_VERIFY_FAILED
L0_STOP M(COMPILER_STAGING_READY) M(BUILD_PUBLISHED) M(RAW_CAPTURED) M(PROCESS_RESULT_PASS) M(TEST_FAIL) A I13 terminal_stop_code
L1_STOP M(COMPILER_STAGING_READY) M(BUILD_PUBLISHED) M(RAW_CAPTURED) M(PROCESS_RESULT_PASS) M(TEST_PASS) M(TEST_FAIL) I14 terminal_stop_code
PASS M(COMPILER_STAGING_READY) M(BUILD_PUBLISHED) M(RAW_CAPTURED) M(PROCESS_RESULT_PASS) M(TEST_PASS) M(TEST_PASS) null

外部 SOURCE_PRECHECK_OR_CREATE_STOP|VALIDATION_PRECHECK_STOP|OUTER_START_STOP|PACKAGE_UNCLOSED_STOP 不构造 manifest；native terminal 逐 I01-I16 报实际 vector，不启动收口进程。

8.2 Closure state（I15-I16）

每个内部 primary 只允许一个 closure：

closure I15 I16 rule
CLOSED M(RECEIPT_FINALIZED) M(MANIFEST_SELF_EXTERNAL_HASH) primary vector 安全冻结
RECEIPT_CREATE_STOP A A native 报 I01-I14；不得再试
MANIFEST_CREATE_STOP M(RECEIPT_FINALIZED) A native 报 I01-I15；不得再试

I15 在失败 primary 中记录 primary/stop/实际 vector，upstream_stop_code=primary stop；PASS 时为 null。I16 仅 CLOSED 时存在，16 行完整记录 primary vector。

8.3 Manifest 行级 null/status 规则

I16 仍使用 V002 14 列，恰好 16 行 I01→I16：

  • materialized=true ⇒ exists=true、bytes/sha256/created_at 非空；唯一例外 I16 self bytes/sha256=null。
  • materialized=false ⇒ exists=false、bytes/sha256/created_at=null、status=NOT_RUN_UPSTREAM_STOP、upstream_stop_code=primary stop。
  • materialized 成功状态（SOURCE_FROZEN、COMPILER_STAGING_READY、BUILD_PUBLISHED、PROCESS_RESULT_PASS、TEST_PASS）在 primary PASS 或后续失败中均 upstream=null，因为该 target 自身成功。
  • materialized failure/partial 状态（COMPILER_STAGING_PARTIAL、COMPILER_STAGING_INVALID、BUILD_PUBLISH_PARTIAL、PROCESS_RESULT_FAIL、TEST_FAIL）必须 upstream=primary stop。
  • I10/I11 RAW_CAPTURED 在 csc failure 时 upstream=primary stop，在 L0/L1/PASS 时 null。
  • I15/I16 在失败 primary 的 CLOSED 包中 upstream=primary stop；PASS 中 null。

status 总枚举恰好：SOURCE_FROZEN|COMPILER_STAGING_READY|COMPILER_STAGING_PARTIAL|COMPILER_STAGING_INVALID|BUILD_PUBLISHED|BUILD_PUBLISH_PARTIAL|RAW_CAPTURED|PROCESS_RESULT_PASS|PROCESS_RESULT_FAIL|TEST_PASS|TEST_FAIL|RECEIPT_FINALIZED|MANIFEST_SELF_EXTERNAL_HASH|NOT_RUN_UPSTREAM_STOP。

9. Hash DAG、自排除与外部返回

DAG 唯一为：V007 design/audit → I01-I07 → csc/I08/I10/I11 → exclusive publish I09 → I12 → unique LoadFile → I13 → I14 → freeze I01-I14 → I15 → I16 → external I16 bytes/hash。

  • I06 不引用当前实现 hash；I12 不引用 I15/I16；I13/I14 不引用 I15/I16。
  • I15 记录 I01-I14 hash，排除 I15/I16 hash。
  • I16 记录 I01-I15；I16 self bytes/hash=null。
  • outer native terminal 必须返回 outer argv count/hash、csc argv count/hash、process counts、primary/closure、I01-I16 actual vector、I16 external bytes/hash（若存在）。独立 audit 再记录 I16 external hash；禁止回写。

10. 当前边界与复审目标

当前仍为零源码、零测试、零 run root、零 compiler/harness/child/database。计划复审仅判断：

  1. BLOCK-DEV-PLAN-01 的 load/call/return/exit/STOP 是否关闭。
  2. BLOCK-DEV-PLAN-02 的 compiler staging→CreateNew publish 是否关闭。
  3. BLOCK-DEV-PLAN-03 的 argv preimage、JCS PASS/FAIL、primary×closure、行级 null/status/DAG 是否关闭。

复审 PASS 后只允许申请 I01-I16 的单次实现物化/验证授权；不自动执行。Git 继续 INFORMATIONAL_NON_BLOCKING_BY_HUMAN_OVERRIDE；旧 A001、ana-data/tmp、YAML/.mbx/binding/session、真实 proof/数据库/业务/BATCH-001 均保持禁止或 HELD；root 永不因本计划成为 READONLY_PROVEN。