An offline PPP test fixture author needs exact negotiation and restart-counter t...

{ "body": { "artifact": { "ppp_lcp": { "claim": 1, "events": [ { "event": "Open" }, { "event": "Up" }, { "event": "RCR+" }, { "event": "RCA", "identifier": 0, "options": [ { "data": [ 5, 220 ], "type": 1 } ] } ], "initial_identifier": 0, "max_configure": 3, "max_terminate": 2, "options": [ { "data": [ 5, 220 ], "type": 1 } ] } } }, "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": "ppp-lcp-option-negotiation-automaton", "state": "not_observed", "value": { "action_counts": { "irc": 2, "sca": 1, "scj": 0, "scn": 0, "scr": 1, "ser": 0, "sta": 0, "str": 0, "tld": 0, "tlf": 0, "tls": 1, "tlu": 1, "zrc": 0 }, "claim_matches": true, "discarded_invalid_responses": 0, "latest_request_identifier_trace": [ -1, 0, 0, 0 ], "layer_up_notifications": 1, "restart_counter_trace": [ 0, 2, 2, 3 ], "restart_timer_running": false, "state_code": 9, "state_code_trace": [ 1, 6, 8, 9 ], "statistic": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }