AxeCap

Plants run on engineering drawings that only exist as scans, so “what is cut off if valve V-104 is shut?” is answered by a person reading paper. Drawing Lazarus reads a scanned P&ID into a graph of symbols, types and connections, checks its own work with a deterministic verifier that has no model in the loop, re-inspects what the verifier flags, and hands whatever is still doubtful to a person. You can then close valves on the drawing and see what is cut off, and review the flagged items in the browser without any API call. On six held-out sheets it finds 84% of symbols and types 94% of those correctly. On three hand-labelled tiles it recovers 84% of links, against 71% for a single Muse Spark call that is handed the right symbols. It is connectivity analysis, not hydraulics, and it is rougher on dense real scans, which the demo shows as it comes out.