Tools
trace_round_trip
Model a Multi-Router Round Trip · Risk: read
Trace an explicit IPv4 forward and reverse transit path across up to eight routers using exact saved snapshot IDs. Shows per-hop firewall/routing evidence, declared asymmetry and snapshot provenance. All devices are authorized before snapshot lookup. Static no-NAT scope: NAT, dynamic routing, incomplete evidence and unmodelled constructs stop with UNKNOWN. Freshness/skew checks are enforced. No network requests or router writes. MODELLED never means live connectivity; the return leg assumes established conntrack and a replying host.
| Parameter | Required | Definition |
|---|---|---|
snapshots | Yes | {"minItems":1,"maxItems":8,"type":"array","items":{"type":"object","properties":{"device":{"type":"string","minLength":1,"maxLength":128},"id":{"type":"string","minLength":1,"maxLength":128}},"required":["device","id"],"additionalProperties":false}} |
forward | Yes | {"minItems":1,"maxItems":8,"type":"array","items":{"type":"object","properties":{"device":{"type":"string","minLength":1,"maxLength":128},"ingress":{"type":"string","minLength":1,"maxLength":128},"egress":{"type":"string","minLength":1,"maxLength":128}},"required":["device","ingress","egress"],"additionalProperties":false}} |
reverse | Yes | {"minItems":1,"maxItems":8,"type":"array","items":{"type":"object","properties":{"device":{"type":"string","minLength":1,"maxLength":128},"ingress":{"type":"string","minLength":1,"maxLength":128},"egress":{"type":"string","minLength":1,"maxLength":128}},"required":["device","ingress","egress"],"additionalProperties":false}} |
packet | Yes | {"type":"object","properties":{"srcAddress":{"type":"string","format":"ipv4","pattern":"^(?:(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])\\.){3}(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])$"},"dstAddress":{"type":"string","format":"ipv4","pattern":"^(?:(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])\\.){3}(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])$"},"protocol":{"default":"tcp","type":"string","enum":["tcp","udp","icmp"]},"srcPort":{"type":"integer","minimum":1,"maximum":65535},"dstPort":{"type":"integer","minimum":1,"maximum":65535}},"required":["srcAddress","dstAddress","protocol"],"additionalProperties":false} |
maxAgeSeconds | Yes | {"default":900,"type":"integer","minimum":1,"maximum":86400} |
maxSkewSeconds | Yes | {"default":120,"type":"integer","minimum":0,"maximum":3600} |