Definition. Research-state summary operator [ftip-00CQ]
Definition. Research-state summary operator [ftip-00CQ]
A research-state summary operator is a declared map
\[ C:\mathcal A_{\rm res}\longrightarrow \mathcal S_{\rm res}. \]At a session boundary the harness supplies \(s=C(A)\). The operator may select, merge, compress, or omit archive content. Its input archive and exact version belong to the persistent event record. A stochastic summarizer is represented by adjoining its random seed to the archive coordinate, leaving \(C\) deterministic on the augmented input.