--- title: "Navier–Stokes Ancestry Necessity Program 09：Scale-Fragmentation Rigidity、Actual Horizon Inverse Limits、Causal-Forest Necessity 與 CN3 Final Audit" short_title: "NS-ANP 09" series: "Navier–Stokes Ancestry Necessity Program" cycle: "IV" version: "v0.1" date: "2026-08-15" author: "Neo.K / EveMissLab" language: "zh-TW" status: "Cycle-IV final Chain-Necessity audit / causal-forest theorem / atomic-lineage frontier" epistemic_status: "Corrects the dangerous-mark semantics of the horizon gates and distinguishes positive causal ancestry from dangerous-certified horizon recurrence. Proves an actual Horizon Causal Forest Necessity theorem: under a hypothetical finite singularity, the union of all corrected finite C3 histories ending at Type-I or non-Type-I certified dangerous horizon seeds is an actual pre-singularity causal DAG in the original solution with terminals at arbitrarily late times and unbounded singular scales. Proves an actual inverse-limit sufficient theorem for atomic CN3 using nonempty compact actual prefix spaces with continuous surjective truncation maps. Shows that profile-quotient compactness is insufficient for this actual inverse limit. Reclassifies temporal Zeno nonprogress into fresh-source renewal when propagated influence fails across fixed cuts. Reclassifies unbounded relative frequency jumps into balanced high-high down-transfer and, relative to the DRC dissipation-wavenumber architecture, into viscous absorption or dissipation-span/driver debt. The irreducible atomic-lineage frontier is diffuse horizon branching/profile fragmentation: actual dangerous causality may exist as a horizon-unbounded forest without a single atomic infinite branch. Therefore universal causal-forest necessity is proved relative to ANP definitions, while strong atomic CN3, Finite Obstruction, and Navier-Stokes regularity remain OPEN." canonical_source: "UTF-8 Markdown" --- # Navier–Stokes Ancestry Necessity Program 09 # Scale-Fragmentation Rigidity、Actual Horizon Inverse Limits、Causal-Forest Necessity 與 CN3 Final Audit ## 0. 本文定位 ANP-08 removed: $$ D_{\rm HTRANS} $$ as an independent primitive residual. The remaining strong-chain problem involved: - actual branch persistence; - scale/frequency fragmentation; - global-state/profile escape; - spatial fragmentation; - fresh/action cascades. Before further compactness work, two semantic corrections are necessary. First: $$ \boxed{ \text{positive high-frequency state} \neq \text{dangerous certified state}. } $$ Second: $$ \boxed{ \text{actual causal forest} \neq \text{one atomic causal lineage}. } $$ The present paper makes these distinctions formal and identifies the strongest universal ancestry theorem currently supported. --- # 1. Positive-state ancestry versus dangerous-state recurrence A smooth pre-singularity solution may have: $$ e_k^\chi(t)>0 $$ at arbitrarily large: $$ k, $$ while those tails are arbitrarily small. Therefore positivity alone may be used to preserve causal provenance, but not to certify singular danger. Define: $$ \boxed{ \textbf{positive causal node} } $$ as a legal ANP Footprint/Dual Node with a positive causal observable. Define separately: $$ \boxed{ \textbf{dangerous-certified node} } $$ as a node carrying one of the quantitative singular-entry certificates below. --- # 2. Type-I dangerous certificate In the Type-I branch, use the absolute UV core certificate: $$ \boxed{ R \| P_{>J}\omega(t) \|_{L^2(B(x,R))}^2 \ge c(M)>0, } $$ with: $$ \boxed{ 2^JR \asymp_M 1. } $$ The certificate is inherited from the Barker--Prange/DRC Type-I entry architecture. Call it: $$ \boxed{ \mathsf{Cert}_{I}. } $$ --- # 3. Non-Type-I dangerous certificate In the non-Type-I branch, ANP-04 gives times: $$ t_n\uparrow T_\ast, $$ with: $$ M_n = \|u(t_n)\|_{L^{3,\infty}} \to\infty, $$ thresholds: $$ J_n\to\infty, $$ and canonical seed states satisfying: $$ \boxed{ \mathcal E_n^{seed} \ge c M_n^4/E_2^2. } $$ Call the corresponding adaptive Lorentz/UV certificate: $$ \boxed{ \mathsf{Cert}_{NI}. } $$ --- # 4. Certified horizon gates Define: $$ \boxed{ \widehat{\mathcal H}_q } $$ as the set of legal ANP nodes satisfying: 1.: $$ T_\ast-2^{-q} arbitrarily finite-depth positive C3 ancestry behind a dangerous-certified terminal node. Current status: $$ \boxed{ CN2^+ : \mathrm{PROVED}. } $$ --- # 7. Strong CN3 semantics Define: $$ \boxed{ CN3_{\rm Atomic} } $$ as the existence of one actual infinite pre-singularity C3 chain: $$ \Gamma_\infty = \{ \mathsf F_n \}, $$ together with a cofinal subsequence: $$ \{ \mathsf F_{n_j} \} $$ such that: $$ \boxed{ \mathsf F_{n_j} \in \widehat{\mathcal H}_{q_j}, \qquad q_j\to\infty. } $$ Thus only a cofinal horizon subsequence must be dangerous-certified. Intermediate causal parents need only be legal and quantitatively nontrivial for their edge. --- # 8. Actual horizon causal forest Let: $$ \mathscr G_H $$ be the union of **all actual corrected finite C3 paths** in the original solution whose terminal node belongs to some: $$ \widehat{\mathcal H}_q. $$ The node set is: $$ \boxed{ V_H = \bigcup \{ V(\Gamma): \Gamma \text{ finite actual C3 path ending in } \widehat{\mathcal H}_q \}. } $$ The edge set is the corresponding union: $$ \boxed{ E_H = \bigcup \{ E(\Gamma) \}. } $$ All edges are strictly forward in physical time. Therefore: $$ \mathscr G_H = (V_H,E_H) $$ is a directed acyclic graph. --- # 9. CIV-9.1 — Horizon Causal Forest Necessity ## Theorem 9.1 Assume a hypothetical finite singularity at: $$ T_\ast. $$ Relative to the ANP entry and corrected C3 continuation architecture, the actual causal graph: $$ \mathscr G_H $$ satisfies: 1. every node/edge belongs to the original Navier--Stokes solution; 2. every physical edge lies strictly before: $$ T_\ast; $$ 3. dangerous-certified terminal nodes occur arbitrarily close to: $$ T_\ast; $$ 4. their singular scales are unbounded; 5. behind every dangerous-certified terminal and every finite: $$ N, $$ there exists a corrected positive C3 ancestry path of depth: $$ N. $$ Therefore: $$ \boxed{ \textbf{Horizon Causal Forest Necessity} : \mathrm{PROVED} } $$ relative to the ANP definitions. ### Safety The theorem does not assert that: $$ \mathscr G_H $$ contains an infinite atomic branch. $\square$ --- # 10. Causal forest versus atomic lineage A singular formation process may be: ### atomic-lineage dominated One causal lineage survives through arbitrarily late dangerous gates. ### diffuse-forest dominated Dangerous terminal states remain causally explainable, but their ancestry repeatedly branches, renews, or migrates so that no one atomic lineage survives all horizon gates. Thus: $$ \boxed{ \text{causal necessity} } $$ and: $$ \boxed{ \text{atomic-lineage necessity} } $$ are different statements. --- # 11. Causal Forest Necessity notation Define: $$ \boxed{ CN_{\rm Forest} } $$ as Horizon Causal Forest Necessity. Then: $$ \boxed{ CN_{\rm Forest} : \mathrm{PROVED}. } $$ Define: $$ \boxed{ CN_{\rm Atomic} = CN3_{\rm Atomic}. } $$ Then: $$ \boxed{ CN_{\rm Atomic} : \mathrm{OPEN}. } $$ --- # 12. Temporal depth is not temporal span An ancestry graph may have infinitely many edges in a finite time slab. Thus: $$ \boxed{ \text{graph depth} \neq \text{physical time span}. } $$ A backward chain may satisfy: $$ t_00, $$ the corrected dual ledger gives: $$ \boxed{ A(t) = \mathcal I(\tau,t) + \mathcal Q(\tau,t). } $$ If: $$ \mathcal I(\tau,t) \le (1-\sigma)A(t), $$ then: $$ \boxed{ \mathcal Q(\tau,t) \ge \sigma A(t). } $$ --- # 14. CIV-9.2 — Zeno-Cut Reclassification ## Theorem 14.1 Suppose a family of late dangerous-certified terminal witnesses has no fixed positive propagated fraction across cuts: $$ \tau_nQ(t)+L, $$ the scale-local high--high interaction is viscosity-small/absorbable. ### Non-absorbed Otherwise: $$ h\le Q(t)+O_L(1). $$ If simultaneously: $$ h-k\gg1, $$ then: $$ \boxed{ Q(t)-k \ge h-k-O_L(1) \gg1. } $$ Thus large frequency jump becomes large dissipation-boundary span. --- # 18. CIV-9.4 — Frequency-Jump Reclassification ## Theorem 18.1 Relative to the DRC dissipation-range architecture: $$ \boxed{ D_{\rm FJUMP} \subset \text{VISCOSITY-ABSORB} \vee D_{\rm QSPAN}. } $$ The DRC-05 height/residence analysis routes: $$ D_{\rm QSPAN} $$ to dissipation-boundary residence and low-mode driver-action debt. Therefore: $$ \boxed{ D_{\rm FJUMP} } $$ is removed as an independent final CN3 residual. ### Safety This is a reduction relative to the established DRC scale-local source census. $\square$ --- # 19. Remaining profile-fragmentation class Define: $$ \boxed{ D_{\rm PROF} = D_{\rm GNORM} \vee D_{\rm SCALE} \vee D_{\rm SPACE}. } $$ ### $D_{\rm GNORM}$ Normalized global participating shell norms diverge. ### $D_{\rm SCALE}$ The footprint/wavelength span: $$ \Xi=2^kR $$ diverges. ### $D_{\rm SPACE}$ Normalized weighted-state or footprint tightness fails under the actual-node normalization. This is the remaining scale/space/profile fragmentation class. --- # 20. Why global-norm escape is not local-state disappearance DRC-06 already showed that global dilution/global reservoir inflation does not erase an absolute local dangerous state. Thus: $$ D_{\rm GNORM} $$ is not a local ancestry-existence failure. In ANP-09 it appears only as a compactness/profile-splitting obstruction for atomic branch extraction. --- # 21. Weighted-state tail coordinate Let: $$ \psi $$ be a normalized parent/child footprint. Define: $$ \boxed{ \mathcal T_{\rm state}(K) = \frac{ \int_{ |x-c_\psi|>K } \psi(x) |f(x)|^2dx }{ \int \psi|f|^2dx }. } $$ A family is weighted-state tight if: $$ \boxed{ \lim_{K\to\infty} \sup_n \mathcal T_{\rm state}^{(n)}(K) = 0. } $$ Weight-mass aperture alone does not imply this state-tail property. Therefore: $$ D_{\rm SPACE} $$ remains a genuine compactness coordinate. --- # 22. Spatial fragmentation alternative On a weighted-state-tight branch, a bounded normalized footprint may be covered at shell wavelength scale. If one cell carries a fixed fraction of the weighted shell state, recentering produces a wavelength-scale strong child. If no cell carries a fixed fraction, the effective spatial state multiplicity diverges. Define this as: $$ \boxed{ D_{\rm SATOM}. } $$ Thus on the tight branch: $$ \boxed{ D_{\rm SCALE} \Longrightarrow \text{STRONG-CELL} \vee D_{\rm SATOM}. } $$ No contradiction is claimed for: $$ D_{\rm SATOM}. $$ It is spatial causal fragmentation. --- # 23. Marked actual prefix Fix an integer: $$ q_0. $$ A marked actual prefix through gate: $$ q\ge q_0 $$ is a tuple: $$ \boxed{ \mathbf P_q = ( \mathsf F_{q_0}, \mathsf F_{q_0+1}, \ldots, \mathsf F_q; \Gamma_{q_0,q} ), } $$ where: 1.: $$ \mathsf F_r\in \widehat{\mathcal H}_r; $$ 2. the nodes occur in increasing physical time; 3.: $$ \Gamma_{q_0,q} $$ is one actual C3 path in the original solution connecting the designated gate nodes. This is much stronger than one finite ancestry behind a single terminal seed. --- # 24. Actual prefix spaces Let: $$ \boxed{ \mathscr P_q } $$ be the space of all marked actual prefixes through gate: $$ q. $$ Define the truncation map: $$ \boxed{ \pi_{q+1,q}: \mathscr P_{q+1} \to \mathscr P_q } $$ by deleting the final designated gate node and the final path segment. --- # 25. Actual inverse system The family: $$ \boxed{ ( \mathscr P_q, \pi_{q+1,q} ) } $$ is called an **actual horizon inverse system** when: 1. every: $$ \mathscr P_q $$ contains only nodes/edges from the original solution; 2.: $$ \mathscr P_q $$ is compact Hausdorff in the chosen actual-node topology; 3.: $$ \pi_{q+1,q} $$ is continuous; 4. every bonding map is surjective. Surjectivity means every actual prefix can be extended to the next dangerous gate. This is precisely an actual extension/shadowing property. --- # 26. CIV-9.5 — Actual Horizon Inverse-Limit Theorem ## Theorem 26.1 If: $$ ( \mathscr P_q, \pi_{q+1,q} ) $$ is a nonempty actual horizon inverse system for all: $$ q\ge q_0, $$ then the inverse limit: $$ \boxed{ \varprojlim \mathscr P_q } $$ is nonempty. Every element of the inverse limit defines one actual infinite: $$ C3 $$ chain with a dangerous-certified node in every gate: $$ \widehat{\mathcal H}_q. $$ Therefore: $$ \boxed{ CN3_{\rm Atomic} } $$ holds. ### Proof The product: $$ \prod_{q\ge q_0} \mathscr P_q $$ is compact by Tychonoff. The compatibility equations: $$ \pi_{q+1,q}(P_{q+1})=P_q $$ define closed subsets. Surjectivity gives the finite-intersection property. Hence their intersection is nonempty. Because every coordinate prefix is actual and the compatibility relation is literal truncation, the resulting chain lies in the original solution rather than merely in a profile quotient. $\square$ --- # 27. What the inverse-limit theorem exposes The theorem does not magically prove CN3. It isolates three exact requirements: ### IL1 — Multi-gate prefix nonemptiness Actual dangerous nodes at successive gates must be connected by one actual C3 history. ### IL2 — Actual prefix compactness Compactness must hold before quotienting away branch identity. ### IL3 — Extension/surjectivity Every surviving actual prefix must extend to later gates. IL3 is an inverse-limit form of Horizon-Persistent Child / Actual-Branch Shadowing. --- # 28. Profile compactness does not establish the actual inverse system Critical profile decomposition may compactify nodes after scaling and translation. This may give compact spaces: $$ \mathscr P_q^{prof}. $$ But: $$ \boxed{ \mathscr P_q^{prof} } $$ is not: $$ \boxed{ \mathscr P_q. } $$ The quotient can identify distinct actual nodes/branches. Therefore profile compactness may help prove IL2 only after a separate actual realization/shadowing theorem. --- # 29. External profile calibration Gallagher--Koch--Planchon develop critical Besov profile decomposition and, under hypothetical blow-up, obtain minimal/critical blow-up data. Bahouri--Chemin--Gallagher develop stability under rescaled weak convergence by profile decompositions propagated through Navier--Stokes dynamics. These results demonstrate that critical scaling/translation/profile-splitting defects have mathematical structure. They do not prove IL3 for the ANP actual prefix system. --- # 30. Type-I ancient-profile calibration Albritton--Barker prove that local Type-I singularities are equivalent to the existence of a nontrivial bounded mild ancient solution satisfying a Type-I decay condition. This proves the existence of a nontrivial renormalized ancient profile object in the Type-I singular setting. It does not identify the ancient profile with one actual atomic C3 branch in the original solution. --- # 31. Critical-norm blow-up calibration Gallagher--Koch--Planchon also prove blow-up of critical Besov norms at a potential finite singularity for the critical Besov range in which local existence is available. This confirms that critical-scale profile activity cannot remain uniformly bounded in those spaces. It does not remove the actual branch-fragmentation problem. --- # 32. Causal-forest end Define an **atomic horizon end** of: $$ \mathscr G_H $$ as an equivalence class of actual infinite C3 rays that visit cofinally many dangerous-certified gates. Then: $$ \boxed{ CN3_{\rm Atomic} } $$ is equivalent to: $$ \boxed{ \mathscr G_H \text{ has an atomic horizon end}. } $$ --- # 33. Diffuse horizon causality Define: $$ \boxed{ D_{\rm DIFF} } $$ as: > the actual horizon causal forest has dangerous-certified terminals cofinal at the singular horizon, but no atomic horizon end. This is possible abstractly in an infinitely branching forest. Therefore: $$ \boxed{ D_{\rm DIFF} } $$ is not a logical contradiction. It is a genuinely branching causal organization. --- # 34. CIV-9.6 — Forest/Atomic Dichotomy ## Theorem 34.1 Within the actual ANP horizon forest: $$ \boxed{ CN_{\rm Forest} \Longrightarrow CN3_{\rm Atomic} \vee D_{\rm DIFF}. } $$ Since: $$ CN_{\rm Forest} $$ is proved under hypothetical blow-up: $$ \boxed{ \operatorname{Blowup}(T_\ast) \Longrightarrow CN3_{\rm Atomic} \vee D_{\rm DIFF}. } $$ ### Meaning If one atomic lineage cannot be extracted, the remaining object is not absence of causal ancestry. It is diffuse horizon causal branching. $\square$ --- # 35. Remaining quantitative substructure of D-DIFF The diffuse branch may be accompanied by: $$ D_{\rm PROF} $$ or by an action/fresh-renewal cascade: $$ \mathfrak A_{\rm cascade}. $$ Thus refine: $$ \boxed{ D_{\rm DIFF} \subset D_{\rm SATOM} \vee D_{\rm PROF} \vee \mathfrak A_{\rm cascade} \vee ABS_{\rm fail}. } $$ This is a classification/research decomposition, not an exclusion theorem. --- # 36. Strong Chain-Necessity final audit The original RFP obligation: $$ \boxed{ \operatorname{Blowup}(T_\ast) \Longrightarrow \exists \Gamma_\infty^{NS} } $$ is interpreted here as: $$ CN3_{\rm Atomic}. $$ Current status: $$ \boxed{ CN3_{\rm Atomic} : \mathrm{OPEN}. } $$ The strongest universal actual result now proved is: $$ \boxed{ CN_{\rm Forest}. } $$ --- # 37. Why the forest theorem is not merely semantic weakening The forest consists only of: - actual nodes; - actual pre-singularity times; - actual vorticity/strain states; - exact or audited C3 causal edges; - certified dangerous horizon terminals. No profile-limit node is introduced. No backward physical causation is introduced. Thus the forest is a genuine actual causal object. What is weakened is only the insistence on one atomic lineage. --- # 38. Consequence for Finite Obstruction A Finite Obstruction theorem stated only for one infinite path may be too narrow if: $$ D_{\rm DIFF} $$ is dynamically possible. The next obstruction program should therefore distinguish: ### Path Obstruction Every atomic horizon end hits finite-stage impossibility. ### Forest Obstruction Every horizon-unbounded actual causal forest hits a finite dynamical obstruction, even if causal mass fragments across branches. Forest Obstruction is the more universal target. --- # 39. Cycle-IV conclusion Cycle IV began with: > can node-wise source/state ancestry be compiled into a true causal formation history? It established: 1. a pre-singularity causal ontology; 2. exact source-core weighted provenance; 3. recursively stable Footprint/Dual Nodes; 4. weighted C3 source-parent edges; 5. Type-I and non-Type-I dangerous-state entry; 6. corrected arbitrary finite-depth positive C3 ancestry; 7. horizon causal flux/renewal laws; 8. local C3 edge compactness on bounded branches; 9. an actual horizon causal forest; 10. an actual inverse-limit criterion for atomic CN3. What it did not prove is that the horizon forest must possess one atomic end. --- # 40. Next program The next paper should no longer pretend that only one-path obstruction matters. Define: $$ \boxed{ \textbf{ Navier--Stokes Causal Forest Obstruction Program } } $$ abbreviated: $$ \boxed{ \textbf{NS-CFOP}. } $$ The first paper should be: $$ \boxed{ \textbf{ NS-CFOP 01 — Diffuse Horizon Causality、 Forest Obstruction、 Action-Flow Cutsets 與 Atomic-End Criteria }. } $$ Primary questions: 1. can: $$ D_{\rm DIFF} $$ actually persist under finite energy and the DRC action budgets?; 2. does every horizon causal forest contain either an atomic end or an action-divergent cutset?; 3. can finite obstruction be formulated on causal cutsets rather than individual paths?; 4. does a forest-level obstruction recover atomic CN3 as a corollary, or bypass its necessity? --- # 41. Formal status ledger $$ \boxed{ \begin{aligned} \text{dangerous-certified horizon gate} &:\ \mathrm{DEFINED},\\ CN2^+\text{ finite positive causal ancestry behind dangerous seed} &:\ \mathrm{PROVED},\\ CN_{\rm Forest} &:\ \mathrm{PROVED\ RELATIVE\ TO\ ANP},\\ \text{Zeno-cut/fresh-renewal reclassification} &:\ \mathrm{PROVED},\\ \text{large frequency-jump high-high geometry} &:\ \mathrm{PROVED},\\ D_{\rm FJUMP}\text{ primitive status} &:\ \mathrm{REMOVED\ RELATIVE\ TO\ DRC},\\ \text{Actual Horizon Inverse-Limit theorem} &:\ \mathrm{PROVED\ CONDITIONAL},\\ \text{profile compactness}\Rightarrow\text{actual inverse system} &:\ \mathrm{NOT\ PROVED},\\ D_{\rm DIFF} &:\ \mathrm{DEFINED/OPEN},\\ CN3_{\rm Atomic} &:\ \mathrm{OPEN},\\ \text{Path Finite Obstruction} &:\ \mathrm{OPEN},\\ \text{Forest Finite Obstruction} &:\ \mathrm{OPEN},\\ \text{Navier--Stokes regularity} &:\ \mathrm{NOT\ PROVED}. \end{aligned} } $$ --- # 42. Conclusion The final Cycle-IV result is not a proof of one infinite atomic formation chain. It is more structurally precise. A hypothetical finite singularity generates an actual pre-singularity horizon causal forest: $$ \boxed{ \mathscr G_H. } $$ Its dangerous-certified terminal states occur at unbounded scale and arbitrarily late times. Every such terminal has arbitrarily deep corrected C3 ancestry. Large relative frequency jumps are reclassified into balanced high--high down-transfer and, through the DRC dissipation boundary, into viscous absorption or driver/span debt. Temporal nonprogress across shrinking cuts is reclassified into fresh-source renewal. The remaining atomic-chain problem is exactly whether the actual horizon forest has an atomic end. An actual inverse-limit theorem shows what would suffice: $$ \boxed{ \text{compact actual prefix spaces} + \text{surjective actual extension} \Longrightarrow CN3_{\rm Atomic}. } $$ Critical profile compactness does not by itself supply the actual extension property. Therefore the strongest universal causal theorem currently supported is: $$ \boxed{ CN_{\rm Forest}, } $$ while: $$ \boxed{ CN3_{\rm Atomic} } $$ remains a stronger open lineage theorem. The natural next step is to formulate obstruction at the level of the causal forest itself. --- # References 1. 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. 2. H. Bahouri, J.-Y. Chemin, I. Gallagher, *Stability by rescaled weak convergence for the Navier--Stokes equations*, arXiv:1310.0256. 3. D. Albritton, T. Barker, *On local Type I singularities of the Navier--Stokes equations and Liouville theorems*, arXiv:1811.00502. 4. W. Rusin, V. Sverak, *Minimal initial data for potential Navier--Stokes singularities*, arXiv:0911.0500. 5. I. Gallagher, G. S. Koch, F. Planchon, *Blow-up of critical Besov norms at a potential Navier--Stokes singularity*, arXiv:1407.4156. 6. H. Aluie, G. L. Eyink, *Localness of energy cascade in hydrodynamic turbulence, II. Sharp spectral filter*, arXiv:0909.2451. Used only as scale-locality calibration. 7. 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. 8. `NS_ANP_06_SingularHorizon_ExtractionAudit_v0.1.md`. 9. `NS_ANP_07_HorizonPersistent_BranchExtraction_v0.1.md`. 10. `NS_ANP_08_HorizonTransmission_FreshSource_Shadowing_v0.1.md`.