@meantjs/profile 0.2.0 → 0.4.0

package/data/profile-v0.schema.json

@@ -150,6 +150,10 @@
         "abi": {
           "$ref": "#/$defs/evm_abi",
           "description": "An EVM pack (spec section 15, experimental): the functions it applies to. The pack applies to a contract that has each of them, with the same selector, outputs and kind of call."
+        },
+        "eip712": {
+          "$ref": "#/$defs/eip712",
+          "description": "An EVM pack's EIP-712 messages (spec section 15.9), beside its binds.abi."
         }
       },
       "oneOf": [
@@ -169,7 +173,12 @@
             "abi": true
           }
         }
-      ]
+      ],
+      "dependentRequired": {
+        "eip712": [
+          "abi"
+        ]
+      }
     },
     "canister_binds": {
       "type": "object",
@@ -194,10 +203,7 @@
     },
     "contract_binds": {
       "type": "object",
-      "description": "An EVM contract (spec section 15, experimental): its ABI, and where it is deployed.",
-      "required": [
-        "abi"
-      ],
+      "description": "An EVM contract (spec section 15, experimental): its ABI, the EIP-712 messages it verifies (section 15.9), and where it is deployed.",
       "additionalProperties": false,
       "properties": {
         "abi": {
@@ -225,8 +231,29 @@
               }
             }
           }
+        },
+        "eip712": {
+          "$ref": "#/$defs/eip712"
         }
-      }
+      },
+      "anyOf": [
+        {
+          "required": [
+            "abi"
+          ],
+          "properties": {
+            "abi": true
+          }
+        },
+        {
+          "required": [
+            "eip712"
+          ],
+          "properties": {
+            "eip712": true
+          }
+        }
+      ]
     },
     "evm_abi": {
       "type": "array",
@@ -259,6 +286,61 @@
         ]
       }
     },
+    "eip712": {
+      "type": "object",
+      "description": "EIP-712 typed messages (spec section 15.9, experimental): the struct types, in the JSON shape of an eth_signTypedData request without EIP712Domain, and the domain's name and version. A type whose name the profile tags with intent is a message; chainId and verifyingContract come from binds.deployments.",
+      "required": [
+        "types"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "domain": {
+          "type": "object",
+          "minProperties": 1,
+          "additionalProperties": false,
+          "description": "Each value must equal the request's domain value of the same name (ERC-7730 context.eip712.domain).",
+          "properties": {
+            "name": {
+              "type": "string",
+              "minLength": 1
+            },
+            "version": {
+              "type": "string",
+              "minLength": 1
+            }
+          }
+        },
+        "types": {
+          "type": "object",
+          "minProperties": 1,
+          "propertyNames": {
+            "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
+          },
+          "additionalProperties": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "object",
+              "required": [
+                "name",
+                "type"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "name": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
+                },
+                "type": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z_][A-Za-z0-9_]*(\\[([1-9][0-9]*)?\\])*$"
+                }
+              }
+            }
+          }
+        }
+      }
+    },
     "value_address": {
       "type": "string",
       "description": "METHOD(i)path | METHOD->(i)path | type:DECL path. Paths: .label, .#id, [] (vec element). opt is transparent.",
@@ -746,9 +828,6 @@
     },
     "args_amount": {
       "type": "object",
-      "required": [
-        "decimals"
-      ],
       "additionalProperties": false,
       "properties": {
         "decimals": {
@@ -775,6 +854,10 @@
             }
           ]
         },
+        "token": {
+          "$ref": "#/$defs/relpath",
+          "description": "An EVM amount in a token another field names (spec section 15.9): the relative path to that address, in the same array element as the amount. Its decimals and symbol are the token's, which the consumer supplies; decimals and symbol are then left out."
+        },
         "threshold": {
           "type": "string",
           "pattern": "^(0|[1-9][0-9]{0,77})$",
@@ -791,6 +874,32 @@
         "message": [
           "threshold"
         ]
+      },
+      "anyOf": [
+        {
+          "required": [
+            "decimals"
+          ],
+          "properties": {
+            "decimals": true
+          }
+        },
+        {
+          "required": [
+            "token"
+          ],
+          "properties": {
+            "token": true
+          }
+        }
+      ],
+      "dependentSchemas": {
+        "token": {
+          "properties": {
+            "decimals": false,
+            "symbol": false
+          }
+        }
       }
     },
     "args_timestamp": {
@@ -805,7 +914,40 @@
         },
         "epoch": {
           "const": "unix"
+        },
+        "threshold": {
+          "type": "string",
+          "pattern": "^(0|[1-9][0-9]{0,77})$",
+          "description": "Display only: a value at or above this (in the tagged unit, a decimal string) displays as `message`, for example \"Never\" for a deadline of uint256 max (spec section 15.9)."
+        },
+        "message": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 32,
+          "description": "What a value at or above `threshold` displays as."
+        },
+        "labels": {
+          "type": "object",
+          "minProperties": 1,
+          "maxProperties": 16,
+          "propertyNames": {
+            "pattern": "^(0|[1-9][0-9]{0,77})$"
+          },
+          "additionalProperties": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 32
+          },
+          "description": "Display only: words for exact values (in the tagged unit), for example { \"0\": \"Only in the block it is used\" } (spec section 15.9)."
         }
+      },
+      "dependentRequired": {
+        "message": [
+          "threshold"
+        ],
+        "threshold": [
+          "message"
+        ]
       }
     },
     "args_duration": {
@@ -998,9 +1140,62 @@
         },
         "replicated": {
           "type": "boolean"
+        },
+        "grant": {
+          "$ref": "#/$defs/grant",
+          "description": "What a transfer or approve lets someone take (spec section 5.3, D-056), for a check against terms the user confirmed."
         }
       }
     },
+    "grant": {
+      "type": "object",
+      "description": "Who may take the tokens, how many and until when, as relative paths into the method's arguments (spec section 5.3, D-056). Exactly one of spender and to.",
+      "required": [
+        "amount"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "spender": {
+          "$ref": "#/$defs/relpath",
+          "description": "Who may take the tokens through an allowance, or with a signature someone else submits: an address, or a position with an account tag."
+        },
+        "to": {
+          "$ref": "#/$defs/relpath",
+          "description": "Who a transfer pays directly: an address, or a position with an account tag."
+        },
+        "amount": {
+          "$ref": "#/$defs/relpath",
+          "description": "A position with an amount tag, whose threshold means unlimited; or a bool, where true is unlimited and false grants nothing."
+        },
+        "ends": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 8,
+          "items": {
+            "$ref": "#/$defs/relpath"
+          },
+          "description": "Positions with a timestamp tag; the grant ends at the latest of them, and one at its threshold or left out means never. Without ends, an approve never ends and a transfer ends when it is done."
+        }
+      },
+      "oneOf": [
+        {
+          "required": [
+            "spender"
+          ],
+          "properties": {
+            "spender": true
+          }
+        },
+        {
+          "required": [
+            "to"
+          ],
+          "properties": {
+            "to": true
+          }
+        }
+      ]
+    },
     "args_idempotency": {
       "type": "object",
       "required": [