Aligning tcolorbox in enumerates to first baseline

Question

I have lost hours to this... How do I align a series of tcolorboxes based on the first baseline (or a certain mm of shift). I'll have somewhere around 60 of these per document, and 15 documents...I need a fix! Or an alternative way to the same visual result

What I have:

\usepackage[most]{tcolorbox}
\tcbset{sharp corners, frame hidden, boxrule=0mm, colframe=white, box align=top}

later in document

\begin{enumerate}
\item \begin{tcolorbox}{(Proof 1.1) For $a$ and $b$, two elements of a Field $F$, using only the axioms for a field, proofs:}\end{tcolorbox}
\begin{itemize}
\item \openq $\forall a \in F$, $0a = 0$ \closeq

...

There has to be a way...

Answer 1

I propose this hack, with enumitem:

\documentclass[11pt, a4paper]{article}

\usepackage[utf8]{inputenc} %Character set
\usepackage{enumitem}
\usepackage[most]{tcolorbox}
\tcbset{sharp corners, frame hidden, boxrule=0mm, colframe=white, box align=top}
\newcommand{\openq}{\begin{tcolorbox}}
\newcommand{\closeq}{\end{tcolorbox}}

\makeatletter
\def\tcbboxsep{\kvtcb@boxsep}
\def\tcbtopsep{\kvtcb@topsep}
\makeatother

\begin{document}

\begin{enumerate}[nosep]
\item \leavevmode\vspace*{-\dimexpr2\baselineskip + \tcbboxsep + \tcbtopsep}
\begin{tcolorbox}{(Proof 1.1) For $a$ and $b$, two elements of a Field $F$, using only the axioms for a field, proofs:}\end{tcolorbox}
\begin{itemize}[nosep, wide=0pt, leftmargin=*]
\item \leavevmode\vspace*{-\dimexpr2\baselineskip + \tcbboxsep +\tcbtopsep}
\openq $\forall a \in F$, $0\,a = 0$ \closeq
\end{itemize}
\end{enumerate}

\end{document}