{"_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_4964d9922bf47ce7725c3228e6f0c7bc53ff5024a8b58b930e1d59022ff97651","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_4964d9922bf47ce7725c3228e6f0c7bc53ff5024a8b58b930e1d59022ff97651","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"1dcb4ad5f0334de38431eec220113757e3bf9634f81880ac3256ae1aaed1127a","published":"Tue, 21 Jul 2026 00:00:00 -0400","receipt_hash":"1dcb4ad5f0334de38431eec220113757e3bf9634f81880ac3256ae1aaed1127a","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":"1dcb4ad5f0334de38431eec220113757e3bf9634f81880ac3256ae1aaed1127a","observed_at":"2026-07-21T04:43:35.036805Z","parent_run_hash":"03e944014de2697434479833d15ea9303e014945afc230ecc7f207824493b589","published":"Tue, 21 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.16465v1 Announce Type: new \nAbstract: Edmund C. Berkeley is usually remembered as a writer who helped connect symbolic logic to computing machinery. That description is correct, but incomplete. Read across Berkeley's machine-oriented writings and projects, the central concern is broader: to show that symbolic logic can serve as a practical design language for machines that acquire information, retain it, respond appropriately to changing conditions, and organize their behavior over time. This paper takes Symbolic Logic and Intelligent Machines as the principal text in that effort, while treating it as representative of a larger Berkeley program that links logical form, circuitry, control, and intelligent behavior. On this reading, Berkeley does not merely treat intelligence as abstract symbol manipulation. He repeatedly defines intelligent machines in operational terms, ties logic to hardware realization, and describes machine behavior through the coordinated interaction of ","title":"Berkeley and Heiserman as an Unexhausted Architecture for Embodied Machine Intelligence","url":"https://arxiv.org/abs/2607.16465","vendor":"arxiv_cs_ai"},"summary":"arXiv:2607.16465v1 Announce Type: new \nAbstract: Edmund C. Berkeley is usually remembered as a writer who helped connect symbolic logic to computing machinery. That description is correct, but incomplete. Read across Berkeley's machine-oriented writings and projects, the central concern is broader: to show that symbolic logic can serve as a practical design language for machines that acquire information, retain it, respond appropriately to changing conditions, and organize their behavior over time. This paper takes Symbolic Logic and Intelligent Machines as the principal text in that effort, while treating it as representative of a larger Berkeley program that links logical form, circuitry, control, and intelligent behavior. On this reading, Berkeley does not merely treat intelligence as abstract symbol manipulation. He repeatedly defines intelligent machines in operational terms, ties logic to hardware realization, and describes machine behavior through the coordinated interaction of ","title":"Berkeley and Heiserman as an Unexhausted Architecture for Embodied Machine Intelligence","vendor":"arxiv_cs_ai"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-07-21T04:43:35Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://arxiv.org/abs/2607.16465"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:baf245c1f38e6e7d53633dc3a5d5b0cbb8fa70f885c8a4dcc2309a8f23a7475c9fc1fc892820411f0229e4c277b4c1112e7bfc7def2cd01b66617209df532c0b","signer":"crovia.substrate","subject":{"observed_at":"2026-07-21T04:43:35Z","source_collector":"spider:vendor_press","target_id":"https://arxiv.org/abs/2607.16465"},"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":"89474d6927b0813bb2a034b82fef36ab25c79854f4b6c83cba1acc07eafef121","leaf_index":336534,"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":"9cfbc800571494e92b01e24e1fa1b005d355654735c077facd45072901f02aed","side":"right"},{"sibling":"5fd2d1e9626a3ee155e683e83568140213ece9381dbdf583d2809d96fd704736","side":"left"},{"sibling":"33c85c8961f8f55d3642c36b6127b12a213c7be8fd458826727489bfa0308647","side":"left"},{"sibling":"873e447747874ced0f03542c0bdfc397defeae002033a92bb169c2301970ea69","side":"right"},{"sibling":"bece83a16d6c460f50d175c01b18ecbd008ffd01b7609ee5d231533a063e25ee","side":"left"},{"sibling":"a24ad8a95338872e5d75e9c9b830f6e3d66ef973c0f35acc3df53f6d02fb947b","side":"right"},{"sibling":"a2ec0c96e7ee9134cdcbfc3f3d7279dabbae2ae36687e5158bdb5f7e8fc549cb","side":"right"},{"sibling":"e6f9d6d6c760446a7b30dd4e30a28f58c0817f4bee09529ee009c470d86f5564","side":"left"},{"sibling":"38e5827f7c9f72ad34a2b97042f2fb5f7e868db899d074b7819af4f2209b9caa","side":"right"},{"sibling":"7b927551b5db06b6571913b4e6792ffcce5291a3eca5a0df4a3b6e296271105f","side":"left"},{"sibling":"b77a0b5ae4607c8fe6ba73449d46b35076e3dedc0c82a2c65a05780d42a7bc2e","side":"right"},{"sibling":"9eb5077edfb3dc553857d4794b925bfce117e0f8a1d049af5d0dd9026b470eef","side":"right"},{"sibling":"414b1a70fd1dcb25489a194714b97492b066684b15d0b7a48a176c4b9b5bc713","side":"right"},{"sibling":"21d66dd41003813f710b7617944f1bfba3258658a5d3370c21cad8f9e945bc99","side":"left"},{"sibling":"613f015699131eb89bd755dee67133be95af25cf5f16c1c8ce4b99d963b8dd86","side":"right"},{"sibling":"a729b574b1135956436ded5eef1fe8f08014ff6a0729749d307ab1bca93fcdc9","side":"right"},{"sibling":"77025bcb374a7ad74f520643e20a8ae1205a7ee78507b0beb93117760f1c29d3","side":"left"},{"sibling":"4bf21052e085e8ac81f1dec1d2b310bd12bf948992de6177d12e9d2fda8d39f0","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":337144,"merkle_root":"5e969cc01afa67e4dbe5d37b712cdb10f4aa1fd74404e02eab724cf487c8d6d9","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260721T053701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-07-21T05:38:38Z","sig_algorithm":"ed25519","signature":"5c0c1a8dd2793d787ccd5e49e8b4d70eed136352555518589f05c74be357fc171702e42a76c3a556d90e3d51ff36cb3d292aaac83c66566de7b943f318bda50c","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_4964d9922bf47ce7725c3228e6f0c7bc53ff5024a8b58b930e1d59022ff97651"}}