← Examples

DEXPI P&ID Specification 1.4 · VERIFIED FIXTURE

Minimal cooling-water process and instrumentation loop

Loading verified model…

WHAT THIS CASE PROVES

The same terminal-level topology kernel carries process piping and an instrumentation loop without reinterpreting electrical source or load fields.

Close TV-101. The return boundary becomes unreachable while the TT–TIC–TV signal loop remains structurally complete.

THE MODEL RECORD

Touch the record. The drawing answers.

Components and wires are the same objects shown above. Hover, focus, or select either view.

Components

IDTypeTerminalsAttributes

Wires / nets

WireConnected terminals

QUERIES FROM THIS MODEL

What this fixture can answer.

RUNNING NOW · SAME FIXTURE

Acceptance assertions

Evaluating the engine against this page’s expect record…

    SOURCE

    DEXPI P&ID 1.4 · PipingNetworkSegment · InstrumentationLoopFunction.

    Open the canonical fixture ↗