← The evidence ledger
Evidence row 295487
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 01ce384b-1608-4b59-9256-4af89a8bbaeb
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- e01463b63fa906008c8cf8b9fbd2adafbb857898dd21aa44e6b2efcf680afc21
- Leaf
- 0xc2257886288a5c7e5cd4b95460303e551ead13a8d467d32264a113b2e82815a0
What was observed
{
"count": 9,
"tools": [
{
"description": "Fetch one WebAssembly instruction by mnemonic (`i32.add`) or binary opcode (`0x6a`, multi-byte `0xfd 0x89 0x02`): opcode bytes, category, introducing version, stack type signature, validation/execution anchors + URLs, and `traps` (runtime trap conditions with canonical names; empty + `can_trap:false` when it never traps).",
"inputSchema": {
"additionalProperties": false,
"properties": {
"mnemonic": {
"description": "Instruction mnemonic, e.g. `i32.add`. Case-insensitive, exact.",
"type": "string"
},
"opcode": {
"description": "Binary opcode hex, e.g. `0x6a` or `0xfd 0x89 0x02`. Exact.",
"type": "string"
}
},
"type": "object"
},
"name": "instruction_get"
},
{
"description": "Enumerate WebAssembly instructions, filterable by `category`, `introduced_in` (1.0|2.0|3.0), mnemonic `prefix`, and `can_trap` (only trapping / only non-trapping). Rows (incl. `can_trap`) sorted by opcode.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"can_trap": {
"description": "Keep only instructions that can (true) / cannot (false) trap.",
"type": "boolean"
},
"category": {
"description": "Instruction category.",
"enum": [
"control",
"numeric",
"parametric",
"variable",
"table",
"memory",
"ref",
"i31",
"struct",
"array",
"extern",
"vec"
],
"type": "string"
},
"introduced_in": {
"description": "Introducing version.",
"enum": [
"1.0",
"2.0",
"3.0"
],
"type": "string"
},
"prefix": {
"description": "Mnemonic prefix, e.g. `i32.`. Case-insensitive.",
"type": "string"
}
},
"type": "object"
},
"name": "instruction_list"
},
{
"description": "Ranked free-text search across instruction mnemonics, categories, and opcode hex. Returns hits with a `matched_on` field.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"limit": {
"description": "Max hits.",
"maximum": 100,
"minimum": 1,
"type": "integer"
},
"query": {
"description": "Search text.",
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "instruction_search"
},
{
"description": "List WebAssembly proposals + phases. Filter by `status` (phase-0…phase-5, finished, inactive), `phase` (0–5), `champion`, `affects` (core|js-api|web-api), or `contains`.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"affects": {
"description": "Affected spec (finished only).",
"type": "string"
},
"champion": {
"description": "Champion substring.",
"type": "string"
},
"contains": {
"description": "Name/champion substring.",
"type": "string"
},
"phase": {
"description": "Numeric phase 0–5.",
"maximum": 5,
"minimum": 0,
"type": "integer"
},
"status": {
"description": "Lifecycle status.",
"enum": [
"phase-0",
"phase-1",
"phase-2",
"phase-3",
"phase-4",
"phase-5",
"finished",
"inactive"
],
"type": "string"
}
},
"type": "object"
},
"name": "proposal_list"
},
{
"description": "Fetch one spec clause by id or anchor across `core` / `js-api` / `web-api` (`syntax-numtype`, `valid-unreachable`, `modules`, `streaming-modules`, …): title, prose, cross-references, SpecTec formal refs, and rendered URL.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"id": {
"description": "Clause id or anchor.",
"type": "string"
},
"spec": {
"description": "Which spec (default core).",
"enum": [
"core",
"js-api",
"web-api"
],
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"name": "section_get"
},
{
"description": "Navigate the clause tree of a spec (`core` / `js-api` / `web-api`), filterable by source `path` (`syntax`, `valid`, `exec`, `binary`, `text`, `appendix`), `anchor_prefix`, `titled_only`, and `max_level`.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"anchor_prefix": {
"description": "Id/anchor prefix.",
"type": "string"
},
"max_level": {
"description": "Cap heading depth.",
"maximum": 6,
"minimum": 1,
"type": "integer"
},
"path": {
"description": "Source path / prefix.",
"type": "string"
},
"spec": {
"description": "Which spec (default core).",
"enum": [
"core",
"js-api",
"web-api"
],
"type": "string"
},
"titled_only": {
"description": "Drop anchor-only blocks.",
"type": "boolean"
}
},
"type": "object"
},
"name": "section_list"
},
{
"description": "Full-text search across clause anchors, titles, and prose of a spec (`core` / `js-api` / `web-api`). Ranked anchor-exact > title > anchor > prose, with snippets for body matches.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"limit": {
"description": "Max hits.",
"maximum": 100,
"minimum": 1,
"type": "integer"
},
"query": {
"description": "Search text.",
"type": "string"
},
"spec": {
"description": "Which spec (default core).",
"enum": [
"core",
"js-api",
"web-api"
],
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "spec_search"
},
{
"description": "Return this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from.",
"inputSchema": {
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "spec_version"
},
{
"description": "Look up a value type (`i32`, `funcref`, `v128`, …) or type form (`functype`, `limits`, `memtype`, …): classification, sibling members, defining clause prose, formal refs, and URL.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"name": {
"description": "Type or type-form name. Case-insensitive, exact.",
"type": "string"
}
},
"required": [
"name"
],
"type": "object"
},
"name": "type_get"
}
]
}What the leaf hashes
{"body":"e01463b63fa906008c8cf8b9fbd2adafbb857898dd21aa44e6b2efcf680afc21","id":295487,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793050984214046,"prev":null,"subject":"01ce384b-1608-4b59-9256-4af89a8bbaeb","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (296695 rows).
- 0xc225532f514608ef7beadca265907324b18b3eb79fd16d704ddcf2e61456c827
- 0x3a502810acde61f5c42f11a9404d264751c4c33e9bf6fc5a01426da3742c18ae
- 0x526af78bef88aab0f3217dbc531e02a319fe663b4f47dd6a1e16972ef8dd52e1
- 0x7212f7cdbd80bbb6a98c6c551566c4b9d98bbee67d805af7e6270fe960b97eb8
- 0x2cab36627b5a3c3edf07e9d45b3bc88634907c838257de415ec0e22e72680d4c
- 0x6878e5cc2631f241d7f734e524748c0c34bb8b3a656a0b87bb493162c82d1504
- 0x6abc8bf3d71d377cb9b528dfdb595f1713377a4015f3811990c81103fbfeccee
- 0xed367e31ccf18579ccefb3e65a81493d3614f5cacdaa83166888271ac73c6b32
- 0xafd5abbd72ba12c028d5cd59e21ef6bbfeb3ef72a15c2e7ad8167b5a77eea34b
- 0x02e075ca15ff7f2ea01604141daba61c457580d75ee0424e4d2efe53abe08ad3
- 0xeab236b8d15592c4f51859e02cc12d6b7223fc6321fdb9fa89e4d5e6edc3470b
- 0x111576180a2fecebcaf560e6b72ed8cefedaacb8c607539ece417b7465831f66
- 0x96eae331a78c1c9248bc58130ff83d31b884760a51fe7191de2a39105ae7c072
- 0xdbe2e8dd65ea1248b2936612538f18268abd5cf27ebdab3737694571ad496004
- 0x9f68b5e15459cb62b8c0cd4c124fa61c74147b4a5755a200fbecd21a581635d1
- 0x123ec8bee20ddc55223eeef5a4f4d6c4b6416515adbb911c56759f5cde56e452
- 0xd0651cb9bc8155eb52b5247d506e74b8a935057dc190ba52091702ac25ed3a40
- 0x9a9024edb5069d88a324facb310a5ce8e495214bbaa968f077bede437390194f
- 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a
- Day root
- 0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8
- Chained
- 0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a
- Published
- On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae