ora-0160
14.3 Assimilation, accommodation, and doctrinal change
There are three increasingly strong repair moves:
filler selection chooses a point in a nonempty admissible repair space without changing the declaration;
boundary repair changes an open face—for example, replacing corrupted evidence or a stale action—while preserving the ambient doctrine; and
doctrinal accommodation changes the base simplex, cover, equivalence, query doctrine, or safety invariant because the old declaration admits no acceptable filler.
An accommodation certificate from a declaration \(D\) to \(D'\) consists of a registered obstruction \(\mathsf{Adm}_D(\mathfrak R)=\varnothing \), a map of unchanged obligations \(j:\mathcal O_{\mathrm{set}}\to \mathcal O'_{\mathrm{set}}\), a nonempty admissible repair in \(D'\), and comparison witnesses showing that the repaired model preserves every obligation in the image of \(j\).
This prevents accommodation from becoming unrecorded forgetting. The old doctrine, its obstruction, and the embedding of the retained commitments remain part of the learned state.
If \(\mathsf{Adm}(\mathfrak R)\) is contractible, any two selected repairs are equivalent through a contractible space of comparison witnesses. Therefore every homotopy-invariant downstream functor assigns them equivalent results.
Contractibility supplies a path between any two points together with all higher coherences. A functor of \(\infty \)-categories preserves equivalences and their coherent composites, so the downstream images are equivalent.