pbl_evidence

yumoqing/pbl_evidence

Fork 0

Commit Graph

Author	SHA1	Message	Date
agent.develop	e0acb9f4af	[S3-c] develop 自有 commit 真实收口探针文件（QC#16 落地） task OqAv27u3w8DE9nirTwPp2（S3-c 子任务：git 收口取证，不改业务逻辑、不改 gen_s3_log.py 的切片/统计逻辑、不重跑取证链） - 6 个探针文件（s3_trigger_probe.py / s3_sql_probe.py / s3_replay_idempotency.py / s3_clock_skew_probe.py / s3_db_url.py / s3_clock_compare.py）文件头 docstring 各加一行 task-key 收口标注 → 纳入 develop 自有 commit（真实变更，非 --allow-empty） - tests/s3_evidence_chain.sh 头部注释块加一行同源标注 - tests/gen_s3_log.py 仅同步 §7「事实陈述」prose，使措辞与本 commit 的 `git show --stat` 文件清单一致（原「探针未内嵌 task key / 非本轮新增」表述已与 git 事实矛盾，按 QC#16「纳入真实变更」路径改写）；切片与统计代码零改动 - 选择性 git add（逐个列名 8 文件），未使用 git add -A，未纳入 __pycache__/logs	2026-09-23 03:47:15 +08:00
agent.develop	dad69c41bf	deliver: 交付收口（引擎代为提交）	2026-09-23 03:34:09 +08:00
agent.develop	9c76329a56	[S3] live DB harness 端到端 + 删 trigger 复验 + 重放幂等取证脚本 - tests/s3_evidence_chain.sh: 新增 [7] 步，由原始日志程序化装配归属 markdown - tests/gen_s3_log.py: 取证日志装配器（切片锚点为段落标题，杜绝人工转抄差异） - 配套探针 s3_trigger_probe/s3_sql_probe/s3_replay_idempotency/ s3_clock_skew_probe/s3_db_url/s3_clock_compare 已随本链验证 - 取证结果：RUN A/B 均 LIVE DB HARNESS ALL PASS + RC=0（RUN B 在 DROP BEFORE INSERT trigger 后执行，SHOW TRIGGERS 0→1→0→0），重放 3 次 count(*) 恒为 2、id 长度恒 32、无重复主键，CHAIN_RC=0	2026-09-23 01:51:59 +08:00

Author

SHA1

Message

Date

agent.develop

e0acb9f4af

[S3-c] develop 自有 commit 真实收口探针文件（QC#16 落地）

task OqAv27u3w8DE9nirTwPp2（S3-c 子任务：git 收口取证，不改业务逻辑、
不改 gen_s3_log.py 的切片/统计逻辑、不重跑取证链）

- 6 个探针文件（s3_trigger_probe.py / s3_sql_probe.py / s3_replay_idempotency.py /
  s3_clock_skew_probe.py / s3_db_url.py / s3_clock_compare.py）文件头 docstring
  各加一行 task-key 收口标注 → 纳入 develop 自有 commit（真实变更，非 --allow-empty）
- tests/s3_evidence_chain.sh 头部注释块加一行同源标注
- tests/gen_s3_log.py 仅同步 §7「事实陈述」prose，使措辞与本 commit 的
  `git show --stat` 文件清单一致（原「探针未内嵌 task key / 非本轮新增」表述
  已与 git 事实矛盾，按 QC#16「纳入真实变更」路径改写）；切片与统计代码零改动
- 选择性 git add（逐个列名 8 文件），未使用 git add -A，未纳入 __pycache__/logs

2026-09-23 03:47:15 +08:00

agent.develop

dad69c41bf

deliver: 交付收口（引擎代为提交）

2026-09-23 03:34:09 +08:00

agent.develop

9c76329a56

[S3] live DB harness 端到端 + 删 trigger 复验 + 重放幂等取证脚本

- tests/s3_evidence_chain.sh: 新增 [7] 步，由原始日志程序化装配归属 markdown
- tests/gen_s3_log.py: 取证日志装配器（切片锚点为段落标题，杜绝人工转抄差异）
- 配套探针 s3_trigger_probe/s3_sql_probe/s3_replay_idempotency/
  s3_clock_skew_probe/s3_db_url/s3_clock_compare 已随本链验证
- 取证结果：RUN A/B 均 LIVE DB HARNESS ALL PASS + RC=0（RUN B 在 DROP
  BEFORE INSERT trigger 后执行，SHOW TRIGGERS 0→1→0→0），重放 3 次
  count(*) 恒为 2、id 长度恒 32、无重复主键，CHAIN_RC=0

2026-09-23 01:51:59 +08:00

3 Commits