What this produces
Parsed rule table, reachability witnesses, changed-decision witnesses and an HTML analysis.
Input: One access list and an optional baseline using the documented explicit-address subset.
Supported scope: No device connection, traffic scan or configuration changes. Objects, NAT and stateful behavior are outside this model.
Build your result
Use the synthetic example or load your own supported files. Inputs stay in this browser. The first run downloads the processing engine. Keep your original files.
Loading input template…
Your generated files
| File | Bytes | SHA-256 prefix |
|---|
Report and checksums
Hosted processing
Paid hosted orders are unavailable. No payment is requested. The browser workflow above is free; review its supported limits before relying on an export.