physics.fluid.wave_celerity

Three distinct suites: educational examples on the calculator page, this legacy regression count (17/17 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.0.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-26.o2-o3. Calculation version 1.0.0. CVP 1.0.0-proposed. 4/4 golden · 10/10 CVP boundary · 11/11 invalid · 1/1 property · 1/1 metamorphic · 8/8 O3 · 2/2 cross-interface · 5/5 CVP contract. digest f30a3f84b3d2. O2: Korteweg–Hall c=√[(K/ρ)/(1+(K D)/(E e))] vs a separate-module identity (≤2 ULP). Not Joukowsky Δp, not Darcy, not minor-loss K, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated wave-celerity vectors. Not catalog K, not pipe-entrance geometry, not sudden expansion (v1−v2)², not Darcy, and not Q=Av.

• Golden (oracle-backed) 4 / 4
• CVP boundary 10 / 10
• Invalid input 11 / 11
• Property 1 / 1
• Metamorphic 1 / 1
• O3 high-precision 8 / 8
• Cross-interface 2 / 2
• CVP contract 5 / 5
• Interfaces PASS · UI (SSR) / REST / MCP
• Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
• Verified scope c = √[(K/ρ)/(1+(K D)/(E e))] (Korteweg–Hall) with bulk and Young's solves; + O3 mpmath tabulated c.
• Assurance Engineering
• Deferred Not Joukowsky Δp, not Darcy, not minor-loss K, not Poisson restraint ψ, and not Q=Av.

• release artifacts aligned PASS
• schema output required declared PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• rest success payload validates schema PASS

Fingerprint sha256:dfcffb8e60b5a388665e4e0f26e0d90f8eeb99ee7b25e345de0f1e39e98710af

Input schema sha256:170f5f6153b30b6c2ac8890c7d6a80a829c63648e01a33577749fcbdb3e956e1 · Output schema sha256:bf10f686d6e3d6fcf12c21db54d403315ed02b988a7d91539fd42536bf19218a · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Tool

wave-celerity

Engine

wave-celerity

Engine build

2026-09-17

Evidence core

2026-09-17T09:45:11.688Z

Rendered

2026-11-10T05:18:41.948Z

Last reviewed

—

Assumptions

• Korteweg–Hall wave celerity: c = √[(K/ρ)/(1+(K D)/(E e))]; default ρ=1000 kg/m³; thin wall; ψ=1
• K is fluid bulk modulus, E is wall Young’s modulus; not Joukowsky Δp=ρcΔv
• Not Darcy f, not minor-loss K, not Q=Av, not Y=(F/A)/(ΔL/L0)

Limitations

• Korteweg–Hall wave celerity: c = √[(K/ρ)/(1+(K D)/(E e))]; default ρ=1000 kg/m³; thin wall; ψ=1
• K is fluid bulk modulus, E is wall Young’s modulus; not Joukowsky Δp=ρcΔv
• Not Darcy f, not minor-loss K, not Q=Av, not Y=(F/A)/(ΔL/L0)