Definition. Refinement proposal and committed harness update [ftip-00CZ]
✍️source

    Let \(h_n\in \mathcal H\) be the committed harness state at version \(n\), let \(e_n\in \mathcal E\) be a newly admitted event, and let \(\omega _n\in \Omega _{\rm ref}\) be a refinement seed. A refinement proposal is

    \[ \widetilde h_{n+1}=R(h_n,e_n,\omega _n), \qquad R:\mathcal H\times \mathcal E\times \Omega _{\rm ref}\longrightarrow \mathcal H. \]

    Given a typed decision \(d_n\in \{\mathsf {accept},\mathsf {reject}\}\), the committed harness update is

    \[ h_{n+1}= \begin {cases} \widetilde h_{n+1},&d_n=\mathsf {accept},\\ h_n,&d_n=\mathsf {reject}. \end {cases} \]

    This separates candidate generation from state mutation. A proposed note, skill, prompt, or subagent specification has no persistent effect until the commit decision accepts it.