Scope
Chapter “The admissibility frontier”, section “the hydrodynamic cone has poles”. This is assertion 5 of 9 in that section.
Expanded claim page · assertion 5 of 9
the hydrodynamic cone has poles
ConditionalBuilder
Works after a named field, coefficient, boundary condition or control is supplied. constructs a model, mechanism, calculation, protocol or intervention.
Exact assertion
The first local derivative test now closes too. A triangular determinant-one change of the internal fields includes both a time derivative and a spatial Laplacian, has a finite polynomial inverse and acts with opposite momentum on the two legs of the source bilinear. Transforming both couplings and the kernel leaves the full Gaussian response unchanged across five frequency samples to within one part in one hundred trillion. Physical poles, residues, the spectral matrix and its common-temperature KMS image survive. The open boundary is no longer generic derivative-coordinate choice; it is the nonlinear Ward-complete Schwinger–Keldysh improvement and contact structure plus microscopic matching.
What this commits us to
The construction is admitted only after the named additional input is supplied. The page records the dependency instead of hiding it inside the conclusion.
Logical anatomy
Evidence posture
Identify the named external input and verify that the construction follows after it is supplied.
Research move
constructs a model, mechanism, calculation, protocol or intervention.
Verification route
- Recover the declared objects and assumptions from the controlling documents.
- Check the calculation, construction, obstruction or stopping rule on those same objects.
- Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
- Apply the status rule and retain every named external dependency.
What would move or defeat this claim
Show that the named input is inconsistent, insufficient, unavailable, or fails to imply the claimed construction.
Source map
Controlling documents
- admissibility 104 relaxation auxiliary gaussian kms completionOpen controlling document →
- admissibility 103 causal stable hydrodynamic relaxation wedgeOpen controlling document →
- admissibility 102 nonlinear stochastic frame and noise induced driftOpen controlling document →
- admissibility 101 gaussian schwinger keldysh kms completionOpen controlling document →
- admissibility 100 local derivative hydrodynamic frame invarianceOpen controlling document →
- admissibility 98 gaussian hydrodynamic source frame invarianceOpen controlling document →
- admissibility 97 hydrodynamic pole residue response ledgerOpen controlling document →
- hydrodynamic stress map can have local rank threeOpen controlling document →
- fixed temperature kms herglotz schur sewingOpen controlling document →