wai: one operation catalogue (noun.verb) for every door, wai ops, the agent rules on every command, and the wai-* service binaries #506

Merged

dcharlot merged 26 commits from wai/ops-catalogue into main 2026-10-28 11:17:27 -04:00

Conversation 0 Commits 26 Files changed 104 +7736 -1016

2026-10-28

Transaction Science

wai-app e2e: read wai app check's envelope as envelope/1 lays it out ...

The catalogue's agent rules carry an operation's answer under `data`
(envelope/1); the Create e2e still read the older `result`, so each refusal
case found no failures and failed. The passing case only read `ok`.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

c3d41827c9

• View at this point in history

2026-10-28 09:42:21 -04:00

Transaction Science

WAI Studio reads the catalogue; dev.start declares --show, --audience and Studio's route ...

With the catalogue on this branch, Studio's pending copy of it goes:
wai/wai-studio/ops.pending.json is removed, and src/actions.generated.js is
generated from wai/catalogue/ops.json (96 operations). The fleet's four
operations, placed on the client, are bound as run from the command line,
as the drift check requires. dev.start's usage, help and inputs now name
--show and --audience, which `wai dev` already took, and say that Studio is
served at /_wai/ when its files are found.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

baf37c0313

• View at this point in history

2026-10-28 08:04:00 -04:00

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/ops-catalogue ...

# Conflicts:
#	wai/CHANGELOG.md
#	wai/wai-rs/src/bin/wai_cli/dx/dev.rs

a10a4e4086

• View at this point in history

2026-10-28 08:03:14 -04:00

Transaction Science

CHANGELOG: the breaks this branch makes on purpose, each by the id wai breaking gives it ...

wai::ops gives way to wai::catalogue, and the room service's three challenges take the
operationIds the naming rule gives them; wai breaking --against main names these eight and
nothing else.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

040a3b1053

• View at this point in history

2026-10-28 05:35:58 -04:00

Transaction Science

wai-examples.yml: the browser's path marked as the file path it is (allow-name) ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

e30d2eabb2

• View at this point in history

2026-10-28 05:34:30 -04:00

Transaction Science

The fleet's operations in the catalogue, and one confirmation flag, --yes ...

enrolment.create, enrolment.list, report.create and report.export join the catalogue as the
other operations are: placed on the client against a fleet service, with their effect, toolset,
input and output schemas, receipt and the features they need (fleet for the two that sign or
verify). wai enrolment|report run through the door, and the fleet's command module keeps the
agent rules of dx/envelope.rs instead of its own copy of them: the envelope with --json, every
file through out.rs and every request to the service named in a dry run's plan and not sent
(out::would_send), and --yes before the service is changed or a file replaced, exit 4 off a
terminal with the proposal and the confirming command.

A catalogue entry now says when it waits for confirmation (Op::confirms: never, a file the
command line did not name, any file, the target or a file, always), and the rules refuse a
change to a target that does not wait and a read that does. The export carries it and the
agent flags (AGENT_FLAGS), from which wai --help is written: --yes is the one confirmation
flag, and --confirm, which wai conform, wai setup-agent and the fleet took, is its deprecated
spelling, still accepted, so named in help, in every confirming operation's help and in the
export. wai conform confirms through the same module. wai verify's entry names the
conformance results and fleet bundles it reads.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

84b630956a

• View at this point in history

2026-10-28 05:32:21 -04:00

Transaction Science

Merge origin/main into wai/ops-catalogue: #507, #518 and #521 as they landed ...

Main's final #507 replaces the copy this branch carried: wai breaking's base holds every
standard its crate reaches by path (rust_api.rs), and the conform adapter is main's. The
agent rules stay in one module, dx/envelope.rs, as this branch extended it; the command line
stays the catalogue's (door.rs, dx::VERBS by operation id). wai verify reads fleet bundles as
main has it, its errors the envelope's. The quickstart build carries fleet; cli_ops and
cli_fleet are both test targets; lib.rs gates strict_json on fleet too. The changelog keeps
this branch's entry above #507's and the fleet's. The fleet's command module is declared and
is routed through the catalogue in the next commit.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

0abd2ae46c

• View at this point in history

2026-10-28 05:20:01 -04:00

2026-10-27

Transaction Science

cli_breaking: the measurement test reads the envelope's data ...

wai breaking's report is the data of the agent rules' envelope; the test added with the
measurement list read its findings and notes at the top level.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

270be911a8

• View at this point in history

2026-10-27 06:05:08 -04:00

Transaction Science

Merge remote-tracking branch 'origin/wai/breaking-conform' into wai/ops-catalogue ...

# Conflicts:
#	wai/wai-rs/Cargo.toml

6f581d8f18

• View at this point in history

2026-10-27 06:00:31 -04:00

Transaction Science

Bring wai mcp, wai setup-agent, Create and the room service's API into the catalogue, renamed to N3 ...

Merged #508 (wai/create-2, stacked on #505) before they reach main, as the coordinator
directs: they merge before this branch, which builds the catalogue over them.

- The catalogue holds every operation they add: mcp.start (wai mcp; it was agent.mcp),
  agent.setup, app.guide, app.check, app.export (wai app export, also wai create --from),
  app.stream, registry.show, docs.search, dev.stop, room.join, room.leave, session.show
  (it was room.session), and the room service's 40 operations at their routes.
- Renamed to the verb rule: the MCP tool package_build is envelope_wrap (it does what wai
  wrap does; package.build stays for real packaging); the room service's challenges are
  watch.setup, conversation.setup and call.setup (no compound nouns); in the OpenAPI
  document, its contract test, the MCP table and tests, the docs.
- wai::ops is folded into wai::catalogue: the tool table's tests hold it to the catalogue
  both ways (every tool an operation the catalogue says wai mcp serves, in its toolset,
  and every such operation a tool; a tool of MCP alone takes the catalogue's input), and
  the room service's contract test holds its OpenAPI the same way.
- wai setup-agent and wai app check answer in the one envelope (wai: envelope/1, data),
  JSON with --json; wai mcp and setup-agent take --dry-run through the door; the binaries
  wai-relay and wai-room in the MCP dev room and Create's end-to-end script.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

fcf8518e23

• View at this point in history

2026-10-27 05:54:20 -04:00

Transaction Science

conform-result-conformance: each summary count wrong alone, its other counts right ...

The falsification of the reference found that leaving out the check of summary.cases
alone left the corpus passing: every summary vector had passed and failed wrong too.
Three vectors now carry each count wrong alone.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

20e94861ee

• View at this point in history

2026-10-27 05:45:56 -04:00

Transaction Science

conformance-results: conform-result/1 in the standard, its corpus and a second verifier ...

extensions/conformance-results.md specifies the record a conformance run signs: its
members (§2) and corpus digest (§2.1), its signing input (the domain
`wai:conform-result` and 0x01, then the record without `sig` in RFC 8785 form) and
Ed25519 signature under SPEC §7's strict rule (§3), what a verifier checks and in what
order (§4: it reads, its version, its members, its signature, its summary, its verdict)
and the codes of each refusal (§5). conform-result/1 is registered as a document kind
(registry export and REGISTRY.md regenerated); SPEC §7 points to it.

wai-rs gains the module conform_result (feature conform_result, in quickstart): sign,
check and verdict, the corpus digest, and the corpus of §7, whose outcomes are stated
from the text and asserted before anything is written. `wai conform` signs with it and
`wai verify` checks with it. conform-result-conformance/ holds accepted records and
refused ones (a case flipped, the corpus digest changed, the summary alone changed, a
bad signature, S past L, a small-order key, a summary or verdict that disagrees though
signed, an unknown version, members missing, added or named twice, a fractional count,
a digest out of form, bytes that are not JSON); wai_conform_result_vectors generates
and verifies it, and conform_result_verify.py, written from the text and sharing no code
with wai-rs, reaches every outcome and fails the corpus with each check of §4 left out.
`wai conform` gains the verifier suite conform-result.

`wai breaking` leaves out an explicit list of corpus files that record a measured run
(the format probes' external decodes, the relay's recorded metering run), each with
its reason, and says so in a note; the vectors built from them stay compared.

A command `wai conform` runs is put in a process group of its own, so a timed-out
command's children are stopped too.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

92ab88a375

• View at this point in history

2026-10-27 05:44:00 -04:00

Transaction Science

Merge remote-tracking branch 'origin/wai/create-2' into tc-a-int2 ...

# Conflicts:
#	joule-code/joule-code-rs/crates/joule-moq-room/README.md
#	joule-code/joule-code-rs/crates/joule-moq-room/src/main.rs
#	wai/CHANGELOG.md
#	wai/examples/android-app/README.md
#	wai/examples/apple-app/README.md
#	wai/examples/encoder-ingest/README.md
#	wai/examples/messaging/README.md
#	wai/examples/package-and-deliver/README.md
#	wai/examples/remote-desktop/README.md
#	wai/examples/verify-receipts/README.md
#	wai/examples/video-room/README.md
#	wai/examples/watch-together/README.md
#	wai/wai-rs/src/bin/wai.rs
#	wai/wai-rs/src/bin/wai_cli/dx/create.rs
#	wai/wai-rs/src/bin/wai_cli/dx/dev.rs
#	wai/wai-rs/src/bin/wai_cli/dx/mod.rs

8e3a1b7580

• View at this point in history

2026-10-27 05:43:10 -04:00

Transaction Science

Merge TC-B's wai/breaking-conform (#507) into the catalogue: one agent-rules module ...

The coordinator's direction: the catalogue's agent rules build on #507's
wai_cli/dx/envelope.rs, the one place the exit codes and the JSON envelope live.
agent.rs is folded into it (OpError holds the confirmation proposal and a reported
exit); the envelope is {"wai": "envelope/1", "op", "ok", "data" | "error",
"exit"} for every command, wai breaking and wai conform among them, their bodies now
data; JSON with --json (or a parent's), text otherwise. The exit-code table is the
study's in both; 3 (permission) joins the module's constants. compat.check,
conformance.run and conformance.list join the catalogue and dx::VERBS; every id now
ends in an N3 verb (toolchain.test for wai hello, stage.encode for wai stage refine,
playlist.lock for wai http seal-playlist, ops.show for wai ops show, ...), the command
lines unchanged. conform names its record in a dry run's plan.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

c63427fcf5

• View at this point in history

2026-10-27 05:40:25 -04:00

Transaction Science

tests/cli_conform.rs: the origin picks its own port and says which ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

63481e6917

• View at this point in history

2026-10-27 05:21:40 -04:00

Transaction Science

CI: wai breaking reads the checkout as its owner and fetches main's tip into origin/main ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

b90e9aaca2

• View at this point in history

2026-10-27 05:14:31 -04:00

Transaction Science

wai breaking: a registry string reads as itself in a finding; CI builds the tools unoptimised ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

18de7d357e

• View at this point in history

2026-10-27 05:13:56 -04:00

Transaction Science

wai ops: the command line carries only the operations it implements; the door check reads a tool table by operation ...

An operation served only over HTTP or MCP has no command line: it does not resolve, help does
not list it as a command, and the dry-run test asks no sample of it. check-wai-ops-doors.py
reads an MCP tool named by its operation (op: "noun.verb") as well as one named outright.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

ef6dda46ee

• View at this point in history

2026-10-27 05:12:08 -04:00

Transaction Science

CI: the WAI operation catalogue workflow; the catalogue's README, the changelog ...

.github/workflows/wai-catalogue.yml fails on drift: the export against the table, every door's
names against the catalogue (with the check's selftest), the catalogue's rules, and the
command line's tests in the archive's build and with every command-line feature that needs no
system library.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

9d18a895f1

• View at this point in history

2026-10-27 05:04:44 -04:00

Transaction Science

wai: tests/cli_ops.rs holds every command to the catalogue and the agent rules ...

wai ops list, search, schema and export (the export is the committed file, a drifted copy
exits 1); every operation's help from its entry and its mechanical form; the exit codes 1 to
6 each from a real case; the envelope on success, failure and confirmation; --yes; and
--dry-run on every operation of the build whose effect is not reads, each shown to write
nothing with it and to write without it, with generate, score and stage covered in a build
that has them. A new operation that writes cannot join the catalogue without a sample here.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

59f9011a84

• View at this point in history

2026-10-27 05:04:43 -04:00

Transaction Science

wai breaking and wai conform: the compatibility gate, and conformance anyone can run ...

`wai breaking --against <git-ref>` (operation compat.check) reports what the working
tree breaks against the merge base of a ref, in three cumulative categories: wire (the
registry export, the media and delivery corpora), record (the signing domains, magics
and versions in the WAI crates' sources, the record corpora, the published JSON
Schemas) and API (the Rust public API of wai and wai-quantum from rustdoc's JSON, the
C header, the room service's OpenAPI document). Each finding names its item, category,
what changed and why it breaks; additions are compatible. A break passes only when a
line the change adds to wai/CHANGELOG.md, in an entry that says Breaking, names its id.

`wai conform <kind> --suite <suite> --impl <command or URL>` (operation
conformance.run) runs a corpus against another implementation through a command-line
or an HTTP adapter: verifiers (claim, jwp, signer), a decoder (score), a packager
(policy) and an origin (http). The result is a signed conform-result/1 record that
`wai verify` checks. Both follow the agent rules: the envelope/1 JSON output, the exit
statuses, --dry-run.

.github/workflows/wai-breaking.yml runs the gate on every pull request that touches
WAI, the tests of both commands, and the corpora's independent Python verifiers and
the reference packager through wai conform.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

482244fdce

• View at this point in history

2026-10-27 05:00:48 -04:00

Transaction Science

scripts: check-wai-ops-doors.py holds every door's names to the operation catalogue ...

MCP tool names (noun_verb), the services' OpenAPI operationIds (the id, placed on a service,
at its route), the C header's functions (wai_noun_verb where the noun is the catalogue's and
the verb an operation verb) and the Swift and Kotlin sinks' public methods (Wai<Noun>.<verb>)
are read and held to wai/catalogue/ops.json; a door with no operation yet says so. The
selftest misnames each door's operation and requires the check to fail and say which.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

758e00dcdb

• View at this point in history

2026-10-27 04:52:32 -04:00

Transaction Science

The service binaries are wai-relay, wai-room and wai-ingest; the crates keep their names ...

WAI toolchain decision 11: joule-moq-relay builds wai-relay, joule-moq-room wai-room, and
joule-moq-ingest wai-ingest. wai dev finds them by those names (WAI_RELAY_BIN, WAI_ROOM_BIN),
and the quickstart archive, the release workflow, the examples' workflow, the browser
tests, the interop scripts, the example host script, the Scoop manifest and the crates'
READMEs and example configurations name them so. Wire and record identifiers that carry a
crate's name (joule-moq-relay/session-summary/2, joule-moq-ingest/session/1, the relay's
MOQT implementation string) and the log variables (JOULE_MOQ_*_LOG) are unchanged.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

c86b75ac52

• View at this point in history

2026-10-27 04:52:31 -04:00

Transaction Science

wai/examples: every template Apache-2.0, its LICENSE carried into the project ...

Each example holds the license's text as LICENSE (wai/LICENSE, byte for byte) and says so in
its README; wai create writes it with the rest of the template, from one copy in the binary.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

e8c8327631

• View at this point in history

2026-10-27 04:52:31 -04:00

Transaction Science

wai: the command line through the catalogue, and the agent rules on every command ...

Every command line resolves through the catalogue (wai_cli/door.rs): its CLI spelling, an
alias, or its mechanical form wai <noun> <verb>; an implementation is found by operation
id, and help is written from the catalogue's entries. dx::VERBS is the developer path's view
of it. Every command keeps the agent rules (wai_cli/agent.rs): exit codes 0 to 7, --json
(a versioned envelope, envelope/1, carrying a command's own JSON or its text in data),
--dry-run on every operation that is not read-only (every write goes through
wai_cli/out.rs), and --yes where a change waits for confirmation (exit 4 off a terminal).
wai ops list, search, schema and export. The tests and the quickstart's packaging check read
the JSON forms from the envelope's data.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

aaf0affc43

• View at this point in history

2026-10-27 04:52:20 -04:00

Transaction Science

wai: the operation catalogue, every operation once as noun.verb (wai::catalogue) ...

One Rust table in the wai crate holds every operation the toolchain offers: its id
(noun.verb), summary, CLI spelling and aliases, placement, input and output JSON Schemas,
stream, effect, route, toolset, stability, since/deprecated, whether it writes a receipt,
and the build features it needs. It lists only operations that work today. Its tests hold
the naming rules (noun.verb, no near-synonym verb, singular nouns, one command line per
operation, a route exactly when it runs on a service) and break each rule to show it is
refused. wai/catalogue/ops.json is its export (wai.ops/1).

Co-Authored-By: Claude Opus 5.5 <[email protected]>

c6433368c9

• View at this point in history

2026-10-27 04:52:19 -04:00