{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","short_pith_number":"pith:YRLMFBSZ","canonical_record":{"source":{"id":"2607.17083","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-19T05:26:41Z","cross_cats_sorted":[],"title_canon_sha256":"f727e7d57c8ed963d55540ffe98f77ae5643621f96a7aafeeb1d34aa29db4d9f","abstract_canon_sha256":"fb6e11d0501ff1a26d53c18d2783a0fafcd759d9b7bb3eae51080236c386a4eb"},"schema_version":"1.0"},"canonical_sha256":"c456c2865926bca9bce3c72620736791b4cd3a681f5224d6fbd2fbeb6e4e0517","source":{"kind":"arxiv","id":"2607.17083","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.17083","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.17083v1","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.17083","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_12","alias_value":"YRLMFBSZE26K","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_16","alias_value":"YRLMFBSZE26KTPHD","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_8","alias_value":"YRLMFBSZ","created_at":"2026-07-21T01:21:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","target":"record","payload":{"canonical_record":{"source":{"id":"2607.17083","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-19T05:26:41Z","cross_cats_sorted":[],"title_canon_sha256":"f727e7d57c8ed963d55540ffe98f77ae5643621f96a7aafeeb1d34aa29db4d9f","abstract_canon_sha256":"fb6e11d0501ff1a26d53c18d2783a0fafcd759d9b7bb3eae51080236c386a4eb"},"schema_version":"1.0"},"canonical_sha256":"c456c2865926bca9bce3c72620736791b4cd3a681f5224d6fbd2fbeb6e4e0517","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-21T01:21:14.025756Z","signature_b64":"+eE3l5c3A7z/QA+6gEnB4lkZ/cUjCR0UHzJ+gobK+9qOnKdhzDfc25x9BSA2uX5uCOCQNrZxx/M6l8qAJrIPBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c456c2865926bca9bce3c72620736791b4cd3a681f5224d6fbd2fbeb6e4e0517","last_reissued_at":"2026-07-21T01:21:14.024888Z","signature_status":"signed_v1","first_computed_at":"2026-07-21T01:21:14.024888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.17083","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-21T01:21:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XQdHhSF5bJK8Qr6ZSsFbO6KUifFN5TJ3CUov6cr2eTv5DOOQWajj9nLt2BnYecufhvMor5DWX1OS+3FKlKSSAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T06:04:37.066578Z"},"content_sha256":"06c9f0a007e0f56319ac1f5ccce2f6e98b11c1a0bf979ba5b10586016b1deb39","schema_version":"1.0","event_id":"sha256:06c9f0a007e0f56319ac1f5ccce2f6e98b11c1a0bf979ba5b10586016b1deb39"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Combinatorial Testing with Constraints: The Balancing Act","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Changkun Guan, Hunter Gehman, John Hooker, Marcel Schoppers, Mikey Ferguson, Sumit Dhar, Thiago Serra","submitted_at":"2026-07-19T05:26:41Z","abstract_excerpt":"Imagine that you are in front of a cockpit with several on-off buttons. If you were to thoroughly test it, you would need to try a prohibitive number of configurations. But since most bugs in practice can be isolated to interactions among few components, having tests that cover every possible pairwise configuration is a good start. However, this is a problem that goes from easy to NP-hard as soon as some pairwise configurations are forbidden. In this paper, we revisit unconstrained combinatorial testing with pairwise coverage on binary parameters and contrast it with the constrained case, show"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.17083","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.17083/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-21T01:21:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"76G7tMm79YL7Mk0s2mz+3g0mk4nhe4LvZeP00HsSo5PiK8maWAWJZ8ipM1pKSYb7do9iRJGkHAWKFDyRk2RzCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T06:04:37.067611Z"},"content_sha256":"40d63522af225abc55ddb58a68082b7b8820a83fe19dc8bcfc03000aabb09e5b","schema_version":"1.0","event_id":"sha256:40d63522af225abc55ddb58a68082b7b8820a83fe19dc8bcfc03000aabb09e5b"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1142/S021853930100058X resolves to 'FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA'. A reader following the printed text alone cannot reach it.","snippet":"Wallace, D.R., Kuhn, D.R.: Failure modes in medical device software: An analysis of 15 years of recall data. International Journal of Reliability, Quality and Safety Engineering08(04), 351–371 (2001).https://doi.org/10.1142/S0218539301000 5","arxiv_id":"2607.17083","detector":"doi_compliance","evidence":{"ref_index":47,"verdict_class":"incontrovertible","resolved_title":"FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA","printed_excerpt":"10.1142/s0218539301000","reconstructed_doi":"10.1142/S021853930100058X"},"severity":"advisory","ref_index":47,"audited_at":"2026-08-01T19:18:57.587903Z","event_type":"pith.integrity.v1","detected_doi":"10.1142/S021853930100058X","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"f3bdf8485b660e050be32cb06ab196539c18f67dd14956f2a460d3bc1f3be771","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16464,"payload_sha256":"30b562df4ad24008be6c31bd5cc9be2a7d9ab0219d80bd666b29abf6882ac99f","signature_b64":"6g75zMWDADIoVWpJN5oLOrIMT5TbYUrU2nFxu5l52nbLEZ1y1qCxl0xIOpRpoAIJO7DDL5VFl699QNvksEY/Ag==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T19:23:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8gkAaEOsZcD7QIFE2Pu90jJYffvq/Ii7ur3ye5h1hRQoCN+9gdu9OqACRgvS3ivkGTu2w43TueCEwCgpVvG6DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T06:04:37.096812Z"},"content_sha256":"faceaef5b6c907ab17209fac04d9c57acffdfdd05e4fd5419c47506fc346a784","schema_version":"1.0","event_id":"sha256:faceaef5b6c907ab17209fac04d9c57acffdfdd05e4fd5419c47506fc346a784"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s10732-020-09462-w) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Ferrer, J., Chicano, F., Ortega-Toro, J.A.: CMSA algorithm for solving the prior- itized pairwise test data generation problem in software product lines. Journal of Heuristics27(1), 229–249 (2021).https://doi.org/10.1007/s10732-020-09462 -w","arxiv_id":"2607.17083","detector":"doi_compliance","evidence":{"ref_index":18,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/s10732-020-09462","reconstructed_doi":"10.1007/s10732-020-09462-w"},"severity":"advisory","ref_index":18,"audited_at":"2026-08-01T19:18:57.587903Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/s10732-020-09462-w","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"93e72dd27d6e19f26332c1e3351905d45c197ae4e219afadff52aecdc674cee8","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16463,"payload_sha256":"4609907d509bd9e113b0fe0269cc20c86bdaa90579289de410f24760922695cc","signature_b64":"l/zCX5CUZ7DbadbNt33hdDyXiyL7Xj2rnIxiJqNlA/q8QrB5BEoewniLgU3jVxR8nl2RlNJ4UjZlbVq8+jPnDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T19:23:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dtlLgrV6S0wgbu4LkbwqN5bdD8vbX6iZ4QoNRMMzTu3bSnzy4s7yBgyXtK7vc9yJS1XPpS8qxkkj9dUBIs1YAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T06:04:37.097564Z"},"content_sha256":"e16948fb53daba749247c6e77e07493a28004fc71bc012afdb144604a890d582","schema_version":"1.0","event_id":"sha256:e16948fb53daba749247c6e77e07493a28004fc71bc012afdb144604a890d582"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YRLMFBSZE26KTPHDY4TCA43HSG/bundle.json","state_url":"https://pith.science/pith/YRLMFBSZE26KTPHDY4TCA43HSG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YRLMFBSZE26KTPHDY4TCA43HSG/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-05T06:04:37Z","links":{"resolver":"https://pith.science/pith/YRLMFBSZE26KTPHDY4TCA43HSG","bundle":"https://pith.science/pith/YRLMFBSZE26KTPHDY4TCA43HSG/bundle.json","state":"https://pith.science/pith/YRLMFBSZE26KTPHDY4TCA43HSG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YRLMFBSZE26KTPHDY4TCA43HSG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YRLMFBSZE26KTPHDY4TCA43HSG","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"fb6e11d0501ff1a26d53c18d2783a0fafcd759d9b7bb3eae51080236c386a4eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-19T05:26:41Z","title_canon_sha256":"f727e7d57c8ed963d55540ffe98f77ae5643621f96a7aafeeb1d34aa29db4d9f"},"schema_version":"1.0","source":{"id":"2607.17083","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.17083","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.17083v1","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.17083","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_12","alias_value":"YRLMFBSZE26K","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_16","alias_value":"YRLMFBSZE26KTPHD","created_at":"2026-07-21T01:21:14Z"},{"alias_kind":"pith_short_8","alias_value":"YRLMFBSZ","created_at":"2026-07-21T01:21:14Z"}],"graph_snapshots":[{"event_id":"sha256:40d63522af225abc55ddb58a68082b7b8820a83fe19dc8bcfc03000aabb09e5b","target":"graph","created_at":"2026-07-21T01:21:14Z","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.17083/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Imagine that you are in front of a cockpit with several on-off buttons. If you were to thoroughly test it, you would need to try a prohibitive number of configurations. But since most bugs in practice can be isolated to interactions among few components, having tests that cover every possible pairwise configuration is a good start. However, this is a problem that goes from easy to NP-hard as soon as some pairwise configurations are forbidden. In this paper, we revisit unconstrained combinatorial testing with pairwise coverage on binary parameters and contrast it with the constrained case, show","authors_text":"Changkun Guan, Hunter Gehman, John Hooker, Marcel Schoppers, Mikey Ferguson, Sumit Dhar, Thiago Serra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-19T05:26:41Z","title":"Optimal Combinatorial Testing with Constraints: The Balancing Act"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.17083","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:06c9f0a007e0f56319ac1f5ccce2f6e98b11c1a0bf979ba5b10586016b1deb39","target":"record","created_at":"2026-07-21T01:21:14Z","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":"fb6e11d0501ff1a26d53c18d2783a0fafcd759d9b7bb3eae51080236c386a4eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-19T05:26:41Z","title_canon_sha256":"f727e7d57c8ed963d55540ffe98f77ae5643621f96a7aafeeb1d34aa29db4d9f"},"schema_version":"1.0","source":{"id":"2607.17083","kind":"arxiv","version":1}},"canonical_sha256":"c456c2865926bca9bce3c72620736791b4cd3a681f5224d6fbd2fbeb6e4e0517","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c456c2865926bca9bce3c72620736791b4cd3a681f5224d6fbd2fbeb6e4e0517","first_computed_at":"2026-07-21T01:21:14.024888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T01:21:14.024888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+eE3l5c3A7z/QA+6gEnB4lkZ/cUjCR0UHzJ+gobK+9qOnKdhzDfc25x9BSA2uX5uCOCQNrZxx/M6l8qAJrIPBA==","signature_status":"signed_v1","signed_at":"2026-07-21T01:21:14.025756Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.17083","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:e16948fb53daba749247c6e77e07493a28004fc71bc012afdb144604a890d582","sha256:faceaef5b6c907ab17209fac04d9c57acffdfdd05e4fd5419c47506fc346a784"]}],"invalid_events":[],"applied_event_ids":["sha256:06c9f0a007e0f56319ac1f5ccce2f6e98b11c1a0bf979ba5b10586016b1deb39","sha256:40d63522af225abc55ddb58a68082b7b8820a83fe19dc8bcfc03000aabb09e5b"],"state_sha256":"12ec5badb0573c1af7fddc4df3738ccdc392815dd603cabfd4590b9114c029d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0cqSgGFPpbnXVaVBKqOynQgsBj2W5HeJfq2UiX2MLudSzaCin+VxPynPwHY4LMFPNCSoiVhZpWzRjFZOlIirAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T06:04:37.102012Z","bundle_sha256":"808b1cb353fb675754cc851b92b4a292cf48a77980447d4148c3da1b5504f4a0"}}