{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:RPVNNLZPMRI3DD5ACQC2QYJEY5","short_pith_number":"pith:RPVNNLZP","canonical_record":{"source":{"id":"1309.7001","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-09-26T18:22:41Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"ec3d83d4e45526da785e033b2140fecd481ee60744a58aa5b39a71a4912bba4d","abstract_canon_sha256":"31388a74d8977bab234188c50242100c888f1059c6d53c7a2be996b4d205c93c"},"schema_version":"1.0"},"canonical_sha256":"8bead6af2f6451b18fa01405a86124c76736e9194ee65a55a7b65600796dd64e","source":{"kind":"arxiv","id":"1309.7001","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.7001","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"1309.7001v2","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.7001","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"RPVNNLZPMRI3","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RPVNNLZPMRI3DD5A","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RPVNNLZP","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:RPVNNLZPMRI3DD5ACQC2QYJEY5","target":"record","payload":{"canonical_record":{"source":{"id":"1309.7001","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-09-26T18:22:41Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"ec3d83d4e45526da785e033b2140fecd481ee60744a58aa5b39a71a4912bba4d","abstract_canon_sha256":"31388a74d8977bab234188c50242100c888f1059c6d53c7a2be996b4d205c93c"},"schema_version":"1.0"},"canonical_sha256":"8bead6af2f6451b18fa01405a86124c76736e9194ee65a55a7b65600796dd64e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:08.280535Z","signature_b64":"v2tHMgKyVtXGr4pYPxNrAsykN3mmKH/SiVZ71MzpQejwjt9DD1Dpia0CboykoUO5sZTT3fTSJLKZCHC1ccztBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8bead6af2f6451b18fa01405a86124c76736e9194ee65a55a7b65600796dd64e","last_reissued_at":"2026-05-18T03:12:08.279637Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:08.279637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.7001","source_version":2,"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-05-18T03:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ubEuGx8R8XT+EQNBXEQgpexvX++SpgFY+acqlO8FyzOBk0ZITGh5BpMTZVzoYx/BV0Eyml+A1DLATh0OKspCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:05:33.533809Z"},"content_sha256":"b6c23da42a783814cfd255b8505427dfea56f533ba1a785cdf59889bdee46bb8","schema_version":"1.0","event_id":"sha256:b6c23da42a783814cfd255b8505427dfea56f533ba1a785cdf59889bdee46bb8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:RPVNNLZPMRI3DD5ACQC2QYJEY5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kaczmarz Algorithm with Soft Constraints for User Interface Layout","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"cs.NA","authors_text":"Christof Lutteroth, Deanna Needell, Gerald Weber, Johannes Muller, Noreen Jamil","submitted_at":"2013-09-26T18:22:41Z","abstract_excerpt":"The Kaczmarz method is an iterative method for solving large systems of equations that projects iterates orthogonally onto the solution space of each equation. In contrast to direct methods such as Gaussian elimination or QR-factorization, this algorithm is efficient for problems with sparse matrices, as they appear in constraint-based user interface (UI) layout specifications. However, the Kaczmarz method as described in the literature has its limitations: it considers only equality constraints and does not support soft constraints, which makes it inapplicable to the UI layout problem.\n  In t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.7001","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T03:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nu4j+I2A9drF6SMafvk09C1Ry0Y6lutktj/xQ+ifv9yRitnB6JCi8fsubSoJgnjLTYBeEh+fuC7NiKrmYSn1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:05:33.534154Z"},"content_sha256":"d23cb6212175db5dd60ef20abb9627cf9c2b4692ae4afa91a43a851593210d36","schema_version":"1.0","event_id":"sha256:d23cb6212175db5dd60ef20abb9627cf9c2b4692ae4afa91a43a851593210d36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/bundle.json","state_url":"https://pith.science/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/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-05-30T12:05:33Z","links":{"resolver":"https://pith.science/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5","bundle":"https://pith.science/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/bundle.json","state":"https://pith.science/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RPVNNLZPMRI3DD5ACQC2QYJEY5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:RPVNNLZPMRI3DD5ACQC2QYJEY5","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":"31388a74d8977bab234188c50242100c888f1059c6d53c7a2be996b4d205c93c","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-09-26T18:22:41Z","title_canon_sha256":"ec3d83d4e45526da785e033b2140fecd481ee60744a58aa5b39a71a4912bba4d"},"schema_version":"1.0","source":{"id":"1309.7001","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.7001","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"1309.7001v2","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.7001","created_at":"2026-05-18T03:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"RPVNNLZPMRI3","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RPVNNLZPMRI3DD5A","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RPVNNLZP","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:d23cb6212175db5dd60ef20abb9627cf9c2b4692ae4afa91a43a851593210d36","target":"graph","created_at":"2026-05-18T03:12:08Z","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"},"paper":{"abstract_excerpt":"The Kaczmarz method is an iterative method for solving large systems of equations that projects iterates orthogonally onto the solution space of each equation. In contrast to direct methods such as Gaussian elimination or QR-factorization, this algorithm is efficient for problems with sparse matrices, as they appear in constraint-based user interface (UI) layout specifications. However, the Kaczmarz method as described in the literature has its limitations: it considers only equality constraints and does not support soft constraints, which makes it inapplicable to the UI layout problem.\n  In t","authors_text":"Christof Lutteroth, Deanna Needell, Gerald Weber, Johannes Muller, Noreen Jamil","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-09-26T18:22:41Z","title":"Kaczmarz Algorithm with Soft Constraints for User Interface Layout"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.7001","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:b6c23da42a783814cfd255b8505427dfea56f533ba1a785cdf59889bdee46bb8","target":"record","created_at":"2026-05-18T03:12:08Z","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":"31388a74d8977bab234188c50242100c888f1059c6d53c7a2be996b4d205c93c","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-09-26T18:22:41Z","title_canon_sha256":"ec3d83d4e45526da785e033b2140fecd481ee60744a58aa5b39a71a4912bba4d"},"schema_version":"1.0","source":{"id":"1309.7001","kind":"arxiv","version":2}},"canonical_sha256":"8bead6af2f6451b18fa01405a86124c76736e9194ee65a55a7b65600796dd64e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8bead6af2f6451b18fa01405a86124c76736e9194ee65a55a7b65600796dd64e","first_computed_at":"2026-05-18T03:12:08.279637Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:08.279637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v2tHMgKyVtXGr4pYPxNrAsykN3mmKH/SiVZ71MzpQejwjt9DD1Dpia0CboykoUO5sZTT3fTSJLKZCHC1ccztBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:08.280535Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.7001","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6c23da42a783814cfd255b8505427dfea56f533ba1a785cdf59889bdee46bb8","sha256:d23cb6212175db5dd60ef20abb9627cf9c2b4692ae4afa91a43a851593210d36"],"state_sha256":"bc25bd70b2b2fb64b3a136d9b7078320f96db967d9dc4f256c21a8764cfc01f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VaRlLpb2hj/defThsyl1f5M8E0CBoEY6kA7jLwSw1/zn1K27meLzcnFUnbieT4CYLezRTd/MvNN56hOGU5LECA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T12:05:33.536246Z","bundle_sha256":"11b4a0df35804c304a63966c66cd5ac5b36cd250e7eb8deb12daa0db44ee572b"}}