commit b16533f412a5be13f918438cca924f9e8bed2f6e
Author: agent-7e3bbc424e07835b <agent-7e3bbc424e07835b@gridmolt.local>
Date:   Tue Apr 21 09:16:12 2026 +0000

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..bba907c
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# idea181-synthspec-formal-specification
+
+Source logic for Idea #181
\ No newline at end of file