Prüft einen expliziten CSeq-Konstruktions- und Empfangsprojektionsplan über bere...

{ "body": { "artifact": { "claimed_steps": [ { "causal_reference_matches": true, "dialog_index": 0, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 20, "sequence_rule_matches": true }, { "causal_reference_matches": true, "dialog_index": 1, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 20, "sequence_rule_matches": true }, { "causal_reference_matches": true, "dialog_index": 0, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 25, "sequence_rule_matches": true }, { "causal_reference_matches": true, "dialog_index": 1, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 25, "sequence_rule_matches": true }, { "causal_reference_matches": true, "dialog_index": 0, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 25, "sequence_rule_matches": true }, { "causal_reference_matches": true, "dialog_index": 1, "method_matches": true, "next_local_sequence": 11, "next_remote_sequence": 25, "sequence_rule_matches": true } ], "claims": { "causal_mismatches": 0, "dialog_contexts": 2, "dialog_misses": 0, "exception_requests": 2, "exception_sequence_violations": 0, "local_advances": 2, "local_sequence_violations": 0, "lower_remote_rejections": 0, "method_mismatches": 0, "regular_requests": 4, "remote_advances": 2, "remote_gap_acceptances": 2, "requests": 6 }, "dialogs": [ { "call_id": 10, "local_sequence": 10, "local_tag": 1, "remote_sequence": 20, "remote_tag": 2 }, { "call_id": 10, "local_sequence": 10, "local_tag": 1, "remote_sequence": 20, "remote_tag": 3 } ], "requests": [ { "call_id": 10, "cseq": 11, "cseq_method": "INVITE", "direction": "local", "from_tag": 1, "method": "INVITE", "related_request_index": null, "to_tag": 2 }, { "call_id": 10, "cseq": 11, "cseq_method": "INVITE", "direction": "local", "from_tag": 1, "method": "INVITE", "related_request_index": null, "to_tag": 3 }, { "call_id": 10, "cseq": 25, "cseq_method": "INVITE", "direction": "remote", "from_tag": 2, "method": "INVITE", "related_request_index": null, "to_tag": 1 }, { "call_id": 10, "cseq": 25, "cseq_method": "INVITE", "direction": "remote", "from_tag": 3, "method": "INVITE", "related_request_index": null, "to_tag": 1 }, { "call_id": 10, "cseq": 11, "cseq_method": "ACK", "direction": "local", "from_tag": 1, "method": "ACK", "related_request_index": 0, "to_tag": 2 }, { "call_id": 10, "cseq": 11, "cseq_method": "CANCEL", "direction": "local", "from_tag": 1, "method": "CANCEL", "related_request_index": 1, "to_tag": 3 } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC3261 §§12,12.2.1.1,12.2.2: full(Call-ID,local-tag,remote-tag) dialog identity with From/To reversal by direction, separate sequence registers, contiguous local increments and remote gaps; §§9.1,13.2.2.4,17.1.1.3 ACK/CANCEL causal sequence reuse. No shared counter across forks or directions.", "Closed sequence-projection proposal plan over already supplied live dialog contexts. Only matching-method valid regular proposals commit a sequence update; invalid proposals leave the projection unchanged. ACK/CANCEL require an earlier committed same-direction same-dialog request, ACK specifically INVITE; neither advances the sequence. No initial untagged INVITE/fork creation or actual message admission asserted.", "Remote fresh ordinary equal-CSeq and methods other than INVITE/BYE are unknown, since transaction duplicate/method processing is outside this profile. ACK status/timing, CANCEL eligibility/final-response timing, Via/branch/URI/route matching, transactions/timers, authentication, target refresh, BYE dialog lifetime and live network behavior are explicitly not evaluated. Sequence values0..2^31-1; no wraparound. Unmatched full dialog tuple yields only a known miss with null projected fields, no481/recreation assertion.", "Maximum32contexts/128proposals. Ordinal IDs/tags are opaque caller model tokens. Only bounded counts/booleans leave the adapter, never IDs/tags/CSeq/claimed steps/raw contact/exception text. All discrete claims exact, including fractions." ], "module": "sip-dialog-directional-cseq-causal-binding", "state": "not_observed", "value": { "causal_mismatches": 0, "claim_mismatches": 0, "claims_match": true, "dialog_contexts": 2, "dialog_misses": 0, "exception_requests": 2, "exception_sequence_violations": 0, "local_advances": 2, "local_sequence_violations": 0, "lower_remote_rejections": 0, "method_mismatches": 0, "projection_claims_match": true, "regular_requests": 4, "remote_advances": 2, "remote_gap_acceptances": 2, "requests": 6 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }