{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SJJNKR6L4VMWZHUORTJJNNLAAJ","short_pith_number":"pith:SJJNKR6L","canonical_record":{"source":{"id":"1401.1031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-01-06T10:29:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"457298210159495e2a747ca3b94af562fd0c1427a40e8b2012cc2e8d9d8a7596","abstract_canon_sha256":"f09c2573287693e375640c0bfa85b409a173e64b0317ad5862345f620519c42e"},"schema_version":"1.0"},"canonical_sha256":"9252d547cbe5596c9e8e8cd296b5600247b30c37f3f32cc4eaa94b2b5a9b2ba1","source":{"kind":"arxiv","id":"1401.1031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1031","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1031v1","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1031","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"pith_short_12","alias_value":"SJJNKR6L4VMW","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SJJNKR6L4VMWZHUO","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SJJNKR6L","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SJJNKR6L4VMWZHUORTJJNNLAAJ","target":"record","payload":{"canonical_record":{"source":{"id":"1401.1031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-01-06T10:29:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"457298210159495e2a747ca3b94af562fd0c1427a40e8b2012cc2e8d9d8a7596","abstract_canon_sha256":"f09c2573287693e375640c0bfa85b409a173e64b0317ad5862345f620519c42e"},"schema_version":"1.0"},"canonical_sha256":"9252d547cbe5596c9e8e8cd296b5600247b30c37f3f32cc4eaa94b2b5a9b2ba1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:11.131632Z","signature_b64":"lGgogLsAYCsxdO92vYTNrT5WHgJERqZ5xzD92Qd8sOCK35RHAK9Sy54ySKbdsZyFMaaaf7y+PcVViQHfHeoEAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9252d547cbe5596c9e8e8cd296b5600247b30c37f3f32cc4eaa94b2b5a9b2ba1","last_reissued_at":"2026-05-18T03:03:11.130991Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:11.130991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.1031","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-05-18T03:03:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tXOYRcgbfEE8qSiX7l2oPMXHejdiZWnI4UV1PBWMyayUySwrtc2Mnd2zvKNl/9u9KvMZV8dw8oxoVlsdK9WrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T17:08:34.028190Z"},"content_sha256":"ee3377bc9ddacf765934a2e6c6609b1b4b3eb1702b9f5677857a6e961440dd38","schema_version":"1.0","event_id":"sha256:ee3377bc9ddacf765934a2e6c6609b1b4b3eb1702b9f5677857a6e961440dd38"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SJJNKR6L4VMWZHUORTJJNNLAAJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constraint Solvers for User Interface Layout","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.HC","authors_text":"Noreen Jamil","submitted_at":"2014-01-06T10:29:07Z","abstract_excerpt":"Constraints have played an important role in the construction of GUIs, where they are mainly used to define the layout of the widgets. Resizing behavior is very important in GUIs because areas have domain specific parameters such as form the resizing of windows. If linear objective function is used and window is resized then error is not distributed equally. To distribute the error equally, a quadratic objective function is introduced. Different algorithms are widely used for solving linear constraints and quadratic problems in a variety of different scientific areas. The linear relxation, Kac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1031","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":""},"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:03:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5f0z/SrY7A8f+gscZOwPwtH/50lAL5I8D6uHDaPNhJb92r+N7H+Aj4UBhWv619z+8hGZ/mGM0nMbZ9HjWidLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T17:08:34.028552Z"},"content_sha256":"d895228f9b47670e445950955a06f7424f66143c7668a1a91f27e4142fa4b793","schema_version":"1.0","event_id":"sha256:d895228f9b47670e445950955a06f7424f66143c7668a1a91f27e4142fa4b793"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/bundle.json","state_url":"https://pith.science/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/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-07-04T17:08:34Z","links":{"resolver":"https://pith.science/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ","bundle":"https://pith.science/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/bundle.json","state":"https://pith.science/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SJJNKR6L4VMWZHUORTJJNNLAAJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SJJNKR6L4VMWZHUORTJJNNLAAJ","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":"f09c2573287693e375640c0bfa85b409a173e64b0317ad5862345f620519c42e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-01-06T10:29:07Z","title_canon_sha256":"457298210159495e2a747ca3b94af562fd0c1427a40e8b2012cc2e8d9d8a7596"},"schema_version":"1.0","source":{"id":"1401.1031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1031","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1031v1","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1031","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"pith_short_12","alias_value":"SJJNKR6L4VMW","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SJJNKR6L4VMWZHUO","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SJJNKR6L","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:d895228f9b47670e445950955a06f7424f66143c7668a1a91f27e4142fa4b793","target":"graph","created_at":"2026-05-18T03:03:11Z","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":"Constraints have played an important role in the construction of GUIs, where they are mainly used to define the layout of the widgets. Resizing behavior is very important in GUIs because areas have domain specific parameters such as form the resizing of windows. If linear objective function is used and window is resized then error is not distributed equally. To distribute the error equally, a quadratic objective function is introduced. Different algorithms are widely used for solving linear constraints and quadratic problems in a variety of different scientific areas. The linear relxation, Kac","authors_text":"Noreen Jamil","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-01-06T10:29:07Z","title":"Constraint Solvers for User Interface Layout"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1031","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:ee3377bc9ddacf765934a2e6c6609b1b4b3eb1702b9f5677857a6e961440dd38","target":"record","created_at":"2026-05-18T03:03:11Z","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":"f09c2573287693e375640c0bfa85b409a173e64b0317ad5862345f620519c42e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-01-06T10:29:07Z","title_canon_sha256":"457298210159495e2a747ca3b94af562fd0c1427a40e8b2012cc2e8d9d8a7596"},"schema_version":"1.0","source":{"id":"1401.1031","kind":"arxiv","version":1}},"canonical_sha256":"9252d547cbe5596c9e8e8cd296b5600247b30c37f3f32cc4eaa94b2b5a9b2ba1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9252d547cbe5596c9e8e8cd296b5600247b30c37f3f32cc4eaa94b2b5a9b2ba1","first_computed_at":"2026-05-18T03:03:11.130991Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:11.130991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lGgogLsAYCsxdO92vYTNrT5WHgJERqZ5xzD92Qd8sOCK35RHAK9Sy54ySKbdsZyFMaaaf7y+PcVViQHfHeoEAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:11.131632Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.1031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee3377bc9ddacf765934a2e6c6609b1b4b3eb1702b9f5677857a6e961440dd38","sha256:d895228f9b47670e445950955a06f7424f66143c7668a1a91f27e4142fa4b793"],"state_sha256":"7f3d7630c56e14a87555c361b54338871e92c1e5c583efd8b7cde2f8007e9f8e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L9/N1UnIpzGFXAHyu1aCCGXApvfN7KEBazzl4Dzf0nZLbCPjrYClaNUU8G3HieIvZCllxkhgEQvWp57ChAd3CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T17:08:34.030531Z","bundle_sha256":"4b1cc3ff15816d1e0285b2e567f59771d4b053dcc3189369049ff2cf972cf170"}}