{"_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_efcfa1fbea01f4764a11e168deec8e72ace201de2703df38c16876edef2ff207","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_efcfa1fbea01f4764a11e168deec8e72ace201de2703df38c16876edef2ff207","axiom_type":"AX.OBS","body":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","fingerprint":"73d94eee9ce46c23cadaa93b67e96b20e90ae917302afee1de5a5faea5377914","published":"2026-05-13T22:54:16Z","receipt_hash":"73d94eee9ce46c23cadaa93b67e96b20e90ae917302afee1de5a5faea5377914","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":"73d94eee9ce46c23cadaa93b67e96b20e90ae917302afee1de5a5faea5377914","observed_at":"2026-05-16T05:53:47.319004Z","parent_run_hash":"e220808c01f43e9ab049d0dde8e84ff4eea3a0b39c95f43d2092ef8fe9c17bab","published":"2026-05-13T22:54:16Z","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":"In long conversations, an LLM can produce a next utterance that sounds plausible but rests on premises the conversation has already abandoned. Context-manipulation attacks against deployed agents now actively exploit this gap. We close it with a runtime verifier that maintains an explicit dependency graph: an LLM classifies each turn into one of 8 update operations drawn from four formalisms (dynamic epistemic logic, abductive reasoning, awareness logic, argumentation), and a symbolic engine records which claims depend on which evidence. Checking whether a continuation is supported reduces to a graph walk; retraction propagates through the same graph to flag exactly the conclusions that lose support, with linear per-turn cost and a formal conflict-free guarantee. On LongMemEval-KU oracle (n=78), the verifier reaches 89.7% accuracy vs. 88.5% for the LLM-only baseline (+1.3pp) and 87.2% for a transcript-RAG baseline matched on retrieval budget (+2.6pp); wins among disagreements are corre","title":"Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations","url":"https://arxiv.org/pdf/2605.14175v1","vendor":"arxiv"},"summary":"In long conversations, an LLM can produce a next utterance that sounds plausible but rests on premises the conversation has already abandoned. Context-manipulation attacks against deployed agents now actively exploit this gap. We close it with a runtime verifier that maintains an explicit dependency graph: an LLM classifies each turn into one of 8 update operations drawn from four formalisms (dynamic epistemic logic, abductive reasoning, awareness logic, argumentation), and a symbolic engine records which claims depend on which evidence. Checking whether a continuation is supported reduces to a graph walk; retraction propagates through the same graph to flag exactly the conclusions that lose support, with linear per-turn cost and a formal conflict-free guarantee. On LongMemEval-KU oracle (n=78), the verifier reaches 89.7% accuracy vs. 88.5% for the LLM-only baseline (+1.3pp) and 87.2% for a transcript-RAG baseline matched on retrieval budget (+2.6pp); wins among disagreements are corre","title":"Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations","vendor":"arxiv"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-05-16T05:53:47Z","notes":"Spider arxiv_retraction (research) research.arxiv_retraction.v1","object":{"captured_by":"crovia.spider.arxiv_retraction","primary_source_url":"https://arxiv.org/pdf/2605.14175v1"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:b9f8c1c415bf253989b1c72a12a8b9313b7d93bf461311d13d1554135571d4425b49ca048bb31a9634a34e1c0933aeb13bd5660e7f1b3840ecff1dac6d1c5f0e","signer":"crovia.substrate","subject":{"observed_at":"2026-05-16T05:53:47Z","source_collector":"spider:arxiv_retraction","target_id":"https://arxiv.org/pdf/2605.14175v1"},"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":"7d5bf650d711a6a1a1d29d0b8751bff74c25c29f53b280183b384a047edf5a95","leaf_index":136550,"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":"209f00bb8c07b5f9fd8c2ca2c9de0f5ae354eb55cc1bd93212091c6f838b9f11","side":"right"},{"sibling":"0fde4dbd808d36782960d710d0a05093f159fb983c4b099e2936d20e81199c03","side":"left"},{"sibling":"ff187b590e5714686f794f4a6ed21b1c9c8b487064f0cf3147d7c8f386c3b343","side":"left"},{"sibling":"8522e9b464febf4b76bf6290865ab1088c527fce8e00832c554a1c68e99891c3","side":"right"},{"sibling":"6be924b4bc34664cfb9944da9ce6025813353594654289622865dd0818bdd7e4","side":"right"},{"sibling":"9b5b0cde98f9e37a7a1db313b90bb845dce01b50251656dba5d023cdd37b93bf","side":"left"},{"sibling":"0bf20b7c19ffc112a3b0d0cee25597263fc574787b28a67e5dd94eee9f7c2ea4","side":"left"},{"sibling":"b995e09600be5b7f002cb8640740baaa1ff13738ee09a126489f5645d445d44c","side":"right"},{"sibling":"c268933f48e0e067ea3629f38b54c490be7ab9c71be0afaeb7acab93b9576ab2","side":"left"},{"sibling":"53bd6b9a392cb73f6e543c98459f92189e1c411893f7ac94820d38083ca4b9f6","side":"right"},{"sibling":"03b951a423a337fb13c05b0694127c1366cbc5b5119072120b94f2d5897a66e9","side":"left"},{"sibling":"8baf6b0b2f5b66d635e8ba672042349af74bffc0fbd7d5456dc8642576e9e546","side":"right"},{"sibling":"49cd87d4d2dc2f05bfd2c38471ea2e5852648cb772f140f6b15d13d8a44cbe5f","side":"left"},{"sibling":"57b2da497793a6a5664b7eea856deac7ea464363e935302dc37797dc243aed95","side":"right"},{"sibling":"2dc80d6809ebab8bd83d3d42e120ca57e089cfb44b253b870b5664442d4ad1fd","side":"right"},{"sibling":"adc5e5400e220b1d7778621a3504bf87a8f418b8488e4b0bea68b4299c143b4e","side":"right"},{"sibling":"14b82d5375372725843788067834e5d1eeefd9a171b34374d8ebe1448df5e3a2","side":"right"},{"sibling":"d841ad93efda0869e5eb97678f348f03f5caab4353e05ff4bf18f47fb945b822","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":136601,"merkle_root":"8ba99050f3a0320781ef60a3fe44d6cedfcde0ee7e9dc621a0af00cb530a29b0","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260516T063701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-05-16T06:37:27Z","sig_algorithm":"ed25519","signature":"fe322fd6322d2ed84204f0021726698fa13c7d654ad6c746059a4d377ba10e9e36b4686d5ea6843c5077eb472ab4dfab3e569834a771040d0c5a0376519faa0d","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_efcfa1fbea01f4764a11e168deec8e72ace201de2703df38c16876edef2ff207"}}