Prüft die behauptete ECE-Bitfolge ausgesendeter Bestätigungen aus einer vollstän...

{ "body": { "artifact": { "claimed_ece": [ false, false, true, true ], "claims": { "acknowledgments": 4, "ce_packets": 1, "cwr_packets": 0, "data_packets": 3, "ece_acknowledgments": 2, "final_echo_pending": true }, "ecn_negotiated": true, "events": [ { "ce": false, "cwr": false, "op": "data" }, { "op": "ack" }, { "op": "ack" }, { "ce": true, "cwr": false, "op": "data" }, { "op": "ack" }, { "ce": false, "cwr": false, "op": "data" }, { "op": "ack" } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC3168 September2001 Sections6.1.3/6.1.1: classical negotiated ECN receiver sets ECE after CE data and continues all ACK echoes until CWR; subsequent CE re-arms. Own chronological receiver automaton; no sender congestion-window formula or networking SDK.", "Closed artifact premises: ECN successfully negotiated; each data record denotes newly accepted in-window data and each ack denotes an actually selected ACK emission. Complete record order is supplied. Delayed/repeated ACK schedules are operands, no timing/receive-window/handshake inference, no actual network-state claim.", "256records maximum. Simultaneous CE+CWR data is outside this closed profile and returns wholeunknown; no arbitrary precedence choice is attributed to RFC3168. Out-of-window/retransmitted records, AccECN and later modified profiles are not modeled. An unsupported negotiation premise is wholeunknown.", "All asserted ACK bits are checked in order, including missing/extra bits; typed equality exact. All aggregate count/bool claims checked exactly, no epsilon for fractional counters. ACKs do not clear the echo state. CWR without prior CE is allowed and leaves it clear.", "Only bounded counts and match/statebool are returned. No packet contents, addresses, sequence identifiers, caller literals, claimed bit vectors or exceptions are output. This is formal classical receiver-history correspondence, no security/network-quality verdict or actual sender response." ], "module": "tcp-classic-ecn-receiver-echo-cwr-history", "state": "not_observed", "value": { "acknowledgments": 4, "ce_packets": 1, "claim_mismatches": 0, "claims_match": true, "cwr_packets": 0, "data_packets": 3, "ece_acknowledgments": 2, "echo_claim_matches": true, "final_echo_pending": true }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }