A.19:5.3 - Operator library (notation‑neutral)

Spaces: Sub (projection), Emb (embedding), Prod (product), Quot (quotient by declared equivalence), NormalizationFix (fix to a named chart or edition).

Predicate and assertion transport: Pull transports a predicate through a declared embedding or lossy mapping; Push transports an assertion with proof or waiver under its subject pattern. Indicatorization and aggregation: Indicatorize applies an IndicatorChoicePolicy; Fold_Gamma performs admissible aggregation under its subject pattern. Semantic-relation mnemonic: Align_B is not a space operator: when retained as a consumer mnemonic, it names only an already obtaining F.9 Bridge between two exact F.17 local senses. A ReferencePlane relation remains separate.

OP-1 (Normative). Use Align_B only after the direct F.9 predicate obtains. The consumer cites that exact Bridge, a separate bounded-use claim, and the reliance required for the named gate, comparison, or assurance use; CL remains optional evidence shorthand. A ReferencePlane crossing cites its applicable plane relation and does not use Align_B unless an independently obtaining semantic Bridge is also current. The consumer separately binds scope, evaluation window, and result; any assurance consequence requires a separately current B.3 assurance result.