{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YSRQA3ESSECRJ2OJM6S2CUKSFC","short_pith_number":"pith:YSRQA3ES","schema_version":"1.0","canonical_sha256":"c4a3006c92910514e9c967a5a151522885403315e9b638aaaf9e51678e3105df","source":{"kind":"arxiv","id":"2607.18415","version":1},"attestation_state":"computed","paper":{"title":"$\\texttt{codesign-mcdp}$: A Python Library for Monotone Co-Design Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Corentin Briat","submitted_at":"2026-07-20T18:03:17Z","abstract_excerpt":"$\\texttt{codesign-mcdp}$ is a Python library for formulating and solving $\\textit{Monotone Co-Design Problems}$ (MCDPs) in the framework of Censi (2015). A design problem is a relation between two posets, a functionality poset $F$ and a resource poset $R$; given a target functionality, the problem asks for the antichain of minimal resources needed to deliver it. Design problems compose under three operators (series, parallel, feedback), and the resulting class is closed under composition. The library implements the antichain calculus, six primitive design-problem types, the three composition o"},"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":"2607.18415","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-20T18:03:17Z","cross_cats_sorted":["cs.MS","cs.SY","eess.SY"],"title_canon_sha256":"8b4b4a0ce27b3211273e408f213adce1fd9a9287f1ecbefefd2ebcc89b0ca6f3","abstract_canon_sha256":"234c35815631fe9b76a9dde35e99f2c030ffe912d95bcc806cd9336bec96e911"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-22T00:22:47.143651Z","signature_b64":"HiaoWUOxhe6RFG1zUqtnqeMzrA8t1Wec3H2o1ufmm8LeBJL2fX02O3Up53DI7zjtGX2IaRR5s/839UCf4JIaAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4a3006c92910514e9c967a5a151522885403315e9b638aaaf9e51678e3105df","last_reissued_at":"2026-07-22T00:22:47.142616Z","signature_status":"signed_v1","first_computed_at":"2026-07-22T00:22:47.142616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"$\\texttt{codesign-mcdp}$: A Python Library for Monotone Co-Design Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Corentin Briat","submitted_at":"2026-07-20T18:03:17Z","abstract_excerpt":"$\\texttt{codesign-mcdp}$ is a Python library for formulating and solving $\\textit{Monotone Co-Design Problems}$ (MCDPs) in the framework of Censi (2015). A design problem is a relation between two posets, a functionality poset $F$ and a resource poset $R$; given a target functionality, the problem asks for the antichain of minimal resources needed to deliver it. Design problems compose under three operators (series, parallel, feedback), and the resulting class is closed under composition. The library implements the antichain calculus, six primitive design-problem types, the three composition o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18415","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.18415/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":"2607.18415","created_at":"2026-07-22T00:22:47.143238+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.18415v1","created_at":"2026-07-22T00:22:47.143238+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18415","created_at":"2026-07-22T00:22:47.143238+00:00"},{"alias_kind":"pith_short_12","alias_value":"YSRQA3ESSECR","created_at":"2026-07-22T00:22:47.143238+00:00"},{"alias_kind":"pith_short_16","alias_value":"YSRQA3ESSECRJ2OJ","created_at":"2026-07-22T00:22:47.143238+00:00"},{"alias_kind":"pith_short_8","alias_value":"YSRQA3ES","created_at":"2026-07-22T00:22:47.143238+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/YSRQA3ESSECRJ2OJM6S2CUKSFC","json":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC.json","graph_json":"https://pith.science/api/pith-number/YSRQA3ESSECRJ2OJM6S2CUKSFC/graph.json","events_json":"https://pith.science/api/pith-number/YSRQA3ESSECRJ2OJM6S2CUKSFC/events.json","paper":"https://pith.science/paper/YSRQA3ES"},"agent_actions":{"view_html":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC","download_json":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC.json","view_paper":"https://pith.science/paper/YSRQA3ES","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.18415&json=true","fetch_graph":"https://pith.science/api/pith-number/YSRQA3ESSECRJ2OJM6S2CUKSFC/graph.json","fetch_events":"https://pith.science/api/pith-number/YSRQA3ESSECRJ2OJM6S2CUKSFC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC/action/storage_attestation","attest_author":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC/action/author_attestation","sign_citation":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC/action/citation_signature","submit_replication":"https://pith.science/pith/YSRQA3ESSECRJ2OJM6S2CUKSFC/action/replication_record"}},"created_at":"2026-07-22T00:22:47.143238+00:00","updated_at":"2026-07-22T00:22:47.143238+00:00"}