{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NYSXXYWME5HYW2LH4VKWTIXBBB","short_pith_number":"pith:NYSXXYWM","canonical_record":{"source":{"id":"2508.06017","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-08T05:04:47Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"428ed9f62c120b620f94052c04e58b41d6f11061755acfe1d36281021899fc75","abstract_canon_sha256":"a64d370bebcf2e22690826246294c5f5bba67b3fd629052cc0337b0fdddb1162"},"schema_version":"1.0"},"canonical_sha256":"6e257be2cc274f8b6967e55569a2e108463e1826fc9db0108160f2c19d58fe4c","source":{"kind":"arxiv","id":"2508.06017","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.06017","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"2508.06017v1","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06017","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"NYSXXYWME5HY","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_16","alias_value":"NYSXXYWME5HYW2LH","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_8","alias_value":"NYSXXYWM","created_at":"2026-07-05T11:50:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NYSXXYWME5HYW2LH4VKWTIXBBB","target":"record","payload":{"canonical_record":{"source":{"id":"2508.06017","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-08T05:04:47Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"428ed9f62c120b620f94052c04e58b41d6f11061755acfe1d36281021899fc75","abstract_canon_sha256":"a64d370bebcf2e22690826246294c5f5bba67b3fd629052cc0337b0fdddb1162"},"schema_version":"1.0"},"canonical_sha256":"6e257be2cc274f8b6967e55569a2e108463e1826fc9db0108160f2c19d58fe4c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:50:47.479213Z","signature_b64":"YK5/Y6ExlHK1ZlfEFHg2BvAmR/mTeiaBkPLQ4eIHThFMWtHlHHzLFxYmb7qpWvrFTyjHgaOZCiJSwNbgJrLqAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e257be2cc274f8b6967e55569a2e108463e1826fc9db0108160f2c19d58fe4c","last_reissued_at":"2026-07-05T11:50:47.478711Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:50:47.478711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.06017","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-05T11:50:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5y7gky4y4n9mVkbv9rv9MJs4C3m0UYTDo0HYBP1N/c5VVUewKyKmr7uBmFTXHbmLZzXJvUCDPk0Azvl6cf6LBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T13:01:05.411709Z"},"content_sha256":"0cf161f7be72e44acd5390f5cef8906c41606651d09feba7d871629211c123f5","schema_version":"1.0","event_id":"sha256:0cf161f7be72e44acd5390f5cef8906c41606651d09feba7d871629211c123f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NYSXXYWME5HYW2LH4VKWTIXBBB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Position: Intelligent Coding Systems Should Write Programs with Justifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.LG"],"primary_cat":"cs.SE","authors_text":"Chengpeng Wang, Shiwei Feng, Xiangyu Zhang, Xiangzhe Xu, Zian Su","submitted_at":"2025-08-08T05:04:47Z","abstract_excerpt":"Intelligent coding systems are transforming software development by enabling users to specify code behavior in natural language. However, the opaque decision-making of AI-driven coders raises trust and usability concerns, particularly for non-expert users who cannot inspect low-level implementations. We argue that these systems should not only generate code but also produce clear, consistent justifications that bridge model reasoning and user understanding. To this end, we identify two critical justification properties-cognitive alignment and semantic faithfulness-and highlight the limitations"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06017","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/2508.06017/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-05T11:50:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cKqdn/vvs74lAfnZJwjCg+R7yMhbFs3L1W+2T40zm/Spp8w9n08w6QxXBtfJeDbhdbaygp+v1yE0q7Zami+ZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T13:01:05.412225Z"},"content_sha256":"dd53b55c8465a95089138d8f9101970e556c14f7d698441c4d56b76803c502cc","schema_version":"1.0","event_id":"sha256:dd53b55c8465a95089138d8f9101970e556c14f7d698441c4d56b76803c502cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/bundle.json","state_url":"https://pith.science/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/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-10T13:01:05Z","links":{"resolver":"https://pith.science/pith/NYSXXYWME5HYW2LH4VKWTIXBBB","bundle":"https://pith.science/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/bundle.json","state":"https://pith.science/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NYSXXYWME5HYW2LH4VKWTIXBBB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NYSXXYWME5HYW2LH4VKWTIXBBB","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":"a64d370bebcf2e22690826246294c5f5bba67b3fd629052cc0337b0fdddb1162","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-08T05:04:47Z","title_canon_sha256":"428ed9f62c120b620f94052c04e58b41d6f11061755acfe1d36281021899fc75"},"schema_version":"1.0","source":{"id":"2508.06017","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.06017","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"2508.06017v1","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06017","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"NYSXXYWME5HY","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_16","alias_value":"NYSXXYWME5HYW2LH","created_at":"2026-07-05T11:50:47Z"},{"alias_kind":"pith_short_8","alias_value":"NYSXXYWM","created_at":"2026-07-05T11:50:47Z"}],"graph_snapshots":[{"event_id":"sha256:dd53b55c8465a95089138d8f9101970e556c14f7d698441c4d56b76803c502cc","target":"graph","created_at":"2026-07-05T11:50:47Z","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/2508.06017/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Intelligent coding systems are transforming software development by enabling users to specify code behavior in natural language. However, the opaque decision-making of AI-driven coders raises trust and usability concerns, particularly for non-expert users who cannot inspect low-level implementations. We argue that these systems should not only generate code but also produce clear, consistent justifications that bridge model reasoning and user understanding. To this end, we identify two critical justification properties-cognitive alignment and semantic faithfulness-and highlight the limitations","authors_text":"Chengpeng Wang, Shiwei Feng, Xiangyu Zhang, Xiangzhe Xu, Zian Su","cross_cats":["cs.CL","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-08T05:04:47Z","title":"Position: Intelligent Coding Systems Should Write Programs with Justifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06017","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:0cf161f7be72e44acd5390f5cef8906c41606651d09feba7d871629211c123f5","target":"record","created_at":"2026-07-05T11:50:47Z","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":"a64d370bebcf2e22690826246294c5f5bba67b3fd629052cc0337b0fdddb1162","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-08T05:04:47Z","title_canon_sha256":"428ed9f62c120b620f94052c04e58b41d6f11061755acfe1d36281021899fc75"},"schema_version":"1.0","source":{"id":"2508.06017","kind":"arxiv","version":1}},"canonical_sha256":"6e257be2cc274f8b6967e55569a2e108463e1826fc9db0108160f2c19d58fe4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e257be2cc274f8b6967e55569a2e108463e1826fc9db0108160f2c19d58fe4c","first_computed_at":"2026-07-05T11:50:47.478711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:50:47.478711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YK5/Y6ExlHK1ZlfEFHg2BvAmR/mTeiaBkPLQ4eIHThFMWtHlHHzLFxYmb7qpWvrFTyjHgaOZCiJSwNbgJrLqAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:50:47.479213Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.06017","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cf161f7be72e44acd5390f5cef8906c41606651d09feba7d871629211c123f5","sha256:dd53b55c8465a95089138d8f9101970e556c14f7d698441c4d56b76803c502cc"],"state_sha256":"5ba1d1532572b509f8a0a03863dee5d410151e0762db03eba34b88c70365684b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R3Vj7FancDIEg/eGCAg4UZGtPu67vBNKXSvcPBCaWQrLLYnwfF9F/sCyuGl6QOKbXw/ND0ZDF5XcPghjcJFQDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T13:01:05.440036Z","bundle_sha256":"897c5ad863a04fea0a1ec656322e98d932161359cade65ddb9d598234ec8b54b"}}