{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:WZJDINDIYDF24VH3RULGMVSCIW","short_pith_number":"pith:WZJDINDI","schema_version":"1.0","canonical_sha256":"b652343468c0cbae54fb8d16665642459dc887f356282b5824a852049cfde3a2","source":{"kind":"arxiv","id":"1608.05444","version":1},"attestation_state":"computed","paper":{"title":"A Model of Navigation History","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alan Jeffrey, Connor G. Brewster","submitted_at":"2016-08-18T22:35:40Z","abstract_excerpt":"Navigation has been a core component of the web since its inception: users and scripts can follow hyperlinks, and can go back or forwards through the navigation history. In this paper, we present a formal model aligned with the WHATWG specification of navigation history, and investigate its properties. The fundamental property of navigation history is that traversing the history by delta then by delta' should be the same as traversing by delta+delta'. In particular, traversing by +1 (forward) then by -1 (back) is the same as traversing by 0 (doing nothing). We show that the specification-align"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1608.05444","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2016-08-18T22:35:40Z","cross_cats_sorted":[],"title_canon_sha256":"5c658e6296b93d62ad3d5b50403f2b74835e3c40478334c90f15b0b085f96055","abstract_canon_sha256":"81a72a62e1746de4f9277296deb7f5ff4f27d5e7d1505ec18901d0b09ae630d9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:30.859539Z","signature_b64":"6TsMf/Kqux3Hgcn6ZVA3BIkBi+jEAHL2VfvxMIkmvqB8NTwFZLAov7PsHpI8S7WeGeAPeue8jt2nkKkLA+EoBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b652343468c0cbae54fb8d16665642459dc887f356282b5824a852049cfde3a2","last_reissued_at":"2026-05-18T01:08:30.859114Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:30.859114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Model of Navigation History","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alan Jeffrey, Connor G. Brewster","submitted_at":"2016-08-18T22:35:40Z","abstract_excerpt":"Navigation has been a core component of the web since its inception: users and scripts can follow hyperlinks, and can go back or forwards through the navigation history. In this paper, we present a formal model aligned with the WHATWG specification of navigation history, and investigate its properties. The fundamental property of navigation history is that traversing the history by delta then by delta' should be the same as traversing by delta+delta'. In particular, traversing by +1 (forward) then by -1 (back) is the same as traversing by 0 (doing nothing). We show that the specification-align"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05444","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1608.05444","created_at":"2026-05-18T01:08:30.859184+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.05444v1","created_at":"2026-05-18T01:08:30.859184+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05444","created_at":"2026-05-18T01:08:30.859184+00:00"},{"alias_kind":"pith_short_12","alias_value":"WZJDINDIYDF2","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"WZJDINDIYDF24VH3","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"WZJDINDI","created_at":"2026-05-18T12:30:51.357362+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW","json":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW.json","graph_json":"https://pith.science/api/pith-number/WZJDINDIYDF24VH3RULGMVSCIW/graph.json","events_json":"https://pith.science/api/pith-number/WZJDINDIYDF24VH3RULGMVSCIW/events.json","paper":"https://pith.science/paper/WZJDINDI"},"agent_actions":{"view_html":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW","download_json":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW.json","view_paper":"https://pith.science/paper/WZJDINDI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.05444&json=true","fetch_graph":"https://pith.science/api/pith-number/WZJDINDIYDF24VH3RULGMVSCIW/graph.json","fetch_events":"https://pith.science/api/pith-number/WZJDINDIYDF24VH3RULGMVSCIW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW/action/storage_attestation","attest_author":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW/action/author_attestation","sign_citation":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW/action/citation_signature","submit_replication":"https://pith.science/pith/WZJDINDIYDF24VH3RULGMVSCIW/action/replication_record"}},"created_at":"2026-05-18T01:08:30.859184+00:00","updated_at":"2026-05-18T01:08:30.859184+00:00"}