{"id":18568893,"url":"https://github.com/cbrewster/servonavigation","last_synced_at":"2026-02-01T00:04:04.552Z","repository":{"id":95757604,"uuid":"60823075","full_name":"cbrewster/ServoNavigation","owner":"cbrewster","description":"Servo's Navigation Design","archived":false,"fork":false,"pushed_at":"2016-12-25T01:40:48.000Z","size":15076,"stargazers_count":4,"open_issues_count":1,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-06-10T12:15:42.014Z","etag":null,"topics":["proposal","servo","servo-navigation"],"latest_commit_sha":null,"homepage":"https://arxiv.org/abs/1608.05444","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/cbrewster.png","metadata":{"files":{"readme":"readme.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-06-10T04:01:32.000Z","updated_at":"2024-11-07T14:06:10.000Z","dependencies_parsed_at":"2023-05-21T22:45:29.936Z","dependency_job_id":null,"html_url":"https://github.com/cbrewster/ServoNavigation","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/cbrewster/ServoNavigation","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbrewster%2FServoNavigation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbrewster%2FServoNavigation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbrewster%2FServoNavigation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbrewster%2FServoNavigation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/cbrewster","download_url":"https://codeload.github.com/cbrewster/ServoNavigation/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbrewster%2FServoNavigation/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259737487,"owners_count":22903839,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["proposal","servo","servo-navigation"],"created_at":"2024-11-06T22:31:01.786Z","updated_at":"2026-02-01T00:04:04.515Z","avatar_url":"https://github.com/cbrewster.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Servo Navigation Proposal\n\nThis repo contains notes on the design of Servo's navigation model.\n\nThe full document is [notes.pdf](notes/notes.pdf), and includes:\n\n - A navigation history model based on the WHATWG specification.\n - A series of counter-examples showing unexpected behaviour of the WHATWG model.\n - A series of patches for each of the counter-examples.\n - A proof (mechanized in Agda) that the patched model satisfies the **fundamental property**: that traversing the session history by δ then by δ′ is the same as traversing by (δ + δ′).\n - Experimental evidence that browser implementations are closer to the patched model than to the original.\n\nThe implementation in Servo is part of the [constellation](https://github.com/servo/servo/blob/master/components/constellation/constellation.rs).\n\n[![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)](http://creativecommons.org/licenses/by/4.0/)\nThis work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcbrewster%2Fservonavigation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcbrewster%2Fservonavigation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcbrewster%2Fservonavigation/lists"}