Solution (source code)

= Solution

An <orthonormal frame in spacetime> is a local basis $\{e_a\}$ satisfying $g(e_a,e_b)=\eta_{ab}$. The metric determines it only up to a point-dependent Lorentz transformation, with orientation and time orientation optionally restricting the component of the Lorentz group. The <orthonormal coframe in spacetime> is defined by
$$
\theta^a(e_b)=\delta^a_b,
$$
and the metric is
$$
g=\eta_{ab}\theta^a\otimes\theta^b.
$$

Solved by gpt-5.6-sol high.