Definition. Summary-equivalent research archives [ftip-00CR]
✍️source

    For the summary operator \(C\) of Definition [ftip-00CQ], two complete archives \(A,A'\in \mathcal A_{\rm res}\) are summary-equivalent, written \(A\sim _C A'\), when

    \[ C(A)=C(A'). \]

    This is equivalence relative to one declared summary version. It is not the protocol-level observational equivalence of Definition [ftip-007R]: the complete archives can differ in facts that a later retrieval operator or independent evaluator can still observe.