From bf146b681ad0e1b364bea93ab4d29b5040952f29 Mon Sep 17 00:00:00 2001
From: Ronald Caesar <github43132@proton.me>
Date: Thu, 8 Jan 2026 19:51:50 -0400
Subject: [PATCH] docs: Add initial static assumption implementation

Signed-off-by: Ronald Caesar <github43132@proton.me>
---
 docs/IR_DESIGN_DOC.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/docs/IR_DESIGN_DOC.md b/docs/IR_DESIGN_DOC.md
index b38401a..f6962f1 100644
--- a/docs/IR_DESIGN_DOC.md
+++ b/docs/IR_DESIGN_DOC.md
@@ -240,6 +240,24 @@ Memory Layout in `instructions[]`
 | 100   | OPCODE_ARG_EXTENSION | v4   | v5   | NULL | v100    | Carries args 4 and 5       |
 | 101   | OPCODE_YIELD         | v1   | v2   | v3   | v101    | Carries args 1-3 & Executes|
 
+# Static Assumptions
+
+## Static Configuration
+
+Represents compile time constants.
+
+```c
+// If these change, bail out and recompile???
+//
+typedef struct
+{
+    // PSTATE.M
+    // EL0 - EL3
+    // 
+    uint32_t exception_level : 2; 
+} static_context_t;
+```
+
 # SSA Construction Rules
 
 ## 1. Control Flow Rules