{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HSPSQXNV5SWDLJVDS6EXGADI6P","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":"4eee44d3178461a14fa56f4e5b3c68e1d8ae13e29f839ad25fbb44172d8e3b69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-01T21:11:19Z","title_canon_sha256":"53f2805c28b601d0af1b8ab934846bdcda6f2fc7e93e74ab5ee5d61ad33fd66e"},"schema_version":"1.0","source":{"id":"2606.02896","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02896","created_at":"2026-06-03T01:05:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02896v1","created_at":"2026-06-03T01:05:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02896","created_at":"2026-06-03T01:05:25Z"},{"alias_kind":"pith_short_12","alias_value":"HSPSQXNV5SWD","created_at":"2026-06-03T01:05:25Z"},{"alias_kind":"pith_short_16","alias_value":"HSPSQXNV5SWDLJVD","created_at":"2026-06-03T01:05:25Z"},{"alias_kind":"pith_short_8","alias_value":"HSPSQXNV","created_at":"2026-06-03T01:05:25Z"}],"graph_snapshots":[{"event_id":"sha256:6ede037ef8ecc016371cb267f15fbdcaf431464bc2b6d142963bca00665a3919","target":"graph","created_at":"2026-06-03T01: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/2606.02896/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce disciplined nonlinear programming (DNLP), a syntax for specifying nonlinear programming problems. DNLP is inspired by disciplined convex programming (DCP) and allows smooth functions to be freely mixed with nonsmooth convex and concave functions, with rules governing how the nonsmooth functions can be used. Problems expressed in DNLP form can be automatically canonicalized to a standard nonlinear programming (NLP) form and passed to a suitable NLP solver. As in DCP, the canonicalization relaxes nonsmooth convex and concave functions in a lossless way, allowing them to be handled b","authors_text":"Daniel Cederberg, Parth Nobel, Stephen Boyd, William Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-01T21:11:19Z","title":"Disciplined Nonlinear Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02896","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:1f0c33a145e2b8b09b3406614c70f090737c03a29e535e5b97ab7bdddd578b4d","target":"record","created_at":"2026-06-03T01: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":"4eee44d3178461a14fa56f4e5b3c68e1d8ae13e29f839ad25fbb44172d8e3b69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-01T21:11:19Z","title_canon_sha256":"53f2805c28b601d0af1b8ab934846bdcda6f2fc7e93e74ab5ee5d61ad33fd66e"},"schema_version":"1.0","source":{"id":"2606.02896","kind":"arxiv","version":1}},"canonical_sha256":"3c9f285db5ecac35a6a39789730068f3df62f6aa43099396f736fc69507eb7b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c9f285db5ecac35a6a39789730068f3df62f6aa43099396f736fc69507eb7b7","first_computed_at":"2026-06-03T01:05:25.946013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:25.946013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"62kP1+c+icKvZoGUoxZrLtoaMZmO/uToRBEhrBb1tyQ6aBCAhzBUTQHG8dwK+uhCC8k4XV3ZF1ceibAOH9maAw==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:25.946423Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02896","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1f0c33a145e2b8b09b3406614c70f090737c03a29e535e5b97ab7bdddd578b4d","sha256:6ede037ef8ecc016371cb267f15fbdcaf431464bc2b6d142963bca00665a3919"],"state_sha256":"fefb649d0549ea14799dc53f21017420ae8382f6f75489c83d4dd5fa01cf333e"}