diff --git a/Writing/ERLM/GOv2.pdf b/Writing/ERLM/GOv2.pdf new file mode 100644 index 00000000..9511242e Binary files /dev/null and b/Writing/ERLM/GOv2.pdf differ diff --git a/Writing/ERLM/dane_proposal_format.cls b/Writing/ERLM/dane_proposal_format.cls index e92cccf7..3973a66d 100644 --- a/Writing/ERLM/dane_proposal_format.cls +++ b/Writing/ERLM/dane_proposal_format.cls @@ -2,7 +2,7 @@ \ProvidesClass{prayer_circle}[2025/09/02 Custom class for academic documents] % Pass options and load base class -\PassOptionsToClass{12pt,titlepage}{article} +\PassOptionsToClass{10pt,titlepage}{article} \LoadClass{article} % Core packages @@ -14,7 +14,7 @@ % Uncomment ONE of the following font options: % \RequirePackage{mathptmx} % Times New Roman (11pt minimum) % \RequirePackage{mathpazo} % Palatino (10pt minimum) -\RequirePackage{helvet}\renewcommand{\familydefault}{\sfdefault} % Arial (10pt minimum) + \RequirePackage{helvet}\renewcommand{\familydefault}{\sfdefault} % Arial (10pt minimum) % Default: Computer Modern (11pt minimum) - current 12pt is compliant % Document formatting diff --git a/Writing/ERLM/goals-and-outcomes/v3.tex b/Writing/ERLM/goals-and-outcomes/v3.tex index 347a721c..1c5ce028 100644 --- a/Writing/ERLM/goals-and-outcomes/v3.tex +++ b/Writing/ERLM/goals-and-outcomes/v3.tex @@ -1,4 +1,4 @@ -\section{Goals and Outcomes} +\section{Goals and Outcomes - ORIGINAL} The goal of this research is to use formal methods to create high-assurance hybrid control systems. Hybrid control systems have great potential for diff --git a/Writing/ERLM/goals-and-outcomes/v4.tex b/Writing/ERLM/goals-and-outcomes/v4.tex new file mode 100644 index 00000000..52455425 --- /dev/null +++ b/Writing/ERLM/goals-and-outcomes/v4.tex @@ -0,0 +1,91 @@ +\section{Goals and Outcomes - REVISED} + +The goal of this research is to develop a unified framework combining temporal +logic synthesis with continuous-time verification methods to create autonomous +hybrid control systems with complete correctness guarantees. Hybrid control +systems have great potential for autonomous control applications because they +can switch between different control laws based on discrete triggers in the +system's operating range. This approach allows autonomous controllers to use +several tractable control laws optimized for different regions in the state +space, rather than relying on a single controller across the entire operating +range. But, the discrete transitions between control laws in hybrid controllers +present significant challenges in proving stability and liveness properties for +the complete system. While tools from control theory can establish properties +for individual control modes, these guarantees do not generalize when mode +switching is introduced. Conversely, significant advances in formal methods have +enabled automatic synthesis of discrete controllers from temporal logic +specifications—tools like Strix can generate provably correct switching logic +for complex logical requirements. However, these synthesis approaches assume +instantaneous mode transitions and operate purely in discrete state spaces. In +hybrid systems, transitions occur along continuous trajectories governed by +differential equations, creating a fundamental verification gap that neither +purely discrete synthesis nor traditional control theory can address alone. + +This research addresses a fundamental challenge in hybrid controller synthesis +and verification by unifying discrete system synthesis with continuous system +analysis. We will leverage formal methods to create controllers that are +correct-by-construction, enabling guarantees about the complete system's +behavior. To demonstrate this approach, we will develop an autonomous controller +for nuclear power plant start-up procedures. Nuclear power represents an +excellent test case because the continuous reactor dynamics are well-studied, +while the discrete mode switching requirements are explicitly defined in +regulatory procedures and operating guidelines. Current nuclear reactor control +\textit{is} already a hybrid system. For example, during reactor startup, +operators must transition from initial cold conditions through controlled +heating phases to predetermined power levels. Each phase employs different +automated controllers: temperature ramp controllers during heatup, reactivity +controllers approaching criticality, and load-following controllers during +operation. The decision of when to switch between these controllers currently +relies on human operators interpreting written procedures. Our approach would +formalize such transition conditions and synthesize the switching logic +automatically. + +The capability to create high-assurance hybrid control systems has significant +potential to reduce labor costs in operating critical systems by removing human +operators from control loops. Nuclear power stands to benefit substantially from +increased controller autonomy, as operations and maintenance represent the +largest expense for current reactor designs. While emerging technologies such as +microreactors and small modular reactors will reduce maintenance costs through +factory-manufactured replacement components, they face increased per-megawatt +operating costs if required to maintain traditional staffing levels. However, if +increased autonomy can be safely introduced, these economic challenges can be +addressed while maintaining safety standards. + +If this research is successful, we will achieve the following outcomes: + +\begin{enumerate} + + \item + \textbf{Formalize mode switching requirements as logical specifications that + can be synthesized into discrete controller implementations.} The discrete + transitions between continuous controller modes are often explicitly defined + in operating procedures and regulatory requirements for critical systems. + These natural language requirements will be translated into temporal logic + specifications, which will then be synthesized into provably correct + discrete controllers for continuous mode switching. + + \item + \textbf{Develop and verify formal characterizations of hybrid mode + dynamics and safety conditions.} We will establish mathematical frameworks + distinguishing transitory modes with reachability requirements to target + states from stabilizing modes with invariant maintenance properties. For + linear dynamics, classical control theory will establish stability and + performance within each mode. For nonlinear systems, reachability analysis + will verify that transitory modes drive the system toward intended + transitions while maintaining safety constraints, and that stabilizing modes + preserve their designated operating regions. This unified approach will + enable provable conditions for safe state space traversal and transition + timing. + + \item + \textbf{Prove that hybrid system implementations achieve safety and + performance specifications across operational mode sequences.} By + synthesizing discrete controller transitions from logical specifications + using correct-by-construction methods and verifying that continuous + components perform appropriately between discrete transitions, we can + establish mathematical guarantees that the hybrid system maintains safety + constraints and meets performance requirements during autonomous operational + sequences such as reactor startup procedures, where multiple control modes + must be coordinated to achieve higher-level operational objectives. + +\end{enumerate} diff --git a/Writing/ERLM/main.aux b/Writing/ERLM/main.aux index 2e8c5c74..3fd9047e 100644 --- a/Writing/ERLM/main.aux +++ b/Writing/ERLM/main.aux @@ -1,6 +1,7 @@ \relax \bibstyle{unsrt} \providecommand \oddpage@label [2]{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes - ORIGINAL}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {2}Goals and Outcomes - REVISED}{2}{}\protected@file@percent } \bibdata{references} -\gdef \@abspage@last{3} +\gdef \@abspage@last{4} diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index 887f1e9c..ef429418 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["bibtex main"] 0 "main.aux" "main.bbl" "main" 1756914815.67803 0 +["bibtex main"] 0 "main.aux" "main.bbl" "main" 1757303867.80253 0 "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" "main.aux" 0 -1 0 "pdflatex" "references.bib" 0 -1 0 "" @@ -7,8 +7,8 @@ "main.bbl" "main.blg" (rewritten before read) -["pdflatex"] 1756914814.87506 "main.tex" "main.pdf" "main" 1756914815.67825 0 - "/etc/texmf/web2c/texmf.cnf" 1722610814.59577 475 c0e671620eb5563b2130f56340a5fde8 "" +["pdflatex"] 1757303867.36078 "main.tex" "main.pdf" "main" 1757303867.80269 0 + "/etc/texmf/web2c/texmf.cnf" 1726065852.27662 475 c0e671620eb5563b2130f56340a5fde8 "" "/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab "" "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb7t.tfm" 1136768653 2240 eb56c13537f4d8a0bd3fafc25572b1bd "" @@ -18,14 +18,21 @@ "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvro7t.tfm" 1136768653 2772 ab6561c8ff5ee69ff6d5961b9356db5a "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvro8r.tfm" 1136768653 4964 f223217e5e1f85fa3742fb0480aba9e8 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1136768653 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1136768653 1288 655e228510b4c2a1abe905c368440826 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb" 1136849748 35941 f27169cc74234d5bd5e4cca5abafaabb "" "/usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb" 1136849748 44648 23115b2a545ebfe2c526c3ca99db8b95 "" "/usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvro8a.pfb" 1136849748 48169 b4fd9d908b9ee8c65d4305ad39071c5e "" @@ -137,7 +144,7 @@ "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1705352648 20144 147463a6a579f4597269ef9565205cfe "" "/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty" 1705352648 5319 2b738d02ce36ada6dcdd9534940db0ee "" "/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1705352648 5048 425739d70251273bf93e3d51f3c40048 "" - "/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo" 1705352648 8449 f07039d8e4e89f21078d9b5137579bfc "" + "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1705352648 8448 dbc0dbf4156c0bb9ba01a1c685d3bad0 "" "/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty" 1579038678 6078 f1cb470c9199e7110a27851508ed7a5c "" "/usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty" 1425427964 26218 19edeff8cdc2bcb704e8051dc55eb5a7 "" "/usr/share/texlive/texmf-dist/tex/latex/collectbox/collectbox.sty" 1666037909 9124 59c3b56f1a073de66e3eea35f9c173c8 "" @@ -211,13 +218,14 @@ "/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1655411236 4937 4ce600ce9bd4ec84d0250eb6892fcf4f "" "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 "" "/usr/share/texmf/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 "" - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 "" - "dane_proposal_format.cls" 1756902979.42453 2551 deee3ebc77bdfb5d08546fb19b3bdd53 "" - "goals-and-outcomes/v3.tex" 1756914813.48011 5009 e6fec2f2a28458203dc7d8364359d335 "" - "main.aux" 1756914815.55804 213 c6307743402c02a0530961857d9d1a69 "pdflatex" + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1726065856.46263 128028 f533b797fba58d231669ea19e894e23e "" + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae "" + "dane_proposal_format.cls" 1757301721.12236 2553 19244c04b38f33ab00dc03e30ae573aa "" + "goals-and-outcomes/v3.tex" 1757301547.55586 5020 c5216608eb00ec52f636f47df96d88fd "" + "goals-and-outcomes/v4.tex" 1757301539.49861 5774 40dea2a21d87fa10f58a0ce7c8e4881d "" + "main.aux" 1757303867.72985 340 1aeb9229761d14b595ec7cdb9eb7ceac "pdflatex" "main.bbl" 0 -1 0 "bibtex main" - "main.tex" 1756914785.75852 141 3cd602a79ef89e3739fb95feacd0ad80 "" + "main.tex" 1757301579.18155 181 0c6850b2ae7bcb19fb526354d63edf4a "" (generated) "main.aux" "main.log" diff --git a/Writing/ERLM/main.fls b/Writing/ERLM/main.fls index acda5882..d2c63117 100644 --- a/Writing/ERLM/main.fls +++ b/Writing/ERLM/main.fls @@ -9,11 +9,9 @@ INPUT ./dane_proposal_format.cls INPUT dane_proposal_format.cls INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size12.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size12.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size12.clo -INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm +INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty @@ -332,6 +330,7 @@ INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.t INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd +INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr7t.tfm INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def @@ -357,9 +356,16 @@ INPUT /usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd @@ -398,6 +404,11 @@ INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvro7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvro8r.tfm INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvb7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb8r.tfm +INPUT ./goals-and-outcomes/v4.tex +INPUT ./goals-and-outcomes/v4.tex +INPUT ./goals-and-outcomes/v4.tex +INPUT ./goals-and-outcomes/v4.tex +INPUT goals-and-outcomes/v4.tex INPUT main.aux INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index c28f949e..cb3b7e00 100644 --- a/Writing/ERLM/main.log +++ b/Writing/ERLM/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 3 SEP 2025 11:53 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 7 SEP 2025 23:57 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -15,8 +15,8 @@ LaTeX Warning: You have requested document class `dane_proposal_format', Document Class: prayer_circle 2025/09/02 Custom class for academic documents (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class -(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo -File: size12.clo 2023/05/17 v1.4n Standard LaTeX file (size option) +(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option) ) \c@part=\count187 \c@section=\count188 @@ -778,12 +778,12 @@ LaTeX Font Info: ... okay on input line 3. * \topmargin=-37.0pt * \headheight=12.0pt * \headsep=25.0pt -* \topskip=12.0pt +* \topskip=10.0pt * \footskip=30.0pt -* \marginparwidth=44.0pt -* \marginparsep=10.0pt +* \marginparwidth=65.0pt +* \marginparsep=11.0pt * \columnsep=10.0pt -* \skip\footins=10.8pt plus 4.0pt minus 2.0pt +* \skip\footins=9.0pt plus 4.0pt minus 2.0pt * \hoffset=0.0pt * \voffset=0.0pt * \mag=1000 @@ -830,29 +830,39 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./goals-and-outcomes/v3.tex -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <12> not available +LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10> not available (Font) Font shape `OT1/phv/m/sl' tried instead on input line 28. - [1]) +) [1] (./goals-and-outcomes/v4.tex +Overfull \hbox (10.54005pt too wide) in paragraph at lines 3--23 +\OT1/phv/m/n/10 The goal of this re-search is to de-velop a uni-fied frame-work com-bin-ing tem-po-ral logic syn-the-sis with continuous- + [] + + +Overfull \hbox (8.5604pt too wide) in paragraph at lines 82--90 +[]\OT1/phv/b/n/10 Prove that hy-brid sys-tem im-ple-men-ta-tions achieve safety and per-for-mance spec-i-fi-ca-tions across + [] + +[2]) No file main.bbl. -[2] (./main.aux) +[3] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** ) Here is how much of TeX's memory you used: - 25258 strings out of 476182 - 525061 string characters out of 5795595 - 1934975 words of memory out of 5000000 - 46733 multiletter control sequences out of 15000+600000 - 573158 words of font info for 62 fonts, out of 8000000 for 9000 + 25280 strings out of 476182 + 525383 string characters out of 5795595 + 1938975 words of memory out of 5000000 + 46745 multiletter control sequences out of 15000+600000 + 574906 words of font info for 68 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 110i,6n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (3 pages, 31255 bytes). +Output written on main.pdf (4 pages, 36357 bytes). PDF statistics: - 57 PDF objects out of 1000 (max. 8388607) - 29 compressed objects within 1 object stream + 60 PDF objects out of 1000 (max. 8388607) + 31 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 109 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index 84cb6668..ebaddf08 100644 Binary files a/Writing/ERLM/main.pdf and b/Writing/ERLM/main.pdf differ diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index 8e85ccb6..32ae926b 100644 Binary files a/Writing/ERLM/main.synctex.gz and b/Writing/ERLM/main.synctex.gz differ diff --git a/Writing/ERLM/main.tex b/Writing/ERLM/main.tex index 0151cecd..a5c787a1 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -6,6 +6,9 @@ \input{goals-and-outcomes/v3} +\newpage +\input{goals-and-outcomes/v4} + \bibliography{references} \end{document} diff --git a/Writing/Journal/JRNL-20250905-115329.md b/Writing/Journal/JRNL-20250905-115329.md new file mode 100644 index 00000000..7a90ce3c --- /dev/null +++ b/Writing/Journal/JRNL-20250905-115329.md @@ -0,0 +1,47 @@ +--- +id: JRNL-20250905-115329 +title: Friday, September 05, 2025 - 11:53 AM +type: journal +created: 2025-09-05T15:53:29Z +modified: 2025-09-05T15:53:29Z +tags: [journal] +--- + +# Friday, September 05, 2025 - 11:53 AM + +Similar to yesterday, I'm actually writing for mostly +yesterday. + +The football game at Andrew's was fun! I had a generally +good time being there, but was also so tired at points I +started to get really kinda bored. Mithin was there, and it +was good to see him. He's a good guy. Julia also invited a +friend, Kyra, who went through a breakup literally the day +before. That sounds rough. Julia mentioned it must be +breakup season. + +Before that, I saw Logan and we got a drink at Hitchhiker. +It was so nice to see him, and honestly so much more relaxed +than when we went to Jolina 2's. He's doing really well. +He's looking for new jobs because he doesn't love his +current gig. Him and Helena ARE dating, and just hit one +year. We're going to go do some autocross together in the +next couple weeks and I'm inviting him to the +cosyracingcommunity, as he's been doing some sim racing +lately. I'm going to bring my sim rig back from the +grandparents and set it up. It'll be fun to play together +perhaps! I've got to check if Assetto Corsa will run on +Linux... I hope so. Some quick googling shows that it works! +With some finagling, but also cosy looks dead... Maybe it's +iRacing time. Maybe some other league... We'll see what +Logan's got going on. + +But today is Friday, and I haven't gotten a lot of work done +either. I've got to get a handle on that, but at least I +went for a walk today! And today I'm getting my haircut. + +I also got my new glasses. They see much much better! + +I am crippled by lust though. In my weakness right now I'm +thinking about texting Alexa. That is such a dreadful, +pernicious idea. I bet she gives great top, though. diff --git a/Writing/Journal/compiled_journal.pdf b/Writing/Journal/compiled_journal.pdf index 2a594831..aa2d1f9c 100644 Binary files a/Writing/Journal/compiled_journal.pdf and b/Writing/Journal/compiled_journal.pdf differ