Formalizing stuff (WIP).

This commit is contained in:
j-hartling
2025-11-06 09:27:17 +01:00
parent 48f3c8cd41
commit d9fb7d3e5d
12 changed files with 3195 additions and 80 deletions

402
main.log
View File

@@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2025.10.28) 3 NOV 2025 14:28
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2025.10.28) 6 NOV 2025 09:26
entering extended mode
restricted \write18 enabled.
file:line:error style messages enabled.
@@ -37,73 +37,373 @@ Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
)) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count195
)) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2023/05/13 v2.17o AMS math features
\@mathmargin=\skip50
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks18
\ex@=\dimen141
)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen142
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count196
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count197
\leftroot@=\count198
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count199
\DOTSCASE@=\count266
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box51
\strutbox@=\box52
LaTeX Info: Redefining \big on input line 722.
LaTeX Info: Redefining \Big on input line 723.
LaTeX Info: Redefining \bigg on input line 724.
LaTeX Info: Redefining \Bigg on input line 725.
\big@size=\dimen143
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
\macc@depth=\count267
LaTeX Info: Redefining \bmod on input line 905.
LaTeX Info: Redefining \pmod on input line 910.
LaTeX Info: Redefining \smash on input line 940.
LaTeX Info: Redefining \relbar on input line 970.
LaTeX Info: Redefining \Relbar on input line 971.
\c@MaxMatrixCols=\count268
\dotsspace@=\muskip16
\c@parentequation=\count269
\dspbrk@lvl=\count270
\tag@help=\toks19
\row@=\count271
\column@=\count272
\maxfields@=\count273
\andhelp@=\toks20
\eqnshift@=\dimen144
\alignsep@=\dimen145
\tagshift@=\dimen146
\tagwidth@=\dimen147
\totwidth@=\dimen148
\lineht@=\dimen149
\@envbody=\toks21
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
) (/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.sty
Package: biblatex 2023/03/05 v3.19 programmable bibliographies (PK/MW)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO)
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
) (/usr/share/texlive/texmf-dist/tex/latex/logreq/logreq.sty
Package: logreq 2010/08/04 v1.0 xml request logger
\lrq@indent=\count274
(/usr/share/texlive/texmf-dist/tex/latex/logreq/logreq.def
File: logreq.def 2010/08/04 v1.0 logreq spec v1.0
)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC)
) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip17
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
)
\c@tabx@nest=\count275
\c@listtotal=\count276
\c@listcount=\count277
\c@liststart=\count278
\c@liststop=\count279
\c@citecount=\count280
\c@citetotal=\count281
\c@multicitecount=\count282
\c@multicitetotal=\count283
\c@instcount=\count284
\c@maxnames=\count285
\c@minnames=\count286
\c@maxitems=\count287
\c@minitems=\count288
\c@citecounter=\count289
\c@maxcitecounter=\count290
\c@savedcitecounter=\count291
\c@uniquelist=\count292
\c@uniquename=\count293
\c@refsection=\count294
\c@refsegment=\count295
\c@maxextratitle=\count296
\c@maxextratitleyear=\count297
\c@maxextraname=\count298
\c@maxextradate=\count299
\c@maxextraalpha=\count300
\c@abbrvpenalty=\count301
\c@highnamepenalty=\count302
\c@lownamepenalty=\count303
\c@maxparens=\count304
\c@parenlevel=\count305
\blx@tempcnta=\count306
\blx@tempcntb=\count307
\blx@tempcntc=\count308
\c@blx@maxsection=\count309
\blx@maxsegment@0=\count310
\blx@notetype=\count311
\blx@parenlevel@text=\count312
\blx@parenlevel@foot=\count313
\blx@sectionciteorder@0=\count314
\blx@sectionciteorderinternal@0=\count315
\blx@entrysetcounter=\count316
\blx@biblioinstance=\count317
\labelnumberwidth=\skip53
\labelalphawidth=\skip54
\biblabelsep=\skip55
\bibitemsep=\skip56
\bibnamesep=\skip57
\bibinitsep=\skip58
\bibparsep=\skip59
\bibhang=\skip60
\blx@bcfin=\read2
\blx@bcfout=\write3
\blx@langwohyphens=\language89
\c@mincomprange=\count318
\c@maxcomprange=\count319
\c@mincompwidth=\count320
Package biblatex Info: Trying to load biblatex default data model...
Package biblatex Info: ... file 'blx-dm.def' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-dm.def
File: blx-dm.def 2023/03/05 v3.19 biblatex localization (PK/MW)
)
Package biblatex Info: Trying to load biblatex style data model...
Package biblatex Info: ... file 'authoryear.dbx' not found.
Package biblatex Info: Trying to load biblatex custom data model...
Package biblatex Info: ... file 'biblatex-dm.cfg' not found.
\c@afterword=\count321
\c@savedafterword=\count322
\c@annotator=\count323
\c@savedannotator=\count324
\c@author=\count325
\c@savedauthor=\count326
\c@bookauthor=\count327
\c@savedbookauthor=\count328
\c@commentator=\count329
\c@savedcommentator=\count330
\c@editor=\count331
\c@savededitor=\count332
\c@editora=\count333
\c@savededitora=\count334
\c@editorb=\count335
\c@savededitorb=\count336
\c@editorc=\count337
\c@savededitorc=\count338
\c@foreword=\count339
\c@savedforeword=\count340
\c@holder=\count341
\c@savedholder=\count342
\c@introduction=\count343
\c@savedintroduction=\count344
\c@namea=\count345
\c@savednamea=\count346
\c@nameb=\count347
\c@savednameb=\count348
\c@namec=\count349
\c@savednamec=\count350
\c@translator=\count351
\c@savedtranslator=\count352
\c@shortauthor=\count353
\c@savedshortauthor=\count354
\c@shorteditor=\count355
\c@savedshorteditor=\count356
\c@labelname=\count357
\c@savedlabelname=\count358
\c@institution=\count359
\c@savedinstitution=\count360
\c@lista=\count361
\c@savedlista=\count362
\c@listb=\count363
\c@savedlistb=\count364
\c@listc=\count365
\c@savedlistc=\count366
\c@listd=\count367
\c@savedlistd=\count368
\c@liste=\count369
\c@savedliste=\count370
\c@listf=\count371
\c@savedlistf=\count372
\c@location=\count373
\c@savedlocation=\count374
\c@organization=\count375
\c@savedorganization=\count376
\c@origlocation=\count377
\c@savedoriglocation=\count378
\c@origpublisher=\count379
\c@savedorigpublisher=\count380
\c@publisher=\count381
\c@savedpublisher=\count382
\c@language=\count383
\c@savedlanguage=\count384
\c@origlanguage=\count385
\c@savedoriglanguage=\count386
\c@pageref=\count387
\c@savedpageref=\count388
\shorthandwidth=\skip61
\shortjournalwidth=\skip62
\shortserieswidth=\skip63
\shorttitlewidth=\skip64
\shortauthorwidth=\skip65
\shorteditorwidth=\skip66
\locallabelnumberwidth=\skip67
\locallabelalphawidth=\skip68
\localshorthandwidth=\skip69
\localshortjournalwidth=\skip70
\localshortserieswidth=\skip71
\localshorttitlewidth=\skip72
\localshortauthorwidth=\skip73
\localshorteditorwidth=\skip74
Package biblatex Info: Trying to load compatibility code...
Package biblatex Info: ... file 'blx-compat.def' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-compat.def
File: blx-compat.def 2023/03/05 v3.19 biblatex compatibility (PK/MW)
)
Package biblatex Info: Trying to load generic definitions...
Package biblatex Info: ... file 'biblatex.def' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.def
File: biblatex.def 2023/03/05 v3.19 biblatex compatibility (PK/MW)
\c@textcitecount=\count389
\c@textcitetotal=\count390
\c@textcitemaxnames=\count391
\c@biburlbigbreakpenalty=\count392
\c@biburlbreakpenalty=\count393
\c@biburlnumpenalty=\count394
\c@biburlucpenalty=\count395
\c@biburllcpenalty=\count396
\biburlbigskip=\muskip18
\biburlnumskip=\muskip19
\biburlucskip=\muskip20
\biburllcskip=\muskip21
\c@smartand=\count397
)
Package biblatex Info: Trying to load bibliography style 'authoryear'...
Package biblatex Info: ... file 'authoryear.bbx' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/bbx/authoryear.bbx
File: authoryear.bbx 2023/03/05 v3.19 biblatex bibliography style (PK/MW)
Package biblatex Info: Trying to load bibliography style 'standard'...
Package biblatex Info: ... file 'standard.bbx' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/bbx/standard.bbx
File: standard.bbx 2023/03/05 v3.19 biblatex bibliography style (PK/MW)
\c@bbx:relatedcount=\count398
\c@bbx:relatedtotal=\count399
))
Package biblatex Info: Trying to load citation style 'authoryear'...
Package biblatex Info: ... file 'authoryear.cbx' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/cbx/authoryear.cbx
File: authoryear.cbx 2023/03/05 v3.19 biblatex citation style (PK/MW)
Package biblatex Info: Redefining '\cite'.
Package biblatex Info: Redefining '\parencite'.
Package biblatex Info: Redefining '\footcite'.
Package biblatex Info: Redefining '\footcitetext'.
Package biblatex Info: Redefining '\smartcite'.
Package biblatex Info: Redefining '\textcite'.
Package biblatex Info: Redefining '\textcites'.
)
Package biblatex Info: Trying to load configuration file...
Package biblatex Info: ... file 'biblatex.cfg' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.cfg
File: biblatex.cfg
)
Package biblatex Info: Input encoding 'utf8' detected.
Package biblatex Info: Document encoding is UTF8 ....
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty
Package: expl3 2024-01-22 L3 programming layer (loader)
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2024-01-04 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count196
\l__pdf_internal_box=\box51
) (./main.aux)
\l__color_backend_stack_int=\count400
\l__pdf_internal_box=\box53
))
Package biblatex Info: ... and expl3
(biblatex) 2024-01-22 L3 programming layer (loader)
(biblatex) is new enough (at least 2020/04/06),
(biblatex) setting 'casechanger=expl3'.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
Package: xparse 2023-10-10 L3 Experimental document command parser
)
Package: blx-case-expl3 2023/03/05 v3.19 expl3 case changing code for biblatex
))
\@quotelevel=\count401
\@quotereset=\count402
(./main.aux)
\openout1 = `main.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 9.
LaTeX Font Info: ... okay on input line 9.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <14.4> on input line 10.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <7> on input line 10.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <12> on input line 18.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <8> on input line 18.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <6> on input line 18.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 15.
LaTeX Font Info: ... okay on input line 15.
Package biblatex Info: Trying to load language 'english'...
Package biblatex Info: ... file 'english.lbx' found.
(/usr/share/texlive/texmf-dist/tex/latex/biblatex/lbx/english.lbx
File: english.lbx 2023/03/05 v3.19 biblatex localization (PK/MW)
)
Package biblatex Info: Input encoding 'utf8' detected.
Package biblatex Info: Automatic encoding selection.
(biblatex) Assuming data encoding 'utf8'.
\openout3 = `main.bcf'.
Overfull \hbox (3.81674pt too wide) in paragraph at lines 36--43
Package biblatex Info: Trying to load bibliographic data...
Package biblatex Info: ... file 'main.bbl' found.
(./main.bbl)
Package biblatex Info: Reference section=0 on input line 15.
Package biblatex Info: Reference segment=0 on input line 15.
Overfull \hbox (3.81674pt too wide) in paragraph at lines 50--57
\OT1/cmr/m/n/12 2)...compensate for be-hav-iorally non-informative song vari-abil-ity (in-vari-ances)
[]
[1
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
Overfull \hbox (19.14377pt too wide) in paragraph at lines 56--56
[]\OT1/cmr/bx/n/17.28 Pre-split path-way: Pop-u-la-tion pre-processing
[]
Overfull \hbox (0.58345pt too wide) in paragraph at lines 71--75
\OT1/cmr/m/n/12 - Path-way split-ting: Sin-gle pop-u-la-tion re-sponse into sev-eral sep-a-rate branches
[]
[2] [3] (./main.aux)
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] (./main.aux)
***********
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-01-22>
***********
Package logreq Info: Writing requests to 'main.run.xml'.
\openout1 = `main.run.xml'.
)
Here is how much of TeX's memory you used:
1192 strings out of 474222
20019 string characters out of 5748732
1928975 words of memory out of 5000000
23493 multiletter control sequences out of 15000+600000
562623 words of font info for 51 fonts, out of 8000000 for 9000
9318 strings out of 474222
177863 string characters out of 5748732
1930975 words of memory out of 5000000
31530 multiletter control sequences out of 15000+600000
564362 words of font info for 58 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
57i,6n,65p,533b,193s stack positions out of 10000i,1000n,20000p,200000b,200000s
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/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/cmsy10.pfb>
Output written on main.pdf (3 pages, 58581 bytes).
66i,7n,81p,713b,973s stack positions out of 10000i,1000n,20000p,200000b,200000s
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/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/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb>
Output written on main.pdf (4 pages, 129427 bytes).
PDF statistics:
34 PDF objects out of 1000 (max. 8388607)
20 compressed objects within 1 object stream
72 PDF objects out of 1000 (max. 8388607)
43 compressed objects within 1 object stream
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)