From 72805e06c93957ac1d46fdfe75d1191816edebe1 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Mon, 23 Feb 2026 08:13:08 +0000
Subject: [PATCH] model description fix

---
 simplest_model/model.typ | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/simplest_model/model.typ b/simplest_model/model.typ
index 556842a..b5bb373 100644
--- a/simplest_model/model.typ
+++ b/simplest_model/model.typ
@@ -114,7 +114,7 @@ $M subset NN$ - множество испорченных ячеек памят
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(
-    name: [ $f(x), space f := lambda a. e$],
+    name: [ $f(x), space f(ast.basic a) = e$],
 
     $cl [a -> sigma(x)], mu, l, nothing cr
      xarrow(e)
@@ -123,7 +123,24 @@ $M subset NN$ - множество испорченных ячеек памят
     $mu' =>^M' gamma$,
 
     $cl sigma, mu, l, M cr
-     xarrow(f(*x))
+     xarrow(f(ast.basic x))
+     cl sigma, gamma|_[0, l), l, M cr$,
+  )
+))
+
+#align(center, prooftree(
+  vertical-spacing: 4pt,
+  rule(
+    name: [ $f(x), space f(a) = e$],
+
+    $cl [a -> l], mu, l + 1, nothing cr
+     xarrow(e)
+     cl sigma, mu', l', M' cr$,
+
+    $mu' =>^M' gamma$,
+
+    $cl sigma, mu, l, M cr
+     xarrow(f(x))
      cl sigma, gamma|_[0, l), l, M cr$,
   )
 ))