% Generated by generate_collatz_appendix_snippets.py
% Script path: /home/eduardo/Downloads/collatz/RUN/V13_funcionando/generate_collatz_appendix_snippets.py
% Script SHA-256: 152d2936a5d68164debe78f863619ccb675cc02bf19f2661ad60b45538af356a
% JSON file: /home/eduardo/Downloads/collatz/RUN/V13_funcionando/log_pass_5000-6000/collatz_logscale_summary_20251129_160245.json
% JSON file SHA-256: be3ddc70ce35b66c9e322789163fb7d064a37fe9278b21984e6b8c67cca14a78
% Snippet generation timestamp: 20251130_195500

\subsection{Bit window $[2^{5000},2^{6000})$}

\paragraph{JSON file and global meta.}
This certified JSON log records a run of the global log--scaled axiomatic protocol for a Collatz bit window driven by the V13 implementation. The main summary file for this run is:

\begin{center}
\texttt{collatz\_logscale\_summary\_20251129\_160245.json}
\end{center}

Global metadata for this run include:
\begin{itemize}
  \item Global bit window: $[2^{5000},2^{6000})$ (\texttt{bits\_low\_global = 5000}, \texttt{bits\_high\_global = 6000});
  \item Execution mode: \texttt{SAMPLED\_RANGES};
  \item Maximum CPU temperature: $93.0^\circ$C (\texttt{max\_cpu\_temp = 93.0});
  \item Sleep between thermal checks: \texttt{sleep\_seconds = 15.0};
  \item Random seed base: \texttt{seed\_base = 20251129160245};
  \item Run identifier: \texttt{timestamp\_start = \"20251129\_160245\"};
  \item Wall--clock runtime: \texttt{runtime\_seconds} $\approx 3311.18$s;
  \item JSON file SHA--256: \texttt{be3ddc70ce35b66c9e322789163fb7d064a37fe9278b21984e6b8c67cca14a78};
\end{itemize}

For range block 1, covering $[2^{5000},2^{5500})$, we have:
\begin{itemize}
  \item \texttt{num\_samples} $= 25000$ odd starting values;
  \item SHA--256 of the sorted sample list:
\begin{center}
\texttt{7d8dc8fb8b44292cc8c23c9c09223254c15f14eb5ffb3581b7e1e47f4087a893}
\end{center}
\end{itemize}

\paragraph{Axiom II (one--step log--scaled compression).}
\begin{itemize}
  \item Effective sample size: \texttt{samples = 14450};
  \item Empirical mean drop: \texttt{avg\_delta} $\approx 2.7180$;
  \item Empirical median drop: \texttt{median\_delta} $\approx 1.5850$;
  \item Theoretical target: \texttt{theoretical\_delta} $\approx 0.0850$;
  \item Fraction of positive drops: \texttt{positive\_rate} $\approx 0.57800$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom III (excursion tightness).}
\begin{itemize}
  \item Empirical mean excursion: \texttt{avg\_excursion} $\approx 2.8339$;
  \item Maximum excursion: \texttt{max\_excursion} $= 18.0$;
  \item 95th percentile: \texttt{p95} $= 6.0$; 99th percentile: \texttt{p99} $= 8.0$;
  \item Fraction with excursion $> 10$: \texttt{fraction\_E10} $\approx 0.00176$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom IV (convergence density).}
\begin{itemize}
  \item Cutoff scale: \texttt{K\_max = 66000};
  \item Density at cutoff: \texttt{density\_at\_Kmax} $\approx 1.00000$ with threshold \texttt{density\_threshold = };
  \item Non--converged count: \texttt{non\_converged = 0} (rate \texttt{non\_converged\_rate = 0.00000});
  \item Mean stopping time: \texttt{tau\_mean} $\approx 39752.93$; median: \texttt{tau\_median = 39741}; maximum: \texttt{tau\_max = 44032};
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom V (log--scaled tail stability).}
\begin{itemize}
  \item Fixed structural parameters: \texttt{C\_V\_fixed = 7.2}, \texttt{delta = 0.08}, \texttt{theta\_min = 0.001}, \texttt{theta\_max = 0.5};
  \item Empirical tail fraction: \texttt{f\_tail} $\approx 0.0018$ (with \texttt{tail\_count = 45});
  \item Empirical constants: \texttt{C\_empirical\_mean} $\approx 7.2297$, \texttt{C\_empirical\_median} $\approx 7.2275$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

For range block 2, covering $[2^{5500},2^{6000})$, we have:
\begin{itemize}
  \item \texttt{num\_samples} $= 25000$ odd starting values;
  \item SHA--256 of the sorted sample list:
\begin{center}
\texttt{8e61d1d908a14e85e80f9fbb587d63dab21294ab3d6ce42efb43e5b354d83fd6}
\end{center}
\end{itemize}

\paragraph{Axiom II (one--step log--scaled compression).}
\begin{itemize}
  \item Effective sample size: \texttt{samples = 14361};
  \item Empirical mean drop: \texttt{avg\_delta} $\approx 2.7350$;
  \item Empirical median drop: \texttt{median\_delta} $\approx 1.5850$;
  \item Theoretical target: \texttt{theoretical\_delta} $\approx 0.0850$;
  \item Fraction of positive drops: \texttt{positive\_rate} $\approx 0.57444$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom III (excursion tightness).}
\begin{itemize}
  \item Empirical mean excursion: \texttt{avg\_excursion} $\approx 2.8549$;
  \item Maximum excursion: \texttt{max\_excursion} $= 18.0$;
  \item 95th percentile: \texttt{p95} $= 6.0$; 99th percentile: \texttt{p99} $= 8.0$;
  \item Fraction with excursion $> 10$: \texttt{fraction\_E10} $\approx 0.00156$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom IV (convergence density).}
\begin{itemize}
  \item Cutoff scale: \texttt{K\_max = 72000};
  \item Density at cutoff: \texttt{density\_at\_Kmax} $\approx 1.00000$ with threshold \texttt{density\_threshold = };
  \item Non--converged count: \texttt{non\_converged = 0} (rate \texttt{non\_converged\_rate = 0.00000});
  \item Mean stopping time: \texttt{tau\_mean} $\approx 43356.48$; median: \texttt{tau\_median = 43351}; maximum: \texttt{tau\_max = 47519};
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Axiom V (log--scaled tail stability).}
\begin{itemize}
  \item Fixed structural parameters: \texttt{C\_V\_fixed = 7.2}, \texttt{delta = 0.08}, \texttt{theta\_min = 0.001}, \texttt{theta\_max = 0.5};
  \item Empirical tail fraction: \texttt{f\_tail} $\approx 0.0014$ (with \texttt{tail\_count = 34});
  \item Empirical constants: \texttt{C\_empirical\_mean} $\approx 7.2278$, \texttt{C\_empirical\_median} $\approx 7.2266$;
  \item Axiom status: \texttt{passed\_axiom = True}.
\end{itemize}

\paragraph{Global axiom status.}
The top--level field \texttt{core\_axioms\_I\_to\_V\_passed = True} indicates whether all five log--scaled axioms (I--V) are simultaneously validated for this run within the numerical thresholds fixed in the main text.

\paragraph{English technical summary.}
\begin{quote}
This certified JSON log corresponds to the bit window $[2^{5000},2^{6000})$ and was produced by the V13 implementation of the log--scaled axiomatic protocol. It records global metadata, frozen structural parameters, SHA--256 hashes of the sorted sample list, and empirical statistics for the log--scaled Axioms~I--V (one--step compression, excursion tightness, convergence density and tail stability).
 The final field \texttt{core\_axioms\_I\_to\_V\_passed = true} indicates that, for this run, the full log--scaled regime required by the conditional global theorem is numerically validated within the prescribed thresholds.
\end{quote}
