{"_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_f0d81ad78db65462ca1589d1c8a8370945a645b8fe99780dcacd845093149951","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_court_dockets_v1","root_at_anchor":"spider_court_dockets_v1"}],"axiom_id":"axm_f0d81ad78db65462ca1589d1c8a8370945a645b8fe99780dcacd845093149951","axiom_type":"AX.OBS","body":{"axiom_subtype":"legal.court_dockets.v1","category":"legal","fingerprint":"70df3e36bc4ce3ad335a2f8255e5ba35e64f2f3e90661aa699ac5d930fbf44b8","published":"2026-07-13T00:00:00-07:00","receipt_hash":"70df3e36bc4ce3ad335a2f8255e5ba35e64f2f3e90661aa699ac5d930fbf44b8","schema":"spider.legal.court_dockets.v1","spider":"court_dockets","spider_record":{"axiom_subtype":"legal.court_dockets.v1","category":"legal","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"70df3e36bc4ce3ad335a2f8255e5ba35e64f2f3e90661aa699ac5d930fbf44b8","observed_at":"2026-07-14T05:41:15.416460Z","parent_run_hash":"1cfaa14ada07187fb3536aac58be1201495714f7f6d7ff9d48fd05ca5eb8a2a9","published":"2026-07-13T00:00:00-07:00","runtime_version":"0.1.0","schema":"spider.legal.court_dockets.v1","source_status":200,"source_url":"https://www.courtlistener.com/feed/search/?q=deepseek&type=r&order_by=dateFiled+desc","spider":"court_dockets","summary_excerpt":"

model, Grok. Grok is a preeminent frontier model, representing the cutting edge of AI research and development and pushing the boundaries of what AI can do across multiple domains. Competing alongsidd OpenAI’s ChatGPT, Google’s Gemini and China’s DeepSeek, xAI’s newest release—Grok 4—is one of the most, if not the most, advanced and powerful generative AI systems in the world, leading industry benchmarks in reasoning and pretraining capabilities. 17. Grok 4 is the culmination of years of research


\n \n Original document","title":"X.AI Corp. v. OpenAI, Inc.","url":"https://www.courtlistener.com/docket/71450167/115/6/xai-corp-v-openai-inc/","vendor":"court_dockets"},"summary":"

model, Grok. Grok is a preeminent frontier model, representing the cutting edge of AI research and development and pushing the boundaries of what AI can do across multiple domains. Competing alongsidd OpenAI’s ChatGPT, Google’s Gemini and China’s DeepSeek, xAI’s newest release—Grok 4—is one of the most, if not the most, advanced and powerful generative AI systems in the world, leading industry benchmarks in reasoning and pretraining capabilities. 17. Grok 4 is the culmination of years of research


\n \n Original document","title":"X.AI Corp. v. OpenAI, Inc.","vendor":"court_dockets"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-07-14T05:41:15Z","notes":"Spider court_dockets (legal) legal.court_dockets.v1","object":{"captured_by":"crovia.spider.court_dockets","primary_source_url":"https://www.courtlistener.com/docket/71450167/115/6/xai-corp-v-openai-inc/"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:96450f3670dccd7c3876429ebb8554f7e4c19255de1a4371c96b34d28530d75db68de0c2af011e39a9e815d574b3089cd02ada4f0c9085e4351de6c366016705","signer":"crovia.substrate","subject":{"observed_at":"2026-07-14T05:41:15Z","source_collector":"spider:court_dockets","target_id":"https://www.courtlistener.com/docket/71450167/115/6/xai-corp-v-openai-inc/"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/legal/court_dockets_v1.jsonl\",\"source_seal_merkle_root\":\"spider_court_dockets_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"2fb1593df289d988fd2413d6db55e41f747ddcf0c2ca03fbee466501b7bb2e27","leaf_index":313482,"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":"f238dc198a249ea2783512e9aa561f94b4827bda6362d88042eefd23018b4221","side":"right"},{"sibling":"16e2c9c18fc675f137b4aa427576fdff4c7b78b67a239e11bdcda46bbda837ea","side":"left"},{"sibling":"7ad864cb36f17d8336d599943b76950d11c752bda3de1216c7643fa20f61a54c","side":"right"},{"sibling":"09776d7cebf373033b2d497ab894a54e6f27abfaaa2db11a9c916662389d719e","side":"left"},{"sibling":"3bee2307cc5df7113f9ff4d91e911f4cb5ef0e0c3f4277bb878143ead0202d54","side":"right"},{"sibling":"772aede3a6e8a7f23006198baa0888cb8f9138905e6a6de96414b10d187fa956","side":"right"},{"sibling":"c720ee9c9a829ea08faf94dec0e9004408faae1e62b88917c1781a38420e8a4c","side":"right"},{"sibling":"8e729c0b4ceaf37658f0317f3be1c92ed0fdbf2b2ad62c132efcc01e0c11543c","side":"left"},{"sibling":"cead5c5c53289ecadacbc1d96eefd28d5a8078c2432169b8bd6600a10b0ad1f7","side":"right"},{"sibling":"395292f93adbb9e4a98ce2ccbd74824d9fb132ccd786be4cd5d9b78ef7fbff6f","side":"right"},{"sibling":"c8af17d86a2e9450ec6541937cd697bd5ab40886acda4351135692517508d62d","side":"right"},{"sibling":"035ed3338f1aa9f5bba6dd165af0b08bb71d11068947170e98fb3b7d143bf599","side":"left"},{"sibling":"ac8ef5f0e0461fbb9dd48a72c8e9be407ef5aedb4edad55e935795fe874a23f2","side":"right"},{"sibling":"dc0b74384dafbd203fa2755e3a8b39a02f31d08817eaf6cf2511d1c1e90d679b","side":"right"},{"sibling":"f302542c38ba7c3aab7c9280dd60259ecec777dca6e6f71b6f0729b0b8791b72","side":"left"},{"sibling":"d8b9143917b539c543cf4448cec00131f8b807bd8004979c54ebe09798748c66","side":"left"},{"sibling":"e398305fee7cf6b629d33d9c9597aeafcc4c298b22703d474a273d83d4235252","side":"right"},{"sibling":"8b0e9dc0556ef124075260935d8b185b294f01a43c58a12de2897e0f43dfa22e","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":313596,"merkle_root":"297f31c4345297dcb17c1d28f68a036975f5a0bf1ab434ea827b6aa56a0a8c84","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260714T063701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-07-14T06:38:24Z","sig_algorithm":"ed25519","signature":"7257a1cdb3b402f14fa4acaf47e9fb450097358e94e4a732187755812bead087e135fbe39b5ae93d13cd7259c059e7865579da9bc75497902668801d05de420c","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_f0d81ad78db65462ca1589d1c8a8370945a645b8fe99780dcacd845093149951"}}