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.
Point assignments do not alter weak jump
Statement refuted
Assume the Axiom of Countable Choice. The assertion that a pointwise value assigned on a shock plane determines its one-sided trace or weak jump is false. Let , let and be open, let be open and convex, and let for . Let be a unit vector, let , put , and set . Suppose is measurable, has piecewise side fields with extensions to the interface, and . Let be any measurable field that agrees with off . Then and are locally integrable and define the same regular distributions as and ; their distributional conservation residuals are equal. For every convex and compatible with whose compositions are locally integrable, the corresponding compositions for are locally integrable and have the same regular distributions and entropy residual. The two fields have the same one-sided traces and jump. In particular, assigning a third state on the shock plane does not change its weak jump condition.
Statement references
Facts & Assumptions
Given: Countable Choice; the spacetime interface, state domain, locally integrable field, side regularity, and measurable reassignment in the Statement.
Every affine hyperplane of , and hence every proper linear subspace, is Lebesgue null: under Countable Choice, every affine hyperplane in Euclidean space is Lebesgue null, including every subset of it.
Planar shocks and piecewise smooth traces: the side traces are limits of the restrictions from the open sides; assigned values on the interface are not part of either trace.
Distributional systems and entropy flux pairs: locally integrable fields and their locally integrable entropy compositions define regular distributions through integration against test functions.
The Axiom of Countable Choice (): Countable Choice is the explicit hypothesis in [F1].
The reassignment is measurable and takes finite values in on .
Proof
In spacetime , the equation defines an affine hyperplane because its normal is nonzero, as . Therefore [F1] gives .
The original and modified fields agree off , so their difference is supported on a Lebesgue-null set. They are measurable and locally integrable; for every compactly supported test, the integral of their difference times the test is zero. The same reasoning applies to each flux composition and, whenever defined, each entropy and entropy-flux composition, since the compositions also differ only on . By [F3] all corresponding regular distributions and their distributional derivatives therefore agree.
The two fields coincide on each open side, so their one-sided limits at every interface point coincide. By [F2], the assigned values on do not enter the traces; hence the jump and any Rankine–Hugoniot or entropy jump coefficient computed from those traces are unchanged.