feat!: track the input completion changes of next/2.0

These two changes are not part of rollups-node PR 793, but that PR has
now merged, so they are simply part of the node API these packages
target.

`InputStatus` loses its resource-limit members. The node collapsed
OUTPUTS_LIMIT_EXCEEDED, REPORTS_LIMIT_EXCEEDED, CYCLE_LIMIT_EXCEEDED,
TIME_LIMIT_EXCEEDED and PAYLOAD_LENGTH_LIMIT_EXCEEDED into the remaining
outcomes, leaving NONE, ACCEPTED, REJECTED, EXCEPTION and
MACHINE_HALTED. Declaring the removed ones promised statuses the node
can no longer return. `waitForInput` listed four of them under
`rejectErrors`; it now aborts on EXCEPTION, MACHINE_HALTED and REJECTED,
which is every terminal status other than ACCEPTED — and, incidentally,
no longer omits a failure status the way the old list omitted
REPORTS_LIMIT_EXCEEDED.

`Input` gains `exception_data` / `exceptionData`, the raw guest-provided
CMIO exception payload, non-null only when the status is EXCEPTION and
empty-encoded as 0x. The bytes are passed through undecoded, matching
how `raw_data` is handled.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UJpa3KXxvUarBGpHvW8Qdb

Author: claude

.changeset/tricky-pianos-shake.md

@@ -20,6 +20,11 @@ New filters on the listing methods:
 
 The node rejects an empty filter list with invalid params, so both list-valued filters use the new `NonEmptyArray` type exported by `@cartesi/rpc` (and re-exported by `@cartesi/client`): `status: []` and `outputType: []` are compile errors rather than failed requests.
 
+Input completion changes:
+
+- `InputStatus` lost its resource-limit members. The node collapsed `OUTPUTS_LIMIT_EXCEEDED`, `REPORTS_LIMIT_EXCEEDED`, `CYCLE_LIMIT_EXCEEDED`, `TIME_LIMIT_EXCEEDED` and `PAYLOAD_LENGTH_LIMIT_EXCEEDED` into the remaining outcomes, so the union is now `NONE | ACCEPTED | REJECTED | EXCEPTION | MACHINE_HALTED`. Code that switches on the removed members no longer compiles; `waitForInput` with `rejectErrors` now aborts on `EXCEPTION`, `MACHINE_HALTED` and `REJECTED`, which is every terminal status other than `ACCEPTED`.
+- `Input` gained `exceptionData: Hex | null` (`exception_data` on the wire), the raw guest-provided CMIO exception payload. It is non-null only when `status` is `EXCEPTION`, and an empty payload is `0x`. The bytes are passed through undecoded.
+
 Breaking changes:
 
 - `cartesi_getMatchAdvanced` was renamed to `cartesi_getMatchAdvance`, following the node. The `getMatchAdvanced` action is now `getMatchAdvance`, the `useMatchAdvanced` hook is now `useMatchAdvance` (with `matchAdvanceOptions` / `matchAdvanceQueryKey`), and `GetMatchAdvancedParams` / `GetMatchAdvancedReturnType` are now `GetMatchAdvanceParams` / `GetMatchAdvanceReturnType`.

packages/client/__tests__/converter.test.ts

@@ -491,6 +491,7 @@ describe("converter", () => {
                 payload: "0xdeadbeef",
             },
             status: "ACCEPTED",
+            exception_data: null,
             machine_hash: null,
             outputs_hash: null,
             transaction_hash:
@@ -506,6 +507,7 @@ describe("converter", () => {
         expect(input.blockNumber).toBe(hexToBigInt(rpcInput.block_number));
         expect(input.rawData).toBe(rpcInput.raw_data);
         expect(input.status).toBe(rpcInput.status);
+        expect(input.exceptionData).toBeNull();
         expect(input.machineHash).toBeNull();
         expect(input.outputsHash).toBeNull();
         expect(input.transactionHash).toBe(rpcInput.transaction_hash);
@@ -528,6 +530,30 @@ describe("converter", () => {
         expect(input.updatedAt).toStrictEqual(new Date(rpcInput.updated_at));
     });
 
+    it("should carry the exception data of a failed input", () => {
+        const rpcInput: Input = {
+            epoch_index: "0x1",
+            index: "0x8",
+            block_number: "0x1f5",
+            raw_data: "0x415bf363",
+            decoded_data: null,
+            status: "EXCEPTION",
+            exception_data: "0x6f6f7073",
+            machine_hash: null,
+            outputs_hash: null,
+            transaction_hash:
+                "0x8f2c9ab4d7e15c30b6f18a4ee2d9037c4a1f5d2e9b7c63a0d4e8f1b25c7a9d3e",
+            log_index: "0x3",
+            created_at: "2025-04-11T10:00:00.000Z",
+            updated_at: "2025-04-11T10:05:00.000Z",
+        };
+
+        const input = inputConverter(rpcInput);
+        expect(input.status).toBe("EXCEPTION");
+        // passed through as raw bytes, not decoded
+        expect(input.exceptionData).toBe("0x6f6f7073");
+    });
+
     it("should convert the report", () => {
         const rpcReport: Report = {
             epoch_index: "0x1",

packages/client/src/actions/waitForInput.ts

@@ -37,15 +37,13 @@ export const waitForInput = async (
                 throw new Error("Input is not processed");
             }
 
+            // every terminal status other than ACCEPTED; the node collapsed its
+            // resource-limit statuses into these
             if (
                 rejectErrors &&
-                (input.status === "CYCLE_LIMIT_EXCEEDED" ||
-                    input.status === "EXCEPTION" ||
+                (input.status === "EXCEPTION" ||
                     input.status === "MACHINE_HALTED" ||
-                    input.status === "PAYLOAD_LENGTH_LIMIT_EXCEEDED" ||
-                    input.status === "REJECTED" ||
-                    input.status === "TIME_LIMIT_EXCEEDED" ||
-                    input.status === "OUTPUTS_LIMIT_EXCEEDED")
+                    input.status === "REJECTED")
             ) {
                 throw new AbortError(`Input status: ${input.status}`);
             }

packages/client/src/types/actions.ts

@@ -298,6 +298,11 @@ export type Input = {
         payload: Hex;
     } | null;
     status: InputStatus;
+    /**
+     * Raw guest-provided CMIO exception payload. Non-null only when `status` is
+     * `EXCEPTION`; an empty payload is `0x`.
+     */
+    exceptionData: Hex | null;
     machineHash: Hash | null;
     outputsHash: Hash | null;
     transactionHash: Hash;

packages/client/src/types/converter.ts

@@ -320,6 +320,7 @@ export const inputConverter = (input: InputRpc): Input => {
               }
             : null,
         status: input.status,
+        exceptionData: input.exception_data,
         machineHash: input.machine_hash,
         outputsHash: input.outputs_hash,
         transactionHash: input.transaction_hash,

packages/rpc/src/types.ts

@@ -60,17 +60,21 @@ export type EpochStatus =
     | "CLAIM_REJECTED"
     | "CLAIM_FORECLOSED";
 
+/**
+ * Outcome of running an input through the machine. `NONE` means the input has
+ * not completed yet; the rest are terminal.
+ *
+ * The node collapsed its former resource-limit statuses
+ * (`OUTPUTS_LIMIT_EXCEEDED`, `REPORTS_LIMIT_EXCEEDED`, `CYCLE_LIMIT_EXCEEDED`,
+ * `TIME_LIMIT_EXCEEDED`, `PAYLOAD_LENGTH_LIMIT_EXCEEDED`) into the outcomes
+ * below, so they are no longer part of the union.
+ */
 export type InputStatus =
     | "NONE"
     | "ACCEPTED"
     | "REJECTED"
     | "EXCEPTION"
-    | "MACHINE_HALTED"
-    | "OUTPUTS_LIMIT_EXCEEDED"
-    | "REPORTS_LIMIT_EXCEEDED"
-    | "CYCLE_LIMIT_EXCEEDED"
-    | "TIME_LIMIT_EXCEEDED"
-    | "PAYLOAD_LENGTH_LIMIT_EXCEEDED";
+    | "MACHINE_HALTED";
 
 export type ConsensusType = "AUTHORITY" | "QUORUM" | "PRT";
 
@@ -221,6 +225,11 @@ export type Input = {
         payload: Hex;
     } | null;
     status: InputStatus;
+    /**
+     * Raw guest-provided CMIO exception payload. Non-null only when `status` is
+     * `EXCEPTION`; an empty payload is encoded as `0x`.
+     */
+    exception_data: Hex | null;
     machine_hash: Hash | null;
     outputs_hash: Hash | null;
     transaction_hash: Hash;