{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QXGQGTQG3ET2T7HMJF3YDOSCBY","short_pith_number":"pith:QXGQGTQG","canonical_record":{"source":{"id":"2607.20432","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-10T15:01:16Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5d8b58c4e6a8324c793c8a7467cb256a82398415b255022ac43cc1a1ed8b797e","abstract_canon_sha256":"3bb51a084728cc2870d137aaede5670640cae6b2e4c30a6e6c9ca7b321d66955"},"schema_version":"1.0"},"canonical_sha256":"85cd034e06d927a9fcec497781ba420e3fbb814b27da1d13f9e5d95a741b36ec","source":{"kind":"arxiv","id":"2607.20432","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20432","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20432v1","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20432","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_12","alias_value":"QXGQGTQG3ET2","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_16","alias_value":"QXGQGTQG3ET2T7HM","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_8","alias_value":"QXGQGTQG","created_at":"2026-07-24T00:23:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QXGQGTQG3ET2T7HMJF3YDOSCBY","target":"record","payload":{"canonical_record":{"source":{"id":"2607.20432","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-10T15:01:16Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5d8b58c4e6a8324c793c8a7467cb256a82398415b255022ac43cc1a1ed8b797e","abstract_canon_sha256":"3bb51a084728cc2870d137aaede5670640cae6b2e4c30a6e6c9ca7b321d66955"},"schema_version":"1.0"},"canonical_sha256":"85cd034e06d927a9fcec497781ba420e3fbb814b27da1d13f9e5d95a741b36ec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T00:23:15.124501Z","signature_b64":"2hVNhX5wiEVS8iufI/MhCE0nw8HcK3pETYHlZGMUwqy+Jp6X+Fxy4KdejJFv4FdBlxuP2jXiYD5pn3fGzZOjCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85cd034e06d927a9fcec497781ba420e3fbb814b27da1d13f9e5d95a741b36ec","last_reissued_at":"2026-07-24T00:23:15.123562Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T00:23:15.123562Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.20432","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-24T00:23:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sGNDu8gvyEgux8GwHyd/fONm0BbZ9oB9v/XS8QQhc+bUVpkRtcNc8FbS0/JiAASzjzbaFvSHzA+qLIC+9OruBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:35:16.627905Z"},"content_sha256":"b4254dab7e98f5271bdb40d8c95a5215bdb887a316e6115f5ff1c42e0803a0d9","schema_version":"1.0","event_id":"sha256:b4254dab7e98f5271bdb40d8c95a5215bdb887a316e6115f5ff1c42e0803a0d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QXGQGTQG3ET2T7HMJF3YDOSCBY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Position: Natural Language Should Not Fully Replace Formal Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CL","authors_text":"Eitan Wagner, Elisha Rosensweig, Omri Abend","submitted_at":"2026-05-10T15:01:16Z","abstract_excerpt":"Recent advances in large language models and their widespread adoption have prompted claims that natural language could entirely replace formal languages, such as programming languages for software design. In this position paper, we argue that this perspective overlooks fundamental linguistic properties of natural language, specifically that it is optimized for underspecification in open-ended contexts. We introduce a formal framework centered on *task specificity*, defining it as the information-theoretic reduction of uncertainty in an output space -- such as all possible images -- given a us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20432","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.20432/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-24T00:23:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1k90sfqCwIlC613FBYnq3XbZTHIQ6izaoIG8t4aIogJZol3L5UJqLF2CKYwwDPXWkBQUocmRTJpMVaTozj0kBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:35:16.628309Z"},"content_sha256":"dab3d38fab605c981ce6e68d5a68448056c698a78f6d24dce6087673e8456a3c","schema_version":"1.0","event_id":"sha256:dab3d38fab605c981ce6e68d5a68448056c698a78f6d24dce6087673e8456a3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/bundle.json","state_url":"https://pith.science/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/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-07T18:35:16Z","links":{"resolver":"https://pith.science/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY","bundle":"https://pith.science/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/bundle.json","state":"https://pith.science/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QXGQGTQG3ET2T7HMJF3YDOSCBY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QXGQGTQG3ET2T7HMJF3YDOSCBY","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":"3bb51a084728cc2870d137aaede5670640cae6b2e4c30a6e6c9ca7b321d66955","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-10T15:01:16Z","title_canon_sha256":"5d8b58c4e6a8324c793c8a7467cb256a82398415b255022ac43cc1a1ed8b797e"},"schema_version":"1.0","source":{"id":"2607.20432","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20432","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20432v1","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20432","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_12","alias_value":"QXGQGTQG3ET2","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_16","alias_value":"QXGQGTQG3ET2T7HM","created_at":"2026-07-24T00:23:15Z"},{"alias_kind":"pith_short_8","alias_value":"QXGQGTQG","created_at":"2026-07-24T00:23:15Z"}],"graph_snapshots":[{"event_id":"sha256:dab3d38fab605c981ce6e68d5a68448056c698a78f6d24dce6087673e8456a3c","target":"graph","created_at":"2026-07-24T00:23:15Z","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.20432/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in large language models and their widespread adoption have prompted claims that natural language could entirely replace formal languages, such as programming languages for software design. In this position paper, we argue that this perspective overlooks fundamental linguistic properties of natural language, specifically that it is optimized for underspecification in open-ended contexts. We introduce a formal framework centered on *task specificity*, defining it as the information-theoretic reduction of uncertainty in an output space -- such as all possible images -- given a us","authors_text":"Eitan Wagner, Elisha Rosensweig, Omri Abend","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20432","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:b4254dab7e98f5271bdb40d8c95a5215bdb887a316e6115f5ff1c42e0803a0d9","target":"record","created_at":"2026-07-24T00:23:15Z","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":"3bb51a084728cc2870d137aaede5670640cae6b2e4c30a6e6c9ca7b321d66955","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-10T15:01:16Z","title_canon_sha256":"5d8b58c4e6a8324c793c8a7467cb256a82398415b255022ac43cc1a1ed8b797e"},"schema_version":"1.0","source":{"id":"2607.20432","kind":"arxiv","version":1}},"canonical_sha256":"85cd034e06d927a9fcec497781ba420e3fbb814b27da1d13f9e5d95a741b36ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85cd034e06d927a9fcec497781ba420e3fbb814b27da1d13f9e5d95a741b36ec","first_computed_at":"2026-07-24T00:23:15.123562Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T00:23:15.123562Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2hVNhX5wiEVS8iufI/MhCE0nw8HcK3pETYHlZGMUwqy+Jp6X+Fxy4KdejJFv4FdBlxuP2jXiYD5pn3fGzZOjCw==","signature_status":"signed_v1","signed_at":"2026-07-24T00:23:15.124501Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.20432","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4254dab7e98f5271bdb40d8c95a5215bdb887a316e6115f5ff1c42e0803a0d9","sha256:dab3d38fab605c981ce6e68d5a68448056c698a78f6d24dce6087673e8456a3c"],"state_sha256":"2592f9939eb98864ac10cff8fb12985f71678a19897d961538a673f06ba1c6c4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OQl3vrqzYkaT2Aq1QrWrnaCedvsUU00r3+f3IlcVqjYqEXVw3lpI64uQ+Xl3O27jHRT/mNqKvN5O+hpjS4I/BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T18:35:16.631027Z","bundle_sha256":"417d1ab3e9a544fe973c3c0893e1f8c8b0c1c0c1d82b89d20ebf7aac1384ee89"}}