E.17.2:5.1 - Four views of a processing plant

Exact plant Plant_X : U.System is the EntityOfConcern of four separately identified epistemes.

• E1 states transformations, capabilities, material-flow effects, and functional boundaries. r_functional resolves P_functional; E1 conforms to that P and is a functional U.View.
• E2 states claims about exact admitted method PlantOperation, exact A.19.SPR operational-state structure PlantRunState, and exact E.18 transformation-flow structure PlantRunFlow; its order, failure, and recovery claims designate the exact transition conditions and flow relations in those structures. It conforms to P_procedural; it is not a method description because its EntityOfConcern is the plant. No safety-bearing claim or named reliance is present in this case, so no safety-analysis, A.10, or B.3 branch is opened.
• E3 states that PumpUnit-3 counts as local kind CoolingCirculatorSystemRole in the plant slice through a separate C.3.2 judgment over the exact candidate, kind, KindSignature edition, and slice; that claim needs no assignment. E3 separately states any obtaining assignments, capabilities, transformations, and governed responsibility structures that are current. It conforms to P_allocation; neither E3 nor P_allocation makes the classification criterion true or creates an assignment or responsibility relation.
• E4 states constituent equipment holons, dependency structure, pipes, interfaces, substitutability, and change policy. It conforms to P_module; the diagram rendering E4 is published in remains separate.

The four conformance occurrences make E1-E4 views. Their shared holon and common local declaration do not establish any cross-view realization or consistency relation. Those claims are tested separately.