Definition. Active research state [ftip-00CO]
Definition. Active research state [ftip-00CO]
Let \(\mathcal A_{\rm res}\) be a space of complete research archives and \(\mathcal S_{\rm res}\) a space of bounded working summaries. Let \(\mathcal Q_{\rm claim}\) be a typed claim-ledger space and \(\mathcal G_{\rm res}\) a research-goal space. An active research state is
\[ R=(A,s,q,g)\in \mathcal A_{\rm res}\times \mathcal S_{\rm res} \times \mathcal Q_{\rm claim}\times \mathcal G_{\rm res}. \]The archive \(A\) may exceed the context budget. The summary \(s\) is the representation actually supplied to a new bounded session. The claim ledger \(q\) records declared statuses such as proved, numerically supported, conjectural, or heuristic. The goal \(g\) records the currently selected research direction.