@clowder-ai/plugin-contract 0.1.0-beta.2 → 0.1.0-beta.3

package/dist/wire/disposition.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Pre-dispatch disposition table -- T-A through T-L.
+ * Mechanized verbatim from #1165 R35/R39/R44.
+ *
+ * Every raw-frame/profile/request rejection class has exactly one
+ * deterministic transport disposition. The table is frozen: adding
+ * or reordering rows requires a contract revision.
+ *
+ * Three outcome classes:
+ *   - close:   connection is torn down, no error response emitted.
+ *   - respond: an error response is emitted (standard or application).
+ *   - accept:  frame is valid, dispatched or settled, no error response.
+ *
+ * Derived subsets (exported):
+ *   - CLOSE_CLASSES:   close with no response (T-A, T-C, T-E, T-H, T-I, T-K).
+ *   - RESPOND_CLASSES: respond with an error  (T-B, T-D, T-F, T-G).
+ *   - ACCEPT_CLASSES:  accept and process     (T-J, T-L).
+ *
+ * These subsets are used in byte-proof exclusion: close/accept classes
+ * are excluded from error byte proofs because they never emit an error
+ * response onto the wire.
+ */
+/**
+ * The 12 pre-dispatch disposition classes, T-A through T-L.
+ * Mechanized from #1165 R35.
+ */
+export declare const DISPOSITION_CLASSES: readonly ["T-A", "T-B", "T-C", "T-D", "T-E", "T-F", "T-G", "T-H", "T-I", "T-J", "T-K", "T-L"];
+/** Union of all disposition class identifiers. */
+export type DispositionClass = (typeof DISPOSITION_CLASSES)[number];
+/**
+ * The three possible transport outcomes for a pre-dispatch rejection.
+ *   - close:   tear down the connection, emit nothing.
+ *   - respond: emit an error response frame.
+ *   - accept:  frame is valid, pass to dispatch/settlement.
+ */
+export type DispositionOutcome = 'close' | 'respond' | 'accept';
+/**
+ * A single row of the disposition table.
+ *
+ * @property class            - The disposition class identifier (T-A .. T-L).
+ * @property outcome          - Transport outcome: close, respond, or accept.
+ * @property emitsResponse    - Whether an error response is written to the wire.
+ * @property dispatches       - Whether the frame reaches the dispatch layer.
+ * @property description      - Human-readable description from #1165.
+ * @property errorCodes       - Error codes emitted for respond classes, empty for close/accept.
+ * @property predicate        - Deterministic decision rule (human-readable, machine-checkable).
+ * @property canonicalExample - Minimal compact JSON string exemplifying this class.
+ */
+export interface DispositionEntry {
+    readonly class: DispositionClass;
+    readonly outcome: DispositionOutcome;
+    readonly emitsResponse: boolean;
+    readonly dispatches: boolean;
+    readonly description: string;
+    /** Error codes emitted for respond classes, empty array for close/accept. */
+    readonly errorCodes: readonly number[];
+    /** Deterministic predicate -- human-readable, machine-checkable decision rule. */
+    readonly predicate: string;
+    /** Canonical frame example (compact JSON string) for this class. */
+    readonly canonicalExample: string;
+}
+/**
+ * The complete pre-dispatch disposition table.
+ * Every row is mechanized from #1165 R35/R39/R44 -- no interpretation.
+ *
+ * | #   | Rejection class                                        | Disposition                       |
+ * |-----|--------------------------------------------------------|-----------------------------------|
+ * | T-A | transport/framing failure                              | close, no response                |
+ * | T-B | JSON parse error                                       | respond Parse error, id: null     |
+ * | T-C | frame-canonicality failure                              | close, no response                |
+ * | T-D | canonical idless non-response-candidate non-Request     | respond Invalid Request, id: null |
+ * | T-E | detected but profile-invalid id                        | close, no response                |
+ * | T-F | valid id, envelope violation                            | respond standard error, id echoed |
+ * | T-G | valid id Request, value violation                       | respond error, id echoed          |
+ * | T-H | response candidate validation/correlation failure       | close, no response                |
+ * | T-I | in-flight id collision                                  | close, no response                |
+ * | T-J | legal Notification (row 10)                             | accept, dispatch, no response     |
+ * | T-K | valid Notification, v0 violation                        | close, no response, zero dispatch |
+ * | T-L | valid correlated response                               | accept, settle, no response       |
+ */
+export declare const DISPOSITION_TABLE: Record<DispositionClass, DispositionEntry>;
+/**
+ * Disposition classes that close the connection with no response.
+ * These are excluded from error byte proofs (no error frame emitted).
+ * Mechanized from #1165 R35/R44.
+ */
+export declare const CLOSE_CLASSES: readonly DispositionClass[];
+/**
+ * Disposition classes that emit an error response.
+ * These are the only classes that produce error frames on the wire.
+ * Mechanized from #1165 R35/R39.
+ */
+export declare const RESPOND_CLASSES: readonly DispositionClass[];
+/**
+ * Disposition classes that accept the frame for dispatch or settlement.
+ * These are excluded from error byte proofs (no error frame emitted).
+ * Mechanized from #1165 R35.
+ */
+export declare const ACCEPT_CLASSES: readonly DispositionClass[];
+//# sourceMappingURL=disposition.d.ts.map

package/dist/wire/disposition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disposition.d.ts","sourceRoot":"","sources":["../../src/wire/disposition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH;;;GAGG;AACH,eAAO,MAAM,mBAAmB,+FAGtB,CAAC;AAEX,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAMpE;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAC;AAMhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oEAAoE;IACpE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,gBAAgB,EAAE,gBAAgB,CAyH/D,CAAC;AAMX;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,gBAAgB,EAE3C,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAE7C,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,SAAS,gBAAgB,EAE5C,CAAC"}

package/dist/wire/disposition.js

@@ -0,0 +1,205 @@
+/**
+ * Pre-dispatch disposition table -- T-A through T-L.
+ * Mechanized verbatim from #1165 R35/R39/R44.
+ *
+ * Every raw-frame/profile/request rejection class has exactly one
+ * deterministic transport disposition. The table is frozen: adding
+ * or reordering rows requires a contract revision.
+ *
+ * Three outcome classes:
+ *   - close:   connection is torn down, no error response emitted.
+ *   - respond: an error response is emitted (standard or application).
+ *   - accept:  frame is valid, dispatched or settled, no error response.
+ *
+ * Derived subsets (exported):
+ *   - CLOSE_CLASSES:   close with no response (T-A, T-C, T-E, T-H, T-I, T-K).
+ *   - RESPOND_CLASSES: respond with an error  (T-B, T-D, T-F, T-G).
+ *   - ACCEPT_CLASSES:  accept and process     (T-J, T-L).
+ *
+ * These subsets are used in byte-proof exclusion: close/accept classes
+ * are excluded from error byte proofs because they never emit an error
+ * response onto the wire.
+ */
+// ---------------------------------------------------------------------------
+// Disposition class enum
+// ---------------------------------------------------------------------------
+/**
+ * The 12 pre-dispatch disposition classes, T-A through T-L.
+ * Mechanized from #1165 R35.
+ */
+export const DISPOSITION_CLASSES = [
+    'T-A', 'T-B', 'T-C', 'T-D', 'T-E', 'T-F',
+    'T-G', 'T-H', 'T-I', 'T-J', 'T-K', 'T-L',
+];
+// ---------------------------------------------------------------------------
+// The frozen table (R35/R39/R44)
+// ---------------------------------------------------------------------------
+/**
+ * The complete pre-dispatch disposition table.
+ * Every row is mechanized from #1165 R35/R39/R44 -- no interpretation.
+ *
+ * | #   | Rejection class                                        | Disposition                       |
+ * |-----|--------------------------------------------------------|-----------------------------------|
+ * | T-A | transport/framing failure                              | close, no response                |
+ * | T-B | JSON parse error                                       | respond Parse error, id: null     |
+ * | T-C | frame-canonicality failure                              | close, no response                |
+ * | T-D | canonical idless non-response-candidate non-Request     | respond Invalid Request, id: null |
+ * | T-E | detected but profile-invalid id                        | close, no response                |
+ * | T-F | valid id, envelope violation                            | respond standard error, id echoed |
+ * | T-G | valid id Request, value violation                       | respond error, id echoed          |
+ * | T-H | response candidate validation/correlation failure       | close, no response                |
+ * | T-I | in-flight id collision                                  | close, no response                |
+ * | T-J | legal Notification (row 10)                             | accept, dispatch, no response     |
+ * | T-K | valid Notification, v0 violation                        | close, no response, zero dispatch |
+ * | T-L | valid correlated response                               | accept, settle, no response       |
+ */
+export const DISPOSITION_TABLE = {
+    'T-A': {
+        class: 'T-A',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'transport/framing failure',
+        errorCodes: [],
+        predicate: 'transport/framing failure before JSON parse',
+        canonicalExample: '\\xFF',
+    },
+    'T-B': {
+        class: 'T-B',
+        outcome: 'respond',
+        emitsResponse: true,
+        dispatches: false,
+        description: 'JSON parse error',
+        errorCodes: [-32700],
+        predicate: 'JSON parse fails on well-framed UTF-8 input',
+        canonicalExample: '{invalid json',
+    },
+    'T-C': {
+        class: 'T-C',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'frame-canonicality failure',
+        errorCodes: [],
+        predicate: 'frame parsed but fails compact-canonical check (whitespace, duplicate keys, non-scalar strings, non-canonical numbers)',
+        canonicalExample: '{ "jsonrpc":"2.0" }',
+    },
+    'T-D': {
+        class: 'T-D',
+        outcome: 'respond',
+        emitsResponse: true,
+        dispatches: false,
+        description: 'canonical idless non-response-candidate non-Request',
+        errorCodes: [-32600],
+        predicate: 'canonical object, no valid id, not a response candidate (no result/error without method)',
+        canonicalExample: '{"jsonrpc":"2.0","method":0}',
+    },
+    'T-E': {
+        class: 'T-E',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'detected but profile-invalid id',
+        errorCodes: [],
+        predicate: 'id field detected but fails RequestId profile (not ASCII, not 1..128, wrong grammar)',
+        canonicalExample: '{"jsonrpc":"2.0","id":"","method":"broker.hello","params":{"meta":{"deadlineUnixMs":1},"input":{}}}',
+    },
+    'T-F': {
+        class: 'T-F',
+        outcome: 'respond',
+        emitsResponse: true,
+        dispatches: false,
+        description: 'valid id, envelope violation',
+        errorCodes: [-32600, -32601, -32602, -32603],
+        predicate: 'profile-valid id but envelope violates jsonrpc/method/params structure',
+        canonicalExample: '{"jsonrpc":"2.0","id":"a","method":"broker.hello"}',
+    },
+    'T-G': {
+        class: 'T-G',
+        outcome: 'respond',
+        emitsResponse: true,
+        dispatches: false,
+        description: 'valid id Request, value violation',
+        errorCodes: [-32090, -32091, -32092, -32093, -32094, -32602],
+        predicate: 'valid id Request with valid envelope but value-level violation (params content)',
+        canonicalExample: '{"jsonrpc":"2.0","id":"a","method":"host.lifecycle.ping","params":{"meta":{"deadlineUnixMs":1},"input":{"nonce":""}}}',
+    },
+    'T-H': {
+        class: 'T-H',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'response candidate validation/correlation failure',
+        errorCodes: [],
+        predicate: 'response candidate (has result or error, no method) that fails validation or correlation',
+        canonicalExample: '{"jsonrpc":"2.0","id":"phantom","result":null}',
+    },
+    'T-I': {
+        class: 'T-I',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'in-flight id collision',
+        errorCodes: [],
+        predicate: 'valid Request with id that collides with an in-flight request id',
+        canonicalExample: '{"jsonrpc":"2.0","id":"dup","method":"broker.hello","params":{"meta":{"deadlineUnixMs":1},"input":{}}}',
+    },
+    'T-J': {
+        class: 'T-J',
+        outcome: 'accept',
+        emitsResponse: false,
+        dispatches: true,
+        description: 'legal Notification (row 10)',
+        errorCodes: [],
+        predicate: 'legal Notification: no id, valid method=host.grants.changed (row 10 in v0)',
+        canonicalExample: '{"jsonrpc":"2.0","method":"host.grants.changed","params":{"meta":{"deadlineUnixMs":1},"input":{"grantRevision":0,"effectiveGrants":[]}}}',
+    },
+    'T-K': {
+        class: 'T-K',
+        outcome: 'close',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'valid Notification, v0 violation',
+        errorCodes: [],
+        predicate: 'valid Notification structure but method is not row 10 (v0 violation)',
+        canonicalExample: '{"jsonrpc":"2.0","method":"host.lifecycle.ping","params":{"meta":{"deadlineUnixMs":1},"input":{"nonce":"x"}}}',
+    },
+    'T-L': {
+        class: 'T-L',
+        outcome: 'accept',
+        emitsResponse: false,
+        dispatches: false,
+        description: 'valid correlated response',
+        errorCodes: [],
+        predicate: 'valid correlated response matching an in-flight request',
+        canonicalExample: '{"jsonrpc":"2.0","id":"req-1","result":{"nonce":"x"}}',
+    },
+};
+// ---------------------------------------------------------------------------
+// Derived subsets for byte-proof exclusion
+// ---------------------------------------------------------------------------
+/**
+ * Disposition classes that close the connection with no response.
+ * These are excluded from error byte proofs (no error frame emitted).
+ * Mechanized from #1165 R35/R44.
+ */
+export const CLOSE_CLASSES = [
+    'T-A', 'T-C', 'T-E', 'T-H', 'T-I', 'T-K',
+];
+/**
+ * Disposition classes that emit an error response.
+ * These are the only classes that produce error frames on the wire.
+ * Mechanized from #1165 R35/R39.
+ */
+export const RESPOND_CLASSES = [
+    'T-B', 'T-D', 'T-F', 'T-G',
+];
+/**
+ * Disposition classes that accept the frame for dispatch or settlement.
+ * These are excluded from error byte proofs (no error frame emitted).
+ * Mechanized from #1165 R35.
+ */
+export const ACCEPT_CLASSES = [
+    'T-J', 'T-L',
+];
+//# sourceMappingURL=disposition.js.map

package/dist/wire/disposition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disposition.js","sourceRoot":"","sources":["../../src/wire/disposition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACxC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;CAChC,CAAC;AA+CX,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA+C;IAC3E,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,2BAA2B;QACxC,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,6CAA6C;QACxD,gBAAgB,EAAE,OAAO;KAC1B;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,SAAS;QAClB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,kBAAkB;QAC/B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC;QACpB,SAAS,EAAE,6CAA6C;QACxD,gBAAgB,EAAE,eAAe;KAClC;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,4BAA4B;QACzC,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,wHAAwH;QACnI,gBAAgB,EAAE,qBAAqB;KACxC;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,SAAS;QAClB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,qDAAqD;QAClE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC;QACpB,SAAS,EAAE,0FAA0F;QACrG,gBAAgB,EAAE,8BAA8B;KACjD;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,iCAAiC;QAC9C,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,sFAAsF;QACjG,gBAAgB,EAAE,qGAAqG;KACxH;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,SAAS;QAClB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,8BAA8B;QAC3C,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;QAC5C,SAAS,EAAE,wEAAwE;QACnF,gBAAgB,EAAE,oDAAoD;KACvE;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,SAAS;QAClB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,mCAAmC;QAChD,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;QAC5D,SAAS,EAAE,iFAAiF;QAC5F,gBAAgB,EAAE,uHAAuH;KAC1I;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,mDAAmD;QAChE,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,0FAA0F;QACrG,gBAAgB,EAAE,gDAAgD;KACnE;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,wBAAwB;QACrC,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,kEAAkE;QAC7E,gBAAgB,EAAE,wGAAwG;KAC3H;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,QAAQ;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,6BAA6B;QAC1C,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,4EAA4E;QACvF,gBAAgB,EAAE,0IAA0I;KAC7J;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO;QAChB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,kCAAkC;QAC/C,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,sEAAsE;QACjF,gBAAgB,EAAE,+GAA+G;KAClI;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,QAAQ;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,2BAA2B;QACxC,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,yDAAyD;QACpE,gBAAgB,EAAE,uDAAuD;KAC1E;CACO,CAAC;AAEX,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAgC;IACxD,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;CAChC,CAAC;AAEX;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;CAClB,CAAC;AAEX;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAgC;IACzD,KAAK,EAAE,KAAK;CACJ,CAAC"}

package/dist/wire/envelope.d.ts

@@ -0,0 +1,253 @@
+/**
+ * Wire envelope family — closed outer JSON-RPC structures.
+ * Mechanized from #1165 R23/R24/R26.
+ *
+ * The outer envelope family is closed (additionalProperties: false):
+ *   - WireRequest:                  id + method + params (request/response)
+ *   - WireNotification:             method + params, no id (row 10 only in v0)
+ *   - WireSuccessResponse:          id + result, no error
+ *   - WireApplicationErrorResponse: id + error (with data)
+ *   - WireStandardErrorResponse:    id|null + error (no data)
+ *
+ * Result/error mutual exclusivity is structural — a response carries
+ * exactly one of result or error, never both, never neither.
+ *
+ * This module defines nothing new — every shape traces to a frozen
+ * #1165 revision.
+ */
+import type { RequestId } from './request-id.js';
+import type { HandshakeRejectedError, DeliveryRejectedError, DomainError, DeadlineExpiredError, SnapshotUnavailableError, ParseError, InvalidRequestError, MethodNotFoundError, InvalidParamsError, InternalError } from './errors.js';
+/**
+ * Call metadata carried in every request's `params.meta`.
+ * Closed surface — v0 defines exactly one field.
+ *
+ * additionalProperties: false — no members beyond deadlineUnixMs.
+ */
+export interface CallMeta {
+    /**
+     * Host-capped absolute deadline.
+     * WireUInt53(1, 9_007_199_254_740_991) — zero is forbidden.
+     *
+     * The Host sets this ceiling; plugins observe it.
+     * Must be a positive safe integer (never 0, never negative).
+     */
+    readonly deadlineUnixMs: number;
+}
+/**
+ * Generic JSON-RPC request envelope.
+ *
+ * An object carrying an `id` is a Request — the peer MUST respond.
+ * Parameterized by method name M and input shape I.
+ *
+ * additionalProperties: false — no members beyond jsonrpc, id, method, params.
+ */
+export interface WireRequest<M extends string = string, I = unknown> {
+    readonly jsonrpc: '2.0';
+    /** Validated RequestId — byte-equal echo expected in the response. */
+    readonly id: RequestId;
+    readonly method: M;
+    readonly params: {
+        readonly meta: CallMeta;
+        readonly input: I;
+    };
+}
+/**
+ * Generic JSON-RPC notification envelope (no `id`).
+ *
+ * In v0, only row 10 (host.grants.changed) is a legal notification.
+ * An object without `id` is a notification — no response may be sent.
+ *
+ * additionalProperties: false — no members beyond jsonrpc, method, params.
+ */
+export interface WireNotification<M extends string = string, I = unknown> {
+    readonly jsonrpc: '2.0';
+    readonly method: M;
+    readonly params: {
+        readonly meta: CallMeta;
+        readonly input: I;
+    };
+}
+/**
+ * Generic JSON-RPC success response envelope.
+ *
+ * Carries `result`, never `error`. Mutual exclusivity is structural.
+ * additionalProperties: false — no members beyond jsonrpc, id, result.
+ */
+export interface WireSuccessResponse<R = unknown> {
+    readonly jsonrpc: '2.0';
+    /** Byte-equal echo of the originating request's id. */
+    readonly id: RequestId;
+    readonly result: R;
+}
+/**
+ * JSON-RPC error response — application variant (with typed `data`).
+ *
+ * Application errors (-32090 through -32094) carry a `data` field
+ * with domain-specific payload. See errors.ts for the 5 concrete
+ * application error shapes.
+ *
+ * The `result` member is forbidden (structural mutual exclusivity).
+ * additionalProperties: false.
+ */
+export interface WireApplicationErrorResponse<D = unknown> {
+    readonly jsonrpc: '2.0';
+    /** Byte-equal echo of the originating request's id. */
+    readonly id: RequestId;
+    readonly error: {
+        readonly code: number;
+        readonly message: string;
+        readonly data: D;
+    };
+}
+/**
+ * JSON-RPC error response — standard variant (no `data` field).
+ *
+ * Standard errors (-32700, -32600, -32601, -32602, -32603) never carry
+ * `data`. See errors.ts for the 6 concrete standard error variants.
+ *
+ * The id field is `RequestId | null`:
+ *   - null occurs only for Parse error (-32700) and Invalid Request
+ *     (-32600) when no valid id could be extracted from the frame.
+ *   - All other standard errors echo the originating request's id.
+ *
+ * The `result` member is forbidden (structural mutual exclusivity).
+ * additionalProperties: false.
+ */
+export interface WireStandardErrorResponse {
+    readonly jsonrpc: '2.0';
+    /** RequestId echo, or null for Parse error / Invalid Request no-id arm. */
+    readonly id: RequestId | null;
+    readonly error: {
+        readonly code: number;
+        readonly message: string;
+    };
+}
+/**
+ * HANDSHAKE_REJECTED (-32090) envelope.
+ * additionalProperties: false.
+ */
+export interface HandshakeRejectedEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: HandshakeRejectedError;
+}
+/**
+ * DELIVERY_REJECTED (-32091) envelope.
+ * additionalProperties: false.
+ */
+export interface DeliveryRejectedEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: DeliveryRejectedError;
+}
+/**
+ * DOMAIN_ERROR (-32092) envelope.
+ * additionalProperties: false.
+ */
+export interface DomainErrorEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: DomainError;
+}
+/**
+ * DEADLINE_EXPIRED (-32093) envelope.
+ * additionalProperties: false.
+ */
+export interface DeadlineExpiredEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: DeadlineExpiredError;
+}
+/**
+ * SNAPSHOT_UNAVAILABLE (-32094) envelope.
+ * additionalProperties: false.
+ */
+export interface SnapshotUnavailableEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: SnapshotUnavailableError;
+}
+/**
+ * Parse error (-32700) envelope.
+ * id is ALWAYS null — no valid frame was parsed.
+ * additionalProperties: false.
+ */
+export interface ParseErrorEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: null;
+    readonly error: ParseError;
+}
+/**
+ * Invalid Request (-32600) null-id arm envelope.
+ * id is null — true detection failure, no valid id could be extracted.
+ * additionalProperties: false.
+ */
+export interface InvalidRequestNullIdEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: null;
+    readonly error: InvalidRequestError;
+}
+/**
+ * Invalid Request (-32600) valid-id arm envelope.
+ * id is a byte-equal RequestId echo from the malformed request.
+ * additionalProperties: false.
+ */
+export interface InvalidRequestValidIdEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: InvalidRequestError;
+}
+/**
+ * Method not found (-32601) envelope.
+ * id is a byte-equal RequestId echo.
+ * additionalProperties: false.
+ */
+export interface MethodNotFoundEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: MethodNotFoundError;
+}
+/**
+ * Invalid params (-32602) envelope.
+ * id is a byte-equal RequestId echo.
+ * additionalProperties: false.
+ */
+export interface InvalidParamsEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: InvalidParamsError;
+}
+/**
+ * Internal error (-32603) envelope.
+ * id is a byte-equal RequestId echo.
+ * additionalProperties: false.
+ */
+export interface InternalErrorEnvelope {
+    readonly jsonrpc: '2.0';
+    readonly id: RequestId;
+    readonly error: InternalError;
+}
+/**
+ * Closed union of all 11 error envelope variants.
+ *
+ * 5 application error envelopes (all id: RequestId, error carries data):
+ *   HandshakeRejected, DeliveryRejected, DomainError,
+ *   DeadlineExpired, SnapshotUnavailable
+ *
+ * 6 standard error envelopes (no data, varying id):
+ *   ParseError (id: null), InvalidRequest null-id (id: null),
+ *   InvalidRequest valid-id (id: RequestId),
+ *   MethodNotFound, InvalidParams, InternalError (all id: RequestId)
+ */
+export type ClosedWireErrorResponse = HandshakeRejectedEnvelope | DeliveryRejectedEnvelope | DomainErrorEnvelope | DeadlineExpiredEnvelope | SnapshotUnavailableEnvelope | ParseErrorEnvelope | InvalidRequestNullIdEnvelope | InvalidRequestValidIdEnvelope | MethodNotFoundEnvelope | InvalidParamsEnvelope | InternalErrorEnvelope;
+/**
+ * Either error variant — closed union of all 11 concrete error envelope shapes.
+ * Replaces the previous generic union with the mechanized closed form.
+ */
+export type WireErrorResponse = ClosedWireErrorResponse;
+/**
+ * Any JSON-RPC response — success or error, never both.
+ * Discriminated at runtime by the presence of `result` vs `error`.
+ */
+export type WireResponse = WireSuccessResponse | WireErrorResponse;
+//# sourceMappingURL=envelope.d.ts.map

package/dist/wire/envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../../src/wire/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EACV,sBAAsB,EACtB,qBAAqB,EACrB,WAAW,EACX,oBAAoB,EACpB,wBAAwB,EACxB,UAAU,EACV,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,EAClB,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO;IACjE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;KACnB,CAAC;CACH;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO;IACtE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;KACnB,CAAC;CACH;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,GAAG,OAAO;IAC9C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,uDAAuD;IACvD,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAMD;;;;;;;;;GASG;AACH,MAAM,WAAW,4BAA4B,CAAC,CAAC,GAAG,OAAO;IACvD,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,uDAAuD;IACvD,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;KAClB,CAAC;CACH;AAMD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAMD;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;CAC1C;AAMD;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAMD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,uBAAuB,GAC/B,yBAAyB,GACzB,wBAAwB,GACxB,mBAAmB,GACnB,uBAAuB,GACvB,2BAA2B,GAC3B,kBAAkB,GAClB,4BAA4B,GAC5B,6BAA6B,GAC7B,sBAAsB,GACtB,qBAAqB,GACrB,qBAAqB,CAAC;AAM1B;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,uBAAuB,CAAC;AAExD;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,mBAAmB,GAAG,iBAAiB,CAAC"}

package/dist/wire/envelope.js

@@ -0,0 +1,19 @@
+/**
+ * Wire envelope family — closed outer JSON-RPC structures.
+ * Mechanized from #1165 R23/R24/R26.
+ *
+ * The outer envelope family is closed (additionalProperties: false):
+ *   - WireRequest:                  id + method + params (request/response)
+ *   - WireNotification:             method + params, no id (row 10 only in v0)
+ *   - WireSuccessResponse:          id + result, no error
+ *   - WireApplicationErrorResponse: id + error (with data)
+ *   - WireStandardErrorResponse:    id|null + error (no data)
+ *
+ * Result/error mutual exclusivity is structural — a response carries
+ * exactly one of result or error, never both, never neither.
+ *
+ * This module defines nothing new — every shape traces to a frozen
+ * #1165 revision.
+ */
+export {};
+//# sourceMappingURL=envelope.js.map

package/dist/wire/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../src/wire/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}