@keelcodes/conformance 0.1.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Keel contributors
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,187 @@
+# @keelcodes/conformance
+
+Cross-ecosystem **conformance and security suite** for agent accounts — the
+neutral, spec-anchored layer that answers one question: *does this ERC-7579
+account (and the modules installed on it) actually behave the way the standard
+says?*
+
+It is deliberately free of Keel-specific dependencies: a check talks to a small
+`AccountReader` port, so the same suite runs against an in-memory fake in tests or
+a live chain via `createViemReader`. Any team can point it at their own account.
+
+## Status
+
+| Suite | Coverage |
+|---|---|
+| **ERC-7579** | ✅ core account surface + module install/uninstall lifecycle + type validation |
+| **ERC-7710** | ✅ delegation hash / domain binding / reference getters |
+| **ERC-7715** | ✅ wallet capability discovery + granted-permission shape |
+| **ERC-8004** | ✅ identity (ERC-721) + agent wallet + reputation binding |
+| **Red-team** | ✅ `KeelPolicyHook` adversarial cases, mapped to `T-*` threat ids |
+
+See [`docs/CONFORMANCE.md`](../../docs/CONFORMANCE.md) for the full matrix and
+[`docs/THREAT_MODEL.md`](../../docs/THREAT_MODEL.md) for the threat catalogue.
+
+## Usage
+
+```ts
+import { createPublicClient, http } from 'viem';
+import { ERC7579_SUITE, createViemReader, formatReport, runSuite } from '@keelcodes/conformance';
+
+const client = createPublicClient({ transport: http('https://bsc-testnet-rpc.publicnode.com') });
+
+const report = await runSuite(
+  {
+    reader: createViemReader(client),
+    account: '0x…',       // the smart account under test
+    module: '0x…',        // the module you expect to be installed
+    moduleTypeId: 4n,     // ERC-7579 module type (4 = hook)
+  },
+  ERC7579_SUITE,
+);
+
+console.log(formatReport(report));
+// FAIL · ERC-7579 · 9 checks · account 0x… · module 0x… · type 4
+//   ✓ !! erc7579.account.deployed — account has bytecode
+//   ✗ !! erc7579.module.initialized — module is installed but reports isInitialized == false …
+// 8 passed · 1 failed (1 critical) · 3ms
+```
+
+Every read is a `view` call, so a read-only client is enough. The two module
+**lifecycle** checks mutate state (install/uninstall), so they need a second,
+explicitly injected `moduleAdmin` port; without it they fail with a clear
+"needs reader, moduleAdmin …" message rather than silently skipping — a run is
+read-only unless you opt in. `erc7579.module.isModuleType` is a plain read and
+needs no extra port.
+
+Other suites bind their own port instead of the account fields:
+
+```ts
+import { ERC7710_SUITE, createViemDelegationReader } from '@keelcodes/conformance';
+
+const delegation = await runSuite(
+  { delegation: createViemDelegationReader(client, manager) },
+  ERC7710_SUITE,
+);
+```
+
+## The checks
+
+| id | severity | asserts |
+|---|---|---|
+| `erc7579.account.deployed` | critical | the account has bytecode |
+| `erc7579.account.supportsSingleMode` | high | `supportsExecutionMode` for callType `0x00` |
+| `erc7579.account.supportsBatchMode` | high | `supportsExecutionMode` for callType `0x01` |
+| `erc7579.account.accountId` | medium | `accountId()` is non-empty |
+| `erc7579.module.installed` | critical | `isModuleInstalled(moduleTypeId, module, 0x)` is true |
+| `erc7579.module.initialized` | critical | the module's own `isInitialized(account)` is true |
+| `erc7579.module.installUninstallFlow` | critical | `installModule` registers the module, `uninstallModule` removes it |
+| `erc7579.module.onInstallOnUninstall` | high | `onInstall` / `onUninstall` took effect (`isInitialized` tracks the lifecycle) |
+| `erc7579.module.isModuleType` | high | `isModuleType` is true only for the module's own type (all four ids probed) |
+
+`erc7579.module.installed` + `erc7579.module.initialized` are the two halves of the
+**migration probe**: an install can register a module on the account while the
+module's `onInstall` silently no-ops (e.g. a mismatched `initData` layout). Both
+assertions must hold, otherwise the account looks configured while the module
+enforces nothing — a silent AA24-class failure.
+
+### ERC-7710 — delegation
+
+| id | severity | asserts |
+|---|---|---|
+| `erc7710.manager.deployed` | critical | the `DelegationManager` has bytecode |
+| `erc7710.manager.domainBinding` | high | `getDomainHash()` equals the EIP-712 preimage for **this** chain + manager |
+| `erc7710.manager.delegationHash` | critical | `getDelegationHash()` equals our off-chain derivation |
+| `erc7710.manager.signatureIgnored` | high | changing `signature` does not change the hash |
+| `erc7710.manager.rootAuthority` | medium | `ROOT_AUTHORITY()` is the all-ones sentinel |
+| `erc7710.manager.anyDelegate` | medium | `ANY_DELEGATE()` is the reference wildcard |
+| `erc7710.manager.notDisabledByDefault` | high | a fresh delegation reads as enabled |
+
+The EIP body fixes only `redeemDelegations`; the getters probed here are the
+MetaMask delegation-framework reference the EIP names. The suite's core value is
+**off-chain / on-chain agreement** on the hash and domain separator — a mismatch
+is a cross-chain or cross-contract replay vector.
+
+### ERC-7715 — permissions
+
+| id | severity | asserts |
+|---|---|---|
+| `erc7715.wallet.capabilityDiscovery` | high | `wallet_getSupportedExecutionPermissions` advertises at least one type |
+| `erc7715.wallet.chainIdFormat` | medium | advertised chain ids are `0x` hex |
+| `erc7715.wallet.grantedResponseShape` | high | `wallet_getGrantedExecutionPermissions` matches `PermissionResponse` |
+| `erc7715.wallet.delegationManagerBound` | high | a granted permission redeems via the expected manager (cross-checked with ERC-7710) |
+
+ERC-7715 is a **wallet JSON-RPC** standard (EIP-1193 `request`), not on-chain;
+execution lands on ERC-7710's `redeemDelegations`.
+
+### ERC-8004 — agent registry
+
+| id | severity | asserts |
+|---|---|---|
+| `erc8004.identity.deployed` | critical | the identity registry has bytecode |
+| `erc8004.identity.erc721` | high | `supportsInterface(ERC-721)` is true |
+| `erc8004.identity.agentRegistered` | critical | `ownerOf(agentId)` is non-zero |
+| `erc8004.identity.agentURI` | medium | `tokenURI(agentId)` resolves to something |
+| `erc8004.identity.agentWallet` | high | `getAgentWallet(agentId)` is non-zero |
+| `erc8004.reputation.bound` | high | the reputation registry points at the identity registry |
+
+### Red-team — adversarial cases
+
+The Foundry red-team suite (`contracts/test/redteam/KeelPolicyHook.redteam.t.sol`)
+is surfaced through the *same* report machinery. Each case is mapped explicitly
+to a `T-*` threat id from [`THREAT_MODEL.md`](../../docs/THREAT_MODEL.md) §4, via
+an injectable `RedTeamPort` (a `testName → passed` table):
+
+| id | severity | asserts (Foundry case) |
+|---|---|---|
+| `redteam.t-bypass-01…06` | critical | delegatecall / unknown selector / `transferFrom` / short calldata / widened whitelist / unauthorised target are all refused |
+| `redteam.t-ceiling-01/02` | high | a batch cannot split around a native or token daily cap |
+| `redteam.t-accrual-01/02` | high | a session cannot be re-installed to reset counters, nor charged by a foreign caller |
+| `redteam.t-window-01` | high | an expired session is refused |
+| `redteam.t-lifecycle-01` | critical | an uninstalled session cannot be used |
+
+A case whose result is **absent** reads as **"not run"** and fails the report —
+an unverified threat is never silently green. Run it against Foundry:
+
+```bash
+pnpm redteam        # builds the package, runs forge, prints the report + threat map
+```
+
+The script (`packages/conformance/scripts/redteam-report.mjs`) shells out to
+`forge test --match-path 'test/redteam/*' --json`, parses the nested result
+shape, and renders a normal `formatReport` (exit code `0` only if every case was
+Foundry-verified). `--input <file>` parses a saved JSON instead, and
+`--contracts-dir <path>` overrides the checkout location.
+
+## Writing a suite
+
+A check returns a short pass message or throws to fail. ERC-7579 checks narrow the
+target with `accountTarget`; other suites read their own bound port:
+
+```ts
+import { accountTarget, type Check } from '@keelcodes/conformance';
+
+const myCheck: Check = {
+  id: 'ercXXXX.thing.holds',
+  title: 'Thing holds',
+  spec: 'ERC-XXXX §1.2',
+  severity: 'high',
+  async run(target) {
+    const { reader, account } = accountTarget(target);
+    if (!(await reader.hasCode(account))) throw new Error('not deployed');
+    return 'ok';
+  },
+};
+```
+
+`runChecks` / `runSuite` never throw: a throwing check is recorded as a failure
+with its message, so one broken probe cannot abort a run.
+
+## Develop
+
+```bash
+pnpm --filter @keelcodes/conformance test
+pnpm --filter @keelcodes/conformance typecheck
+pnpm redteam     # Foundry red-team cases → conformance report (needs forge)
+pnpm sandbox     # docker compose -f infra/docker-compose.yml up
+```

package/dist/abi.d.ts

@@ -0,0 +1,219 @@
+/**
+ * ERC-7579 account views a conformance run needs. Kept local to this package —
+ * the suite probes the standard surface, not any project's adapter ABI.
+ */
+export declare const erc7579AccountAbi: readonly [{
+    readonly name: "isModuleInstalled";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+        readonly name: "moduleTypeId";
+    }, {
+        readonly type: "address";
+        readonly name: "module";
+    }, {
+        readonly type: "bytes";
+        readonly name: "additionalContext";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}, {
+    readonly name: "supportsExecutionMode";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "bytes32";
+        readonly name: "mode";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}, {
+    readonly name: "accountId";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "string";
+    }];
+}];
+/** ERC-7579 `IModule` views, read from the module itself. */
+export declare const erc7579ModuleAbi: readonly [{
+    readonly name: "isInitialized";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "address";
+        readonly name: "smartAccount";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}, {
+    readonly name: "isModuleType";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+        readonly name: "moduleTypeId";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}];
+/**
+ * ERC-7710 delegation-manager views. The EIP fixes only `redeemDelegations`; the
+ * getters below are the MetaMask delegation-framework reference that the EIP
+ * names, which is what a conformance run can actually probe.
+ */
+export declare const erc7710ManagerAbi: readonly [{
+    readonly name: "getDomainHash";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "bytes32";
+    }];
+}, {
+    readonly name: "getDelegationHash";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "tuple";
+        readonly components: readonly [{
+            readonly type: "address";
+            readonly name: "delegate";
+        }, {
+            readonly type: "address";
+            readonly name: "delegator";
+        }, {
+            readonly type: "bytes32";
+            readonly name: "authority";
+        }, {
+            readonly type: "tuple[]";
+            readonly components: readonly [{
+                readonly type: "address";
+                readonly name: "enforcer";
+            }, {
+                readonly type: "bytes";
+                readonly name: "terms";
+            }, {
+                readonly type: "bytes";
+                readonly name: "args";
+            }];
+            readonly name: "caveats";
+        }, {
+            readonly type: "uint256";
+            readonly name: "salt";
+        }, {
+            readonly type: "bytes";
+            readonly name: "signature";
+        }];
+        readonly name: "delegation";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bytes32";
+    }];
+}, {
+    readonly name: "disabledDelegations";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "bytes32";
+        readonly name: "delegationHash";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}, {
+    readonly name: "ROOT_AUTHORITY";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "bytes32";
+    }];
+}, {
+    readonly name: "ANY_DELEGATE";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "address";
+    }];
+}, {
+    readonly name: "NAME";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "string";
+    }];
+}, {
+    readonly name: "VERSION";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "string";
+    }];
+}];
+/** ERC-8004 identity registry — ERC-721 with agent extensions. */
+export declare const erc8004IdentityAbi: readonly [{
+    readonly name: "ownerOf";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+        readonly name: "agentId";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "address";
+    }];
+}, {
+    readonly name: "tokenURI";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+        readonly name: "agentId";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "string";
+    }];
+}, {
+    readonly name: "getAgentWallet";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+        readonly name: "agentId";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "address";
+    }];
+}, {
+    readonly name: "supportsInterface";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "bytes4";
+        readonly name: "interfaceId";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}];
+/** ERC-8004 reputation registry — the binding to its identity registry. */
+export declare const erc8004ReputationAbi: readonly [{
+    readonly name: "getIdentityRegistry";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "address";
+    }];
+}];
+//# sourceMappingURL=abi.d.ts.map

package/dist/abi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi.d.ts","sourceRoot":"","sources":["../src/abi.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI5B,CAAC;AAEH,6DAA6D;AAC7D,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;EAG3B,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ5B,CAAC;AAEH,kEAAkE;AAClE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK7B,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,oBAAoB;;;;;;;;EAE/B,CAAC"}

package/dist/abi.js

@@ -0,0 +1,41 @@
+import { parseAbi } from 'viem';
+/**
+ * ERC-7579 account views a conformance run needs. Kept local to this package —
+ * the suite probes the standard surface, not any project's adapter ABI.
+ */
+export const erc7579AccountAbi = parseAbi([
+    'function isModuleInstalled(uint256 moduleTypeId, address module, bytes additionalContext) view returns (bool)',
+    'function supportsExecutionMode(bytes32 mode) view returns (bool)',
+    'function accountId() view returns (string)',
+]);
+/** ERC-7579 `IModule` views, read from the module itself. */
+export const erc7579ModuleAbi = parseAbi([
+    'function isInitialized(address smartAccount) view returns (bool)',
+    'function isModuleType(uint256 moduleTypeId) view returns (bool)',
+]);
+/**
+ * ERC-7710 delegation-manager views. The EIP fixes only `redeemDelegations`; the
+ * getters below are the MetaMask delegation-framework reference that the EIP
+ * names, which is what a conformance run can actually probe.
+ */
+export const erc7710ManagerAbi = parseAbi([
+    'function getDomainHash() view returns (bytes32)',
+    'function getDelegationHash((address delegate, address delegator, bytes32 authority, (address enforcer, bytes terms, bytes args)[] caveats, uint256 salt, bytes signature) delegation) view returns (bytes32)',
+    'function disabledDelegations(bytes32 delegationHash) view returns (bool)',
+    'function ROOT_AUTHORITY() view returns (bytes32)',
+    'function ANY_DELEGATE() view returns (address)',
+    'function NAME() view returns (string)',
+    'function VERSION() view returns (string)',
+]);
+/** ERC-8004 identity registry — ERC-721 with agent extensions. */
+export const erc8004IdentityAbi = parseAbi([
+    'function ownerOf(uint256 agentId) view returns (address)',
+    'function tokenURI(uint256 agentId) view returns (string)',
+    'function getAgentWallet(uint256 agentId) view returns (address)',
+    'function supportsInterface(bytes4 interfaceId) view returns (bool)',
+]);
+/** ERC-8004 reputation registry — the binding to its identity registry. */
+export const erc8004ReputationAbi = parseAbi([
+    'function getIdentityRegistry() view returns (address)',
+]);
+//# sourceMappingURL=abi.js.map

package/dist/abi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi.js","sourceRoot":"","sources":["../src/abi.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACxC,+GAA+G;IAC/G,kEAAkE;IAClE,4CAA4C;CAC7C,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACvC,kEAAkE;IAClE,iEAAiE;CAClE,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACxC,iDAAiD;IACjD,8MAA8M;IAC9M,0EAA0E;IAC1E,kDAAkD;IAClD,gDAAgD;IAChD,uCAAuC;IACvC,0CAA0C;CAC3C,CAAC,CAAC;AAEH,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACzC,0DAA0D;IAC1D,0DAA0D;IAC1D,iEAAiE;IACjE,oEAAoE;CACrE,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC3C,uDAAuD;CACxD,CAAC,CAAC"}

package/dist/agents.d.ts

@@ -0,0 +1,24 @@
+import type { PublicClient } from 'viem';
+import type { Address, AgentRegistryReader, Check, Hex, Suite } from './types.js';
+/**
+ * ERC-8004 conformance (Trustless Agents).
+ *
+ * The identity registry is an ERC-721 whose `tokenId` is the `agentId`, with
+ * agent-specific extensions (`getAgentWallet`, `agentURI`). The suite checks the
+ * registry is a real ERC-721 and that the agent under test is registered with a
+ * resolvable owner, URI and wallet; optionally that a reputation registry is
+ * bound to the same identity registry.
+ */
+/** `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`-style id for ERC-721. */
+export declare const ERC721_INTERFACE_ID: Hex;
+export declare const ERC8004_CHECKS: readonly Check[];
+/** ERC-8004 agent registry suite. */
+export declare const ERC8004_SUITE: Suite;
+export interface ViemAgentRegistryOptions {
+    identityRegistry: Address;
+    agentId: bigint;
+    reputationRegistry?: Address;
+}
+/** Points the ERC-8004 suite at live registries via a viem client. */
+export declare function createViemAgentRegistryReader(client: PublicClient, options: ViemAgentRegistryOptions): AgentRegistryReader;
+//# sourceMappingURL=agents.d.ts.map