Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicable
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.

Boundary data, regularity limits and open scopes of the continuum page, and the model-versus-nature reading

Physical scope

Scope audit of the continuum page: the ideal boundary data used by its boundary-value and evolution results (periodic cell, fixed ends, whole line, and the no-slip condition of the channel example), the actual pointwise applicability limits of the smoothness and positive-Jacobian hypotheses of the finite-motion transport and balance branch, its separately adopted exclusion of material interfaces and its theorem-specific boundary regularity, the separately adopted reference-coordinate linear elastic balance without a finite-motion requirement, the validity regimes of the constitutive branches and the separate one-dimensional string model, the open specialist scopes deliberately not claimed (general compressible entropy systems, rough walls and boundary layers, nonlinear constitutive PDEs, turbulence closure, all-time three-dimensional regularity), and the model-versus-nature status of every result on the page. The remark asserts no new physical claim, no measurement and no theorem.

Remarks

Depends on

Dependency tree · 2 levels

Sources