Tabellenrahmen mit Doppellinie am Kopf, unterbrochen vom Text

Angenommen, wir wollen so etwas setzen:

Wie setzt man so etwas? Versuche von mir und Rainer findet man in http://latex.org/forum/viewtopic.php?f=44&t=33047&p=111088#p111088, allerdings ist meine Variante fürs Klo, und bei Rainers Variante ist die Doppellinie oben nicht mit dem Rest des Tabellenrahmens verbunden. Diese Lösung ist als erste unten wiedergegeben; direkt daran sind unterschiedliche Versuche für {xe|lua|pdf}latex angehängt, allesamt ganz klar alte Kacke:

\RequirePackage{ifthen}
\RequirePackage{ifxetex,ifluatex}
\newif\ifxetexorluatex
\ifxetex
  \xetexorluatextrue
\else
  \ifluatex
    \xetexorluatextrue
  \else
    \xetexorluatexfalse
  \fi
\fi
\documentclass{article}
\usepackage[USenglish,ngerman]{babel}%%% The main language is German
\usepackage{lipsum}
\pagestyle{empty}
\newlength\drulesep% separation between the two lines of adouble rule
\newlength\druleshift% distance for lower rule of a double rule to baseline
\newlength\druleweight% thickness for each line of a double rule
\setlength\drulesep{0.5ex}
\setlength\druleshift{1pt}
\setlength\druleweight{0.4pt}
\newcommand*\drule[1]{% double rule
  \makebox[0pt][l]{\raisebox{\dimexpr\druleshift+\druleweight+\drulesep}{\rule{#1}{\druleweight}}}%
  \raisebox{\druleshift}{\rule{#1}{\druleweight}}%
}
\newcommand*\drulefill{% double rule fill
  \leaders\hbox{\drule{0.1em}}\hfill\kern0pt%
}
\ifxetexorluatex
\usepackage{unicode-math}
\usepackage{dejavu-otf}
\fi
\begin{document}
\lipsum[1]

\noindent%
\drule{2em}\textsf{TII3}\drulefill\foreignlanguage{USenglish}{timed}\drule{2em}\strut\\
\begin{tabular}{|p{\dimexpr\textwidth-2\tabcolsep}|}
  \begin{tabular}{@{}l@{\ \ }l@{}l@{\ }l@{}}
    \textsf{\textbf{in}} &\(z'\)&\(\colon\)&\textsf{T3}\\
    \textsf{\textbf{out}} &\(z\)&\(\colon\)&\textsf{T3}
  \end{tabular}\\
  \hline\\[-2.2ex]
  \(\bar{z} = \bar{z'}\)\\
  \hline
\end{tabular}

\noindent\texttt{%
\ifxetex%
╒═══TII3════════════════════════════════════════════timed═══╕\\
│ \textsf{\textbf{in}}  \(z'\colon\mathsf{T3}\)\hskip26.74em│\\
│ \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip26.26em│\\
├───────────────────────────────────────────────────────────┤\\
│ \(\bar{z} = \bar{z'}\)\hskip27.89em│\\
└───────────────────────────────────────────────────────────┘%
\else%
\ifluatex%
╒═══TII3════════════════════════════════════════════timed═══╕\\
│ \textsf{\textbf{in}}  \(z'\colon\mathsf{T3}\)\hskip29.75em│\\
│ \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip29.2em│\\
├───────────────────────────────────────────────────────────┤\\
│ \(\bar{z} = \bar{z'}\)\hskip31.05em│\\
└───────────────────────────────────────────────────────────┘%
\else%
+===TII3============================================timed===+\\
| \textsf{\textbf{in}}  \(z'\colon\mathsf{T3}\)\hskip25.42em|\\
| \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip25.03em|\\
+-----------------------------------------------------------+\\
| \(\bar{z} = \bar{z'}\)\hskip26.5em|\\
+-----------------------------------------------------------+%
\fi\fi}\\
\lipsum[2]
\end{document}

Fällt jemand eine Lösung ein, die mit jedem der drei Compiler funktioniert und dabei bessere Ergebnisse liefert?