physics.fluid.side_weir

Three distinct suites: educational examples on the calculator page, this legacy regression count (6/6 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-10-28.meta-metrics-v2. Calculation version 1.0.0. CVP 1.0.0-proposed. 4/4 golden · 1/1 CVP boundary · 3/3 invalid · 1/1 property · 1/1 metamorphic · 8/8 O3 · 2/2 cross-interface · 6/6 CVP contract. digest 05f62a7a5c60. O2: Borghei 1999 side weir vs a separate-module identity (≤2 ULP). Not frontal thin-plate, not ogee Hd, not sluice, not Manning, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated side-weir vectors. Not frontal thin-plate, not ogee Hd, not sluice, not Manning, and not Q=Av.

• Golden (oracle-backed) 4 / 4
• CVP boundary 1 / 1
• Invalid input 3 / 3
• Property 1 / 1
• Metamorphic 1 / 1
• O3 high-precision 8 / 8
• Cross-interface 2 / 2
• CVP contract 6 / 6
• 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 Borghei 1999 side weir Q=(2/3) Cd L √(2g) (y1−p)^{3/2} with Cd=0.71−0.41 Fr₁−0.22(p/y1), + O3 mpmath tabulated Q.
• Assurance Engineering
• Deferred Not frontal thin-plate given Cd, not ogee Hd, not sluice, not Manning, not submerged y2, not Q=Av.

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

Fingerprint sha256:ac4201768c6839ddd256cfe0fd33a639fb3acf8b69a5d6379003b5a5fee21804

Input schema sha256:029d0480ebbc750a983b5fc05500bfadb6e4148f3688b42f8e01a7114fdffeb5 · Output schema sha256:51594d0e6c8fa928d2a11ecf5efa96036a11d18ce05ffdfdf1e9fd58af76e7e5 · 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

side-weir

Engine

side-weir

Engine build

2026-09-24

Evidence core

2026-09-24T02:12:38.088Z

Rendered

2026-11-10T05:18:41.979Z

Last reviewed

—

Assumptions

• Borghei 1999 sharp-crested side weir: Q=(2/3) C_d L √(2g) (y1−p)^{3/2}; C_d=0.71−0.41 Fr₁−0.22(p/y1); SI B, L, y1, p, Q1, Q; C_d is reported
• Rectangular channel; subcritical Fr₁∈[0.1, 0.9]; p/y1∈[0.1, 0.9]; y1>p; free lateral overflow; De Marchi-type C_d, not a given frontal C_d
• Not thin-plate frontal weir, not ogee Hd, not sluice a b √(2g y1), not Manning n, not Q=Av, not submerged y2

Limitations

• Borghei 1999 sharp-crested side weir: Q=(2/3) C_d L √(2g) (y1−p)^{3/2}; C_d=0.71−0.41 Fr₁−0.22(p/y1); SI B, L, y1, p, Q1, Q; C_d is reported
• Rectangular channel; subcritical Fr₁∈[0.1, 0.9]; p/y1∈[0.1, 0.9]; y1>p; free lateral overflow; De Marchi-type C_d, not a given frontal C_d
• Not thin-plate frontal weir, not ogee Hd, not sluice a b √(2g y1), not Manning n, not Q=Av, not submerged y2