docs(batch): correct BAT-025 QC provenance

docs/batches/bat-025_20260715_portfolio-ledger-alembic-migration/implementation.md

@@ -9,7 +9,7 @@
 
 - Initial implementation baseline: `f6195ff8090d8761d467e15f44255642ca350e80`.
 - The previously recorded SHA `850e970` does **not** identify the reviewed implementation and is superseded by the baseline above.
-- The remediation below is deliberately **uncommitted** in this worktree. No push, PR, main merge, production migration, deployment, or service activation was performed.
+- The remediation is committed locally as `779d6f7711d700d6f56be22023cb826cc6f2fe28` on the isolated worktree branch. No push, PR, main merge, production migration, deployment, or service activation was performed.
 
 ## Implemented changes
 

docs/batches/bat-025_20260715_portfolio-ledger-alembic-migration/verification.md

@@ -1,6 +1,6 @@
 # BAT-025 Developer Self-Verification
 
-- Status: **draft — independent QC pending**
+- Status: **draft — initial independent QC failed on provenance/hygiene; re-QC pending**
 - Batch: BAT-025
 - Requirement: REQ-057
 - Date: 2026-07-15
@@ -38,11 +38,12 @@
 - The local container is an isolated test target, not a staging or production database.
 - No production backup/restore, lock-duration measurement under production load, migration run against an operational DB, deploy, or service activation was attempted.
 - The test command uses a transient `httpx2` overlay because this environment's resolved Starlette TestClient requires it while the project declares `httpx`; no dependency source change was made for this batch.
-- Independent `qc-reviewer` must rerun the tests and inspect the uncommitted diff before this document can become a QC verdict.
+- The initial independent QC reproduced the technical evidence but returned FAIL because the then-committed document described the remediation as uncommitted and its test run produced an untracked `uv.lock`. This follow-up corrects provenance/hygiene only; independent re-QC must inspect the follow-up committed diff before a QC verdict can change.
 
 ## Gate result
 
-- Developer self-verification: **ready for independent QC review**.
-- Independent QC: **not yet executed**.
-- `confirm-batch-verification`: **not eligible yet**.
+- Developer self-verification: **complete for committed remediation `779d6f7711d700d6f56be22023cb826cc6f2fe28`**.
+- Initial independent QC: **FAIL** — documentation provenance and untracked `uv.lock` hygiene only; technical ACs reproduced.
+- Independent re-QC: **pending**.
+- `confirm-batch-verification`: **not eligible until re-QC PASS**.
 - M5 release / operational migration: **not started and remains blocked**.