Obstruction, observation, and scalarization

typed obstruction of realization \(D\)

Records failure of a declared factorization or universal property.

obstruction associated with parallel paths \(p,q\)

Localizes the failed promise to a particular comparison.

observer

Maps a typed obstruction into evidence available to a learner or controller.

observation or feature of an obstruction

May retain vector-, relation-, distribution-, or language-valued information.

scalarization

A task-dependent ranking or measurement applied after structural typing.

infinitesimal non-compositionality

Tangent response of a compositional obstruction under an admitted probe.

path-specific infinitesimal obstruction

Directional failure associated with the pair \(p,q\).

scalar weighting parameter

Used only when an admitted realization combines structural observations with scalar objectives.

observational null directions

Variations that the declared observer cannot distinguish.