chore: preserve current FreeRTOS and C card updates

doc/generated/main.tex

@@ -73,7 +73,7 @@
   \noindent\fbox{%
     \begin{minipage}[c][23.5mm][c]{\dimexpr\textwidth-2\fboxrule\relax}%
       \begin{minipage}[c][23mm][c]{24mm}\centering%
-        \qrcode[level=L,height=22mm]{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-notifications}%
+        \href{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-notifications}{\qrcode[level=L,height=22mm]{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-notifications}}%
       \end{minipage}%
       \vrule width0.35pt%
       \begin{minipage}[c][23mm][c]{\dimexpr\linewidth-48mm-0.7pt\relax}%
@@ -109,7 +109,7 @@
       \end{minipage}%
       \vrule width0.35pt%
       \begin{minipage}[c][23mm][c]{24mm}\centering%
-        \qrcode[level=L,height=22mm]{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/3b57334e-2c35-5207-a51d-9321906db078}%
+        \href{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/3b57334e-2c35-5207-a51d-9321906db078}{\qrcode[level=L,height=22mm]{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/3b57334e-2c35-5207-a51d-9321906db078}}%
       \end{minipage}%
     \end{minipage}%
   }%

json/card_source.json

@@ -597,7 +597,7 @@
       "content_kind": "prose",
       "asset_page_mode": "one-per-page",
       "page_orientation": "landscape",
-      "content_tex": "TaskHandle_t selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.",
+      "content_tex": "\\texttt{TaskHandle\\_t} selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.",
       "assets": [
         {
           "path": "assets/a2-structure.png",

json/card_spec.json

@@ -33,7 +33,7 @@
     "task01.pass":{"event_id":"E12","stop":{"symbol":"fc10_checkpoint_committed","offset":0,"condition":"$a0 == 12"},"verify":{"expressions":[{"expr":"g_fc10_pass","equals":1},{"expr":"g_fc10_event_count","equals":12}]}}
   },
   "sections":[
-    {"id":"A2","label":"STRUCTURE","title":"Structure","order":20,"orientation":"landscape","description":"Notification state lives in the target task, not in an intermediary object.","content_tex":"TaskHandle_t selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.","assets":[{"stem":"a2-structure","title":"A2 · target-owned slot","caption":"A2 STRUCTURE — receiver TCB notification slot.","label":"fig:a2-structure","alt":"Struktura direct notification.","phases":[{"id":"structure","label":"SENDER / TARGET / MODES","steps":[
+    {"id":"A2","label":"STRUCTURE","title":"Structure","order":20,"orientation":"landscape","description":"Notification state lives in the target task, not in an intermediary object.","content_tex":"\\texttt{TaskHandle\\_t} selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.","assets":[{"stem":"a2-structure","title":"A2 · target-owned slot","caption":"A2 STRUCTURE — receiver TCB notification slot.","label":"fig:a2-structure","alt":"Struktura direct notification.","phases":[{"id":"structure","label":"SENDER / TARGET / MODES","steps":[
       {"id":"sender","number":1,"label":"sender stores target handle","mode":"CODE","strategy_ref":"code.contract","svg_label":"01","code_ref":"include/task01_notifications.h:24","description":"No shared object handle is created.","evidence":"receiver_handle."},
       {"id":"receiver","number":2,"label":"slot belongs to receiver TCB","mode":"RUN","event_id":"E03","strategy_ref":"run.blocked","svg_label":"02","code_ref":"src/tasks/task01_notifications.c:153","snapshot_ref":"task01.wait-count","description":"Only receiver consumes slot 0.","evidence":"receiver stack and phase."},
       {"id":"count","number":3,"label":"counting accumulates occurrences","mode":"RUN","event_id":"E05","strategy_ref":"run.values","svg_label":"03","code_ref":"src/tasks/task01_notifications.c:164","snapshot_ref":"task01.receive-count","description":"pdTRUE returns and clears all three.","evidence":"3."},