--- title: "Navier–Stokes Ancestry Necessity Program 08: Horizon Transmission Rigidity, Fresh-Source Cascade, Budgeted CN3 and Actual-Branch Shadowing Audit" short_title: "NS-ANP 08" series: "Navier–Stokes Ancestry Necessity Program" cycle: "IV" version: "v0.1" date: "2026-08-15" author: "Neo.K / EveMissLab" language: "en" status: "Horizon transmission reduction / fresh-source cascade / actual-branch shadowing audit" epistemic_status: "Shows that horizon transmission collapse is not an independent causal mechanism: through the ANP-03 parent-extraction inequality it factors into source-share atomization, child-state residence blow-up, or partner-amplitude action blow-up. Source-share atomization implies divergent effective source-parent multiplicity; within the established DRC shell grouping this is routed to dissipation-span/driver-action alternatives. Residence blow-up is recursively re-cut by the corrected ANP-06 dual ledger into propagated inheritance or an even shorter fresh-source window. Partner-action blow-up is an explicit action cascade. A horizon-cut source-norm theorem proves that loss of propagated inheritance in shrinking windows forces normalized shell forcing at least of inverse-window order. Under uniform causal budgets plus an actual horizon-persistent seed, ANP-07 compact-child and edge-closure results yield an infinite marked C3 chain. However profile compactness or convergence of normalized finite chains does not by itself shadow an actual chain in the original solution; an abstract counterexample is given. Thus D_HTRANS is removed as primitive, but actual HP1/branch shadowing and scale/global-norm/spatial escapes remain OPEN. Full CN3 Chain Necessity, Finite Obstruction, and Navier-Stokes regularity are NOT proved." canonical_source: "UTF-8 Markdown" --- # Navier–Stokes Ancestry Necessity Program 08 # Horizon Transmission Rigidity, Fresh-Source Cascade, Budgeted CN3 and Actual-Branch Shadowing Audit ## 0. Positioning of this Paper ANP-07 reduced failure of a Horizon-Persistent Child to: $$ \boxed{ D_{\rm HTRANS} \vee D_{\rm HCOMP}. } $$ On the bounded normalized: $$ C3_W $$ branch, a substantial portion of: $$ D_{\rm HCOMP} $$ was already removed by local compactness and Causal Edge Closure. The present paper asks: > Is horizon transmission collapse itself a new causal obstruction? The answer is: $$ \boxed{ \textbf{No.} } $$ Within the established ANP/DRC compiler, transmission collapse is only the visible projection of source atomization, state re-rooting, or action growth. The genuinely unresolved part of strong Chain Necessity becomes: $$ \boxed{ \text{actual-branch horizon persistence} + \text{uncontrolled scale/state/spatial escape}. } $$ --- # 1. Source-parent transmission formula Consider a weighted: $$ C3_W $$ source-parent edge produced by ANP-03. Let: $$ E_c>0 $$ be the child weighted state. Let: $$ \eta $$ be the realized source-carrier share: $$ |\Lambda| \ge \eta E_c. $$ Let: $$ \mathfrak H $$ be the child residence ratio and: $$ \mathcal A $$ the partner-amplitude action. ANP-03 gives an earlier parent state: $$ E_p \ge c \frac{ \eta^2 }{ \mathfrak H \mathcal A^2 } E_c. $$ Define: $$ \boxed{ \vartheta = \frac{ E_p }{ E_c }. } $$ Therefore: $$ \boxed{ \vartheta \ge c \frac{ \eta^2 }{ \mathfrak H \mathcal A^2 }. } $$ --- # 2. CIV-8.1 — Transmission Factorization Theorem ## Theorem 2.1 Let: $$ \{ \mathsf P_n \overset{C3_W}{\longrightarrow} \mathsf C_n \} $$ be a sequence of weighted source-parent edges. If: $$ \boxed{ \vartheta_n\to0, } $$ then after passage to a subsequence at least one of: $$ \boxed{ \eta_n\to0, } $$ $$ \boxed{ \mathfrak H_n\to\infty, } $$ or: $$ \boxed{ \mathcal A_n\to\infty } $$ must hold. ### Proof If instead: $$ \eta_n\ge\eta_0>0, $$ $$ \mathfrak H_n\le H_0, $$ and: $$ \mathcal A_n\le A_0, $$ then: $$ \vartheta_n \ge c \eta_0^2/(H_0A_0^2) > 0, $$ contradicting: $$ \vartheta_n\to0. $$ $\square$ --- # 3. Horizon transmission collapse is composite Define: ### $D_{\rm ATOM}$ $$ \eta_{\max}\to0. $$ ### $D_{\rm REROOT}$ $$ \mathfrak H\to\infty. $$ ### $D_{\rm ACT}$ $$ \mathcal A\to\infty. $$ Then: $$ \boxed{ D_{\rm HTRANS} \subset D_{\rm ATOM} \vee D_{\rm REROOT} \vee D_{\rm ACT}. } $$ Thus: $$ D_{\rm HTRANS} $$ is not a primitive causal mechanism. --- # 4. Positive source shell shares Consider a fresh-source packet whose positive net high-parent shell shares are: $$ \eta_h\ge0. $$ Assume: $$ \boxed{ \Sigma = \sum_h \eta_h \ge \sigma>0. } $$ Define normalized shares: $$ \boxed{ r_h = \eta_h/\Sigma. } $$ Define effective shell-parent multiplicity: $$ \boxed{ \mathfrak M^{src} = \left( \sum_h r_h^2 \right)^{-1}. } $$ Let: $$ \boxed{ \mu = \max_h \eta_h. } $$ --- # 5. CIV-8.2 — Source Atomization / Multiplicity Theorem ## Theorem 5.1 $$ \boxed{ \mathfrak M^{src} \ge \frac{ \Sigma }{ \mu } \ge \frac{ \sigma }{ \mu }. } $$ Hence: $$ \boxed{ \mu\to0 \Longrightarrow \mathfrak M^{src}\to\infty. } $$ ### Proof Since: $$ \sum_h r_h=1, $$ $$ \sum_h r_h^2 \le (\max_h r_h) \sum_h r_h = \max_h r_h = \mu/\Sigma. $$ Invert. $\square$ --- # 6. Interface with DRC many-parent geometry DRC-04 grouped signed source contributions by canonical high-parent shell and showed that unbounded effective transition-shell multiplicity is controlled by dissipation-boundary span. DRC-05 then recompiled the non-absorbable dissipation-boundary branch into low-mode driver-action packets or backward state re-rooting. Therefore, **within that established DRC shell census**: $$ \boxed{ D_{\rm ATOM} \rightsquigarrow R_{\rm MULT} \rightsquigarrow R_{\rm DISS} \rightsquigarrow \text{driver/action ancestry}. } $$ ### Safety This implication is relative to the DRC grouped high-parent-shell architecture. Arbitrary atomization inside one identical shell/time label is not silently identified with shell multiplicity. --- # 7. Residence blow-up Suppose: $$ \boxed{ \mathfrak H_n \to \infty. } $$ By definition there exist: $$ s_n $$ inside the child causal interval such that: $$ \boxed{ e_{k_n}^{\chi_n}(s_n) \ge \frac12 \mathfrak H_n E_{c,n}. } $$ Thus a much larger earlier weighted state is present. However ANP-06 showed that state existence alone is not a causal inheritance statement. The interval must be re-cut with the corrected dual ledger. --- # 8. CIV-8.3 — Residence Re-Cut Theorem ## Theorem 8.1 At each residence-maximizing time: $$ s_n0 $$ be a terminal marked shell amplitude. For: $$ I_n = [a_n,t_n], $$ the ANP-06 ledger is: $$ \boxed{ A_n = \mathcal I_n + \mathcal Q_n, } $$ where: $$ \mathcal I_n $$ is propagated inheritance and: $$ \mathcal Q_n $$ is fresh nonlinear source contribution. Assume: $$ \boxed{ \mathcal I_n \le (1-\sigma)A_n. } $$ Then: $$ \boxed{ \mathcal Q_n \ge \sigma A_n. } $$ --- # 11. Dual contraction The homogeneous shell transport--diffusion propagator is: $$ L^2 $$ contractive for divergence-free drift. Therefore the terminal dual witness satisfies: $$ \boxed{ \|\Phi_n(s)\|_2 \le \|\Phi_{n,c}\|_2 \le 1. } $$ Hence: $$ \left| \langle F_{k_n}(s), \Phi_n(s) \rangle \right| \le \|F_{k_n}(s)\|_2. $$ --- # 12. CIV-8.4 — Fresh-Source Norm Packet Theorem ## Theorem 12.1 If: $$ \mathcal I_n \le (1-\sigma)A_n, $$ then: $$ \boxed{ \int_{I_n} \|F_{k_n}(s)\|_2ds \ge \sigma A_n. } $$ Define the normalized fresh-source packet: $$ \boxed{ \mathscr R_n = \frac1{A_n} \int_{I_n} \|F_{k_n}(s)\|_2ds. } $$ Then: $$ \boxed{ \mathscr R_n \ge \sigma. } $$ $\square$ --- # 13. Fresh-source cascade count For pairwise disjoint horizon windows: $$ I_1,I_2,\ldots, $$ define: $$ \boxed{ \mathscr N_{\rm fresh}(N) = \sum_{n=1}^{N} \mathscr R_n. } $$ If a fixed fresh-source fraction: $$ \sigma>0 $$ is required on each window: $$ \boxed{ \mathscr N_{\rm fresh}(N) \ge \sigma N. } $$ Thus repeated horizon renewal has an unbounded normalized causal-renewal count. This is dimensionless bookkeeping. It is not a claim that one fixed physical forcing norm is nonintegrable. --- # 14. Shrinking-window rate If: $$ |I_n| = \delta_n, $$ then Theorem 12.1 gives the average normalized forcing rate: $$ \boxed{ \frac1{ \delta_nA_n } \int_{I_n} \|F_{k_n}(s)\|_2ds \ge \frac{ \sigma }{ \delta_n }. } $$ Hence for: $$ \delta_n\to0, $$ fresh renewal forces inverse-window source-rate growth. --- # 15. Fresh-source cascade and forced quantitative theory Recent forced Navier--Stokes quantitative work shows that localization-induced forcing is a genuine difficulty in quantitative Carleman propagation: forcing can be amplified at large scales and low-regularity forcing requires additional Caccioppoli control. ANP uses this only as external calibration. Theorems 12.1--14 are direct dual-ledger consequences and do not import a forced Carleman theorem. --- # 16. Horizon budget vector For a marked source edge define: $$ \boxed{ \mathfrak B = ( \eta^{-1}, \mathfrak H, \mathcal A, |\Delta k|, G_{\rm norm}, \Xi, A_{\rm fp} ), } $$ where: ### $\eta^{-1}$ inverse carrier share; ### $\mathfrak H$ child residence; ### $\mathcal A$ partner action; ### $|\Delta k|$ relative frequency jump; ### $G_{\rm norm}$ normalized participating global dyadic state norm; ### $\Xi$ frequency--footprint scale span; ### $A_{\rm fp}$ normalized footprint aperture. --- # 17. Uniform horizon budget Say a horizon branch has budget: $$ B_\ast<\infty $$ if all entries of: $$ \mathfrak B $$ are bounded by: $$ B_\ast $$ at every sufficiently late generation. Then: $$ \eta \ge B_\ast^{-1}, $$ $$ \mathfrak H\le B_\ast, $$ and: $$ \mathcal A\le B_\ast. $$ Therefore: $$ \boxed{ \vartheta \ge c B_\ast^{-5} } $$ up to the fixed compiler constants. --- # 18. CIV-8.5 — Budgeted Horizon Transmission Rigidity ## Theorem 18.1 On a uniformly budgeted horizon branch: $$ \boxed{ D_{\rm HTRANS} \text{ cannot occur}. } $$ More explicitly there exists: $$ \boxed{ \vartheta_\ast(B_\ast)>0 } $$ such that every selected source-parent edge has: $$ \boxed{ \vartheta\ge\vartheta_\ast. } $$ $\square$ --- # 19. Budgeted child compactness The remaining bounded budget coordinates give: - bounded relative frequency offsets; - bounded normalized shell states; - bounded footprint scale span; - bounded aperture; - a transmission floor. These are precisely the type of normalized hypotheses under which ANP-07 proved local node compactness, Causal Edge Closure, and nontrivial edge limits. Therefore the strong-child family is compact after the canonical ANP normalization. --- # 20. CIV-8.6 — Budgeted HPC Theorem ## Theorem 20.1 Let: $$ \mathsf P $$ be an **actual horizon-persistent node**. Assume every sufficiently late horizon gate reachable from: $$ \mathsf P $$ admits a first marked child satisfying one common finite horizon budget: $$ B_\ast. $$ Assume fixed-gate reach is closed under the normalized actual-child compactness topology. Then: $$ \boxed{ \mathsf P \text{ has an actual horizon-persistent child}. } $$ ### Proof Budgeted transmission gives a positive floor. Budgeted normalized node/edge data give compactness and CEC. Apply ANP-07 compact-child Horizon Persistence. $\square$ --- # 21. CIV-8.7 — Budgeted CN3 Theorem ## Theorem 21.1 Assume: 1. there exists an actual horizon-persistent marked node: $$ \mathsf F_0; $$ 2. one uniform horizon budget: $$ B_\ast $$ is available recursively on every horizon-persistent descendant; 3. the actual-child reach relation is closed under the ANP normalized compactness. Then there exists: $$ \boxed{ \Gamma_\infty^{act} } $$ a horizon-directed infinite marked: $$ C3 $$ chain with: $$ \boxed{ t_n\uparrow T_\ast. } $$ If horizon-gate scale thresholds are imposed recursively: $$ \boxed{ k_n\to\infty. } $$ ### Status This is a conditional strong Chain-Necessity theorem. The existence of the initial actual horizon-persistent node remains unproved. $\square$ --- # 22. Failure of the uniform budget If the bounded-budget theorem cannot be applied, at least one coordinate must escape: $$ \boxed{ D_{\rm ATOM} \vee D_{\rm REROOT} \vee D_{\rm ACT} \vee D_{\rm FJUMP} \vee D_{\rm GNORM} \vee D_{\rm SCALE} \vee D_{\rm SPACE}. } $$ The first three are already causally reclassified by Sections 3--14. Thus the genuinely noncompact frontier is concentrated in: $$ \boxed{ D_{\rm FJUMP} \vee D_{\rm GNORM} \vee D_{\rm SCALE} \vee D_{\rm SPACE}. } $$ plus actual HP1/branch realization. --- # 23. Scale-span escape Recall: $$ \boxed{ \Xi = 2^kR. } $$ If: $$ \Xi=O(1), $$ the footprint and shell wavelength can be normalized simultaneously. If: $$ \Xi\to\infty, $$ one footprint contains more and more child wavelengths. This is: $$ \boxed{ D_{\rm SCALE}. } $$ It contains spatial fragmentation/scale-separation behavior not removed by local aperture control. --- # 24. Frequency-jump escape ANP-03 only gives: $$ h \ge k-C_{\rm LP}. $$ There is no universal upper bound on: $$ h-k. $$ Thus: $$ \boxed{ D_{\rm FJUMP} : h-k\to\infty } $$ remains a possible high-high-to-lower-output source geometry. This is not automatically an ancestry failure. It is a normalization/compactness escape. --- # 25. Global normalized state escape Even if the child weighted state is normalized to one, global participating shell norms may diverge. Define: $$ \boxed{ D_{\rm GNORM}. } $$ Such global reservoir growth can destroy the bounded normalized profile class while leaving the local weighted causal state nontrivial. --- # 26. Actual-branch shadowing Profile decomposition may produce convergent normalized finite chains. To conclude: $$ \Gamma_\infty^{act}, $$ one needs that compatible limit prefixes are realized by one actual chain of nodes/edges in the original solution. Define: $$ \boxed{ \textbf{ABS — Actual-Branch Shadowing}. } $$ --- # 27. Abstract shadowing no-go ## Theorem 27.1 Compactness of a quotient/profile space plus convergence of finite path profiles does not imply Actual-Branch Shadowing. ### Construction Use the rooted tree: $$ \mathcal T = \{ (n_0,n_1,\ldots,n_m): n_0>n_1>\cdots>n_m\ge0 \}. $$ It has finite paths of arbitrary depth but no infinite branch. Map every node continuously to the same point: $$ x_\ast $$ in a one-point compact profile space. Then every finite path profile converges perfectly and every profile edge is closed. Nevertheless no actual infinite path exists in: $$ \mathcal T. $$ Thus: $$ \boxed{ \text{profile compactness} + \text{profile edge closure} \not\Rightarrow \text{actual-branch shadowing}. } $$ $\square$ --- # 28. Consequence for critical profile literature Critical profile decomposition and ancient-solution extraction are valuable for: - organizing scaling/translation defects; - obtaining nontrivial renormalized limits; - constructing critical/minimal blow-up elements under hypothetical blow-up. They do not by themselves prove: $$ \boxed{ ABS. } $$ An additional same-solution realization/shadowing theorem is required. --- # 29. Actual HP1 remains distinct Universal entry proves: $$ \boxed{ \forall q \quad \exists \mathsf F_q\in\mathcal H_q. } $$ This does not imply: $$ \boxed{ \exists \mathsf P \quad r_H(\mathsf P)=\infty. } $$ That implication is exactly: $$ \boxed{ HP1. } $$ ANP-08 does not prove it. --- # 30. Causal flux versus actual branch ANP-07/08 prove that across shrinking horizon cuts: - propagated causal contribution cannot disappear without fresh source; - fresh source has a quantitative norm packet; - transmission collapse is paid by atomization, residence growth, or action growth. Therefore: $$ \boxed{ \text{horizon causal flux is unavoidable}. } $$ But: $$ \boxed{ \text{unavoidable causal flux} \not\Rightarrow \text{one actual persistent lineage}. } $$ The remaining difference is actual-branch topology. --- # 31. CIV-8.8 — Strong Chain-Necessity Reduction ## Theorem 31.1 Within the current ANP/DRC architecture: $$ \boxed{ \operatorname{Blowup}(T_\ast) } $$ implies: $$ \boxed{ CN3 \vee \mathfrak E_H, } $$ where the remaining horizon escape set may be taken as: $$ \boxed{ \mathfrak E_H = HP1_{\rm fail} \vee ABS_{\rm fail} \vee D_{\rm FJUMP} \vee D_{\rm GNORM} \vee D_{\rm SCALE} \vee D_{\rm SPACE} \vee \mathfrak A_{\rm cascade}. } $$ Here: $$ \mathfrak A_{\rm cascade} $$ collects the already-classified atomization/driver/amplitude/fresh-source action cascades. ### Meaning Horizon transmission collapse itself is removed from the primitive residual set. $\square$ --- # 32. Relation to dissipation-wavenumber theory Cheskidov--Shvydkoy separate low-mode dynamics from the viscosity-dominated high-frequency range through a dissipation wavenumber. This remains the standard external calibration for routing many-parent/dissipation-span alternatives into a low-mode driver mechanism. ANP-08 does not claim that the resulting driver action is finite. A hypothetical singularity may require its divergence. --- # 33. Relation to terminal shell criteria Cheskidov--Dai give a regularity criterion based on the terminal time-integrated activity of arbitrarily high vorticity shells. This is consistent with the ANP horizon picture: $$ \boxed{ \text{late high-frequency causal activity cannot disappear}. } $$ It does not identify a unique actual ancestry lineage. --- # 34. Relation to strain-vorticity depletion Miller's strain--vorticity identity and regular interaction model show that not every large nominal nonlinear interaction acts as an effective singularity-driving source. Thus the ANP source/action cascade remains coupled to depletion/model-cone classification. Large source norms are not automatically labelled blow-up causes. --- # 35. Forced localization calibration Barker--Popkin obtain quantitative estimates for forced Navier--Stokes equations where forcing is generated by localization. Their analysis emphasizes that forcing can be amplified under quantitative Carleman propagation and requires additional local estimates. This supports the ANP policy of retaining fresh/localized source packets explicitly rather than treating them as negligible localization errors. --- # 36. Current CN hierarchy ### CN0 Full-solution spine: $$ \mathrm{PROVED/TRIVIAL}. $$ ### CN1 Universal dangerous-state entry: $$ \mathrm{PROVED}. $$ ### CN2 Arbitrary finite-depth corrected marked C3 ancestry: $$ \mathrm{PROVED}. $$ ### CN3 Actual horizon-directed infinite marked C3 ancestry: $$ \boxed{ \mathrm{OPEN}. } $$ ### CN4 Finite Obstruction: $$ \boxed{ \mathrm{OPEN}. } $$ --- # 37. What ANP-08 actually closes The following is removed as an independent final obstacle: $$ \boxed{ D_{\rm HTRANS}. } $$ It is recompiled into: - source atomization/multiplicity; - corrected re-root/fresh-source renewal; - partner-action cascade. The following are partially controlled: - HP3 Causal Edge Closure; - HP4 nontriviality; on bounded normalized branches. The unresolved core is actual branch persistence/shadowing under unbounded scale/global/spatial escape. --- # 38. Next paper The next paper should not yet return to Finite Obstruction. It should attack the actual topology of the remaining branch space: $$ \boxed{ \textbf{ NS-ANP 09 — Scale-Fragmentation Rigidity, Actual-Branch Shadowing, Horizon Inverse Limits and CN3 Final Audit }. } $$ Primary tasks: 1. control or classify: $$ D_{\rm FJUMP}; $$ 2. control: $$ D_{\rm GNORM}; $$ 3. control: $$ D_{\rm SCALE}, D_{\rm SPACE}; $$ 4. formulate actual-node inverse-limit/shadowing conditions; 5. test whether finite-energy/smooth-prehistory structure gives HP1; 6. decide whether CN3 can close or whether actual-branch shadowing is a genuine irreducible gap. Finite Obstruction moves to ANP-10. --- # 39. Formal status ledger $$ \boxed{ \begin{aligned} \text{Transmission Factorization} &:\ \mathrm{PROVED},\\ D_{\rm HTRANS}\text{ primitive status} &:\ \mathrm{REMOVED},\\ \text{source atomization}\Rightarrow\text{effective multiplicity} &:\ \mathrm{PROVED},\\ \text{DRC atomization-to-driver routing} &:\ \mathrm{REDUCTION/PRIOR\ ARCHITECTURE},\\ \text{Residence Re-Cut} &:\ \mathrm{PROVED},\\ \text{Fresh-Source Norm Packet} &:\ \mathrm{PROVED},\\ \text{Fresh-Source Cascade Count} &:\ \mathrm{PROVED},\\ \text{Budgeted Horizon Transmission Rigidity} &:\ \mathrm{PROVED},\\ \text{Budgeted HPC} &:\ \mathrm{PROVED\ CONDITIONAL\ ON\ HP1/REACH\ CLOSURE},\\ \text{Budgeted CN3} &:\ \mathrm{PROVED\ CONDITIONAL},\\ \text{Actual-Branch Shadowing from profile compactness alone} &:\ \mathrm{NO\mbox{-}GO},\\ HP1 &:\ \mathrm{OPEN},\\ ABS &:\ \mathrm{OPEN},\\ D_{\rm FJUMP} &:\ \mathrm{OPEN},\\ D_{\rm GNORM} &:\ \mathrm{OPEN},\\ D_{\rm SCALE} &:\ \mathrm{OPEN},\\ D_{\rm SPACE} &:\ \mathrm{OPEN},\\ CN3 &:\ \mathrm{OPEN},\\ \text{Finite Obstruction} &:\ \mathrm{OPEN},\\ \text{Navier--Stokes regularity} &:\ \mathrm{NOT\ PROVED}. \end{aligned} } $$ --- # 40. Conclusion ANP-08 removes horizon transmission collapse as a primitive mystery. For a weighted C3 source-parent edge: $$ \vartheta \gtrsim \frac{ \eta^2 }{ \mathfrak H\mathcal A^2 }. $$ Hence transmission can collapse only if the source fragments, the child has a much larger earlier state, or the partner action grows. Each of these alternatives already has a causal interpretation. If propagated inheritance disappears in shrinking horizon windows, fresh nonlinear source must replace a fixed fraction of the child state and pays: $$ \boxed{ \frac1{ \delta A } \int \|F_k\|_2 \gtrsim \delta^{-1}. } $$ So causal influence never vanishes. It becomes increasingly renewed. Under uniform source/state/scale/spatial budgets, transmission is rigid, the strong child family is compact, C3 edges are closed, and an **already existing horizon-persistent node** generates an infinite marked chain. What remains missing is the existence/shadowing of that actual branch under the unbounded escape regimes. Critical profile limits do not solve this by themselves. Thus the last CN3 frontier has changed from: > Can causal transmission persist? to: > Can actual same-solution branch identity survive scale/global/spatial fragmentation all the way to the singular horizon? That is ANP-09. --- # References 1. A. Cheskidov, R. Shvydkoy, *A unified approach to regularity problems for the 3D Navier--Stokes and Euler equations: the use of Kolmogorov's dissipation range*, arXiv:1102.1944. 2. A. Cheskidov, M. Dai, *Regularity criteria for the 3D Navier--Stokes and MHD equations*, arXiv:1507.06611. 3. E. Miller, *On the interaction of strain and vorticity for solutions of the Navier--Stokes equation*, arXiv:2407.02691. 4. T. Barker, H. Popkin, *Quantitative estimates for the forced Navier--Stokes equations and applications*, arXiv:2602.09951. 5. I. Gallagher, G. S. Koch, F. Planchon, *A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier--Stokes regularity criterion*, arXiv:1012.0145. 6. H. Bahouri, J.-Y. Chemin, I. Gallagher, *Stability by rescaled weak convergence for the Navier--Stokes equations*, arXiv:1310.0256. 7. D. Albritton, T. Barker, *On local Type I singularities of the Navier--Stokes equations and Liouville theorems*, arXiv:1811.00502. 8. T. Tao, *Quantitative bounds for critically bounded solutions to the Navier--Stokes equations*, arXiv:1908.04958. 9. `NS_ANP_06_SingularHorizon_ExtractionAudit_v0.1.md`. 10. `NS_ANP_07_HorizonPersistent_BranchExtraction_v0.1.md`.