{"_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_4ba054e6b6d264432d9933fa4999f64b1faef2bef1669949bac3922841fa4d84","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_arena_drift_v1","root_at_anchor":"spider_arena_drift_v1"}],"axiom_id":"axm_4ba054e6b6d264432d9933fa4999f64b1faef2bef1669949bac3922841fa4d84","axiom_type":"AX.OBS","body":{"axiom_subtype":"intelligence.arena_rank.lastModified.v1","category":"intelligence","fingerprint":"f1230227ff36b0e4ac22fab841926d61b677858cce97b9f24c593f57b103abc5","receipt_hash":"f1230227ff36b0e4ac22fab841926d61b677858cce97b9f24c593f57b103abc5","schema":"spider.intelligence.arena_drift.v1","spider":"arena_drift","spider_record":{"axiom_subtype":"intelligence.arena_rank.lastModified.v1","category":"intelligence","createdAt":"2026-05-31T10:46:26.000Z","decision_hint":"POSITIVE","dimension":"lastModified","downloads":0,"envelope_target":"AX.OBS","fingerprint":"f1230227ff36b0e4ac22fab841926d61b677858cce97b9f24c593f57b103abc5","gated":false,"lastModified":"2026-06-01T05:19:20.000Z","library_name":"","license":"","likes":0,"observed_at":"2026-06-01T05:22:16Z","parent_run_hash":"06015c6f4787c521521a70b8b268740cb247f91272c63ad063dd330cb00ab596","pipeline_tag":"","private":false,"rank":49,"runtime_version":"0.1.0","schema":"spider.intelligence.arena_drift.v1","spider":"arena_drift","subject_id":"saracandu/stldec_formulae","title":"saracandu/stldec_formulae","url":"https://huggingface.co/saracandu/stldec_formulae","vendor":"saracandu"},"title":"saracandu/stldec_formulae","vendor":"saracandu"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-06-01T05:22:16Z","notes":"Spider arena_drift (intelligence) intelligence.arena_rank.lastModified.v1","object":{"captured_by":"crovia.spider.arena_drift","primary_source_url":"https://huggingface.co/saracandu/stldec_formulae"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:509696d6d5aca8df0f3205efbfb0edc40cc83110d16dbdbcf3e2400f8aca10f3865c952c9ae67218f2d0d43889feb120d772544b21b5bf41534d77f92769060d","signer":"crovia.substrate","subject":{"observed_at":"2026-06-01T05:22:16Z","source_collector":"spider:arena_drift","target_id":"https://huggingface.co/saracandu/stldec_formulae"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/intelligence/arena_drift_v1.jsonl\",\"source_seal_merkle_root\":\"spider_arena_drift_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"4629727b3bee0d8d1daf7f94dfc483e88075222d1851498b1db8854f31fd9db2","leaf_index":164280,"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":"a36ad181e1211967afdc3517e538e195a4f2715f2d70dd8e05a6648558a282ed","side":"right"},{"sibling":"87dc1190554607723220afd4b783b72fc8edee9ce1e2d4b02d6503aa5d87c1b0","side":"right"},{"sibling":"f466dd9b5ce37e9f5a780ddf2e60de5112616d76e377ff045d1d1a60ff5fc410","side":"right"},{"sibling":"8168ba996aa8d08e8f79eea369fe197896a8bd9957668c29963e40917e0610a6","side":"left"},{"sibling":"914d94d790a7e16ff4ae0a203f8930507e6bd196603fc1c1c895a09135e9737f","side":"left"},{"sibling":"7eee685c464db6c4012b8bc9f7bd3cdf59546495d86d8976f417db9f842475c6","side":"left"},{"sibling":"8c4145912622572f344edf1963d60bf70aa6e24368b04f3097d372c7d12fb421","side":"right"},{"sibling":"bda4a306c111f5428a5d3ac9a97cfe7c368bb1e605ff721f1edc408a16f2bba3","side":"left"},{"sibling":"7caaac9d7d329e12cd7433a2a627fcb2eaa744feb44b4a8462db35186e31e111","side":"left"},{"sibling":"d5fb5a242f29cb35f1c34b57e57762d62affbfe20e513b7db7b0a9a9fc5cee09","side":"right"},{"sibling":"4a4e5cc352a2646b090842242a8ddc470d1342941228c3fab6e55af601ce5d5a","side":"right"},{"sibling":"9022ccc1e8742bfcc02c71c518ddbcd905c48d77682edeb1913d1a858b449309","side":"right"},{"sibling":"e4f5ae69fa82f31412f1902b2d0947d6316db4f0960412f2341070eb59b260bc","side":"right"},{"sibling":"5af2d45a1c7cbb55d4f7c4247caae382a2cb751b8fcc1bb5c7063e61071d37ab","side":"right"},{"sibling":"a0b59a5b1ad886b446a096721fbb4a2f2213e2f4f4e30ba0a5b088df2cf69d29","side":"right"},{"sibling":"5ea2f2dc9f046df723b6bd9932d61a9a3d80a76e79ce1b939b3d93ff79b5a91c","side":"left"},{"sibling":"f401ad013e96761fbb3c210a8245f706c4a6c1b177c5b65ad1e7ef342f279dbf","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":164340,"merkle_root":"350311ef8f18f09757b91e8e624d4124de4e7910abe16ab06a98469b4d47e461","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260601T063701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-06-01T06:37:41Z","sig_algorithm":"ed25519","signature":"d2dc72b6d1f46a4cbd6d5b9915ace120c67de7e2f6fbf89dd9f4eae5c3d3db7cd16564c01293b29d3a87cdbb7ea2db345dc3be1ce4c358b3cde42e42f7447207","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_4ba054e6b6d264432d9933fa4999f64b1faef2bef1669949bac3922841fa4d84"}}