{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:3MZATAWFYDXJMW3BXOEMHZ4PE4","short_pith_number":"pith:3MZATAWF","schema_version":"1.0","canonical_sha256":"db320982c5c0ee965b61bb88c3e78f27395da1e0190af685dbed73cd998908d9","source":{"kind":"arxiv","id":"2505.16745","version":1},"attestation_state":"computed","paper":{"title":"Flipping and Forking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Szymon Toru\\'nczyk, Wojciech Przybyszewski","submitted_at":"2025-05-22T14:54:15Z","abstract_excerpt":"Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program in model theory. They recently emerged in algorithmic and structural graph theory and finite model theory as central notions in relation with the model checking problem for first-order logic: the problem was shown to be fixed-parameter tractable for inputs which come from a fixed class of graphs which is monadically stable, and is conjectured to be tractable in all monadically dependent classes. Several combinatoria"},"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":"2505.16745","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-22T14:54:15Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"07ff81ac552f8f3b92c868f6b3aee248c9b8544911dfa06a1c6f819cbc750bf2","abstract_canon_sha256":"3a05c1a6d083016c2adab4e92338d4e21d9ae340272fc6f8ff84029119f88477"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:07:40.224393Z","signature_b64":"h7NKIaG7KB19Jab9eRDbm9KmE7TtMWrS9Phj4C7eg5mXAKx1YGFlNVGqSFQUU+v9RLdmcoaWcQvxsfAV4yR3Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db320982c5c0ee965b61bb88c3e78f27395da1e0190af685dbed73cd998908d9","last_reissued_at":"2026-07-05T11:07:40.223923Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:07:40.223923Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Flipping and Forking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Szymon Toru\\'nczyk, Wojciech Przybyszewski","submitted_at":"2025-05-22T14:54:15Z","abstract_excerpt":"Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program in model theory. They recently emerged in algorithmic and structural graph theory and finite model theory as central notions in relation with the model checking problem for first-order logic: the problem was shown to be fixed-parameter tractable for inputs which come from a fixed class of graphs which is monadically stable, and is conjectured to be tractable in all monadically dependent classes. Several combinatoria"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16745","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/2505.16745/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":"2505.16745","created_at":"2026-07-05T11:07:40.223973+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.16745v1","created_at":"2026-07-05T11:07:40.223973+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16745","created_at":"2026-07-05T11:07:40.223973+00:00"},{"alias_kind":"pith_short_12","alias_value":"3MZATAWFYDXJ","created_at":"2026-07-05T11:07:40.223973+00:00"},{"alias_kind":"pith_short_16","alias_value":"3MZATAWFYDXJMW3B","created_at":"2026-07-05T11:07:40.223973+00:00"},{"alias_kind":"pith_short_8","alias_value":"3MZATAWF","created_at":"2026-07-05T11:07:40.223973+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/3MZATAWFYDXJMW3BXOEMHZ4PE4","json":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4.json","graph_json":"https://pith.science/api/pith-number/3MZATAWFYDXJMW3BXOEMHZ4PE4/graph.json","events_json":"https://pith.science/api/pith-number/3MZATAWFYDXJMW3BXOEMHZ4PE4/events.json","paper":"https://pith.science/paper/3MZATAWF"},"agent_actions":{"view_html":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4","download_json":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4.json","view_paper":"https://pith.science/paper/3MZATAWF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.16745&json=true","fetch_graph":"https://pith.science/api/pith-number/3MZATAWFYDXJMW3BXOEMHZ4PE4/graph.json","fetch_events":"https://pith.science/api/pith-number/3MZATAWFYDXJMW3BXOEMHZ4PE4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4/action/storage_attestation","attest_author":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4/action/author_attestation","sign_citation":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4/action/citation_signature","submit_replication":"https://pith.science/pith/3MZATAWFYDXJMW3BXOEMHZ4PE4/action/replication_record"}},"created_at":"2026-07-05T11:07:40.223973+00:00","updated_at":"2026-07-05T11:07:40.223973+00:00"}