# CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V010

- 计划类型：append-only repair-plan revision
- 激活角色：`dev.developer.ana.cai`
- 前序计划：`CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V009`
- 前序审核：`AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR-PLAN-V009=HOLD/1/1`
- 当前状态：`PENDING_INDEPENDENT_REPAIR_PLAN_REREVIEW`
- 实现授权：`NOT_ISSUED`

## 1. 唯一修订

本 V010 只关闭 `BLOCK-V009-01=PASS_PRIMARY_PHASE_CANONICAL_DRIFT`。V009 其余九个 native-final objects、V008 的 24 closure objects，以及所有已关闭/无回退合同继续权威继承。

`status=PASS` 的唯一 cross-field 合同冻结为：

- `primary_exit_code=0`
- `primary_stop_code=null`
- `primary_phase=COMPLETE`
- `prepackage_terminal_state=VALID_PASS`
- `package_closure_state=CLOSED`
- `final_exit_code=0`

任何 `status=PASS` 对象只要 `primary_phase!=COMPLETE`，validator 必须返回 `STOP_NATIVE_FINAL_SEMANTIC_DRIFT`。

## 2. 修正后的完整 B0-C0-PASS canonical object

以下反引号内 JSON 是新的唯一 UTF-8/no-BOM/no-trailing-LF canonical preimage：

- B0-C0-PASS | bytes=6880 | sha256=eb74f085c9a3306f80d53bf86731c2d73213138cc492e951ee665268404fda72 | `{"BATCH_001_status":"HELD","artifact_rows":[{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R01","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R02","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R03","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R04","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R05","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R06","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R07","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_BEFORE_OUTER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"SOURCE_FROZEN","target_id":"R08","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_CSC_ATTEMPT","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"COMPILER_STAGING_READY","target_id":"R09","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_PUBLISH_ATTEMPT","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"BUILD_PUBLISHED","target_id":"R10","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_CSC_STAGE","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"RAW_CAPTURED","target_id":"R11","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_CSC_STAGE","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"RAW_CAPTURED","target_id":"R12","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_CSC_STAGE","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"PROCESS_RESULT_PASS","target_id":"R13","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_L0_PRODUCER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"TEST_PASS","target_id":"R14","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_L1_PRODUCER","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"TEST_PASS","target_id":"R15","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_ON_CONTRACT_STAGE","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"CONTRACT_PASS","target_id":"R16","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_R16_PASS","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"CONTRACT_PASS","target_id":"R17","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"REQUIRED_ON_INNER_TERMINAL","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"PREPACKAGE_TERMINAL_PASS","target_id":"R18","upstream_stop_code":null},{"bytes":1,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"CONDITIONAL_ON_R18_VALID","materialized":true,"sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","status":"RECEIPT_FINALIZED","target_id":"R19","upstream_stop_code":null},{"bytes":null,"created_at":"2026-07-25T00:00:00.0000000+08:00","exists":true,"expected_presence":"SELF_CONDITIONAL_ON_R19_VALID","materialized":true,"sha256":null,"status":"MANIFEST_SELF_EXTERNAL_HASH","target_id":"R20","upstream_stop_code":null}],"attempt_id":"ATTEMPT-SENTINEL-NOT-ISSUED","authorization_id":"AUTH-SENTINEL-NOT-ISSUED","config_editor_process_count":0,"credential_access":false,"csc_process_count":1,"darkline_restored":false,"database_connection_performed":false,"final_exit_code":0,"finished_at":"2026-07-25T00:00:01.0000000+08:00","formal_target_count":0,"harness_process_count":0,"mysql_process_count":0,"network_access":false,"outer_exit_code":0,"outer_exit_observation":"OBSERVED","outer_liveness":"EXITED","outer_process_count":1,"outer_process_started":true,"outer_termination_reason":"CONTROLLED_RETURN","package_closure_state":"CLOSED","prepackage_terminal_state":"VALID_PASS","primary_exit_code":0,"primary_phase":"COMPLETE","primary_stop_code":null,"proof_process_count":0,"query_count":0,"r20_external_bytes":123,"r20_external_sha256":"2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881","run_id":"RUN-DEV-ANA-SEMI-ROOT-PREFLIGHT-V007-REPAIR-IMPLEMENTATION-20260725-001","schema_id":"NATIVE-ANA-SEMI-IMPLEMENTATION-FINAL-V007","started_at":"2026-07-25T00:00:00.0000000+08:00","status":"PASS","synthetic_child_process_count":0}`

## 3. 十对象权威集合

| object_id | bytes | sha256 | source |
|---|---:|---|---|
| `B0-C0-PASS` | 6880 | `eb74f085c9a3306f80d53bf86731c2d73213138cc492e951ee665268404fda72` | V010 corrected canonical preimage |
| `S00` | 6124 | `7e4c5708a925347e4ca0e9a73e65f594501671395aa62d4606265cabb93e929a` | inherited unchanged from V009 |
| `S04A` | 6281 | `3f8961f52dcfec00a6928b97ba539d2f9e84e27b5403800758f3e86d6390c078` | inherited unchanged from V009 |
| `S04U` | 6316 | `c205ca0f1e62c222bc6162db288665572b455d2fd631b4c3c6d4e49ca6a795bd` | inherited unchanged from V009 |
| `BP-C0-L0` | 6932 | `457856745ec513685b38d50adbf95316eb40ef1c67c68b51ca6e21d50f21a7f7` | inherited unchanged from V009 |
| `BP-C3-RECEIPT` | 6842 | `37f4ce611cf2ebdaa3c7967698188c8353a8b910e797852d39199084e8462c22` | inherited unchanged from V009 |
| `BP-C5-MANIFEST` | 6890 | `ed1aafb64d4a70314c619abf4958dfe847c389bee08e780c8027151326d81620` | inherited unchanged from V009 |
| `B27-C0-EVIDENCE-ABSENT` | 6849 | `1f5c00b02b0172574fa9b234e1420615efc9feac62d16a080d9d159a950fdaa6` | inherited unchanged from V009 |
| `B27-C3-EVIDENCE-ABSENT` | 6764 | `76f5766aa05c5beea15cbd050d2fe01404125bb9048329a2ed60dff28d31bfb1` | inherited unchanged from V009 |
| `B27-C7-OUTER-UNKNOWN` | 6194 | `ad668d31902f56ecdf3d73d6c726cdd1cc3d39b8d26382bc545b601213446f03` | inherited unchanged from V009 |

V010 第 2 节与上表共同取代 V009 的 B0-C0-PASS 行；其他九行逐字继承 V009，不生成第二套含义。

## 4. 必须显式执行的语义验证

独立复审和未来 validator 均必须按以下顺序：

1. strict JSON、UTF-8 bytes、SHA-256；
2. 35 顶层字段、20 个有序 R01—R20 rows、每行 9 字段；
3. row-first：成功 receipt/manifest row 的 upstream_stop_code=null；
4. top-level：`status=PASS -> primary_exit_code=0 AND primary_stop_code=null AND primary_phase=COMPLETE`；
5. closure：PASS 对应 VALID_PASS/CLOSED/final0；
6. outer-unknown 继续对应 R18/top-level STATE_UNCERTAIN 与 final27；
7. V008 24 closure objects 与其余九个 V009 native objects无回退。

`semantic_bad_count` 必须真实覆盖第 3—6 项，不能只覆盖 bytes/hash/shape。

## 5. 零物化与禁止项

旧 I01—I12 不变，I13—I16 absent；新 repair run/R01—R20 absent；compiler/test/synthetic/database process=0。V010 仅为计划，不授权实现、编译、测试、synthetic、proof、config-editor、mysql、SQL、数据库、网络、credential、正式目标或 BATCH-001。只有 V010 独立复审 PASS 后，才允许向 management 提交全新单次实现授权申请。