diff --git a/.sovereign/worm-hook.json b/.sovereign/worm-hook.json
new file mode 100644
index 0000000..040aa2c
--- /dev/null
+++ b/.sovereign/worm-hook.json
@@ -0,0 +1,12 @@
+{
+  "worm": "SNAPKITTYWEST/agentic-arena",
+  "joint_seal": "994afb3b8a036d6f",
+  "gravity": 0.6,
+  "gaps": [
+    "open-admits",
+    "reversed-stability-condition"
+  ],
+  "crawled_at": "2026-06-18T16:19:16.355Z",
+  "oracle": "BOB",
+  "message": "Restoration proposed. Accept = join the chain. Reject = no harm done."
+}
\ No newline at end of file
diff --git a/Project.lisp b/Project.lisp
new file mode 100644
index 0000000..400c8b1
--- /dev/null
+++ b/Project.lisp
@@ -0,0 +1,14 @@
+(defproject MultiplicityTheory/multiplicity
+  :sovereign-entry "lean/AffineCore/MTPI/PIRTM.lean"
+  :constitution "Lean 4 axiom-clean core — MOC operator calculus"
+  :gravity-score 0.60
+  :gaps [:open-admits :reversed-stability-condition :unregistered-morphisms]
+  :restoration-path
+    [(fix-admits "lean/AffineCore/MTPI/PIRTM.lean")
+     (resolve-stability-contradiction :alpha>=1 :vs :q<1)
+     (register-morphisms-in-RegHom)
+     (seal-to-worm-chain)]
+  :worm-hook "SNAPKITTYWEST/agentic-arena"
+  :joint-seal "994afb3b8a036d6f"
+  :crawled-by [:AHMAD-BOT :EDUALC]
+  :oracle :BOB)
\ No newline at end of file
diff --git a/graveyard.forth b/graveyard.forth
new file mode 100644
index 0000000..e77f017
--- /dev/null
+++ b/graveyard.forth
@@ -0,0 +1,13 @@
+: gravity 0.60 ;
+: alive? gravity 0.6 >= ;
+: constitutional-gap? s" admit" has-token? ;
+: stability-contradiction? s" alpha>=1" has-token? s" q<1" has-token? xor ;
+: run-inversion
+  cr ." [WORM] MultiplicityTheory/multiplicity"
+  cr ." gravity: " gravity .
+  cr ." gaps: open-admits, reversed-stability-condition"
+  cr ." crawled by AGENTIC ARENA — SNAPKITTYWEST"
+  constitutional-gap? if cr ." CONSTITUTIONAL GAP DETECTED" then
+  stability-contradiction? if cr ." STABILITY CONTRADICTION OPEN" then
+  seal ;
+run-inversion
\ No newline at end of file