{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ","short_pith_number":"pith:3AXYMXEQ","schema_version":"1.0","canonical_sha256":"d82f865c90f674dc7c759e1b5393b9ca76c48ff28b01b42ff34d8ca3d5fa1309","source":{"kind":"arxiv","id":"1512.08891","version":1},"attestation_state":"computed","paper":{"title":"Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.NI","authors_text":"Marius Portmann, Peter H\\\"ofner, Rob van Glabbeek, Wee Lum Tan","submitted_at":"2015-12-30T09:51:05Z","abstract_excerpt":"In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are often used in routing protocols to avoid routing loops. It is commonly stated in protocol specifications that sequence numbers are sufficient to guarantee loop freedom if they are monotonically increased over time. A classical example for the use of sequence numbers is the popular Ad hoc On-Demand Distance Vector (AODV) routing protocol. The loop freedom of AODV is not only a common belief, it has been claimed in the abstract of its RFC and at least two proofs have been proposed. AODV-based protocols such as"},"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":"1512.08891","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-30T09:51:05Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3cdc62b934b45fac6951338899960f59b656584884708e9483ef46656cc6ed26","abstract_canon_sha256":"7954e839cdc6529ee767e85a32c9f157f6f1370b439545df22e089cdd4dce120"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:34.591684Z","signature_b64":"lrF6/Rmf2lxFnU+CLTUIB+mR8q/k5n6NtAU33GkKKQlhKkFAMMoAensYs6W4kOeteMYfUnNIU3NAQ/vnf1b5BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d82f865c90f674dc7c759e1b5393b9ca76c48ff28b01b42ff34d8ca3d5fa1309","last_reissued_at":"2026-05-18T01:23:34.591145Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:34.591145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.NI","authors_text":"Marius Portmann, Peter H\\\"ofner, Rob van Glabbeek, Wee Lum Tan","submitted_at":"2015-12-30T09:51:05Z","abstract_excerpt":"In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are often used in routing protocols to avoid routing loops. It is commonly stated in protocol specifications that sequence numbers are sufficient to guarantee loop freedom if they are monotonically increased over time. A classical example for the use of sequence numbers is the popular Ad hoc On-Demand Distance Vector (AODV) routing protocol. The loop freedom of AODV is not only a common belief, it has been claimed in the abstract of its RFC and at least two proofs have been proposed. AODV-based protocols such as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08891","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":"1512.08891","created_at":"2026-05-18T01:23:34.591220+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.08891v1","created_at":"2026-05-18T01:23:34.591220+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08891","created_at":"2026-05-18T01:23:34.591220+00:00"},{"alias_kind":"pith_short_12","alias_value":"3AXYMXEQ6Z2N","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_16","alias_value":"3AXYMXEQ6Z2NY7DV","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_8","alias_value":"3AXYMXEQ","created_at":"2026-05-18T12:29:02.477457+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/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ","json":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ.json","graph_json":"https://pith.science/api/pith-number/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/graph.json","events_json":"https://pith.science/api/pith-number/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/events.json","paper":"https://pith.science/paper/3AXYMXEQ"},"agent_actions":{"view_html":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ","download_json":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ.json","view_paper":"https://pith.science/paper/3AXYMXEQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.08891&json=true","fetch_graph":"https://pith.science/api/pith-number/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/graph.json","fetch_events":"https://pith.science/api/pith-number/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/action/storage_attestation","attest_author":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/action/author_attestation","sign_citation":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/action/citation_signature","submit_replication":"https://pith.science/pith/3AXYMXEQ6Z2NY7DVTYNVHE5ZZJ/action/replication_record"}},"created_at":"2026-05-18T01:23:34.591220+00:00","updated_at":"2026-05-18T01:23:34.591220+00:00"}