{"id":"handshake-initialize","scenario":"handshake","step":1,"tool":"initialize","title":"Open the MCP session","description":"Every MCP session starts with an initialize handshake. The server replies with its protocolVersion and serverInfo.","needs_session":false,"request":{"jsonrpc":"2.0","id":1,"method":"initialize","params":{"protocolVersion":"2024-11-05","capabilities":{},"clientInfo":{"name":"agent","version":"1"}}},"expect":{"has_result":true,"result_json_contains":"serverInfo"},"example_response":{"jsonrpc":"2.0","id":1,"result":{"protocolVersion":"2024-11-05","serverInfo":{"name":"virtmcu","version":"1"},"capabilities":{"tools":{}}}}}
{"id":"handshake-tools-list","scenario":"handshake","step":2,"tool":"tools/list","title":"Discover the tools","description":"List every callable tool with its JSON input schema. An agent should call this once and cache it.","needs_session":false,"request":{"jsonrpc":"2.0","id":2,"method":"tools/list","params":{}},"expect":{"has_result":true,"result_json_contains":"read_registers"},"example_response":{"jsonrpc":"2.0","id":2,"result":{"tools":[{"name":"list_nodes","description":"…","annotations":{"readOnlyHint":true,"destructiveHint":false,"openWorldHint":false}}]}}}
{"id": "discover-mcu-types", "scenario": "discover", "step": 1, "tool": "list_mcu_types", "title": "What MCUs/peripherals can I instantiate?", "description": "Lists the supported MCU cores and SVD-derived peripheral device types. The peripheral rows are derived from the engine's PeriphType registry, so newly-shipped blocks (e.g. the Ethernet/GMAC MACs) appear here automatically.", "needs_session": false, "request": {"jsonrpc": "2.0", "id": 10, "method": "tools/call", "params": {"name": "list_mcu_types", "arguments": {}}}, "expect": {"result_text_contains": "nxp-s32k3-gmac"}, "example_response": {"jsonrpc": "2.0", "id": 10, "result": {"content": [{"type": "text", "text": "Supported MCU/peripheral types:\n- cortex-m0/m3/m4/m7/m33/m55: ARM Cortex-M cores (arm-generic-fdt, M-profile)\n- cortex-a15: ARM Cortex-A15 (A-profile)\n- riscv32: RISC-V RV32 core (riscv32-softmmu)\n- st-usart: STM32 G4 USART — SVD-derived UART (STM32G474)\n- st-fdcan: STM32 FDCAN / Bosch M_CAN — SVD-derived CAN-FD (STM32G474)\n- st-eth: STM32H743 Ethernet — Synopsys DWC EQOS MAC, SVD-derived (STM32H743)\n- nxp-enet: NXP i.MX RT1062 Ethernet — Freescale FEC MAC, SVD-derived (MIMXRT1062)\n- nxp-s32k3-gmac: NXP S32K344 GMAC — Synopsys DWC EQOS MAC, SVD-derived (SDV/SOAFEE MCU)\n- s32k1xx-flexcan: NXP FlexCAN mailbox — SVD-derived CAN-FD (S32K144 CAN0)\n- ieee802154 / nrf52840-radio / arm-cc310 / gpio / nrf52-uarte / flexray …\n"}]}}}
{"id":"discover-link-types","scenario":"discover","step":2,"tool":"list_link_types","title":"What inter-node links can I wire?","description":"Lists the supported link protocols for multi-node worlds.","needs_session":false,"request":{"jsonrpc":"2.0","id":11,"method":"tools/call","params":{"name":"list_link_types","arguments":{}}},"expect":{"result_text_contains":"ieee802154"},"example_response":{"jsonrpc":"2.0","id":11,"result":{"content":[{"type":"text","text":"Supported link types:\n- uart: inter-node UART serial link …\n- can: CAN / CAN-FD …\n- ieee802154: IEEE 802.15.4 radio …\n"}]}}}
{"id": "discover-svds", "scenario": "discover", "step": 3, "tool": "list_svds", "title": "Which vendor register maps are vendored?", "description": "Lists the vendored CMSIS-SVD register maps. The list is generated at build time from assets/svd/vendor/**, so a newly-vendored SVD appears automatically.", "needs_session": false, "request": {"jsonrpc": "2.0", "id": 12, "method": "tools/call", "params": {"name": "list_svds", "arguments": {}}}, "expect": {"result_text_contains": "STM32H743"}, "example_response": {"jsonrpc": "2.0", "id": 12, "result": {"content": [{"type": "text", "text": "Vendored SVD register maps:\n- MIMXRT1062_ENET: MIMXRT1062 ENET CMSIS-SVD (NXP, ENET peripheral extracted)\n- S32K144: S32K144 CMSIS-SVD (NXP / Freescale Semiconductor)\n- STM32G474: STM32G474 CMSIS-SVD (STMicroelectronics)\n- STM32H743: STM32H743 CMSIS-SVD (STMicroelectronics, via modm-io redistribution)\n- nrf52840: nRF52840 CMSIS-SVD (Nordic Semiconductor)\n"}]}}}
{"id": "discover-mcu-capabilities", "scenario": "discover", "step": 4, "tool": "mcu_capabilities", "title": "Which SoCs are simulated, and what is actually validated?", "description": "The per-MCU capability registry: every simulated SoC and, per silicon block, a CI-grounded maturity (✅ shipped & CI-gated · 🟡 in progress · 🔬 emerging), its validating tests, and what the SVD lists as not-yet-modeled. No `mcu` arg gives a one-line-per-MCU index; pass `mcu` (e.g. 'nrf52840') for the full per-block view. Derived from the assets/mcu/ manifests — a newly-manifested SoC appears automatically.", "needs_session": false, "request": {"jsonrpc": "2.0", "id": 13, "method": "tools/call", "params": {"name": "mcu_capabilities", "arguments": {}}}, "expect": {"result_text_contains": "nrf52840"}, "example_response": {"jsonrpc": "2.0", "id": 13, "result": {"content": [{"type": "text", "text": "VirtMCU simulated MCUs (maturity: ✅ shipped & CI-gated · 🟡 in progress · 🔬 emerging). Pass `mcu` for the full per-block view:\n- nrf52840 (nordic, Cortex-M4F): 12 block(s) [12✅]\n- rt1062 (nxp, Cortex-M7): 14 block(s) [14✅]\n- stm32g474 (st, Cortex-M4F): 4 block(s) [3✅ · 1🔬]\n"}]}}}
{"id":"boot-list-nodes","scenario":"boot-and-run","step":1,"tool":"list_nodes","title":"See the running nodes","description":"List the active simulated nodes and their links. Use this first to learn node_ids and link_ids.","needs_session":true,"request":{"jsonrpc":"2.0","id":20,"method":"tools/call","params":{"name":"list_nodes","arguments":{}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":20,"result":{"content":[{"type":"text","text":"node 0: cortex-m4 (links: none)"}]}}}
{"id":"boot-get-topology","scenario":"boot-and-run","step":2,"tool":"get_topology","title":"Get the wiring graph","description":"The full nodes+links graph (who is wired to whom), as structured data.","needs_session":true,"request":{"jsonrpc":"2.0","id":21,"method":"tools/call","params":{"name":"get_topology","arguments":{}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":21,"result":{"content":[{"type":"text","text":"{\"nodes\":[…],\"links\":[…]}"}]}}}
{"id": "boot-upload-firmware", "scenario": "boot-and-run", "step": 3, "tool": "upload_firmware", "title": "Flash a node", "description": "Upload an ELF for a node (hex-encoded bytes, or a local path on the CLI). The engine validates the ELF magic and persists it as the launch artifact. Pairs with start_node.", "needs_session": true, "request": {"jsonrpc": "2.0", "id": 22, "method": "tools/call", "params": {"name": "upload_firmware", "arguments": {"node_id": 0, "firmware_hex": "7f454c4601010100000000000000000002002800010000001100000034000000940301000002000534002000030028000d000b000100000000000100000000000000000010000000100000000400000000000100010000001000010010000000100000004000000040000000050000000000010051e57464000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000012011000000370000003700000009480a49016040f64f218180084808210160084804490160074806210160074801210160fee7fee71000002048454c4c002500404425004048250040082000404124000000616561626900011a00000005636f727465782d6d3400060d074d080009022201890000000500010400000000010000000010000000500000006e726635325f75617274655f74785f70726f62652e53002e0044656269616e20636c616e672076657273696f6e2031392e312e372028332b6231290001800252657365745f48616e646c657200000000001f000000100000000248616e675f48616e646c6572000000000040000000360000000001110110171101120103081b08250813050000020a0003083a063b0611010000001c00000002000000000004000000000010000000400000000000000000000000500000000500040025000000010101fb0e0d00010101010000000100000101011f010000000002011f020f0102000000000400000502100000000323012f2f2f4b312f2f312f2f2f2f2f312f2f3136021a0001012e006e726635325f75617274655f74785f70726f62652e53004c696e6b65723a2044656269616e204c4c442031392e312e37000000000000000000000000000000000000000100000008200040000000000000f1ff1500000000250040000000000000f1ff2200000044250040000000000000f1ff3000000048250040000000000000f1ff4100000008000000000000000000f1ff5000000010000020000000000000f1ff5600000006000000000000000000f1ff5e000000100000000000000000000200610000003800000000000000000002006400000011000000260000001200020072000000370000000200000012000200002e766563746f7273002e74657874002e41524d2e61747472696275746573002e64656275675f696e666f002e64656275675f616262726576002e64656275675f6172616e676573002e64656275675f6c696e65002e64656275675f6c696e655f737472002e636f6d6d656e74002e73796d746162002e7368737472746162002e737472746162000055415254455f5441534b535f535441525454580055415254455f454e41424c450055415254455f5458445f5054520055415254455f5458445f4d4158434e5400454e41424c455f454e41424c4544005458425546004d53475f4c454e0024740024640052657365745f48616e646c65720048616e675f48616e646c6572000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000002000000000000000000010010000000000000000000000001000000000000000a0000000100000006000000100000001000010040000000000000000000000004000000000000001000000003000070000000000000000050000100250000000000000000000000010000000000000020000000010000000000000000000000750001008d000000000000000000000001000000000000002c0000000100000000000000000000000201010021000000000000000000000001000000000000003a000000010000000000000000000000230101002000000000000000000000000100000000000000490000000100000000000000000000004301010054000000000000000000000001000000000000005500000001000000300000000000000097010100190000000000000000000000010000000100000065000000010000003000000000000000b00101001a000000000000000000000001000000010000006e000000020000000000000000000000cc010100c00000000c0000000a0000000400000010000000760000000300000000000000000000008c020100880000000000000000000000010000000000000080000000030000000000000000000000140301007f00000000000000000000000100000000000000"}}}, "expect": {"has_result": true}, "example_response": {"jsonrpc": "2.0", "id": 22, "result": {"content": [{"type": "text", "text": "uploaded firmware for node 0 (66972 bytes); call start_node to run it"}]}}}
{"id":"boot-start-node","scenario":"boot-and-run","step":4,"tool":"start_node","title":"Run the node","description":"Begin/resume execution (QMP cont) and release the clock-barrier hold — the unfreeze primitive for a node launched frozen.","needs_session":true,"request":{"jsonrpc":"2.0","id":23,"method":"tools/call","params":{"name":"start_node","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":23,"result":{"content":[{"type":"text","text":"node 0 started"}]}}}
{"id":"boot-run-until-console","scenario":"boot-and-run","step":5,"tool":"run_until","title":"Wait for a console marker","description":"Advance virtual time until a condition holds. Conditions: events_contains, vtime_at_least, console {node_id, contains}, or link {link_id, contains}. This is the deterministic 'wait for output' primitive.","needs_session":true,"request":{"jsonrpc":"2.0","id":24,"method":"tools/call","params":{"name":"run_until","arguments":{"console":{"node_id":0,"contains":"HELLO"}}}},"expect":{"has_result":true,"result_text_not_contains":"timed out"},"example_response":{"jsonrpc":"2.0","id":24,"result":{"content":[{"type":"text","text":"condition met at vtime 1200000 ns"}]}}}
{"id":"boot-read-console","scenario":"boot-and-run","step":6,"tool":"read_console","title":"Drain console output","description":"Read and drain a node's buffered guest->host console output since the last read.","needs_session":true,"request":{"jsonrpc":"2.0","id":25,"method":"tools/call","params":{"name":"read_console","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":25,"result":{"content":[{"type":"text","text":"HELLO\n"}]}}}
{"id":"boot-get-time","scenario":"boot-and-run","step":7,"tool":"get_time","title":"Read the simulation clock","description":"The current virtual time in nanoseconds (latest observed vtime). Virtual time is deterministic and independent of wall-clock.","needs_session":true,"request":{"jsonrpc":"2.0","id":26,"method":"tools/call","params":{"name":"get_time","arguments":{}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":26,"result":{"content":[{"type":"text","text":"vtime_ns: 1200000"}]}}}
{"id":"inspect-read-registers","scenario":"inspect-state","step":1,"tool":"read_registers","title":"Dump CPU registers","description":"Read a node's CPU registers via QMP (a deterministic snapshot at the current vtime).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":30,"method":"tools/call","params":{"name":"read_registers","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":30,"result":{"content":[{"type":"text","text":"R00=00000000 R01=4006b000 … PC=00000410 …"}]}}}
{"id":"inspect-read-memory","scenario":"inspect-state","step":2,"tool":"read_memory","title":"Inspect guest memory","description":"Read a guest physical memory range (hex address + length, capped at 1 MiB/call). Useful to read fault-status registers (CFSR @ 0xE000ED28) or an SRAM capture buffer.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":31,"method":"tools/call","params":{"name":"read_memory","arguments":{"node_id":0,"address":"0xE000ED28","length":4}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":31,"result":{"content":[{"type":"text","text":"0xe000ed28: 00 00 00 00"}]}}}
{"id":"inspect-read-fault","scenario":"inspect-state","step":3,"tool":"read_fault","title":"Decode a Cortex-M fault","description":"After a crash, decode WHY the firmware faulted (the SCB fault-status registers) AND WHERE (the faulting PC, recovered from the exception stack frame) — the agent-usable HardFault inspection (no breakpoint/gdb). Pair with a fault-handler marker + run_until, then read_fault + read_registers.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":32,"method":"tools/call","params":{"name":"read_fault","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":32,"result":{"content":[{"type":"text","text":"Fault detected (CFSR=0x00000082 HFSR=0x40000000): DACCVIOL: data access violation (MPU); FORCED: escalated to HardFault (a configurable fault fired). Faulting address = 0x20004000\nFaulting PC = 0x08000420 (recovered from the MSP exception frame at SP=0x2000ffe0); stacked LR=0x08000311, xPSR=0x61000000."}]}}}
{"id":"inspect-list-memory-regions","scenario":"inspect-state","step":4,"tool":"list_memory_regions","title":"Enumerate the guest memory map","description":"The flattened guest-physical memory map (RAM + every peripheral MMIO window), read from the LIVE QOM memory tree \u2014 reflects reality even if a device aliases/relocates at runtime. Use to find exactly where a peripheral lives before read_memory/read_registers, or to sanity-check the world's declared layout.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":33,"method":"tools/call","params":{"name":"list_memory_regions","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":33,"result":{"content":[{"type":"text","text":"Memory regions (node 0):\n- 0x08000000-0x08001000 (4096 bytes, i/o): gic_dist\n- 0x09000000-0x09001000 (4096 bytes, i/o): pl011\n- 0x40000000-0x41000000 (16777216 bytes, ram): memory@40000000\n"}]}}}
{"id":"inspect-write-memory","scenario":"inspect-state","step":5,"tool":"write_memory","title":"Patch guest memory","description":"Write bytes into a guest physical address (hex address + hex-encoded bytes, capped at 1 MiB/call) — the write peer of read_memory. Debug-only and non-deterministic (RFC-0008): use only while the node is parked at a quantum boundary, never mid-execution. Reaches the M-profile CPU's own address-space view (NVIC/bit-band/PPB), not just the board's plain RAM/flash tree.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":34,"method":"tools/call","params":{"name":"write_memory","arguments":{"node_id":0,"address":"0x20000000","bytes":"deadbeef"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":34,"result":{"content":[{"type":"text","text":"wrote 4 bytes at 0x20000000"}]}}}
{"id":"inspect-disassemble","scenario":"inspect-state","step":6,"tool":"disassemble","title":"Disassemble guest code","description":"Decode ARM/Thumb instructions at a guest physical address (hex address + instruction count, capped at 256/call; thumb:false for ARM32 A-profile code). Useful to inspect a symbol's machine code, or the instructions around a faulting PC (pair with read_fault).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":35,"method":"tools/call","params":{"name":"disassemble","arguments":{"node_id":0,"address":"0x8","count":3}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":35,"result":{"content":[{"type":"text","text":"0x8: mov.w r0, #0x9000000\n0xc: movs r1, #0x4d\ne: str r1, [r0]\n"}]}}}
{"id":"inspect-read-log","scenario":"inspect-state","step":7,"tool":"read_log","title":"Tail the engine log","description":"Read a node's QEMU process log (combined stdout+stderr) \u2014 where sim_info!/sim_debug!/sim_err! telemetry lines land. No live session needed, so it stays readable after a crash/hang; pair with read_fault for a full post-mortem. Without since_line, returns the most recent lines (a tail); pass since_line to page forward through a long run.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":36,"method":"tools/call","params":{"name":"read_log","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":36,"result":{"content":[{"type":"text","text":"[QEMU 0 STDERR] [VTime:    0.00 ms] [Node: 0] [INFO ] [nrf52_clock] clock: node=0 fed='sim-abc123'"}]}}}
{"id":"inspect-symbolize","scenario":"inspect-state","step":8,"tool":"symbolize","title":"Resolve an address to function@file:line","description":"Resolve a bare guest code address to function@file:line (DWARF) or the symbol name (symtab-only), against the node's uploaded firmware ELF \u2014 the same B1 symbolizer read_fault/causal_query annotate their PCs with, standalone. Use after read_fault/causal_query/read_events name a raw PC you want a human-readable label for.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":91,"method":"tools/call","params":{"name":"symbolize","arguments":{"node_id":0,"addr":134218272}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":91,"result":{"content":[{"type":"text","text":"0x08000420  compute at sample.c:11"}]}}}
{"id":"inspect-stack-unwind","scenario":"inspect-state","step":9,"tool":"stack_unwind","title":"Reconstruct the call stack at a vtime","description":"The call stack open AT virtual time vtime on a node \u2014 a Cortex-M backtrace reconstructed by replaying the call/return event trace (RFC-0019 B7) up to vtime, outermost frame first, each call target symbolized against the node's uploaded ELF. Requires trace capture active before vtime (run the sim via run_until first \u2014 same precondition as causal_query).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":92,"method":"tools/call","params":{"name":"stack_unwind","arguments":{"node_id":0,"vtime":1500000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":92,"result":{"content":[{"type":"text","text":"Call stack at vtime 1500000 (outermost first):\n#0 main at sample.c:20\n#1 compute at sample.c:9\n"}]}}}
{"id":"inspect-read-trace","scenario":"inspect-state","step":10,"tool":"read_trace","title":"Read a bounded write trace","description":"Every memory write to addr whose virtual time falls in [lo, hi] (inclusive both ends) \u2014 a bounded window over the RFC-0019 B6 data-write trace, each with its writer PC symbolized. Requires trace capture active before the window (run the sim via run_until first \u2014 same precondition as causal_query).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":93,"method":"tools/call","params":{"name":"read_trace","arguments":{"node_id":0,"addr":536932352,"lo":0,"hi":2000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":93,"result":{"content":[{"type":"text","text":"Writes to 0x2000f000 in vtime [0, 2000000]:\n  vtime 500000 wrote 0x0 from compute at sample.c:11\n  vtime 1000000 wrote 0x1 from compute at sample.c:11\n  vtime 1500000 wrote 0x2 from compute at sample.c:11\n"}]}}}
{"id":"inspect-memory-diff","scenario":"inspect-state","step":11,"tool":"memory_diff","title":"Diff guest memory before/after","description":"Before/after guest-memory delta for one address: the value in effect (RFC-0019 B6 state@T) at before_vtime versus after_vtime, each annotated with its writer's symbolized PC, and whether it changed. Requires trace capture active before before_vtime (run the sim via run_until first \u2014 same precondition as causal_query).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":94,"method":"tools/call","params":{"name":"memory_diff","arguments":{"node_id":0,"addr":536932352,"before_vtime":0,"after_vtime":2000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":94,"result":{"content":[{"type":"text","text":"Memory diff for 0x2000f000: before (vtime 0) = never written; after (vtime 2000000) = 0x2 (written from compute at sample.c:11); changed = true\n"}]}}}
{"id":"breakpoint-set","scenario":"breakpoint","step":1,"tool":"set_breakpoint","title":"Arm a software breakpoint","description":"Arm a deterministic breakpoint at a PC (use the symbol's address from your ELF; addr=0 disarms). The node halts AT the next quantum boundary — virtual time stays stable and the PDES barrier never deadlocks (unlike gdb/QMP stop). Arm it before the firmware reaches the address; pair with run_until {breakpoint}, then read_fault / read_registers, then resume.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":51,"method":"tools/call","params":{"name":"set_breakpoint","arguments":{"node_id":0,"addr":134218272}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":51,"result":{"content":[{"type":"text","text":"node 0 breakpoint armed at 0x8000420"}]}}}
{"id":"breakpoint-run-until","scenario":"breakpoint","step":2,"tool":"run_until","title":"Wait for a breakpoint hit","description":"Advance virtual time until a node halts at a software breakpoint (see set_breakpoint). Optional {node_id} filter. The node pauses at the quantum boundary with vtime stable; inspect with read_registers / read_fault, then resume.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":52,"method":"tools/call","params":{"name":"run_until","arguments":{"breakpoint":{"node_id":0}}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":52,"result":{"content":[{"type":"text","text":"condition met"}]}}}
{"id":"breakpoint-resume","scenario":"breakpoint","step":3,"tool":"resume","title":"Resume after a breakpoint","description":"Release a breakpoint pause so the node resumes executing under virtual time — the counterpart to set_breakpoint + run_until {breakpoint}.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":53,"method":"tools/call","params":{"name":"resume","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":53,"result":{"content":[{"type":"text","text":"node 0 resumed"}]}}}
{"id":"breakpoint-set-watchpoint","scenario":"breakpoint","step":4,"tool":"set_watchpoint","title":"Arm a data watchpoint","description":"Arm a deterministic break-on-access watchpoint at a guest address (the memory-access peer of set_breakpoint) — length in bytes (1..=8), kind write (the only kind implemented today). The node halts AT the next quantum boundary — virtual time stays stable and the PDES barrier never deadlocks (unlike a real hardware watchpoint trap). Arm it before the firmware performs the access; pair with run_until {breakpoint}, then read_memory / read_registers, then resume.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":81,"method":"tools/call","params":{"name":"set_watchpoint","arguments":{"node_id":0,"address":1073745916,"length":4,"kind":"write"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":81,"result":{"content":[{"type":"text","text":"node 0 watchpoint armed at 0x4000ffbc len=4"}]}}}
{"id":"breakpoint-clear-watchpoint","scenario":"breakpoint","step":5,"tool":"clear_watchpoint","title":"Disarm a data watchpoint","description":"Disarm a node's software data watchpoint without releasing an already-triggered Time Authority pause (release that separately with resume). The counterpart to set_watchpoint.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":82,"method":"tools/call","params":{"name":"clear_watchpoint","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":82,"result":{"content":[{"type":"text","text":"node 0 watchpoint disarmed"}]}}}
{"id":"breakpoint-set-fault-autostop","scenario":"breakpoint","step":6,"tool":"set_fault_autostop","title":"Auto-stop at the node's HardFault handler","description":"Arm a breakpoint at the node's OWN HardFault_Handler — no ELF/symbol address needed (unlike set_breakpoint): reads the node's live vector table (SCB VTOR + the HardFault vector entry) and arms it via the same determinism-safe mechanism. Arm right after upload_firmware/start_node, then wait with run_until {breakpoint} and decode with read_fault.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":90,"method":"tools/call","params":{"name":"set_fault_autostop","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":90,"result":{"content":[{"type":"text","text":"node 0 fault-autostop armed at HardFault_Handler 0x0800044c (VTOR=0x08000000); wait with run_until {breakpoint}, then read_fault"}]}}}
{"id":"io-write-console","scenario":"console-io","step":1,"tool":"write_console","title":"Send console input","description":"Write host->guest bytes to a node's console (the passthrough boundary; no vtime, routed immediately).","needs_session":true,"request":{"jsonrpc":"2.0","id":40,"method":"tools/call","params":{"name":"write_console","arguments":{"node_id":0,"data":"S"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":40,"result":{"content":[{"type":"text","text":"wrote 1 byte to node 0 console"}]}}}
{"id":"io-read-link","scenario":"wire-io","step":1,"tool":"read_link","title":"Tap inter-node frames","description":"Frames seen crossing inter-node links (the wiretap tap): src node, vtime, seq, raw bytes (hex). Optional filters: link_id, since_vtime.","needs_session":true,"request":{"jsonrpc":"2.0","id":41,"method":"tools/call","params":{"name":"read_link","arguments":{"link_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":41,"result":{"content":[{"type":"text","text":"[{\"src_node_id\":0,\"delivery_vtime_ns\":1200000,\"sequence_number\":1,\"payload\":\"52756e6e696e67\"}]"}]}}}
{"id":"io-inject-frame","scenario":"wire-io","step":2,"tool":"inject_frame","title":"Inject a frame on a link","description":"Inject a frame onto an inter-node PDES link, scheduled at a virtual time (pass vtime_ns verbatim for reproducible scenarios; omit/0 for as-soon-as-possible). A past vtime is rejected, never crashing the sim. Use write_console for console input.","needs_session":true,"request":{"jsonrpc":"2.0","id":42,"method":"tools/call","params":{"name":"inject_frame","arguments":{"link_id":1,"data":"deadbeef","vtime_ns":2000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":42,"result":{"content":[{"type":"text","text":"injected 4 bytes on link 1 at vtime 2000000 ns"}]}}}
{"id":"io-inject-fault","scenario":"wire-io","step":3,"tool":"inject_fault","title":"Arm a deterministic link fault","description":"Arm a fault on a PDES link: the Nth REAL frame observed on link_id (1-indexed) is dropped, delayed, or has one payload byte XOR-corrupted — only genuine node-to-node traffic, never a test-injected frame. spec_id is a caller-assigned unique id (fresh per call). fire_vtime_ns gates WHEN the fault arms (0/omit = immediately). Get link_id from get_topology.","needs_session":true,"request":{"jsonrpc":"2.0","id":43,"method":"tools/call","params":{"name":"inject_fault","arguments":{"link_id":1,"spec_id":0,"nth_frame":1,"effect":"drop"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":43,"result":{"content":[{"type":"text","text":"armed spec_id 0 on link 1"}]}}}
{"id":"io-read-events","scenario":"wire-io","step":3,"tool":"read_events","title":"Read the causal event log","description":"The global vtime-ordered event log (link routes + lifecycle). Optional filters: kind, since_vtime, node (src), link_id.","needs_session":true,"request":{"jsonrpc":"2.0","id":43,"method":"tools/call","params":{"name":"read_events","arguments":{"kind":"pdes_route","since_vtime":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":43,"result":{"content":[{"type":"text","text":"[{\"kind\":\"pdes_route\",\"vtime_ns\":1200000,\"summary\":\"node 0 -> link 0 (7 bytes)\"}]"}]}}}
{"id":"lifecycle-reset-node","scenario":"lifecycle","step":1,"tool":"reset_node","title":"Reset a node to its reset vector","description":"Relaunch a node's firmware from the reset vector (virtual time rewinds to 0); the determinism-safe restart — the node re-joins as a fresh boot, reusing the last-uploaded firmware.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":50,"method":"tools/call","params":{"name":"reset_node","arguments":{"node_id":0}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":50,"result":{"content":[{"type":"text","text":"node 0 reset; rejoined at vtime 0"}]}}}
{"id":"lifecycle-goto","scenario":"lifecycle","step":2,"tool":"goto","title":"Time-travel to an earlier virtual time","description":"Rewind (or fast-forward) the simulation to EXACTLY vtime_ns and hold there, then inspect with read_memory / read_registers. A backward goto deterministically resets the node to boot and replays to the target (RFC-0008: re-running to the same vtime reproduces the same state); a forward goto is an exact-landing advance. Single-node sessions only; exact for guests that read no clock/cycle counter (the no-clock-read class).","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":53,"method":"tools/call","params":{"name":"goto","arguments":{"node_id":0,"vtime_ns":2000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":53,"result":{"content":[{"type":"text","text":"goto reached 2000000 ns"}]}}}
{"id":"lifecycle-reverse-step","scenario":"lifecycle","step":4,"tool":"reverse_step","title":"Step backward in time by one quantum","description":"Step the simulation BACKWARD by step_ns — a thin goto(current_vtime - step_ns) over the time-travel goto verb (reset-to-boot + deterministic replay, RFC-0008). step_ns is ε, typically one quantum (the prior quantum boundary). Inspect after with read_memory / read_registers. Single-node sessions; the no-clock-read class.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":55,"method":"tools/call","params":{"name":"reverse_step","arguments":{"node_id":0,"step_ns":1000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":55,"result":{"content":[{"type":"text","text":"reverse_step 1000000 ns: vtime 3000000 -> 2000000; goto reached 2000000 ns"}]}}}
{"id":"lifecycle-causal-query","scenario":"lifecycle","step":3,"tool":"causal_query","title":"Find what caused a fault, then rewind to it","description":"Time-travel debugging (RFC-0019 B8): given a suspect address and the fault's virtual time, compose the last writer of that address before the fault (with the value it wrote) and the call path open at the fault, symbolized against the node's firmware. Returns a goto target (the writer's vtime) to rewind to the cause. Run the sim via run_until first so trace capture precedes the fault. Single-node sessions.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":54,"method":"tools/call","params":{"name":"causal_query","arguments":{"node_id":0,"addr":536932352,"vtime":2000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":54,"result":{"content":[{"type":"text","text":"Causal query for addr 0x2000f000 at vtime 2000000:\n  last writer: vtime 1500000 wrote 0x2 from compute @ sample.c:11\n  goto target: vtime 1500000\n  call path at fault (outermost first):\n    #0 main @ sample.c:20\n    #1 compute @ sample.c:9\n"}]}}}
{"id":"feedback-request-mcu","scenario":"feedback","step":1,"tool":"request_mcu","title":"Request an MCU we don't have","description":"Agents are our customers — requesting a part is a prioritization signal. Recorded to the operator's feedback sink.","needs_session":false,"request":{"jsonrpc":"2.0","id":60,"method":"tools/call","params":{"name":"request_mcu","arguments":{"vendor":"Nordic","part":"nRF52840","why":"BLE + Thread firmware bring-up"}}},"expect":{"result_text_contains":"Recorded request_mcu"},"example_response":{"jsonrpc":"2.0","id":60,"result":{"content":[{"type":"text","text":"Recorded request_mcu — thank you; agent requests prioritize our roadmap. (…)"}]}}}
{"id":"feedback-request-link","scenario":"feedback","step":2,"tool":"request_link","title":"Request a link protocol","description":"Request an inter-node protocol you need.","needs_session":false,"request":{"jsonrpc":"2.0","id":61,"method":"tools/call","params":{"name":"request_link","arguments":{"protocol":"SPI","why":"sensor bus bring-up"}}},"expect":{"result_text_contains":"Recorded request_link"},"example_response":{"jsonrpc":"2.0","id":61,"result":{"content":[{"type":"text","text":"Recorded request_link — thank you …"}]}}}
{"id":"feedback-request-svd","scenario":"feedback","step":3,"tool":"request_svd","title":"Request a vendored SVD","description":"Request a CMSIS-SVD register map to be vendored.","needs_session":false,"request":{"jsonrpc":"2.0","id":62,"method":"tools/call","params":{"name":"request_svd","arguments":{"vendor":"Nordic","part":"nRF52840"}}},"expect":{"result_text_contains":"Recorded request_svd"},"example_response":{"jsonrpc":"2.0","id":62,"result":{"content":[{"type":"text","text":"Recorded request_svd — thank you …"}]}}}
{"id":"feedback-report-issue","scenario":"feedback","step":4,"tool":"report_issue","title":"Report a fidelity gap","description":"Report a bug or fidelity gap, optionally with a deterministic repro (world + firmware + seed).","needs_session":false,"request":{"jsonrpc":"2.0","id":63,"method":"tools/call","params":{"name":"report_issue","arguments":{"summary":"LPUART RDRF clears one byte early","repro":"world=s32k144_lpuart seed=1"}}},"expect":{"result_text_contains":"Recorded report_issue"},"example_response":{"jsonrpc":"2.0","id":63,"result":{"content":[{"type":"text","text":"Recorded report_issue — thank you …"}]}}}
{"id":"feedback-suggest-feature","scenario":"feedback","step":5,"tool":"suggest_feature","title":"Suggest a capability","description":"Suggest a capability you wish existed.","needs_session":false,"request":{"jsonrpc":"2.0","id":64,"method":"tools/call","params":{"name":"suggest_feature","arguments":{"summary":"set_breakpoint(symbol) + HardFault auto-trap"}}},"expect":{"result_text_contains":"Recorded suggest_feature"},"example_response":{"jsonrpc":"2.0","id":64,"result":{"content":[{"type":"text","text":"Recorded suggest_feature — thank you …"}]}}}
{"id":"feedback-ask-support","scenario":"feedback","step":6,"tool":"ask_support","title":"Ask an in-band support question","description":"Ask a support question; returns guidance + doc pointers (keyword-routed).","needs_session":false,"request":{"jsonrpc":"2.0","id":65,"method":"tools/call","params":{"name":"ask_support","arguments":{"question":"How do I read console output from a node?"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":65,"result":{"content":[{"type":"text","text":"Console: use write_console to send input and read_console to drain output …"}]}}}
{"id":"observe-get-usage","scenario":"observe","step":1,"tool":"get_usage","title":"Check your usage budget","description":"Returns your usage so you can self-pace. `session` is THIS session vCPU-second budget toward its TTL cap (vcpu_seconds_used / session_pct_used / expires_in_s); `account` is your rolling-window account usage (window / pct_used / resets_in_s) when the control plane signed a usage grant onto session-create, else null (the engine never sees raw quota, only the %). Both null when run standalone. Call it to decide whether to keep working or wrap up.","needs_session":false,"request":{"jsonrpc":"2.0","id":70,"method":"tools/call","params":{"name":"get_usage","arguments":{}}},"expect":{"result_text_contains":"account"},"example_response":{"jsonrpc":"2.0","id":70,"result":{"content":[{"type":"text","text":"{\"session\":{\"vcpu_seconds_used\":42,\"session_pct_used\":4,\"expires_in_s\":858},\"account\":{\"window\":\"7d\",\"pct_used\":42.5,\"resets_in_s\":318000}}"}]}}}
{"id":"compile-source-to-elf","scenario":"compile","step":1,"tool":"compile","title":"Compile source to a firmware ELF (then upload + run)","description":"The cloud write→compile→run loop, all MCP: compile your C/asm to an ELF (no local toolchain), then upload_firmware{node_id, firmware_hex: elf_hex} → reset_node{node_id} → run_until/read_console. 'mcu' is the target core; 'sources' maps filename → base64 of the file bytes. Returns {elf_hex, elf_sha256, warnings}, or compiler diagnostics on failure. Hosted-session only.","needs_session":true,"request":{"jsonrpc":"2.0","id":80,"method":"tools/call","params":{"name":"compile","arguments":{"mcu":"cortex_m4","sources":{"main.c":"aW50IG1haW4odm9pZCl7cmV0dXJuIDA7fQ=="}}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":80,"result":{"content":[{"type":"text","text":"{\"elf_hex\":\"7f454c46010101...\",\"elf_sha256\":\"e3b0c442...\",\"warnings\":\"\"}"}]}}}
{"id":"fuzz-start-campaign","scenario":"fuzz","step":1,"tool":"fuzz_start","title":"Admit and enqueue a fuzz campaign","description":"fuzz_start admits and enqueues a campaign, returning a campaign_id IMMEDIATELY — it never blocks (a campaign runs minutes-to-hours on a separate worker, never inside this tool call). vcpu_ceiling_secs is checked up-front against your session's remaining fuzz budget; too large and the call is refused with both numbers named. global_seed/firmware_hash/world_usda_hash/engine_revision are the determinism inputs a later crash replay needs. Poll with fuzz_status{campaign_id}. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":81,"method":"tools/call","params":{"name":"fuzz_start","arguments":{"vcpu_ceiling_secs":3600,"global_seed":12345,"firmware_hash":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","world_usda_hash":"9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08","engine_revision":"v1.0.0"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":81,"result":{"content":[{"type":"text","text":"{\"campaign_id\":\"01912e4a-1b2c-7def-9abc-0123456789ab\",\"state\":\"ADMITTED\"}"}]}}}
{"id":"fuzz-poll-campaign-status","scenario":"fuzz","step":2,"tool":"fuzz_status","title":"Poll a fuzz campaign's state","description":"Poll a campaign's current state: REQUESTED → ADMITTED → RUNNING → {COMPLETED|FAILED|CANCELLED|BUDGET_EXHAUSTED}. Terminal states are reached by the worker, never by you waiting on this call. BUDGET_EXHAUSTED is a normal terminal state with its artifacts intact, not an error. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":82,"method":"tools/call","params":{"name":"fuzz_status","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":82,"result":{"content":[{"type":"text","text":"{\"campaign_id\":\"01912e4a-1b2c-7def-9abc-0123456789ab\",\"state\":\"ADMITTED\",\"vcpu_ceiling_secs\":3600,\"vcpu_consumption_secs\":0,\"is_terminal\":false}"}]}}}
{"id":"fuzz-fetch-campaign-corpus","scenario":"fuzz","step":3,"tool":"fuzz_corpus","title":"Fetch a fuzz campaign's evolving input corpus","description":"fuzz_corpus returns a campaign's evolving input corpus: the input samples (hex-encoded) that triggered new code coverage during the search — the interesting seeds the fuzzer keeps and mutates to explore further. Empty while the campaign is still ADMITTED/RUNNING or has no corpus yet; an unknown campaign_id is a loud tool error, never a fabricated corpus. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":83,"method":"tools/call","params":{"name":"fuzz_corpus","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":83,"result":{"content":[{"type":"text","text":"{\"campaign_id\":\"01912e4a-1b2c-7def-9abc-0123456789ab\",\"corpus\":[]}"}]}}}
{"id":"fuzz-fetch-campaign-crashes","scenario":"fuzz","step":4,"tool":"crash_list","title":"Fetch a fuzz campaign's REPORTABLE crashes","description":"crash_list returns a campaign's REPORTABLE crashes (x2-deterministic-replay-PROMOTED crashes only), never unreproducible crashes. Returns the crash records promoted to REPORTED status during the fuzz campaign — empty list while the campaign is still ADMITTED/RUNNING or has no reportable crashes yet; an unknown campaign_id is a loud tool error, never a fabricated list. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":84,"method":"tools/call","params":{"name":"crash_list","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":84,"result":{"content":[{"type":"text","text":"{\"campaign_id\":\"01912e4a-1b2c-7def-9abc-0123456789ab\",\"crashes\":[]}"}]}}}
{"id":"fuzz-replay-crash","scenario":"fuzz","step":5,"tool":"crash_repro","title":"Deterministically replay a specific promoted crash","description":"crash_repro deterministically replays a specific promoted crash artifact from a fuzz campaign and returns the replay result. The replay uses the recorded determinism inputs (global seed, firmware hash, world .usda hash, engine revision, crashing input) to reproduce the crash bit-identically on every invocation. Returns the replay result (the x2-bit-identical outcome / the reproduction evidence) \u2014 a non-deterministic result here is a product defect, not a flaky test. An unknown campaign_id or crash_id is a loud tool error, never a fabricated replay. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":85,"method":"tools/call","params":{"name":"crash_repro","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab","crash_id":"crash-abc-001"}}},"expect":{"is_error":true},"example_response":{"jsonrpc":"2.0","id":85,"result":{"content":[{"type":"text","text":"crash 'crash-abc-001' not found or not promoted"}],"isError":true}}}
{"id":"lifecycle-reverse-continue","scenario":"lifecycle","step":5,"tool":"reverse_continue","title":"Rewind to the last write of an address","description":"Time-travel debugging (RFC-0019 B9): rewind to the LAST write of an address before the current virtual time AND land there — a find-then-goto wrapper composing the last-writer query (like causal_query) with the backward goto verb (reset-to-boot + deterministic replay, RFC-0008). The node ends up parked at that write, ready for read_memory / read_registers. No write before now → fails loud. Run the sim via run_until first so trace capture precedes now. Single-node sessions; the no-clock-read class.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":56,"method":"tools/call","params":{"name":"reverse_continue","arguments":{"node_id":0,"last_write_to":536932352}}},"expect":{"has_result":true,"is_error":true},"example_response":{"jsonrpc":"2.0","id":56,"result":{"content":[{"type":"text","text":"no write to 0x2000f000 before vtime <current> — nothing to reverse_continue to"}],"isError":true}}}
{"id": "discover-scenario-gallery", "scenario": "discover", "step": 5, "tool": "gallery", "title": "Find a working end-to-end demo close to what you want to build", "description": "The scenario gallery: curated, working end-to-end VirtMCU demos (cross-vendor Ethernet, two Wi-Fi nodes, a 3-ECU CAN segment, sensor->actuator control), each with a use-case story, the backing integration test(s) that prove it runs, and a CI-grounded maturity. No id gives a one-line-per-scenario index; pass id (e.g. eth_cross_vendor) for the full story + backing tests. Derived from the gallery/ manifests.", "needs_session": false, "request": {"jsonrpc": "2.0", "id": 14, "method": "tools/call", "params": {"name": "gallery", "arguments": {"id": "eth_cross_vendor"}}}, "expect": {"result_text_contains": "eth_cross_vendor"}, "example_response": {"jsonrpc": "2.0", "id": 14, "result": {"content": [{"type": "text", "text": "Cross-vendor Ethernet frame exchange [✅] — eth_cross_vendor\n\nTwo MCUs from different silicon vendors talk Ethernet to each other with no shared driver code.\nNode 0 runs an ST STM32H743 whose EQOS (GMAC) MAC drives the link; node 1 runs an NXP part whose\nENET (FEC) MAC drives the same medium. Each firmware brings its own vendor MAC up from the\nregister level, then transmits an Ethernet frame; the coordinator carries every frame across the\nPDES quantum barrier so the exchange is bit-identical on every run. This is the proof that\nVirtMCU's `eth-core` shared per-protocol layer (RFC-0018) lets a vendor frontend (EQOS vs FEC)\ndiffer entirely while the on-wire Ethernet behaviour stays interoperable — a real two-vendor\nnetwork, deterministically replayable.\n\nBacking tests:\n- test_eth_cross_vendor_exchange (CI-gated)\n- test_eth_cross_vendor_deterministic (CI-gated)\n\nMCUs: stm32h743, rt1062\n\nVendor notes: ST EQOS and NXP FEC are completely different MAC designs (descriptor formats, register maps,\nDMA models). They interoperate only because the Ethernet frame on the medium is vendor-neutral;\nthe shared `eth-core` carries it while each frontend keeps its own SVD-derived register decode.\n"}]}}}
{"id": "snapshot-save", "scenario": "snapshot", "step": 1, "tool": "snapshot_save", "title": "Save a checkpoint of the current virtual time", "description": "Save a named checkpoint of the CURRENT virtual time (RFC-0019) so you can later snapshot_restore back to it without tracking the vtime yourself. Returns a snapshot id. A thin id/vtime handle over the goto time-travel mechanism (re-running to the same vtime reproduces the same state, RFC-0008) \u2014 it remembers WHEN, it does not freeze/copy guest memory. Single-node sessions; the no-clock-read class (same contract as goto).", "needs_session": true, "request": {"jsonrpc": "2.0", "id": 90, "method": "tools/call", "params": {"name": "snapshot_save", "arguments": {"node_id": 0}}}, "expect": {"has_result": true}, "example_response": {"jsonrpc": "2.0", "id": 90, "result": {"content": [{"type": "text", "text": "snapshot snap-1 saved: node 0 @ vtime 3000000 ns"}]}}}
{"id": "snapshot-info", "scenario": "snapshot", "step": 2, "tool": "snapshot_info", "title": "List saved checkpoints", "description": "List checkpoints saved this session via snapshot_save (id, node, vtime_ns), or describe one by id. Pure introspection \u2014 no guest I/O.", "needs_session": true, "request": {"jsonrpc": "2.0", "id": 91, "method": "tools/call", "params": {"name": "snapshot_info", "arguments": {}}}, "expect": {"has_result": true}, "example_response": {"jsonrpc": "2.0", "id": 91, "result": {"content": [{"type": "text", "text": "snap-1: node 0 @ vtime 3000000 ns\n"}]}}}
{"id": "snapshot-restore", "scenario": "snapshot", "step": 3, "tool": "snapshot_restore", "title": "Time-travel back to a saved checkpoint", "description": "Time-travel back to a snapshot_save'd checkpoint by id \u2014 equivalent to goto(vtime_ns) at the vtime that was current when you called snapshot_save. A backward restore deterministically resets the node to boot and replays to that vtime (RFC-0008); a forward restore is an exact-landing advance. Single-node sessions only; the no-clock-read class. Fails loud on an unknown id \u2014 call snapshot_info to list saved ones.", "needs_session": true, "request": {"jsonrpc": "2.0", "id": 92, "method": "tools/call", "params": {"name": "snapshot_restore", "arguments": {"id": "snap-1"}}}, "expect": {"has_result": true}, "example_response": {"jsonrpc": "2.0", "id": 92, "result": {"content": [{"type": "text", "text": "snapshot snap-1 restored: node 0 -> vtime 3000000 ns; goto reached 3000000 ns"}]}}}
{"id":"inspect-read-vector-table","scenario":"inspect-state","step":2.5,"tool":"read_vector_table","title":"Decode the ARM vector table","description":"After uploading firmware, read and decode the Cortex-M vector table (stored at VTOR, the Vector Table Offset Register): returns the initial stack pointer (word[0]), reset handler address (word[1] with Thumb bit masked), and exception/IRQ vector addresses. Use to verify the firmware loaded correctly and compare against your ELF symbol table to locate exception handlers.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":33.5,"method":"tools/call","params":{"name":"read_vector_table","arguments":{"node_id":0}}},"expect":{"has_result":true,"result_text_contains":"Vector table at VTOR"},"example_response":{"jsonrpc":"2.0","id":33.5,"result":{"content":[{"type":"text","text":"Vector table at VTOR=0x08000000:\n  Initial SP: 0x20008000\n  Reset Vector: 0x08000420 (raw 0x08000421)\n  Exception Vectors:\n    NMI: 0x08000500 (raw 0x08000501)\n    HardFault: 0x08000520 (raw 0x08000521)\n    MemManage: 0x00000000 (raw 0x00000000)\n    BusFault: 0x00000000 (raw 0x00000000)\n    UsageFault: 0x00000000 (raw 0x00000000)\n    Reserved[0]: 0x00000000 (raw 0x00000000)\n    Reserved[1]: 0x00000000 (raw 0x00000000)\n    Reserved[2]: 0x00000000 (raw 0x00000000)\n    SVCall: 0x00000000 (raw 0x00000000)\n    PendSV: 0x00000000 (raw 0x00000000)\n    SysTick: 0x00000000 (raw 0x00000000)"}]}}}
{"id": "discover-describe-capabilities", "scenario": "discover", "step": 6, "tool": "describe_capabilities", "title": "Know your tier + every tool's min_tier, and how to upgrade", "description": "Notion-style access map over every MCP tool: {tool, min_tier, category, status, callable_by_this_session} plus the tier/price table and upgrade_url. callable_by_this_session is honestly null -- this MCP child process cannot see which paid tier the current session authenticated as (only the broker resolves and enforces that, by design, so a client can never forge a higher tier); compare your own known account tier against each tool's min_tier yourself (tiers are cumulative by rank: student < pro < max). Sourced from the same capabilities.toml SSoT the broker's enforcement gate and the public pricing page read, so this can never drift from either.", "needs_session": false, "request": {"jsonrpc": "2.0", "id": 15, "method": "tools/call", "params": {"name": "describe_capabilities", "arguments": {}}}, "expect": {"result_text_contains": "callable_by_this_session"}, "example_response": {"jsonrpc": "2.0", "id": 15, "result": {"content": [{"type": "text", "text": "{\"contract_version\":1,\"schema_version\":2,\"session_tier_known\":false,\"session_tier_note\":\"This MCP child process cannot see which paid tier the current session is authenticated as: only the broker frontdoor resolves the tier, and the child deliberately receives no tier over env (design doc 23-mcp-capability-tiering.md §6 — a child-side tier gate is impossible by design, which is also the anti-forgery guarantee: no client-supplied tier means no forgeable tier). So `callable_by_this_session` is always null here, never a fabricated true/false — compare your own known account tier against each tool's `min_tier` (tiers are cumulative: student < pro < max by `rank`), or call a tool and read the `isError` upgrade payload if you are unsure. See `upgrade_url` to upgrade.\",\"tiers\":[{\"contact_sales\":false,\"name\":\"Free / Discovery\",\"price_usd_month\":0.0,\"rank\":0,\"slug\":\"public\"},{\"contact_sales\":false,\"name\":\"Student\",\"price_usd_month\":9.0,\"rank\":1,\"slug\":\"student\"},{\"contact_sales\":false,\"name\":\"Pro\",\"price_usd_month\":99.0,\"rank\":2,\"slug\":\"pro\"},{\"contact_sales\":false,\"name\":\"Max\",\"price_usd_month\":199.0,\"rank\":3,\"slug\":\"max\"},{\"contact_sales\":true,\"name\":\"Enterprise\",\"price_usd_month\":null,\"rank\":4,\"slug\":\"enterprise\"}],\"tools\":[{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"describe_capabilities\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"gallery\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"list_mcu_types\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"list_link_types\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"list_svds\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"mcu_capabilities\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"get_usage\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"ask_support\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"report_issue\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"suggest_feature\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"request_mcu\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"request_link\"},{\"callable_by_this_session\":null,\"category\":\"discovery\",\"min_tier\":\"public\",\"status\":\"shipped\",\"tool\":\"request_svd\"},{\"callable_by_this_session\":null,\"category\":\"compile\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"compile\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"upload_firmware\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"reset_node\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"start_node\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"run_until\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"read_console\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"write_console\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"read_registers\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"read_memory\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"get_time\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"get_topology\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"list_nodes\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"list_memory_regions\"},{\"callable_by_this_session\":null,\"category\":\"execution\",\"min_tier\":\"student\",\"status\":\"shipped\",\"tool\":\"read_log\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"set_breakpoint\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"resume\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"set_watchpoint\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"clear_watchpoint\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"set_fault_autostop\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"read_fault\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"read_vector_table\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"disassemble\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"write_memory\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"read_events\"},{\"callable_by_this_session\":null,\"category\":\"debug\",\"min_tier\":\"pro\",\"status\":\"shipped\",\"tool\":\"read_link\"},{\"callable_by_this_session\":null,\"category\":\"faultinj\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"inject_fault\"},{\"callable_by_this_session\":null,\"category\":\"faultinj\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"inject_frame\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"goto\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"reverse_step\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"reverse_continue\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"snapshot_save\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"snapshot_restore\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"snapshot_info\"},{\"callable_by_this_session\":null,\"category\":\"timetravel\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"causal_query\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"fuzz_start\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"fuzz_status\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"shipped\",\"tool\":\"fuzz_corpus\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"crash_list\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"crash_repro\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"crash_minimize\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"coverage_map\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"shadow_oracle\"},{\"callable_by_this_session\":null,\"category\":\"fuzz\",\"min_tier\":\"max\",\"status\":\"planned\",\"tool\":\"differential_replay\"}],\"upgrade_url\":\"https://virtmcu.com/pricing\"}"}]}}}
{"id":"fuzz-minimize-crash","scenario":"fuzz","step":6,"tool":"crash_minimize","title":"Shrink a crashing input to minimal reproducible form","description":"crash_minimize deterministically shrinks a crashing input while preserving its crash signature, using delta-debugging (Zeller ddmin). Takes campaign_id and crash_id to identify which crash to minimize. Returns the minimized input (hex-encoded), minimized artifact address, original and minimized sizes, and the preserved signature. The minimization oracle: a candidate input preserves the crash IFF its replay produces the exact same signature (byte-identical) as the original, and the replay is x2 stable. An unknown campaign_id or crash_id is a loud tool error, never a fabricated result. Hosted-session only (MAX tier).","needs_session":true,"request":{"jsonrpc":"2.0","id":86,"method":"tools/call","params":{"name":"crash_minimize","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab","crash_id":"crash-abc-001"}}},"expect":{"is_error":true},"example_response":{"jsonrpc":"2.0","id":86,"result":{"content":[{"type":"text","text":"crash 'crash-abc-001' not found or not promoted"}],"isError":true}}}
{"id":"fuzz-fetch-campaign-coverage","scenario":"fuzz","step":5,"tool":"coverage_map","title":"Fetch a fuzz campaign's code coverage","description":"Report code coverage for a campaign (per-region breakdown).","needs_session":true,"request":{"jsonrpc":"2.0","id":85,"method":"tools/call","params":{"name":"coverage_map","arguments":{"campaign_id":"01912e4a-1b2c-7def-9abc-0123456789ab"}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":85,"result":{"content":[{"type":"text","text":"{\"campaign_id\":\"01912e4a-1b2c-7def-9abc-0123456789ab\",\"total\":{\"measured\":false},\"regions\":[]}"}]}}}
{"id":"reverse-continue-boot-write","scenario":"reverse-continue-ok","step":1,"tool":"reverse_continue","title":"Rewind to a real write (the boot-time TX buffer store)","description":"Time-travel debugging (RFC-0019 B9), the genuinely-successful counterpart to lifecycle-reverse-continue: nrf52_uarte_tx_probe writes its \"HELLO\\n\" TX buffer to 0x20000010 as its very first instructions (Reset_Handler, before UARTE_ENABLE), so this address has exactly one write, made near vtime 0 -- stable regardless of how far the shared session has otherwise advanced by the time this record runs. Run the sim via run_until first so trace capture precedes the query. Single-node sessions; the no-clock-read class.","needs_session":true,"depends_on":["boot-and-run"],"request":{"jsonrpc":"2.0","id":95,"method":"tools/call","params":{"name":"reverse_continue","arguments":{"node_id":0,"last_write_to":536870928}}},"expect":{"has_result":true,"result_text_not_contains":"no write"},"example_response":{"jsonrpc":"2.0","id":95,"result":{"content":[{"type":"text","text":"reverse_continue to last write to 0x20000010: vtime <current> -> <write vtime>; goto reached <write vtime> ns"}]}}}
{"id":"gpio-inject-frame","scenario":"gpio","step":1,"tool":"inject_frame","title":"Drive a GPIO input pin","description":"On the gpio_demo world the firmware's input port (IDR) is wired to link 1. Drive it by injecting a u32 little-endian pin word: to set IDR=0x00001234, send the 4 little-endian bytes 34120000 (NOT 00001234). The demo firmware spin-reads IDR and prints 'N0:idr=00001234' to the console once a nonzero word arrives (read it with read_console). Pass vtime_ns for a reproducible scenario; omit it (or 0) for as-soon-as-possible.","needs_session":true,"request":{"jsonrpc":"2.0","id":51,"method":"tools/call","params":{"name":"inject_frame","arguments":{"link_id":1,"data":"34120000","vtime_ns":5000000}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":51,"result":{"content":[{"type":"text","text":"injected at vtime 5000000 (link 1, seq 0, 4 bytes)"}]}}}
{"id":"gpio-read-link","scenario":"gpio","step":2,"tool":"read_link","title":"Observe a GPIO pin frame","description":"Tap link 1 with read_link to see the pin-state frames crossing the GPIO link on the gpio_demo world: the bytes you drove with inject_frame (your input edge) and the firmware's own ODR writes (its output edge) — each a u32 little-endian pin word. The observe stream buffers from the moment you first tap, so call read_link before advancing the clock to catch the firmware's boot-time ODR=0x0000ABCD edge (payload cdab0000).","needs_session":true,"request":{"jsonrpc":"2.0","id":52,"method":"tools/call","params":{"name":"read_link","arguments":{"link_id":1}}},"expect":{"has_result":true},"example_response":{"jsonrpc":"2.0","id":52,"result":{"content":[{"type":"text","text":"[vtime 5000000 link 1 src node 4294967294 seq 0] 4 bytes: 34120000"}]}}}