{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RUM45SZJSIAXUYB2JSMKBGO3XA","short_pith_number":"pith:RUM45SZJ","canonical_record":{"source":{"id":"2606.30689","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-28T19:38:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"33510474e4ddee278d06211bfc2c4f79ea964be69f1f7485e7e6ce6394fd0d17","abstract_canon_sha256":"7e2cbb1e6fa9824b41dfc2983f77f8bef956ea484135dabf0d3aba237e3a1375"},"schema_version":"1.0"},"canonical_sha256":"8d19cecb2992017a603a4c98a099dbb825753909a3650ac05dcee597420e3cd0","source":{"kind":"arxiv","id":"2606.30689","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30689","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30689v1","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30689","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"RUM45SZJSIAX","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_16","alias_value":"RUM45SZJSIAXUYB2","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_8","alias_value":"RUM45SZJ","created_at":"2026-07-01T00:17:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RUM45SZJSIAXUYB2JSMKBGO3XA","target":"record","payload":{"canonical_record":{"source":{"id":"2606.30689","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-28T19:38:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"33510474e4ddee278d06211bfc2c4f79ea964be69f1f7485e7e6ce6394fd0d17","abstract_canon_sha256":"7e2cbb1e6fa9824b41dfc2983f77f8bef956ea484135dabf0d3aba237e3a1375"},"schema_version":"1.0"},"canonical_sha256":"8d19cecb2992017a603a4c98a099dbb825753909a3650ac05dcee597420e3cd0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T00:17:13.596589Z","signature_b64":"sLUPYpEjOd7qMkY/raW8Q+4XudPo6rGifIQZ0BwilackPGCN3Atdary9SVj6KgRqMuGGMHKst+63e1P6TajjAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d19cecb2992017a603a4c98a099dbb825753909a3650ac05dcee597420e3cd0","last_reissued_at":"2026-07-01T00:17:13.596172Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T00:17:13.596172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.30689","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-01T00:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sp/QqONZxzdEdR45vPqiAb1kilb6sF0O23yaJ3okuPqNRBJj65w8O2TjeiPNCkSikAZNHsB7KINDkQzT8sNMCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:14:17.395492Z"},"content_sha256":"39e0bd036fa13ba0f274e535e7905fe5a5c80553c5d59d191f738f5dc744b12d","schema_version":"1.0","event_id":"sha256:39e0bd036fa13ba0f274e535e7905fe5a5c80553c5d59d191f738f5dc744b12d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RUM45SZJSIAXUYB2JSMKBGO3XA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Citation Discipline in Spec-Driven Development: A Cross-Model Empirical Study of Output Determinism and Automated Hallucination Detection in LLM-Generated Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Subham Panda","submitted_at":"2026-06-28T19:38:55Z","abstract_excerpt":"Spec-Driven Development (SDD) frameworks guide Large Language Model (LLM)-powered code generation through formal specifications, yet they differ fundamentally in how they enforce traceability between requirements and generated code. This paper presents two controlled empirical studies comparing three SDD frameworks: $traceSDD$, which enforces mandatory per-line requirement citations using hierarchical REQ-XXX.Y.Z identifiers; $Spec Kit$, which uses artifact-level traceability through user stories and acceptance criteria; and $OpenSpec$, which relies on post-hoc external trace maps. We measure "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30689","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.30689/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-01T00:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"shYkezrRPIrV2mascBw5nSCSG7xNim7Rjqkj1So55OCH2l+Gc9VQGC18N11Udw7BdoqJmv0XTu9BfBKYy+RdAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:14:17.395908Z"},"content_sha256":"8eed02a059de5baedff29cad5bdeaa4f5bebd7044f7ad60441eb793e9a9c7811","schema_version":"1.0","event_id":"sha256:8eed02a059de5baedff29cad5bdeaa4f5bebd7044f7ad60441eb793e9a9c7811"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/bundle.json","state_url":"https://pith.science/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/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-07-01T23:14:17Z","links":{"resolver":"https://pith.science/pith/RUM45SZJSIAXUYB2JSMKBGO3XA","bundle":"https://pith.science/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/bundle.json","state":"https://pith.science/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RUM45SZJSIAXUYB2JSMKBGO3XA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RUM45SZJSIAXUYB2JSMKBGO3XA","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":"7e2cbb1e6fa9824b41dfc2983f77f8bef956ea484135dabf0d3aba237e3a1375","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-28T19:38:55Z","title_canon_sha256":"33510474e4ddee278d06211bfc2c4f79ea964be69f1f7485e7e6ce6394fd0d17"},"schema_version":"1.0","source":{"id":"2606.30689","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30689","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30689v1","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30689","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"RUM45SZJSIAX","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_16","alias_value":"RUM45SZJSIAXUYB2","created_at":"2026-07-01T00:17:13Z"},{"alias_kind":"pith_short_8","alias_value":"RUM45SZJ","created_at":"2026-07-01T00:17:13Z"}],"graph_snapshots":[{"event_id":"sha256:8eed02a059de5baedff29cad5bdeaa4f5bebd7044f7ad60441eb793e9a9c7811","target":"graph","created_at":"2026-07-01T00:17:13Z","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.30689/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spec-Driven Development (SDD) frameworks guide Large Language Model (LLM)-powered code generation through formal specifications, yet they differ fundamentally in how they enforce traceability between requirements and generated code. This paper presents two controlled empirical studies comparing three SDD frameworks: $traceSDD$, which enforces mandatory per-line requirement citations using hierarchical REQ-XXX.Y.Z identifiers; $Spec Kit$, which uses artifact-level traceability through user stories and acceptance criteria; and $OpenSpec$, which relies on post-hoc external trace maps. We measure ","authors_text":"Subham Panda","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-28T19:38:55Z","title":"Citation Discipline in Spec-Driven Development: A Cross-Model Empirical Study of Output Determinism and Automated Hallucination Detection in LLM-Generated Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30689","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:39e0bd036fa13ba0f274e535e7905fe5a5c80553c5d59d191f738f5dc744b12d","target":"record","created_at":"2026-07-01T00:17:13Z","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":"7e2cbb1e6fa9824b41dfc2983f77f8bef956ea484135dabf0d3aba237e3a1375","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-28T19:38:55Z","title_canon_sha256":"33510474e4ddee278d06211bfc2c4f79ea964be69f1f7485e7e6ce6394fd0d17"},"schema_version":"1.0","source":{"id":"2606.30689","kind":"arxiv","version":1}},"canonical_sha256":"8d19cecb2992017a603a4c98a099dbb825753909a3650ac05dcee597420e3cd0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d19cecb2992017a603a4c98a099dbb825753909a3650ac05dcee597420e3cd0","first_computed_at":"2026-07-01T00:17:13.596172Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T00:17:13.596172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sLUPYpEjOd7qMkY/raW8Q+4XudPo6rGifIQZ0BwilackPGCN3Atdary9SVj6KgRqMuGGMHKst+63e1P6TajjAA==","signature_status":"signed_v1","signed_at":"2026-07-01T00:17:13.596589Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.30689","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39e0bd036fa13ba0f274e535e7905fe5a5c80553c5d59d191f738f5dc744b12d","sha256:8eed02a059de5baedff29cad5bdeaa4f5bebd7044f7ad60441eb793e9a9c7811"],"state_sha256":"db79ba9ecf9e8557a5bee176045bce5b1e6ed4b7f1fd0f208dcc224804a06d8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q49Lr3pTQul5f8WzWOQrUS6OiKbWUjlo1cAGlAsNCyZlDRI+H0NPwNYHmMY9OJcQextiQ1iF6wT8wxl1ODanCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T23:14:17.398306Z","bundle_sha256":"4ab0323fb797d33fbc527a7960a47ba528f502989cf2ae8dff02f8ed608cd600"}}