How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Thermal joins force a common mathematical energy orientation
Statement
Let a family of simple domains satisfy Forward-sector hypotheses for a simple state domain, and suppose every pair has an admitted simple thermal join satisfying T1 and T2 of Thermal joins and conditional contact hypotheses. Then the fixed-work orientation signs from Forward orientation and the Lipschitz boundary graph agree throughout the family. One common affine proof-coordinate convention , , therefore makes each fixed-work accessibility order increase with and preserves the energy-sum formula for joins. This is a mathematical coordinate convention; it does not change a physical energy quantity or assert a sign of a measured temperature.
Facts & Assumptions
Forward-sector hypotheses for a simple state domain: the component charts are open, represented states have their positive type weights, and the relation is composition-consistent and transitive.
Thermal joins and conditional contact hypotheses: T1 sends every admissible split to its join; T2 supplies, for each join state, at least one admissible split accessible in both directions to that join state, at the same summed energy and work coordinates.
Forward orientation and the Lipschitz boundary graph: each component domain has a constant sign with fixed-work comparison equivalent to .
Spectator cancellation without comparison completeness: any finite common spectator cancels when the two bases have equal mass; its mass need not equal the base mass.
Proof
Given: [A1], [A2], [F1], and [F2].
Suppose two component signs are opposed. Choose a join state and a reversible split by T2 in [A2]. Write and . Openness in [A1] permits a sufficiently small nonzero with and in their respective charts. Choose the sign of so ; opposed signs imply . Thus [F1] gives and . These pairs have the same summed energy and work coordinates and the same represented aggregate composition and mass.
If , consistency with gives . Cancel the common represented spectator by [F2] to get , contrary to step 1.1. But T1 gives , and the chosen T2 split gives , so transitivity produces exactly this forbidden reverse comparison. Opposed signs are impossible. Every pair has an admitted join, hence one common sign works for the whole family. The affine change preserves openness and convexity and sends to ; its positive orientation describes the same accessibility relation. No physical energy, unit or calibration premise is redefined.