edit | blame | history | raw

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 提交全新单次实现授权申请。