{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:D3LLNHOKNCT3JYLM5MT5RX5J7B","short_pith_number":"pith:D3LLNHOK","canonical_record":{"source":{"id":"1412.5143","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-15T14:22:03Z","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"title_canon_sha256":"ceaf42c279dd08d8df3ab22bf6ed71146701dee7deeb6783e115c7fb9c6fd9ab","abstract_canon_sha256":"42c76cd5131f00b84bd4c74d691f4b498ebbb9e92807d1de1e708f5ea20aa1c1"},"schema_version":"1.0"},"canonical_sha256":"1ed6b69dca68a7b4e16ceb27d8dfa9f85ebcfc41ddd38814b45db254a74be3fe","source":{"kind":"arxiv","id":"1412.5143","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.5143","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"arxiv_version","alias_value":"1412.5143v4","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.5143","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"pith_short_12","alias_value":"D3LLNHOKNCT3","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"D3LLNHOKNCT3JYLM","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"D3LLNHOK","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:D3LLNHOKNCT3JYLM5MT5RX5J7B","target":"record","payload":{"canonical_record":{"source":{"id":"1412.5143","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-15T14:22:03Z","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"title_canon_sha256":"ceaf42c279dd08d8df3ab22bf6ed71146701dee7deeb6783e115c7fb9c6fd9ab","abstract_canon_sha256":"42c76cd5131f00b84bd4c74d691f4b498ebbb9e92807d1de1e708f5ea20aa1c1"},"schema_version":"1.0"},"canonical_sha256":"1ed6b69dca68a7b4e16ceb27d8dfa9f85ebcfc41ddd38814b45db254a74be3fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:11.626245Z","signature_b64":"s1JiJQw1S20k2llrhIspnMkhJLmu63suu54nmjjSWzpqq/ZY1pYb+Km/1ef0U0XXaaVNC1RhwNZwkjGUFTxhDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ed6b69dca68a7b4e16ceb27d8dfa9f85ebcfc41ddd38814b45db254a74be3fe","last_reissued_at":"2026-05-18T01:35:11.625391Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:11.625391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.5143","source_version":4,"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-18T01:35:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xm1obS4AjIVYm1apZ8S0y0g/MXexEQgBPc7oN/68qBFB0ORTJCJzIiUhwn2ZZ+G6rhbQsteMme1bDjlNHYfICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T19:59:40.731576Z"},"content_sha256":"c60a2a648989e7f782d41c2cd88d2182f2589f5155a80f335aed661e1dc00fdd","schema_version":"1.0","event_id":"sha256:c60a2a648989e7f782d41c2cd88d2182f2589f5155a80f335aed661e1dc00fdd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:D3LLNHOKNCT3JYLM5MT5RX5J7B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.PL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Anthony Widjaja Lin, Luke Ong, Matthew Hague","submitted_at":"2014-12-15T14:22:03Z","abstract_excerpt":"HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector (given in an XPath-like query language) and a declaration block (assigning values to selected nodes' display attributes). As web applications evolve, maintaining CSS files can easily become problematic. Some CSS rules will be replaced by new ones, but these obsolete (hence redundant) CSS rules often remain in the applications. Not only does this \"bloat\" the applications, but it also significantly increases web browsers' processing time. Most works on de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.5143","kind":"arxiv","version":4},"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-18T01:35:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x0TA/g5Yishqggj60UNE82zFoTGSr9pUV9vI0vNniKRj/WPHtP3OkFJSSZsuUN+/ZNSQzbQKPU7wd3uZD+84Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T19:59:40.731934Z"},"content_sha256":"ee28ec15a434897f247b823752e82f88bb86118c1dfd7eb83381cea32a3ef81b","schema_version":"1.0","event_id":"sha256:ee28ec15a434897f247b823752e82f88bb86118c1dfd7eb83381cea32a3ef81b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/bundle.json","state_url":"https://pith.science/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/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-06-23T19:59:40Z","links":{"resolver":"https://pith.science/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B","bundle":"https://pith.science/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/bundle.json","state":"https://pith.science/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D3LLNHOKNCT3JYLM5MT5RX5J7B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:D3LLNHOKNCT3JYLM5MT5RX5J7B","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":"42c76cd5131f00b84bd4c74d691f4b498ebbb9e92807d1de1e708f5ea20aa1c1","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-15T14:22:03Z","title_canon_sha256":"ceaf42c279dd08d8df3ab22bf6ed71146701dee7deeb6783e115c7fb9c6fd9ab"},"schema_version":"1.0","source":{"id":"1412.5143","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.5143","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"arxiv_version","alias_value":"1412.5143v4","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.5143","created_at":"2026-05-18T01:35:11Z"},{"alias_kind":"pith_short_12","alias_value":"D3LLNHOKNCT3","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"D3LLNHOKNCT3JYLM","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"D3LLNHOK","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:ee28ec15a434897f247b823752e82f88bb86118c1dfd7eb83381cea32a3ef81b","target":"graph","created_at":"2026-05-18T01:35: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":"HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector (given in an XPath-like query language) and a declaration block (assigning values to selected nodes' display attributes). As web applications evolve, maintaining CSS files can easily become problematic. Some CSS rules will be replaced by new ones, but these obsolete (hence redundant) CSS rules often remain in the applications. Not only does this \"bloat\" the applications, but it also significantly increases web browsers' processing time. Most works on de","authors_text":"Anthony Widjaja Lin, Luke Ong, Matthew Hague","cross_cats":["cs.DB","cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-15T14:22:03Z","title":"Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.5143","kind":"arxiv","version":4},"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:c60a2a648989e7f782d41c2cd88d2182f2589f5155a80f335aed661e1dc00fdd","target":"record","created_at":"2026-05-18T01:35: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":"42c76cd5131f00b84bd4c74d691f4b498ebbb9e92807d1de1e708f5ea20aa1c1","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-15T14:22:03Z","title_canon_sha256":"ceaf42c279dd08d8df3ab22bf6ed71146701dee7deeb6783e115c7fb9c6fd9ab"},"schema_version":"1.0","source":{"id":"1412.5143","kind":"arxiv","version":4}},"canonical_sha256":"1ed6b69dca68a7b4e16ceb27d8dfa9f85ebcfc41ddd38814b45db254a74be3fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ed6b69dca68a7b4e16ceb27d8dfa9f85ebcfc41ddd38814b45db254a74be3fe","first_computed_at":"2026-05-18T01:35:11.625391Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:11.625391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s1JiJQw1S20k2llrhIspnMkhJLmu63suu54nmjjSWzpqq/ZY1pYb+Km/1ef0U0XXaaVNC1RhwNZwkjGUFTxhDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:11.626245Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.5143","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c60a2a648989e7f782d41c2cd88d2182f2589f5155a80f335aed661e1dc00fdd","sha256:ee28ec15a434897f247b823752e82f88bb86118c1dfd7eb83381cea32a3ef81b"],"state_sha256":"4f504d36b79f38ba5114fe9536af1ed8b78ca99575009afc869523530c79fbc2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nZZZ5yk8BifHdIiXapSJSFH5uf2AlzkgMhv2JjRi6zv8z6YLGpgg6DnG94l+CE+FD+ynzvUE0ps3uohmubE+CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T19:59:40.734043Z","bundle_sha256":"138662ce0d5f290f63c008aa0a6eaf56c1b3a713789674535440860ddd55f083"}}