Copy edit: Strategic improvements (Heilmeier alignment)

- Clearer articulation of Heilmeier questions in section intros
- Stronger distinction between 'what has been done' vs 'what is new'
- Explicit answers to assigned questions highlighted
- Better signposting of document-level structure
- Reinforced connection between technical approach and broader impact

1-goals-and-outcomes/v1.tex

@@ -73,8 +73,8 @@ autonomous control becomes practical for safety-critical applications.
 % Impact/Pay-off
 This capability is essential for the economic viability of next-generation
 nuclear power. Small modular reactors offer a promising solution to growing
-energy demands, but their success depends on reducing per-megawatt operating
+energy demands. Their success depends on reducing per-megawatt operating
-costs through increased autonomy. This research provides the tools to
+costs through increased autonomy. My research provides the tools to
 achieve that autonomy while maintaining the exceptional safety record the
 nuclear industry requires.
 

2-state-of-the-art/v2.tex

@@ -2,7 +2,11 @@
 
 \textbf{Heilmeier Questions: What has been done? What are the limits of current practice?} 
 
-This section answers these questions by examining how nuclear reactors operate today. Current approaches—both human-centered and formal methods—cannot provide autonomous control with end-to-end correctness guarantees. Three subsections structure this analysis. First, reactor operators and their operating procedures. Second, fundamental limitations of human-based operation. Third, formal methods approaches that verify discrete logic or continuous dynamics but not both together. Understanding these limits establishes the verification gap that Section 3 addresses through compositional hybrid synthesis.
+This section answers these questions by examining how nuclear reactors operate today. Current approaches—both human-centered and formal methods—cannot provide autonomous control with end-to-end correctness guarantees. 
+
+Three subsections structure this analysis. First: reactor operators and their operating procedures. Second: fundamental limitations of human-based operation. Third: formal methods approaches that verify discrete logic or continuous dynamics but not both together. 
+
+Understanding these limits establishes the verification gap that Section 3 addresses through compositional hybrid synthesis.
 
 \subsection{Current Reactor Procedures and Operation}
 

3-research-approach/v3.tex

@@ -2,7 +2,11 @@
 
 \textbf{Heilmeier Questions: What is new? Why will it succeed?}
 
-This section answers these questions by presenting the complete technical approach for synthesizing provably correct hybrid controllers from operating procedures. The innovation lies in compositional verification that bridges discrete synthesis with continuous control—three key innovations (contract-based decomposition, mode classification, and procedure-driven structure) enable this integration. The approach will succeed because it leverages existing procedural structure, bounds computational complexity through mode-level verification, and validates against real industrial hardware through the Emerson collaboration.
+This section answers these questions by presenting the complete technical approach for synthesizing provably correct hybrid controllers from operating procedures. 
+
+\textbf{What is new:} Compositional verification that bridges discrete synthesis with continuous control. Three key innovations enable this integration: contract-based decomposition, mode classification, and procedure-driven structure. 
+
+\textbf{Why it will succeed:} The approach leverages existing procedural structure, bounds computational complexity through mode-level verification, and validates against real industrial hardware through the Emerson collaboration.
 
 % ============================================================================
 % STRUCTURE (maps to Thesis.RA tasks):

6-broader-impacts/v1.tex

@@ -4,7 +4,9 @@
 
 Sections 2--5 established the complete technical research plan: what has been done and its limits (Section 2), what is new and why it will succeed (Section 3), how success will be measured (Section 4), and what could prevent success with mitigation strategies (Section 5).
 
-This section addresses the remaining Heilmeier questions by connecting technical methodology to economic and societal impact. The answer: this research directly addresses a \$21--28 billion annual cost barrier and establishes a generalizable framework for safety-critical autonomous systems.
+This section addresses the remaining Heilmeier questions by connecting technical methodology to economic and societal impact. 
+
+\textbf{The answers:} This research directly addresses a \$21--28 billion annual cost barrier. It enables economically viable small modular reactors for datacenter power. It establishes a generalizable framework for safety-critical autonomous systems across critical infrastructure.
 
 The technical approach enables compositional hybrid verification—a capability that did not exist before. But why does this matter beyond academic contribution?