From 289cb4419f96655cc364ae6c26920a76f6b726e3 Mon Sep 17 00:00:00 2001 From: Gav Date: Fri, 15 Nov 2024 16:18:21 +0000 Subject: [PATCH] IsAuthorized and Refine are both entry points of zero --- text/pvm_invocations.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/text/pvm_invocations.tex b/text/pvm_invocations.tex index 85d9e30..a58c5bd 100644 --- a/text/pvm_invocations.tex +++ b/text/pvm_invocations.tex @@ -75,7 +75,7 @@ \subsection{Refine Invocation}\label{sec:refineinvocation} (\token{BIG}, []) &\otherwhen |\Lambda(\delta[s], \mathbf{c}_t, c)| > \mathsf{W}_C \\ &\otherwise: \\ &\quad\using a = \se(s, \mathbf{y}, p, \mathbf{c}, a, \mathbf{o}, \var{\sq{\var{\mathbf{x}} \mid \mathbf{x} \orderedin \overline{\mathbf{x}}}})\ ,\\ - &\quad\also (g, \mathbf{r}, (\mathbf{m}, \mathbf{e})) = \Psi_M(\Lambda(\delta[s], \mathbf{c}_t, c), 5, g, a, F, (\emptyset, []))\ \colon\\ + &\quad\also (g, \mathbf{r}, (\mathbf{m}, \mathbf{e})) = \Psi_M(\Lambda(\delta[s], \mathbf{c}_t, c), 0, g, a, F, (\emptyset, []))\ \colon\\ (\mathbf{r}, []) &\quad\when \mathbf{r} \in \{ \oog, \panic \} \\ (\mathbf{r}, \mathbf{e}) &\quad\otherwise \\ \end{cases} \\ @@ -129,7 +129,7 @@ \subsection{Accumulate Invocation}\label{sec:accumulateinvocation} \tuple{\partialstate, \defxfers, \H\bm{?}, \N_G} \\ (\mathbf{u}, s, g, \mathbf{o}) &\mapsto \begin{cases} \tup{I(\mathbf{u}, s)_\mathbf{u}, [], \none, 0} &\when \mathbf{u}_\mathbf{d}[s]_\mathbf{c} = \none \\ - C(\Psi_M(\mathbf{u}_\mathbf{d}[s]_\mathbf{c}, 10, g, \mathcal{E}(\var{\mathbf{o}}), F, \tup{I(\mathbf{u}, s), I(\mathbf{u}, s)})) &\otherwise + C(\Psi_M(\mathbf{u}_\mathbf{d}[s]_\mathbf{c}, 5, g, \mathcal{E}(\var{\mathbf{o}}), F, \tup{I(\mathbf{u}, s), I(\mathbf{u}, s)})) &\otherwise \end{cases} \\ \end{aligned}\right.\\ I&\colon\left\{\begin{aligned} @@ -214,7 +214,7 @@ \subsection{On-Transfer Invocation}\label{sec:ontransferinvocation} (\dict{\N_S}{\mathbb{A}}, \N_S, \seq{\mathbb{T}}) &\to \mathbb{A} \\ (\mathbf{d}, s, \mathbf{t}) &\mapsto \begin{cases} \mathbf{s} &\when \mathbf{s}_\mathbf{c} = \none \vee \mathbf{t} = [] \\ - \Psi_M(\mathbf{s}_\mathbf{c}, 15, \sum_{r \in \mathbf{t}}{(r_g)}, \mathcal{E}(\mathbf{t}), F, \mathbf{s}) &\otherwise + \Psi_M(\mathbf{s}_\mathbf{c}, 10, \sum_{r \in \mathbf{t}}{(r_g)}, \mathcal{E}(\mathbf{t}), F, \mathbf{s}) &\otherwise \end{cases} \\ \end{cases} \\ \where \mathbf{s} &= \mathbf{d}[s]\exc\mathbf{s}_b = \mathbf{d}[s]_b + \sum_{r \in \mathbf{t}}{r_a} \\