{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FQT7N56AOURLBVVTKIJOUBZJTA","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":"3e9b425ae824acda085aad4dc34f900f25229043654a5eeb916761ee77d612c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-11-14T16:33:11Z","title_canon_sha256":"e1612b8d81995399a5062d6c3a7f8489cba09b3b0f63e58a0461d91597870cbc"},"schema_version":"1.0","source":{"id":"1411.3962","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.3962","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1411.3962v5","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.3962","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"FQT7N56AOURL","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FQT7N56AOURLBVVT","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FQT7N56A","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:c5cdb404761793e414feb5cc3f64c53239d6687151d711ac4940e65cfb407741","target":"graph","created_at":"2026-05-18T01:31:11Z","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"},"paper":{"abstract_excerpt":"The design and implementation of static analyzers has become increasingly systematic. Yet for a given language or analysis feature, it often requires tedious and error prone work to implement an analyzer and prove it sound. In short, static analysis features and their proofs of soundness do not compose well, causing a dearth of reuse in both implementation and metatheory.\n  We solve the problem of systematically constructing static analyzers by introducing Galois transformers: monad transformers that transport Galois connection properties. In concert with a monadic interpreter, we define a lib","authors_text":"David Darais, David Van Horn, Matthew Might","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-11-14T16:33:11Z","title":"Galois Transformers and Modular Abstract Interpreters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.3962","kind":"arxiv","version":5},"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:20e0949b126b25b3329efa3a239681b51e1b2341575ae34f965a084bc3a1b66f","target":"record","created_at":"2026-05-18T01:31:11Z","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":"3e9b425ae824acda085aad4dc34f900f25229043654a5eeb916761ee77d612c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-11-14T16:33:11Z","title_canon_sha256":"e1612b8d81995399a5062d6c3a7f8489cba09b3b0f63e58a0461d91597870cbc"},"schema_version":"1.0","source":{"id":"1411.3962","kind":"arxiv","version":5}},"canonical_sha256":"2c27f6f7c07522b0d6b35212ea07299830772533bacebd5902a4e9a5c0592d52","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c27f6f7c07522b0d6b35212ea07299830772533bacebd5902a4e9a5c0592d52","first_computed_at":"2026-05-18T01:31:11.622383Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:31:11.622383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KQSDvXBkyeqP2TCq+DDS5YGHXBRPjmnnZ0X/s5P3IYbUpqRD1QvxWiruKVZHNhh58UAdlqjXwuSy1a3bdUlmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:31:11.622850Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.3962","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20e0949b126b25b3329efa3a239681b51e1b2341575ae34f965a084bc3a1b66f","sha256:c5cdb404761793e414feb5cc3f64c53239d6687151d711ac4940e65cfb407741"],"state_sha256":"0f45b6c4378b43d1ea88b85feae3b8d45f0eef4be0d48108f067bfd1194bc0fe"}