{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GFKT34HVYK5KANIA5VGZFIES3V","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":"a5cbde90b68859cd60eab54b3075fb1c727c3a06b189bf7edee28baba87be7ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-28T11:11:17Z","title_canon_sha256":"b38c8595489d1f2c0a85592fd61ba0def6bec3cd45aed82b5f29d60bcebed561"},"schema_version":"1.0","source":{"id":"2605.29763","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.29763","created_at":"2026-05-29T02:05:25Z"},{"alias_kind":"arxiv_version","alias_value":"2605.29763v1","created_at":"2026-05-29T02:05:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.29763","created_at":"2026-05-29T02:05:25Z"},{"alias_kind":"pith_short_12","alias_value":"GFKT34HVYK5K","created_at":"2026-05-29T02:05:25Z"},{"alias_kind":"pith_short_16","alias_value":"GFKT34HVYK5KANIA","created_at":"2026-05-29T02:05:25Z"},{"alias_kind":"pith_short_8","alias_value":"GFKT34HV","created_at":"2026-05-29T02:05:25Z"}],"graph_snapshots":[{"event_id":"sha256:cc0ba9ca500081e7ac39b7b509ae02918fdd150fbbc19d34d356a9ca53cdfe80","target":"graph","created_at":"2026-05-29T02:05:25Z","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/2605.29763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Certification for Quantified Boolean Formulas (QBF) and Dependency Quantified Boolean Formulas (DQBF) is an ongoing challenge. Recent proof complexity work has shown that the majority of QBF and DQBF techniques can be p-simulated by using the independent extension rule.\n  In propositional logic, extension rules are supported by proof checkers using a more general RAT (Resolution Asymmetric Tautology) rule. The next step in (D)QBF certification would be to update these modern RAT formats to match the strength of this independent extension rule.\n  In this paper we first introduce a new dependenc","authors_text":"Leroy Chew, Tom\\'a\\v{s} Peitl","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-28T11:11:17Z","title":"Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.29763","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:0192ab94933dc914fd3f73da2fd4993342aa8b7f5013e051123495a92bb68cfb","target":"record","created_at":"2026-05-29T02:05:25Z","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":"a5cbde90b68859cd60eab54b3075fb1c727c3a06b189bf7edee28baba87be7ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-28T11:11:17Z","title_canon_sha256":"b38c8595489d1f2c0a85592fd61ba0def6bec3cd45aed82b5f29d60bcebed561"},"schema_version":"1.0","source":{"id":"2605.29763","kind":"arxiv","version":1}},"canonical_sha256":"31553df0f5c2baa03500ed4d92a092dd624de0ef1bbfe188abd01d5a1c89fa5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31553df0f5c2baa03500ed4d92a092dd624de0ef1bbfe188abd01d5a1c89fa5f","first_computed_at":"2026-05-29T02:05:25.444265Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T02:05:25.444265Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5nURbsf+01tX948VqT4xQgRKd3ZelHicqzOFq379el3ACm1i2nf1fzG1FY806IvyntlIMBUBJPruPC9oz7B2CA==","signature_status":"signed_v1","signed_at":"2026-05-29T02:05:25.444729Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.29763","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0192ab94933dc914fd3f73da2fd4993342aa8b7f5013e051123495a92bb68cfb","sha256:cc0ba9ca500081e7ac39b7b509ae02918fdd150fbbc19d34d356a9ca53cdfe80"],"state_sha256":"20b2ad648b70c8d3df4c35732a688eb3ea2b6092c06cc2023539a421f872319b"}