{"_canonicalization":{"envelope_id":"axm_ + sha256(envelope minus {signature, axiom_id, anchors})","envelope_signature":"ed25519(envelope minus {signature, axiom_id})","json":"sort_keys=True, separators=(',',':'), ensure_ascii=False, allow_nan=False, utf-8","leaf_hash":"sha256(0x00 || canonical_json(envelope_full))","seal_signature":"ed25519(seal minus {signature, sig_algorithm})"},"axiom_id":"axm_032ce687b61be2e44e621fcc03dc052cdc7e39bf54070c0bfab469c53884882e","bitcoin_anchor":{"bitcoin_attestations":[],"calendar_attestations":[],"ots_url":"","stamped_at":"","status":"pending_next_stamp"},"envelope":{"anchors":[{"chain":"crovia.axiom_graph","height":0,"merkle_proof":"spider_vendor_press_v1","root_at_anchor":"spider_vendor_press_v1"}],"axiom_id":"axm_032ce687b61be2e44e621fcc03dc052cdc7e39bf54070c0bfab469c53884882e","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"30371528648dae19a28aaab88326e8f05eb61837c26a43a3aa15be48a69a8300","published":"Thu, 16 Jul 2026 00:00:00 -0400","receipt_hash":"30371528648dae19a28aaab88326e8f05eb61837c26a43a3aa15be48a69a8300","schema":"spider.news.vendor_press.v1","spider":"vendor_press","spider_record":{"axiom_subtype":"news.vendor_press.v1","category":"news","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"30371528648dae19a28aaab88326e8f05eb61837c26a43a3aa15be48a69a8300","observed_at":"2026-07-16T04:44:04.234592Z","parent_run_hash":"392cd8ef881a5a54dbb7fbd0e0c490e4811d7ed32379244b3196bd5cb9c5d632","published":"Thu, 16 Jul 2026 00:00:00 -0400","runtime_version":"0.1.0","schema":"spider.news.vendor_press.v1","source_status":200,"source_url":"https://export.arxiv.org/rss/cs.AI","spider":"vendor_press","summary_excerpt":"arXiv:2607.11098v3 Announce Type: replace-cross \nAbstract: Tool-using LLM agents are mostly evaluated assuming all tools work. When a tool times out, returns a week-stale value, or has its description poisoned in deployment, the developer needs a controlled way to reproduce the failure, test a fix, and confirm the fix worked before deployment. We present AgentCheck, an open-source web workbench that turns an MCP server into an intervention surface. AgentCheck runs an agent against its real tools and records every tool response, then re-runs the agent with the response perturbed by a fault (12 types) injector. Matching tool calls are replayed from cache, and later tool calls go live after the agent diverges. This yields a reproduce-intervene-confirm loop: the developer toggles a mitigation, re-runs against the identical fault, and sees if the failure goes away. Scoring has two parts: deterministic pass/fail rules, plus an LLM judge for interpretive labels, validated against human annota","title":"AgentCheck: A Reproduce-Intervene-Mitigate Workbench for LLM Agents over MCP","url":"https://arxiv.org/abs/2607.11098","vendor":"arxiv_cs_ai"},"summary":"arXiv:2607.11098v3 Announce Type: replace-cross \nAbstract: Tool-using LLM agents are mostly evaluated assuming all tools work. When a tool times out, returns a week-stale value, or has its description poisoned in deployment, the developer needs a controlled way to reproduce the failure, test a fix, and confirm the fix worked before deployment. We present AgentCheck, an open-source web workbench that turns an MCP server into an intervention surface. AgentCheck runs an agent against its real tools and records every tool response, then re-runs the agent with the response perturbed by a fault (12 types) injector. Matching tool calls are replayed from cache, and later tool calls go live after the agent diverges. This yields a reproduce-intervene-confirm loop: the developer toggles a mitigation, re-runs against the identical fault, and sees if the failure goes away. Scoring has two parts: deterministic pass/fail rules, plus an LLM judge for interpretive labels, validated against human annota","title":"AgentCheck: A Reproduce-Intervene-Mitigate Workbench for LLM Agents over MCP","vendor":"arxiv_cs_ai"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-07-16T04:44:04Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://arxiv.org/abs/2607.11098"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:5077aeaa83c2e9ee81bb9fff1199e758fa05d532b8c9af608d8f8353d837743d411112ffc5b77e4caa2d4df679316b49e7f55605b7f5bf9e802f0e3a9080590a","signer":"crovia.substrate","subject":{"observed_at":"2026-07-16T04:44:04Z","source_collector":"spider:vendor_press","target_id":"https://arxiv.org/abs/2607.11098"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/news/vendor_press_v1.jsonl\",\"source_seal_merkle_root\":\"spider_vendor_press_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"271f73044b5caf5c7bc22d45a0a4393fac6ec86c5ef60a8211c268056d55ebfa","leaf_index":319953,"ledger_path":"/opt/crovia/substrate/axiom_ledger.jsonl"},"merkle_proof":{"hash_alg":"sha256","leaf_prefix":"0x00","node_prefix":"0x01","odd_leaf_rule":"duplicate_last","path":[{"sibling":"add76c618275149d5d4836e464438c30e6d48a8afbac741e33701f6f2cc39157","side":"left"},{"sibling":"76af0877c675c547c92097806be2f7d2ebd2c0c00138c764d634d3016dc55926","side":"right"},{"sibling":"209edfc5e3b01c24b3eb02c6c36bb133d86519044da13257bbfe6d185ec8f98c","side":"right"},{"sibling":"1e9f18c02085eef31775cd192d5bc15a32fa7ebe29ca981cf4de6db55efdb666","side":"right"},{"sibling":"23d7e8b1667445e953bb7a7b49af99c0d4618e20d453ad137cf6276fa631709d","side":"left"},{"sibling":"8de3d2c9be9c8881e4d97ee3bb958f443d88fde448a4b27d43aa69b37b632fb3","side":"right"},{"sibling":"7a3dabe9480da90b514bcda6d2dfaf80d3efe589a7797cc344e1ae5b6bc80c43","side":"left"},{"sibling":"07cc977fce7e64af6ef759252372209956d49c5a495213666eef01b40c0f6d6f","side":"left"},{"sibling":"929619d7bb5abd9d4c015f749565f8d43a371ed382bafe122457d67edb9b8323","side":"left"},{"sibling":"1290775fa2a1fe2079ed83a9c60b8cb479714b6312967daa62f6a91dbbe1cac9","side":"right"},{"sibling":"95977bf2fb44d423026e874e6c275f78b1cf48666d2c472c5e4603d16f4faf7f","side":"right"},{"sibling":"6b83879fdb76b5b7270071f1edfe4d1a059fa9b92653e70fc8c8893214b8f237","side":"right"},{"sibling":"ff49c1d8749b258f58cc33cfaf20d723098ed6860fb62a6779db960d6250915b","side":"right"},{"sibling":"34d85f6ad6cc7dfa79d90e2b9ff99a561bcdc75b0301bbbd3e83861f54535c1e","side":"left"},{"sibling":"f302542c38ba7c3aab7c9280dd60259ecec777dca6e6f71b6f0729b0b8791b72","side":"left"},{"sibling":"d8b9143917b539c543cf4448cec00131f8b807bd8004979c54ebe09798748c66","side":"left"},{"sibling":"3ee6ab8db1878db0b324dd807ca233edd472899b8e90d2c5e018848ea5d12d99","side":"right"},{"sibling":"73a8d1605c15a74de720f0c54b5b4567e3eb8b5999bd8812dc66eedc461540fa","side":"right"},{"sibling":"1cecb7f447febd025aac272837c80de218aecc6485d2395a509b2a1f1b9c746e","side":"left"}]},"schema":"crovia.axiom_proof.v1","seal":{"first_collector_run_id":"","first_receipt_hash":"","jsonl_path":"/opt/crovia/substrate/axiom_ledger.jsonl","key_id":"430895f101d38164","last_collector_run_id":"","last_receipt_hash":"","leaf_count":320080,"merkle_root":"1e159bceacfdb1f3c930dae410f8759ddc4c762abcfa4a257b150d6f44ab16e0","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260716T053701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-07-16T05:38:31Z","sig_algorithm":"ed25519","signature":"c1cd1fc5704d4fec4dee47b29a0e9877f8cfb41eb61dcfd783d82344a15f6e44d80d6cd5128849547b62fe9d9724fc71433319ab6030445b4ac1c9e6bf8a3709","signer_version":"1.1.0"},"trust_root":{"key_id":"430895f101d38164","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","signature_algorithm":"ed25519","url":"/registry/canon/TRUST_ROOT.md"},"verifier":{"spec":"/registry/canon/AXIOM_RECEIPT_v1.md","url":"/v/axm_032ce687b61be2e44e621fcc03dc052cdc7e39bf54070c0bfab469c53884882e"}}