An offline TLS1.3 record-layer fixture author needs exact independent send/read ...

{ "body": { "artifact": { "tls_keyupdate": { "claim": 2, "events": [ [ 0, 1 ], [ 2 ], [ 1, 0 ], [ 2 ] ], "pending_response": false, "receive_generation": 0, "receive_sequence": 0, "received_finished": true, "send_generation": 0, "send_sequence": 0, "sent_finished": true } } }, "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": "tls13-record-keyupdate-epoch-obligations", "state": "not_observed", "value": { "alive": true, "application_records_received": 0, "application_records_sent": 2, "claim_matches": true, "history": [ { "alert": 0, "alive": true, "event": 0, "issue": 0, "op": 0, "pending_response": false, "receive_generation": 0, "receive_sequence": 0, "received_finished": true, "send_generation": 1, "send_sequence": 0, "sent_finished": true }, { "alert": 0, "alive": true, "event": 1, "issue": 0, "op": 2, "pending_response": false, "receive_generation": 0, "receive_sequence": 0, "received_finished": true, "send_generation": 1, "send_sequence": 1, "sent_finished": true }, { "alert": 0, "alive": true, "event": 2, "issue": 0, "op": 1, "pending_response": false, "receive_generation": 1, "receive_sequence": 0, "received_finished": true, "send_generation": 1, "send_sequence": 1, "sent_finished": true }, { "alert": 0, "alive": true, "event": 3, "issue": 0, "op": 2, "pending_response": false, "receive_generation": 1, "receive_sequence": 0, "received_finished": true, "send_generation": 1, "send_sequence": 2, "sent_finished": true } ], "key_generations_advanced": 2, "obligation_violations": 0, "pending_response": false, "receive_generation": 1, "receive_sequence": 0, "received_finished": true, "records": [ { "event": 0, "fields": [ 0, 0, 0, 0, 1 ] }, { "event": 1, "fields": [ 0, 1, 1, 0, -1 ] }, { "event": 2, "fields": [ 1, 0, 0, 0, 0 ] }, { "event": 3, "fields": [ 0, 1, 1, 1, -1 ] } ], "response_keyupdates_sent": 0, "send_generation": 1, "send_sequence": 2, "sent_finished": true, "statistic": 2, "termination_alert": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }