@rootzero/contracts 1.13.0 → 1.14.0

package/guards/Base.sol

@@ -3,6 +3,7 @@ pragma solidity ^0.8.33;
 
 import {AccessControl} from "../core/Access.sol";
 import {EndpointBase} from "../core/Endpoint.sol";
+import {Specs} from "../codec/Specs.sol";
 import {Nodes} from "../utils/Nodes.sol";
 import {Selectors} from "../utils/Selectors.sol";
 
@@ -17,18 +18,16 @@ abstract contract GuardBase is AccessControl, EndpointBase {
     }
 
     /// @notice Publish guard metadata and a default label.
-    /// @param name Default human-readable guard label and selector name.
-    /// @param input Packed input lane plus optional group byte.
-    /// @param selector Guard ABI selector, or zero to derive it from `name`.
+    /// @param name Guard entrypoint name and default label. It must exactly
+    /// match the Solidity guard function name used by the canonical ABI.
+    /// @param input Input block specification.
     /// @return id Guard action node ID.
     /// @return descriptor Packed endpoint lane metadata and flags.
     function guard(
         string memory name,
-        bytes9 input,
-        bytes4 selector
-    ) internal returns (uint id, bytes32 descriptor) {
-        selector = selector == bytes4(0) ? Selectors.guard(name) : selector;
-        id = Nodes.toGuard(selector, address(this));
-        descriptor = endpoint(id, name, bytes9(0), input, bytes9(0), false, false);
+        uint input
+    ) internal returns (uint id, uint descriptor) {
+        id = Nodes.toGuard(Selectors.guard(name), address(this));
+        descriptor = endpoint(id, name, Specs.Empty, input, Specs.Empty, 0, 0);
     }
 }

package/guards/Revoke.sol

@@ -2,25 +2,27 @@
 pragma solidity ^0.8.33;
 
 import {GuardBase} from "./Base.sol";
-import {Cursors, Cur, Keys} from "../Cursors.sol";
-using Cursors for Cur;
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
+using Executions for Execution;
 
 /// @title Revoke
 /// @notice Guardian action that quickly revokes authorization from a list of node IDs.
-/// Each NODE block in the request is deauthorized on the host.
+/// Each NODE block in the input is deauthorized on the host.
 /// Only callable by active guardian addresses.
 abstract contract Revoke is GuardBase {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = guard("revoke", Keys.Node, 0);
+        (, descriptor) = guard("revoke", Specs.Node);
     }
 
-    function revoke(bytes calldata request) external onlyGuardian {
-        (Cur memory input, ) = openInput(request, descriptor);
+    /// @notice Revoke every NODE block in `input` as the active guardian.
+    function revoke(bytes calldata input) external onlyGuardian {
+        Execution memory exec = openInput(input, descriptor, 0);
 
-        while (input.i < input.len) {
-            uint node = input.unpackNode();
+        while (exec.more()) {
+            uint node = exec.unpackNode(Lanes.Input);
             setNode(node, false);
         }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rootzero/contracts",
-  "version": "1.13.0",
+  "version": "1.14.0",
   "description": "Solidity contracts and protocol building blocks for rootzero hosts and commands.",
   "private": false,
   "license": "GPL-3.0-only",

package/ports/AllowAssets.sol

@@ -1,37 +1,34 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import { PortBase } from "./Base.sol";
-import { AllowAssetsHook } from "../commands/admin/AllowAssets.sol";
-import { Cursors, Cur, Keys } from "../Cursors.sol";
+import {PortBase} from "./Base.sol";
+import {AllowAssetsHook} from "../commands/admin/AllowAssets.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortAllowAssets
 /// @notice Port that permits a list of assets on behalf of a peer host.
-/// Each ASSET block in the request calls `allowAsset`. Restricted to trusted peers.
+/// Each ASSET block in the input calls `allowAsset`. Restricted to trusted peers.
 abstract contract PortAllowAssets is PortBase, AllowAssetsHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portAllowAssets", Keys.Asset, Keys.Empty, 0, false);
+        (, descriptor) = port("portAllowAssets", Specs.Asset, Specs.Empty, false);
     }
 
     /// @notice Execute the allow-assets peer call.
     /// @param data ASSET block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portAllowAssets(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            bytes32 asset = input.unpackAsset();
+        while (exec.more()) {
+            bytes32 asset = exec.unpackAsset(Lanes.Input);
             allowAsset(asset);
         }
+        
         return "";
     }
 }
-
-
-
-
-

package/ports/Allowance.sol

@@ -3,32 +3,34 @@ pragma solidity ^0.8.33;
 
 import {PortBase} from "./Base.sol";
 import {AllowanceHook} from "../commands/admin/Allowance.sol";
-import {Cursors, Cur, Keys} from "../Cursors.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortAllowance
-/// @notice Port that lets a trusted peer host request or refresh its own allowance.
-/// Each AMOUNT block in the request is scoped to the peer host and passed to the
+/// @notice Port that lets a trusted peer host input or refresh its own allowance.
+/// Each AMOUNT block in the input is scoped to the peer host and passed to the
 /// shared allowance hook as a host-scoped allowance. Restricted to trusted peers.
 abstract contract PortAllowance is PortBase, AllowanceHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portAllowance", Keys.Amount, Keys.Empty, 0, false);
+        (, descriptor) = port("portAllowance", Specs.Amount, Specs.Empty, false);
     }
 
     /// @notice Execute the allowance port call.
     /// @param data AMOUNT block stream requested by the trusted peer.
     /// @return Empty response bytes.
     function portAllowance(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
         uint peer = caller();
 
-        while (input.i < input.len) {
-            (bytes32 asset, uint amount) = input.unpackAmount();
+        while (exec.more()) {
+            (bytes32 asset, uint amount) = exec.unpackAmount(Lanes.Input);
             allowance(peer, asset, amount);
         }
+        
         return "";
     }
 }

package/ports/Base.sol

@@ -2,9 +2,11 @@
 pragma solidity ^0.8.33;
 
 import { NodeCalls } from "../core/Calls.sol";
+import { Specs } from "../codec/Specs.sol";
 import { EndpointBase } from "../core/Endpoint.sol";
 import { Nodes } from "../utils/Nodes.sol";
 import { Selectors } from "../utils/Selectors.sol";
+import { Descriptors } from "../codec/Descriptors.sol";
 
 /// @title PortBase
 /// @notice Abstract base for peer-facing rootzero ports.
@@ -21,23 +23,28 @@ abstract contract PortBase is NodeCalls, EndpointBase {
         _;
     }
 
+    /// @notice Return the host node ID corresponding to the current caller.
+    /// @dev Encodes `msg.sender` as a host ID using the local-chain host layout.
+    /// @return Host node ID for `msg.sender`.
+    function caller() internal view returns (uint) {
+        return Nodes.toHost(msg.sender);
+    }
+
     /// @notice Publish port metadata and a default label.
-    /// @param name Default human-readable port label and selector name.
-    /// @param input Packed input lane plus optional group byte.
-    /// @param output Packed output lane plus optional group byte.
-    /// @param selector Port ABI selector, or zero to derive it from `name`.
+    /// @param name Port entrypoint name and default label. It must exactly
+    /// match the Solidity port function name used by the canonical ABI.
+    /// @param input Input block specification.
+    /// @param output Output block specification.
     /// @param funded Whether the port accepts nonzero native value.
     /// @return id Port node ID.
     /// @return descriptor Packed endpoint lane metadata and flags.
     function port(
         string memory name,
-        bytes9 input,
-        bytes9 output,
-        bytes4 selector,
+        uint input,
+        uint output,
         bool funded
-    ) internal returns (uint id, bytes32 descriptor) {
-        selector = selector == bytes4(0) ? Selectors.port(name) : selector;
-        id = Nodes.toPort(selector, address(this));
-        descriptor = endpoint(id, name, bytes9(0), input, output, funded, false);
+    ) internal returns (uint id, uint descriptor) {
+        id = Nodes.toPort(Selectors.port(name), address(this));
+        descriptor = endpoint(id, name, Specs.Empty, input, output, 0, funded ? Descriptors.Funded : 0);
     }
 }

package/ports/Credit.sol

@@ -1,32 +1,34 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import { PortBase } from "./Base.sol";
-import { CreditAccountHook } from "../core/Settlement.sol";
-import { Cursors, Cur, Keys } from "../Cursors.sol";
+import {PortBase} from "./Base.sol";
+import {CreditAccountHook} from "../core/Settlement.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortCreditAccount
 /// @notice Port that lets a trusted peer credit supplied accounts directly.
 /// Each ACCOUNT_AMOUNT block calls `creditAccount` for its account.
 abstract contract PortCreditAccount is PortBase, CreditAccountHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portCreditAccount", Keys.AccountAmount, Keys.Empty, 0, false);
+        (, descriptor) = port("portCreditAccount", Specs.AccountAmount, Specs.Empty, false);
     }
 
     /// @notice Execute the port-credit call.
     /// @param data ACCOUNT_AMOUNT block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portCreditAccount(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            (bytes32 account, bytes32 asset, uint amount) = input.unpackAccountAmount();
+        while (exec.more()) {
+            (bytes32 account, bytes32 asset, uint amount) = exec.unpackAccountAmount(Lanes.Input);
             creditAccount(account, asset, amount);
         }
+        
         return "";
     }
 }

package/ports/Debit.sol

@@ -1,32 +1,34 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import { PortBase } from "./Base.sol";
-import { DebitAccountHook } from "../core/Settlement.sol";
-import { Cursors, Cur, Keys } from "../Cursors.sol";
+import {PortBase} from "./Base.sol";
+import {DebitAccountHook} from "../core/Settlement.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortDebitAccount
 /// @notice Port that lets a trusted peer debit supplied accounts directly.
 /// Each ACCOUNT_AMOUNT block calls `debitAccount` for its account.
 abstract contract PortDebitAccount is PortBase, DebitAccountHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portDebitAccount", Keys.AccountAmount, Keys.Empty, 0, false);
+        (, descriptor) = port("portDebitAccount", Specs.AccountAmount, Specs.Empty, false);
     }
 
     /// @notice Execute the port-debit call.
     /// @param data ACCOUNT_AMOUNT block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portDebitAccount(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            (bytes32 account, bytes32 asset, uint amount) = input.unpackAccountAmount();
+        while (exec.more()) {
+            (bytes32 account, bytes32 asset, uint amount) = exec.unpackAccountAmount(Lanes.Input);
             debitAccount(account, asset, amount);
         }
+        
         return "";
     }
 }

package/ports/DenyAssets.sol

@@ -3,35 +3,32 @@ pragma solidity ^0.8.33;
 
 import {PortBase} from "./Base.sol";
 import {DenyAssetsHook} from "../commands/admin/DenyAssets.sol";
-import {Cursors, Cur, Keys} from "../Cursors.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortDenyAssets
 /// @notice Port that blocks a list of assets on behalf of a peer host.
-/// Each ASSET block in the request calls `denyAsset`. Restricted to trusted peers.
+/// Each ASSET block in the input calls `denyAsset`. Restricted to trusted peers.
 abstract contract PortDenyAssets is PortBase, DenyAssetsHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portDenyAssets", Keys.Asset, Keys.Empty, 0, false);
+        (, descriptor) = port("portDenyAssets", Specs.Asset, Specs.Empty, false);
     }
 
     /// @notice Execute the deny-assets peer call.
     /// @param data ASSET block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portDenyAssets(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            bytes32 asset = input.unpackAsset();
+        while (exec.more()) {
+            bytes32 asset = exec.unpackAsset(Lanes.Input);
             denyAsset(asset);
         }
+        
         return "";
     }
 }
-
-
-
-
-

package/ports/Dispatch.sol

@@ -1,21 +1,20 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import { PortBase } from "./Base.sol";
-import { Payable } from "../core/Payable.sol";
-import { RoutePayableHook } from "../commands/Relay.sol";
-import { Cursors, Cur, Keys } from "../Cursors.sol";
-import { Budget } from "../utils/Value.sol";
+import {PortBase} from "./Base.sol";
+import {RoutePayableHook} from "../commands/Relay.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortDispatchPayable
 /// @notice Port endpoint that forwards DISPATCH blocks to a host-defined route hook.
-abstract contract PortDispatchPayable is PortBase, Payable, RoutePayableHook {
-    bytes32 private immutable descriptor;
+abstract contract PortDispatchPayable is PortBase, RoutePayableHook {
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portDispatchPayable", Keys.Dispatch, Keys.Empty, 0, true);
+        (, descriptor) = port("portDispatchPayable", Specs.Dispatch, Specs.Empty, true);
     }
 
     /// @notice Forward peer-supplied dispatches to the host-defined route hook.
@@ -24,14 +23,13 @@ abstract contract PortDispatchPayable is PortBase, Payable, RoutePayableHook {
     /// @param data DISPATCH block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portDispatchPayable(bytes calldata data) external payable onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
-        Budget memory budget = openValue();
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            (uint portal, uint resources, bytes calldata payload) = input.unpackDispatch();
-            route(portal, resources, bytes(payload), budget);
+        while (exec.more()) {
+            (uint portal, uint resources, bytes calldata payload) = exec.unpackDispatch(Lanes.Input);
+            route(portal, resources, bytes(payload), exec);
         }
+        
         return "";
     }
-
 }

package/ports/Pipe.sol

@@ -3,19 +3,20 @@ pragma solidity ^0.8.33;
 
 import {PortBase} from "./Base.sol";
 import {Pipeline} from "../core/Pipeline.sol";
-import {Cursors, Cur, Keys} from "../Cursors.sol";
-import {Budget} from "../utils/Value.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
+import {Budget} from "../execution/Budget.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortPipePayable
-/// @notice Port that consumes CONTEXT blocks and executes each request as a step stream.
-/// Each context's request bytes are passed to the shared pipeline.
+/// @notice Port that consumes CONTEXT blocks and executes each input as a step stream.
+/// Each context's input bytes are passed to the shared pipeline.
 abstract contract PortPipePayable is PortBase, Pipeline {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portPipePayable", Keys.Context, Keys.Empty, 0, true);
+        (, descriptor) = port("portPipePayable", Specs.Context, Specs.Empty, true);
     }
 
     /// @notice Execute peer-supplied contexts through the shared payable pipe.
@@ -24,13 +25,14 @@ abstract contract PortPipePayable is PortBase, Pipeline {
     /// @param data CONTEXT block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portPipePayable(bytes calldata data) external payable onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
-        Budget memory budget = openValue();
+        Execution memory exec = openInput(data, descriptor, 0);
+        Budget memory budget = exec.takeBudget();
 
-        while (input.i < input.len) {
-            (bytes32 account, bytes calldata state, bytes calldata request) = input.unpackContext();
-            pipe(account, state, request, budget);
+        while (exec.more()) {
+            (bytes32 account, bytes calldata state, bytes calldata input) = exec.unpackContext(Lanes.Input);
+            pipe(account, state, input, budget);
         }
+        
         return "";
     }
 }

package/ports/Redeem.sol

@@ -2,13 +2,15 @@
 pragma solidity ^0.8.33;
 
 import {PortBase} from "./Base.sol";
-import {Cursors, Cur, Keys} from "../Cursors.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
+/// @notice Hook implemented by hosts that redeem balances received through a port.
 abstract contract RedeemBalanceHook {
     /// @notice Override to redeem one balance claim from a peer host into local assets.
-    /// @param peer Peer host node ID for this request.
+    /// @param peer Peer host node ID for this input.
     /// @param asset Asset identifier to redeem locally.
     /// @param amount Amount to redeem in the asset's native units.
     function redeemBalance(uint peer, bytes32 asset, uint amount) internal virtual;
@@ -16,26 +18,27 @@ abstract contract RedeemBalanceHook {
 
 /// @title PortRedeemBalance
 /// @notice Port that redeems balance state from a peer host into local assets.
-/// Each BALANCE block in the request calls `redeemBalance(peer, asset, amount)`.
+/// Each BALANCE block in the input calls `redeemBalance(peer, asset, amount)`.
 /// Restricted to trusted peers.
 abstract contract PortRedeemBalance is PortBase, RedeemBalanceHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portRedeemBalance", Keys.Balance, Keys.Empty, 0, false);
+        (, descriptor) = port("portRedeemBalance", Specs.Balance, Specs.Empty, false);
     }
 
     /// @notice Execute the balance redemption port call.
     /// @param data BALANCE block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portRedeemBalance(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
         uint peer = caller();
 
-        while (input.i < input.len) {
-            (bytes32 asset, uint amount) = input.unpackBalance();
+        while (exec.more()) {
+            (bytes32 asset, uint amount) = exec.unpackBalance(Lanes.Input);
             redeemBalance(peer, asset, amount);
         }
+        
         return "";
     }
 }

package/ports/Settle.sol

@@ -1,32 +1,34 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import { PortBase } from "./Base.sol";
-import { Settlement } from "../core/Settlement.sol";
-import { Cursors, Cur, Keys } from "../Cursors.sol";
+import {PortBase} from "./Base.sol";
+import {Settlement} from "../core/Settlement.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 
-using Cursors for Cur;
+using Executions for Execution;
 
 /// @title PortSettle
 /// @notice Port that consumes peer-supplied TRANSACTION blocks through debit and credit hooks.
 /// Each TRANSACTION block calls `debitAccount` for `from` and `creditAccount` for `to`.
 abstract contract PortSettle is PortBase, Settlement {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = port("portSettle", Keys.Transaction, Keys.Empty, 0, false);
+        (, descriptor) = port("portSettle", Specs.Transaction, Specs.Empty, false);
     }
 
     /// @notice Execute the port-settle call.
     /// @param data TRANSACTION block stream supplied by the trusted peer.
     /// @return Empty response bytes.
     function portSettle(bytes calldata data) external onlyPeer returns (bytes memory) {
-        (Cur memory input, ) = openInput(data, descriptor);
+        Execution memory exec = openInput(data, descriptor, 0);
 
-        while (input.i < input.len) {
-            (bytes32 from, bytes32 to, bytes32 asset, uint amount) = input.unpackTransaction();
+        while (exec.more()) {
+            (bytes32 from, bytes32 to, bytes32 asset, uint amount) = exec.unpackTransaction(Lanes.Input);
             settle(from, to, asset, amount);
         }
+        
         return "";
     }
 }

package/queries/Assets.sol

@@ -1,12 +1,13 @@
 // SPDX-License-Identifier: GPL-3.0-only
 pragma solidity ^0.8.33;
 
-import {Cur, Cursors, Keys, Writer, Writers} from "../Cursors.sol";
+import {Specs} from "../Codec.sol";
+import {Execution, Executions, Lanes} from "../execution/Execution.sol";
 import {QueryBase} from "./Base.sol";
 
-using Cursors for Cur;
-using Writers for Writer;
+using Executions for Execution;
 
+/// @notice Hook implemented by hosts that expose asset status queries.
 abstract contract AssetStatusHook {
     /// @notice Resolve support status for one asset.
     /// Concrete implementations define the support policy and optional context codes.
@@ -17,28 +18,27 @@ abstract contract AssetStatusHook {
 
 /// @title AssetStatus
 /// @notice Rootzero query that checks support status for one or more assets.
-/// The request is a run of `ASSET` blocks.
-/// The response returns one `STATUS` form block per query entry, preserving request order.
+/// The input is a run of `ASSET` blocks.
+/// The response returns one `STATUS` form block per query entry, preserving input order.
 abstract contract AssetStatus is QueryBase, AssetStatusHook {
-    bytes32 private immutable descriptor;
+    uint private immutable descriptor;
 
     constructor() {
-        (, descriptor) = query("assetStatus", Keys.Asset, Keys.Status, 0);
+        (, descriptor) = query("assetStatus", Specs.Asset, Specs.Status);
     }
 
     /// @notice Resolve asset support status for a run of requested assets.
-    /// @param request Block-stream request consisting of `asset { bytes32 asset }` blocks.
+    /// @param input Block-stream input consisting of `asset { bytes32 asset }` blocks.
     /// @return Block-stream response containing one `status { uint code }` form block per asset block.
-    function assetStatus(bytes calldata request) external view returns (bytes memory) {
-        (Cur memory input, uint outputs) = openInput(request, descriptor);
-        Writer memory response = Writers.allocStatuses(outputs);
+    function assetStatus(bytes calldata input) external view returns (bytes memory) {
+        Execution memory exec = openInput(input, descriptor, 0);
 
-        while (input.i < input.len) {
-            bytes32 asset = input.unpackAsset();
+        while (exec.more()) {
+            bytes32 asset = exec.unpackAsset(Lanes.Input);
             uint status = assetStatus(asset);
-            response.appendStatus(status);
+            exec.outputStatus(status);
         }
 
-        return response.finish();
+        return close(exec);
     }
 }