Definition. Technical executor and research-judgment kernel [ftip-00CP]
Definition. Technical executor and research-judgment kernel [ftip-00CP]
Let \(\mathcal P_{\rm res}\) be a proposal space and \(\mathcal D_{\rm res}\) a finite research-decision space. A technical executor is a kernel that produces candidate calculations, experiments, lemmas, or implementations from the active summary and goal. A research-judgment kernel is
\[ J:\mathcal S_{\rm res}\times \mathcal Q_{\rm claim} \times \mathcal G_{\rm res}\times \mathcal P_{\rm res} \longrightarrow \Delta (\mathcal D_{\rm res}). \]The kernel chooses among actions such as continue, reframe, verify, merge, withdraw, or stop. It is typed separately from the executor because producing a technically valid local step and choosing the globally useful next step are different intervention coordinates.