Skip to content
HONESTASDecision-Evidence Operating System

Capability deep-dive · inter-company corridors

Your recovery demand leaves as a PDF, lands in an inbox, and comes back weeks later with no shared state.

Two companies are running the same claim from two copies of the facts, and neither can see the other’s copy. The protocol layer for machine-to-machine work between organisations now exists as a published specification. The governance layer on top of it does not exist anywhere yet — including here.

The version gap, stated beside the conformance claim

v0.3.0the specification version our public agent endpoint conforms to, pinned by an executable conformance suite[O]
v1.0.0the current published specification — the first stable release, adding signed agent cards and further bindings[V]
5conformance groups the suite asserts: task fields, error semantics, card paths, cancellation, card recommended fields[O]
noneinsurers running inter-company agent corridors in production anywhere, ourselves included — [P: to be calibrated][P]

The corridor governance layer is new build. The transport beneath it is shipped and tested, and this page keeps the two apart.

The task lifecycle, and the two states that make it governable

A task moves from submitted to working and then to one of four terminal states — completed, failed, canceled, rejected. Two further states pause a task without terminating it, and they are the ones a regulated corridor is built on.

interrupt state

input-required

In the design, this is not a queue item. A counterparty asking for a decision that matters convenes a room, and the reply is emitted by a named chair’s ruling at a durable waitpoint. There is no code path that answers a consequential request without one, and the corridor produces no record outside the governed thread.

interrupt state

auth-required

Discovery is decentralised — a peer publishes a card at a well-known path and there is no central registry. That is precisely why counterparty admission has to be a product rather than an assumption, and why an unopened channel refuses in the protocol’s own vocabulary rather than with a status code a peer’s SDK will swallow.

What is shipped, and what a corridor would inherit rather than rewrite

Stateless, domain-bound task tokens

A task id carries its own signature over the job and the domain, so a token minted for one domain is invalid on another and any pod after any restart answers identically, with no session store to lose.

A derived context id, never minted

The required context id is derived deterministically from the domain and job, so two calls echo byte-identically with nothing stored — and the same job on a different domain cannot collide.

Method errors leave as a readable body

A domain refusal travels in the response body where a caller can read the code and the retry window, rather than as a bare status the reference client re-raises before application code ever sees it. Transport faults stay visible as faults.

The card answers on both well-known paths

The current path and the pre-0.3 path are both served, and the host gate is not weakened by the compatibility path. That is the same discipline a corridor spanning two specification generations needs at every version boundary.

the agent endpoint(shipped)the conformance suite(shipped)counterparty identity, vetting and the grant matrix(designed, not built)dually-signed terminal artefacts and claim-state reconciliation(designed, not built)

Admission is a product of hard gates, not a score

In the design, a corridor opens only when every hard gate passes and a named tenant administrator approves. The gates multiply — the card resolves and parses, the signature verifies under a key the card names, the legal entity resolves against the declared operator, the regulatory permission covers the claimed skill, a live conformance probe round-trips against the pinned version, the authentication scheme is one of the two admissible ones, and the contractual resilience clauses are in place. Soft factors like dispute rate and time-to-terminal modulate the score; none of them can rescue a failed hard gate. That product form is the arithmetic of failing closed.

One rule is worth stating on its own, because it is the classic seam defect: a valid signature proves who. It never proves may. Authority is checked on every call through the same scope predicate as every internal read, so a signed card can never quietly become a capability.

Where a corridor fails closed

The honest limit

What this connects to

Developers

The agent card, the endpoint, and the conformance suite as an executable wire contract rather than a compatibility badge.

Governed change control

Why a specification migration, a key rotation and a threshold change are all the same kind of object.

Deliberation rooms

What an input-required interrupt actually convenes, and who is allowed to answer it.