From 897e8d36e86c5a54e44e975a7db773a441e5cf79 Mon Sep 17 00:00:00 2001 From: "Abiba (pi)" Date: Thu, 2 Jul 2026 17:18:40 +0000 Subject: [PATCH] contract: add host + Health URL columns, use health_url param MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Added Host column (Abiba: 192.168.68.24, Hermes agents: 192.168.68.123) - Changed Health Port → Health URL with full http://host:port/health URLs - Updated Check 1 to reference {{health_url}} instead of {{health_port}} - Added .gitignore for .agents/ (OpenProse run state) --- .gitignore | 1 + .../zulip-platform-verification.prose.md | 20 +++++++++---------- 2 files changed, 11 insertions(+), 10 deletions(-) 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)