diff --git a/docs/development/pr-drafts/measurement-json-reload.md b/docs/development/pr-drafts/measurement-json-reload.md
index 65e70aa0..aeef048b 100644
--- a/docs/development/pr-drafts/measurement-json-reload.md
+++ b/docs/development/pr-drafts/measurement-json-reload.md
@@ -2,9 +2,12 @@
 
 Target: `Akkudoktor-EOS/EOS:main`.
 Local branch: `fix/measurement-json-reload`.
-Local head: `bdc754d` (rebased onto main `4a37244`).
+Local head: `ce132ea` (based on main `4a37244`).
 Status: published with explicit user approval as [PR #1322](https://github.com/Akkudoktor-EOS/EOS/pull/1322).
-One commit, two files; published head and diff verified. CI started; not merged.
+Two commits, two files; published head and diff verified. Not merged.
+The second commit adds an explicit non-null timestamp assertion after CI mypy
+flagged the test. All 49 local tests still pass. Pre-commit (including mypy),
+CodeQL and Docker build passed on ce132ea; full CI pytest is still running.
 
 ## Proposed PR body
 
diff --git a/docs/development/pr-workflow.md b/docs/development/pr-workflow.md
index df2b6a6f..6ffa415c 100644
--- a/docs/development/pr-workflow.md
+++ b/docs/development/pr-workflow.md
@@ -8,7 +8,7 @@ Die übrige Integration steht weiterhin auf dem zuvor geprüften `7ebe6d7`.
 Ein unabhängiger, lokal getesteter PR ist veröffentlicht: `fix/measurement-json-reload`
 auf aktuellem main. Sein Worktree ist `../EOS-pr-measurement-json`; er enthält nur
 zwei geänderte Dateien. Der veröffentlichte [PR #1322](https://github.com/Akkudoktor-EOS/EOS/pull/1322)
-enthält Commit `bdc754d`. Der PR-Text steht in
+enthält zwei Commits bis `ce132ea`. Der PR-Text steht in
 [measurement-json-reload.md](pr-drafts/measurement-json-reload.md).
 
 Das ist ein konkreter Einstieg in den PR-Workflow. Die vollständige Übernahme aller