[A3a-1b] 第2轮取证归档：三份证据件在文档定稿树 63b7ecd 上重跑生成（# HEAD/# PROVEN-TREE=63b7ecd/54851B/623 行=最终交付态文档，先定稿后取证，QC #9）；核对件首行 # CMD 与 §8 自指行逐字相同且经自指闭环第二跑验证（QC #6/#7）；历史归档 m11b2d_a3_*/m11b2d_a1_* 未覆盖，本提交不触碰文档
This commit is contained in:
agent.develop
parent
63b7ecd60b
commit
7753cfc147
@ -1,10 +1,11 @@
|
|||||||
# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q
|
# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q
|
||||||
# DATE: 2026-09-23T04:09:09+0800
|
# DATE: 2026-09-23T04:33:46+0800
|
||||||
# HEAD: e36573f
|
# HEAD: 63b7ecd
|
||||||
# PROVEN-TREE: e36573f (51970 bytes doc / 621 lines)
|
# PROVEN-TREE: 63b7ecd (54851 bytes doc / 623 lines)
|
||||||
# TASK: M11b-2d-A3a-1b (A3a-1b 重做轮 collect-only 复跑，响应 QC #2/#3)
|
# TASK: M11b-2d-A3a-1b (A3a-1b 第2轮 collect-only 复跑，响应 QC #8/#9)
|
||||||
# NOTE: A3a-1b 重做轮 collect-only 复证：树 e36573f 上四组 17 项可收集、RegistrationDocCase 两项在册；未覆盖 m11b2d_a3_fixture_contract_collect_only.txt 等历史归档。
|
# NOTE: 在文档定稿树上复证四组 17 项可收集（含 RegistrationDocCase 两项在册）。正文耗时为单次实测抖动值，§8/§6 只引用计数「17 tests collected」，不逐字引用耗时（QC #3）。未覆盖 m11b2d_a3_fixture_contract_collect_only.txt 等历史归档。
|
||||||
--- OUTPUT ---
|
# RC=0
|
||||||
|
----- 以下为实跑原始输出（逐字） -----
|
||||||
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_dead_class_style_symbols_absent
|
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_dead_class_style_symbols_absent
|
||||||
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_fixture_apply_is_thin_wrapper_on_true_source
|
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_fixture_apply_is_thin_wrapper_on_true_source
|
||||||
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_live_function_style_symbols_present
|
tests/test_m11b2d_fixture_contract.py::FixtureSurfaceCase::test_live_function_style_symbols_present
|
||||||
@ -23,5 +24,4 @@ tests/test_m11b2d_fixture_contract.py::GateErrorCase::test_state_conflict_rolls_
|
|||||||
tests/test_m11b2d_fixture_contract.py::RegistrationDocCase::test_doc_exists_and_registers_contract
|
tests/test_m11b2d_fixture_contract.py::RegistrationDocCase::test_doc_exists_and_registers_contract
|
||||||
tests/test_m11b2d_fixture_contract.py::RegistrationDocCase::test_doc_live_fixture_symbols_registered
|
tests/test_m11b2d_fixture_contract.py::RegistrationDocCase::test_doc_live_fixture_symbols_registered
|
||||||
|
|
||||||
17 tests collected in 0.04s
|
17 tests collected in 0.03s
|
||||||
# RC=0
|
|
||||||
|
|||||||
@ -1,10 +1,10 @@
|
|||||||
# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -q --tb=no
|
# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -q --tb=no
|
||||||
# DATE: 2026-09-23T04:09:09+0800
|
# DATE: 2026-09-23T04:33:46+0800
|
||||||
# HEAD: e36573f
|
# HEAD: 63b7ecd
|
||||||
# PROVEN-TREE: e36573f (51970 bytes doc / 621 lines)
|
# PROVEN-TREE: 63b7ecd (54851 bytes doc / 623 lines)
|
||||||
# TASK: M11b-2d-A3a-1b (A3a-1b 重做轮复跑守卫用例，响应 QC #1/#2 硬门禁：证据与最终交付态一致)
|
# TASK: M11b-2d-A3a-1b (A3a-1b 第2轮：先定稿后取证，证据锚点=文档定稿树，响应 QC #8/#9)
|
||||||
# NOTE: A3a-1b 重做轮：在被证明的树 e36573f（文档全文 49,966B→本轮修正后 51970B/621 行，§0–§8 全章节在册）上实跑的真实输出。上一版证据记 HEAD d6514bf 而交付态被代收口 5b56b27 覆盖成 3,191B/20 行摘录，同态实跑 2 failed, 15 passed，证据与其所证明的仓库状态脱钩（QC #2）。本件覆盖同名旧件（A3a-1 轮旧内容 HEAD 1d1fd3d），m11b2d_a3_* / m11b2d_a1_* 等历史归档一律未触碰。
|
# NOTE: 执行次序=文档 §6/§8 口径修正定稿(本件 # HEAD 所指提交) -> 在该提交态实跑 -> 证据件另成归档提交且不回改本文档，故 # PROVEN-TREE 即最终交付态中的文档树。上一版三处口径问题已消除：文档正文曾写 `# HEAD: 6a1cce6` 而本件实记 e36573f（QC #8 双 HEAD 矛盾），现统一为「本轮文档定稿提交」并以本件前三行为准；6a1cce6 仅为全文恢复提交。历史归档 m11b2d_a3_* / m11b2d_a1_* 一律未覆盖。
|
||||||
--- OUTPUT ---
|
|
||||||
................. [100%]
|
|
||||||
17 passed in 0.08s
|
|
||||||
# RC=0
|
# RC=0
|
||||||
|
----- 以下为实跑原始输出（逐字） -----
|
||||||
|
................. [100%]
|
||||||
|
17 passed in 0.09s
|
||||||
|
|||||||
@ -1,22 +1,48 @@
|
|||||||
# CMD: cd modules/world_sync && ./.venv/bin/python .scratch/a3a1b_cmd_check.py
|
# CMD: cd modules/world_sync && ./.venv/bin/python tests/checks/m11b2d_a3a1b_cmd_index_consistency.py --evidence tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt
|
||||||
# DATE: 2026-09-23T04:09:09+0800
|
# DATE: 2026-09-23T04:33:46+0800
|
||||||
# HEAD: e36573f
|
# HEAD: 63b7ecd
|
||||||
# PROVEN-TREE: e36573f (51970 bytes doc / 621 lines)
|
# PROVEN-TREE: 63b7ecd (54851 bytes doc / 623 lines)
|
||||||
# TASK: M11b-2d-A3a-1b (A3a-1b 重做轮 §8 索引逐字一致性核对，响应 QC #3/#4)
|
# TASK: M11b-2d-A3a-1b (A3a-1b 第2轮 §8 索引逐字一致性核对，响应 QC #3/#4/#6/#7)
|
||||||
# NOTE: A3a-1b 重做轮新增（响应 QC #3/#4）：对 §8 证据索引表【全部行】逐行核对「跑的是什么」列反引号内 CMD 原文与各证据文件首行 `# CMD:`（去前缀）逐字一致，含 m11b2d_a3_single_tx_after_revert.txt 首行路径笔误原样照抄行、a1c_damage_forensics 转录件 `# FILE:` 首行；本核对件自身行为自指 SKIP-SELF。核对在树 e36573f 的文档全文上进行。
|
# NOTE: 首行 # CMD 记录长期工具路径 tests/checks/...（不再记一次性 .scratch 路径），与 §8 自指行引用逐字相同（QC #6）。自指行不再 SKIP-SELF：改为「§8 引用 CMD == 脚本实际路径」＋「本件首行 # CMD 去前缀 == §8 引用」闭环比对（QC #7）。共两跑：第一跑在本件生成前完成 12 行核对；本件落盘后以同一命令第二跑，自指闭环比对生效。核对对象为 # PROVEN-TREE 所指文档定稿态。
|
||||||
--- OUTPUT ---
|
|
||||||
L610 tests/evidence/m11b2d_a3_fixture_contract_pytest.txt 一致
|
|
||||||
L611 tests/evidence/m11b2d_a3_fixture_contract_collect_only.txt 一致
|
|
||||||
L612 tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt 一致
|
|
||||||
L613 tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt 一致
|
|
||||||
L614 tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt SKIP-SELF
|
|
||||||
L615 tests/evidence/m11b2d_a3a_single_tx_after_revert_corrected.txt 一致
|
|
||||||
L616 tests/evidence/m11b2d_a3a_single_tx_after_revert_rerun.txt 一致
|
|
||||||
L617 tests/evidence/m11b2d_a3_single_tx_after_revert.txt 一致
|
|
||||||
L618 tests/evidence/m11b2d_a1_pytest.txt 一致
|
|
||||||
L619 tests/evidence/m11b2d_a1_collect_only.txt 一致
|
|
||||||
L620 tests/evidence/m11b2d_a3a_a1c_damage_forensics.txt 一致
|
|
||||||
L621 tests/evidence/m11b2d_a3a_script_cleanup_grep.txt 一致
|
|
||||||
统计：核对行 12，一致 11，跳过(自指/无原文) 1，不一致 0
|
|
||||||
RESULT: ALL_ROWS_CONSISTENT
|
|
||||||
# RC=0
|
# RC=0
|
||||||
|
===== 第一跑（本核对件生成前，§8 全 12 行逐字比对） =====
|
||||||
|
SELF-SCRIPT: tests/checks/m11b2d_a3a1b_cmd_index_consistency.py
|
||||||
|
SELF-EVIDENCE: tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt (exists=no)
|
||||||
|
SELF-CMD-BASE: cd modules/world_sync && ./.venv/bin/python tests/checks/m11b2d_a3a1b_cmd_index_consistency.py
|
||||||
|
L612 tests/evidence/m11b2d_a3_fixture_contract_pytest.txt 一致
|
||||||
|
L613 tests/evidence/m11b2d_a3_fixture_contract_collect_only.txt 一致
|
||||||
|
L614 tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt 一致
|
||||||
|
L615 tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt 一致
|
||||||
|
L616 tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt 一致 §8 自指行 CMD 指向脚本实际路径 tests/checks/m11b2d_a3a1b_cmd_index_consistency.py；本核对件尚未生成（磁盘无 tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt），自指闭环比对留待生成后以同一命令第二跑完成
|
||||||
|
L617 tests/evidence/m11b2d_a3a_single_tx_after_revert_corrected.txt 一致
|
||||||
|
L618 tests/evidence/m11b2d_a3a_single_tx_after_revert_rerun.txt 一致
|
||||||
|
L619 tests/evidence/m11b2d_a3_single_tx_after_revert.txt 一致
|
||||||
|
L620 tests/evidence/m11b2d_a1_pytest.txt 一致
|
||||||
|
L621 tests/evidence/m11b2d_a1_collect_only.txt 一致
|
||||||
|
L622 tests/evidence/m11b2d_a3a_a1c_damage_forensics.txt 一致
|
||||||
|
L623 tests/evidence/m11b2d_a3a_script_cleanup_grep.txt 一致
|
||||||
|
统计：核对行 12，一致 12，跳过(列内无原文可核) 0，不一致 0
|
||||||
|
RESULT: ALL_ROWS_CONSISTENT
|
||||||
|
===== 第二跑（本核对件已落盘，自指闭环比对生效；RC=0） =====
|
||||||
|
SELF-SCRIPT: tests/checks/m11b2d_a3a1b_cmd_index_consistency.py
|
||||||
|
SELF-EVIDENCE: tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt (exists=yes)
|
||||||
|
SELF-CMD-BASE: cd modules/world_sync && ./.venv/bin/python tests/checks/m11b2d_a3a1b_cmd_index_consistency.py
|
||||||
|
L612 tests/evidence/m11b2d_a3_fixture_contract_pytest.txt 一致
|
||||||
|
L613 tests/evidence/m11b2d_a3_fixture_contract_collect_only.txt 一致
|
||||||
|
L614 tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt 一致
|
||||||
|
L615 tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt 一致
|
||||||
|
L616 tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt 一致 §8 自指行 CMD 指向脚本实际路径 tests/checks/m11b2d_a3a1b_cmd_index_consistency.py；自指闭环通过：本核对件首行 `# CMD:` 去前缀后与 §8 自指行引用逐字相同
|
||||||
|
L617 tests/evidence/m11b2d_a3a_single_tx_after_revert_corrected.txt 一致
|
||||||
|
L618 tests/evidence/m11b2d_a3a_single_tx_after_revert_rerun.txt 一致
|
||||||
|
L619 tests/evidence/m11b2d_a3_single_tx_after_revert.txt 一致
|
||||||
|
L620 tests/evidence/m11b2d_a1_pytest.txt 一致
|
||||||
|
L621 tests/evidence/m11b2d_a1_collect_only.txt 一致
|
||||||
|
L622 tests/evidence/m11b2d_a3a_a1c_damage_forensics.txt 一致
|
||||||
|
L623 tests/evidence/m11b2d_a3a_script_cleanup_grep.txt 一致
|
||||||
|
统计：核对行 12，一致 12，跳过(列内无原文可核) 0，不一致 0
|
||||||
|
RESULT: ALL_ROWS_CONSISTENT
|
||||||
|
===== 自指行核对方式与结论（不接受 SKIP 作为一致，QC #7） =====
|
||||||
|
本件首行原文: # CMD: cd modules/world_sync && ./.venv/bin/python tests/checks/m11b2d_a3a1b_cmd_index_consistency.py --evidence tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt
|
||||||
|
§8 自指行引用: # CMD: cd modules/world_sync && ./.venv/bin/python tests/checks/m11b2d_a3a1b_cmd_index_consistency.py --evidence tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt
|
||||||
|
脚本实际路径: /d/pipeline/workspaces/0/sdlc_general/modules/world_sync/tests/checks/m11b2d_a3a1b_cmd_index_consistency.py
|
||||||
|
结论: 自指行按上述两向比对，第一跑=一致(闭环待第二跑)、第二跑=一致(闭环通过)，无 SKIP-SELF 漏检。
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user