{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NZ7QVT5ONMCEWHCKJ2SOF65EQT","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"19178cdc5925f0585b92968f74afc1fa8dc90db02fd76ac7616359fd5b8d51cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T11:08:50Z","title_canon_sha256":"b5b23d1b57c4bbc70d1811b3afc0bf59079f51f49cf632cad487a080f863c54a"},"schema_version":"1.0","source":{"id":"2606.21992","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21992","created_at":"2026-06-23T02:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21992v1","created_at":"2026-06-23T02:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21992","created_at":"2026-06-23T02:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"NZ7QVT5ONMCE","created_at":"2026-06-23T02:13:05Z"},{"alias_kind":"pith_short_16","alias_value":"NZ7QVT5ONMCEWHCK","created_at":"2026-06-23T02:13:05Z"},{"alias_kind":"pith_short_8","alias_value":"NZ7QVT5O","created_at":"2026-06-23T02:13:05Z"}],"graph_snapshots":[{"event_id":"sha256:217035299e4271ffc78bd132ee53098f30d7b71b23c6c1ffe9a3bf608930e255","target":"graph","created_at":"2026-06-23T02:13:05Z","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/2606.21992/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Abstract interpretation offers a principled foundation for static analysis by approximating concrete program semantics via abstract domains. However, quantitatively comparing the precision of different domains remains a longstanding challenge. We present MCAI (Model Counting meets Abstract Interpretation), a new methodology that employs model counting to measure the precision of abstract domains. Unlike prior approaches that assess precision relative to specific analysis queries, MCAI encodes both concrete semantics and abstract values as logical formulas, enabling a client-independent, quanti","authors_text":"Junda Zheng, Peisen Yao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T11:08:50Z","title":"Analyzing the Analyzers: Model Counting Meets Abstract Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21992","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:54cc4ffff5c45a5575d81bdd246cb85625b3b7abd769dc907374dc6c5151cafd","target":"record","created_at":"2026-06-23T02:13:05Z","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":"19178cdc5925f0585b92968f74afc1fa8dc90db02fd76ac7616359fd5b8d51cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T11:08:50Z","title_canon_sha256":"b5b23d1b57c4bbc70d1811b3afc0bf59079f51f49cf632cad487a080f863c54a"},"schema_version":"1.0","source":{"id":"2606.21992","kind":"arxiv","version":1}},"canonical_sha256":"6e7f0acfae6b044b1c4a4ea4e2fba484d5aba8780a845fc4e1d450317d08bc90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e7f0acfae6b044b1c4a4ea4e2fba484d5aba8780a845fc4e1d450317d08bc90","first_computed_at":"2026-06-23T02:13:05.080634Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T02:13:05.080634Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EJg+YV5Bn0aJt++DgNiCXObYwofoRgmX4RthSSvCq0ApGHEecvn3N9ySOR5Vx1xYW7wW4ekHJ0eecbs4nzEhAQ==","signature_status":"signed_v1","signed_at":"2026-06-23T02:13:05.080986Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.21992","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:54cc4ffff5c45a5575d81bdd246cb85625b3b7abd769dc907374dc6c5151cafd","sha256:217035299e4271ffc78bd132ee53098f30d7b71b23c6c1ffe9a3bf608930e255"],"state_sha256":"17b6f67235e4cc10280612fbac2ed2f86fbeb31d3e65519a773660191916a035"}