{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QWM45RWAURS43OEUABHHHMFFM7","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":"4ff0d3056269f49de39e5e8ab8634942f38c988777d2af73ea9986918dfb44ef","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-23T18:44:56Z","title_canon_sha256":"9cf2090fa8c3ad3896ad0fdc7d3b3d344fc490d9ecc3daf7ad5750f55d99c2ad"},"schema_version":"1.0","source":{"id":"2509.19484","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.19484","created_at":"2026-05-28T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"2509.19484v2","created_at":"2026-05-28T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.19484","created_at":"2026-05-28T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"QWM45RWAURS4","created_at":"2026-05-28T01:04:30Z"},{"alias_kind":"pith_short_16","alias_value":"QWM45RWAURS43OEU","created_at":"2026-05-28T01:04:30Z"},{"alias_kind":"pith_short_8","alias_value":"QWM45RWA","created_at":"2026-05-28T01:04:30Z"}],"graph_snapshots":[{"event_id":"sha256:01f3f50c3b0e30b7c7326adeedc8ac468510922317a63ca8eba6d0c8cb4fa0e4","target":"graph","created_at":"2026-05-28T01:04:30Z","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/2509.19484/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present linrax, the first simplex based linear program (LP) solver compatible with the JAX ecosystem. In many control algorithms, LPs are often automatically generated and frequently solved either offline or online in the control loop. This motivates the design of linrax, which is especially suited for compilation into a complex JAX-based pipeline as a subroutine. We discuss the challenges associated with implementing a general purpose LP solver under strict design requirements from JAX. Notably, we can solve general problems which may include dependent constraints-something not possible wi","authors_text":"Akash Harapanahalli, Brendan Gould, Samuel Coogan","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-23T18:44:56Z","title":"linrax: A JAX Compatible, Simplex Method Linear Program Solver"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.19484","kind":"arxiv","version":2},"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:3c88e135bfcd87c936e6f1dcb78547f0bbbb6c256f8a4c46d3d3b1ad02bd5f51","target":"record","created_at":"2026-05-28T01:04:30Z","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":"4ff0d3056269f49de39e5e8ab8634942f38c988777d2af73ea9986918dfb44ef","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-23T18:44:56Z","title_canon_sha256":"9cf2090fa8c3ad3896ad0fdc7d3b3d344fc490d9ecc3daf7ad5750f55d99c2ad"},"schema_version":"1.0","source":{"id":"2509.19484","kind":"arxiv","version":2}},"canonical_sha256":"8599cec6c0a465cdb894004e73b0a567c8535c8dd75bf58f266aadd5e13c8964","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8599cec6c0a465cdb894004e73b0a567c8535c8dd75bf58f266aadd5e13c8964","first_computed_at":"2026-05-28T01:04:30.666500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T01:04:30.666500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8JGDBPjVToEUSGfAZWrPspULWyz/fYw+LYze6ztBv3VPjAAUahw9L4SFtPmX0IxVpBnrJmefP9KAF6SBBZ9aBQ==","signature_status":"signed_v1","signed_at":"2026-05-28T01:04:30.667142Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.19484","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c88e135bfcd87c936e6f1dcb78547f0bbbb6c256f8a4c46d3d3b1ad02bd5f51","sha256:01f3f50c3b0e30b7c7326adeedc8ac468510922317a63ca8eba6d0c8cb4fa0e4"],"state_sha256":"995bec31fde15032e1366138cd79a95a60a047360220ea3643a8d0ca2828adbb"}