{"_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_6366c18ba46f07a2759e8804884b7e1079ebb531bb2b6a8aecd267c1fcc9efe3","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_arxiv_retraction_v1","root_at_anchor":"spider_arxiv_retraction_v1"}],"axiom_id":"axm_6366c18ba46f07a2759e8804884b7e1079ebb531bb2b6a8aecd267c1fcc9efe3","axiom_type":"AX.OBS","body":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","fingerprint":"c8ef4832a886d0868706ff02dc81caf1d67dea489087087d85f30b06138ee422","published":"2026-07-27T01:57:39Z","receipt_hash":"c8ef4832a886d0868706ff02dc81caf1d67dea489087087d85f30b06138ee422","schema":"spider.research.arxiv_retraction.v1","spider":"arxiv_retraction","spider_record":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"c8ef4832a886d0868706ff02dc81caf1d67dea489087087d85f30b06138ee422","observed_at":"2026-07-28T05:53:26.916583Z","parent_run_hash":"a29375a68f9057951756bd0d754a2a06d4197373576228a92c059e4ce8a5b46d","published":"2026-07-27T01:57:39Z","runtime_version":"0.1.0","schema":"spider.research.arxiv_retraction.v1","source_status":200,"source_url":"http://export.arxiv.org/api/query?search_query=cat:cs.AI+AND+%28abs:withdrawn+OR+abs:retracted%29&max_results=20&sortBy=submittedDate&sortOrder=descending","spider":"arxiv_retraction","summary_excerpt":"LLM agents increasingly coordinate through persistent shared memory: one agent's write becomes another agent's premise, and eventually a tool call with real side effects. Current agent memory systems treat every accepted write as immediately actionable truth, so a polluted tool result, a stale update, or a teammate's half-finished note can silently drive an irreversible action. We argue that a memory write is not a belief commit. We present MemTX, a transactional belief-commit protocol. Each record carries evidence, permissions, provenance, and validity. Writes are staged inside snapshot-isolated transactions and admitted by a validate-and-commit pipeline, irreversible tool calls are gated on in-flight belief state, and retracting a belief triggers typed cascading repair of its derived records and tool side effects. Two invariants, action-safety gating and cascade-repair completeness, are machine-checked by property-based testing and bounded exhaustive enumeration of 5.5 million protoc","title":"MemTX: Transactional Belief Commit for Stateful Agent Memory","url":"https://arxiv.org/pdf/2607.23929v1","vendor":"arxiv"},"summary":"LLM agents increasingly coordinate through persistent shared memory: one agent's write becomes another agent's premise, and eventually a tool call with real side effects. Current agent memory systems treat every accepted write as immediately actionable truth, so a polluted tool result, a stale update, or a teammate's half-finished note can silently drive an irreversible action. We argue that a memory write is not a belief commit. We present MemTX, a transactional belief-commit protocol. Each record carries evidence, permissions, provenance, and validity. Writes are staged inside snapshot-isolated transactions and admitted by a validate-and-commit pipeline, irreversible tool calls are gated on in-flight belief state, and retracting a belief triggers typed cascading repair of its derived records and tool side effects. Two invariants, action-safety gating and cascade-repair completeness, are machine-checked by property-based testing and bounded exhaustive enumeration of 5.5 million protoc","title":"MemTX: Transactional Belief Commit for Stateful Agent Memory","vendor":"arxiv"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-07-28T05:53:26Z","notes":"Spider arxiv_retraction (research) research.arxiv_retraction.v1","object":{"captured_by":"crovia.spider.arxiv_retraction","primary_source_url":"https://arxiv.org/pdf/2607.23929v1"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:a01d28681e4608006e26a96a9f43643c057ad8115d4d2f3bbd02840724ef35bbeb6ae0aac2378689fc96b01eacd1f27488f3c5e01194bdf53954c82bbc56a609","signer":"crovia.substrate","subject":{"observed_at":"2026-07-28T05:53:26Z","source_collector":"spider:arxiv_retraction","target_id":"https://arxiv.org/pdf/2607.23929v1"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/research/arxiv_retraction_v1.jsonl\",\"source_seal_merkle_root\":\"spider_arxiv_retraction_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"1c1fc96e1ef916eef6e50b7f5adcec217356b9ee5884b7fa6886c4edcefcc293","leaf_index":361143,"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":"528f83b8228cbc1ca97f0b0a687594b086ec0d9bb4ab2701c9038e60ec391487","side":"left"},{"sibling":"1fbc290eed426e0653d9a0a254ce13ffff9e707fef9a3e6214adc5c7f0ed38b7","side":"left"},{"sibling":"82bdc7aaea8a08ad911a54072f6a4e7b1d6ef345f93ee8a791ab5e0091ecdbc7","side":"left"},{"sibling":"4a679e2cf835b4a33dfd316a5e49384bb0bb4e839ac5318229cd953d2f4f734e","side":"right"},{"sibling":"ff4c81312dc7672b1c35b4ae136e879bee78f8f89036de79635e58238a387303","side":"left"},{"sibling":"f046bccc10547681cc57625c14c49beea2529f7e3780e14ef9082676bd312d12","side":"left"},{"sibling":"f3a9a3967f1f6fda6ec04b6223d4d970e498c3c85742cb6522207c055a5ff1ed","side":"right"},{"sibling":"0c72a157c224990ef24c89e6cba10d28737d522c787ee7afeeb15eea18fd8b78","side":"left"},{"sibling":"b0efef5962be40724d68a4d5dff7570a5cd943ceb1ef3ea9cdfc45609105bc9e","side":"right"},{"sibling":"275e2d9d94d03463766be5e0f92fc53301791c1837ef6872c16a76aba6e2d92a","side":"left"},{"sibling":"a2abeaf2cda243011fed3d265bc714e54e4dd86c76975d2cb9e72a2f97651312","side":"right"},{"sibling":"cecbdc423dd5f0b166e6ba5ea9d598956db7b3da826cd45da1d316bf79431c97","side":"right"},{"sibling":"151e05e882b9f4f148688fe5ad74a98ec3729534763bbb702829987a1cbe9abe","side":"right"},{"sibling":"09453af6098c9306db75c16eefedbc814627f84bcbdedbfdaab70f8dc65331bc","side":"right"},{"sibling":"c182fb643666113dc9ba3addfbb56ce1a1750a75a141895ba3df9fa9e9e01e41","side":"right"},{"sibling":"1f9a970b25dd938c98cabc9e0a55c5a6f46292b9fa37cc89d90ef0cbb1e05a8c","side":"left"},{"sibling":"77025bcb374a7ad74f520643e20a8ae1205a7ee78507b0beb93117760f1c29d3","side":"left"},{"sibling":"569ef5c85fec44b9b3ad0ee7ac5ca6291ab7aa38d7c0d6482ab2e27a302b61a4","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":361259,"merkle_root":"49e29f1fa872dbe54fb62b69d3aaa824636676ac1a0bf3773e4a375337919aa7","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260728T063701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-07-28T06:38:52Z","sig_algorithm":"ed25519","signature":"104a231c9c43aa0e6509f039876639a6f225a3aef88171ecd34b670227fec4210b18fc859ee550e5734ffed3b4c97d6bbeecca1aea1b8eaa84392fbe91a26107","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_6366c18ba46f07a2759e8804884b7e1079ebb531bb2b6a8aecd267c1fcc9efe3"}}