{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:G3UBYSKOW6LLQG5SYC2543BY4I","short_pith_number":"pith:G3UBYSKO","canonical_record":{"source":{"id":"2607.19693","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-22T02:51:18Z","cross_cats_sorted":[],"title_canon_sha256":"4bbb44cc0546e06bc2d0266295483395b595eba73a20b435b2f6b8c35ad53ddf","abstract_canon_sha256":"87ab7b252e529248f9556c3a150494951adee1c858dec83beef17868fa4a82b5"},"schema_version":"1.0"},"canonical_sha256":"36e81c494eb796b81bb2c0b5de6c38e2102821eb7fb78b94d6d92bf57e4cbde5","source":{"kind":"arxiv","id":"2607.19693","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.19693","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"arxiv_version","alias_value":"2607.19693v1","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.19693","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_12","alias_value":"G3UBYSKOW6LL","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_16","alias_value":"G3UBYSKOW6LLQG5S","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_8","alias_value":"G3UBYSKO","created_at":"2026-07-23T00:24:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:G3UBYSKOW6LLQG5SYC2543BY4I","target":"record","payload":{"canonical_record":{"source":{"id":"2607.19693","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-22T02:51:18Z","cross_cats_sorted":[],"title_canon_sha256":"4bbb44cc0546e06bc2d0266295483395b595eba73a20b435b2f6b8c35ad53ddf","abstract_canon_sha256":"87ab7b252e529248f9556c3a150494951adee1c858dec83beef17868fa4a82b5"},"schema_version":"1.0"},"canonical_sha256":"36e81c494eb796b81bb2c0b5de6c38e2102821eb7fb78b94d6d92bf57e4cbde5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-23T00:24:04.116667Z","signature_b64":"XL4Q1HRYwmjiPYaWmHAXLVFP98DRyhe66m6xAqu3zwr72lD5e36WFwpSTFgoPBTzAG4cMYfGjyeClr0kASbOBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36e81c494eb796b81bb2c0b5de6c38e2102821eb7fb78b94d6d92bf57e4cbde5","last_reissued_at":"2026-07-23T00:24:04.115771Z","signature_status":"signed_v1","first_computed_at":"2026-07-23T00:24:04.115771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.19693","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-23T00:24:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KHC21X0ii4OOlJAHjbw26spHv1hL29R8Wuy3wXxVAe9EF23aqg3GwPOnuWVs/MeYdDy4ecWEI2YtLoMnYBiNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:26:45.098464Z"},"content_sha256":"6b955490ffc819cca64eec092a0eacd87712db3a6cc5fc1856605b2de8a62142","schema_version":"1.0","event_id":"sha256:6b955490ffc819cca64eec092a0eacd87712db3a6cc5fc1856605b2de8a62142"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:G3UBYSKOW6LLQG5SYC2543BY4I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Qunhui Zhang","submitted_at":"2026-07-22T02:51:18Z","abstract_excerpt":"Type inference for dynamically typed languages must reconcile four distinct sources of evidence for function parameters: internal assignments, explicit declarations, contextual requirements, and structural operations. Existing systems often merge these sources into one constraint set, causing spurious conflicts or requiring redundant annotations. We present Generalized Constraint Projection (GCP), a zero-annotation inference framework that stores the four sources in separate monotone slots on a stable definition-time template and checks each call in a fresh projection session. Ordinary calls v"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.19693","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.19693/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-23T00:24:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LZN326baKMkmmPcMiAqGlXHmPTaRaRWFll6ayju5gnYFrsw2Y9/v0fLXUjLWuWOmoM41Sqxzl38EIjwdR1wqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:26:45.098857Z"},"content_sha256":"0feb12d6dd5bd4eab4509e60731491613ac6c539c0d161e74f4231253c1d222a","schema_version":"1.0","event_id":"sha256:0feb12d6dd5bd4eab4509e60731491613ac6c539c0d161e74f4231253c1d222a"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:G3UBYSKOW6LLQG5SYC2543BY4I","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.52202/075280-0377) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Noah Shinn, Federico Cassano, Ashwin Gopinath, Karthik Narasimhan, and Shunyu Yao. 2023. Reflexion: Language Agents with Verbal Reinforcement Learning. InAdvances in Neural Information Processing Systems, Vol. 36. Curran Associates, Inc., R","arxiv_id":"2607.19693","detector":"doi_compliance","evidence":{"ref_index":43,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.52202/075280-","reconstructed_doi":"10.52202/075280-0377"},"severity":"advisory","ref_index":43,"audited_at":"2026-08-01T12:09:48.442097Z","event_type":"pith.integrity.v1","detected_doi":"10.52202/075280-0377","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d28c34992f81d930b5ce0a2a7cdc846a2854675bab685482f4e608424e69ca0e","paper_version":3,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":15775,"payload_sha256":"484e5a75d9599c4b1221af67a5554beff2b28660957afb28e2ae1792a8d83436","signature_b64":"EuVVJ9BJPxp1yTNFpaknWToJUFBDrlFJb3VGRQzNhspEg7j7jMHu272mQsv+C2a6txPhSrYEP6RyZzak6Eg2AA==","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-01T12:13:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B6ahCr/jf76Jbtv+BciHoIxOW2YmHqP82+cWXm9isP7O0CvMUPdHAwWDTN9RKeWLQFiLbty5plTlzdeLI4NlDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:26:45.100696Z"},"content_sha256":"0bdec4be2093989cf56d0a2acddfc34ae89dea040e2c8f11cc35b3cb0f238c1d","schema_version":"1.0","event_id":"sha256:0bdec4be2093989cf56d0a2acddfc34ae89dea040e2c8f11cc35b3cb0f238c1d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G3UBYSKOW6LLQG5SYC2543BY4I/bundle.json","state_url":"https://pith.science/pith/G3UBYSKOW6LLQG5SYC2543BY4I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G3UBYSKOW6LLQG5SYC2543BY4I/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-04T21:26:45Z","links":{"resolver":"https://pith.science/pith/G3UBYSKOW6LLQG5SYC2543BY4I","bundle":"https://pith.science/pith/G3UBYSKOW6LLQG5SYC2543BY4I/bundle.json","state":"https://pith.science/pith/G3UBYSKOW6LLQG5SYC2543BY4I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G3UBYSKOW6LLQG5SYC2543BY4I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:G3UBYSKOW6LLQG5SYC2543BY4I","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"87ab7b252e529248f9556c3a150494951adee1c858dec83beef17868fa4a82b5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-22T02:51:18Z","title_canon_sha256":"4bbb44cc0546e06bc2d0266295483395b595eba73a20b435b2f6b8c35ad53ddf"},"schema_version":"1.0","source":{"id":"2607.19693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.19693","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"arxiv_version","alias_value":"2607.19693v1","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.19693","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_12","alias_value":"G3UBYSKOW6LL","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_16","alias_value":"G3UBYSKOW6LLQG5S","created_at":"2026-07-23T00:24:04Z"},{"alias_kind":"pith_short_8","alias_value":"G3UBYSKO","created_at":"2026-07-23T00:24:04Z"}],"graph_snapshots":[{"event_id":"sha256:0feb12d6dd5bd4eab4509e60731491613ac6c539c0d161e74f4231253c1d222a","target":"graph","created_at":"2026-07-23T00:24:04Z","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.19693/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Type inference for dynamically typed languages must reconcile four distinct sources of evidence for function parameters: internal assignments, explicit declarations, contextual requirements, and structural operations. Existing systems often merge these sources into one constraint set, causing spurious conflicts or requiring redundant annotations. We present Generalized Constraint Projection (GCP), a zero-annotation inference framework that stores the four sources in separate monotone slots on a stable definition-time template and checks each call in a fresh projection session. Ordinary calls v","authors_text":"Qunhui Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-22T02:51:18Z","title":"Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.19693","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:6b955490ffc819cca64eec092a0eacd87712db3a6cc5fc1856605b2de8a62142","target":"record","created_at":"2026-07-23T00:24:04Z","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":"87ab7b252e529248f9556c3a150494951adee1c858dec83beef17868fa4a82b5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-22T02:51:18Z","title_canon_sha256":"4bbb44cc0546e06bc2d0266295483395b595eba73a20b435b2f6b8c35ad53ddf"},"schema_version":"1.0","source":{"id":"2607.19693","kind":"arxiv","version":1}},"canonical_sha256":"36e81c494eb796b81bb2c0b5de6c38e2102821eb7fb78b94d6d92bf57e4cbde5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36e81c494eb796b81bb2c0b5de6c38e2102821eb7fb78b94d6d92bf57e4cbde5","first_computed_at":"2026-07-23T00:24:04.115771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-23T00:24:04.115771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XL4Q1HRYwmjiPYaWmHAXLVFP98DRyhe66m6xAqu3zwr72lD5e36WFwpSTFgoPBTzAG4cMYfGjyeClr0kASbOBQ==","signature_status":"signed_v1","signed_at":"2026-07-23T00:24:04.116667Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.19693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b955490ffc819cca64eec092a0eacd87712db3a6cc5fc1856605b2de8a62142","sha256:0feb12d6dd5bd4eab4509e60731491613ac6c539c0d161e74f4231253c1d222a","sha256:0bdec4be2093989cf56d0a2acddfc34ae89dea040e2c8f11cc35b3cb0f238c1d"],"state_sha256":"d8727a677c93aca673ec815c1ade02b8bc6332e54aa58d44824008e9dadd61bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XTUC45id+INnDsgqC+IEgib1wcIzYeI+BGN4mDKO5Jo9I4m0Zuz5+Xl1/jBDjlrLsIyyLlru1wn4XJCLq6icAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T21:26:45.102133Z","bundle_sha256":"984b576071c01bf5924d48fc23733027c1d02d7667c69cc7b5c4780c0f21fa4b"}}