{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:P6QZW76SJWPHXL3CSDRI46VWVU","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":"5c43d32baf09609013aa8ea94b609f9ec4a2e857c3005b67c686ced8e3007789","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-05T10:11:52Z","title_canon_sha256":"d1c0d7a220aa8ada4c16e355ae0d2e5640640740a62e6e0d0ae980605c3df9a3"},"schema_version":"1.0","source":{"id":"1201.1101","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.1101","created_at":"2026-05-18T04:05:06Z"},{"alias_kind":"arxiv_version","alias_value":"1201.1101v1","created_at":"2026-05-18T04:05:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.1101","created_at":"2026-05-18T04:05:06Z"},{"alias_kind":"pith_short_12","alias_value":"P6QZW76SJWPH","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P6QZW76SJWPHXL3C","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P6QZW76S","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:cb537aa7b4909556785106a4383ed56527b1b84d98ffa1d23707ed9b55282aae","target":"graph","created_at":"2026-05-18T04:05:06Z","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":"Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the lambda-calculus with intersection types in order to obtain principal (i.e., most informative, strongest) typings. In a type inference scenario, expansion allows postponing choices for whether and how to use non-syntax-driven typing rules (e.g., intersection introduction) until enough information has been gathered to make the right decision. Furthermore, these choices can be equivalent to inserting uses of such typing rules at deeply nested positions in a typing ","authors_text":"J. B. Wells, Sergue\\\"i Lenglet","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-05T10:11:52Z","title":"Expansion for Universal Quantifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.1101","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:65a01ef985ef177da4366a27e0dd3459d4146a8187b128bdf254a18f46357873","target":"record","created_at":"2026-05-18T04:05:06Z","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":"5c43d32baf09609013aa8ea94b609f9ec4a2e857c3005b67c686ced8e3007789","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-05T10:11:52Z","title_canon_sha256":"d1c0d7a220aa8ada4c16e355ae0d2e5640640740a62e6e0d0ae980605c3df9a3"},"schema_version":"1.0","source":{"id":"1201.1101","kind":"arxiv","version":1}},"canonical_sha256":"7fa19b7fd24d9e7baf6290e28e7ab6ad3dda984bbe992d938586b488a8544f6d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7fa19b7fd24d9e7baf6290e28e7ab6ad3dda984bbe992d938586b488a8544f6d","first_computed_at":"2026-05-18T04:05:06.155254Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:05:06.155254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SaURqxs4lYSQb+ng4kNBOWNjt8KSQUfuCgltBP2kYN6De86i/zv5pCyKJ++G+xehmxHH/7Q9cYbjjmo8a4nnCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:05:06.155886Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.1101","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65a01ef985ef177da4366a27e0dd3459d4146a8187b128bdf254a18f46357873","sha256:cb537aa7b4909556785106a4383ed56527b1b84d98ffa1d23707ed9b55282aae"],"state_sha256":"bdd1546b6f31b221d894924d6364db7daceab893b71f5450ac9dc5358208d7a8"}