{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RQKITQVGFY5NF5ULAQU3A6A6TX","short_pith_number":"pith:RQKITQVG","canonical_record":{"source":{"id":"2606.21619","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-19T17:22:27Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"675c362f66aef993cb4fb16fdb7130a14934f7b64125cbb78bc092d0eee14395","abstract_canon_sha256":"9feaa3e4af5337d44e5d0725825d0e7fe1de68e8aa842becaaa1b2164e7f6ff7"},"schema_version":"1.0"},"canonical_sha256":"8c1489c2a62e3ad2f68b0429b0781e9ddd109c803643d01bbd96478b607308ff","source":{"kind":"arxiv","id":"2606.21619","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21619","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21619v1","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21619","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_12","alias_value":"RQKITQVGFY5N","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_16","alias_value":"RQKITQVGFY5NF5UL","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_8","alias_value":"RQKITQVG","created_at":"2026-06-23T01:13:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RQKITQVGFY5NF5ULAQU3A6A6TX","target":"record","payload":{"canonical_record":{"source":{"id":"2606.21619","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-19T17:22:27Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"675c362f66aef993cb4fb16fdb7130a14934f7b64125cbb78bc092d0eee14395","abstract_canon_sha256":"9feaa3e4af5337d44e5d0725825d0e7fe1de68e8aa842becaaa1b2164e7f6ff7"},"schema_version":"1.0"},"canonical_sha256":"8c1489c2a62e3ad2f68b0429b0781e9ddd109c803643d01bbd96478b607308ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T01:13:16.681520Z","signature_b64":"IvhZ7USzwoVSS3XMET2tbTHSzCPICBBe0qLllHtgHQTrAstOdDiO1WnUEqcEbNMPKuou28dRv6tx4s3UUQvjDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c1489c2a62e3ad2f68b0429b0781e9ddd109c803643d01bbd96478b607308ff","last_reissued_at":"2026-06-23T01:13:16.680986Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T01:13:16.680986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.21619","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-06-23T01:13:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fmq0B4hM8AFjCtwWk4tMg2qS5Ynh8yBcfBMipMQxQOAqQE/jSNPjrIxt44/QC94pnhTikC5B0d+Kv5GhGHplCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:18:07.779590Z"},"content_sha256":"6240529eeb46ca982ac8f291e3b2e844fd56ddbc69b4ac3773d8fa6b386ea23d","schema_version":"1.0","event_id":"sha256:6240529eeb46ca982ac8f291e3b2e844fd56ddbc69b4ac3773d8fa6b386ea23d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RQKITQVGFY5NF5ULAQU3A6A6TX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Alignment Problem in Constrained Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"George Zakhour, Guido Salvaneschi, Jahrim Gabriele Cesario, Luca Di Grazia, Matteo Biagiola","submitted_at":"2026-06-19T17:22:27Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated strong capabilities in code generation, but their outputs frequently contain syntax or type errors that result in compilation failures. Constrained decoding has been proposed as a solution to mitigate compilation errors by construction, improving functional correctness as a byproduct. However, previous works overlook a critical aspect of constrained decoding: the alignment between constrainer (e.g., types), language model and the target specification language (e.g., TypeScript). Misalignment is caused by the constrainer being incomplete--rejecting"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21619","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/2606.21619/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-06-23T01:13:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mPqN1chKuaMZaAK8iZMgMgln+GrMFuVU6WH1ATxRwXEH8HWXkFUdlYPPkBKioqPQaiiwidWD+XDdKlrRImI4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:18:07.779961Z"},"content_sha256":"c3b5370656a363448c23b4e1784eaa96f0c050d81d7fc1db6757bf7ed6b99bb6","schema_version":"1.0","event_id":"sha256:c3b5370656a363448c23b4e1784eaa96f0c050d81d7fc1db6757bf7ed6b99bb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/bundle.json","state_url":"https://pith.science/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/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-06-29T13:18:07Z","links":{"resolver":"https://pith.science/pith/RQKITQVGFY5NF5ULAQU3A6A6TX","bundle":"https://pith.science/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/bundle.json","state":"https://pith.science/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RQKITQVGFY5NF5ULAQU3A6A6TX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RQKITQVGFY5NF5ULAQU3A6A6TX","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":"9feaa3e4af5337d44e5d0725825d0e7fe1de68e8aa842becaaa1b2164e7f6ff7","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-19T17:22:27Z","title_canon_sha256":"675c362f66aef993cb4fb16fdb7130a14934f7b64125cbb78bc092d0eee14395"},"schema_version":"1.0","source":{"id":"2606.21619","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21619","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21619v1","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21619","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_12","alias_value":"RQKITQVGFY5N","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_16","alias_value":"RQKITQVGFY5NF5UL","created_at":"2026-06-23T01:13:16Z"},{"alias_kind":"pith_short_8","alias_value":"RQKITQVG","created_at":"2026-06-23T01:13:16Z"}],"graph_snapshots":[{"event_id":"sha256:c3b5370656a363448c23b4e1784eaa96f0c050d81d7fc1db6757bf7ed6b99bb6","target":"graph","created_at":"2026-06-23T01:13:16Z","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/2606.21619/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have demonstrated strong capabilities in code generation, but their outputs frequently contain syntax or type errors that result in compilation failures. Constrained decoding has been proposed as a solution to mitigate compilation errors by construction, improving functional correctness as a byproduct. However, previous works overlook a critical aspect of constrained decoding: the alignment between constrainer (e.g., types), language model and the target specification language (e.g., TypeScript). Misalignment is caused by the constrainer being incomplete--rejecting","authors_text":"George Zakhour, Guido Salvaneschi, Jahrim Gabriele Cesario, Luca Di Grazia, Matteo Biagiola","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-19T17:22:27Z","title":"The Alignment Problem in Constrained Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21619","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:6240529eeb46ca982ac8f291e3b2e844fd56ddbc69b4ac3773d8fa6b386ea23d","target":"record","created_at":"2026-06-23T01:13:16Z","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":"9feaa3e4af5337d44e5d0725825d0e7fe1de68e8aa842becaaa1b2164e7f6ff7","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-19T17:22:27Z","title_canon_sha256":"675c362f66aef993cb4fb16fdb7130a14934f7b64125cbb78bc092d0eee14395"},"schema_version":"1.0","source":{"id":"2606.21619","kind":"arxiv","version":1}},"canonical_sha256":"8c1489c2a62e3ad2f68b0429b0781e9ddd109c803643d01bbd96478b607308ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c1489c2a62e3ad2f68b0429b0781e9ddd109c803643d01bbd96478b607308ff","first_computed_at":"2026-06-23T01:13:16.680986Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T01:13:16.680986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IvhZ7USzwoVSS3XMET2tbTHSzCPICBBe0qLllHtgHQTrAstOdDiO1WnUEqcEbNMPKuou28dRv6tx4s3UUQvjDQ==","signature_status":"signed_v1","signed_at":"2026-06-23T01:13:16.681520Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.21619","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6240529eeb46ca982ac8f291e3b2e844fd56ddbc69b4ac3773d8fa6b386ea23d","sha256:c3b5370656a363448c23b4e1784eaa96f0c050d81d7fc1db6757bf7ed6b99bb6"],"state_sha256":"5d14dd0eb6c8963e4e387679250704693b167e16379cddf86db9e4b410a8dad8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jYdBLBddbV5MklxPG+Ct8Z5c5W+i1waalvQoSkNjxZVz+4c9e2HvCJ311pm/x9xAfYvhuSH2LQYFD6cF9ZKGAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T13:18:07.781951Z","bundle_sha256":"fee5781fef325055bd05b407e5819d61254c1d4bf5a1ffd67aaa52843fa4fbcf"}}