Prüft behauptete TTL-Ausgangsstapel und TTL-bedingte Weitergabeentscheidung eine...

{ "body": { "artifact": { "cases": [ { "claimed_outgoing": { "forwarded": true, "packet": { "ip_ttl": 39, "labels": [] } }, "incoming": { "ip_ttl": 64, "labels": [ { "model": "uniform", "ttl": 12 }, { "model": "pipe", "ttl": 90 }, { "model": "uniform", "ttl": 40 } ] }, "push_inner_first": [], "route": "php", "termination_pops": 2 } ], "claims": { "cases": 1, "forwarded_cases": 1, "labels_pushed": 0, "php_pops": 1, "short_pipe_php_preservations": 0, "termination_pops": 2, "ttl_dropped_cases": 0, "uniform_php_copies": 1 } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC3443 §§2.3,3.4–3.6: sequential pre-routing tunnel Pops propagate computed incoming TTL to the next popped label; Uniform termination takes popped TTL, Pipe/ShortPipe takes exposed TTL. One routed-hop decrement; strict positive outgoing TTL check. No extra incoming-TTL check.", "Uniform PHP copies outgoingTTL to exposed header; ShortPipe PHP preserves exposed TTL without checking it, but MUST still check popped-label outgoingTTL. Pipe PHP is outside specified model and unknown. Uniform pushes copy immediately inner TTL, Pipe/ShortPipe pushes use explicit positive configured TTL. All tunnel models belong to ONE hierarchical TTL rule, not separate services.", "Decoded abstract IP/MPLS TTL header stack, outermost first, explicit route and inner-to-outer push order. Labels/routes/tunnel-type signalling/QoS/addresses, wire bytes, ICMP responses, RFC extensions, compensated decrement>1 and actual network forwarding are excluded. Swap keeps the routed LSP model; label-value swap not represented. Maximum128independent hops/16labels; operator TTLs1..255.", "Only bounded aggregate counters/booleans output; no supplied/outgoing header TTLs, stack objects, caller claims, contact or exception values. Full claimed outgoing stacks compared by structure/values independent of JSON key order; exact discrete comparison rejects fractional TTL claims." ], "module": "mpls-hierarchical-tunnel-ttl-propagation", "state": "not_observed", "value": { "cases": 1, "claim_mismatches": 0, "claims_match": true, "forwarded_cases": 1, "labels_pushed": 0, "outgoing_claims_match": true, "php_pops": 1, "short_pipe_php_preservations": 0, "termination_pops": 2, "ttl_dropped_cases": 0, "uniform_php_copies": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }