CHORE: Sync local research from agent-core working directory
Universal Sovereign Canon Anchor / anchor-and-seed (push) Has been cancelled

This commit is contained in:
codex
2026-06-03 08:13:41 +00:00
parent 6bf2d0d0ad
commit d429171865
6 changed files with 1035 additions and 0 deletions
@@ -0,0 +1,161 @@
\relax
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Bombelli1987,Sorkin2003,Surya2019}
\citation{Benincasa2010}
\citation{Kleitman1975}
\citation{Kleitman1975,Brightwell1991}
\citation{Surya2019}
\citation{Loomis2018}
\citation{Surya2019,Carlip2023,Dowker2020,Glaser2018}
\citation{Benincasa2010,Glaser2018}
\citation{Rideout2000,Dowker2020}
\citation{Sorkin2009}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}\protected@file@percent }
\newlabel{sec:intro}{{1}{1}{Introduction}{section.1}{}}
\citation{Kleitman1975}
\citation{Kleitman1975,Brightwell1991}
\@writefile{toc}{\contentsline {section}{\numberline {2}Preliminaries and Notation}{2}{section.2}\protected@file@percent }
\newlabel{sec:prelim}{{2}{2}{Preliminaries and Notation}{section.2}{}}
\newlabel{def:causet}{{2.1}{2}{Causal set}{theorem.2.1}{}}
\newlabel{def:hasse}{{2.2}{2}{Hasse diagram and links}{theorem.2.2}{}}
\newlabel{def:causal}{{2.3}{2}{Causal past, future, and diamond}{theorem.2.3}{}}
\newlabel{def:height}{{2.4}{2}{Height and chains}{theorem.2.4}{}}
\newlabel{def:KR}{{2.5}{2}{Kleitman--Rothschild poset}{theorem.2.5}{}}
\citation{Benincasa2010}
\citation{Benincasa2010,Surya2019}
\citation{Wald1984,Bousso1999}
\newlabel{eq:KR-count}{{1}{3}{Kleitman--Rothschild poset}{equation.2.1}{}}
\newlabel{def:BD}{{2.6}{3}{Benincasa--Dowker action}{theorem.2.6}{}}
\newlabel{eq:BD}{{2}{3}{Benincasa--Dowker action}{equation.2.2}{}}
\newlabel{def:cheeger}{{2.7}{3}{Cheeger constant}{theorem.2.7}{}}
\newlabel{eq:cheeger}{{3}{3}{Cheeger constant}{equation.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Formalizing the Causal Observer}{3}{section.3}\protected@file@percent }
\newlabel{sec:observer}{{3}{3}{Formalizing the Causal Observer}{section.3}{}}
\newlabel{eq:Z-standard}{{4}{3}{Formalizing the Causal Observer}{equation.3.4}{}}
\newlabel{def:observer}{{3.1}{3}{Causal observer}{theorem.3.1}{}}
\newlabel{def:connected}{{3.2}{3}{Global causal connectedness}{theorem.3.2}{}}
\newlabel{eq:connected}{{5}{3}{Global causal connectedness}{equation.3.5}{}}
\citation{Hayden2007,Sekino2008,Lashkari2013}
\citation{Hoory2006}
\newlabel{rem:connected}{{3.3}{4}{}{theorem.3.3}{}}
\newlabel{def:memory}{{3.4}{4}{Memory register and scrambling time}{theorem.3.4}{}}
\newlabel{eq:memory}{{6}{4}{Memory register and scrambling time}{equation.3.6}{}}
\newlabel{rem:scrambling-def}{{3.5}{4}{}{theorem.3.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Observer-Conditioned Partition Function and KR Exclusion}{4}{section.4}\protected@file@percent }
\newlabel{sec:partition}{{4}{4}{Observer-Conditioned Partition Function and KR Exclusion}{section.4}{}}
\newlabel{def:projection}{{4.1}{4}{Projection operator}{theorem.4.1}{}}
\newlabel{eq:projection}{{7}{4}{Projection operator}{equation.4.7}{}}
\newlabel{def:Zobs}{{4.2}{4}{Observer-conditioned partition function}{theorem.4.2}{}}
\newlabel{eq:Zobs}{{8}{4}{Observer-conditioned partition function}{equation.4.8}{}}
\newlabel{prop:KR-pure}{{4.3}{4}{Temporal-depth exclusion of pure KR posets}{theorem.4.3}{}}
\citation{Hoory2006,Chung1997}
\citation{Cheeger1970,Alon1985}
\citation{Sekino2008,Lashkari2013,Hayden2007}
\citation{Sekino2008}
\newlabel{prop:KR-composite}{{4.4}{5}{Exclusion of KR--chain composites}{theorem.4.4}{}}
\newlabel{rem:composite}{{4.5}{5}{}{theorem.4.5}{}}
\newlabel{cor:entropy}{{4.6}{5}{Entropy-trap suppression}{theorem.4.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Information Scrambling and Expander Exclusion}{5}{section.5}\protected@file@percent }
\newlabel{sec:scrambling}{{5}{5}{Information Scrambling and Expander Exclusion}{section.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Scrambling time from spectral analysis}{5}{subsection.5.1}\protected@file@percent }
\newlabel{eq:cheeger-ineq}{{9}{5}{Scrambling time from spectral analysis}{equation.5.9}{}}
\newlabel{eq:tscr}{{10}{5}{Scrambling time from spectral analysis}{equation.5.10}{}}
\newlabel{prop:expander}{{5.1}{5}{Expander exclusion}{theorem.5.1}{}}
\citation{Brightwell1991,Winkler1985,Bollobas2001}
\citation{Hayden2007,Lashkari2013}
\citation{Chung1997,Mohar1991}
\citation{Polya1921}
\citation{Polya1921,Lawler2010}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Physical interpretation: fast scramblers and non-manifold topology}{6}{subsection.5.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}Dimensional Constraints from Spectral Expansion}{6}{section.6}\protected@file@percent }
\newlabel{sec:dimension}{{6}{6}{Dimensional Constraints from Spectral Expansion}{section.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Spectral gap and graph dimension}{6}{subsection.6.1}\protected@file@percent }
\newlabel{eq:gap-lattice}{{11}{6}{Spectral gap and graph dimension}{equation.6.11}{}}
\newlabel{eq:mix-lattice}{{12}{6}{Spectral gap and graph dimension}{equation.6.12}{}}
\newlabel{eq:dim-bound}{{13}{6}{Spectral gap and graph dimension}{equation.6.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Recurrence and information localization}{6}{subsection.6.2}\protected@file@percent }
\newlabel{prop:dimension}{{6.1}{6}{Dimensional selection via recurrence}{theorem.6.1}{}}
\citation{Barlow2004,Coulhon2003}
\citation{Kleitman1975}
\citation{Sorkin2003}
\citation{Surya2019}
\citation{Loomis2018}
\citation{Glaser2018}
\citation{Dowker2020}
\citation{Carlip2023}
\citation{Bousso2006}
\citation{Hartle2016,Gell-Mann1993}
\citation{Griffiths2002,Omnes1994}
\citation{Sekino2008}
\citation{Lashkari2013,Maldacena2016,Roberts2015}
\citation{Hoory2006,Alon1985}
\citation{tHooft1993,Susskind1995,Bousso1999,Maldacena1999}
\citation{Carlip2017,Calcagni2017}
\newlabel{rem:polya}{{6.2}{7}{Scope and caveats}{theorem.6.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Related Work}{7}{section.7}\protected@file@percent }
\newlabel{sec:related}{{7}{7}{Related Work}{section.7}{}}
\@writefile{toc}{\contentsline {paragraph}{Dynamical suppression in CST.}{7}{section*.1}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Observer selection and anthropic reasoning.}{7}{section*.2}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Information scrambling in quantum gravity.}{7}{section*.3}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Dimensional reduction and holography.}{7}{section*.4}\protected@file@percent }
\citation{Kitaev2015,Maldacena2016}
\citation{Hartle2016,Gell-Mann1993}
\citation{tHooft1993,Susskind1995,Bousso1999}
\citation{Hoffman2015}
\@writefile{toc}{\contentsline {section}{\numberline {8}Discussion}{8}{section.8}\protected@file@percent }
\newlabel{sec:discussion}{{8}{8}{Discussion}{section.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Limitations and scope}{8}{subsection.8.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Physical interpretation}{8}{subsection.8.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Ontological Implications: The 4D Virtual Machine}{8}{subsection.8.3}\protected@file@percent }
\citation{Sorkin1994,Dowker2020}
\bibstyle{unsrt}
\bibdata{references}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}Future directions}{9}{subsection.8.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {9}Conclusion}{9}{section.9}\protected@file@percent }
\newlabel{sec:conclusion}{{9}{9}{Conclusion}{section.9}{}}
\bibcite{Bombelli1987}{1}
\bibcite{Sorkin2003}{2}
\bibcite{Surya2019}{3}
\bibcite{Benincasa2010}{4}
\bibcite{Kleitman1975}{5}
\bibcite{Brightwell1991}{6}
\bibcite{Loomis2018}{7}
\bibcite{Carlip2023}{8}
\bibcite{Dowker2020}{9}
\bibcite{Glaser2018}{10}
\bibcite{Rideout2000}{11}
\bibcite{Sorkin2009}{12}
\bibcite{Wald1984}{13}
\bibcite{Bousso1999}{14}
\bibcite{Hayden2007}{15}
\bibcite{Sekino2008}{16}
\bibcite{Lashkari2013}{17}
\bibcite{Hoory2006}{18}
\bibcite{Chung1997}{19}
\bibcite{Cheeger1970}{20}
\bibcite{Alon1985}{21}
\bibcite{Winkler1985}{22}
\bibcite{Bollobas2001}{23}
\bibcite{Mohar1991}{24}
\bibcite{Polya1921}{25}
\bibcite{Lawler2010}{26}
\bibcite{Barlow2004}{27}
\bibcite{Coulhon2003}{28}
\bibcite{Bousso2006}{29}
\bibcite{Hartle2016}{30}
\bibcite{Gell-Mann1993}{31}
\bibcite{Griffiths2002}{32}
\bibcite{Omnes1994}{33}
\bibcite{Maldacena2016}{34}
\bibcite{Roberts2015}{35}
\bibcite{tHooft1993}{36}
\bibcite{Susskind1995}{37}
\bibcite{Maldacena1999}{38}
\bibcite{Carlip2017}{39}
\bibcite{Calcagni2017}{40}
\bibcite{Kitaev2015}{41}
\bibcite{Hoffman2015}{42}
\bibcite{Sorkin1994}{43}
\gdef \@abspage@last{12}
@@ -0,0 +1,232 @@
\begin{thebibliography}{10}
\bibitem{Bombelli1987}
Luca Bombelli, Joohan Lee, David Meyer, and Rafael~D Sorkin.
\newblock Space-time as a causal set.
\newblock {\em Physical Review Letters}, 59(5):521--524, 1987.
\bibitem{Sorkin2003}
Rafael~D Sorkin.
\newblock Causal sets: Discrete gravity.
\newblock In {\em Lectures on Quantum Gravity}, pages 305--327. Springer, 2003.
\bibitem{Surya2019}
Sumati Surya.
\newblock The causal set approach to quantum gravity.
\newblock {\em Living Reviews in Relativity}, 22(1):5, 2019.
\bibitem{Benincasa2010}
Dionigi~MR Benincasa and Fay Dowker.
\newblock The scalar curvature of a causal set.
\newblock {\em Physical Review Letters}, 104(18):181301, 2010.
\bibitem{Kleitman1975}
Daniel~J Kleitman and Bruce~L Rothschild.
\newblock Asymptotic enumeration of partial orders on a finite set.
\newblock {\em Transactions of the American Mathematical Society},
205:205--220, 1975.
\bibitem{Brightwell1991}
Graham~R Brightwell.
\newblock Counting antichains in finite partially ordered sets.
\newblock {\em Order}, 8(3):225--235, 1991.
\bibitem{Loomis2018}
S~Loomis and Steven Carlip.
\newblock Suppression of non-manifold-like sets in the causal set path
integral.
\newblock {\em Classical and Quantum Gravity}, 35(1):015009, 2018.
\bibitem{Carlip2023}
Steven Carlip.
\newblock Causal sets: Overview and status.
\newblock {\em Journal of Physics: Conference Series}, 2533:012001, 2023.
\bibitem{Dowker2020}
Fay Dowker.
\newblock Being and becoming on the road to quantum gravity; or, the birth of a
baby is not a baby.
\newblock {\em Philosophical Transactions of the Royal Society A},
378:20190239, 2020.
\bibitem{Glaser2018}
Lisa Glaser and Sumati Surya.
\newblock Finite size scaling in 2d causal set quantum gravity.
\newblock {\em Classical and Quantum Gravity}, 35(4):045006, 2018.
\bibitem{Rideout2000}
David~P Rideout and Rafael~D Sorkin.
\newblock Classical sequential growth dynamics for causal sets.
\newblock {\em Physical Review D}, 61(2):024002, 2000.
\bibitem{Sorkin2009}
Rafael~D Sorkin.
\newblock Scalar field theory on a causal set in histories form.
\newblock {\em Journal of Physics: Conference Series}, 306:012017, 2009.
\bibitem{Wald1984}
Robert~M Wald.
\newblock {\em General Relativity}.
\newblock University of Chicago Press, 1984.
\bibitem{Bousso1999}
Raphael Bousso.
\newblock A covariant entropy conjecture.
\newblock {\em Journal of High Energy Physics}, 1999(07):004, 1999.
\bibitem{Hayden2007}
Patrick Hayden and John Preskill.
\newblock Black holes as mirrors: quantum information in random subsystems.
\newblock {\em Journal of High Energy Physics}, 2007(09):120, 2007.
\bibitem{Sekino2008}
Yasuhiro Sekino and Leonard Susskind.
\newblock Fast scramblers.
\newblock {\em Journal of High Energy Physics}, 2008(10):065, 2008.
\bibitem{Lashkari2013}
Nima Lashkari, Douglas Stanford, Matthew Hastings, Tobias Osborne, and Patrick
Hayden.
\newblock Towards the fast scrambling conjecture.
\newblock {\em Journal of High Energy Physics}, 2013(4):22, 2013.
\bibitem{Hoory2006}
Shlomo Hoory, Nathan Linial, and Avi Wigderson.
\newblock Expander graphs and their applications.
\newblock {\em Bulletin of the American Mathematical Society}, 43(4):439--561,
2006.
\bibitem{Chung1997}
Fan R~K Chung.
\newblock {\em Spectral Graph Theory}, volume~92 of {\em CBMS Regional
Conference Series in Mathematics}.
\newblock American Mathematical Society, 1997.
\bibitem{Cheeger1970}
Jeff Cheeger.
\newblock A lower bound for the smallest eigenvalue of the laplacian.
\newblock {\em Problems in Analysis}, pages 195--199, 1970.
\bibitem{Alon1985}
Noga Alon and Vitali~D Milman.
\newblock $\lambda_1$, isoperimetric inequalities for graphs, and
superconcentrators.
\newblock {\em Journal of Combinatorial Theory, Series B}, 38(1):73--88, 1985.
\bibitem{Winkler1985}
Peter~M Winkler.
\newblock Random orders.
\newblock {\em Order}, 1(4):317--331, 1985.
\bibitem{Bollobas2001}
B{\'e}la Bollob{\'a}s.
\newblock {\em Random Graphs}.
\newblock Cambridge University Press, 2nd edition, 2001.
\bibitem{Mohar1991}
Bojan Mohar.
\newblock The laplacian spectrum of graphs.
\newblock {\em Graph Theory, Combinatorics, and Applications}, 2:871--898,
1991.
\bibitem{Polya1921}
George P{\'o}lya.
\newblock {\"U}ber eine aufgabe der wahrscheinlichkeitsrechnung betreffend die
irrfahrt im stra{\ss}ennetz.
\newblock {\em Mathematische Annalen}, 84:149--160, 1921.
\bibitem{Lawler2010}
Gregory~F Lawler and Vlada Limic.
\newblock {\em Random Walk: A Modern Introduction}.
\newblock Cambridge University Press, 2010.
\bibitem{Barlow2004}
Martin~T Barlow.
\newblock Random walks and heat kernels on graphs.
\newblock {\em London Mathematical Society Lecture Note Series}, 438, 2017.
\bibitem{Coulhon2003}
Thierry Coulhon and Alexander Grigor'yan.
\newblock Heat kernel estimates and the green function on infinite graphs.
\newblock {\em Annals of Probability}, pages 763--788, 2003.
\bibitem{Bousso2006}
Raphael Bousso.
\newblock Holographic probabilities in eternal inflation.
\newblock {\em Physical Review Letters}, 97(19):191302, 2006.
\bibitem{Hartle2016}
James~B Hartle.
\newblock The quasiclassical realms of this quantum universe.
\newblock {\em Foundations of Physics}, 41(6):982--1006, 2011.
\bibitem{Gell-Mann1993}
Murray Gell-Mann and James~B Hartle.
\newblock Classical equations for quantum systems.
\newblock {\em Physical Review D}, 47(8):3345, 1993.
\bibitem{Griffiths2002}
Robert~B Griffiths.
\newblock {\em Consistent Quantum Theory}.
\newblock Cambridge University Press, 2002.
\bibitem{Omnes1994}
Roland Omn{\`e}s.
\newblock {\em The Interpretation of Quantum Mechanics}.
\newblock Princeton University Press, 1994.
\bibitem{Maldacena2016}
Juan Maldacena, Stephen~H Shenker, and Douglas Stanford.
\newblock A bound on chaos.
\newblock {\em Journal of High Energy Physics}, 2016(8):106, 2016.
\bibitem{Roberts2015}
Daniel~A Roberts, Douglas Stanford, and Leonard Susskind.
\newblock Localized shocks.
\newblock {\em Journal of High Energy Physics}, 2015(3):51, 2015.
\bibitem{tHooft1993}
Gerard 't~Hooft.
\newblock Dimensional reduction in quantum gravity.
\newblock {\em arXiv preprint gr-qc/9310026}, 1993.
\bibitem{Susskind1995}
Leonard Susskind.
\newblock The world as a hologram.
\newblock {\em Journal of Mathematical Physics}, 36:6377--6396, 1995.
\bibitem{Maldacena1999}
Juan Maldacena.
\newblock The large-{N} limit of superconformal field theories and
supergravity.
\newblock {\em International Journal of Theoretical Physics}, 38(4):1113--1133,
1999.
\bibitem{Carlip2017}
Steven Carlip.
\newblock Dimension and dimensional reduction in quantum gravity.
\newblock {\em Classical and Quantum Gravity}, 34(19):193001, 2017.
\bibitem{Calcagni2017}
Gianluca Calcagni.
\newblock Multifractional theories: an unconventional review.
\newblock {\em Journal of High Energy Physics}, 2017(3):138, 2017.
\bibitem{Kitaev2015}
Alexei Kitaev.
\newblock A simple model of quantum holography.
\newblock {\em KITP Program: Entanglement in Strongly-Correlated Quantum
Matter}, 2015.
\newblock Talks at KITP, April 7 and May 27, 2015.
\bibitem{Hoffman2015}
Donald~D Hoffman, Manish Singh, and Chetan Prakash.
\newblock The interface theory of perception.
\newblock {\em Psychonomic Bulletin \& Review}, 22(6):1480--1506, 2015.
\bibitem{Sorkin1994}
Rafael~D Sorkin.
\newblock Quantum mechanics as quantum measure theory.
\newblock {\em Modern Physics Letters A}, 9(33):3119--3127, 1994.
\end{thebibliography}
@@ -0,0 +1,46 @@
This is BibTeX, Version 0.99d (TeX Live 2023/Debian)
Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
The top-level auxiliary file: paper_1_master_key.aux
The style file: unsrt.bst
Database file #1: references.bib
You've used 43 entries,
1791 wiz_defined-function locations,
742 strings with 8817 characters,
and the built_in function-call counts, 8990 in all, are:
= -- 840
> -- 267
< -- 4
+ -- 112
- -- 69
* -- 590
:= -- 1425
add.period$ -- 131
call.type$ -- 43
change.case$ -- 38
chr.to.int$ -- 0
cite$ -- 43
duplicate$ -- 422
empty$ -- 952
format.name$ -- 69
if$ -- 2001
int.to.chr$ -- 0
int.to.str$ -- 43
missing$ -- 49
newline$ -- 219
num.names$ -- 43
pop$ -- 89
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 169
stack$ -- 0
substring$ -- 682
swap$ -- 72
text.length$ -- 4
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 96
width$ -- 45
write$ -- 472
@@ -0,0 +1,516 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.5.30) 3 JUN 2026 01:24
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**paper_1_master_key.tex
(./paper_1_master_key.tex
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-01-22>
(/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/size11.clo
File: size11.clo 2023/05/17 v1.4n Standard LaTeX file (size option)
)
\c@part=\count187
\c@section=\count188
\c@subsection=\count189
\c@subsubsection=\count190
\c@paragraph=\count191
\c@subparagraph=\count192
\c@figure=\count193
\c@table=\count194
\abovecaptionskip=\skip48
\belowcaptionskip=\skip49
\bibindent=\dimen140
)
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2021/02/14 v1.3d Input encoding file
\inpenc@prehook=\toks17
\inpenc@posthook=\toks18
)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
)
(/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=\toks19
\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=\count195
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count196
\leftroot@=\count197
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count198
\DOTSCASE@=\count199
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=\count266
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=\count267
\dotsspace@=\muskip16
\c@parentequation=\count268
\dspbrk@lvl=\count269
\tag@help=\toks20
\row@=\count270
\column@=\count271
\maxfields@=\count272
\andhelp@=\toks21
\eqnshift@=\dimen144
\alignsep@=\dimen145
\tagshift@=\dimen146
\tagwidth@=\dimen147
\totwidth@=\dimen148
\lineht@=\dimen149
\@envbody=\toks22
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks23
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2020/05/29 v2.20.6
\thm@style=\toks24
\thm@bodyfont=\toks25
\thm@headfont=\toks26
\thm@notefont=\toks27
\thm@headpunct=\toks28
\thm@preskip=\skip53
\thm@postskip=\skip54
\thm@headsep=\skip55
\dth@everypar=\toks29
)
(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mathtools.sty
Package: mathtools 2022/06/29 v1.29 mathematical typesetting tools
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
\KV@toks@=\toks30
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count273
\calc@Bcount=\count274
\calc@Adimen=\dimen150
\calc@Bdimen=\dimen151
\calc@Askip=\skip56
\calc@Bskip=\skip57
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count275
\calc@Cskip=\skip58
)
(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mhsetup.sty
Package: mhsetup 2021/03/18 v1.4 programming setup (MH)
)
\g_MT_multlinerow_int=\count276
\l_MT_multwidth_dim=\dimen152
\origjot=\skip59
\l_MT_shortvdotswithinadjustabove_dim=\dimen153
\l_MT_shortvdotswithinadjustbelow_dim=\dimen154
\l_MT_above_intertext_sep=\dimen155
\l_MT_below_intertext_sep=\dimen156
\l_MT_above_shortintertext_sep=\dimen157
\l_MT_below_shortintertext_sep=\dimen158
\xmathstrut@box=\box53
\xmathstrut@dim=\dimen159
)
(/usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty
LaTeX Info: Redefining \cite on input line 302.
LaTeX Info: Redefining \nocite on input line 332.
Package: cite 2015/02/27 v 5.5
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2024-01-20 v7.01h Hypertext links for LaTeX
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO)
)
(/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)
)
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/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO)
))
\c@section@level=\count277
)
(/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=\count278
)
\@linkdim=\dimen160
\Hy@linkcounter=\count279
\Hy@pagecounter=\count280
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2024-01-20 v7.01h Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
\Hy@SavedSpaceFactor=\count281
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2024-01-20 v7.01h Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Hyper figures OFF on input line 4179.
Package hyperref Info: Link nesting OFF on input line 4184.
Package hyperref Info: Hyper index ON on input line 4187.
Package hyperref Info: Plain pages OFF on input line 4194.
Package hyperref Info: Backreferencing OFF on input line 4199.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4446.
\c@Hy@tempcnt=\count282
(/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.
)
LaTeX Info: Redefining \url on input line 4784.
\XeTeXLinkMargin=\dimen161
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count283
\Field@Width=\dimen162
\Fld@charsize=\dimen163
Package hyperref Info: Hyper figures OFF on input line 6063.
Package hyperref Info: Link nesting OFF on input line 6068.
Package hyperref Info: Hyper index ON on input line 6071.
Package hyperref Info: backreferencing OFF on input line 6078.
Package hyperref Info: Link coloring OFF on input line 6083.
Package hyperref Info: Link coloring with OCG OFF on input line 6088.
Package hyperref Info: PDF/A mode OFF on input line 6093.
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi
package with kernel methods
)
\Hy@abspage=\count284
\c@Item=\count285
\c@Hfootnote=\count286
)
Package hyperref Info: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2024-01-20 v7.01h Hyperref driver for pdfTeX
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac
kage
with kernel methods
)
\Fld@listcount=\count287
\c@bookmark@seq@number=\count288
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO)
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
85.
)
\Hy@SectionHShift=\skip60
)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2020/01/02 v5.9 Page Geometry
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
)
\Gm@cnth=\count289
\Gm@cntv=\count290
\c@Gm@tempcnt=\count291
\Gm@bindingoffset=\dimen164
\Gm@wd@mp=\dimen165
\Gm@odd@mp=\dimen166
\Gm@even@mp=\dimen167
\Gm@layoutwidth=\dimen168
\Gm@layoutheight=\dimen169
\Gm@layouthoffset=\dimen170
\Gm@layoutvoffset=\dimen171
\Gm@dimlist=\toks31
)
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
Package: enumitem 2019/06/20 v3.9 Customized lists
\labelindent=\skip61
\enit@outerparindent=\dimen172
\enit@toks=\toks32
\enit@inbox=\box54
\enit@count@id=\count292
\enitdp@description=\count293
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: pdftex.def on input line 107.
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex
))
\Gin@req@height=\dimen173
\Gin@req@width=\dimen174
)
\c@theorem=\count294
(/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=\count295
\l__pdf_internal_box=\box55
)
(./paper_1_master_key.aux)
\openout1 = `paper_1_master_key.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 51.
LaTeX Font Info: ... okay on input line 51.
Package hyperref Info: Link coloring OFF on input line 51.
(./paper_1_master_key.out) (./paper_1_master_key.out)
\@outlinefile=\write3
\openout3 = `paper_1_master_key.out'.
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
*geometry* verbose mode - [ preamble ] result:
* driver: pdftex
* paper: a4paper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes:
* h-part:(L,W,R)=(72.26999pt, 452.9679pt, 72.26999pt)
* v-part:(T,H,B)=(72.26999pt, 700.50687pt, 72.26999pt)
* \paperwidth=597.50787pt
* \paperheight=845.04684pt
* \textwidth=452.9679pt
* \textheight=700.50687pt
* \oddsidemargin=0.0pt
* \evensidemargin=0.0pt
* \topmargin=-37.0pt
* \headheight=12.0pt
* \headsep=25.0pt
* \topskip=11.0pt
* \footskip=30.0pt
* \marginparwidth=50.0pt
* \marginparsep=10.0pt
* \columnsep=10.0pt
* \skip\footins=10.0pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt
* \voffset=0.0pt
* \mag=1000
* \@twocolumnfalse
* \@twosidefalse
* \@mparswitchfalse
* \@reversemarginfalse
* (1in=72.27pt=25.4mm, 1cm=28.453pt)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count296
\scratchdimen=\dimen175
\scratchbox=\box56
\nofMPsegments=\count297
\nofMParguments=\count298
\everyMPshowfont=\toks33
\MPscratchCnt=\count299
\MPscratchDim=\dimen176
\MPnumerator=\count300
\makeMPintoPDFobject=\count301
\everyMPtoPDFconversion=\toks34
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
85.
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
))
LaTeX Font Info: Trying to load font information for U+msa on input line 53.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info: Trying to load font information for U+msb on input line 53.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
LaTeX Font Info: Trying to load font information for T1+cmtt on input line 5
3.
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd
File: t1cmtt.fd 2023/04/13 v2.5m Standard LaTeX font definitions
) [1
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] [7] [8
]
Overfull \hbox (1.70348pt too wide) in paragraph at lines 821--825
[]\T1/cmr/m/n/10.95 Combination of ob-server con-di-tion-ing with the Loomis--C
arlip os-cil-la-tory sup-pres-sion mech-
[]
(./paper_1_master_key.bbl [9] [10] [11]) [12] (./paper_1_master_key.aux)
***********
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-01-22>
***********
Package rerunfilecheck Info: File `paper_1_master_key.out' has not changed.
(rerunfilecheck) Checksum: 40423080896236CE2C1535FF403950E1;3651.
)
Here is how much of TeX's memory you used:
11727 strings out of 476106
178675 string characters out of 5793933
1939975 words of memory out of 5000000
33453 multiletter control sequences out of 15000+600000
575616 words of font info for 82 fonts, out of 8000000 for 9000
59 hyphenation exceptions out of 8191
75i,6n,79p,831b,588s stack positions out of 10000i,1000n,20000p,200000b,200000s
</home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx12
00.600pk> </home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec
/tcrm1095.600pk> </home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jkna
ppen/ec/ecbx1095.600pk> </home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfo
ur/jknappen/ec/ecti1095.600pk> </home/antigravity/.texlive2023/texmf-var/fonts/
pk/ljfour/jknappen/ec/ecrm1095.600pk> </home/antigravity/.texlive2023/texmf-var
/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk> </home/antigravity/.texlive2023/te
xmf-var/fonts/pk/ljfour/jknappen/ec/ecti1000.600pk> </home/antigravity/.texlive
2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk> </home/antigravity/.
texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk> </home/antigr
avity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ectt1200.600pk> </home
/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1200.600pk>
</home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1200
.600pk> </home/antigravity/.texlive2023/texmf-var/fonts/pk/ljfour/jknappen/ec/e
crm1728.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cme
x10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pf
b></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/cmr10.pfb></usr/share/texlive
/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/font
s/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/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symb
ols/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbo
ls/msbm10.pfb>
Output written on paper_1_master_key.pdf (12 pages, 317180 bytes).
PDF statistics:
927 PDF objects out of 1000 (max. 8388607)
437 compressed objects within 5 object streams
130 named destinations out of 1000 (max. 500000)
137 words of extra memory for PDF output out of 10000 (max. 10000000)
@@ -0,0 +1,17 @@
\BOOKMARK [1][-]{section.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n}{}% 1
\BOOKMARK [1][-]{section.2}{\376\377\000P\000r\000e\000l\000i\000m\000i\000n\000a\000r\000i\000e\000s\000\040\000a\000n\000d\000\040\000N\000o\000t\000a\000t\000i\000o\000n}{}% 2
\BOOKMARK [1][-]{section.3}{\376\377\000F\000o\000r\000m\000a\000l\000i\000z\000i\000n\000g\000\040\000t\000h\000e\000\040\000C\000a\000u\000s\000a\000l\000\040\000O\000b\000s\000e\000r\000v\000e\000r}{}% 3
\BOOKMARK [1][-]{section.4}{\376\377\000O\000b\000s\000e\000r\000v\000e\000r\000-\000C\000o\000n\000d\000i\000t\000i\000o\000n\000e\000d\000\040\000P\000a\000r\000t\000i\000t\000i\000o\000n\000\040\000F\000u\000n\000c\000t\000i\000o\000n\000\040\000a\000n\000d\000\040\000K\000R\000\040\000E\000x\000c\000l\000u\000s\000i\000o\000n}{}% 4
\BOOKMARK [1][-]{section.5}{\376\377\000I\000n\000f\000o\000r\000m\000a\000t\000i\000o\000n\000\040\000S\000c\000r\000a\000m\000b\000l\000i\000n\000g\000\040\000a\000n\000d\000\040\000E\000x\000p\000a\000n\000d\000e\000r\000\040\000E\000x\000c\000l\000u\000s\000i\000o\000n}{}% 5
\BOOKMARK [2][-]{subsection.5.1}{\376\377\000S\000c\000r\000a\000m\000b\000l\000i\000n\000g\000\040\000t\000i\000m\000e\000\040\000f\000r\000o\000m\000\040\000s\000p\000e\000c\000t\000r\000a\000l\000\040\000a\000n\000a\000l\000y\000s\000i\000s}{section.5}% 6
\BOOKMARK [2][-]{subsection.5.2}{\376\377\000P\000h\000y\000s\000i\000c\000a\000l\000\040\000i\000n\000t\000e\000r\000p\000r\000e\000t\000a\000t\000i\000o\000n\000:\000\040\000f\000a\000s\000t\000\040\000s\000c\000r\000a\000m\000b\000l\000e\000r\000s\000\040\000a\000n\000d\000\040\000n\000o\000n\000-\000m\000a\000n\000i\000f\000o\000l\000d\000\040\000t\000o\000p\000o\000l\000o\000g\000y}{section.5}% 7
\BOOKMARK [1][-]{section.6}{\376\377\000D\000i\000m\000e\000n\000s\000i\000o\000n\000a\000l\000\040\000C\000o\000n\000s\000t\000r\000a\000i\000n\000t\000s\000\040\000f\000r\000o\000m\000\040\000S\000p\000e\000c\000t\000r\000a\000l\000\040\000E\000x\000p\000a\000n\000s\000i\000o\000n}{}% 8
\BOOKMARK [2][-]{subsection.6.1}{\376\377\000S\000p\000e\000c\000t\000r\000a\000l\000\040\000g\000a\000p\000\040\000a\000n\000d\000\040\000g\000r\000a\000p\000h\000\040\000d\000i\000m\000e\000n\000s\000i\000o\000n}{section.6}% 9
\BOOKMARK [2][-]{subsection.6.2}{\376\377\000R\000e\000c\000u\000r\000r\000e\000n\000c\000e\000\040\000a\000n\000d\000\040\000i\000n\000f\000o\000r\000m\000a\000t\000i\000o\000n\000\040\000l\000o\000c\000a\000l\000i\000z\000a\000t\000i\000o\000n}{section.6}% 10
\BOOKMARK [1][-]{section.7}{\376\377\000R\000e\000l\000a\000t\000e\000d\000\040\000W\000o\000r\000k}{}% 11
\BOOKMARK [1][-]{section.8}{\376\377\000D\000i\000s\000c\000u\000s\000s\000i\000o\000n}{}% 12
\BOOKMARK [2][-]{subsection.8.1}{\376\377\000L\000i\000m\000i\000t\000a\000t\000i\000o\000n\000s\000\040\000a\000n\000d\000\040\000s\000c\000o\000p\000e}{section.8}% 13
\BOOKMARK [2][-]{subsection.8.2}{\376\377\000P\000h\000y\000s\000i\000c\000a\000l\000\040\000i\000n\000t\000e\000r\000p\000r\000e\000t\000a\000t\000i\000o\000n}{section.8}% 14
\BOOKMARK [2][-]{subsection.8.3}{\376\377\000O\000n\000t\000o\000l\000o\000g\000i\000c\000a\000l\000\040\000I\000m\000p\000l\000i\000c\000a\000t\000i\000o\000n\000s\000:\000\040\000T\000h\000e\000\040\0004\000D\000\040\000V\000i\000r\000t\000u\000a\000l\000\040\000M\000a\000c\000h\000i\000n\000e}{section.8}% 15
\BOOKMARK [2][-]{subsection.8.4}{\376\377\000F\000u\000t\000u\000r\000e\000\040\000d\000i\000r\000e\000c\000t\000i\000o\000n\000s}{section.8}% 16
\BOOKMARK [1][-]{section.9}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{}% 17
+63
View File
@@ -0,0 +1,63 @@
#!/usr/bin/env python3
import os
import re
import subprocess
from pathlib import Path
INTELLECTON_DIR = Path("/home/antigravity/intellecton/papers")
PORTAL_DIR = Path("/home/antigravity/knowledge-engineering-fortress/content/papers")
def extract_tex(file_path):
with open(file_path, "r", encoding="utf-8") as f:
content = f.read()
title_match = re.search(r"\\title\{(.*?)\}", content, re.DOTALL)
abstract_match = re.search(r"\\begin\{abstract\}(.*?)\\end\{abstract\}", content, re.DOTALL)
title = title_match.group(1).strip() if title_match else "Untitled"
title = re.sub(r"\\(?:textbf|textit)\{(.*?)\}", r"\1", title) # clean simple latex
abstract = abstract_match.group(1).strip() if abstract_match else "No abstract provided."
# Clean up basic latex math and newlines
abstract = re.sub(r"\\\\", "\n", abstract)
abstract = re.sub(r"\$([^\$]+)\$", r"`\1`", abstract) # Convert inline math to code block or leave as math
return title, abstract
def build_bridge():
changed = False
print("JULES CI/CD: Scanning Intellecton Canon...")
for root, dirs, files in os.walk(INTELLECTON_DIR):
for f in files:
if f.endswith(".tex") and "master_key" in root:
tex_path = Path(root) / f
title, abstract = extract_tex(tex_path)
# Create Markdown filename
paper_id = tex_path.parent.parent.name # e.g. project_paper_1_relativity
md_filename = f"{paper_id}.md"
md_path = PORTAL_DIR / md_filename
# Check if it already exists and is up to date
new_content = f"# {title}\n\n**Abstract:**\n{abstract}\n\n*This file is continuously synchronized by the Jules CI/CD Bridge.*"
if md_path.exists():
with open(md_path, "r", encoding="utf-8") as existing:
if existing.read() == new_content:
continue # No changes needed
# Write to portal
print(f"JULES CI/CD: Syncing {paper_id} to portal...")
with open(md_path, "w", encoding="utf-8") as out:
out.write(new_content)
changed = True
if changed:
print("JULES CI/CD: Detected changes. Committing to portal...")
subprocess.run(["git", "add", "."], cwd=PORTAL_DIR)
subprocess.run(["git", "commit", "-m", "Jules CI/CD: Autonomous paper sync from Intellecton"], cwd=PORTAL_DIR)
print("JULES CI/CD: Sync complete.")
else:
print("JULES CI/CD: All portals are synchronized.")
if __name__ == "__main__":
build_bridge()