{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:H454E5IWZTVX6CKRD343QWD3U2","short_pith_number":"pith:H454E5IW","canonical_record":{"source":{"id":"2607.08446","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-07-09T13:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"b7666d9d71700c5b7fe2d07d0cf296c80ca41df79e2eda4a00e827c20c100a6a","abstract_canon_sha256":"4108d18e1eff259fb16c03b6efded75bdd59b83ae78abeeaba394023aa1be795"},"schema_version":"1.0"},"canonical_sha256":"3f3bc27516cceb7f09511ef9b8587ba6b8421d546836062a660a5b7e51b37291","source":{"kind":"arxiv","id":"2607.08446","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08446","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08446v1","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08446","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_12","alias_value":"H454E5IWZTVX","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_16","alias_value":"H454E5IWZTVX6CKR","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_8","alias_value":"H454E5IW","created_at":"2026-07-10T01:19:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:H454E5IWZTVX6CKRD343QWD3U2","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08446","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-07-09T13:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"b7666d9d71700c5b7fe2d07d0cf296c80ca41df79e2eda4a00e827c20c100a6a","abstract_canon_sha256":"4108d18e1eff259fb16c03b6efded75bdd59b83ae78abeeaba394023aa1be795"},"schema_version":"1.0"},"canonical_sha256":"3f3bc27516cceb7f09511ef9b8587ba6b8421d546836062a660a5b7e51b37291","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T01:19:50.835440Z","signature_b64":"6OIv1OSzyt01mF9rJWzDcL1qMYnkWQEhqxlAH44SfXJggzYmSCykR6Yi9iM9YfOsMrdHagCRHyqR0nxrpFMIBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f3bc27516cceb7f09511ef9b8587ba6b8421d546836062a660a5b7e51b37291","last_reissued_at":"2026-07-10T01:19:50.835099Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T01:19:50.835099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08446","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T01:19:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s3JwBxUPRJ37Rhm367+1lTeWfT4K0v3fPsVLE/iFjvoCKq+8OWNn0Y05mH54zw/WmPrsxQN+F8UY/9UDmdmTDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T03:09:45.093133Z"},"content_sha256":"5533168f8815160835eef9fa9f2667054013416622dfdf1ac21645a7ad97e302","schema_version":"1.0","event_id":"sha256:5533168f8815160835eef9fa9f2667054013416622dfdf1ac21645a7ad97e302"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:H454E5IWZTVX6CKRD343QWD3U2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Statistical Estimation of higher Dedekind Numbers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Alex Fihman, Christian Plessl, Lennart Van Hirtum","submitted_at":"2026-07-09T13:08:14Z","abstract_excerpt":"We provide highly accurate estimations of the 10th through 15th Dedekind Numbers, to a precision of 4 digits for $D(10)$, to 2 digits for $D(15)$. These estimates were obtained using three methods, including pair matching on large quantities of 9-dimensional monotone Boolean functions for $D(10)$, Reference Subsets for $D(10)$, $D(11)$, and $D(12)$. And our best method \"Weight Layer Branching\" which provided accurate estimates for all $D(10)$ through $D(15)$, strongly improving on the previous best known estimates by Korshunov and Tian-Shun Chen et al. arXiv:2606.09795"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08446","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.08446/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T01:19:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lq+kpCncqhu2sV4WMTooQ7sp3kqewIOwjV12JiwhpUjl7d9XOsXvrx90xoF6/S6OiSd5sS2fFuMpWkgmyD6nAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T03:09:45.093668Z"},"content_sha256":"ed4edb94e73028c234335d14703a456d687653eb5d1323f3bd26c18e7c1e743e","schema_version":"1.0","event_id":"sha256:ed4edb94e73028c234335d14703a456d687653eb5d1323f3bd26c18e7c1e743e"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:H454E5IWZTVX6CKRD343QWD3U2","target":"integrity","payload":{"note":"Identifier '10.1007/bf00385808(1991' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"D. Wiedemann, A computation of the eighth dedekind number,https://link. springer.com/article/10.1007/BF00385808(1991). URLhttps://link.springer.com/article/10.1007%2FBF00385808","arxiv_id":"2607.08446","detector":"doi_compliance","evidence":{"doi":"10.1007/bf00385808(1991","arxiv_id":null,"ref_index":1,"raw_excerpt":"D. Wiedemann, A computation of the eighth dedekind number,https://link. springer.com/article/10.1007/BF00385808(1991). URLhttps://link.springer.com/article/10.1007%2FBF00385808","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":1,"audited_at":"2026-07-10T07:22:06.289585Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/bf00385808(1991","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"087cbb74f70340a411da5d2b68848a66164996c1e5d4c766c02bc72f63751d04","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":11898,"payload_sha256":"2cd0e5c241bdaab3532ea70058ee3062f2118efd3a3cf0d7cfc12a723d959585","signature_b64":"bNBhhVlnc/tuTd/uxn8UTtSmp1N+jOaC1TKH3YWBDRajiwXd9WBwqUlNfHL9Bdv84G6TseaM59Mimfy4RqTxDA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T07:23:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hH4pk/hI+10YJ/SAUD/TeuL6i2P/t0PllBl++jIyQeUOwiHkZl/yWxbXbsr7wGBCerONz3VIaj2NHQc9fMg2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T03:09:45.098962Z"},"content_sha256":"c412b60385a2eadec4a2d94f0464bba9267c41959df92e6866b829a8c8def30b","schema_version":"1.0","event_id":"sha256:c412b60385a2eadec4a2d94f0464bba9267c41959df92e6866b829a8c8def30b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H454E5IWZTVX6CKRD343QWD3U2/bundle.json","state_url":"https://pith.science/pith/H454E5IWZTVX6CKRD343QWD3U2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H454E5IWZTVX6CKRD343QWD3U2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-16T03:09:45Z","links":{"resolver":"https://pith.science/pith/H454E5IWZTVX6CKRD343QWD3U2","bundle":"https://pith.science/pith/H454E5IWZTVX6CKRD343QWD3U2/bundle.json","state":"https://pith.science/pith/H454E5IWZTVX6CKRD343QWD3U2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H454E5IWZTVX6CKRD343QWD3U2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:H454E5IWZTVX6CKRD343QWD3U2","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4108d18e1eff259fb16c03b6efded75bdd59b83ae78abeeaba394023aa1be795","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-07-09T13:08:14Z","title_canon_sha256":"b7666d9d71700c5b7fe2d07d0cf296c80ca41df79e2eda4a00e827c20c100a6a"},"schema_version":"1.0","source":{"id":"2607.08446","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08446","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08446v1","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08446","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_12","alias_value":"H454E5IWZTVX","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_16","alias_value":"H454E5IWZTVX6CKR","created_at":"2026-07-10T01:19:50Z"},{"alias_kind":"pith_short_8","alias_value":"H454E5IW","created_at":"2026-07-10T01:19:50Z"}],"graph_snapshots":[{"event_id":"sha256:ed4edb94e73028c234335d14703a456d687653eb5d1323f3bd26c18e7c1e743e","target":"graph","created_at":"2026-07-10T01:19:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.08446/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We provide highly accurate estimations of the 10th through 15th Dedekind Numbers, to a precision of 4 digits for $D(10)$, to 2 digits for $D(15)$. These estimates were obtained using three methods, including pair matching on large quantities of 9-dimensional monotone Boolean functions for $D(10)$, Reference Subsets for $D(10)$, $D(11)$, and $D(12)$. And our best method \"Weight Layer Branching\" which provided accurate estimates for all $D(10)$ through $D(15)$, strongly improving on the previous best known estimates by Korshunov and Tian-Shun Chen et al. arXiv:2606.09795","authors_text":"Alex Fihman, Christian Plessl, Lennart Van Hirtum","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-07-09T13:08:14Z","title":"Statistical Estimation of higher Dedekind Numbers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08446","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5533168f8815160835eef9fa9f2667054013416622dfdf1ac21645a7ad97e302","target":"record","created_at":"2026-07-10T01:19:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4108d18e1eff259fb16c03b6efded75bdd59b83ae78abeeaba394023aa1be795","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-07-09T13:08:14Z","title_canon_sha256":"b7666d9d71700c5b7fe2d07d0cf296c80ca41df79e2eda4a00e827c20c100a6a"},"schema_version":"1.0","source":{"id":"2607.08446","kind":"arxiv","version":1}},"canonical_sha256":"3f3bc27516cceb7f09511ef9b8587ba6b8421d546836062a660a5b7e51b37291","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f3bc27516cceb7f09511ef9b8587ba6b8421d546836062a660a5b7e51b37291","first_computed_at":"2026-07-10T01:19:50.835099Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-10T01:19:50.835099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6OIv1OSzyt01mF9rJWzDcL1qMYnkWQEhqxlAH44SfXJggzYmSCykR6Yi9iM9YfOsMrdHagCRHyqR0nxrpFMIBA==","signature_status":"signed_v1","signed_at":"2026-07-10T01:19:50.835440Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08446","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5533168f8815160835eef9fa9f2667054013416622dfdf1ac21645a7ad97e302","sha256:ed4edb94e73028c234335d14703a456d687653eb5d1323f3bd26c18e7c1e743e","sha256:c412b60385a2eadec4a2d94f0464bba9267c41959df92e6866b829a8c8def30b"],"state_sha256":"fac242def75113b3168d240654489a1cdf5349cd2222b573171303f38f1537f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N1a+4Auz5yzKzhmssQNv+61pcGsQVJsgsaGslgESriaxv8mdOCZ86qa5ufBlgbB+x67rnidpflR5ESDDua2FAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T03:09:45.101297Z","bundle_sha256":"ff33b6da4783d9a5c5b4bb5b249dc26cc7f6db50ee98d3e8592e01dbedfb34c1"}}