{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:WADOLE6N2W2MZQFH4ZPL2VLHK2","short_pith_number":"pith:WADOLE6N","schema_version":"1.0","canonical_sha256":"b006e593cdd5b4ccc0a7e65ebd556756a5212028b9e2d96762dc9dc34f7f6042","source":{"kind":"arxiv","id":"2103.07558","version":1},"attestation_state":"computed","paper":{"title":"First-Order Sketch Conditions and Constraints -- A Category Independent Approach","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Uwe Wolter","submitted_at":"2021-03-12T22:44:58Z","abstract_excerpt":"Generalizing different variants of \"graph conditions and constraints\" as well as \"universal constraints\" and \"negative universal constraints\" in the Diagram Predicate Framework (DPF), we introduce for arbitrary categories $\\mathbf{Cxt}$ and \"statement\" functors $\\mathtt{Stm}:\\mathbf{Cxt}\\to\\mathbf{Set}$ general first-order sketch conditions and constraints. Sketches are used in DPF to formalize different kinds of diagrammatic software models. We discuss the use of sketch constraints for describing the syntactic structure of sketches. We outline the use of sketch constraints to deduce knowledge"},"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":"2103.07558","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-03-12T22:44:58Z","cross_cats_sorted":[],"title_canon_sha256":"737a981ec9f4bd90d3342770f51e313f409c6d3fabf274a7cd8e46eead3a09e8","abstract_canon_sha256":"6319ba086ccd044625c042aabaffc27c1a50ddbbedeaf7211cca193620cbb5e3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:22:42.523123Z","signature_b64":"ldVsu47/qPF/olgwGeAYRaa2zDRZdzoZnlPX65Imfrmc8p9nggYL4Of7iD6z5rFP+GyFi6hHh5pUY1QWMPCwAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b006e593cdd5b4ccc0a7e65ebd556756a5212028b9e2d96762dc9dc34f7f6042","last_reissued_at":"2026-07-05T02:22:42.522785Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:22:42.522785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"First-Order Sketch Conditions and Constraints -- A Category Independent Approach","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Uwe Wolter","submitted_at":"2021-03-12T22:44:58Z","abstract_excerpt":"Generalizing different variants of \"graph conditions and constraints\" as well as \"universal constraints\" and \"negative universal constraints\" in the Diagram Predicate Framework (DPF), we introduce for arbitrary categories $\\mathbf{Cxt}$ and \"statement\" functors $\\mathtt{Stm}:\\mathbf{Cxt}\\to\\mathbf{Set}$ general first-order sketch conditions and constraints. Sketches are used in DPF to formalize different kinds of diagrammatic software models. We discuss the use of sketch constraints for describing the syntactic structure of sketches. We outline the use of sketch constraints to deduce knowledge"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.07558","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/2103.07558/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":"2103.07558","created_at":"2026-07-05T02:22:42.522842+00:00"},{"alias_kind":"arxiv_version","alias_value":"2103.07558v1","created_at":"2026-07-05T02:22:42.522842+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.07558","created_at":"2026-07-05T02:22:42.522842+00:00"},{"alias_kind":"pith_short_12","alias_value":"WADOLE6N2W2M","created_at":"2026-07-05T02:22:42.522842+00:00"},{"alias_kind":"pith_short_16","alias_value":"WADOLE6N2W2MZQFH","created_at":"2026-07-05T02:22:42.522842+00:00"},{"alias_kind":"pith_short_8","alias_value":"WADOLE6N","created_at":"2026-07-05T02:22:42.522842+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/WADOLE6N2W2MZQFH4ZPL2VLHK2","json":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2.json","graph_json":"https://pith.science/api/pith-number/WADOLE6N2W2MZQFH4ZPL2VLHK2/graph.json","events_json":"https://pith.science/api/pith-number/WADOLE6N2W2MZQFH4ZPL2VLHK2/events.json","paper":"https://pith.science/paper/WADOLE6N"},"agent_actions":{"view_html":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2","download_json":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2.json","view_paper":"https://pith.science/paper/WADOLE6N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2103.07558&json=true","fetch_graph":"https://pith.science/api/pith-number/WADOLE6N2W2MZQFH4ZPL2VLHK2/graph.json","fetch_events":"https://pith.science/api/pith-number/WADOLE6N2W2MZQFH4ZPL2VLHK2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2/action/storage_attestation","attest_author":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2/action/author_attestation","sign_citation":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2/action/citation_signature","submit_replication":"https://pith.science/pith/WADOLE6N2W2MZQFH4ZPL2VLHK2/action/replication_record"}},"created_at":"2026-07-05T02:22:42.522842+00:00","updated_at":"2026-07-05T02:22:42.522842+00:00"}