Searching protocol for "boundary-report"
Map your formal verification landscape.
Validate fire perimeters and map boundaries.