De-complect default and least values

Author: AljoschaMeyer

src/pages/specs/confidential_sync.tsx

@@ -2646,8 +2646,17 @@ export const confidential_sync = (
                     total order
                   </AE>{" "}
                   on <R n="SubspaceId" /> with least element{" "}
-                  <R n="sync_default_subspace_id" />, in which for every
-                  non-maximal <R n="SubspaceId" />{" "}
+                  <DefValue
+                    n="sync_least_subspace_id"
+                    r="least_subspace_id"
+                    preview={
+                      <P>
+                        A protocol parameter of <R n="confidential_sync" />, the
+                        {" "}
+                        unique least <R n="SubspaceId" />.
+                      </P>
+                    }
+                  />, in which for every non-maximal <R n="SubspaceId" />{" "}
                   <DefValue noPreview n="subspace_successor_s" r="s" />{" "}
                   there exists a successor{" "}
                   <DefValue noPreview n="subspace_successor_t" r="t" />{" "}
@@ -2928,7 +2937,7 @@ export const confidential_sync = (
                   <DefValue n="previously_received_itemset_3drange" />. Both are
                   initialised to{"   "}
                   <Code>
-                    <R n="default_3d_range" />(<R n="sync_default_subspace_id" />)
+                    <R n="full_3d_range" />(<R n="sync_least_subspace_id" />)
                   </Code>. Upon receiving a{" "}
                   <R n="ReconciliationSendFingerprint" /> or{" "}
                   <R n="ReconciliationAnnounceEntries" />{" "}

src/pages/specs/grouping_entries.tsx

@@ -379,9 +379,9 @@ export const grouping_entries = (
             <P>
               We define{" "}
               <Code>
-                <DefFunction n="default_3d_range" />(<DefValue
-                  n="default_3d_ss"
-                  r="default_subspace"
+                <DefFunction n="full_3d_range" />(<DefValue
+                  n="least_3d_ss"
+                  r="least_subspace"
                 />)
               </Code>{" "}
               to denote the <R n="D3Range" /> with the following members:
@@ -391,7 +391,7 @@ export const grouping_entries = (
               <Li>
                 <R n="D3RangeSubspace" /> is the <R n="open_range">open</R>{" "}
                 <R n="SubspaceRange" /> with <R n="SubspaceRangeStart" />{" "}
-                <R n="default_3d_ss" />,
+                <R n="least_3d_ss" />,
               </Li>
               <Li>
                 <R n="D3RangePath" /> is the <R n="open_range">open</R>{" "}