{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NQEGNBP34DNTKPEOQUNWNKZOD5","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":"6e2209b5b1bcbb9622c50e1516722013b09d90738cda6e63f4c2b25f421af50c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-09T10:38:06Z","title_canon_sha256":"ab9b9b291289f24a2d4280f182f004477ee475a82539c0af7cda6483dce438b9"},"schema_version":"1.0","source":{"id":"2606.10682","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10682","created_at":"2026-06-10T01:10:34Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10682v1","created_at":"2026-06-10T01:10:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10682","created_at":"2026-06-10T01:10:34Z"},{"alias_kind":"pith_short_12","alias_value":"NQEGNBP34DNT","created_at":"2026-06-10T01:10:34Z"},{"alias_kind":"pith_short_16","alias_value":"NQEGNBP34DNTKPEO","created_at":"2026-06-10T01:10:34Z"},{"alias_kind":"pith_short_8","alias_value":"NQEGNBP3","created_at":"2026-06-10T01:10:34Z"}],"graph_snapshots":[{"event_id":"sha256:ba1a1d9c3bbd51032bb5300842e201ffa13402129bc7a3728350a32f8f7cf1e6","target":"graph","created_at":"2026-06-10T01:10:34Z","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.10682/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While physics-informed neural networks (PINNs) have shown strong potential for process modeling, physical equations are only enforced as soft constraints during training, and thus, they do not guarantee constraint satisfaction at inference. We propose a framework, called piecewise-linear Karush--Kuhn--Tucker hard-constrained PINNs (PL-KKT-hPINNs), that strictly enforces nonlinear equality constraints through piecewise-linear projection. This extends the KKT-hPINN framewor, which exactly enforces linear equalities through the Karush--Kuhn--Tucker (KKT) conditions associated with orthogonally pr","authors_text":"Fateme Mohammad Mohammadi, Hector Budman, Joshua L. Pulsipher","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-09T10:38:06Z","title":"PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10682","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:a994b4218933cd49391ac1643bf2004524bff6bf15d1652994d1ce9a55c9d160","target":"record","created_at":"2026-06-10T01:10:34Z","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":"6e2209b5b1bcbb9622c50e1516722013b09d90738cda6e63f4c2b25f421af50c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-09T10:38:06Z","title_canon_sha256":"ab9b9b291289f24a2d4280f182f004477ee475a82539c0af7cda6483dce438b9"},"schema_version":"1.0","source":{"id":"2606.10682","kind":"arxiv","version":1}},"canonical_sha256":"6c086685fbe0db353c8e851b66ab2e1f7003c821ddd1a8612073464089ee75e1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c086685fbe0db353c8e851b66ab2e1f7003c821ddd1a8612073464089ee75e1","first_computed_at":"2026-06-10T01:10:34.084923Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T01:10:34.084923Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9EV1IkmG4gcqaHX1qwKZ/NE1fxOY2ESMQ5c+Ux1hPKKv0eSzj1UTlqfqlxRH8zZxd0wFPgPrmM5FrjSrrYCbCA==","signature_status":"signed_v1","signed_at":"2026-06-10T01:10:34.085777Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.10682","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a994b4218933cd49391ac1643bf2004524bff6bf15d1652994d1ce9a55c9d160","sha256:ba1a1d9c3bbd51032bb5300842e201ffa13402129bc7a3728350a32f8f7cf1e6"],"state_sha256":"05da179b1b57e06b488e972907212e8fb23666d23a9b6b688098a3b6b2ef7279"}