From 7332fea8bfe06e2149747cfaecc4f9619b6c00cb Mon Sep 17 00:00:00 2001
From: Boyan <boyan@confest.im>
Date: Fri, 14 Feb 2025 15:29:55 +0100
Subject: [PATCH] vault backup: 2025-02-14 15:29:55

---
 .obsidian/workspace.json                      | 15 ++++---
 .../Misc/Proposed Routine Plan.canvas         | 40 +++++++++----------
 Software Engineering/Initial Questions.md     |  6 +--
 3 files changed, 29 insertions(+), 32 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 7a23ee8..f4c8470 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Extracurricular/Circuitree/Antenna Building/Idea and proposed timeline.md",
+                "file": "Software Engineering/Initial Questions.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "Idea and proposed timeline"
+              "title": "Initial Questions"
             }
           }
         ]
@@ -201,11 +201,14 @@
   },
   "active": "fcc28e70ad8acbd2",
   "lastOpenFiles": [
-    "Software Engineering/Initial Questions.md",
+    "Software Engineering/TA Meeting 1.md",
+    "Extracurricular/Misc/Plan.md",
+    "Extracurricular/Misc/Proposed Routine Plan.canvas",
+    "Extracurricular/Misc/Ideas.md",
     "Extracurricular/Circuitree/Antenna Building/Idea and proposed timeline.md",
+    "Software Engineering/Initial Questions.md",
     "Extracurricular/Circuitree/Antenna Building/Untitled",
     "Extracurricular/Circuitree/Antenna Building",
-    "Software Engineering/TA Meeting 1.md",
     "Functional Programming/Proofs.md",
     "Software Engineering",
     "Operating Systems/assets/image.png",
@@ -237,9 +240,6 @@
     "Statistics and Probability/Mock exam run 1.md",
     "Statistics and Probability/Intro to probability.md",
     "Statistics and Probability/Data.md",
-    "conflict-files-obsidian-git.md",
-    "Discrete Structures/Recurrence relations.md",
-    "Statistics and Probability/Support Lecture.md",
     "Pasted image 20250113151159.png",
     "Extracurricular/satQuest/img/Pasted image 20241218122110.png",
     "Extracurricular/satQuest/img/Pasted image 20241206134213.png",
@@ -253,7 +253,6 @@
     "Advanced Programming/assets/assignment/assignment_organization.canvas",
     "Advanced Programming/assets/spring/Beans.canvas",
     "Advanced Programming/assets/assignment/assignment_app.canvas",
-    "Extracurricular/Misc/Proposed Routine Plan.canvas",
     "Extracurricular/Circuitree/Committee Market/discussion/Proposed showcase infra.canvas"
   ]
 }
\ No newline at end of file
diff --git a/Extracurricular/Misc/Proposed Routine Plan.canvas b/Extracurricular/Misc/Proposed Routine Plan.canvas
index 964c5f3..6318792 100644
--- a/Extracurricular/Misc/Proposed Routine Plan.canvas	
+++ b/Extracurricular/Misc/Proposed Routine Plan.canvas	
@@ -22,6 +22,16 @@
       "color": "6",
       "label": "Productivity"
     },
+    {
+      "id": "37abaca3fa89fb9b",
+      "type": "text",
+      "text": "Better mental and productivity",
+      "styleAttributes": {},
+      "x": 799,
+      "y": 681,
+      "width": 294,
+      "height": 60
+    },
     {
       "id": "6dc127fe4098cce8",
       "type": "text",
@@ -42,16 +52,6 @@
       "width": 250,
       "height": 60
     },
-    {
-      "id": "2b76b4366e7d7447",
-      "type": "text",
-      "text": "Consistency in terms of Uni",
-      "styleAttributes": {},
-      "x": 713,
-      "y": 354,
-      "width": 280,
-      "height": 60
-    },
     {
       "id": "5159e3993f95efcb",
       "type": "text",
@@ -112,16 +112,6 @@
       "width": 283,
       "height": 60
     },
-    {
-      "id": "37abaca3fa89fb9b",
-      "type": "text",
-      "text": "Better mental and productivity",
-      "styleAttributes": {},
-      "x": 799,
-      "y": 681,
-      "width": 294,
-      "height": 60
-    },
     {
       "id": "3aa369dab5e52be1",
       "type": "text",
@@ -161,6 +151,16 @@
       "y": 800,
       "width": 181,
       "height": 60
+    },
+    {
+      "id": "2b76b4366e7d7447",
+      "type": "text",
+      "text": "Consistency in terms of Uni",
+      "styleAttributes": {},
+      "x": 713,
+      "y": 354,
+      "width": 280,
+      "height": 60
     }
   ],
   "edges": [
diff --git a/Software Engineering/Initial Questions.md b/Software Engineering/Initial Questions.md
index 8f99e03..543e034 100644
--- a/Software Engineering/Initial Questions.md	
+++ b/Software Engineering/Initial Questions.md	
@@ -2,19 +2,17 @@
 ### Logistics
 - Will we have access to an overview of the project roadmap, including deliverables?
 - Do you need us to use specific project management tools (e.g. GitHub, Jira, etc.)?
-
+- How often are you available? Is it possible to have weekly progress reports?
 ### Formal Verification
-
 - What is the expected level of background in Coq or formal methods?
 - Can you explain the process by which a smart contract's safety properties will be validated formally?
 - Are there any existing case studies or example proofs we might refer to for a better understanding of the expected output?
 - How much of the formal verification process will be based on axioms versus fully constructive proofs?
-
+- Define the contract verification criteria
 ### Project scope clarifications
 - Among the seven smart contracts being verified, which ones do you expect us to work on, and why those?
 - Which technologies are we going to be introduced to, if any? Will we have access to guides for Coq and Solidity?
 - How do you envision the high-level Coq framework integrating with existing Solidity projects?
 - Could you elaborate on the notion of “high-level primitives” (e.g., identity, item, property) and how flexible they need to be for different types of contracts?
-
 - "real numbers and integer approximations"?