Prüft behauptete Kontrollreaktionen unabhängiger etablierter TCP-Kontexte auf RS...

{ "body": { "artifact": { "cases": [ { "claimed_action": "reset", "kind": "rst", "rcv_nxt": 4294967294, "rcv_wnd": 4, "seg_seq": 4294967294 }, { "claimed_action": "challenge_ack", "kind": "rst", "rcv_nxt": 4294967294, "rcv_wnd": 4, "seg_seq": 0 }, { "claimed_action": "discard", "kind": "rst", "rcv_nxt": 4294967294, "rcv_wnd": 4, "seg_seq": 2 } ], "claims": { "ack_records": 0, "cases": 3, "challenge_ack_requests": 1, "continue_ack_records": 0, "reset_requests": 1, "rst_records": 3, "silent_discards": 1, "syn_records": 0 }, "established": true, "rfc5961_profile": true } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC5961August2010 Sections3.2/4.2/5.2 closed ESTABLISHED input gates, allthree selected mitigations enabled: RST exactRCV.NXT reset, otherinwindow challenge/outside discard; SYN challenge irrespectiveSEQ; ACK accepted only inside inclusive SND.UNA−MAX.SND.WND..SND.NXT. Own wrap-aware arithmetic, no TCP/socket/genericFSM SDK.", "128INDEPENDENT pre-throttle control-gate snapshots, NOT evolving connectiontrace or actualsocket behavior. Abstract uncombined RST/SYN or ordinaryACK classes; ACK source segmentsequence is explicitly prevalidated, mitigationenabled and ESTABLISHED are premises. No checksum/IP/payload/reassembly/FIN/CWND/RTO analysis or actual wireACKcount claimed.", "Window0..65535*2^14, senderflight modular0..MAX.SND.WND ensures narrow unambiguous ACKinterval. Halfspace-antipodal comparison operands outside declared serial profile wholeunknown. RSTexactRCV.NXT reset includingzero receivewindow; upperwindow endpoint excluded. SYNSEQ is deliberately not used forgatechoice.", "Counts represent normative response REQUESTS before optional RFC5961Section7 challengeACK throttling; no limiterpolicy, networkattacker identification, security recommendation or resilience verdict. continue_ack only passes this ACK gate, not completeTCPsegment admission. Future state transitions are outside buyer task.", "Claimed action literals checked exactly and neverechoed. Only bounded counts/matchbool, no sequence/ACK/window/sourceIDs, claimedpayloads or exceptions. Phone-shaped numbers remain internal, fractional counterclaims cannotpass by epsilon." ], "module": "tcp-rfc5961-established-control-gate-claims", "state": "not_observed", "value": { "ack_records": 0, "action_claim_matches": true, "cases": 3, "challenge_ack_requests": 1, "claim_mismatches": 0, "claims_match": true, "continue_ack_records": 0, "reset_requests": 1, "rst_records": 3, "silent_discards": 1, "syn_records": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }