Rewrite schema/README.md sentence by sentence
check / check (push) Waiting to run

Rewrite the description of the JSON Schema directory from scratch,
without tables, as a reader of the files needs it. Describe the
envelope as the server sends it: the reply name in `command` and the
number in `code`. Drop the federation section, which describes nothing
the server does. List where each schema file disagrees with the
server, so a reader is not misled; the files themselves are unchanged.

Part of #190.

Model: fable-5-1
This commit is contained in:
2026-10-27 12:51:05 +00:00
parent ecf47c37f5
commit 934a4ab339
+78 -81
View File
@@ -1,98 +1,95 @@
# Message Schemas # Message schemas
JSON Schema definitions (draft 2020-12) for the neoirc protocol. Messages use This directory holds JSON Schema files (draft 2020-12) for the messages that the
**IRC command names and numeric reply codes** (RFC 1459/2812) encoded as JSON neoirc HTTP API carries. `message.json` describes the envelope every message
over HTTP. uses. `commands/` holds one file per IRC command and `numerics/` one file per
numeric reply. `README.md` at the repository root documents every command, reply
and field.
## Envelope ## The envelope
Every message is a JSON object with a `command` field. The format maps directly Every message is one JSON object with these fields:
to IRC wire format:
- `command`: the IRC command name, such as `PRIVMSG`, or the name of a numeric
reply, such as `RPL_WELCOME`. Always present.
- `code`: the number of a numeric reply, such as `1` for `RPL_WELCOME`. Absent
on other messages.
- `id`: the message's UUID, assigned by the server.
- `from`: the sender's nick, or the server name on a server message.
- `to`: the target: a channel name starting with `#`, or a nick.
- `params`: further positional parameters, as an array of strings. `KICK` and
many numeric replies use it.
- `body`: an array of strings, one per line of text. It is never a bare string.
- `ts`: when the server stored the message, in RFC 3339 form, in UTC.
- `meta`: an object of extra data, such as a hashcash stamp in `meta.hashcash`.
The server stores and relays it as it is.
Two IRC lines and their JSON form:
``` ```
IRC: :nick PRIVMSG #channel :hello world IRC: :alice PRIVMSG #general :hello world
JSON: {"command": "PRIVMSG", "from": "nick", "to": "#channel", "body": ["hello world"]} JSON: {"command": "PRIVMSG", "from": "alice", "to": "#general", "body": ["hello world"]}
IRC: :server 353 nick = #channel :user1 @op1 +voice1 IRC: :neoirc 353 alice = #general :@op1!op1@host1 alice!alice@host2
JSON: {"command": "353", "to": "nick", "params": ["=", "#channel"], "body": ["user1 @op1 +voice1"]} JSON: {"command": "RPL_NAMREPLY", "code": 353, "from": "neoirc", "to": "alice",
"params": ["=", "#general"], "body": ["@op1!op1@host1 alice!alice@host2"]}
Multiline: {"command": "PRIVMSG", "to": "#ch", "body": ["line 1", "line 2"]}
Structured: {"command": "PUBKEY", "body": {"alg": "ed25519", "key": "base64..."}}
``` ```
Common fields (see `message.json` for full schema): A `body` with two strings is a two-line message:
| Field | Type | Description | ```
| --------- | --------------- | ---------------------------------------------------- | {"command": "PRIVMSG", "to": "#general", "body": ["line one", "line two"]}
| `id` | string (uuid) | Server-assigned message UUID | ```
| `command` | string | IRC command or 3-digit numeric code |
| `from` | string | Source nick or server name (IRC prefix) |
| `to` | string | Target: #channel or nick |
| `params` | string[] | Middle parameters (mainly for numerics) |
| `body` | array \| object | Structured body — never a raw string (see below) |
| `ts` | string | ISO 8601 timestamp (server-assigned, not in raw IRC) |
| `meta` | object | Extensible metadata (signatures, hashes, etc.) |
**Structured bodies:** `body` is always an array of strings (for text) or an ## Files
object (for structured data like PUBKEY). Never a raw string. This enables:
- Multiline messages without escape sequences Commands, in `commands/`:
- Deterministic canonicalization via RFC 8785 JCS for signing
- Structured data where needed
## Commands - `PRIVMSG.json`: a message to a channel or a user.
- `NOTICE.json`: a notice. A client must not answer a notice automatically.
- `JOIN.json`: a user joined a channel.
- `PART.json`: a user left a channel.
- `QUIT.json`: a user left the server.
- `NICK.json`: a user changed nick.
- `TOPIC.json`: a channel topic was set.
- `MODE.json`: a channel mode was changed.
- `KICK.json`: a channel operator removed a user from a channel.
- `PING.json` and `PONG.json`: keepalive.
- `PUBKEY.json`: a public signing key announcement. The server does not have
this command and answers it with `ERR_UNKNOWNCOMMAND` (421).
IRC commands used for client↔server and server↔server communication. Numeric replies, in `numerics/`:
| Command | File | RFC | Description | - `001.json` `RPL_WELCOME`, `002.json` `RPL_YOURHOST`, `003.json` `RPL_CREATED`
| --------- | ----------------------- | ----------- | -------------------------- | and `004.json` `RPL_MYINFO`: the welcome replies.
| `PRIVMSG` | `commands/PRIVMSG.json` | 1459 §4.4.1 | Message to channel or user | - `322.json` `RPL_LIST` and `323.json` `RPL_LISTEND`: the channel list.
| `NOTICE` | `commands/NOTICE.json` | 1459 §4.4.2 | Notice (no auto-reply) | - `332.json` `RPL_TOPIC`: a channel's topic.
| `JOIN` | `commands/JOIN.json` | 1459 §4.2.1 | Join a channel | - `353.json` `RPL_NAMREPLY` and `366.json` `RPL_ENDOFNAMES`: a channel's member
| `PART` | `commands/PART.json` | 1459 §4.2.2 | Leave a channel | list.
| `QUIT` | `commands/QUIT.json` | 1459 §4.1.6 | User disconnected | - `372.json` `RPL_MOTD`, `375.json` `RPL_MOTDSTART` and `376.json`
| `NICK` | `commands/NICK.json` | 1459 §4.1.2 | Change nickname | `RPL_ENDOFMOTD`: the message of the day.
| `TOPIC` | `commands/TOPIC.json` | 1459 §4.2.4 | Get/set channel topic | - `401.json` `ERR_NOSUCHNICK`: no such nick.
| `MODE` | `commands/MODE.json` | 1459 §4.2.3 | Set channel/user modes | - `403.json` `ERR_NOSUCHCHANNEL`: no such channel.
| `KICK` | `commands/KICK.json` | 1459 §4.2.8 | Kick user from channel | - `433.json` `ERR_NICKNAMEINUSE`: the nick is taken.
| `PING` | `commands/PING.json` | 1459 §4.6.2 | Keepalive | - `442.json` `ERR_NOTONCHANNEL`: the user is not on that channel.
| `PONG` | `commands/PONG.json` | 1459 §4.6.3 | Keepalive response | - `482.json` `ERR_CHANOPRIVSNEEDED`: the user is not a channel operator.
| `PUBKEY` | `commands/PUBKEY.json` | (extension) | Announce/relay signing key |
## Numeric Replies ## Where the files differ from the server
Three-digit codes for server responses, per IRC convention. Where a schema file and the server disagree, the server is right:
### Success / Informational (0xx–3xx) - The numeric files put the three-digit code in `command` and have no `code`
field. The server puts the reply's name in `command` and its number in `code`.
| Code | Name | File | Description | - `353.json` says `body` lists nicks. Over the HTTP API the server lists
| ----- | -------------- | ------------------- | ------------------------------ | hostmasks, such as `@op1!op1@host1`.
| `001` | RPL_WELCOME | `numerics/001.json` | Welcome after session creation | - `MODE.json` puts the mode change in `params`. The server puts it in `body`:
| `002` | RPL_YOURHOST | `numerics/002.json` | Server host info | one string such as `"+o bob"`, or the change and its value as two strings,
| `003` | RPL_CREATED | `numerics/003.json` | Server creation date | such as `"+k"` and `"secret"`.
| `004` | RPL_MYINFO | `numerics/004.json` | Server info and modes | - `JOIN.json` has no `body`. The server's `JOIN` event repeats the channel name
| `322` | RPL_LIST | `numerics/322.json` | Channel list entry | in `body`.
| `323` | RPL_LISTEND | `numerics/323.json` | End of channel list | - `PING.json` describes a token in `body`. The server ignores the body of a
| `332` | RPL_TOPIC | `numerics/332.json` | Channel topic | `PING` and answers the HTTP request itself with
| `353` | RPL_NAMREPLY | `numerics/353.json` | Channel member list | `{"command": "PONG", "from": "<server name>"}`.
| `366` | RPL_ENDOFNAMES | `numerics/366.json` | End of NAMES list | - `TOPIC.json` says a `TOPIC` without a body queries the topic. Over the HTTP
| `372` | RPL_MOTD | `numerics/372.json` | MOTD line | API a `TOPIC` without a body gets `ERR_NEEDMOREPARAMS` (461).
| `375` | RPL_MOTDSTART | `numerics/375.json` | Start of MOTD | - `PUBKEY.json` describes a command the server does not have.
| `376` | RPL_ENDOFMOTD | `numerics/376.json` | End of MOTD |
### Errors (4xx)
| Code | Name | File | Description |
| ----- | -------------------- | ------------------- | ----------------------- |
| `401` | ERR_NOSUCHNICK | `numerics/401.json` | No such nick/channel |
| `403` | ERR_NOSUCHCHANNEL | `numerics/403.json` | No such channel |
| `433` | ERR_NICKNAMEINUSE | `numerics/433.json` | Nickname already in use |
| `442` | ERR_NOTONCHANNEL | `numerics/442.json` | Not on that channel |
| `482` | ERR_CHANOPRIVSNEEDED | `numerics/482.json` | Not channel operator |
## Federation (S2S)
Server-to-server messages use the same command format. Federated servers relay
messages with an additional `origin` field in `meta` to track the source server.
The PING/PONG commands serve as inter-server keepalives. State sync after link
establishment uses a burst of JOIN, NICK, TOPIC, and MODE commands.