Update BABE specification (Relative Time, Consensus Message Digest, etc.)

.github/workflows/specification.yml

@@ -59,7 +59,7 @@ jobs:
     - name: Install dependencies
       run: |
         sudo apt-get update
-        sudo apt-get install -y texlive texlive-luatex texlive-science texlive-latex-extra
+        sudo apt-get install -y latexmk texlive texlive-luatex texlive-science texlive-latex-extra
     - name: Build runtime specification
       run: make -C runtime-spec
     - name: Upload runtime specification
@@ -103,13 +103,13 @@ jobs:
         cd ~/.TeXmacs/packages
         curl -OL https://raw.githubusercontent.com/w3f/algorithmacs/master/algorithmacs-style.ts
     - name: Determine comparison target
-      run: echo "::set-env name=REV::HEAD~1"
+      run: echo "REV=HEAD~1" >> $GITHUB_ENV
       if: github.event_name == 'push'
     - name: Determine comparison target
-      run: echo "::set-env name=REV::origin/${GITHUB_BASE_REF}"
+      run: echo "REV=origin/${GITHUB_BASE_REF}" >> $GITHUB_ENV
       if: github.event_name == 'pull_request'
     - name: Determine comparison target
-      run: echo "::set-env name=REV::$(git describe --tags --abbrev=0 HEAD~1)"
+      run: echo "REV=$(git describe --tags --abbrev=0 HEAD~1)" >> $GITHUB_ENV
       if: github.event_name == 'release'
     - name: Compare host specification
       run: make -C host-spec diff

host-spec/ab-encodings.tm

@@ -138,8 +138,10 @@
     </equation*>
 
     where <math|Enc<rsub|SC><rsup|Len>> is defined in Definition
-    <reference|defn-sc-len-encoding>.\ 
+    <reference|defn-sc-len-encoding>.
+  </definition>
 
+  <\definition>
     SCALE codec for <strong|dictionary> or <strong|hashtable> D with
     key-value pairs <math|<around*|(|k<rsub|i>,v<rsub|i>|)>>s such that:
 
@@ -157,10 +159,6 @@
     <math|Enc<rsup|Size><rsub|SC>> is encoded the same way as
     <math|Enc<rsup|Len><rsub|SC>> but argument <math|size> refers to the
     number of key-value pairs rather than the length.
-
-    <\equation*>
-      \;
-    </equation*>
   </definition>
 
   <\definition>
@@ -244,17 +242,8 @@
   \;
 </body>
 
-<\initial>
-  <\collection>
-    <associate|chapter-nr|6>
-    <associate|page-first|55>
-    <associate|page-height|auto>
-    <associate|page-type|letter>
-    <associate|page-width|auto>
-    <associate|section-nr|5<uninit>>
-    <associate|subsection-nr|5>
-  </collection>
-</initial>
+<initial|<\collection>
+</collection>>
 
 <\references>
   <\collection>

host-spec/ae-hostapi.tm

@@ -127,9 +127,9 @@
     <item><verbatim|offset>: an u32 integer containing the offset beyond the
     value should be read from.
 
-    <item><verbatim|result>: a pointer-size (def.
+    <item><verbatim|result>: a pointer-size (Definition
     <reference|defn-runtime-pointer>) pointing to a SCALE encoded
-    <verbatim|Option> (def. <reference|defn-option-type>) containing an
+    <verbatim|Option> (Definition <reference|defn-option-type>) containing an
     unsinged 32-bit interger representing the number of bytes left at
     supplied <verbatim|offset>. Returns <verbatim|None> if the entry does not
     exists.
@@ -293,7 +293,7 @@
   <subsection|<verbatim|ext_storage_next_key>>
 
   Get the next key in storage after the given one in lexicographic order
-  (Def. <reference|defn-lexicographic-ordering>). The key provided to this
+  (Definition <reference|defn-lexicographic-ordering>). The key provided to this
   function may or may not exist in storage.
 
   <subsubsection|Version 1 - Prototype>
@@ -637,7 +637,7 @@
   <subsection|<verbatim|ext_default_child_storage_next_key>>
 
   Gets the next key in storage after the given one in lexicographic order
-  (Def. <reference|defn-lexicographic-ordering>). The key provided to this
+  (Definition <reference|defn-lexicographic-ordering>). The key provided to this
   function may or may not exist in storage.
 
   <subsubsection|Version 1 - Prototype>

host-spec/ag-runtimeentries.tm

@@ -271,21 +271,20 @@
   future.>|<cell|>>|<row|<cell|EpochLength>|<cell|The duration of epochs in
   slots.>|<cell|Unsigned 64bit>>|<row|<cell|>|<cell|>|<cell|integer>>|<row|<cell|Constant>|<cell|A
   constant value that is used in the threshold calculation
-  formula.>|<cell|Tuple containing>>|<row|<cell|>|<cell|Expressed as a
-  rational where the first number of the tuple is the>|<cell|two
-  unsigned>>|<row|<cell|>|<cell|numerator and the seconds is the denominator.
-  The rational should>|<cell|64bit integers>>|<row|<cell|>|<cell|represent a
-  value between 0 and 1.>|<cell|>>|<row|<cell|Genesis>|<cell|The authority
-  list for the genesis epoch as defined in Definition
+  formula>|<cell|Tuple containing>>|<row|<cell|>|<cell|as defined in
+  definition <reference|defn-babe-constant>.>|<cell|two
+  unsigned>>|<row|<cell|>|<cell|>|<cell|64bit
+  integers>>|<row|<cell|>|<cell|>|<cell|>>|<row|<cell|Genesis>|<cell|The
+  authority list for the genesis epoch as defined in Definition
   <reference|defn-authority-list>. >|<cell|Array of
   tuples>>|<row|<cell|Authorities>|<cell|>|<cell|containing a
   256-bit>>|<row|<cell|>|<cell|>|<cell|byte array and
   a>>|<row|<cell|>|<cell|>|<cell|unsigned
   64bit>>|<row|<cell|>|<cell|>|<cell|integer>>|<row|<cell|Randomness>|<cell|The
   randomness for the genesis epoch>|<cell|32-byte
   array>>|<row|<cell|SecondarySlot>|<cell|Whether this chain should run with
-  secondary slots, which are>|<cell|Boolean>>|<row|<cell|>|<cell|assigned in
-  a round-robin manner.>|<cell|>>>>>>
+  secondary slots and wether>|<cell|8bit enum>>|<row|<cell|>|<cell|they are
+  assigned in a round-robin manner or via a second VRF.>|<cell|>>>>>>
     The tuple provided by <strong|BabeApi_configuration>.
   </big-table>
 
@@ -622,8 +621,6 @@
     <associate|page-height|auto>
     <associate|page-type|letter>
     <associate|page-width|auto>
-    <associate|section-nr|2<uninit>>
-    <associate|subsection-nr|0>
   </collection>
 </initial>