{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7W3IDLKOUHLU5QQXHF3PICHS2C","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":"387a8a6697a3fe9bb2d98120cb798a5add1fe72dfa06d251e2973247ef0a8072","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-03T10:35:47Z","title_canon_sha256":"5595598a318c2a38838d91c5eac6ce57f4a9abba52c8bcba8539fac0b7835b28"},"schema_version":"1.0","source":{"id":"1503.00883","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.00883","created_at":"2026-05-18T02:25:48Z"},{"alias_kind":"arxiv_version","alias_value":"1503.00883v1","created_at":"2026-05-18T02:25:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00883","created_at":"2026-05-18T02:25:48Z"},{"alias_kind":"pith_short_12","alias_value":"7W3IDLKOUHLU","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7W3IDLKOUHLU5QQX","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7W3IDLKO","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:6200e51005f59c3500d2e85ad06ba38050a4246fa796a5fbbad2f09bc7e7a7cd","target":"graph","created_at":"2026-05-18T02:25:48Z","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":"Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equations, Cousot and Cousot have suggested accelerated fixpoint iteration by means of widening and narrowing.\n  The strict separation into phases, however, may unnecessarily give up precision that cannot be recovered later, as over-approximated interim results have to be fully propagated through the equation the system. Additionally, classical two-phased approach is not suitable for equation systems with infinitely many u","authors_text":"Francesca Scozzari, Gianluca Amato, Helmut Seidl, Kalmer Apinis, Vesal Vojdani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-03T10:35:47Z","title":"Efficiently intertwining widening and narrowing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00883","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:11e4ed3be57343052bdb820eab02c6f78dc6d993525243f786e836810b1a5e29","target":"record","created_at":"2026-05-18T02:25:48Z","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":"387a8a6697a3fe9bb2d98120cb798a5add1fe72dfa06d251e2973247ef0a8072","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-03T10:35:47Z","title_canon_sha256":"5595598a318c2a38838d91c5eac6ce57f4a9abba52c8bcba8539fac0b7835b28"},"schema_version":"1.0","source":{"id":"1503.00883","kind":"arxiv","version":1}},"canonical_sha256":"fdb681ad4ea1d74ec2173976f408f2d08f2263a3f9117d376ce3131fd97dd2f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdb681ad4ea1d74ec2173976f408f2d08f2263a3f9117d376ce3131fd97dd2f5","first_computed_at":"2026-05-18T02:25:48.177824Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:48.177824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/4FEqOKltUIFOyHeacDawRKKV8u7fQXTBj9vu666y6ICKY4eGOuMPoCg4pTkX1TB2mvIpXU+EdrYWoVqTYjnCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:48.178308Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.00883","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11e4ed3be57343052bdb820eab02c6f78dc6d993525243f786e836810b1a5e29","sha256:6200e51005f59c3500d2e85ad06ba38050a4246fa796a5fbbad2f09bc7e7a7cd"],"state_sha256":"928d8d2a7f4ad269cd91ec5373702cb30302234764b87889f0962461aa2d5c3e"}