Evaluated status

The earliest unevaluated causal calculation is the restriction of

to admitted pairs for which the support geometry supplies both orderings, followed by the full actual-relation test. The exact locked kernel formula or an appropriate conjugation-support theorem is needed to finish it. Independently, a nonzero old-overlap claim requires the actual old map, not merely its name.