gHashTag · gHashTag · May 12, 2026
diff --git a/docs/phd/AUDIT_REPORT.md b/docs/phd/AUDIT_REPORT.md
@@ -40,12 +40,13 @@ https://raw.githubusercontent.com/gHashTag/trios/feat/phd-v5-tectonic-fix/assets
 | Приложение | Файл | Нужная иллюстрация |
 |---|---|---|
 | C — Golden Benchmark | `C-golden-benchmark.tex` | `app-c-acknowledgments.png` (есть в репо, не подключена) |
-| F — FPGA Bitstream | `F-fpga-bitstream.tex` | требуется новая (макет bitstream-архива) |
+| F — Coq Citation Map | `F-coq-citation-map.tex` | требуется новая (сводная статистика Coq-корпуса: 10 .v / 48 ствр / 35 Qed; в PASS-8 R5-honest сломанная ссылка на `app-f-bitstream-archive.png` убрана — PNG существует только на ветке `feat/illustrations`, плюс тематически неверно: bitstream-архив в Coq-citation appendix) |
+| M — FPGA Bitstream | `M-fpga-bitstream.tex` | требуется новая (макет bitstream-архива; бывший именованный файл `app-f-bitstream-archive.png` / после PASS-8 предложено `app-m-bitstream-archive.png` — PNG лежит только на `feat/illustrations`, в файле стоит R5-honest TODO(LD)) |
 | N — Zenodo DOI | `N-zenodo-doi.tex` | `app-h-zenodo-doi-registry.png` (лежит на ветке `feat/illustrations`, не в `main`; в PASS-7 R5-honest `\includegraphics` убран во избежание silent-drop в tectonic — см. `N-zenodo-doi.tex`) |
 | K — Agent Memory | `K-agent-memory.tex` | требуется новая (схема памяти 27-агентного улья) |
 | L — Pollen Channel | `L-pollen-channel.tex` | требуется новая (Pollen-канал ↔ Railway flow) |
 
-**Действие:** 2 иллюстрации (C, H) уже лежат в `assets/illustrations/` — нужно только подключить через `\includegraphics`. 3 иллюстрации (F, K, L) нужно сгенерировать.
+**Действие:** 1 иллюстрация (C) уже лежит в `assets/illustrations/` — нужно только подключить через `\includegraphics`. 4 иллюстрации (F Coq citation map summary, M FPGA bitstream, K agent memory, L pollen channel) нужно сгенерировать. **PASS-8 R5 note:** N-zenodo-doi (уже исправлен в PASS-7) + F-coq-citation-map + M-fpga-bitstream все имеют PASS-N TODO(LD) после удаления сломанных `\includegraphics` в рамках phd-pdf-images-gate.
 
 ---
 

diff --git a/docs/phd/appendix-G-expansion-audit.md b/docs/phd/appendix-G-expansion-audit.md
@@ -89,7 +89,7 @@ Phase 1 cross-reference invariants are **preserved**. The new `\ref{app:F}`,
 | 2.4 | AP.D Trinity↔Flos Aureus symmetry proof table | **DONE pre-existing** (6,246 B; symmetry table present, proof in §D.2) |
 | 2.5 | AP.E Lexicon constants | **deferred to Neon SSOT** (lesson #2, #5) |
 | **2.6** | **AP.G INV-1..7 + Zenodo DOIs** | **THIS LANE** ✅ 18,560 B |
-| 2.7 | App.F FPGA bitstream + SHA-256 | open (4,932 B → ≥8 KB target) |
+| 2.7 | App.M FPGA bitstream + SHA-256 (PASS-8 R5: renamed App.F→App.M to resolve appendix collision after App.F became Coq Citation Map; appendix-F-fpga-expansion-audit.md renamed accordingly) | open (4,932 B → ≥8 KB target) |
 | 2.8 | App.N 8 Zenodo DOI registry (PASS-7 R5: renamed H→N + reduced 13→8 description bundles per PASS-6 community-SOT alignment) | open (4,607 B) |
 | 2.9 | App.I XDC pin map | open (4,435 B) |
 | 2.10 | App.J Troubleshooting | open (6,100 B) |

diff --git a/docs/phd/appendix-F-fpga-expansion-audit.md → docs/phd/appendix-M-fpga-expansion-audit.md b/docs/phd/appendix-F-fpga-expansion-audit.md → docs/phd/appendix-M-fpga-expansion-audit.md
@@ -1,4 +1,13 @@
-# Appendix F (FPGA bitstream) Expansion Audit · Phase 2 STUB-KILL task 2.7 · trios#380
+# Appendix M (FPGA bitstream) Expansion Audit · Phase 2 STUB-KILL task 2.7 · trios#380
+
+<!-- PASS-8 R5-honest (2026-05-12): file renamed from `appendix-F-fpga-expansion-audit.md`
+     to `appendix-M-fpga-expansion-audit.md` to match the post-rename appendix identity
+     (App.F = Coq Citation Map; App.M = FPGA Bitstream Archive). The body text below
+     was authored when the FPGA appendix was still labelled F; cross-references that
+     are unambiguously about the FPGA bitstream appendix have been updated to App.M.
+     References to the AUDIT process itself (which historically tracked task 2.7
+     against App.F) are preserved as-is for provenance, with this banner explaining
+     the rename. -->
 
 **Branch:** `feat/phd-phase2-stubkill-2-7` (stacked on `feat/phd-phase2-stubkill-2-9`, tip `fede810`)
 **Author:** Dmitrii Vasilev `<raoffonom@icloud.com>`, ORCID 0009-0008-4294-6159

diff --git a/docs/phd/appendix/F-coq-citation-map.tex b/docs/phd/appendix/F-coq-citation-map.tex
@@ -10,10 +10,16 @@
 
 \section{Summary statistics}
 
-\begin{figure}[H]
-\centering
-\includegraphics[width=0.92\textwidth,keepaspectratio]{app-f-bitstream-archive.png}
-\end{figure}
+% PASS-8 R5-honest (2026-05-12): removed broken \includegraphics block.
+% The figure `app-f-bitstream-archive.png` is (a) thematically wrong for the
+% Coq Citation Map appendix (it depicts the FPGA bitstream archive, which
+% belongs in App.M not App.F), and (b) the PNG file does not exist on `main`
+% (it lives only on branch `feat/illustrations`, blob 778610a4...). Per the
+% phd-pdf-images-gate skill, tectonic silently skips missing graphics and
+% exits 0, leaving a broken figure invisible in the rendered PDF.
+% TODO(LD): commission a proper App.F summary-statistics blueprint figure
+% (Coq corpus: 10 .v files, 48 statements, 35 Qed, 0 Admitted) via the
+% phd-architectural-blueprint-figures skill.
 
 \begin{quote}\itshape
 ``Beware of bugs in the above code; I have only proved it correct, not tried it.''