{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:E3ZVZFBGJUXZBUP6L4YC76UW5E","short_pith_number":"pith:E3ZVZFBG","schema_version":"1.0","canonical_sha256":"26f35c94264d2f90d1fe5f302ffa96e921e6903dc343ab6763dd8460897a8a15","source":{"kind":"arxiv","id":"2607.02808","version":1},"attestation_state":"computed","paper":{"title":"A Systematic Methodology for Evaluating Failure Independence in LLM-Generated Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jo\\~ao R. Campos, Karthik Pattabiraman, Marco Vieira, Rodrigo Pato Nogueira","submitted_at":"2026-07-02T22:49:05Z","abstract_excerpt":"N-Version Programming (NVP) improves software reliability by executing multiple independent implementations and combining outputs, but its adoption is limited by high cost and the assumption of failure independence, which empirical studies have challenged. Recent advances in Large Language Models (LLMs) reduce the cost of generating multiple implementations, shifting focus to whether their failures are independent. We propose the first systematic methodology to assess failure independence in LLM-generated code and apply it to 224 problems across twelve models, five languages, and three prompti"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.02808","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T22:49:05Z","cross_cats_sorted":[],"title_canon_sha256":"04feaed0f25e10a17f14d738c4763f59d0c7835fc1a260460f761b5ae17b5e10","abstract_canon_sha256":"983ac39413cb9c2f335811b4b2eebe9cf1ba96ca85f2c9567d54bf4defb27ebe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T00:16:18.493734Z","signature_b64":"aKfuDLoQuLA0yQ9Y6dpPiCvjBZC3MHKWV6CEc0zT6UI4VeIfS91NCKJIS+TjqYqgyTeiiebc5GjnfQVrLqSbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26f35c94264d2f90d1fe5f302ffa96e921e6903dc343ab6763dd8460897a8a15","last_reissued_at":"2026-07-07T00:16:18.493049Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T00:16:18.493049Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Systematic Methodology for Evaluating Failure Independence in LLM-Generated Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jo\\~ao R. Campos, Karthik Pattabiraman, Marco Vieira, Rodrigo Pato Nogueira","submitted_at":"2026-07-02T22:49:05Z","abstract_excerpt":"N-Version Programming (NVP) improves software reliability by executing multiple independent implementations and combining outputs, but its adoption is limited by high cost and the assumption of failure independence, which empirical studies have challenged. Recent advances in Large Language Models (LLMs) reduce the cost of generating multiple implementations, shifting focus to whether their failures are independent. We propose the first systematic methodology to assess failure independence in LLM-generated code and apply it to 224 problems across twelve models, five languages, and three prompti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02808","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.02808/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.02808","created_at":"2026-07-07T00:16:18.493167+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.02808v1","created_at":"2026-07-07T00:16:18.493167+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02808","created_at":"2026-07-07T00:16:18.493167+00:00"},{"alias_kind":"pith_short_12","alias_value":"E3ZVZFBGJUXZ","created_at":"2026-07-07T00:16:18.493167+00:00"},{"alias_kind":"pith_short_16","alias_value":"E3ZVZFBGJUXZBUP6","created_at":"2026-07-07T00:16:18.493167+00:00"},{"alias_kind":"pith_short_8","alias_value":"E3ZVZFBG","created_at":"2026-07-07T00:16:18.493167+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E","json":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E.json","graph_json":"https://pith.science/api/pith-number/E3ZVZFBGJUXZBUP6L4YC76UW5E/graph.json","events_json":"https://pith.science/api/pith-number/E3ZVZFBGJUXZBUP6L4YC76UW5E/events.json","paper":"https://pith.science/paper/E3ZVZFBG"},"agent_actions":{"view_html":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E","download_json":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E.json","view_paper":"https://pith.science/paper/E3ZVZFBG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.02808&json=true","fetch_graph":"https://pith.science/api/pith-number/E3ZVZFBGJUXZBUP6L4YC76UW5E/graph.json","fetch_events":"https://pith.science/api/pith-number/E3ZVZFBGJUXZBUP6L4YC76UW5E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E/action/storage_attestation","attest_author":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E/action/author_attestation","sign_citation":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E/action/citation_signature","submit_replication":"https://pith.science/pith/E3ZVZFBGJUXZBUP6L4YC76UW5E/action/replication_record"}},"created_at":"2026-07-07T00:16:18.493167+00:00","updated_at":"2026-07-07T00:16:18.493167+00:00"}