addrbookFor publishers
← The evidence ledger

Evidence row 566371

Observed , by probe.mcp/1.

Kind
mcp.tools
About
endpoint 1f19a079-9671-4464-9d43-6aac4ac7fd2f
Recorded
Previous row
None: the first of its kind about this subject
Body SHA-256
8db8de9b556fb50d2c05d048c7a14150a17dea2289041a1e5b0e04a71b50b94e
Leaf
0x4b86d33dc1995144435eef6df9ac115bea84eec234e9038d40d15857c1bb9711

What was observed

{
  "count": 5,
  "tools": [
    {
      "description": "Return public keys of this issuer. The operator must establish trust in this issuer independently.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "get_agent_public_keys"
    },
    {
      "description": "Persist a signed execution declaration receipt. Public price: 0.002 USDC via x402 on the advertised network. Preserve event, idempotencyKey and payment authorization on retries. Signed declarations do not independently prove execution.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "additionalProperties": false,
        "properties": {
          "event": {
            "additionalProperties": false,
            "description": "Commitment-only declaration of one execution step.",
            "properties": {
              "agentId": {
                "description": "Identifier of the declaring agent, not an independently verified identity.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "completedAt": {
                "description": "Declared completion in UTC with milliseconds, at or after start.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "inputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of the exact input bytes, computed locally. Never send raw input.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "outcome": {
                "description": "Outcome declared by the caller; Datoka does not observe execution.",
                "enum": [
                  "success",
                  "error"
                ],
                "type": "string"
              },
              "outputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of exact output bytes, computed locally. Never send raw output.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "runId": {
                "description": "Stable identifier for this execution run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "startedAt": {
                "description": "Declared start time in UTC, with milliseconds.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "stepId": {
                "description": "Stable identifier of the step within the run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "tool": {
                "description": "Tool or operation identifier declared by the caller.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "version": {
                "const": "datoka.agent.execution.v1",
                "description": "Declaration format version; preserve this literal.",
                "type": "string"
              }
            },
            "required": [
              "version",
              "agentId",
              "runId",
              "stepId",
              "tool",
              "outcome",
              "startedAt",
              "completedAt",
              "inputHash",
              "outputHash"
            ],
            "type": "object"
          },
          "idempotencyKey": {
            "description": "Persist this unique key before purchase. Reuse unchanged with the same input and payment authorization after interruption.",
            "pattern": "^[\\x21-\\x7e]{16,200}$",
            "type": "string"
          }
        },
        "required": [
          "event",
          "idempotencyKey"
        ],
        "type": "object"
      },
      "name": "issue_agent_receipt"
    },
    {
      "description": "Free validation of a locally built execution declaration before issuance. Hash exact input and output bytes locally; supply identifiers and UTC timestamps with milliseconds. Returns the validated event, commitment and logical chain without creating or purchasing a receipt. Use issue_agent_receipt only if a portable signed declaration is needed.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "additionalProperties": false,
        "properties": {
          "event": {
            "additionalProperties": false,
            "description": "Commitment-only declaration of one execution step.",
            "properties": {
              "agentId": {
                "description": "Identifier of the declaring agent, not an independently verified identity.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "completedAt": {
                "description": "Declared completion in UTC with milliseconds, at or after start.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "inputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of the exact input bytes, computed locally. Never send raw input.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "outcome": {
                "description": "Outcome declared by the caller; Datoka does not observe execution.",
                "enum": [
                  "success",
                  "error"
                ],
                "type": "string"
              },
              "outputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of exact output bytes, computed locally. Never send raw output.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "runId": {
                "description": "Stable identifier for this execution run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "startedAt": {
                "description": "Declared start time in UTC, with milliseconds.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "stepId": {
                "description": "Stable identifier of the step within the run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "tool": {
                "description": "Tool or operation identifier declared by the caller.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "version": {
                "const": "datoka.agent.execution.v1",
                "description": "Declaration format version; preserve this literal.",
                "type": "string"
              }
            },
            "required": [
              "version",
              "agentId",
              "runId",
              "stepId",
              "tool",
              "outcome",
              "startedAt",
              "completedAt",
              "inputHash",
              "outputHash"
            ],
            "type": "object"
          }
        },
        "required": [
          "event"
        ],
        "type": "object"
      },
      "name": "prepare_agent_event"
    },
    {
      "description": "Free verification of an execution event and its unchanged receipt returned by issue_agent_receipt. Checks signature, scope and event commitment against this issuer. No wallet or new issuance required. Use verify_proof_receipt for the distinct common proof-envelope format. A valid signature does not independently prove execution; compare original bytes locally.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "additionalProperties": false,
        "properties": {
          "event": {
            "additionalProperties": false,
            "description": "Commitment-only declaration of one execution step.",
            "properties": {
              "agentId": {
                "description": "Identifier of the declaring agent, not an independently verified identity.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "completedAt": {
                "description": "Declared completion in UTC with milliseconds, at or after start.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "inputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of the exact input bytes, computed locally. Never send raw input.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "outcome": {
                "description": "Outcome declared by the caller; Datoka does not observe execution.",
                "enum": [
                  "success",
                  "error"
                ],
                "type": "string"
              },
              "outputHash": {
                "additionalProperties": false,
                "description": "SHA-256 of exact output bytes, computed locally. Never send raw output.",
                "properties": {
                  "algorithm": {
                    "const": "sha256",
                    "description": "Hash algorithm.",
                    "type": "string"
                  },
                  "digest": {
                    "description": "64 lowercase hexadecimal characters; SHA-256 of exact bytes.",
                    "pattern": "^[a-f0-9]{64}$",
                    "type": "string"
                  }
                },
                "required": [
                  "algorithm",
                  "digest"
                ],
                "type": "object"
              },
              "runId": {
                "description": "Stable identifier for this execution run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "startedAt": {
                "description": "Declared start time in UTC, with milliseconds.",
                "format": "date-time",
                "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                "type": "string"
              },
              "stepId": {
                "description": "Stable identifier of the step within the run.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "tool": {
                "description": "Tool or operation identifier declared by the caller.",
                "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                "type": "string"
              },
              "version": {
                "const": "datoka.agent.execution.v1",
                "description": "Declaration format version; preserve this literal.",
                "type": "string"
              }
            },
            "required": [
              "version",
              "agentId",
              "runId",
              "stepId",
              "tool",
              "outcome",
              "startedAt",
              "completedAt",
              "inputHash",
              "outputHash"
            ],
            "type": "object"
          },
          "receipt": {
            "additionalProperties": false,
            "description": "Signed Datoka receipt; verify against independently trusted keys.",
            "properties": {
              "algorithm": {
                "const": "Ed25519",
                "type": "string"
              },
              "body": {
                "additionalProperties": false,
                "properties": {
                  "id": {
                    "format": "uuid",
                    "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
                    "type": "string"
                  },
                  "issuedAt": {
                    "format": "date-time",
                    "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                    "type": "string"
                  },
                  "issuer": {
                    "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                    "type": "string"
                  },
                  "keyId": {
                    "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                    "type": "string"
                  },
                  "previous": {
                    "anyOf": [
                      {
                        "pattern": "^[a-f0-9]{64}$",
                        "type": "string"
                      },
                      {
                        "type": "null"
                      }
                    ]
                  },
                  "request": {
                    "additionalProperties": false,
                    "properties": {
                      "chain": {
                        "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                        "type": "string"
                      },
                      "eventType": {
                        "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                        "type": "string"
                      },
                      "scope": {
                        "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                        "type": "string"
                      },
                      "subject": {
                        "additionalProperties": false,
                        "properties": {
                          "algorithm": {
                            "const": "sha256",
                            "type": "string"
                          },
                          "digest": {
                            "pattern": "^[a-f0-9]{64}$",
                            "type": "string"
                          },
                          "encoding": {
                            "enum": [
                              "jcs",
                              "bytes"
                            ],
                            "type": "string"
                          }
                        },
                        "required": [
                          "algorithm",
                          "encoding",
                          "digest"
                        ],
                        "type": "object"
                      }
                    },
                    "required": [
                      "scope",
                      "chain",
                      "eventType",
                      "subject"
                    ],
                    "type": "object"
                  },
                  "sequence": {
                    "exclusiveMinimum": 0,
                    "maximum": 9007199254740991,
                    "type": "integer"
                  },
                  "version": {
                    "const": "datoka.receipt.v1",
                    "type": "string"
                  }
                },
                "required": [
                  "version",
                  "id",
                  "issuer",
                  "keyId",
                  "issuedAt",
                  "request",
                  "sequence",
                  "previous"
                ],
                "type": "object"
              },
              "signature": {
                "pattern": "^[A-Za-z0-9_-]{86}$",
                "type": "string"
              }
            },
            "required": [
              "body",
              "algorithm",
              "signature"
            ],
            "type": "object"
          }
        },
        "required": [
          "event",
          "receipt"
        ],
        "type": "object"
      },
      "name": "verify_agent_receipt"
    },
    {
      "description": "Free verification of a common Datoka proof against an independently obtained caller-supplied public trust registry and explicit issuer/scope/chain. Send only the proof, never raw documents. receiptVerified concerns signature, context and dates; status remains incomplete because the artifact is checked locally. No payment, factual accuracy or parent signatures are verified.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "additionalProperties": false,
        "properties": {
          "chain": {
            "description": "Optional expected logical chain identifier. Omit only when no chain restriction is required.",
            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
            "type": "string"
          },
          "issuer": {
            "description": "Expected trusted issuer identifier; must match the trust registry and proof.",
            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
            "type": "string"
          },
          "proof": {
            "additionalProperties": false,
            "description": "Unmodified common Datoka proof envelope; do not send its raw artifact.",
            "properties": {
              "receipt": {
                "additionalProperties": false,
                "properties": {
                  "algorithm": {
                    "const": "Ed25519",
                    "type": "string"
                  },
                  "body": {
                    "additionalProperties": false,
                    "properties": {
                      "id": {
                        "format": "uuid",
                        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
                        "type": "string"
                      },
                      "issuedAt": {
                        "format": "date-time",
                        "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                        "type": "string"
                      },
                      "issuer": {
                        "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                        "type": "string"
                      },
                      "keyId": {
                        "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                        "type": "string"
                      },
                      "previous": {
                        "anyOf": [
                          {
                            "pattern": "^[a-f0-9]{64}$",
                            "type": "string"
                          },
                          {
                            "type": "null"
                          }
                        ]
                      },
                      "request": {
                        "additionalProperties": false,
                        "properties": {
                          "chain": {
                            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                            "type": "string"
                          },
                          "eventType": {
                            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                            "type": "string"
                          },
                          "scope": {
                            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
                            "type": "string"
                          },
                          "subject": {
                            "additionalProperties": false,
                            "properties": {
                              "algorithm": {
                                "const": "sha256",
                                "type": "string"
                              },
                              "digest": {
                                "pattern": "^[a-f0-9]{64}$",
                                "type": "string"
                              },
                              "encoding": {
                                "enum": [
                                  "jcs",
                                  "bytes"
                                ],
                                "type": "string"
                              }
                            },
                            "required": [
                              "algorithm",
                              "encoding",
                              "digest"
                            ],
                            "type": "object"
                          }
                        },
                        "required": [
                          "scope",
                          "chain",
                          "eventType",
                          "subject"
                        ],
                        "type": "object"
                      },
                      "sequence": {
                        "exclusiveMinimum": 0,
                        "maximum": 9007199254740991,
                        "type": "integer"
                      },
                      "version": {
                        "const": "datoka.receipt.v1",
                        "type": "string"
                      }
                    },
                    "required": [
                      "version",
                      "id",
                      "issuer",
                      "keyId",
                      "issuedAt",
                      "request",
                      "sequence",
                      "previous"
                    ],
                    "type": "object"
                  },
                  "signature": {
                    "pattern": "^[A-Za-z0-9_-]{86}$",
                    "type": "string"
                  }
                },
                "required": [
                  "body",
                  "algorithm",
                  "signature"
                ],
                "type": "object"
              },
              "statement": {
                "additionalProperties": false,
                "properties": {
                  "artifact": {
                    "additionalProperties": false,
                    "properties": {
                      "algorithm": {
                        "const": "sha256",
                        "type": "string"
                      },
                      "digest": {
                        "pattern": "^[a-f0-9]{64}$",
                        "type": "string"
                      },
                      "encoding": {
                        "enum": [
                          "bytes",
                          "jcs"
                        ],
                        "type": "string"
                      },
                      "mediaType": {
                        "maxLength": 512,
                        "minLength": 1,
                        "type": "string"
                      }
                    },
                    "required": [
                      "algorithm",
                      "encoding",
                      "digest",
                      "mediaType"
                    ],
                    "type": "object"
                  },
                  "attestation": {
                    "const": "signed_declaration",
                    "type": "string"
                  },
                  "createdAt": {
                    "format": "date-time",
                    "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                    "type": "string"
                  },
                  "independentlyVerified": {
                    "const": false,
                    "type": "boolean"
                  },
                  "parentReceipts": {
                    "items": {
                      "pattern": "^[a-f0-9]{64}$",
                      "type": "string"
                    },
                    "maxItems": 64,
                    "type": "array"
                  },
                  "references": {
                    "items": {
                      "additionalProperties": false,
                      "properties": {
                        "kind": {
                          "enum": [
                            "payment",
                            "authorization",
                            "anchor"
                          ],
                          "type": "string"
                        },
                        "protocol": {
                          "maxLength": 512,
                          "minLength": 1,
                          "type": "string"
                        },
                        "reference": {
                          "maxLength": 512,
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "kind",
                        "protocol",
                        "reference"
                      ],
                      "type": "object"
                    },
                    "maxItems": 16,
                    "type": "array"
                  },
                  "sources": {
                    "items": {
                      "additionalProperties": false,
                      "properties": {
                        "description": {
                          "maxLength": 512,
                          "minLength": 1,
                          "type": "string"
                        },
                        "retrievedAt": {
                          "format": "date-time",
                          "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                          "type": "string"
                        },
                        "snapshot": {
                          "additionalProperties": false,
                          "properties": {
                            "algorithm": {
                              "const": "sha256",
                              "type": "string"
                            },
                            "digest": {
                              "pattern": "^[a-f0-9]{64}$",
                              "type": "string"
                            },
                            "encoding": {
                              "enum": [
                                "bytes",
                                "jcs"
                              ],
                              "type": "string"
                            }
                          },
                          "required": [
                            "algorithm",
                            "encoding",
                            "digest"
                          ],
                          "type": "object"
                        },
                        "uri": {
                          "format": "uri",
                          "maxLength": 2048,
                          "type": "string"
                        }
                      },
                      "required": [
                        "uri",
                        "retrievedAt"
                      ],
                      "type": "object"
                    },
                    "maxItems": 64,
                    "type": "array"
                  },
                  "transformations": {
                    "items": {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "maxLength": 512,
                          "minLength": 1,
                          "type": "string"
                        },
                        "version": {
                          "maxLength": 512,
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "id"
                      ],
                      "type": "object"
                    },
                    "maxItems": 32,
                    "type": "array"
                  },
                  "validUntil": {
                    "format": "date-time",
                    "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                    "type": "string"
                  },
                  "version": {
                    "const": "datoka.proof.v0.1",
                    "type": "string"
                  }
                },
                "required": [
                  "version",
                  "createdAt",
                  "artifact",
                  "sources",
                  "transformations",
                  "parentReceipts",
                  "attestation",
                  "independentlyVerified",
                  "references"
                ],
                "type": "object"
              }
            },
            "required": [
              "statement",
              "receipt"
            ],
            "type": "object"
          },
          "scope": {
            "description": "Expected scope authorized by the caller-supplied trust registry.",
            "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
            "type": "string"
          },
          "trust": {
            "additionalProperties": false,
            "description": "Public trust registry obtained independently from a trusted source, not accepted merely because it accompanies this proof.",
            "properties": {
              "keys": {
                "items": {
                  "additionalProperties": false,
                  "properties": {
                    "issuer": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "jwk": {
                      "additionalProperties": false,
                      "properties": {
                        "crv": {
                          "const": "Ed25519",
                          "type": "string"
                        },
                        "kty": {
                          "const": "OKP",
                          "type": "string"
                        },
                        "x": {
                          "pattern": "^[A-Za-z0-9_-]{43}$",
                          "type": "string"
                        }
                      },
                      "required": [
                        "kty",
                        "crv",
                        "x"
                      ],
                      "type": "object"
                    },
                    "keyId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "notAfter": {
                      "format": "date-time",
                      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                      "type": "string"
                    },
                    "notBefore": {
                      "format": "date-time",
                      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
                      "type": "string"
                    },
                    "revoked": {
                      "type": "boolean"
                    },
                    "scopes": {
                      "items": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "minItems": 1,
                      "type": "array"
                    }
                  },
                  "required": [
                    "issuer",
                    "keyId",
                    "scopes",
                    "revoked",
                    "notBefore",
                    "notAfter",
                    "jwk"
                  ],
                  "type": "object"
                },
                "maxItems": 64,
                "minItems": 1,
                "type": "array"
              },
              "version": {
                "const": "datoka.trust.v0.1",
                "type": "string"
              }
            },
            "required": [
              "version",
              "keys"
            ],
            "type": "object"
          }
        },
        "required": [
          "proof",
          "trust",
          "issuer",
          "scope"
        ],
        "type": "object"
      },
      "name": "verify_proof_receipt"
    }
  ]
}

What the leaf hashes

{"body":"8db8de9b556fb50d2c05d048c7a14150a17dea2289041a1e5b0e04a71b50b94e","id":566371,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793138432751702,"prev":null,"subject":"1f19a079-9671-4464-9d43-6aac4ac7fd2f","subject_kind":"endpoint"}

Proof

Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (273461 rows).

  1. 0x4b86e5b3e6facaa6cc4cde7a424f6b558768ced60bb46d2fb3d4753f5f05948a
  2. 0x58db234aa395b7f46d64b0dbb2f53570052b26d1a29949b181a883790227fdf9
  3. 0xefcc4916d9e19de9758cfb23d01495da33c0fd8eabfbd96986e717cf82f52145
  4. 0xaaba8aff9640880962ccab147a2ddad60dfb5e251e5f6846c034e85135115b82
  5. 0x30d2bbd360abfb455a114aebc89d08a6653fd16325708a5ae4b23b12219ebbf0
  6. 0x4ec40bd121843feba52bf1256361c5b1a5470b5fea5c7167672f551c3fd95651
  7. 0x7dee9f0a1b1e32b3d2ab5b0f732511c64dca88213a48c496c3ef93f51336a32c
  8. 0xe3c340e49636e3783c9e5895be6f48463253846b586dfae91ade6a120d3047ad
  9. 0x59f002c318f9c598193a1b20bf12ae0ade406aebd0b0267fed933e139739c95a
  10. 0xc5c8c1cab44dcac92464fe5056ed0cd782b104eaed78c431f44ecca1467a48a1
  11. 0x5b15539a9e45c30d985cffa0f43853909d4e3a207bff9b6e3e35303e52a3c2d2
  12. 0xf5ad7dee20c9ad48ff75cc443e6c6ae3a718321f07b826d581afdb243e59305f
  13. 0x150dc531eedad3837a4be47dd0bf1a84bf98feb63216c125982425fda525a3fd
  14. 0x80ede9e5d428e39db26928b1d08254ff1241f1d7e091fd2e57130fbb4423162b
  15. 0x2c117b27721eea45f6590fbccb471d21a7b0b079a53f089ecb300c63bdb3aebf
  16. 0x3ed50f053eca72dfd3a9d45a11935240bfe691e57835c367ddebe2cbc49efe9d
  17. 0x0e01aa9525097570a6edaf32bfc959de57bf5c24317cf10c0716affea85ca60d
  18. 0xa20d48798a34aba12eb9c7297722982d910f06c148f5e27ac59307422964a585
  19. 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
Day root
0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
Chained
0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
Published
On Arc Testnet, block 69414147: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4

How to check it · This row as JSON