From 3f4f9d1990f8f6ca90748baea65869e95d368c71 Mon Sep 17 00:00:00 2001 From: Ana Pantilie Date: Thu, 23 Oct 2025 14:01:17 +0300 Subject: [PATCH 1/2] Fix decode for case term in spec --- doc/plutus-core-spec/flat-serialisation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/plutus-core-spec/flat-serialisation.tex b/doc/plutus-core-spec/flat-serialisation.tex index 180d1d1bf85..3a15e0c435c 100644 --- a/doc/plutus-core-spec/flat-serialisation.tex +++ b/doc/plutus-core-spec/flat-serialisation.tex @@ -429,7 +429,7 @@ \subsection{Terms} \Dterm(\bits{0110} \cdot s) &= (s, \Error) && \\ \Dterm(\bits{0111} \cdot s) &= (s', \Builtin{b}) &&\quad \text{if } \Dbuiltin(s) = (s', b) \\ \Dterm(\bits{1000} \cdot s) &= (s'', \Constr{i}{l}) &&\quad \text{if } \D_{\N}(s) = (s', i)\ \text{and}\ i < 2^{64} &&\ \text{and}\ \Dlist_{\mathsf{term}}(s') = (s'', l)\\ - \Dterm(\bits{1001} \cdot s) &= (s', \Kase{u}{l}) &&\quad \text{if } \Dterm(s) = (s', u) &&\ \text{and}\ \Dlist_{\mathsf{term}}(s') = (s'', l) + \Dterm(\bits{1001} \cdot s) &= (s'', \Kase{u}{l}) &&\quad \text{if } \Dterm(s) = (s', u) &&\ \text{and}\ \Dlist_{\mathsf{term}}(s') = (s'', l) \end{alignat*} \paragraph{NOTE.} The decoder $\Dterm$ should fail if we are decoding a program From 8c9a01ca69a85e90ecb7b1bc1f37966655783a16 Mon Sep 17 00:00:00 2001 From: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> Date: Thu, 23 Oct 2025 14:20:24 +0300 Subject: [PATCH 2/2] Fix typo in dtype definition for string type --- doc/plutus-core-spec/flat-serialisation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/plutus-core-spec/flat-serialisation.tex b/doc/plutus-core-spec/flat-serialisation.tex index 3a15e0c435c..8014e2e908c 100644 --- a/doc/plutus-core-spec/flat-serialisation.tex +++ b/doc/plutus-core-spec/flat-serialisation.tex @@ -497,7 +497,7 @@ \subsection{Built-in types} \begin{alignat*}{3} &\dtype(0 \cdot l) &&= (l, \ty{integer}) \\ &\dtype(1 \cdot l) &&= (l, \ty{bytestring}) \\ - &\dtype(2 \cdot l) &&= (l, \ty{string})) \\ + &\dtype(2 \cdot l) &&= (l, \ty{string}) \\ &\dtype(3 \cdot l) &&= (l, \ty{unit}) \\ &\dtype(4 \cdot l) &&= (l, \ty{bool}) \\ &\dtype([7,5] \cdot l) &&= (l', \listOf{t}) &&\quad \text{if $\dtype(l) = (l', t)$}\\