A.19.SOURCE-SET-SPACE-SUBSTRATE:2 - Problem
How should one declare a source-set and search/outcome-space line so that:
- the declared source set remains explicit and recoverable;
SearchSpaceRefandOutcomeSpaceRefstay guarded refs to declaredA.19CharacteristicSpace, not new free-floating space kinds;- the text states whether those refs point to one declared space or to two distinct declared spaces;
- the source-to-outcome relation is explicit enough for the reader to know which source-to-outcome relation mode is being claimed: mapped, projected, translated, scored, or otherwise connected;
- distortion, uncertainty, and error are stated honestly rather than hidden in prose;
SourceSetCompositionandDerivedViewKindremain conditional fields rather than fabricated mandatory baggage;- qualifier refs such as
OutcomeMapRef,SpaceMetricRef,TransitionRelationRef, andBridgeDistortionNoteremain available but substrate-side only; - and neighboring declarations such as
A.19,C.18,G.5,G.10, andA.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEWcan dock to the substrate without redefining it?