diff --git a/.gitignore b/.gitignore
index 85c95e0..8806a3e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,3 +34,4 @@ deploy.log
 
 # PM2 ecosystem (local configs)
 ecosystem.*.config.cjs
+.agents/
diff --git a/docs/contracts/zulip-platform-verification.prose.md b/docs/contracts/zulip-platform-verification.prose.md
index f14ef72..46efbcb 100644
--- a/docs/contracts/zulip-platform-verification.prose.md
+++ b/docs/contracts/zulip-platform-verification.prose.md
@@ -1,5 +1,5 @@
 ---
-kind: contract
+kind: responsibility
 name: zulip-platform-verification
 version: 1.0.0
 description: >
@@ -14,13 +14,13 @@ author: Abiba (pi agent)
 
 ## Platforms Under Contract
 
-| Platform | Agent | Bot Email | Plugin Path | Health Port |
-|----------|-------|-----------|-------------|-------------|
-| pi | Abiba | abiba-bot@chat.sysloggh.net | `~/.pi/agent/extensions/zulip/` | :9200 |
-| Hermes | Tanko | tanko-bot@chat.sysloggh.net | `~/.hermes/plugins/platforms/zulip/` | :9201 |
-| Hermes | Mumuni | mumuni-bot@chat.sysloggh.net | `~/.hermes/plugins/platforms/zulip/` | :9202 |
-| Hermes | Koonimo | koonimo-bot@chat.sysloggh.net | `~/.hermes/plugins/platforms/zulip/` | :9203 |
-| Hermes | Koby | koby-bot@chat.sysloggh.net | `~/.hermes/plugins/platforms/zulip/` | :9204 |
+| Platform | Agent | Host | Bot Email | Health URL |
+|----------|-------|------|-----------|------------|
+| pi | Abiba | `192.168.68.24` | abiba-bot@chat.sysloggh.net | `http://192.168.68.24:9200/health` |
+| Hermes | Tanko | `192.168.68.123` | tanko-bot@chat.sysloggh.net | `http://192.168.68.123:9201/health` |
+| Hermes | Mumuni | `192.168.68.123` | mumuni-bot@chat.sysloggh.net | `http://192.168.68.123:9202/health` |
+| Hermes | Koonimo | `192.168.68.123` | koonimo-bot@chat.sysloggh.net | `http://192.168.68.123:9203/health` |
+| Hermes | Koby | `192.168.68.123` | koby-bot@chat.sysloggh.net | `http://192.168.68.123:9204/health` |
 
 ## Parameters
 
@@ -31,7 +31,7 @@ author: Abiba (pi agent)
 ## Checks (per agent)
 
 ### Check 1: Health Endpoint
-- GET {{health_port}}/health → expect 200, `{ status: "ok", connected: true }`
+- GET {{health_url}} → expect 200, `{ status: "ok", connected: true }`
 
 ### Check 2: Queue Registered
 - Health response must include `queue_id` (non-null string)
@@ -89,7 +89,7 @@ author: Abiba (pi agent)
 }
 ```
 
-## Ensures
+## Maintains
 
 - Each agent is independently verified; one failure doesn't block others
 - @all-bots user_id is cross-validated against Zulip API (catches config drift)