This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft_form_theory.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./sft_form_theory.aux

LaTeX Warning: Label `thm:torus-action-template' multiply defined.


LaTeX Warning: Label `eq:Tk-equivariance' multiply defined.


LaTeX Warning: Label `thm:coupling-forces-cst' multiply defined.


LaTeX Warning: Label `eq:cst-constraint' multiply defined.


LaTeX Warning: Label `thm:multicycle-coc' multiply defined.


LaTeX Warning: Label `thm:Tk-feq' multiply defined.

) (./sft_form_theory.out) (./sft_form_theory.out)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)
(./FRONT_MATTER.tex) (./WHY_THIS_IS_UNIVERSAL.tex [1{/var/lib/texmf/fonts/map/p
dftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg))
(./SCOPE_WALL.tex) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./ESSAY_INTRO.tex [6] [7]) (./PROVES_BLOCK.tex

LaTeX Warning: Citation `walters1982' on page 8 undefined on input line 9.


LaTeX Warning: Citation `einsiedler2011' on page 8 undefined on input line 9.


LaTeX Warning: Citation `pavliotis2014' on page 8 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 8 undefined on input line 9.

) (./DIRECTION_HIGHER_THEOREM.tex [8]) (./PRIMITIVES_ENGINE_THEOREM.tex)
(./ENGINE_COMPLETENESS.tex [9] (./PREDICATE_EXHAUSTION_LEMMAS.tex [10] [11]
[12] [13]) (./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[14] [15]) (./WOB_CATALOG_COMPLETENESS.tex [16]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
)) (./STABILITY_MODULUS.tex [17]) (./MODULUS_LAWS.tex [18])
(./CLASSIFICATION_CHART.tex) (./CANONICAL_QUESTIONS.tex [19])
(./DIAGNOSTICS_TABLE.tex
Underfull \hbox (badness 1924) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) Haar on $\OML/cmm/m/it/10.95 T[]$ \OT1/cmr/m/n/10.9
5 (+20) or

Underfull \hbox (badness 3514) in paragraph at lines 19--20
\OT1/cmr/m/n/10.95 (+20) coordinate Haar
) (./OBSTRUCTION_TABLE.tex
Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmtt/m/n/10.95 WOB-02-trivial-

Underfull \hbox (badness 4660) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Image misses an arc

Underfull \hbox (badness 4967) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy cer-ti-fi-ca-tion

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmtt/m/n/10.95 WOB-05-holonomy-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmtt/m/n/10.95 WOB-06-coupling-

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmtt/m/n/10.95 WOB-07-mixing-not-

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmtt/m/n/10.95 WOB-08-orbit-

Underfull \hbox (badness 10000) in paragraph at lines 18--18
[]|\OT1/cmtt/m/n/10.95 WOB-09-equivariance-

Underfull \hbox (badness 10000) in paragraph at lines 19--19
[]|\OT1/cmtt/m/n/10.95 WOB-10-resonant-

Underfull \hbox (badness 10000) in paragraph at lines 20--20
[]|\OT1/cmtt/m/n/10.95 WOB-11-disconnected-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmtt/m/n/10.95 WOB-12-slope-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
\OT1/cmtt/m/n/10.95 zero-quotient-
[20]) [21] (./contributions_table.tex) (./RELATED_WORK.tex

LaTeX Warning: Citation `hatcher2002' on page 22 undefined on input line 6.


LaTeX Warning: Citation `munkres2000' on page 22 undefined on input line 6.


LaTeX Warning: Citation `bredon1972' on page 22 undefined on input line 7.


LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 8.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 8.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 8.

[22]

LaTeX Warning: Citation `pavliotis2014' on page 23 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 23 undefined on input line 9.


LaTeX Warning: Citation `stroock2000' on page 23 undefined on input line 9.


LaTeX Warning: Citation `strogatz1994' on page 23 undefined on input line 10.


LaTeX Warning: Citation `pikovsky2001' on page 23 undefined on input line 10.

) [23]

LaTeX Warning: Citation `munkres2000' on page 24 undefined on input line 124.


LaTeX Warning: Citation `bredon1972' on page 24 undefined on input line 148.


LaTeX Warning: Citation `hatcher2002' on page 24 undefined on input line 158.

(./UNIVERSALITY_SECTION.tex (./COC_definition.tex [24] (./COC_checklist.tex))
[25] (./COC_universality_schema.tex [26]) (./COC_rotation_proof.tex

LaTeX Warning: Citation `bredon1972' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 46.

[27]

LaTeX Warning: Citation `bredon1972' on page 28 undefined on input line 55.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 28 undefined on input line 26.

[28]) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[29] [30]) [31]) (./UNIVERSALITY_SCORECARD.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--10
[]|\OT1/cmr/bx/n/10 (+20) Representative

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10 (+20) Coupled tar-gets

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10 (+20) Torus drives &

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) Noise-to-diffusion

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) MXC (+ NDB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10 (+20) Boundary ob-struc-
[32]) (./coupled_atlas_table.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--9
[]|\OT1/cmr/m/n/10.95 (+20) Integer-matrix:
) [33] (./dynamics_boundary_table.tex
Underfull \hbox (badness 2961) in paragraph at lines 6--7
[]|\OT1/cmr/m/n/10.95 (+20) DMG: max[]lift[]drift $\OML/cmm/m/it/10.95 < ^^Y$

Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy pre-served

Underfull \hbox (badness 10000) in paragraph at lines 8--8
[]|\OT1/cmr/m/n/10.95 (+20) coupling con-straint en-forced
) (./CONVERGENCE_CERTIFICATES.tex

LaTeX Warning: Citation `walters1982' on page 34 undefined on input line 10.


LaTeX Warning: Citation `einsiedler2011' on page 34 undefined on input line 10.



LaTeX Warning: Citation `kuipers1974' on page 34 undefined on input line 10.


LaTeX Warning: Citation `pavliotis2014' on page 34 undefined on input line 11.


LaTeX Warning: Citation `evans2010' on page 34 undefined on input line 11.

) [34]

LaTeX Warning: Citation `walters1982' on page 35 undefined on input line 212.


LaTeX Warning: Citation `einsiedler2011' on page 35 undefined on input line 212
.


LaTeX Warning: Citation `pavliotis2014' on page 35 undefined on input line 212.


(./ARTIFACTS_APPENDIX.tex
Overfull \hbox (2.67822pt too wide) in paragraph at lines 7--8
[]\OT1/cmr/m/n/10.95 (-20) Witness Sta-bil-ity Cer-tifi-cate schema: \OT1/cmtt/
m/n/10.95 artifacts/schemas/witness[]stability[]certificate[]
[35]) (./REFEREE_MAP.tex
Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/bx/n/10.95 (+20) Support (the-o-rem

Underfull \hbox (badness 10000) in paragraph at lines 10--10
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2662) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) Arena-level SCL un-der

Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2556) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Embedded ob-serv-abil-ity

Underfull \hbox (badness 10000) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 13--13
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 1953) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Coupled tar-get cor-rect-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10.95 (+20) stated,

Underfull \hbox (badness 10000) in paragraph at lines 16--16
\OT1/cmr/m/n/10.95 (+20) theorem-

Underfull \hbox (badness 7116) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) WSC and WOB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10.95 (+20) Nonclaims (ex-plicit
[36]) (./EXAMPLES_APPENDIX.tex [37]) (./CAPSTONE_COC_ENGINE.tex [38])
(./GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.tex [39] (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[40] [41]) (./WOB_CATALOG_COMPLETENESS.tex [42]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[43]) [44])
No file sft_form_theory.bbl.
[45] (./sft_form_theory.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: There were multiply-defined labels.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cms
s10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texmf/fonts/type
1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/public/cm-super/sf
rm1095.pfb>
Output written on sft_form_theory.pdf (45 pages, 470106 bytes).
Transcript written on sft_form_theory.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft_form_theory.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./sft_form_theory.aux

LaTeX Warning: Label `thm:torus-action-template' multiply defined.


LaTeX Warning: Label `eq:Tk-equivariance' multiply defined.


LaTeX Warning: Label `thm:coupling-forces-cst' multiply defined.


LaTeX Warning: Label `eq:cst-constraint' multiply defined.


LaTeX Warning: Label `thm:multicycle-coc' multiply defined.


LaTeX Warning: Label `thm:Tk-feq' multiply defined.

) (./sft_form_theory.out) (./sft_form_theory.out)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)
(./FRONT_MATTER.tex) (./WHY_THIS_IS_UNIVERSAL.tex [1{/var/lib/texmf/fonts/map/p
dftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg))
(./SCOPE_WALL.tex) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./ESSAY_INTRO.tex [6] [7]) (./PROVES_BLOCK.tex

LaTeX Warning: Citation `walters1982' on page 8 undefined on input line 9.


LaTeX Warning: Citation `einsiedler2011' on page 8 undefined on input line 9.


LaTeX Warning: Citation `pavliotis2014' on page 8 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 8 undefined on input line 9.

) (./DIRECTION_HIGHER_THEOREM.tex [8]) (./PRIMITIVES_ENGINE_THEOREM.tex)
(./ENGINE_COMPLETENESS.tex [9] (./PREDICATE_EXHAUSTION_LEMMAS.tex [10] [11]
[12] [13]) (./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[14] [15]) (./WOB_CATALOG_COMPLETENESS.tex [16]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
)) (./STABILITY_MODULUS.tex [17]) (./MODULUS_LAWS.tex [18])
(./CLASSIFICATION_CHART.tex) (./CANONICAL_QUESTIONS.tex [19])
(./DIAGNOSTICS_TABLE.tex
Underfull \hbox (badness 1924) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) Haar on $\OML/cmm/m/it/10.95 T[]$ \OT1/cmr/m/n/10.9
5 (+20) or

Underfull \hbox (badness 3514) in paragraph at lines 19--20
\OT1/cmr/m/n/10.95 (+20) coordinate Haar
) (./OBSTRUCTION_TABLE.tex
Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmtt/m/n/10.95 WOB-02-trivial-

Underfull \hbox (badness 4660) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Image misses an arc

Underfull \hbox (badness 4967) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy cer-ti-fi-ca-tion

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmtt/m/n/10.95 WOB-05-holonomy-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmtt/m/n/10.95 WOB-06-coupling-

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmtt/m/n/10.95 WOB-07-mixing-not-

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmtt/m/n/10.95 WOB-08-orbit-

Underfull \hbox (badness 10000) in paragraph at lines 18--18
[]|\OT1/cmtt/m/n/10.95 WOB-09-equivariance-

Underfull \hbox (badness 10000) in paragraph at lines 19--19
[]|\OT1/cmtt/m/n/10.95 WOB-10-resonant-

Underfull \hbox (badness 10000) in paragraph at lines 20--20
[]|\OT1/cmtt/m/n/10.95 WOB-11-disconnected-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmtt/m/n/10.95 WOB-12-slope-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
\OT1/cmtt/m/n/10.95 zero-quotient-
[20]) [21] (./contributions_table.tex) (./RELATED_WORK.tex

LaTeX Warning: Citation `hatcher2002' on page 22 undefined on input line 6.


LaTeX Warning: Citation `munkres2000' on page 22 undefined on input line 6.


LaTeX Warning: Citation `bredon1972' on page 22 undefined on input line 7.


LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 8.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 8.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 8.

[22]

LaTeX Warning: Citation `pavliotis2014' on page 23 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 23 undefined on input line 9.


LaTeX Warning: Citation `stroock2000' on page 23 undefined on input line 9.


LaTeX Warning: Citation `strogatz1994' on page 23 undefined on input line 10.


LaTeX Warning: Citation `pikovsky2001' on page 23 undefined on input line 10.

) [23]

LaTeX Warning: Citation `munkres2000' on page 24 undefined on input line 124.


LaTeX Warning: Citation `bredon1972' on page 24 undefined on input line 148.


LaTeX Warning: Citation `hatcher2002' on page 24 undefined on input line 158.

(./UNIVERSALITY_SECTION.tex (./COC_definition.tex [24] (./COC_checklist.tex))
[25] (./COC_universality_schema.tex [26]) (./COC_rotation_proof.tex

LaTeX Warning: Citation `bredon1972' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 46.

[27]

LaTeX Warning: Citation `bredon1972' on page 28 undefined on input line 55.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 28 undefined on input line 26.

[28]) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[29] [30]) [31]) (./UNIVERSALITY_SCORECARD.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--10
[]|\OT1/cmr/bx/n/10 (+20) Representative

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10 (+20) Coupled tar-gets

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10 (+20) Torus drives &

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) Noise-to-diffusion

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) MXC (+ NDB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10 (+20) Boundary ob-struc-
[32]) (./coupled_atlas_table.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--9
[]|\OT1/cmr/m/n/10.95 (+20) Integer-matrix:
) [33] (./dynamics_boundary_table.tex
Underfull \hbox (badness 2961) in paragraph at lines 6--7
[]|\OT1/cmr/m/n/10.95 (+20) DMG: max[]lift[]drift $\OML/cmm/m/it/10.95 < ^^Y$

Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy pre-served

Underfull \hbox (badness 10000) in paragraph at lines 8--8
[]|\OT1/cmr/m/n/10.95 (+20) coupling con-straint en-forced
) (./CONVERGENCE_CERTIFICATES.tex

LaTeX Warning: Citation `walters1982' on page 34 undefined on input line 10.


LaTeX Warning: Citation `einsiedler2011' on page 34 undefined on input line 10.



LaTeX Warning: Citation `kuipers1974' on page 34 undefined on input line 10.


LaTeX Warning: Citation `pavliotis2014' on page 34 undefined on input line 11.


LaTeX Warning: Citation `evans2010' on page 34 undefined on input line 11.

) [34]

LaTeX Warning: Citation `walters1982' on page 35 undefined on input line 212.


LaTeX Warning: Citation `einsiedler2011' on page 35 undefined on input line 212
.


LaTeX Warning: Citation `pavliotis2014' on page 35 undefined on input line 212.


(./ARTIFACTS_APPENDIX.tex
Overfull \hbox (2.67822pt too wide) in paragraph at lines 7--8
[]\OT1/cmr/m/n/10.95 (-20) Witness Sta-bil-ity Cer-tifi-cate schema: \OT1/cmtt/
m/n/10.95 artifacts/schemas/witness[]stability[]certificate[]
[35]) (./REFEREE_MAP.tex
Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/bx/n/10.95 (+20) Support (the-o-rem

Underfull \hbox (badness 10000) in paragraph at lines 10--10
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2662) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) Arena-level SCL un-der

Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2556) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Embedded ob-serv-abil-ity

Underfull \hbox (badness 10000) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 13--13
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 1953) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Coupled tar-get cor-rect-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10.95 (+20) stated,

Underfull \hbox (badness 10000) in paragraph at lines 16--16
\OT1/cmr/m/n/10.95 (+20) theorem-

Underfull \hbox (badness 7116) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) WSC and WOB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10.95 (+20) Nonclaims (ex-plicit
[36]) (./EXAMPLES_APPENDIX.tex [37]) (./CAPSTONE_COC_ENGINE.tex [38])
(./GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.tex [39] (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[40] [41]) (./WOB_CATALOG_COMPLETENESS.tex [42]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[43]) [44])
No file sft_form_theory.bbl.
[45] (./sft_form_theory.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: There were multiply-defined labels.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cms
s10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texmf/fonts/type
1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/public/cm-super/sf
rm1095.pfb>
Output written on sft_form_theory.pdf (45 pages, 470106 bytes).
Transcript written on sft_form_theory.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft_form_theory.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./sft_form_theory.aux

LaTeX Warning: Label `thm:torus-action-template' multiply defined.


LaTeX Warning: Label `eq:Tk-equivariance' multiply defined.


LaTeX Warning: Label `thm:coupling-forces-cst' multiply defined.


LaTeX Warning: Label `eq:cst-constraint' multiply defined.


LaTeX Warning: Label `thm:multicycle-coc' multiply defined.


LaTeX Warning: Label `thm:Tk-feq' multiply defined.

) (./sft_form_theory.out) (./sft_form_theory.out)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)
(./FRONT_MATTER.tex) (./WHY_THIS_IS_UNIVERSAL.tex [1{/var/lib/texmf/fonts/map/p
dftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg))
(./SCOPE_WALL.tex) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./ESSAY_INTRO.tex [6] [7]) (./PROVES_BLOCK.tex

LaTeX Warning: Citation `walters1982' on page 8 undefined on input line 9.


LaTeX Warning: Citation `einsiedler2011' on page 8 undefined on input line 9.


LaTeX Warning: Citation `pavliotis2014' on page 8 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 8 undefined on input line 9.

) (./DIRECTION_HIGHER_THEOREM.tex [8]) (./PRIMITIVES_ENGINE_THEOREM.tex)
(./ENGINE_COMPLETENESS.tex [9] (./PREDICATE_EXHAUSTION_LEMMAS.tex [10] [11]
[12] [13]) (./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[14] [15]) (./WOB_CATALOG_COMPLETENESS.tex [16]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
)) (./STABILITY_MODULUS.tex [17]) (./MODULUS_LAWS.tex [18])
(./CLASSIFICATION_CHART.tex) (./CANONICAL_QUESTIONS.tex [19])
(./DIAGNOSTICS_TABLE.tex
Underfull \hbox (badness 1924) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) Haar on $\OML/cmm/m/it/10.95 T[]$ \OT1/cmr/m/n/10.9
5 (+20) or

Underfull \hbox (badness 3514) in paragraph at lines 19--20
\OT1/cmr/m/n/10.95 (+20) coordinate Haar
) (./OBSTRUCTION_TABLE.tex
Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmtt/m/n/10.95 WOB-02-trivial-

Underfull \hbox (badness 4660) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Image misses an arc

Underfull \hbox (badness 4967) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy cer-ti-fi-ca-tion

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmtt/m/n/10.95 WOB-05-holonomy-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmtt/m/n/10.95 WOB-06-coupling-

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmtt/m/n/10.95 WOB-07-mixing-not-

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmtt/m/n/10.95 WOB-08-orbit-

Underfull \hbox (badness 10000) in paragraph at lines 18--18
[]|\OT1/cmtt/m/n/10.95 WOB-09-equivariance-

Underfull \hbox (badness 10000) in paragraph at lines 19--19
[]|\OT1/cmtt/m/n/10.95 WOB-10-resonant-

Underfull \hbox (badness 10000) in paragraph at lines 20--20
[]|\OT1/cmtt/m/n/10.95 WOB-11-disconnected-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmtt/m/n/10.95 WOB-12-slope-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
\OT1/cmtt/m/n/10.95 zero-quotient-
[20]) [21] (./contributions_table.tex) (./RELATED_WORK.tex

LaTeX Warning: Citation `hatcher2002' on page 22 undefined on input line 6.


LaTeX Warning: Citation `munkres2000' on page 22 undefined on input line 6.


LaTeX Warning: Citation `bredon1972' on page 22 undefined on input line 7.


LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 8.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 8.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 8.

[22]

LaTeX Warning: Citation `pavliotis2014' on page 23 undefined on input line 9.


LaTeX Warning: Citation `evans2010' on page 23 undefined on input line 9.


LaTeX Warning: Citation `stroock2000' on page 23 undefined on input line 9.


LaTeX Warning: Citation `strogatz1994' on page 23 undefined on input line 10.


LaTeX Warning: Citation `pikovsky2001' on page 23 undefined on input line 10.

) [23]

LaTeX Warning: Citation `munkres2000' on page 24 undefined on input line 124.


LaTeX Warning: Citation `bredon1972' on page 24 undefined on input line 148.


LaTeX Warning: Citation `hatcher2002' on page 24 undefined on input line 158.

(./UNIVERSALITY_SECTION.tex (./COC_definition.tex [24] (./COC_checklist.tex))
[25] (./COC_universality_schema.tex [26]) (./COC_rotation_proof.tex

LaTeX Warning: Citation `bredon1972' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 27 undefined on input line 46.

[27]

LaTeX Warning: Citation `bredon1972' on page 28 undefined on input line 55.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 28 undefined on input line 26.

[28]) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[29] [30]) [31]) (./UNIVERSALITY_SCORECARD.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--10
[]|\OT1/cmr/bx/n/10 (+20) Representative

Underfull \hbox (badness 10000) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10 (+20) Coupled tar-gets

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10 (+20) Torus drives &

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) Noise-to-diffusion

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10 (+20) MXC (+ NDB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10 (+20) Boundary ob-struc-
[32]) (./coupled_atlas_table.tex
Underfull \hbox (badness 10000) in paragraph at lines 9--9
[]|\OT1/cmr/m/n/10.95 (+20) Integer-matrix:
) [33] (./dynamics_boundary_table.tex
Underfull \hbox (badness 2961) in paragraph at lines 6--7
[]|\OT1/cmr/m/n/10.95 (+20) DMG: max[]lift[]drift $\OML/cmm/m/it/10.95 < ^^Y$

Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/m/n/10.95 (+20) Holonomy pre-served

Underfull \hbox (badness 10000) in paragraph at lines 8--8
[]|\OT1/cmr/m/n/10.95 (+20) coupling con-straint en-forced
) (./CONVERGENCE_CERTIFICATES.tex

LaTeX Warning: Citation `walters1982' on page 34 undefined on input line 10.


LaTeX Warning: Citation `einsiedler2011' on page 34 undefined on input line 10.



LaTeX Warning: Citation `kuipers1974' on page 34 undefined on input line 10.


LaTeX Warning: Citation `pavliotis2014' on page 34 undefined on input line 11.


LaTeX Warning: Citation `evans2010' on page 34 undefined on input line 11.

) [34]

LaTeX Warning: Citation `walters1982' on page 35 undefined on input line 212.


LaTeX Warning: Citation `einsiedler2011' on page 35 undefined on input line 212
.


LaTeX Warning: Citation `pavliotis2014' on page 35 undefined on input line 212.


(./ARTIFACTS_APPENDIX.tex
Overfull \hbox (2.67822pt too wide) in paragraph at lines 7--8
[]\OT1/cmr/m/n/10.95 (-20) Witness Sta-bil-ity Cer-tifi-cate schema: \OT1/cmtt/
m/n/10.95 artifacts/schemas/witness[]stability[]certificate[]
[35]) (./REFEREE_MAP.tex
Underfull \hbox (badness 10000) in paragraph at lines 7--7
[]|\OT1/cmr/bx/n/10.95 (+20) Support (the-o-rem

Underfull \hbox (badness 10000) in paragraph at lines 10--10
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2662) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) Arena-level SCL un-der

Underfull \hbox (badness 10000) in paragraph at lines 11--11
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 2556) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) Embedded ob-serv-abil-ity

Underfull \hbox (badness 10000) in paragraph at lines 12--12
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 13--13
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 1953) in paragraph at lines 14--14
[]|\OT1/cmr/m/n/10.95 (+20) Coupled tar-get cor-rect-

Underfull \hbox (badness 10000) in paragraph at lines 15--15
[]|\OT1/cmr/m/n/10.95 (+20) conditional

Underfull \hbox (badness 10000) in paragraph at lines 16--16
[]|\OT1/cmr/m/n/10.95 (+20) stated,

Underfull \hbox (badness 10000) in paragraph at lines 16--16
\OT1/cmr/m/n/10.95 (+20) theorem-

Underfull \hbox (badness 7116) in paragraph at lines 16--17
[]|\OT1/cmr/m/n/10.95 (+20) WSC and WOB

Underfull \hbox (badness 10000) in paragraph at lines 17--17
[]|\OT1/cmr/m/n/10.95 (+20) Nonclaims (ex-plicit
[36]) (./EXAMPLES_APPENDIX.tex [37]) (./CAPSTONE_COC_ENGINE.tex [38])
(./GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.tex [39] (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[40] [41]) (./WOB_CATALOG_COMPLETENESS.tex [42]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[43]) [44])
No file sft_form_theory.bbl.
[45] (./sft_form_theory.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: There were multiply-defined labels.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cms
s10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texmf/fonts/type
1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/public/cm-super/sf
rm1095.pfb>
Output written on sft_form_theory.pdf (45 pages, 470106 bytes).
Transcript written on sft_form_theory.log.
Build output in /mnt/data/sft_0222_patch_work/sft_complete/finish_ready/scripts/build

