A.15.1:6.3 - Thermodynamic cycle without a whole-rig performer shortcut

Carnot_Cycle_Run_2025-08-09T1300_1306 is a candidate Work designator, and Carnot_Cycle_Operation@ThermoLab is the proposed enacted Method. A state-plane trace can support thermodynamic state and Transformation claims, while a declared ThermoWorkOccursWithinRigBoundary@ThermoLab relation can locate an independently admitted Work occurrence inside LabRig_7.

The current fixture admits LabRig_7 as a System and supports its containment and thermodynamic participation, but it does not independently declare a local agential kind for the rig whole, classify the rig under it, establish an obtaining assignment, or supply evidence that the rig whole satisfies such a criterion for the proposed cycle action. Do not invent whole-rig initiation, redirection, or stop facts. Recover the exact human operator, controller runtime, or coordinated team, its A.13 core, and the independently grounded occurrence, Method, extent, and containment facts before admitting the candidate as performed Work. Only after admission may a precise assignment-bound claim add F.6.

Until then, retain the supported System functioning, thermodynamic change, Method proposal, state-plane representation, and evidence claims. Lower only the unsupported Agent, performer, U.Work, and F.6 claims. A containing System, controlled apparatus, MethodDescription, or trace does not perform by being the locus or evidence of the cycle.