@agenticprimitives/contracts 0.1.0-alpha.3 → 1.0.0-alpha.11

package/dist/abi/UniversalSignatureValidator.json

@@ -0,0 +1,65 @@
+[
+  {
+    "type": "function",
+    "name": "isValidSig",
+    "inputs": [
+      {
+        "name": "signer",
+        "type": "address",
+        "internalType": "address"
+      },
+      {
+        "name": "hash",
+        "type": "bytes32",
+        "internalType": "bytes32"
+      },
+      {
+        "name": "sig",
+        "type": "bytes",
+        "internalType": "bytes"
+      }
+    ],
+    "outputs": [
+      {
+        "name": "",
+        "type": "bool",
+        "internalType": "bool"
+      }
+    ],
+    "stateMutability": "nonpayable"
+  },
+  {
+    "type": "function",
+    "name": "isValidSigView",
+    "inputs": [
+      {
+        "name": "signer",
+        "type": "address",
+        "internalType": "address"
+      },
+      {
+        "name": "hash",
+        "type": "bytes32",
+        "internalType": "bytes32"
+      },
+      {
+        "name": "sig",
+        "type": "bytes",
+        "internalType": "bytes"
+      }
+    ],
+    "outputs": [
+      {
+        "name": "",
+        "type": "bool",
+        "internalType": "bool"
+      }
+    ],
+    "stateMutability": "view"
+  },
+  {
+    "type": "error",
+    "name": "DeployFailed",
+    "inputs": []
+  }
+]

package/dist/abi/index.d.ts

@@ -1,6 +1,8 @@
 // Generated by scripts/build-abi.mjs — do not edit by hand.
 import type { Abi } from 'viem';
 
+export declare const AgentAccount: Abi;
+export declare const AgentAccountFactory: Abi;
 export declare const AgenticGovernance: Abi;
 export declare const AgentNameAttributeResolver: Abi;
 export declare const AgentNamePredicates: Abi;
@@ -10,26 +12,52 @@ export declare const AgentProfilePredicates: Abi;
 export declare const AgentProfileResolver: Abi;
 export declare const AgentRelationship: Abi;
 export declare const AgentRelationshipPredicates: Abi;
+export declare const AgreementRegistry: Abi;
 export declare const AllowedMethodsEnforcer: Abi;
 export declare const AllowedTargetsEnforcer: Abi;
 export declare const ApprovedHashRegistry: Abi;
+export declare const AttestationRegistry: Abi;
 export declare const AttributeStorage: Abi;
+export declare const CallDataHashEnforcer: Abi;
 export declare const CaveatEnforcerBase: Abi;
+export declare const CustodyPolicy: Abi;
+export declare const DelegationManager: Abi;
+export declare const GeoFeatureRegistry: Abi;
 export declare const GovernanceManaged: Abi;
+export declare const IAgentAccount: Abi;
+export declare const IAgentAccountFactoryAccessor: Abi;
+export declare const IAgentAccountFactoryView: Abi;
+export declare const IAgentAccountPauseView: Abi;
+export declare const IAgenticPrimitivesAgentAccount: Abi;
+export declare const IApprovedHashRegistryView: Abi;
 export declare const IAttributeReader: Abi;
 export declare const ICaveatEnforcer: Abi;
+export declare const ICustodyPolicyFactoryView: Abi;
+export declare const ICustodyPolicyPauseView: Abi;
 export declare const IDelegationManager: Abi;
+export declare const IERC7579HookLike: Abi;
 export declare const IERC7579Module: Abi;
 export declare const IERC7579ModuleLifecycle: Abi;
+export declare const IERC7579ModuleLike: Abi;
 export declare const IGovernanceView: Abi;
+export declare const IPaymentReceiptRegistry: Abi;
+export declare const MockUSDC: Abi;
 export declare const MultiSendCallOnly: Abi;
 export declare const MultiSendCallOnlyHarness: Abi;
 export declare const OntologyTermRegistry: Abi;
 export declare const P256Verifier: Abi;
+export declare const PaymentEnforcer: Abi;
+export declare const PaymentEscrow: Abi;
+export declare const PaymentReceiptRegistry: Abi;
 export declare const PermissionlessSubregistry: Abi;
+export declare const QuorumEnforcer: Abi;
 export declare const RelationshipTypeRegistry: Abi;
 export declare const ShapeRegistry: Abi;
+export declare const SignatureSlotRecovery: Abi;
+export declare const SkillDefinitionRegistry: Abi;
 export declare const SmartAgentModuleTypes: Abi;
+export declare const SmartAgentPaymaster: Abi;
 export declare const TimestampEnforcer: Abi;
+export declare const UniversalSignatureValidator: Abi;
 export declare const ValueEnforcer: Abi;
 export declare const WebAuthnLib: Abi;

package/dist/abi/index.js

@@ -1,6 +1,8 @@
 // Generated by scripts/build-abi.mjs — do not edit by hand.
 // Each export is a viem-compatible ABI array.
 
+export { default as AgentAccount } from './AgentAccount.json' with { type: 'json' };
+export { default as AgentAccountFactory } from './AgentAccountFactory.json' with { type: 'json' };
 export { default as AgenticGovernance } from './AgenticGovernance.json' with { type: 'json' };
 export { default as AgentNameAttributeResolver } from './AgentNameAttributeResolver.json' with { type: 'json' };
 export { default as AgentNamePredicates } from './AgentNamePredicates.json' with { type: 'json' };
@@ -10,26 +12,52 @@ export { default as AgentProfilePredicates } from './AgentProfilePredicates.json
 export { default as AgentProfileResolver } from './AgentProfileResolver.json' with { type: 'json' };
 export { default as AgentRelationship } from './AgentRelationship.json' with { type: 'json' };
 export { default as AgentRelationshipPredicates } from './AgentRelationshipPredicates.json' with { type: 'json' };
+export { default as AgreementRegistry } from './AgreementRegistry.json' with { type: 'json' };
 export { default as AllowedMethodsEnforcer } from './AllowedMethodsEnforcer.json' with { type: 'json' };
 export { default as AllowedTargetsEnforcer } from './AllowedTargetsEnforcer.json' with { type: 'json' };
 export { default as ApprovedHashRegistry } from './ApprovedHashRegistry.json' with { type: 'json' };
+export { default as AttestationRegistry } from './AttestationRegistry.json' with { type: 'json' };
 export { default as AttributeStorage } from './AttributeStorage.json' with { type: 'json' };
+export { default as CallDataHashEnforcer } from './CallDataHashEnforcer.json' with { type: 'json' };
 export { default as CaveatEnforcerBase } from './CaveatEnforcerBase.json' with { type: 'json' };
+export { default as CustodyPolicy } from './CustodyPolicy.json' with { type: 'json' };
+export { default as DelegationManager } from './DelegationManager.json' with { type: 'json' };
+export { default as GeoFeatureRegistry } from './GeoFeatureRegistry.json' with { type: 'json' };
 export { default as GovernanceManaged } from './GovernanceManaged.json' with { type: 'json' };
+export { default as IAgentAccount } from './IAgentAccount.json' with { type: 'json' };
+export { default as IAgentAccountFactoryAccessor } from './IAgentAccountFactoryAccessor.json' with { type: 'json' };
+export { default as IAgentAccountFactoryView } from './IAgentAccountFactoryView.json' with { type: 'json' };
+export { default as IAgentAccountPauseView } from './IAgentAccountPauseView.json' with { type: 'json' };
+export { default as IAgenticPrimitivesAgentAccount } from './IAgenticPrimitivesAgentAccount.json' with { type: 'json' };
+export { default as IApprovedHashRegistryView } from './IApprovedHashRegistryView.json' with { type: 'json' };
 export { default as IAttributeReader } from './IAttributeReader.json' with { type: 'json' };
 export { default as ICaveatEnforcer } from './ICaveatEnforcer.json' with { type: 'json' };
+export { default as ICustodyPolicyFactoryView } from './ICustodyPolicyFactoryView.json' with { type: 'json' };
+export { default as ICustodyPolicyPauseView } from './ICustodyPolicyPauseView.json' with { type: 'json' };
 export { default as IDelegationManager } from './IDelegationManager.json' with { type: 'json' };
+export { default as IERC7579HookLike } from './IERC7579HookLike.json' with { type: 'json' };
 export { default as IERC7579Module } from './IERC7579Module.json' with { type: 'json' };
 export { default as IERC7579ModuleLifecycle } from './IERC7579ModuleLifecycle.json' with { type: 'json' };
+export { default as IERC7579ModuleLike } from './IERC7579ModuleLike.json' with { type: 'json' };
 export { default as IGovernanceView } from './IGovernanceView.json' with { type: 'json' };
+export { default as IPaymentReceiptRegistry } from './IPaymentReceiptRegistry.json' with { type: 'json' };
+export { default as MockUSDC } from './MockUSDC.json' with { type: 'json' };
 export { default as MultiSendCallOnly } from './MultiSendCallOnly.json' with { type: 'json' };
 export { default as MultiSendCallOnlyHarness } from './MultiSendCallOnlyHarness.json' with { type: 'json' };
 export { default as OntologyTermRegistry } from './OntologyTermRegistry.json' with { type: 'json' };
 export { default as P256Verifier } from './P256Verifier.json' with { type: 'json' };
+export { default as PaymentEnforcer } from './PaymentEnforcer.json' with { type: 'json' };
+export { default as PaymentEscrow } from './PaymentEscrow.json' with { type: 'json' };
+export { default as PaymentReceiptRegistry } from './PaymentReceiptRegistry.json' with { type: 'json' };
 export { default as PermissionlessSubregistry } from './PermissionlessSubregistry.json' with { type: 'json' };
+export { default as QuorumEnforcer } from './QuorumEnforcer.json' with { type: 'json' };
 export { default as RelationshipTypeRegistry } from './RelationshipTypeRegistry.json' with { type: 'json' };
 export { default as ShapeRegistry } from './ShapeRegistry.json' with { type: 'json' };
+export { default as SignatureSlotRecovery } from './SignatureSlotRecovery.json' with { type: 'json' };
+export { default as SkillDefinitionRegistry } from './SkillDefinitionRegistry.json' with { type: 'json' };
 export { default as SmartAgentModuleTypes } from './SmartAgentModuleTypes.json' with { type: 'json' };
+export { default as SmartAgentPaymaster } from './SmartAgentPaymaster.json' with { type: 'json' };
 export { default as TimestampEnforcer } from './TimestampEnforcer.json' with { type: 'json' };
+export { default as UniversalSignatureValidator } from './UniversalSignatureValidator.json' with { type: 'json' };
 export { default as ValueEnforcer } from './ValueEnforcer.json' with { type: 'json' };
 export { default as WebAuthnLib } from './WebAuthnLib.json' with { type: 'json' };

package/dist/deployments/base-sepolia.d.ts

@@ -0,0 +1,41 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+// Source: deployments-base-sepolia.json
+import type { Address } from 'viem';
+export interface Deployments {
+  readonly "agentAccountFactory": Address;
+  readonly "agentAccountImplementation": Address;
+  readonly "agentNameRegistry": Address;
+  readonly "agentNameResolver": Address;
+  readonly "agentNameUniversalResolver": Address;
+  readonly "agentProfileResolver": Address;
+  readonly "agentRelationship": Address;
+  readonly "agreementRegistry": Address;
+  readonly "allowedMethodsEnforcer": Address;
+  readonly "allowedTargetsEnforcer": Address;
+  readonly "approvedHashRegistry": Address;
+  readonly "attestationRegistry": Address;
+  readonly "callDataHashEnforcer": Address;
+  readonly "custodyPolicy": Address;
+  readonly "delegationManager": Address;
+  readonly "deployer": Address;
+  readonly "entryPoint": Address;
+  readonly "geoFeatureRegistry": Address;
+  readonly "ontologyTermRegistry": Address;
+  readonly "permissionlessSubregistry": Address;
+  readonly "permissionlessSubregistryDemoAgent": Address;
+  readonly "quorumEnforcer": Address;
+  readonly "relationshipTypeRegistry": Address;
+  readonly "shapeRegistry": Address;
+  readonly "skillDefinitionRegistry": Address;
+  readonly "smartAgentPaymaster": Address;
+  readonly "timestampEnforcer": Address;
+  readonly "universalSignatureValidator": Address;
+  readonly "valueEnforcer": Address;
+  readonly "paymentEnforcer": Address;
+  readonly "paymentReceiptRegistry": Address;
+  readonly "mockUsdc": Address;
+  readonly "paymentEscrow": Address;
+  readonly "chainId": number;
+}
+export declare const CONTRACTS: Deployments;
+export default CONTRACTS;

package/dist/deployments/base-sepolia.js

@@ -0,0 +1,39 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+// Source: deployments-base-sepolia.json
+export const CONTRACTS = {
+  "agentAccountFactory": "0x3E68B72B45e7C9d35B210E4Ab06e5Cece85cEbE4",
+  "agentAccountImplementation": "0x338318ABf9C8b28E7e77ed96a91857cCE1Db1328",
+  "agentNameRegistry": "0x15F7ed064A230C011b0244A14fD9653f011d609B",
+  "agentNameResolver": "0xcC9855A23C7a4D4592E68Fe47E195C2f9D832473",
+  "agentNameUniversalResolver": "0x7d777d2d0bbc1806B9Cc779121C27fbaAaFDb60b",
+  "agentProfileResolver": "0xc448EB159B2a35F07f6E1814CC8d125244d7384B",
+  "agentRelationship": "0xE6B8F6C7F1c9857013dA356DF08D0384334A9607",
+  "agreementRegistry": "0x7f4d6A74eda1D6ce251D371566f1c6639F9B0DDa",
+  "allowedMethodsEnforcer": "0xf77cf06aCd8b9e2f3204fe4bE16449B3594c9633",
+  "allowedTargetsEnforcer": "0xe3909FdEfD8b74B7D006E045DCd678e97D469Bfd",
+  "approvedHashRegistry": "0x90735B5281434D1746926E2AA722Cc6DbF3EFEe6",
+  "attestationRegistry": "0xaE3861fd299c74D96F6FCA25f19c7ACf8b9020ed",
+  "callDataHashEnforcer": "0x9F12932F1b85A1F96c1Cb1c5A0645e3F0Ab478Dd",
+  "chainId": 84532,
+  "custodyPolicy": "0xDeD6542A55476745846370562d1c75D15DDf2572",
+  "delegationManager": "0x3a8E2cE74564f699b135db6f266ccDb563979C05",
+  "deployer": "0x31ed17fb99e82E02085Ab4B3cbdaB05489098b44",
+  "entryPoint": "0x9B33De9d9597de82Eb56b5B26C478Dc0a6955388",
+  "geoFeatureRegistry": "0x78FdCae0aC9B0CD9943996282b8F39D77bec5b1c",
+  "ontologyTermRegistry": "0xf486Ba6e9FD2d687e68a1a7A77D0FA27bb1E66c3",
+  "permissionlessSubregistry": "0x1B8ED8693738e1A9DD653FEE5430d49e00202Bb7",
+  "permissionlessSubregistryDemoAgent": "0xc76b1cdB4340398f59fD9C5d6Cb65fCdC606B33b",
+  "quorumEnforcer": "0x76fb494aE991d1fe1603a91384BA4c1F890442a8",
+  "relationshipTypeRegistry": "0x526fBF5900b18B1D06201493bcE470b416FB71C3",
+  "shapeRegistry": "0x03AbD67A910abB2c5026f1973A05502e0473e316",
+  "skillDefinitionRegistry": "0x5ae94aba46D7daA1Ca9eaE0051043Ad05bcc392B",
+  "smartAgentPaymaster": "0x8eF92B9D62826052D8F7e6dcaB630dC3890bF540",
+  "timestampEnforcer": "0x7c452434314A5bf2048f9263aeCd0cC20Fa07965",
+  "universalSignatureValidator": "0xe8F3e531429F44D77dC3A331C18032bfa1550D84",
+  "valueEnforcer": "0x7c4533e0A9fB0B1cb5aa70327b222a80d72d52db",
+  "paymentEnforcer": "0xAF48273e11435cC2D56f4AFBfD091Abb162458E9",
+  "paymentReceiptRegistry": "0x366616E265cd3cDE0F042A592C17838fe210D1d4",
+  "mockUsdc": "0x8fb56ff3C13347DFC4E1287aE83E88deE5a7211C",
+  "paymentEscrow": "0x954Ba6B3A02E02c5a3Fcd570943126633071cbdD"
+};
+export default CONTRACTS;

package/dist/deployments/index.d.ts

@@ -0,0 +1,9 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+import type { Address } from 'viem';
+import type { Deployments } from './base-sepolia';
+export type { Deployments };
+export declare const BASE_SEPOLIA: Deployments;
+export declare const REGISTRIES_BASE_SEPOLIA: Deployments;
+
+export type Network = 'base-sepolia' | 'registries-base-sepolia';
+export declare function getDeployments(network: Network): Deployments;

package/dist/deployments/index.js

@@ -0,0 +1,16 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+import { CONTRACTS as BASE_SEPOLIA } from './base-sepolia.js';
+export { BASE_SEPOLIA };
+import { CONTRACTS as REGISTRIES_BASE_SEPOLIA } from './registries-base-sepolia.js';
+export { REGISTRIES_BASE_SEPOLIA };
+
+const TABLE = {
+  "base-sepolia": BASE_SEPOLIA,
+  "registries-base-sepolia": REGISTRIES_BASE_SEPOLIA,
+};
+
+export function getDeployments(network) {
+  const c = TABLE[network];
+  if (!c) throw new Error('[@agenticprimitives/contracts] no deployments for network ' + network);
+  return c;
+}

package/dist/deployments/registries-base-sepolia.d.ts

@@ -0,0 +1,9 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+// Source: deployments-registries-base-sepolia.json
+import type { Address } from 'viem';
+export interface Deployments {
+  readonly "agreementRegistry": Address;
+  readonly "attestationRegistry": Address;
+}
+export declare const CONTRACTS: Deployments;
+export default CONTRACTS;

package/dist/deployments/registries-base-sepolia.js

@@ -0,0 +1,7 @@
+// Generated by scripts/build-deployments.mjs — do not edit by hand.
+// Source: deployments-registries-base-sepolia.json
+export const CONTRACTS = {
+  "agreementRegistry": "0x9f2A085f0bd2d8Afb69490C0C98D88592093906A",
+  "attestationRegistry": "0x4a156CAaE69E894E3C5e6F3064fE028F138b6847"
+};
+export default CONTRACTS;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agenticprimitives/contracts",
-  "version": "0.1.0-alpha.3",
+  "version": "1.0.0-alpha.11",
   "description": "Solidity contracts + ABIs + flattened sources + per-network deployment addresses for the agenticprimitives stack.",
   "license": "MIT",
   "repository": {
@@ -15,7 +15,15 @@
   "exports": {
     "./abi": "./dist/abi/index.js",
     "./abi/*": "./dist/abi/*.json",
-    "./deployments/*": "./deployments-*.json"
+    "./deployments": {
+      "types": "./dist/deployments/index.d.ts",
+      "default": "./dist/deployments/index.js"
+    },
+    "./deployments/*": {
+      "types": "./dist/deployments/*.d.ts",
+      "default": "./dist/deployments/*.js"
+    },
+    "./deployments-json/*": "./deployments-*.json"
   },
   "files": [
     "LICENSE",
@@ -25,23 +33,36 @@
     "spec.md",
     "src",
     "dist/abi",
+    "dist/deployments",
     "dist/flat",
     "deployments-*.json"
   ],
+  "devDependencies": {
+    "solhint": "^5.0.5"
+  },
   "publishConfig": {
     "access": "public"
   },
   "scripts": {
     "setup": "bash setup.sh",
-    "build": "forge build && pnpm run build:abi",
+    "build": "forge build && pnpm run build:abi && pnpm run build:deployments",
     "build:abi": "node scripts/build-abi.mjs",
+    "build:deployments": "node scripts/build-deployments.mjs",
     "build:flat": "node scripts/build-flat.mjs",
     "test": "forge test",
+    "halmos": "halmos",
+    "echidna": "echidna test/echidna/CustodyPolicyEchidna.t.sol --contract CustodyPolicyEchidna --config echidna.yaml",
+    "medusa": "medusa fuzz --config medusa.json",
+    "lint": "solhint 'src/**/*.sol'",
     "typecheck": "echo 'no TS in this package; ABIs are JSON' && exit 0",
     "deploy:anvil": "forge script script/Deploy.s.sol --rpc-url http://127.0.0.1:8545 --broadcast --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80",
     "deploy:base-sepolia": "DEPLOY_NETWORK=base-sepolia forge script script/Deploy.s.sol --rpc-url $BASE_SEPOLIA_RPC --broadcast --private-key $PRIVATE_KEY",
     "deploy:paymaster:base-sepolia": "DEPLOY_NETWORK=base-sepolia forge script script/DeployPaymaster.s.sol --rpc-url $BASE_SEPOLIA_RPC --broadcast --private-key $PRIVATE_KEY --sig 'run()'",
     "deploy:paymaster:anvil": "DEPLOY_NETWORK=anvil forge script script/DeployPaymaster.s.sol --rpc-url http://127.0.0.1:8545 --broadcast --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80 --sig 'run()'",
+    "deploy:registries:base-sepolia": "DEPLOY_NETWORK=base-sepolia forge script script/DeployRegistries.s.sol --rpc-url $BASE_SEPOLIA_RPC --broadcast --private-key $PRIVATE_KEY --sig 'run()'",
+    "deploy:payments:base-sepolia": "DEPLOY_NETWORK=base-sepolia forge script script/DeployPayments.s.sol --rpc-url $BASE_SEPOLIA_RPC --broadcast --private-key $PRIVATE_KEY --sig 'run()'",
+    "deploy:payment-escrow:base-sepolia": "DEPLOY_NETWORK=base-sepolia forge script script/DeployPaymentEscrow.s.sol --rpc-url $BASE_SEPOLIA_RPC --broadcast --private-key $PRIVATE_KEY --sig 'run()'",
+    "deploy:registries:merge": "node scripts/merge-registry-deploy.mjs",
     "verify:base-sepolia": "bash scripts/verify-base-sepolia.sh",
     "clean": "rm -rf out cache broadcast dist"
   }