{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ZR7VHPHDZVQU65TV6TV5O7Y276","short_pith_number":"pith:ZR7VHPHD","canonical_record":{"source":{"id":"2607.08954","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-09T21:28:29Z","cross_cats_sorted":["cs.LG","stat.ML"],"title_canon_sha256":"2d613bf8662f376e4862779f5906bac32255bd2e5b4471874ddf2273b2ad8bfb","abstract_canon_sha256":"be548566d5382521f9d78e59e257b26dc58553713e3727f1ed37eafd1bc39dce"},"schema_version":"1.0"},"canonical_sha256":"cc7f53bce3cd614f7675f4ebd77f1affa8b27adbe8e5cd2f096543c259222cb1","source":{"kind":"arxiv","id":"2607.08954","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08954","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08954v1","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08954","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_12","alias_value":"ZR7VHPHDZVQU","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_16","alias_value":"ZR7VHPHDZVQU65TV","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_8","alias_value":"ZR7VHPHD","created_at":"2026-07-13T00:17:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ZR7VHPHDZVQU65TV6TV5O7Y276","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08954","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-09T21:28:29Z","cross_cats_sorted":["cs.LG","stat.ML"],"title_canon_sha256":"2d613bf8662f376e4862779f5906bac32255bd2e5b4471874ddf2273b2ad8bfb","abstract_canon_sha256":"be548566d5382521f9d78e59e257b26dc58553713e3727f1ed37eafd1bc39dce"},"schema_version":"1.0"},"canonical_sha256":"cc7f53bce3cd614f7675f4ebd77f1affa8b27adbe8e5cd2f096543c259222cb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T00:17:29.572907Z","signature_b64":"+FF1rAJ0NkQRrtVVS9CavD+DysXoAqBDTndBFxQvxBWdb95+rcsPh9ofM7o7CcGwEqM57NtWjwh8xQfkC3TqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc7f53bce3cd614f7675f4ebd77f1affa8b27adbe8e5cd2f096543c259222cb1","last_reissued_at":"2026-07-13T00:17:29.571947Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T00:17:29.571947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08954","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T00:17:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5WAYHgNoft2kt8VjsmqIUsdjg1eMg0M+9/G42wlUoYapAi0l7zJ2esFytLlJtMkcZ/C8Oj++uuT4WAx0NIDIAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T00:53:00.882848Z"},"content_sha256":"066d4093acbb64e28601fdb125eff23f26a7c165bbaa10cce5dd13575a4325b3","schema_version":"1.0","event_id":"sha256:066d4093acbb64e28601fdb125eff23f26a7c165bbaa10cce5dd13575a4325b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ZR7VHPHDZVQU65TV6TV5O7Y276","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Nonconvex Composite Functional Constraints via First-Order Augmented Lagrangian Methods under Local Regularity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","stat.ML"],"primary_cat":"math.OC","authors_text":"Jiajin Li, Linglingzhi Zhu","submitted_at":"2026-07-09T21:28:29Z","abstract_excerpt":"We study nonasymptotic convergence of primal-dual methods for a class of nonconvex constrained optimization problems with a convex-composite structure. In this class, both the objective and the functional inequality constraints are given by convex Lipschitz outer functions composed with smooth nonlinear inner mappings. The analysis is complicated by constraint violation in a nonconvex functional inequality system and by the lack of an a priori bound on the multipliers. To address these issues, we restrict the dual variable to an auxiliary compact set and analyze a smoothed prox-linear augmente"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08954","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.08954/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T00:17:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dmxhi/QgudGvBd8Pr0S1Dw1tTrCsB6rZyU3K3ugv0Jy4p4Wd8dUsw5CnROj+mkYtCswkZdC+U7fC+jUqrS/iCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T00:53:00.883349Z"},"content_sha256":"b33b61ad83b69094c225a619cfc07761ea028f12037b2354e516bbd62f69e235","schema_version":"1.0","event_id":"sha256:b33b61ad83b69094c225a619cfc07761ea028f12037b2354e516bbd62f69e235"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/bundle.json","state_url":"https://pith.science/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-22T00:53:00Z","links":{"resolver":"https://pith.science/pith/ZR7VHPHDZVQU65TV6TV5O7Y276","bundle":"https://pith.science/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/bundle.json","state":"https://pith.science/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZR7VHPHDZVQU65TV6TV5O7Y276/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZR7VHPHDZVQU65TV6TV5O7Y276","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":"be548566d5382521f9d78e59e257b26dc58553713e3727f1ed37eafd1bc39dce","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-09T21:28:29Z","title_canon_sha256":"2d613bf8662f376e4862779f5906bac32255bd2e5b4471874ddf2273b2ad8bfb"},"schema_version":"1.0","source":{"id":"2607.08954","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08954","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08954v1","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08954","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_12","alias_value":"ZR7VHPHDZVQU","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_16","alias_value":"ZR7VHPHDZVQU65TV","created_at":"2026-07-13T00:17:29Z"},{"alias_kind":"pith_short_8","alias_value":"ZR7VHPHD","created_at":"2026-07-13T00:17:29Z"}],"graph_snapshots":[{"event_id":"sha256:b33b61ad83b69094c225a619cfc07761ea028f12037b2354e516bbd62f69e235","target":"graph","created_at":"2026-07-13T00:17:29Z","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/2607.08954/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study nonasymptotic convergence of primal-dual methods for a class of nonconvex constrained optimization problems with a convex-composite structure. In this class, both the objective and the functional inequality constraints are given by convex Lipschitz outer functions composed with smooth nonlinear inner mappings. The analysis is complicated by constraint violation in a nonconvex functional inequality system and by the lack of an a priori bound on the multipliers. To address these issues, we restrict the dual variable to an auxiliary compact set and analyze a smoothed prox-linear augmente","authors_text":"Jiajin Li, Linglingzhi Zhu","cross_cats":["cs.LG","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-09T21:28:29Z","title":"Nonconvex Composite Functional Constraints via First-Order Augmented Lagrangian Methods under Local Regularity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08954","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:066d4093acbb64e28601fdb125eff23f26a7c165bbaa10cce5dd13575a4325b3","target":"record","created_at":"2026-07-13T00:17:29Z","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":"be548566d5382521f9d78e59e257b26dc58553713e3727f1ed37eafd1bc39dce","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-09T21:28:29Z","title_canon_sha256":"2d613bf8662f376e4862779f5906bac32255bd2e5b4471874ddf2273b2ad8bfb"},"schema_version":"1.0","source":{"id":"2607.08954","kind":"arxiv","version":1}},"canonical_sha256":"cc7f53bce3cd614f7675f4ebd77f1affa8b27adbe8e5cd2f096543c259222cb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc7f53bce3cd614f7675f4ebd77f1affa8b27adbe8e5cd2f096543c259222cb1","first_computed_at":"2026-07-13T00:17:29.571947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-13T00:17:29.571947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+FF1rAJ0NkQRrtVVS9CavD+DysXoAqBDTndBFxQvxBWdb95+rcsPh9ofM7o7CcGwEqM57NtWjwh8xQfkC3TqDg==","signature_status":"signed_v1","signed_at":"2026-07-13T00:17:29.572907Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08954","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:066d4093acbb64e28601fdb125eff23f26a7c165bbaa10cce5dd13575a4325b3","sha256:b33b61ad83b69094c225a619cfc07761ea028f12037b2354e516bbd62f69e235"],"state_sha256":"e92fe9cfc8b00f9efc4c179fc689fc7ce80448f5b667be2fed84a950fb800a97"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xnWlhA8n+f64ki8kbSmfUbdORJg2ZM2TmIRjfXfo+oYRDk9/c3tnI0d+UnPC8qXWziKlqWpcHC+mWHUzA0KSAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T00:53:00.888839Z","bundle_sha256":"f38b2a730f0814fece17f307e87d5e1f446f799befd0387ff178cd65915ef264"}}