R1–R39

Formation and operational development of the Formal Core

Development from the first numbered precision revision to the consolidated R39 Formal Core milestone.

Principal developments

• Carnot was established as the exact two-isothermal special case within the Clausius reversible-cycle parent framework, which also covers reversible piecewise-isothermal and continuously non-isothermal cycles.
• The benchmark problem, configured architecture, algebraic solution and qualified benchmark cycle were formally separated. An equality root was therefore no longer treated as proof of admissibility, reversibility or constructability.
• Discrete heat–temperature sums and the continuous Clausius integral were assigned distinct representation domains. Cycle closure, admissibility, internal feasibility, uniqueness and benchmark qualification became explicit additional checks.
• The eleven-step workflow was consolidated at R39, ordering boundary definition, data, architecture and closure conditions, constraint solving, domain and admissibility checks, performance evaluation and qualified reporting.