\documentclass[11pt]{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{geometry}
\usepackage{enumitem}
\usepackage{longtable}
\usepackage{booktabs}
\geometry{margin=1in}

\title{Syncre Witness Atlas:\\ Ten Flagship Examples Across Physical Contexts}
\author{Drew Higgins}
\date{}

\begin{document}
\maketitle

\section*{How to read this atlas}

Each entry supplies the same minimal template:

\begin{itemize}[leftmargin=*]
\item the slice or subsystem being observed,
\item the cycle-valued phase observable,
\item the symmetry or loop mechanism that forces coverage,
\item the correct target (full circle/torus or coupled target),
\item the certificate sketch: what a WSC would record, or which WOB obstruction applies.
\end{itemize}

\section*{Witness Atlas (30 examples)}

\begin{longtable}{@{}p{0.14\textwidth}p{0.22\textwidth}p{0.18\textwidth}p{0.38\textwidth}@{}}
\toprule
\textbf{Label} & \textbf{Context} & \textbf{Class / Artifact} & \textbf{SFT form (target and certificate/obstruction sketch)} \\
\midrule
\endhead
A1 & Earth rotation (local solar phase) & Class C / \texttt{WSC-ATLAS-0001} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A2 & Solar–lunar synodic coupling (CST) & Class B / \texttt{WSC-ATLAS-0002} & Coupled target (CST) is the correct meaning; coverage is certified on CST with coupled Haar baseline. \\
A3 & Traveling wave on periodic medium & Class C / \texttt{WSC-ATLAS-0003} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A4 & Vortex defect loop (order parameter) & Class C / \texttt{WSC-ATLAS-0004} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A5 & AC circuit steady-state (phase response) & Class A / \texttt{WSC-ATLAS-0005} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
A6 & Ring oscillator phase around ring & Class C / \texttt{WSC-ATLAS-0006} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A7 & Rotating machinery shaft angle & Class A / \texttt{WSC-ATLAS-0007} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
A8 & Planetary orbital phase & Class C / \texttt{WSC-ATLAS-0008} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A9 & Coupled pendula resonance locking & Class D / \texttt{WOB-ATLAS-0009} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A10 & Stroboscopic jitter diffusion & Class A / \texttt{WSC-ATLAS-0010} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
A11 & Coupling mismatch (wrong target) & Class D / \texttt{WOB-ATLAS-0011} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A12 & Equivariance defect beyond tolerance & Class D / \texttt{WOB-ATLAS-0012} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A13 & No cyclic subsystem available & Class D / \texttt{WOB-ATLAS-0013} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A14 & Trivial winding on candidate loop & Class D / \texttt{WOB-ATLAS-0014} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A15 & Measurement pinch (image misses arc) & Class D / \texttt{WOB-ATLAS-0015} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A16 & Tear/regularity failure on loop & Class D / \texttt{WOB-ATLAS-0016} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A17 & Disconnected domain misses witness component & Class D / \texttt{WOB-ATLAS-0017} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A18 & Slope-zero and quotient nonsurjective & Class D / \texttt{WOB-ATLAS-0018} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A19 & Orbit collapse (no free orbit) & Class D / \texttt{WOB-ATLAS-0019} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A20 & Mixing claim without justification & Class D / \texttt{WOB-ATLAS-0020} & Obstruction reported with evidence; the correct response is to revise the declared regime or compute the correct target. \\
A21 & Uncoupled two-drive torus coverage & Class A / \texttt{WSC-ATLAS-0021} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
A22 & Matrix coupling in T^3 (CST rank 2) & Class B / \texttt{WSC-ATLAS-0022} & Coupled target (CST) is the correct meaning; coverage is certified on CST with coupled Haar baseline. \\
A23 & Holonomy loop witness (flux-like) & Class C / \texttt{WSC-ATLAS-0023} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A24 & Bloch phase winding on closed loop & Class C / \texttt{WSC-ATLAS-0024} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A25 & Fluid vortex ring loop witness & Class C / \texttt{WSC-ATLAS-0025} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A26 & Nonresonant torus drive (Haar convergence) & Class A / \texttt{WSC-ATLAS-0026} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
A27 & Diffusion-enforced uniformity on CST & Class B / \texttt{WSC-ATLAS-0027} & Coupled target (CST) is the correct meaning; coverage is certified on CST with coupled Haar baseline. \\
A28 & Neural oscillation ring phase wave & Class C / \texttt{WSC-ATLAS-0028} & Embedded subsystem witness certifies full-cycle coverage on the subsystem, without asserting global coverage. \\
A29 & Gear ratio coupled phase (CST) & Class B / \texttt{WSC-ATLAS-0029} & Coupled target (CST) is the correct meaning; coverage is certified on CST with coupled Haar baseline. \\
A30 & Two-control oscillator array torus coverage & Class A / \texttt{WSC-ATLAS-0030} & Full target coverage is certified in the declared regime; statistical upgrades apply only when their certificates are declared. \\
\bottomrule
\end{longtable}


\end{document}

