edit | blame | history | raw

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

  • 事项：DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR-20260725-001
  • 计划：DEV-PLAN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-IMPLEMENTATION-R6
  • task_id：TASK-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR-PLAN-20260725-003
  • submission_id：SUBMIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR-PLAN-V007
  • 当前唯一角色：dev.developer.ana.cai
  • 独立审核角色：dev.reviewer.ana.cai
  • predecessor：CODE-DESIGN-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-V006
  • predecessor bytes/SHA-256：22258/8cbd64e1b764987ea0d142034713398b0be5ad616576cd561a280ccfa6c53c16
  • predecessor review：AUDIT-DEV-ANA-SEMI-ROOT-PREFLIGHT-ORCHESTRATION-V007-REPAIR-PLAN-V006=HOLD/3/3
  • 当前状态：PENDING_INDEPENDENT_REPAIR_PLAN_REREVIEW
  • implementation authorization：NOT_ISSUED

1. 本版唯一修订范围

V006 已关闭 BLOCK-REPAIR-PLAN-03，且工具、outer/csc argv、R16 12 行、R17 7 行、历史不可变和零物化均已独立复算通过。本版禁止回退这些合同，只关闭：

  1. BLOCK-V006-01=PACKAGE_UNCLOSED_PRECEDENCE_REGRESSION；
  2. BLOCK-V006-02=PRIMARY_AND_SOURCE_TRUTH_TABLE_NOT_TOTAL；
  3. BLOCK-V006-03=NATIVE_FINAL_SCHEMA_NOT_UNIQUELY_TYPED。

V005/V006 的 R01—R20 路径、新 run、R02 单一 JCS writer、R14-before-throw、exact tool/argv/LoadFile/timeout/order、R07/R16/R17 和无环 DAG 全部继承。旧 A001/I01—I16 仍 history-only。本版仍不授权实现、编译、测试、synthetic 或数据库。

2. Final precedence 不可降级

final exit 唯一函数按下列顺序求值，命中后停止，禁止后续 closure 把结果降级：

  1. 若 R18.as_of_exit_code=27，则任何 C0—C7 的 final_exit_code=27。
  2. 否则若 closure=C1|C2|C7，final=27。
  3. 否则若 closure=C3|C4，final=25。
  4. 否则若 closure=C5|C6，final=26。
  5. 否则 closure=C0，final=R18.as_of_exit_code。

这保持继承优先级 PACKAGE_UNCLOSED(27) > RECEIPT(25) > MANIFEST(26) > primary > PASS。完整 combination table：

as_of class C0 C1 C2 C3 C4 C5 C6 C7
B0 (as_of=0) 0 27 27 25 25 26 26 27
BP (as_of=11..24|28) primary 27 27 25 25 26 26 27
B27 (as_of=27) 27 27 27 27 27 27 27 27

R07 closure_vectors 恰好 24 个 object，按 B0-C0..C7,BP-C0..C7,B27-C0..C7 排序；每个 key 恰好：

case_id,as_of_class,closure_id,package_closure_state,prepackage_terminal_state,r19_status,r20_status,final_rule

  • final_rule=ZERO|PRIMARY|EXIT25|EXIT26|EXIT27，逐格对应上表。
  • C0：package_closure_state=CLOSED；R19=RECEIPT_FINALIZED；R20=MANIFEST_SELF_EXTERNAL_HASH。
  • C1/C2：state=R18_ABSENT|R18_INVALID；prepackage=ABSENT|INVALID；R19/R20=NOT_RUN_UPSTREAM_STOP。
  • C3/C4：state=RECEIPT_ATTEMPTED_NO_OUTPUT|RECEIPT_PARTIAL_INVALID；R19 同名 status；R20=N。
  • C5/C6：state=MANIFEST_ATTEMPTED_NO_OUTPUT|MANIFEST_PARTIAL_INVALID；R19 finalized；R20 同名 status。
  • C7：state=PACKAGE_STATE_UNCERTAIN；R19/R20 按 actual，final_rule 始终 EXIT27。

新增固定 B27 package-failure vector：

  • exact UTF-8 preimage（无 BOM/尾 LF）：{"as_of_exit_code":27,"case_id":"ASOF27_RECEIPT_FAILURE","closure_exit_code":25,"final_exit_code":27,"package_closure_state":"RECEIPT_ATTEMPTED_NO_OUTPUT"}
  • bytes=155
  • SHA-256=59241f6d54dfebfa52e69c7769e82a552fe6ced9e6f1d1250117f81aea0a5114
  • base64=eyJhc19vZl9leGl0X2NvZGUiOjI3LCJjYXNlX2lkIjoiQVNPRjI3X1JFQ0VJUFRfRkFJTFVSRSIsImNsb3N1cmVfZXhpdF9jb2RlIjoyNSwiZmluYWxfZXhpdF9jb2RlIjoyNywicGFja2FnZV9jbG9zdXJlX3N0YXRlIjoiUkVDRUlQVF9BVFRFTVBURURfTk9fT1VUUFVUIn0=

R17 增加该第 8 行，expected=final_exit_code=27；不匹配则仍按 V006 P01=STOP_R17_L0_CLOSURE_CONTRACT/11，csc 不运行。

3. csc exit 0 但 R09 absent

V006 P05 拆成两个字面 primary：

ID / primary csc exit R09 R10 R11-R12 R13 stop / primary / as-of
P05A CSC_OUTPUT_MISSING 0 ATTEMPTED_NO_OUTPUT N RAW PRF STOP_CSC_OUTPUT_INVALID/15/15
P05B CSC_OUTPUT_INVALID 0 COMPILER_STAGING_INVALID N RAW PRF STOP_CSC_OUTPUT_INVALID/15/15

P05A 只适用于 csc 成功退出、R09 producer 已进入但文件 absent；禁止标记 N。P05B 适用于 R09 materialized 但 PE/.NET identity/bytes/hash 无效。两行 R14/R15=N，R16/R17=CP，R18=PTF；再与 C0—C7 组合。V006 P05 由本表完全替代。

4. SOURCE_CREATE_STOP 总合同

未来新授权中 R01—R08 必须严格按 ID 顺序逐一 CreateNew、write、Flush(true)、close、exclusive reopen/hash 验证；只有当前 target 完全 SOURCE_FROZEN 后才进入下一个。外层进程在八项全部完成前不得启动。

状态 enum 增加 SOURCE_PARTIAL_INVALID：source 文件已 materialized，但 write/flush/close/reopen/canonical/hash 不完整或不匹配；bytes/hash/created_at 按可安全取得的 actual，upstream 为该 target 固定 source stop。文件 absent 且 producer 已进入用 ATTEMPTED_NO_OUTPUT；producer 未进入用 N。

固定 STOP：STOP_SOURCE_CREATE_NEW_OR_VERIFY_FAILED_R01 至 ..._R08，每个只对应同 ID。SOURCE_CREATE_STOP scenario 恰好 16 行：

scenario R01..R(k-1) Rk R(k+1)..R08 R09-R20 outer/final
S01A—S08A SOURCE_FROZEN ATTEMPTED_NO_OUTPUT N N not started/null
S01P—S08P SOURCE_FROZEN SOURCE_PARTIAL_INVALID N N not started/null

其中 k 由 scenario 数字决定；例如 S04A 的 R01—R03 frozen、R04 attempted absent、R05—R20 N。upstream_stop_code：Rk 及其全部下游 N 行均为该 STOP_SOURCE...Rk；已 frozen source upstream=null。external native final 固定：primary_phase=SOURCE_CREATE,primary_exit_code=null,primary_stop_code=STOP_SOURCE...Rk,prepackage_terminal_state=NOT_APPLICABLE,package_closure_state=NOT_APPLICABLE_SOURCE_OR_OUTER_STOP,final_exit_code=null,status=STOP_BEFORE_OUTER，所有 process/access count=0。

路径预检查在任何 CreateNew 前失败时为 S00：R01—R20 全部 N，stop=STOP_TARGET_ALREADY_EXISTS_OR_PATH_ESCAPE，其他字段同 SOURCE_CREATE_STOP。不得为收口创建 R18/R19/R20。

5. Native final 完整类型合同

schema 保持 NATIVE-ANA-SEMI-IMPLEMENTATION-FINAL-V006。顶层字段、类型/null 固定如下：

field type null/enum
schema_id STRING exact schema，非空
run_id STRING exact new run，非空
authorization_id,attempt_id STRING future management fixed value，非空
started_at,finished_at RFC3339 STRING finished_at>=started_at；pre-write STOP 仍记录 source terminal 时间
outer_process_started BOOL 非空
outer_exit_code INT32 null started=true 时等于 final_exit_code 且非空；started=false 时 null
primary_phase STRING SOURCE_CREATE|OUTER_START|PRECHECK|CSC|PUBLISH|ASSEMBLY|MODULE|L0|L1|PACKAGE|PASS
primary_exit_code INT32 null 0|11..24|28；source/outer-start 为 null
primary_stop_code STRING null PASS 为 null；failure 为 R07 固定 STOP
prepackage_terminal_state STRING VALID_PASS|VALID_FAILED|ABSENT|INVALID|NOT_APPLICABLE
package_closure_state STRING V006 九值 enum，非空
final_exit_code INT32 null 0|11..28 或 pre-outer null；按第 2 节求值
artifact_rows ARRAY[20] 恰好 R01—R20、ordinal、无重复/缺项
r20_external_bytes UINT64 null 仅 C0 非空
r20_external_sha256 HEX64 null 仅 C0 非空
outer_process_count,csc_process_count UINT16 outer=0|1；csc=0|1
harness_process_count,synthetic_child_process_count,proof_process_count,config_editor_process_count,mysql_process_count,query_count UINT16 本阶段全部 0
database_connection_performed,network_access,credential_access BOOL 本阶段全部 false
formal_target_count UINT16 exact 0
BATCH_001_status STRING exact HELD
darkline_restored BOOL exact false
status STRING PASS|PRIMARY_FAILED_CLOSED|PACKAGE_UNCLOSED|STOP_BEFORE_OUTER

每个 artifact_rows object key 恰好且类型固定：

key type/null
target_id STRING enum R01—R20，非空
expected_presence V006 六值 STRING enum，非空
materialized,exists BOOL，必须相等
status V006+SOURCE_PARTIAL_INVALID 完整 STRING enum
bytes UINT64 null
sha256 HEX64 null
created_at RFC3339 STRING null
upstream_stop_code R07 STOP STRING null

行级联动：

  • materialized=false：bytes/sha/created_at=null；status 只能 A 或 N；upstream 非空。
  • materialized=true：bytes/sha/created_at 非空；仅合法 R20 self 行 bytes/sha=null 且 created_at 非空。
  • 成功状态 upstream=null；failure/partial/invalid/attempted/N upstream 非空。
  • SOURCE_PARTIAL_INVALID|COMPILER_STAGING_PARTIAL|COMPILER_STAGING_INVALID|BUILD_PUBLISH_PARTIAL|PROCESS_RESULT_FAIL|TEST_FAIL|TEST_OUTPUT_INVALID|CONTRACT_FAIL|PREPACKAGE_TERMINAL_FAIL|RECEIPT_PARTIAL_INVALID|MANIFEST_PARTIAL_INVALID 均为 failure 状态。

6. 顶层 cross-field 真值

status outer primary prepackage closure final R20 external
STOP_BEFORE_OUTER false/exit null/count0 source/outer，exit null，stop non-null NOT_APPLICABLE NOT_APPLICABLE_SOURCE_OR_OUTER_STOP null null/null
PASS true/exit0/count1 PASS/0/null VALID_PASS CLOSED 0 non-null/non-null
PRIMARY_FAILED_CLOSED true/exit=final/count1 failure/non-null/stop VALID_FAILED CLOSED primary 11..24|28 non-null/non-null
PACKAGE_UNCLOSED true/exit=final/count1 PASS/0/null 或 failure/non-null/stop VALID_PASS VALID_FAILED ABSENT INVALID C1—C7，或 B27+C0 25|26|27，按第2节 仅 B27+C0 可非空；其他 null

额外约束：

  • package_closure_state=CLOSED ⇔ R19=RECEIPT_FINALIZED、R20=MANIFEST_SELF_EXTERNAL_HASH、R20 external 非空。
  • receipt failure ⇔ R19 为对应 attempted/partial、R20=N、R20 external null。
  • manifest failure ⇔ R19 finalized、R20 为对应 attempted/partial、external null。
  • R18 absent/invalid ⇔ R19/R20=N、prepackage=ABSENT|INVALID、final=27。
  • B27 即使 closure=CLOSED，也必须 status=PACKAGE_UNCLOSED、outer/final=27；合法 R20 hash 可存在但不得把状态降为 closed primary。
  • outer_exit_code 是实际唯一 outer 返回码；不存在“outer 返回 25 但 native final 声称 27”。

7. Literal closure object 合同

R07 除 24 个 closure_vectors 外，固定 native_final_examples 恰好 10 行：

  1. S00 precheck-before-write；
  2. S04A source attempted absent；
  3. S04P source partial invalid；
  4. B0-C0 PASS；
  5. BP-C0 L0 fail closed；
  6. BP-C3 receipt absent；
  7. BP-C5 manifest absent；
  8. B27-C0 R14 absent但 manifest 合法；
  9. B27-C3 R14 absent且 receipt failure（固定 155-byte vector）；
  10. B27-C7 package uncertain。

每行必须逐字段提供第 5 节全部顶层值和 20 个 artifact_rows，不得使用 wildcard、same as 或省略 null。实现者从 R07 反序列化这些 literal object 后，使用同一 reducer 重算 actual；10/10 才允许 R16/R17 之后进入 csc。任一 drift=STOP_R17_L0_CLOSURE_CONTRACT/11。

8. 权威继承与送审边界

V006 P00—P04、P06—P22 保持；P05 仅由本版 P05A/P05B 替代。V006 C0—C7 的最终值仅由本版第 2 节取代；其 path/status/DAG 不变。source/outer-start 仅使用本版 S00/S01A—S08P external terminal，不创建 package。

权威 DAG 仍为：R01-R08 → R16 → R17 → csc/R09/R11/R12 → R10 → R13 → LoadFile → R14 → R15 → R18 → R19 → R20 → external native final。任何 pre-outer stop 在 DAG 之前结束。

独立复审 PASS 后仍只允许向 management 提交 V007 与审核终态，请求全新单次实现授权；本文件不授权 R01—R20、新 run、compiler/test/synthetic/database。旧 A001/run/I01—I16 保持不可变，Git 非阻断且不得 clean/stage/revert，BATCH-001 继续 HELD。