Definition. Skill archive and selector [ftip-00D0]
✍️source

    Let \(\mathcal S_{\rm skill}\) be a skill space and \(\mathfrak A_{\rm skill}\) the space of finite skill--provenance archives. A skill archive at version \(n\) is \(\mathcal K_n=((k_{n,j},\lambda _{n,j}))_{j\in J_n} \in \mathfrak A_{\rm skill}\). For a public history \(h^{\rm pub}\) and selector seed \(\omega ^{\rm sel}\), a typed selector is

    \[ S_{\rm skill}: \mathcal H^{\rm pub}\times \mathfrak A_{\rm skill}\times \Omega _{\rm sel} \longrightarrow \mathcal S_{\rm skill}\cup \{\bot \}. \]

    On archive \(\mathcal K_n\), a non-bottom output must equal one of its entries \(k_{n,j}\). The value \(\bot \) means that no retained skill is invoked. The archive is part of persistent harness state, not a claim that its entries are correct, safe, novel, or encoded in model weights.