{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","short_pith_number":"pith:W7USCKDM","canonical_record":{"source":{"id":"2607.16061","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T15:39:23Z","cross_cats_sorted":[],"title_canon_sha256":"1b5c15aa94865efb57b8ee6c189c8c0a4abcd33e7d1b510e0bb32d3b8bbe727a","abstract_canon_sha256":"f79bf85ff78e66f34544074c6cb8b5afa373db557a544b978c371c0f2995db4c"},"schema_version":"1.0"},"canonical_sha256":"b7e921286cdfcf081178178d21399f916df535ebf7f4eeddda1a57c227310699","source":{"kind":"arxiv","id":"2607.16061","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16061","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16061v1","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16061","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_12","alias_value":"W7USCKDM37HQ","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_16","alias_value":"W7USCKDM37HQQELY","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_8","alias_value":"W7USCKDM","created_at":"2026-07-20T02:19:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","target":"record","payload":{"canonical_record":{"source":{"id":"2607.16061","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T15:39:23Z","cross_cats_sorted":[],"title_canon_sha256":"1b5c15aa94865efb57b8ee6c189c8c0a4abcd33e7d1b510e0bb32d3b8bbe727a","abstract_canon_sha256":"f79bf85ff78e66f34544074c6cb8b5afa373db557a544b978c371c0f2995db4c"},"schema_version":"1.0"},"canonical_sha256":"b7e921286cdfcf081178178d21399f916df535ebf7f4eeddda1a57c227310699","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T02:19:28.948067Z","signature_b64":"7lgW3eZvt4ZteDoKHL9I7zFTz6C/pUiKOg2hnIOQ/9J2W036HYnf4Q5irUveOT0G2W8wAiBUKHtiplpMYYT1CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7e921286cdfcf081178178d21399f916df535ebf7f4eeddda1a57c227310699","last_reissued_at":"2026-07-20T02:19:28.947189Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T02:19:28.947189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.16061","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-20T02:19:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p4Xcm3zqtPA+ZPdv3xrZJxqaayp5ylPdkfKG8PNRvaGtj+7qLmQGxM3NIltpR0xaxl6NgIgFTuUZDJcMsMK1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:49:11.235662Z"},"content_sha256":"780aabfd0448dbf4a5a4c75992497de2e30a4c97a752f124b7ea64685b243746","schema_version":"1.0","event_id":"sha256:780aabfd0448dbf4a5a4c75992497de2e30a4c97a752f124b7ea64685b243746"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aghilas Y. Boussaa, Bruno C. d. S. Oliveira, Sam Lindley, Shengyi Jiang, Wenhao Tang","submitted_at":"2026-07-17T15:39:23Z","abstract_excerpt":"Bidirectional typing makes use of local information flow between functions and arguments. Conventional bidirectional typing only supports unidirectional information flow, typically from functions to arguments, which is insufficient to infer first-class polymorphism. Existing work on improving information flow either has limited support for mixed information flow or requires ad hoc mechanisms that harm predictability.\n  We propose Fresco, a novel bidirectional type inference approach to first-class polymorphism. Fresco enables local type information to flow back and forth between functions and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16061","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.16061/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-20T02:19:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uWbPgyo7kkR1GF50l4v3rCM4AGhYlml0QNzVs8TmisoxciXMc0UKJoUfPfJgxJ3WqG1u1IPSf2BRRIOgdfAYDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:49:11.236161Z"},"content_sha256":"43a7082b23df5d6a7fc4aee707f2591f0356fef9998487bcfdc94e52abf3b3c7","schema_version":"1.0","event_id":"sha256:43a7082b23df5d6a7fc4aee707f2591f0356fef9998487bcfdc94e52abf3b3c7"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","target":"integrity","payload":{"note":"Identifier '10.1145/3828702' 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":"J. Garrett Morris. 2026. Another Type Inference Algorithm for First-Class Implicit Polymorphism.Proc. ACM Program. Lang.10, ICFP (2026), 304:1–304:29. doi:10.1145/3828702","arxiv_id":"2607.16061","detector":"doi_compliance","evidence":{"doi":"10.1145/3828702","arxiv_id":null,"ref_index":26,"raw_excerpt":"J. Garrett Morris. 2026. Another Type Inference Algorithm for First-Class Implicit Polymorphism.Proc. ACM Program. Lang.10, ICFP (2026), 304:1–304:29. doi:10.1145/3828702","parse_status":"well_formed","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"],"resolution_status":"hard_miss"},"severity":"critical","ref_index":26,"audited_at":"2026-08-01T21:39:45.675763Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/3828702","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"f1611ff648c2ca63cbb8af7141142a13595899fdd91e7dad03820ff6cffa1037","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16679,"payload_sha256":"ff09b2fa40ca0d8c03b645f87e77b6613d75a87511d0b416b5c95dd91b3b08c4","signature_b64":"Ss67mtsmDAbBSM4RMGDdXVDOogDEacjti5D/Glieg+PTqVq/tOpF/WuqrRNKR98u3Y+PqrujDn54qIOeMIVwBw==","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-08-01T21:43:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bKTfdCS9TZO77KXHJihWBueElSHFD8/vvYO6goei2X3CUaDhAGao0toLpvgy+L+xQE5NJiP7cSE8vXNQzjJYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:49:11.287613Z"},"content_sha256":"6fba25d6fa176cd0ca306d54c870b28a91973b1af2c0ee697ffdc8455fcbb0dc","schema_version":"1.0","event_id":"sha256:6fba25d6fa176cd0ca306d54c870b28a91973b1af2c0ee697ffdc8455fcbb0dc"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-44503-X_20) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. 2001. Why and Where: A Characterization of Data Provenance. InDatabase Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings (Lecture Notes in Compute","arxiv_id":"2607.16061","detector":"doi_compliance","evidence":{"ref_index":5,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/3-540-","reconstructed_doi":"10.1007/3-540-44503-X_20"},"severity":"advisory","ref_index":5,"audited_at":"2026-08-01T21:39:45.675763Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/3-540-44503-X_20","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"415eab2ea9c8138546c8806bd53749cf70c7731712e53350c33e2ec217c227a3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16678,"payload_sha256":"d8ad96185583209533a7d19cb860420147c53b2a42cc8f2298e19de69161c793","signature_b64":"y/t4zwuDr4oNv/DnHKib/o2Z95MDo/tzEVowQMR7yRlJtaMMeeQZNWioJPWYV9nteVtwU6y5jkf+LgmUft61DQ==","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-08-01T21:43:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v+gmysMvsSUCKOX7iLd7N4kzntT7KJ0pAptvKaEHbarEyUKsnx31CRDMoL2OeCm83djz4aJFIWED8Qtl1YtrCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:49:11.288080Z"},"content_sha256":"c54da95eadb81c663f362ac80f6687b1c20291860e1893869f2a85999f7aa507","schema_version":"1.0","event_id":"sha256:c54da95eadb81c663f362ac80f6687b1c20291860e1893869f2a85999f7aa507"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W7USCKDM37HQQELYC6GSCOM7SF/bundle.json","state_url":"https://pith.science/pith/W7USCKDM37HQQELYC6GSCOM7SF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W7USCKDM37HQQELYC6GSCOM7SF/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-17T12:49:11Z","links":{"resolver":"https://pith.science/pith/W7USCKDM37HQQELYC6GSCOM7SF","bundle":"https://pith.science/pith/W7USCKDM37HQQELYC6GSCOM7SF/bundle.json","state":"https://pith.science/pith/W7USCKDM37HQQELYC6GSCOM7SF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W7USCKDM37HQQELYC6GSCOM7SF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:W7USCKDM37HQQELYC6GSCOM7SF","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f79bf85ff78e66f34544074c6cb8b5afa373db557a544b978c371c0f2995db4c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T15:39:23Z","title_canon_sha256":"1b5c15aa94865efb57b8ee6c189c8c0a4abcd33e7d1b510e0bb32d3b8bbe727a"},"schema_version":"1.0","source":{"id":"2607.16061","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16061","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16061v1","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16061","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_12","alias_value":"W7USCKDM37HQ","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_16","alias_value":"W7USCKDM37HQQELY","created_at":"2026-07-20T02:19:28Z"},{"alias_kind":"pith_short_8","alias_value":"W7USCKDM","created_at":"2026-07-20T02:19:28Z"}],"graph_snapshots":[{"event_id":"sha256:43a7082b23df5d6a7fc4aee707f2591f0356fef9998487bcfdc94e52abf3b3c7","target":"graph","created_at":"2026-07-20T02:19:28Z","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.16061/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bidirectional typing makes use of local information flow between functions and arguments. Conventional bidirectional typing only supports unidirectional information flow, typically from functions to arguments, which is insufficient to infer first-class polymorphism. Existing work on improving information flow either has limited support for mixed information flow or requires ad hoc mechanisms that harm predictability.\n  We propose Fresco, a novel bidirectional type inference approach to first-class polymorphism. Fresco enables local type information to flow back and forth between functions and ","authors_text":"Aghilas Y. Boussaa, Bruno C. d. S. Oliveira, Sam Lindley, Shengyi Jiang, Wenhao Tang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16061","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:780aabfd0448dbf4a5a4c75992497de2e30a4c97a752f124b7ea64685b243746","target":"record","created_at":"2026-07-20T02:19:28Z","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":"f79bf85ff78e66f34544074c6cb8b5afa373db557a544b978c371c0f2995db4c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T15:39:23Z","title_canon_sha256":"1b5c15aa94865efb57b8ee6c189c8c0a4abcd33e7d1b510e0bb32d3b8bbe727a"},"schema_version":"1.0","source":{"id":"2607.16061","kind":"arxiv","version":1}},"canonical_sha256":"b7e921286cdfcf081178178d21399f916df535ebf7f4eeddda1a57c227310699","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b7e921286cdfcf081178178d21399f916df535ebf7f4eeddda1a57c227310699","first_computed_at":"2026-07-20T02:19:28.947189Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T02:19:28.947189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7lgW3eZvt4ZteDoKHL9I7zFTz6C/pUiKOg2hnIOQ/9J2W036HYnf4Q5irUveOT0G2W8wAiBUKHtiplpMYYT1CQ==","signature_status":"signed_v1","signed_at":"2026-07-20T02:19:28.948067Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.16061","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:6fba25d6fa176cd0ca306d54c870b28a91973b1af2c0ee697ffdc8455fcbb0dc","sha256:c54da95eadb81c663f362ac80f6687b1c20291860e1893869f2a85999f7aa507"]}],"invalid_events":[],"applied_event_ids":["sha256:780aabfd0448dbf4a5a4c75992497de2e30a4c97a752f124b7ea64685b243746","sha256:43a7082b23df5d6a7fc4aee707f2591f0356fef9998487bcfdc94e52abf3b3c7"],"state_sha256":"f45e16c075bdc80f03ac6252f83afd829f3a6cac334281edd6b98eb2c994c23b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EaVtJ8TMs6pjlIUUOa8YTjIPHgLYC1FcLN7QR66xgqIxhuNVsyRSulwAnuhU2WG/vSfjj8JELn5Mzx0DyqMCBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T12:49:11.290601Z","bundle_sha256":"c6773b1d10fee29e264281743443a38177254e4ed0767e921ee85e197125bf25"}}