{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6OZKQ4EBPFTD6LMSNUAX5FK42P","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":"172da56f6dfb92739f796868b76480052b74334d3e94d20cedb215c16426f7ff","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2026-04-08T17:59:47Z","title_canon_sha256":"a9bf5fde06946714089c784406be0f52ed1d982a2f7fd399c64946a7d3d19c7f"},"schema_version":"1.0","source":{"id":"2604.07349","kind":"arxiv","version":8}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.07349","created_at":"2026-05-21T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2604.07349v8","created_at":"2026-05-21T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.07349","created_at":"2026-05-21T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"6OZKQ4EBPFTD","created_at":"2026-05-21T01:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"6OZKQ4EBPFTD6LMS","created_at":"2026-05-21T01:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"6OZKQ4EB","created_at":"2026-05-21T01:04:25Z"}],"graph_snapshots":[{"event_id":"sha256:1c80473fd5789989b9a48403f7bf33225a3b7b7cbee961f3b8fe96f0bbddb876","target":"graph","created_at":"2026-05-21T01:04: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Across four natural candidate structural tractability criteria, a uniform pair-targeted affine witness produces same-orbit disagreements and rules out exact structural classification on the full binary pairwise domain. Because that witness class already sits inside the universal semantic framework, the same obstruction applies to any universal exact-certification characterization over rigorously specified problems."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the pair-targeted affine witness is admissible within the universal exact-semantics framework and that the four candidate criteria adequately represent possible structural tractability predicates."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Orbit gaps prevent exact classification of tractable problems by closure-invariant structural predicates on the full binary pairwise domain, blocking universal exact-certification characterizations."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Orbit gaps prevent any exact structural classification of tractability on the full binary pairwise domain."}],"snapshot_sha256":"36ff65fb204e0ad8608b2e6f169b3d7341663dfd685171d955b68fc7f2474d0b"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.07349/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Any rigorously specified problem determines an admissible-output relation $R$. Here exact means exact agreement with $R$ itself; $R$ may encode approximation, randomization, statistical thresholds, failure states, or distributional guarantees. Exact relevance certification depends only on the induced decision quotient relation $s \\sim_R s' \\iff \\operatorname{Adm}_R(s)=\\operatorname{Adm}_R(s')$ and asks which coordinates recover those classes. Decision, counting, search, approximation, PAC/regret/risk, randomized-output guarantees, anytime or finite-horizon guarantees, and distributional guaran","authors_text":"Tristan Simas","cross_cats":["cs.AI","cs.LO"],"headline":"Orbit gaps prevent any exact structural classification of tractability on the full binary pairwise domain.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2026-04-08T17:59:47Z","title":"Exact Structural Abstraction and Tractability Limits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.07349","kind":"arxiv","version":8},"verdict":{"created_at":"2026-05-10T17:25:45.407802Z","id":"23f147e4-abe4-43dc-9f2e-53eff9610e0b","model_set":{"reader":"grok-4.3"},"one_line_summary":"Orbit gaps prevent exact classification of tractable problems by closure-invariant structural predicates on the full binary pairwise domain, blocking universal exact-certification characterizations.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Orbit gaps prevent any exact structural classification of tractability on the full binary pairwise domain.","strongest_claim":"Across four natural candidate structural tractability criteria, a uniform pair-targeted affine witness produces same-orbit disagreements and rules out exact structural classification on the full binary pairwise domain. Because that witness class already sits inside the universal semantic framework, the same obstruction applies to any universal exact-certification characterization over rigorously specified problems.","weakest_assumption":"That the pair-targeted affine witness is admissible within the universal exact-semantics framework and that the four candidate criteria adequately represent possible structural tractability predicates."}},"verdict_id":"23f147e4-abe4-43dc-9f2e-53eff9610e0b"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dfa863d3b5c471b6e2e476cf4c9f253afbdc246545b18622e0358b4995fbdecb","target":"record","created_at":"2026-05-21T01:04: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":"172da56f6dfb92739f796868b76480052b74334d3e94d20cedb215c16426f7ff","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2026-04-08T17:59:47Z","title_canon_sha256":"a9bf5fde06946714089c784406be0f52ed1d982a2f7fd399c64946a7d3d19c7f"},"schema_version":"1.0","source":{"id":"2604.07349","kind":"arxiv","version":8}},"canonical_sha256":"f3b2a8708179663f2d926d017e955cd3e5698430cae0e4de9cf4cbf115212b76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3b2a8708179663f2d926d017e955cd3e5698430cae0e4de9cf4cbf115212b76","first_computed_at":"2026-05-21T01:04:25.484877Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T01:04:25.484877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ff5Fw46fTjfs0qubfA9PZDUUmw0dohkfGqndfvEOgRzARah8jhOU+WTe9lrzAUzGEgHFhiws8S/mMWO+bnh8DQ==","signature_status":"signed_v1","signed_at":"2026-05-21T01:04:25.485676Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.07349","source_kind":"arxiv","source_version":8}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfa863d3b5c471b6e2e476cf4c9f253afbdc246545b18622e0358b4995fbdecb","sha256:1c80473fd5789989b9a48403f7bf33225a3b7b7cbee961f3b8fe96f0bbddb876"],"state_sha256":"3a76799a22030b67b0f9df53587dd5bacc1e64c20c166af9d00811a246aae4a4"}