{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TLTYEWV2BF646NWF7JSQMINWRU","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":"000869048ecf8a933c43309a2f9d255a713eba264f6365327dfb12e5fd7f4d7a","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-06-24T15:58:11Z","title_canon_sha256":"baef8e3306285cfe89549c05ee28e9723c356bfde41a4ba007105b6bee64b9cf"},"schema_version":"1.0","source":{"id":"2606.25987","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25987","created_at":"2026-06-25T01:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25987v1","created_at":"2026-06-25T01:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25987","created_at":"2026-06-25T01:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"TLTYEWV2BF64","created_at":"2026-06-25T01:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"TLTYEWV2BF646NWF","created_at":"2026-06-25T01:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"TLTYEWV2","created_at":"2026-06-25T01:18:45Z"}],"graph_snapshots":[{"event_id":"sha256:5a6b9928d437d2d19511638b464ed52e010628b626b00ce829665a9af3594bf9","target":"graph","created_at":"2026-06-25T01:18:45Z","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.25987/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) attain remarkable surface fluency on code, yet they neither formally guarantee the syntactic validity of their output nor leverage the hierarchical structure defining the target language. While existing constrained-decoding frameworks address the former, they operate under rigid assumptions that preclude critical lexical mechanisms -- including context-sensitive lexing, maximal-munch tokenization, and keyword extraction -- and only approximate vocabulary masking, sacrificing completeness. For the latter, code LLMs typically inject grammatical structure via predeter","authors_text":"Alexandre Bouayad","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-06-24T15:58:11Z","title":"Weave of Formal Thought"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25987","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:00cdca91162e06eeb3a6e0ba51a45621af0a4fb9a3204c012a6ca38f3b79a273","target":"record","created_at":"2026-06-25T01:18:45Z","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":"000869048ecf8a933c43309a2f9d255a713eba264f6365327dfb12e5fd7f4d7a","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-06-24T15:58:11Z","title_canon_sha256":"baef8e3306285cfe89549c05ee28e9723c356bfde41a4ba007105b6bee64b9cf"},"schema_version":"1.0","source":{"id":"2606.25987","kind":"arxiv","version":1}},"canonical_sha256":"9ae7825aba097dcf36c5fa650621b68d1d9d34879f5a5a5d8255a4fe054dc7de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ae7825aba097dcf36c5fa650621b68d1d9d34879f5a5a5d8255a4fe054dc7de","first_computed_at":"2026-06-25T01:18:45.050262Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-25T01:18:45.050262Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L6jjrvN0FgDCgVYOYE3tOMaGzQWGCiMMPVNiBhkXiVCeJ3DjPkEhQdDfm/+6y8uGitC8dL9YcnnjcxR5plwWDA==","signature_status":"signed_v1","signed_at":"2026-06-25T01:18:45.050634Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.25987","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00cdca91162e06eeb3a6e0ba51a45621af0a4fb9a3204c012a6ca38f3b79a273","sha256:5a6b9928d437d2d19511638b464ed52e010628b626b00ce829665a9af3594bf9"],"state_sha256":"e266c070ffb8bc76b51416ed5ab4e2b6f24722294eca68d84143f0ee23851b5c"}