保留同一来源分批导入后的覆盖统计 #27

Merged

Zayden-Jung merged 2 commits from codex/incremental-coverage into main

2026-11-08 15:10:17 +00:00

Author	SHA1	Message	Date
codex-bot	71d3cf0590	Verify incremental coverage rejects a concurrent parent update Metadata integrity checks / metadata (push) Successful in 1m18s Details	2026-11-08 17:33:59 +08:00
codex-bot	ee140cfd40	Preserve source coverage when importing incremental metadata batches Metadata integrity checks / metadata (push) Successful in 1m18s Details	2026-11-08 17:31:12 +08:00