An offline OSPF implementation fixture author needs exact neighbor state/action ...

{ "body": { "artifact": { "ospf_neighbor": { "claim": 1, "dd_seed": 40, "events": [ [ 1 ], [ 2 ], [ 4 ], [ 5 ], [ 1 ], [ 2 ] ], "local_role": 0, "lsdb": [ [ 1, 1, 0 ], [ 2, 2, 3600 ], [ 3, 5, 0 ], [ 4, 5, 3600 ] ], "neighbor_role": 0, "network": 0, "stub": false } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "ospfv2-neighbor-adjacency-exchange-state", "state": "not_observed", "value": { "adjacency_attempts": 1, "claim_matches": true, "database_summary_builds": 1, "dd_sequence": 40, "final_database_summary": [ 1, 3 ], "final_requests": [], "final_retransmission": [ 2, 4 ], "final_state": 7, "full_entries": 1, "hello_sends": 0, "history": [ { "actions": [ 1 ], "adjacency_required": true, "database_summary": [], "dd_sequence": null, "event": 0, "from": 0, "inactivity_running": true, "requests": [], "retransmission": [], "to": 2 }, { "actions": [ 4 ], "adjacency_required": true, "database_summary": [], "dd_sequence": 40, "event": 1, "from": 2, "inactivity_running": true, "requests": [], "retransmission": [], "to": 4 }, { "actions": [ 5 ], "adjacency_required": true, "database_summary": [ 1, 3 ], "dd_sequence": 40, "event": 2, "from": 4, "inactivity_running": true, "requests": [], "retransmission": [ 2, 4 ], "to": 5 }, { "actions": [], "adjacency_required": true, "database_summary": [ 1, 3 ], "dd_sequence": 40, "event": 3, "from": 5, "inactivity_running": true, "requests": [], "retransmission": [ 2, 4 ], "to": 7 }, { "actions": [ 1 ], "adjacency_required": true, "database_summary": [ 1, 3 ], "dd_sequence": 40, "event": 4, "from": 7, "inactivity_running": true, "requests": [], "retransmission": [ 2, 4 ], "to": 7 }, { "actions": [], "adjacency_required": true, "database_summary": [ 1, 3 ], "dd_sequence": 40, "event": 5, "from": 7, "inactivity_running": true, "requests": [], "retransmission": [ 2, 4 ], "to": 7 } ], "inactivity_restarts": 2, "inactivity_running": true, "list_clears": 0, "request_send_starts": 0, "statistic": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }