ifc-0067

4.7.2 One discovery episode

4.7.2 One discovery episode

An episode operates on one problem drawn from a registered task population. It may terminate with an assimilatory solution, a typed extension dossier \(\Xi \), a request for evidence, or an explicit abstention. When an extension is proposed, the episode uses Chapter 2’s status-bearing dossier

\[ \Xi =((\mathfrak R,D),\omega ,\gamma ,\Upsilon , (\mathfrak R^+,D^+),\tau ,\Pi ,\sigma ), \]

where \(\Upsilon \) records the changed package components, including \(J\) when the presentation changes, and the skill-specific transport record \(\tau \) contains \((\bar J,\phi _A,\chi )\) and the transported evidence. The episode may set \(\sigma =\mathtt{proposed}\); it cannot assign admitted status itself.

DIAL-SkillOpt discovery episode

  1. Load \(z_0=(\mathfrak R_0,x_0,H_0,b_0)\) and type-check the compiled policy \(\pi _m\).

  2. While budget remains and no terminal record has been produced:

  3. Select an admissible action from \(\mathcal U(z_t)\).

  4. Execute its partial flow, paired-order probe, or evidence request; append the complete trace to \(H_t\).

  5. Estimate uncertainty and test whether observed defects persist under controls, repeat probes, and changes of presentation.

  6. If the current geometry supports an adequate repair:

  7. assimilate within \(\mathfrak R_t\) and continue or terminate;

  8. Else if the obstruction is localized but not repairable in the current geometry:

  9. assemble the status-bearing dossier \(\Xi \) with \(\sigma =\mathtt{proposed}\);

  10. Else:

  11. request evidence or abstain without inventing an unsupported object.

  12. Return the terminal record, trace, resource use, and internal precheck vector.

The policy does not issue the final scientific verdict. It can run inexpensive internal checks and construct the evidence package, but an admission procedure withheld from the episode assigns its epistemic status.