{"_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_098b4aa9879c70379efe0650d968a66a13a4ec9cb63cc4b91be04ae9d94462fe","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_098b4aa9879c70379efe0650d968a66a13a4ec9cb63cc4b91be04ae9d94462fe","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"6b8d0526447c7f721da330737e1a62f786dd60144574158deb92b375ad0ae35d","published":"Thu, 18 Jun 2026 00:00:00 -0400","receipt_hash":"6b8d0526447c7f721da330737e1a62f786dd60144574158deb92b375ad0ae35d","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":"6b8d0526447c7f721da330737e1a62f786dd60144574158deb92b375ad0ae35d","observed_at":"2026-06-18T04:43:37.219665Z","parent_run_hash":"de79a40f7b3537d88842f7ac355e799c5df2adcb4fc32a4e28096d4bbdf01739","published":"Thu, 18 Jun 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:2604.13082v2 Announce Type: replace-cross \nAbstract: Grokking in transformers trained on algorithmic tasks is characterized by a long delay between training-set fit and abrupt generalization, but the source of that delay remains poorly understood. In encoder-decoder arithmetic models, we argue that this delay reflects limited access to already learned structure rather than failure to acquire that structure in the first place. We study one-step Collatz prediction and find that the encoder organizes parity and residue structure within the first few thousand training steps, while output accuracy remains near chance for tens of thousands more. Causal interventions support the decoder bottleneck hypothesis. Transplanting a trained encoder into a fresh model accelerates grokking by 2.75 times, while transplanting a trained decoder actively hurts. Freezing a converged encoder and retraining only the decoder eliminates the plateau entirely and yields 97.6% accuracy, compared to 86.1% for","title":"The Long Delay to Arithmetic Generalization: When Learned Representations Outrun Behavior","url":"https://arxiv.org/abs/2604.13082","vendor":"arxiv_cs_ai"},"summary":"arXiv:2604.13082v2 Announce Type: replace-cross \nAbstract: Grokking in transformers trained on algorithmic tasks is characterized by a long delay between training-set fit and abrupt generalization, but the source of that delay remains poorly understood. In encoder-decoder arithmetic models, we argue that this delay reflects limited access to already learned structure rather than failure to acquire that structure in the first place. We study one-step Collatz prediction and find that the encoder organizes parity and residue structure within the first few thousand training steps, while output accuracy remains near chance for tens of thousands more. Causal interventions support the decoder bottleneck hypothesis. Transplanting a trained encoder into a fresh model accelerates grokking by 2.75 times, while transplanting a trained decoder actively hurts. Freezing a converged encoder and retraining only the decoder eliminates the plateau entirely and yields 97.6% accuracy, compared to 86.1% for","title":"The Long Delay to Arithmetic Generalization: When Learned Representations Outrun Behavior","vendor":"arxiv_cs_ai"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-06-18T04:43:37Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://arxiv.org/abs/2604.13082"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:85053b74926b9caae530f95378cd2d6fa2fdb7828ca04bc3aad35d887cc2fe7526632cf92cc44235db67c0885f140284456b2016ddb4ca152c0bba7d2c728e05","signer":"crovia.substrate","subject":{"observed_at":"2026-06-18T04:43:37Z","source_collector":"spider:vendor_press","target_id":"https://arxiv.org/abs/2604.13082"},"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":"8547e2906d8d6abcb5fdb4fb438a3cfc8f1f586a58ea2ba2f7677582580f6b32","leaf_index":233503,"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":"dfc6db1f01cd86993705a7fbf3fb7cff2709fdd477c829e7d71519a2045b15fa","side":"left"},{"sibling":"f5fb2c1f14626efbb35bd872401926924d2d258a0ebcc06d6e62a4ab1067aa5d","side":"left"},{"sibling":"c4335fd6a28d5cce2dddfd10e6166ae2868dd8537f0a6e7afef0d5cc1f30a47f","side":"left"},{"sibling":"b1700929a0eb6c9825cdde8fe71e570e3d83d4625a87b07ff02cd81709e5a8aa","side":"left"},{"sibling":"1bda57da7a98706917de83e8375d10b53b0e5b9a9aeeb14d90298c2c3c9ba849","side":"left"},{"sibling":"8ea5d1acc478cab779b8d8c6bd66dc15ad77122446a534f70804af03d690458e","side":"right"},{"sibling":"5e436eec5370aaf4cccb6c432bd004f0a554eab0e19ec87f70ba66470ad7303b","side":"right"},{"sibling":"fe9c643bdeb268143f61f15d89d0ff9dd03becb2914656c7a873d95f7266b5ce","side":"right"},{"sibling":"ad9e1cf26277141407aebd8692bfb16135dd1e614913e54b1dd445fed15d105a","side":"right"},{"sibling":"b151db1a7de0ce9a329250fae8b690f5b55ab3cfe5468a1fbb5f5bde0703b420","side":"right"},{"sibling":"7dc9143c057343b46a3b988492fba5262dec443cc1fb6070e3ea81543ca6a522","side":"right"},{"sibling":"ad5850946feb9a22361b5b9df0884f9ef1edcc7efea0374ff5782080ccb1a947","side":"right"},{"sibling":"410c633928fea11c5b4bdddb431956b1d7c320db9cda00d2fe32e0fcf888d7b7","side":"left"},{"sibling":"e616c34dbaf9456d5a6d3e2da82cde8621293c9f6d8a4cf9e441d7fd9cc81579","side":"right"},{"sibling":"94c0c932e61657f5e37fdba43f6ca9eddea8359425a7c1558dabe566911d5304","side":"right"},{"sibling":"a04392fb9f2a3a620840e3b3fecd93d12e6d224e481c162389d8ae64e7194599","side":"left"},{"sibling":"c300cf0154c136afc09b1702a0be98f4ba5b6dc5cf57e8cc714ec1eaf4196eff","side":"left"},{"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":234491,"merkle_root":"02576a6980e38bab47864ae2c57b5a5ff21e554e9bdf8f64bdf28155ff1aabec","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260618T143732Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-06-18T18:33:39Z","sig_algorithm":"ed25519","signature":"b6c708778fc38b7789a2b91156cfe87252a7cd3a1d29121cba11a0c78f8cf104ca3019fc50a962fa5a216bcc4922fc8f3f69c04d1f8332c6dc0d931e1012e502","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_098b4aa9879c70379efe0650d968a66a13a4ec9cb63cc4b91be04ae9d94462fe"}}