FULL_PROOF.tex md5 0ec0a1e23799bfcf7714b2032b0f28de, 9807 lines, 13 source blocks
pinned MAIN_RESULT.tex                            store md5 38b69350c47c472d401153eac2a270e7
pinned MAIN_RESULT_K2.tex                         store md5 280e80ed1839752895c6874873ec8c12
pinned MAIN_RESULT_K3.tex                         store md5 00720a0c083de2020282ed4635e00c0c
pinned MAIN_RESULT_K3B.tex                        store md5 efa33947fa2293a078c7aa805b4d1ab2
pinned MAIN_RESULT_K4.tex                         store md5 01d916597bedd8f9ee25a40a66f33768
pinned MAIN_RESULT_K5.tex                         store md5 bc42dd0f7e4382da9668403529a0b747
pinned full_proof/sources/RQB_MAIN_RESULT.tex     store md5 e41938426653fabb413484e593485ccf; snapshot copy e4193842
pinned full_proof/sources/RQD_MAIN_RESULT.tex     store md5 ac0ecf4ff81feba53f6b8d8567a35a3b; snapshot copy ac0ecf4f

BLOCK 1: MAIN -> Chapter 1 (FULL_PROOF lines 697-1321); md5 38b69350 OK
  editorial insertions removed: 2 (ednote@1256, ednote@1320)
    ednote       line 1256: ...$|\alpha|_2=1$. Reduce as in Section 2[[\ednote{Section~2 of the source paper, that is, Se ...]] to $a=\alpha_1=\max|\alpha_i|>0$. If $a=1$ t...
    ednote       line 1320: ...and $\kappa_3B_0-4c_4\ge6.1\cdot10^{-3}$.[[\ednote{The refereed text (\texttt{MAIN\_RESULT.te ...]]...
  prefixed references: 67; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 20 / block line 18
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 22 / block line 20
    - \tableofcontents
    @@ replace src-body line 614 / block line 611
    - \appendix
    - \section{A sample certificate}
    + \section*{A sample certificate (appendix of the source paper)}
    + \addcontentsline{toc}{section}{A sample certificate (appendix of the source paper)}
    @@ delete src-body line 627 / block line 624
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 20: abstract environment
  hunk at src 22: title/toc dropped
  hunk at src 614: listed rewrite: appendix heading of Theorem 1's paper
  hunk at src 627: blank-lines

BLOCK 2: K2 -> Chapter 2 (FULL_PROOF lines 1340-2082); md5 280e80ed OK
  editorial insertions removed: 0 ()
  prefixed references: 101; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 20 / block line 18
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 22 / block line 20
    - \tableofcontents
    @@ delete src-body line 745 / block line 742
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 20: abstract environment
  hunk at src 22: title/toc dropped
  hunk at src 745: blank-lines

BLOCK 3: K3 -> Chapter 3 (FULL_PROOF lines 2101-2900); md5 00720a0c OK
  editorial insertions removed: 0 ()
  prefixed references: 109; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 23 / block line 21
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 25 / block line 23
    - \tableofcontents
    @@ delete src-body line 802 / block line 799
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 23: abstract environment
  hunk at src 25: title/toc dropped
  hunk at src 802: blank-lines

BLOCK 4: K3B -> Chapter 4 (FULL_PROOF lines 2920-4018); md5 efa33947 OK
  editorial insertions removed: 0 ()
  prefixed references: 144; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 23 / block line 21
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 25 / block line 23
    - \tableofcontents
    @@ delete src-body line 1101 / block line 1098
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 23: abstract environment
  hunk at src 25: title/toc dropped
  hunk at src 1101: blank-lines

BLOCK 5: K4 -> Chapter 5 (FULL_PROOF lines 4039-5421); md5 01d91659 OK
  editorial insertions removed: 0 ()
  prefixed references: 189; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 20 / block line 18
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 22 / block line 20
    - \tableofcontents
    @@ delete src-body line 1385 / block line 1382
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 20: abstract environment
  hunk at src 22: title/toc dropped
  hunk at src 1385: blank-lines

BLOCK 6: K5 -> Chapter 6 (FULL_PROOF lines 5441-6761); md5 bc42dd0f OK
  editorial insertions removed: 0 ()
  prefixed references: 174; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 21 / block line 19
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 23 / block line 21
    - \tableofcontents
    @@ delete src-body line 1323 / block line 1320
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 21: abstract environment
  hunk at src 23: title/toc dropped
  hunk at src 1323: blank-lines

BLOCK 7: RQB -> Chapter 7, P1 (FULL_PROOF lines 6804-6834); md5 e4193842 OK
  editorial insertions removed: 3 (srctag@6814, srctag@6825, srctag@6829)
    srctag       line 6814: ...orov measures and $\Rid$]\label{ch07:def:Rid}[[\srctag{RQ-B tex Definition 1.1} ...]]...
    srctag       line 6825: ...main conjecture in the regime]\label{ch07:c0}[[\srctag{RQ-B tex Conjecture 1.2} ...]]...
    srctag       line 6829: ...visible Khintchine inequality]\label{ch07:c5}[[\srctag{RQ-B tex Conjecture 1.3} ...]]...
  prefixed references: 3; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [60])
  last line "\end{conjecture}" chosen at source line 88 (excerpt 29 lines, source stretch 29 lines)
  source lines 60-88; exact equality: False; occurrences of the reverted excerpt: 0
    @@ replace src line 10 / excerpt line 10
    - \begin{definition}[Kolmogorov measures and $\Rid$]
    + \begin{definition}[Kolmogorov measures and $\Rid$]\label{def:Rid}
  hunk at src 10: listed insertion: the label of Definition ch07:def:Rid

BLOCK 8: RQB -> Chapter 7, P2 (FULL_PROOF lines 6838-6861); md5 e4193842 OK
  editorial insertions removed: 1 (srctag@6841)
    srctag       line 6841: ...\begin{theorem}\label{ch07:thm:equal}[[\srctag{RQ-B tex Theorem 2.1; md Theorem 1} ...]]...
  prefixed references: 1; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [119])
  last line "\end{proof}" chosen at source line 140 (excerpt 22 lines, source stretch 22 lines)
  source lines 119-140; exact equality: True; occurrences of the reverted excerpt: 1

BLOCK 9: RQB -> Chapter 7, P3 (FULL_PROOF lines 6865-6872); md5 e4193842 OK
  editorial insertions removed: 0 ()
  prefixed references: 2; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [148])
  last line "\end{equation}" chosen at source line 153 (excerpt 6 lines, source stretch 6 lines)
  source lines 148-153; exact equality: True; occurrences of the reverted excerpt: 1

BLOCK 10: RQB -> Chapter 7, P4 (FULL_PROOF lines 6876-7040); md5 e4193842 OK
  editorial insertions removed: 9 (srctag@6882, srctag@6895, srctag@6920, srctag@6924, ednote@6952, srctag@6957, srctag@7022, ednote@7036, ednote@7037)
    srctag       line 6882: ...\begin{lemma}\label{ch07:lem:level1}[[\srctag{RQ-B tex Lemma 3.1; md Lemma 2.1} ...]]...
    srctag       line 6895: ...\begin{theorem}\label{ch07:thm:poisson}[[\srctag{RQ-B tex Theorem 4.1; md Theorem 3} ...]]...
    srctag       line 6920: ...\begin{remark}[[\srctag{RQ-B tex Remark 4.2; md Remark 3.2} ...]]...
    srctag       line 6924: ...tomic Poisson inequality]\label{ch07:rem:apc}[[\srctag{RQ-B tex Remark 4.3; md Remark 3.3} ...]]...
    ednote       line 6952: ...e0.3429$}, which contains the regime $q<q_0$.[[\ednote{Here $q_0=1-1/\sqrt2$, which is $q_2$ in t ...]] Numerically APC...
    srctag       line 6957: ...tion, uniform in $k$]\label{ch07:thm:uniform}[[\srctag{RQ-B tex Theorem 4.4; md Theorem 3.4} ...]]...
    srctag       line 7022: ...ef{ch07:thm:uniform}]\label{ch07:rem:uniform}[[\srctag{RQ-B tex Remark 4.5; md ``Remarks on Theor ...]]...
    ednote       line 7036: ...ID$^*$($C$)} itself is open (it contains C5).[[\ednote{This is the status in RQ-B's text when it  ...]]...
    ednote       line 7037: ...Remark~9.7 and Section~11 of RQ-B's paper[[\ednote{In the source these are cross-references t ...]] record why moment-cell certificates cannot s...
  prefixed references: 17; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [196])
  last line "\end{remark}" chosen at source line 358 (excerpt 163 lines, source stretch 163 lines)
  source lines 196-358; exact equality: False; occurrences of the reverted excerpt: 0
    @@ replace src line 161 / excerpt line 161
    - Remark~\ref{rem:slicelimits} and Section~\ref{sec:fail} record why moment-cell certificates cannot supply the part away
    + Remark~9.7 and Section~11 of RQ-B's paper record why moment-cell certificates cannot supply the part away
  hunk at src 161: listed rewrite: rem:slicelimits, sec:fail -> Remark 9.7 and Section 11 (numbers: a41b)

BLOCK 11: RQB -> Chapter 7, P5 (FULL_PROOF lines 7047-7071); md5 e4193842 OK
  editorial insertions removed: 2 (srctag@7048, ednote@7061)
    srctag       line 7048: ...}[size of the window]\label{ch07:prop:window}[[\srctag{RQ-B tex Proposition 6.2; md Proposition 5 ...]]...
    ednote       line 7061: ... in the proof of Theorem~6.1 of RQ-B's paper,[[\ednote{In the source this is a cross-reference to ...]] $B/M=(2es)^{-1/2}/\max_k\sqrt ke^{-ks}=1/\ma...
  prefixed references: 3; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [401])
  last line "\end{proof}" chosen at source line 423 (excerpt 23 lines, source stretch 23 lines)
  source lines 401-423; exact equality: False; occurrences of the reverted excerpt: 0
    @@ replace src line 14 / excerpt line 14
    - From the two displays in the proof of Theorem~\ref{thm:cond}, $B/M=(2es)^{-1/2}/\max_k\sqrt ke^{-ks}=1/\max_kg(ks)$.
    + From the two displays in the proof of Theorem~6.1 of RQ-B's paper, $B/M=(2es)^{-1/2}/\max_k\sqrt ke^{-ks}=1/\max_kg(ks)$.
  hunk at src 14: listed rewrite: thm:cond -> Theorem 6.1 (number: a41b)

BLOCK 12: RQD -> Chapter 9 (FULL_PROOF lines 7345-8363); md5 ac0ecf4f OK
  editorial insertions removed: 3 (ednote@7861, ednote@7936, ednote@7971)
    ednote       line 7861: ...n \texttt{outputs/verify\_bandstar\_env.txt}.[[\ednote{RQ-REF3's second robustness remark: this r ...]]...
    ednote       line 7936: ...rho^2=0$ in the range $0.4463<\Lambda<0.5579$[[\ednote{The refereed text (md5 \texttt{212c6f23\ld ...]] where...
    ednote       line 7971: ...$a+b\in[0.1972,0.2]$, $a\in[0.0566,0.0958]$).[[\ednote{The refereed text read $a+b\in[0.1973,0.2] ...]] All are certified at shift $0$, and at shift...
  prefixed references: 141; foreign prefixes: none; leftover "chNN:": none
    @@ replace src-body line 2 / block line 2
    - \maketitle
    - 
    - \begin{abstract}
    + \begin{srcabstract}
    @@ replace src-body line 24 / block line 22
    - \end{abstract}
    + \end{srcabstract}
    @@ delete src-body line 1020 / block line 1018
    - 
    - 
  hunk at src 2: title dropped, abstract environment
  hunk at src 24: abstract environment
  hunk at src 1020: blank-lines

BLOCK 13: RQB -> Chapter 10 (FULL_PROOF lines 8398-8647); md5 e4193842 OK
  editorial insertions removed: 14 (srctag@8402, ednote@8409, srctag@8422, srctag@8436, srctag@8450, srctag@8460, srctag@8465, ednote@8467, srctag@8487, mdsupplement@8512, srctag@8552, mdsupplement@8557, srctag@8579, mdsupplement@8594)
    srctag       line 8402: ...fied; audit requested]\label{ch10:thm:flight}[[\srctag{RQ-B tex Theorem 12.1; md Theorem 13.1} ...]]...
    ednote       line 8409: ...ap\{V_+\ge\frac12\text{ or }V_-\ge\frac12\}$.[[\ednote{RQ-D's Corollary~14 is Corollary~\ref{ch09 ...]]...
    srctag       line 8422: ...n{lemma}[two-point spread]\label{ch10:lem:S1}[[\srctag{RQ-B tex Lemma 12.2; md Lemma S1} ...]]...
    srctag       line 8436: ...indow mass from the rates]\label{ch10:lem:S2}[[\srctag{RQ-B tex Lemma 12.3; md Lemma S2} ...]]...
    srctag       line 8450: ...}[lower corner and top-up]\label{ch10:lem:S3}[[\srctag{RQ-B tex Lemma 12.4; md Lemma S3} ...]]...
    srctag       line 8460: ...\begin{corollary}\label{ch10:cor:S4}[[\srctag{RQ-B tex Corollary 12.5; md Corollary S4} ...]]...
    srctag       line 8465: ...indow straddling $\theta$]\label{ch10:lem:S5}[[\srctag{RQ-B tex Lemma 12.6; md Lemma S5} ...]]...
    ednote       line 8467: ... the box $B$ of Lemma~\ref{ch10:lem:S2}(iii),[[\ednote{The items (i)--(iii) are those of RQ-B's \ ...]] then...
    srctag       line 8487: ...egin{lemma}[certificate]\label{ch10:lem:cert}[[\srctag{RQ-B tex Lemma 12.7; md Lemma C} ...]]...
    mdsupplement line 8512: ...[[\begin{mdsupplement}{RQ-B's \texttt{MAIN\_RESULT.m ...]]...
    srctag       line 8552: ...\begin{lemma}[three cases]\label{ch10:lem:D}[[\srctag{RQ-B tex Lemma 12.8; md Lemma D} ...]]...
    mdsupplement line 8557: ...[[\begin{mdsupplement}{RQ-B's \texttt{MAIN\_RESULT.m ...]]...
    srctag       line 8579: ...cells, $\delta=\frac1{20}$]\label{ch10:lem:E}[[\srctag{RQ-B tex Lemma 12.9; md Lemma E} ...]]...
    mdsupplement line 8594: ...[[\begin{mdsupplement}{RQ-B's \texttt{MAIN\_RESULT.m ...]]...
  prefixed references: 17; foreign prefixes: none; leftover "chNN:": none
  first line occurs 1 time(s) in source (line [895])
  last line "rest cells at depth $1$ and $20$ at dept" chosen at source line 1049 (excerpt 158 lines, source stretch 155 lines)
  source lines 895-1049; exact equality: False; occurrences of the reverted excerpt: 0
    @@ insert src line 115 / excerpt line 115
    + 
    @@ insert src line 125 / excerpt line 126
    + 
    @@ insert src line 142 / excerpt line 144
    + 
  hunk at src 115: blank-lines
  hunk at src 125: blank-lines
  hunk at src 142: blank-lines

RQ-B excerpts in source order: [(60, 88, 'Chapter 7, P1'), (119, 140, 'Chapter 7, P2'), (148, 153, 'Chapter 7, P3'), (196, 358, 'Chapter 7, P4'), (401, 423, 'Chapter 7, P5'), (895, 1049, 'Chapter 10')]
disjoint and increasing: True
editorial insertions inside source blocks: 34
hunks or checks needing inspection: 0
A41A_PASS
