Include extrinsic lengths in package, bound report timeslot

README.md

@@ -14,6 +14,7 @@ https://graypaper.com/
 - [ ] Link and integrate to Bandersnatch RingVRF references (Davide/Syed) IN-PROGRESS
 - [ ] Remove any "TODOs" in text
 - [ ] Macrofy everything
+- [ ] Limit number of extrinsics in a WP.
 
 ### Final PVM
 - [ ] 64-bit PVM

text/pvm_invocations.tex

@@ -78,7 +78,7 @@ \subsection{Refine Invocation}\label{sec:refineinvocation}
       (\token{BAD}, []) &\when s \not\in \keys{\delta} \vee \Lambda(\delta[s], \mathbf{c}_t, c) = \none \\
       (\token{BIG}, []) &\otherwhen |\Lambda(\delta[s], \mathbf{c}_t, c)| > \mathsf{S} \\
       &\otherwise: \\
-      &\quad\using a = \se(s, p, \mathbf{y}, \mathbf{c}, a, \mathbf{o}, \var{\mathbf{x}})\ ,\\
+      &\quad\using a = \se(s, \mathbf{y}, p, \mathbf{c}, a, \mathbf{o}, \var{\mathbf{x}})\ ,\\
       &\quad\also (\mathbf{r}, (\mathbf{m}, \mathbf{e})) = \Psi_M(\Lambda(\delta[s], \mathbf{c}_t, c), 1, g, a, F, (\emptyset, []))\ \colon\\
       (\mathbf{r}, []) &\quad\when \mathbf{r} \in \{ \oog, \panic \}  \\
       (\mathbf{u}, \mathbf{e}) &\quad\when \mathbf{r} = \tup{g, \mathbf{u}} \\

text/reporting_assurance.tex

@@ -206,7 +206,7 @@ \subsection{Work Report Guarantees}\label{sec:workreportguarantees}
     \end{aligned}
       : \left\{\,\begin{aligned}
         &s \in \sig{(\mathbf{k}_v)_E}{\mathsf{X}_G\frown\mathcal{H}(\se(w))}\\
-        &\mathbf{c}_v = w_c\\
+        &\mathbf{c}_v = w_c \wedge \mathsf{R}(\floor{\nicefrac{\tau'}{\mathsf{R}}} - 1) \le t \le \tau'\\
       \end{aligned}\right.\\
       &k \in \mathbf{R} \Leftrightarrow \exists (w, t, a) \in \xtguarantees, \exists (v, s) \in a: k = (\mathbf{k}_v)_E\\
       &\quad\where (\mathbf{c}, \mathbf{k}) = \begin{cases}

text/work_packages_and_reports.tex

@@ -65,7 +65,7 @@ \subsection{Packages and Items}\label{sec:packagesanditems}
   \end{aligned}}
 \end{equation}
 
-A work item includes: $s$ the identifier of the service to which it relates, the code hash of the service at the time of reporting $c$ (whose preimage must be available from the perspective of the lookup anchor block), a payload blob $y$, a gas limit $g$, and the three elements of its manifest, a sequence of imported data segments $\mathbf{i}$ identified by the root of the \emph{segments tree} and an index into it, $\mathbf{x}$, a sequence of hashed of data segments to be introduced in this block (and which we assume the validator knows) and $e$ the number of data segments exported by this work item:
+A work item includes: $s$ the identifier of the service to which it relates, the code hash of the service at the time of reporting $c$ (whose preimage must be available from the perspective of the lookup anchor block), a payload blob $y$, a gas limit $g$, and the three elements of its manifest, a sequence of imported data segments $\mathbf{i}$ identified by the root of the \emph{segments tree} and an index into it, $\mathbf{x}$, a sequence of hashed of blob hashes and lengths to be introduced in this block (and which we assume the validator knows) and $e$ the number of data segments exported by this work item:
 \begin{equation}\label{eq:workitem}
     \mathbb{I} \equiv \tuple{\begin{aligned}
       &\isa{s}{\N_S} \ts