alice-physics 2.2.0

# Atmosphere, ocean and environment (ENV) coverage of ALICE-Physics, against an
# external reference frame.
#
# What this table is: every capability that the standard references for the
# physical environment of a simulation expect, one [[item]] per capability, with
# what the crate has today. The reference frame: the U.S. Standard Atmosphere
# 1976 / ISO 2533; Stull, An Introduction to Boundary Layer Meteorology; Holton,
# An Introduction to Dynamic Meteorology; MIL-F-8785C and MIL-HDBK-1797 (gust and
# turbulence models); EN 1991-1-3 / 1991-1-4 and ASCE 7 (snow and wind actions);
# Dean-Dalrymple, Water Wave Mechanics; DNV-RP-C205 and Goda, Random Seas (sea
# states); Tessendorf, Simulating Ocean Water; the wind, water and terrain tools
# of Houdini and Unreal; the feature lists of WRF and SWAN; and standard
# benchmarks (ISA table values and the 11 km tropopause, the log-law wind
# profile, deep-water dispersion, Stokes second-order crest height, the JONSWAP
# significant wave height). The axes and items come from that frame, not from
# the modules that exist. The rows are written by hand.
#
# Here: the environment fields (atmosphere state, wind, gusts and turbulence,
# precipitation, sea surface, terrain) and the closed-form environmental laws and
# loads. A capability whose physics is solved elsewhere is not repeated:
#   - Navier-Stokes solvers, wall functions and Boussinesq buoyancy in a flow:
#     the CFD table (the log law of the CFD wall model is cited, not counted)
#   - floating bodies and fluid loads on bodies: the coupling table
#     (buoyancy zone COV-COUPLE-066 to 068, Froude-Krylov COV-COUPLE-069, heave and
#     pitch response COV-COUPLE-070, Morison COV-COUPLE-072, the lifting-surface
#     force on a rigid body COV-COUPLE-073, vortex-induced vibration
#     COV-COUPLE-020); the aerodynamics axis here splits COV-COUPLE-073 into the
#     individual laws
#   - speed of sound with altitude: one implementation with the acoustics table
#     (COV-ACOUS-013 is the acoustic row; the atmosphere rows here count it as
#     part of the standard atmosphere, there is no separate row)
#   - drag at orbital altitude and tides: the orbit table (COV-ORBIT-052,
#     COV-ORBIT-056); the spherical-planet ground and its gravity: COV-ORBIT-088
#     to 091
#   - material removal by erosion, hydraulic erosion with sediment and talus
#     relaxation: the fracture table (COV-FRACT-084 to 092); terrain here is the
#     height field, its analysis and the landscape processes not listed there
#   - wind on cloth and hair particles: the soft-body table (COV-SOFT-072, 073);
#     vehicle aerodynamics with wind and weather-dependent road grip: the
#     multibody table (COV-MBD-044, 046, 047); rotors:
#     COV-MBD-115 to 132; collision with a height field: COV-RIGID-066
#   - the constant "wind" force field (ForceField::Directional) is a force, not a
#     wind velocity, and is not counted
#
# Cryosphere axis (second wave): snowpack, glaciers and ice sheets, sea ice and
# avalanches. Freezing and melting as a solver is the heat-transfer table
# (enthalpy method COV-THERM-069, Stefan problems COV-THERM-098 / 099); frost
# penetration, frost heave and thaw settlement are the soil table
# (COV-GEOTECH-069 to 072 in docs/coverage/geotech.toml); granular flow as a
# particle or continuum solver is the particle and multiphase tables
# (COV-PART-069, COV-PART-119, COV-MULTIPHASE-058). Snow load on roofs, snowfall
# and icing of structures stay in the rows above (COV-ENV-065, 069, 070, 106,
# 107). Snow and ice friction presets are the materials table (COV-MAT-109).
#
# status (exactly one of):
#   implemented+oracle     implemented, and at least one non-ignored test checks
#                          it against an independent reference
#   implemented-no-oracle  implemented (or composed from existing parts), no such
#                          test
#   partial                implemented with a restriction that the source states;
#                          `limitation` quotes it, and the source carries a
#                          `LIMITATION(<id>)` comment at that place
#   missing                not implemented
#   out-of-scope           not a capability of this field (reason in `evidence`)
#
# This axis is separate from the test ignore reasons (`known defect: ...`,
# `src gap: ...`, `diagnostic`, `runtime`). A capability that exists with a
# recorded defect keeps its status and cites the known-defect test in
# `evidence`; it is not `missing`.
#
# keys: id (COV-ENV-NNN) / axis / item / source (book, chapter, standard or
# reference-implementation feature; no quoted text) / status / evidence
# (`src/...rs::symbol`, `tests/...rs::test_fn`) / oracle_candidate / limitation
# (verbatim quote of the source, required for `partial`).
#
# Reference values marked "参照値要確認" are to be checked against the original
# publication before any test uses them. Lines marked "(推測)" were judged from
# a search that found nothing and are to be confirmed. Chapter and section
# numbers of the sources have not been checked against the originals.
#
# Checked by scripts/coverage_check.py (tests: scripts/test_coverage_check.py).

[[item]]
id = "COV-ENV-001"
axis = "atmosphere"
item = "standard atmosphere troposphere (layer 0, 0-11 km): temperature with the 6.5 K/km lapse rate, pressure, density and speed of sound"
source = "U.S. Standard Atmosphere 1976 (layer 0); ISO 2533:1975 ISA"
status = "implemented+oracle"
evidence = "src/atmosphere.rs::at_geopotential_altitude / tests/analytic_atmosphere_isa1976.rs::table_rows_match_us_standard_atmosphere_1976 / tests/analytic_atmosphere_isa1976.rs::lapse_rate_is_6_5_kelvin_per_km_in_layer_0_and_zero_in_layer_1 / tests/analytic_atmosphere_isa1976.rs::speed_of_sound_matches_table 音速の高度分布は音響の表 COV-ACOUS-013 と同じ実装 (行は作らずここで数える)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-002"
axis = "atmosphere"
item = "standard atmosphere lower stratosphere (layer 1, 11-20 km): isothermal layer with exponential pressure decay"
source = "U.S. Standard Atmosphere 1976 (layer 1); ISO 2533"
status = "implemented+oracle"
evidence = "src/atmosphere.rs::at_geopotential_altitude / tests/analytic_atmosphere_isa1976.rs::stratosphere_scale_height_matches_closed_form / tests/analytic_atmosphere_isa1976.rs::layers_meet_continuously_at_the_tropopause"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-003"
axis = "atmosphere"
item = "geopotential vs geometric altitude conversion (H = r0 Z / (r0 + Z))"
source = "U.S. Standard Atmosphere 1976 (geopotential altitude)"
status = "implemented+oracle"
evidence = "src/atmosphere.rs::geopotential_altitude_m / tests/analytic_atmosphere_isa1976.rs::geopotential_conversion_matches_closed_form / tests/analytic_atmosphere_isa1976.rs::negative_geometric_altitudes_are_rejected_including_the_pole_of_the_conversion"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-004"
axis = "atmosphere"
item = "altitude outside the modelled range is an error, not a clamped value"
source = "ISO 2533 (validity range of the layer formulas)"
status = "implemented+oracle"
evidence = "src/atmosphere.rs::IsaError / tests/analytic_atmosphere_isa1976.rs::out_of_range_altitudes_are_errors_not_clamped"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-005"
axis = "atmosphere"
item = "standard atmosphere above 20 km to 86 km (layers 2-6 with positive and negative lapse rates, stratopause, mesosphere)"
source = "U.S. Standard Atmosphere 1976 (layers 2-6); ISO 2533"
status = "missing"
evidence = "src/atmosphere.rs 'layers above 20 km (with a positive lapse rate) and the table below sea level are not modelled'"
oracle_candidate = "32 km / 47 km / 51 km / 71 km の層境界値 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-006"
axis = "atmosphere"
item = "atmosphere below mean sea level (ISO 2533 extension to -2 km / -5 km)"
source = "ISO 2533 (negative altitudes); ICAO Doc 7488"
status = "missing"
evidence = "src/atmosphere.rs 'layers above 20 km (with a positive lapse rate) and the table below sea level are not modelled' 負の高度は IsaError で拒否 (tests/analytic_atmosphere_isa1976.rs::out_of_range_altitudes_are_errors_not_clamped)"
oracle_candidate = "-2 km の T・p (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-007"
axis = "atmosphere"
item = "thermosphere and exosphere density (86-1000 km, NRLMSISE-00 / Jacchia) for drag at orbital altitude"
source = "U.S. Standard Atmosphere 1976 (86-1000 km); NRLMSISE-00; Jacchia 1971"
status = "missing"
evidence = "大気の法則は 0-20 km のみ (src/atmosphere.rs::MAX_GEOPOTENTIAL_ALTITUDE_M) 軌道上の抗力の受け口は軌道の表 COV-ORBIT-052"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-008"
axis = "atmosphere"
item = "non-standard day: temperature offset (ISA + dT), hot / cold day profiles, user-specified sea-level pressure"
source = "ISO 2533; MIL-HDBK-310 (hot / cold atmospheres)"
status = "missing"
evidence = "定数は private な struct に固定 (src/atmosphere.rs::Constants)、呼び手が T0・p0 を変えられない"
oracle_candidate = "ISA+15 K の密度比 (状態方程式の閉形式)"
limitation = ""

[[item]]
id = "COV-ENV-009"
axis = "atmosphere"
item = "inverse relations: pressure altitude and density altitude from measured pressure / density"
source = "ICAO Doc 7488; Anderson, Introduction to Flight ch.3"
status = "missing"
evidence = "高度 → 状態の向きのみ (src/atmosphere.rs::at_geopotential_altitude) 逆関数は無い"
oracle_candidate = "at_geopotential_altitude と往復で恒等"
limitation = ""

[[item]]
id = "COV-ENV-010"
axis = "atmosphere"
item = "general hydrostatic integration dp/dz = -rho g for an arbitrary temperature profile T(z)"
source = "Holton, An Introduction to Dynamic Meteorology ch.1 (hypsometric equation); Wallace-Hobbs ch.3"
status = "missing"
evidence = "層ごとの閉形式のみ (src/atmosphere.rs::at_geopotential_altitude)"
oracle_candidate = "線形 lapse の閉形式と数値積分の突合"
limitation = ""

[[item]]
id = "COV-ENV-011"
axis = "atmosphere"
item = "configurable exponential / other-planet atmospheres (scale height, surface pressure; e.g. Mars, Titan)"
source = "Chamberlain-Hunten, Theory of Planetary Atmospheres; NASA Mars-GRAM"
status = "missing"
evidence = "地球の 1976 定数のみ (src/atmosphere.rs::Constants) スケールハイトの閉形式は test 側にだけある (tests/analytic_atmosphere_isa1976.rs::stratosphere_scale_height_matches_closed_form)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-012"
axis = "atmosphere"
item = "air viscosity and thermal conductivity vs temperature (Sutherland's law)"
source = "U.S. Standard Atmosphere 1976 (Sutherland coefficients); White, Viscous Fluid Flow ch.1"
status = "missing"
evidence = "grep 0 件 (sutherland / viscosity in atmosphere.rs)"
oracle_candidate = "273 K と 1000 K の μ (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-013"
axis = "atmosphere"
item = "altitude-dependent air density fed to aerodynamic loads (density from the atmosphere model into drag / lift / rotor)"
source = "Anderson, Introduction to Flight ch.3; Stevens-Lewis, Aircraft Control and Simulation ch.2"
status = "implemented-no-oracle"
evidence = "lift_drag は密度を引数に取る (src/lift_drag.rs::load) ので Isa1976 の密度を渡せば組める 風の zone は 1.225 の定数 (src/wind_zone.rs::WindZone)、tests/analytic_atmosphere_isa1976.rs::sea_level_density_matches_wind_zone_presets は海面値の一致だけで高度の組み合わせの test は無い"
oracle_candidate = "高度 5 km の滑空の終端速度が √(ρ0/ρ) 倍"
limitation = ""

[[item]]
id = "COV-ENV-014"
axis = "moist-air"
item = "saturation vapour pressure over water and ice (Magnus / Tetens, Goff-Gratch)"
source = "WMO-No. 8 Annex 4.B; Wallace-Hobbs, Atmospheric Science ch.3"
status = "missing"
evidence = "grep 0 件 (vapour / vapor / saturation in atmospheric sense)"
oracle_candidate = "100 °C で 101 325 Pa"
limitation = ""

[[item]]
id = "COV-ENV-015"
axis = "moist-air"
item = "humidity measures: relative humidity, mixing ratio, specific humidity, dew point"
source = "WMO-No. 8; Stull, Meteorology for Scientists and Engineers ch.4"
status = "missing"
evidence = "grep 0 件 (humidity は src/filament_db.rs の材料保管条件のみ)"
oracle_candidate = "露点の往復 (RH 100 % で T = Td)"
limitation = ""

[[item]]
id = "COV-ENV-016"
axis = "moist-air"
item = "virtual temperature and density of moist air"
source = "Wallace-Hobbs ch.3; Holton ch.1"
status = "missing"
evidence = "状態方程式は乾燥空気のみ (src/atmosphere.rs::at_geopotential_altitude)"
oracle_candidate = "乾燥空気で Tv = T"
limitation = ""

[[item]]
id = "COV-ENV-017"
axis = "moist-air"
item = "potential temperature and the dry adiabatic lapse rate g / c_p"
source = "Stull, An Introduction to Boundary Layer Meteorology ch.1; Holton ch.2"
status = "missing"
evidence = "grep 0 件 (potential temperature / adiabatic)"
oracle_candidate = "Γd = g/cp ≈ 9.8 K/km"
limitation = ""

[[item]]
id = "COV-ENV-018"
axis = "moist-air"
item = "saturated (moist) adiabatic lapse rate and the lifting condensation level"
source = "Wallace-Hobbs ch.3 (Espy, LCL); Bolton 1980"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "LCL ≈ 125 (T − Td) m (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-019"
axis = "moist-air"
item = "parcel theory: equivalent potential temperature, CAPE / CIN"
source = "Holton ch.2; Emanuel, Atmospheric Convection"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-020"
axis = "moist-air"
item = "static stability: Brunt-Vaisala frequency N^2"
source = "Holton ch.2; Stull BLM ch.5"
status = "missing"
evidence = "grep 0 件 (Brunt / Väisälä)"
oracle_candidate = "等温大気の N² = g²/(cp T)"
limitation = ""

[[item]]
id = "COV-ENV-021"
axis = "atmospheric-dynamics"
item = "pressure-gradient and Coriolis accelerations in a rotating Earth frame"
source = "Holton, An Introduction to Dynamic Meteorology ch.1-2"
status = "missing"
evidence = "grep 0 件 (coriolis)"
oracle_candidate = "慣性振動の周期 2π/f"
limitation = ""

[[item]]
id = "COV-ENV-022"
axis = "atmospheric-dynamics"
item = "geostrophic and gradient wind balance from a pressure field"
source = "Holton ch.3"
status = "missing"
evidence = "grep 0 件 (geostroph)"
oracle_candidate = "等圧線間隔からの地衡風の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-023"
axis = "atmospheric-dynamics"
item = "thermal wind relation (vertical shear from horizontal temperature gradient)"
source = "Holton ch.3"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-024"
axis = "atmospheric-dynamics"
item = "Ekman spiral of the atmospheric boundary layer"
source = "Holton ch.5; Stull BLM ch.8"
status = "missing"
evidence = "grep 0 件 (ekman)"
oracle_candidate = "Ekman 解の偏角 45°"
limitation = ""

[[item]]
id = "COV-ENV-025"
axis = "atmospheric-dynamics"
item = "mesoscale / global atmospheric model (primitive equations, nonhydrostatic dynamics core)"
source = "WRF ARW technical note (dynamics); Holton ch.13"
status = "missing"
evidence = "流れ solver は非圧縮の MAC 格子のみで大気の力学系は無い (流体は CFD の表) 分割しない: 子の行は大気の表 COV-ATMOS-001〜004, 009, 010 が受け持つ この行の status は子のうち最も実装の少ないものに合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-026"
axis = "boundary-layer"
item = "logarithmic wind profile u(z) = (u*/kappa) ln((z - d)/z0) with friction velocity, roughness length and displacement height"
source = "Stull, An Introduction to Boundary Layer Meteorology ch.9; EN 1991-1-4 sec.4.3"
status = "missing"
evidence = "対数則は CFD の壁関数 (src/cfd_solver.rs::log_law) のみで、大気の風速分布としての API は無い (別系統)"
oracle_candidate = "u(z2)/u(z1) = ln(z2/z0)/ln(z1/z0)"
limitation = ""

[[item]]
id = "COV-ENV-027"
axis = "boundary-layer"
item = "power-law wind profile u(z) = u_ref (z / z_ref)^alpha"
source = "Hellmann; IEC 61400-1 (normal wind profile); ASCE 7 ch.26"
status = "missing"
evidence = "grep 0 件 (power law は src/fatigue.rs と src/non_newtonian.rs のみ)"
oracle_candidate = "α = 0.2 の 10 m → 80 m の比"
limitation = ""

[[item]]
id = "COV-ENV-028"
axis = "boundary-layer"
item = "terrain categories and roughness lengths (open sea, open country, suburban, city) with exposure factors"
source = "EN 1991-1-4 Table 4.1; ASCE 7 exposure categories; Davenport roughness classification"
status = "missing"
evidence = "grep 0 件 (roughness は src/audio_physics.rs のみ)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-029"
axis = "boundary-layer"
item = "Monin-Obukhov similarity: Obukhov length and stability functions psi_m, psi_h"
source = "Stull BLM ch.9; Businger-Dyer"
status = "missing"
evidence = "grep 0 件 (monin / obukhov)"
oracle_candidate = "中立で対数則に一致"
limitation = ""

[[item]]
id = "COV-ENV-030"
axis = "boundary-layer"
item = "stability classification (bulk Richardson number, Pasquill-Gifford classes)"
source = "Stull BLM ch.5; Pasquill 1961"
status = "missing"
evidence = "grep 0 件 (richardson は固体と非ニュートンの文脈のみ)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-031"
axis = "boundary-layer"
item = "boundary-layer height and diurnal evolution (mixed layer, stable nocturnal layer)"
source = "Stull BLM ch.1, ch.11"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-032"
axis = "turbulence-gust"
item = "periodic gust: mean wind plus a sinusoidal gust of given amplitude and frequency"
source = "Houdini / Unreal wind (directional wind with gust); Hoblit, Gust Loads on Aircraft ch.1"
status = "partial"
evidence = "src/wind_zone.rs::instantaneous_wind_vector / tests/analytic_wind_zone_wiring.rs::wind_vector_at_quarter_period_adds_full_turbulence / tests/audit_wind_zone.rs::wind_gust_period_is_one_over_frequency / tests/audit_wind_zone.rs::wind_zero_turbulence_is_time_independent"
oracle_candidate = ""
limitation = "src/wind_zone.rs::instantaneous_wind_vector 'turbulence gust `turbulence · sin(2π · f · t)` is added along the same direction'"

[[item]]
id = "COV-ENV-033"
axis = "turbulence-gust"
item = "lateral and vertical gust components (gust not aligned with the mean wind)"
source = "MIL-F-8785C sec.3.7; IEC 61400-1 (three-component turbulence)"
status = "missing"
evidence = "src/wind_zone.rs::instantaneous_wind_vector は上書きを案内するが instantaneous_wind_vector は固有の method で差し替えの口は無い"
oracle_candidate = "横風成分の分散"
limitation = ""

[[item]]
id = "COV-ENV-034"
axis = "turbulence-gust"
item = "discrete gust shapes: 1-cosine gust, extreme operating gust, extreme direction change"
source = "MIL-F-8785C sec.3.7.2; CS-25.341; IEC 61400-1 (EOG / EDC)"
status = "missing"
evidence = "grep 0 件 (1-cosine / discrete gust)"
oracle_candidate = "1-cos の最大値と継続時間"
limitation = ""

[[item]]
id = "COV-ENV-035"
axis = "turbulence-gust"
item = "Dryden turbulence spectrum and its shaping filters"
source = "MIL-F-8785C sec.3.7.3; MIL-HDBK-1797"
status = "missing"
evidence = "src/wind_zone.rs 'full projected-area integration and streamwise-turbulence spectral models are future work'"
oracle_candidate = "生成系列の PSD と Dryden の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-036"
axis = "turbulence-gust"
item = "von Karman turbulence spectrum"
source = "MIL-F-8785C; MIL-HDBK-1797; ESDU 85020"
status = "missing"
evidence = "src/wind_zone.rs 'full projected-area integration and streamwise-turbulence spectral models are future work'"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-037"
axis = "turbulence-gust"
item = "Kaimal / Davenport spectra for wind engineering and wind turbines"
source = "IEC 61400-1 Annex C; Davenport 1961; Kaimal et al. 1972"
status = "missing"
evidence = "src/wind_zone.rs 'full projected-area integration and streamwise-turbulence spectral models are future work'"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-038"
axis = "turbulence-gust"
item = "turbulence intensity and integral length scales as functions of height and roughness"
source = "EN 1991-1-4 sec.4.4; ESDU 85020"
status = "missing"
evidence = "grep 0 件 (turbulence intensity)"
oracle_candidate = "Iv(z) = 1/ln(z/z0)"
limitation = ""

[[item]]
id = "COV-ENV-039"
axis = "turbulence-gust"
item = "stochastic wind time series synthesised from a spectrum (random-phase superposition, seeded and deterministic)"
source = "Shinozuka-Deodatis 1991; TurbSim user guide"
status = "missing"
evidence = "grep 0 件 波の成分の重ね合わせ (src/wave_ship.rs::free_surface_elevation) に相当する風の生成器は無い"
oracle_candidate = "生成系列の分散が m0 に一致"
limitation = ""

[[item]]
id = "COV-ENV-040"
axis = "turbulence-gust"
item = "spatially coherent 3-D turbulent wind field (coherence functions, Mann model)"
source = "Mann 1998; IEC 61400-1 Annex C; TurbSim"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-041"
axis = "turbulence-gust"
item = "gust factor and peak gust from mean wind (3-s gust, Durst curve)"
source = "ASCE 7 ch.26; Durst 1960; EN 1991-1-4 (peak velocity pressure)"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-042"
axis = "wind-field"
item = "uniform wind confined to a bounded zone (box or sphere), zero outside"
source = "Unreal / Houdini wind source volumes"
status = "implemented+oracle"
evidence = "src/wind_zone.rs::force_on / tests/audit_wind_zone.rs::force_respects_zone_shape_for_body_and_particle / tests/analytic_wind_zone_wiring.rs::force_on_degenerate_body_entirely_outside_zone_is_zero 箱と球の形状は浮力の zone と共有"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-043"
axis = "wind-field"
item = "wind zones applied by the world step to every body inside them"
source = "PhysX / Unreal (wind as a scene component)"
status = "missing"
evidence = "force_on は呼び手が毎 frame 呼んで add_force する 世界の step から wind_zone への参照は 0 件 (車両だけが環境として受け取る src/vehicle_dynamics/mod.rs::Environment)"
oracle_candidate = "zone 内の body だけが加速される"
limitation = ""

[[item]]
id = "COV-ENV-044"
axis = "wind-field"
item = "obstacle sheltering: wind attenuated by distance to geometry (SDF ramp)"
source = "Unreal / game wind occlusion; Houdini wind shadowing"
status = "implemented+oracle"
evidence = "src/sdf_wind_field.rs::sample / tests/audit_sdf_wind_field.rs::sample_matches_documented_formula_on_a_grid / tests/audit_sdf_wind_field.rs::spherical_obstacle_shelter_on_the_axes / tests/audit_sdf_wind_field.rs::wind_is_monotone_in_distance_and_bounded_by_base_wind / 既知の欠陥 tests/audit_sdf_wind_field.rs::zero_decay_scale_still_blocks_wind_inside_the_obstacle (known defect AUD-A-S6W1-001) / tests/audit_sdf_wind_field.rs::nan_sdf_distance_is_not_masked_as_still_air (AUD-A-S6W1-002)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-045"
axis = "wind-field"
item = "direction-dependent wake (leeward shadow longer than the windward side)"
source = "Oke, Boundary Layer Climates ch.7; EN 1991-1-4 Annex A"
status = "missing"
evidence = "遮蔽は距離だけの関数 (src/sdf_wind_field.rs::sample、tests/audit_sdf_wind_field.rs::wind_depends_on_position_only_through_the_sdf) 風向と障害物の向きを見ない"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-046"
axis = "wind-field"
item = "speed-up over hills, escarpments and roofs (orography factor)"
source = "EN 1991-1-4 Annex A.3 (orography factor); Jackson-Hunt 1975"
status = "missing"
evidence = "src/sdf_wind_field.rs は用途として挙げるが、モデルは減衰のみ (src/sdf_wind_field.rs 'Callers who need lift over the roof / turbulence spectra should compose the field')"
oracle_candidate = "Jackson-Hunt の丘頂の増速率 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-047"
axis = "wind-field"
item = "diagnostic wind over terrain from measurements (interpolation plus mass-consistent adjustment)"
source = "WindNinja; CALMET; Sherman 1978"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-048"
axis = "wind-field"
item = "gridded wind field sampled by trilinear interpolation and passed to aerodynamic loads"
source = "WRF output / Unreal vector fields"
status = "implemented-no-oracle"
evidence = "src/sim_field.rs::sample (SDF 効果層の汎用ベクトル場、f32) を引いて lift_drag の wind 引数 (src/lift_drag.rs::load) に渡せば組める 風としての test は無い"
oracle_candidate = "一様場で zone と同じ力"
limitation = ""

[[item]]
id = "COV-ENV-049"
axis = "wind-field"
item = "vortex wind fields (Rankine vortex, tornado and dust-devil models)"
source = "Rankine; Wood-White 2011"
status = "missing"
evidence = "force の Vortex (src/force.rs::ForceField) は回転方向の力で風速場ではない 分割: 子の行 COV-ENV-143〜144 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = "Rankine 渦の接線速度分布"
limitation = ""

[[item]]
id = "COV-ENV-050"
axis = "wind-field"
item = "downburst / microburst outflow wind model"
source = "Vicroy 1992; Oseguera-Bowles 1988"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-051"
axis = "aerodynamics"
item = "thin-aerofoil section lift slope 2 pi"
source = "Anderson, Fundamentals of Aerodynamics ch.4"
status = "implemented+oracle"
evidence = "src/lift_drag.rs::THIN_AIRFOIL_LIFT_SLOPE / tests/analytic_lift_drag.rs::thin_airfoil_slope_is_two_pi_in_the_infinite_aspect_ratio_limit 翼面の力全体は連成の表 COV-COUPLE-073、ここは法則ごとに細分"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-052"
axis = "aerodynamics"
item = "finite-wing lift slope from lifting-line theory a = a0 / (1 + a0 / (pi e AR))"
source = "Anderson, Fundamentals of Aerodynamics ch.5"
status = "implemented+oracle"
evidence = "src/lift_drag.rs::lift_slope_per_rad / tests/analytic_lift_drag.rs::finite_wing_slope_follows_lifting_line"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-053"
axis = "aerodynamics"
item = "drag polar with induced drag C_D = C_D0 + C_L^2 / (pi e AR) and maximum L/D"
source = "Anderson, Introduction to Flight ch.6"
status = "implemented+oracle"
evidence = "src/lift_drag.rs::coefficients / tests/analytic_lift_drag.rs::induced_drag_follows_the_drag_polar / tests/analytic_lift_drag.rs::maximum_lift_to_drag_matches_the_polar_closed_form"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-054"
axis = "aerodynamics"
item = "stall and post-stall flat-plate coefficients (continuous transition)"
source = "Hoerner, Fluid-Dynamic Lift; Viterna-Corrigan 1982"
status = "implemented+oracle"
evidence = "src/lift_drag.rs::coefficients / tests/analytic_lift_drag.rs::stall_lowers_lift_and_coefficients_are_continuous / tests/analytic_lift_drag.rs::lift_is_odd_and_drag_even_in_the_effective_angle"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-055"
axis = "aerodynamics"
item = "relative air velocity including wind and the rotation of the surface"
source = "Stevens-Lewis, Aircraft Control and Simulation ch.2"
status = "implemented+oracle"
evidence = "src/lift_drag.rs::load / tests/analytic_lift_drag.rs::wind_enters_the_relative_flow / tests/analytic_lift_drag.rs::angular_velocity_moves_the_centre_of_pressure_through_the_air"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-056"
axis = "aerodynamics"
item = "tabulated aerofoil polars C_L, C_D, C_M vs angle of attack and Reynolds number"
source = "Abbott-von Doenhoff, Theory of Wing Sections; XFOIL; FAST AeroDyn"
status = "missing"
evidence = "係数は解析式のみ (src/lift_drag.rs::coefficients)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-057"
axis = "aerodynamics"
item = "pitching-moment coefficient about the aerodynamic centre"
source = "Anderson, Fundamentals of Aerodynamics ch.4"
status = "missing"
evidence = "モーメントは圧力中心のずれから出るだけ (tests/analytic_lift_drag.rs::offset_centre_of_pressure_gives_moment_and_apply_adds_it) C_M の係数は無い"
oracle_candidate = "対称翼で C_M,ac = 0"
limitation = ""

[[item]]
id = "COV-ENV-058"
axis = "aerodynamics"
item = "Reynolds-number dependent drag of bluff bodies (sphere and cylinder C_D(Re), drag crisis)"
source = "Hoerner, Fluid-Dynamic Drag; Schiller-Naumann 1933; Achenbach 1972"
status = "missing"
evidence = "風の zone の C_d は定数 (src/wind_zone.rs::WindZone)"
oracle_candidate = "Stokes 域で C_D = 24/Re"
limitation = ""

[[item]]
id = "COV-ENV-059"
axis = "aerodynamics"
item = "Magnus lift on spinning bodies"
source = "Hoerner, Fluid-Dynamic Lift ch.7; Nathan 2008 (baseball)"
status = "missing"
evidence = "grep 0 件 (magnus)"
oracle_candidate = "揚力係数 C_L ≈ spin ratio の線形域 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-060"
axis = "aerodynamics"
item = "compressibility corrections (Prandtl-Glauert, Karman-Tsien) and Mach-dependent drag"
source = "Anderson, Modern Compressible Flow ch.9"
status = "missing"
evidence = "翼面の係数は Mach 数を見ない (src/lift_drag.rs::coefficients) 等エントロピーの関係は衝撃波の表 分割: 子の行 COV-ENV-145〜146 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = "C_L / √(1 − M²)"
limitation = ""

[[item]]
id = "COV-ENV-061"
axis = "aerodynamics"
item = "ground effect on lift and induced drag"
source = "Hoerner, Fluid-Dynamic Lift ch.20; McCormick, Aerodynamics, Aeronautics and Flight Mechanics"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-062"
axis = "aerodynamics"
item = "library of drag coefficients of standard shapes (cube, cylinder, plate, person, car)"
source = "Hoerner, Fluid-Dynamic Drag ch.3; EN 1991-1-4 sec.7 (force coefficients)"
status = "missing"
evidence = "C_d は呼び手が与える (src/wind_zone.rs::WindZone の doc の 1.2 / 0.47 は例示)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-063"
axis = "weather"
item = "raindrop terminal velocity vs diameter"
source = "Gunn-Kinzer 1949; Atlas et al. 1973"
status = "missing"
evidence = "grep 0 件 (precipitation / raindrop)"
oracle_candidate = "直径 2 mm で約 6.5 m/s (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-064"
axis = "weather"
item = "drop-size distribution and rain rate (Marshall-Palmer)"
source = "Marshall-Palmer 1948"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "N(D) の積分と降雨強度の関係"
limitation = ""

[[item]]
id = "COV-ENV-065"
axis = "weather"
item = "snowfall: snowflake fall speed and accumulation on surfaces"
source = "Locatelli-Hobbs 1974; Fearing, Computer Modelling of Fallen Snow (SIGGRAPH 2000)"
status = "missing"
evidence = "grep 0 件 snow は路面の摩擦係数 (車両の表 COV-MBD-046) と異方性摩擦の例のみ"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-066"
axis = "weather"
item = "cloud microphysics (condensation, autoconversion, Kessler warm-rain scheme)"
source = "Kessler 1969; Rogers-Yau, A Short Course in Cloud Physics"
status = "missing"
evidence = "grep 0 件 (cloud は src/cfd_solver.rs の点群の語のみ) 分割しない: 子の行は大気の表 COV-ATMOS-007, 034〜052, 054, 057〜065, 067, 133 が受け持つ この行の status は子のうち最も実装の少ないものに合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-067"
axis = "weather"
item = "cloud formation and cover from humidity and lifting"
source = "Wallace-Hobbs ch.6"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-068"
axis = "weather"
item = "fog and visibility (Koschmieder relation V = 3.912 / extinction coefficient)"
source = "Koschmieder 1924; WMO-No. 8 ch.9"
status = "missing"
evidence = "grep 0 件 (fog / visibility は solver の可視性 flag のみ)"
oracle_candidate = "V = 3.912/σ"
limitation = ""

[[item]]
id = "COV-ENV-069"
axis = "weather"
item = "ice accretion on structures and lines"
source = "Makkonen 2000; ISO 12494"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-070"
axis = "weather"
item = "precipitation particles advected by the wind field (rain streaks, snow drift)"
source = "Unreal Niagara / Houdini weather setups"
status = "missing"
evidence = "粒子系は force field (剛体と同じ src/force.rs::field_force_at の力の法則) だけを受け、風速場を読まない (src/particle.rs::apply_force_field)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-071"
axis = "weather"
item = "solar position and clear-sky irradiance for surface heating"
source = "Michalsky 1988 (solar position); Iqbal, An Introduction to Solar Radiation"
status = "missing"
evidence = "grep 0 件 (solar / irradiance)"
oracle_candidate = "春分正午の天頂角 = 緯度"
limitation = ""

[[item]]
id = "COV-ENV-072"
axis = "ocean-waves"
item = "deep-water dispersion relation omega^2 = g k as a function"
source = "Dean-Dalrymple, Water Wave Mechanics ch.3"
status = "missing"
evidence = "波数は呼び手が与える (src/wave_ship.rs::WaveComponent は doc の式のみ)"
oracle_candidate = "位相速度 √(g/k)"
limitation = ""

[[item]]
id = "COV-ENV-073"
axis = "ocean-waves"
item = "finite-depth dispersion omega^2 = g k tanh(k h) and its solution for k"
source = "Dean-Dalrymple ch.3; Fenton-McKee 1990"
status = "missing"
evidence = "grep 0 件 (tanh の分散関係)"
oracle_candidate = "kh → ∞ と kh → 0 の極限"
limitation = ""

[[item]]
id = "COV-ENV-074"
axis = "ocean-waves"
item = "linear (Airy) wave kinematics: orbital velocity, dynamic pressure, depth decay"
source = "Dean-Dalrymple ch.4"
status = "missing"
evidence = "水面高だけ (src/wave_ship.rs::free_surface_elevation)、水中の速度と圧力は無い"
oracle_candidate = "深水で軌道半径 a e^{kz}"
limitation = ""

[[item]]
id = "COV-ENV-075"
axis = "ocean-waves"
item = "free-surface elevation by linear superposition of components along one horizontal axis"
source = "Dean-Dalrymple ch.3; Faltinsen, Sea Loads ch.2"
status = "implemented+oracle"
evidence = "src/wave_ship.rs::free_surface_elevation / tests/audit_wave_ship.rs::free_surface_matches_cosine_sum_with_signs / tests/audit_wave_ship.rs::free_surface_is_a_right_travelling_wave / tests/analytic_wave_ship_wiring.rs::free_surface_elevation_matches_cosine_closed_form_pointwise"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-076"
axis = "ocean-waves"
item = "directional sea: elevation eta(x, y, t) from components with propagation directions"
source = "Goda, Random Seas and Design of Maritime Structures ch.2"
status = "missing"
evidence = "成分は 1 軸の位置 x_m だけを受ける (src/wave_ship.rs::free_surface_elevation)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-077"
axis = "ocean-waves"
item = "directional spreading functions (cos-2s, Mitsuyasu)"
source = "Mitsuyasu et al. 1975; DNV-RP-C205 sec.3.5.8"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "∫D(θ)dθ = 1"
limitation = ""

[[item]]
id = "COV-ENV-078"
axis = "ocean-waves"
item = "JONSWAP spectrum with peak enhancement and the H_s-preserving normalisation"
source = "Hasselmann et al. 1973; DNV-RP-C205 eq.3.5.5-3.5.7"
status = "implemented+oracle"
evidence = "src/wave_ship.rs::spectrum_density / tests/audit_wave_ship.rs::spectrum_matches_dnv_closed_form_across_sea_states / tests/audit_wave_ship.rs::peak_value_closed_form_and_argmax_at_peak_omega / tests/analytic_wave_ship_wiring.rs::spectrum_density_matches_jonswap_closed_form_default_gamma"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-079"
axis = "ocean-waves"
item = "Pierson-Moskowitz spectrum (fully developed sea)"
source = "Pierson-Moskowitz 1964; DNV-RP-C205 sec.3.5.5"
status = "implemented+oracle"
evidence = "γ = 1 で JONSWAP が PM に帰着 (src/wave_ship.rs::spectrum_density) / tests/audit_wave_ship.rs::nonpositive_gamma_is_treated_as_one / tests/audit_wave_ship.rs::significant_wave_height_recovered_from_zeroth_moment_for_several_gamma"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-080"
axis = "ocean-waves"
item = "spectral moments and derived sea-state parameters (H_s = 4 sqrt(m0), T_z, T_m01)"
source = "Goda ch.2; DNV-RP-C205 sec.3.5"
status = "missing"
evidence = "m0 の数値積分は test 側にだけある (tests/audit_wave_ship.rs::significant_wave_height_recovered_from_zeroth_moment_for_several_gamma)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-081"
axis = "ocean-waves"
item = "random-sea synthesis from a spectrum (component amplitudes sqrt(2 S dω), seeded random phases)"
source = "Faltinsen, Sea Loads ch.2; Tucker-Pitt, Waves in Ocean Engineering"
status = "missing"
evidence = "成分 (src/wave_ship.rs::WaveComponent) は呼び手が作る スペクトルから成分を作る関数は無い"
oracle_candidate = "合成した水面の分散が m0"
limitation = ""

[[item]]
id = "COV-ENV-082"
axis = "ocean-waves"
item = "second-order Stokes waves (bound harmonics, crest-trough asymmetry)"
source = "Dean-Dalrymple ch.11; Fenton 1985"
status = "missing"
evidence = "grep 0 件 (stokes は src/cfd_solver.rs の Stokes 流れのみ)"
oracle_candidate = "峰高 = a + k a²/2 (深水)"
limitation = ""

[[item]]
id = "COV-ENV-083"
axis = "ocean-waves"
item = "higher-order nonlinear waves: Stokes 5th order, stream-function, cnoidal and solitary waves"
source = "Fenton 1985; Dean 1965; Dean-Dalrymple ch.11"
status = "missing"
evidence = "grep 0 件 分割: 子の行 COV-ENV-147〜150 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = "孤立波の波速 √(g(h+H))"
limitation = ""

[[item]]
id = "COV-ENV-084"
axis = "ocean-waves"
item = "Gerstner (trochoidal) waves with horizontal displacement"
source = "Gerstner 1802; Tessendorf, Simulating Ocean Water (2001) sec.3"
status = "missing"
evidence = "grep 0 件 (gerstner / trochoid)"
oracle_candidate = "粒子の円軌道と水面の形"
limitation = ""

[[item]]
id = "COV-ENV-085"
axis = "ocean-waves"
item = "FFT ocean surface on a periodic tile (Phillips spectrum, choppy displacement)"
source = "Tessendorf, Simulating Ocean Water (2001); Houdini Ocean Spectrum"
status = "missing"
evidence = "grep 0 件 (phillips / fft)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-086"
axis = "ocean-waves"
item = "wave-breaking criteria (steepness limit, depth-limited breaking)"
source = "Dean-Dalrymple ch.11; Miche 1944; McCowan 1894"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "H/h ≈ 0.78"
limitation = ""

[[item]]
id = "COV-ENV-087"
axis = "ocean-waves"
item = "short-term wave-height statistics (Rayleigh distribution, H_max, H_1/3)"
source = "Longuet-Higgins 1952; Goda ch.2"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "H_1/3 ≈ 4.0 √m0"
limitation = ""

[[item]]
id = "COV-ENV-088"
axis = "ocean-waves"
item = "wind-wave growth from wind speed, fetch and duration"
source = "Hasselmann et al. 1973 (fetch laws); SMB method; SWAN source terms"
status = "missing"
evidence = "Hs と Tp は呼び手が与える (src/wave_ship.rs::Jonswap)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-089"
axis = "ocean-coastal"
item = "shoaling and refraction of waves over varying depth"
source = "Dean-Dalrymple ch.4; SWAN"
status = "missing"
evidence = "grep 0 件 (shoal / refraction)"
oracle_candidate = "Green の法則 H ∝ h^{-1/4}"
limitation = ""

[[item]]
id = "COV-ENV-090"
axis = "ocean-coastal"
item = "shallow-water equations for rivers, floods and tsunamis (depth-averaged flow over terrain)"
source = "Toro, Shock-Capturing Methods for Free-Surface Shallow Flows; Houdini FLIP / heightfield fluid"
status = "missing"
evidence = "grep 0 件 (shallow water / saint-venant) 自由表面の流体は多相の表"
oracle_candidate = "ダム崩壊の Ritter 解"
limitation = ""

[[item]]
id = "COV-ENV-091"
axis = "ocean-coastal"
item = "ocean currents and wave-current interaction (Doppler shift)"
source = "Dean-Dalrymple ch.3; Jonsson 1990"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "ω = σ + k·U"
limitation = ""

[[item]]
id = "COV-ENV-092"
axis = "ocean-coastal"
item = "wind stress on the water surface and wind-driven currents"
source = "Large-Pond 1981; Ekman 1905"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-093"
axis = "ocean-coastal"
item = "wave pressure on vertical walls and breakwaters (Sainflou, Goda)"
source = "Goda, Random Seas ch.4; CEM VI-5"
status = "missing"
evidence = "grep 0 件 細長い部材の Morison 式は連成の表 COV-COUPLE-072"
oracle_candidate = "重複波の Sainflou 圧力分布"
limitation = ""

[[item]]
id = "COV-ENV-094"
axis = "terrain"
item = "regular-grid height field with bilinear height sampling"
source = "Unreal Landscape; Houdini HeightField"
status = "implemented+oracle"
evidence = "src/heightfield.rs::sample_height / tests/audit_heightfield.rs::sample_height_is_bilinear_on_a_random_non_square_field_with_offset_origin / tests/audit_heightfield.rs::sample_height_outside_the_grid_holds_the_nearest_edge_value / 既知の欠陥 tests/audit_heightfield.rs::origin_y_offsets_the_surface (known defect AUD-A-S4W3-006、origin.y の意味が未定) 衝突の判定は剛体の表 COV-RIGID-066"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-095"
axis = "terrain"
item = "terrain surface normal from the height field"
source = "Unreal Landscape; Horn 1981 (finite-difference slope)"
status = "implemented+oracle"
evidence = "src/heightfield.rs::sample_normal / tests/audit_heightfield.rs::normal_of_a_tilted_plane_matches_the_closed_form_away_from_the_border / tests/audit_heightfield.rs::normal_of_a_bilinear_saddle_is_exact_in_the_interior / tests/audit_heightfield.rs::normal_on_the_border_of_a_plane_is_the_plane_normal"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-096"
axis = "terrain"
item = "runtime editing of terrain heights"
source = "Unreal Landscape editing; Houdini HeightField"
status = "implemented+oracle"
evidence = "src/heightfield.rs::set_height / src/heightfield.rs::set_height_updates_one_cell_and_feeds_bilinear_sampling / tests/analytic_static_collider.rs::a_height_field_interpolates_bilinearly_and_clamps_outside_its_grid"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-097"
axis = "terrain"
item = "terrain analysis: slope angle, aspect and curvature"
source = "Horn 1981; Zevenbergen-Thorne 1987; ArcGIS Spatial Analyst"
status = "missing"
evidence = "法線だけ (src/heightfield.rs::sample_normal) 勾配角・方位・曲率の API は無い"
oracle_candidate = "傾斜平面の勾配角"
limitation = ""

[[item]]
id = "COV-ENV-098"
axis = "terrain"
item = "procedural terrain generation (fBm / ridged noise, diamond-square, domain warping)"
source = "Musgrave, Texturing and Modeling ch.16; Fournier-Fussell-Carpenter 1982; Houdini HeightField Noise"
status = "missing"
evidence = "grep 0 件 (perlin / fbm / diamond)"
oracle_candidate = "fBm のパワースペクトルの傾き"
limitation = ""

[[item]]
id = "COV-ENV-099"
axis = "terrain"
item = "real elevation data import with geographic referencing (DEM / GeoTIFF, lat-lon)"
source = "USGS DEM; SRTM; GDAL"
status = "missing"
evidence = "高さは呼び手が Vec で渡す (src/heightfield.rs::HeightField)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-100"
axis = "terrain"
item = "flow routing on terrain: flow direction and accumulation (D8 / D-infinity), drainage basins and rivers"
source = "O'Callaghan-Mark 1984; Tarboton 1997"
status = "missing"
evidence = "grep 0 件 (D8 / flow accumulation) 分割: 子の行 COV-ENV-151〜152 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = "傾斜平面の流量累積が上流セル数"
limitation = ""

[[item]]
id = "COV-ENV-101"
axis = "terrain"
item = "landscape evolution: stream-power incision with uplift"
source = "Whipple-Tucker 1999; Braun-Willett 2013 (FastScape)"
status = "missing"
evidence = "grep 0 件 粒子・格子の水食と堆積は破壊の表 COV-FRACT-090、崖の安息角緩和は COV-FRACT-091"
oracle_candidate = "定常の河床縦断形 (Hack の法則)"
limitation = ""

[[item]]
id = "COV-ENV-102"
axis = "terrain"
item = "hillslope diffusion (linear soil creep dz/dt = D laplacian z)"
source = "Culling 1960; Roering et al. 1999"
status = "missing"
evidence = "grep 0 件 地形の高さ場を拡散させる関数は無い (SDF 効果層の拡散 src/sim_field.rs::diffuse は 3-D 格子の scalar 場)"
oracle_candidate = "Gauss 形の丘の拡散の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-103"
axis = "environmental-load"
item = "wind load on a rigid body in a wind zone (quadratic drag 1/2 rho C_d A |v_rel| v_rel)"
source = "Hoerner, Fluid-Dynamic Drag; EN 1991-1-4 sec.5 (wind force)"
status = "partial"
evidence = "src/wind_zone.rs::force_on / tests/analytic_wind_zone_wiring.rs::force_on_resting_body_matches_half_rho_cd_a_v_squared / tests/audit_wind_zone.rs::force_general_3d_matches_half_rho_cd_a_speed_vrel / tests/audit_wind_zone.rs::force_is_quadratic_in_relative_speed 布・髪の粒子への同じ力は軟体の表 COV-SOFT-072、車両の横風は COV-MBD-044"
oracle_candidate = ""
limitation = "src/wind_zone.rs 'The MVP evaluates the aerodynamic force in the body's centre and ignores surface-orientation dependence'"

[[item]]
id = "COV-ENV-104"
axis = "environmental-load"
item = "wind moment on a body (centre of pressure offset, orientation-dependent projected area)"
source = "Hoerner, Fluid-Dynamic Drag; ASCE 7 ch.27"
status = "missing"
evidence = "zone の力は重心の 1 点で、トルクを返さない (src/wind_zone.rs::force_on) 翼面だけは圧力中心を持つ (COV-COUPLE-073)"
oracle_candidate = "平板の偏心圧力によるモーメント"
limitation = ""

[[item]]
id = "COV-ENV-105"
axis = "environmental-load"
item = "wind pressure on buildings: velocity pressure, exposure factor and pressure coefficients c_pe / c_pi"
source = "EN 1991-1-4 sec.4-7; ASCE 7 ch.26-30"
status = "missing"
evidence = "grep 0 件 (pressure coefficient)"
oracle_candidate = "q_p(z) = ½ρ v_m² (1 + 7 Iv) (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-106"
axis = "environmental-load"
item = "snow load on roofs (s = mu C_e C_t s_k), drift and shape coefficients"
source = "EN 1991-1-3; ASCE 7 ch.7"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = "傾斜 30° の屋根の μ1 = 0.8"
limitation = ""

[[item]]
id = "COV-ENV-107"
axis = "environmental-load"
item = "ice load and wind on iced members"
source = "ISO 12494; EN 1993-3-1 Annex C"
status = "missing"
evidence = "grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-108"
axis = "benchmark"
item = "ISA table values at standard altitudes"
source = "U.S. Standard Atmosphere 1976 tables"
status = "implemented+oracle"
evidence = "tests/analytic_atmosphere_isa1976.rs::table_rows_match_us_standard_atmosphere_1976 / tests/analytic_atmosphere_isa1976.rs::speed_of_sound_matches_table"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-109"
axis = "benchmark"
item = "ISA values at the 11 km tropopause (216.65 K and about 22 632 Pa)"
source = "U.S. Standard Atmosphere 1976"
status = "implemented+oracle"
evidence = "tests/analytic_atmosphere_isa1976.rs::tropopause_base_values / tests/analytic_atmosphere_isa1976.rs::layers_meet_continuously_at_the_tropopause"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-110"
axis = "benchmark"
item = "neutral surface-layer wind profile against the log law"
source = "Stull BLM ch.9; Prairie Grass / Kansas 1968 data"
status = "missing"
evidence = "対数則の風速分布が無い (COV-ENV-026)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-111"
axis = "benchmark"
item = "deep-water dispersion of a simulated wave (phase speed sqrt(g / k))"
source = "Dean-Dalrymple ch.3"
status = "missing"
evidence = "波数は入力なので分散を検証する対象が無い (COV-ENV-072) 進行方向と位相速度 ω/k の test は tests/audit_wave_ship.rs::free_surface_is_a_right_travelling_wave"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-112"
axis = "benchmark"
item = "second-order Stokes crest height"
source = "Dean-Dalrymple ch.11"
status = "missing"
evidence = "2 次 Stokes が無い (COV-ENV-082)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-113"
axis = "benchmark"
item = "JONSWAP significant wave height recovered from the zeroth moment"
source = "DNV-RP-C205 sec.3.5"
status = "implemented+oracle"
evidence = "tests/audit_wave_ship.rs::significant_wave_height_recovered_from_zeroth_moment_for_several_gamma"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-114"
axis = "benchmark"
item = "power spectral density of generated turbulence against the Dryden spectrum"
source = "MIL-F-8785C; MIL-HDBK-1797"
status = "missing"
evidence = "乱流の生成器が無い (COV-ENV-035 / COV-ENV-039)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-115"
axis = "benchmark"
item = "terminal velocity of a falling body under quadratic air drag"
source = "Hoerner, Fluid-Dynamic Drag; v_t = sqrt(2 m g / (rho C_d A))"
status = "implemented+oracle"
evidence = "src/wind_zone.rs::force_on / tests/analytic_wind_zone_terminal_velocity.rs::falling_body_in_a_wind_zone_approaches_the_closed_form_terminal_velocity (世界を実際に回し、v_t = sqrt(2 m g / (rho C_d A)) の漸近に突合)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-116"
axis = "benchmark"
item = "wind speed downstream of a windbreak / building against measurements"
source = "Oke, Boundary Layer Climates ch.7; Cornelis-Gabriels 2005"
status = "missing"
evidence = "SDF 遮蔽は距離だけの経験的な ramp (COV-ENV-044)、実測との突合は無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-117"
axis = "cryosphere"
item = "snowpack densification under overburden (compactive viscosity of snow, Anderson / Kojima; firn densification, Herron-Langway)"
source = "Armstrong-Brun, Snow and Climate ch.3; Herron-Langway 1980; SNOWPACK and Crocus model descriptions"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 屋根の積雪荷重 COV-ENV-106 と降雪の堆積 COV-ENV-065 も missing"
oracle_candidate = "Herron-Langway の段階 1 の密度と深さの閉形式 (係数は参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-118"
axis = "cryosphere"
item = "thermal and mechanical properties of snow as functions of density (effective conductivity, Young's modulus, strength)"
source = "Sturm et al. 1997 (conductivity); Mellor 1975 (mechanics)"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 材料 data の表にも雪の行は無い (推測: snow で 0 件)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-119"
axis = "cryosphere"
item = "snowmelt rate from the surface energy balance (net radiation, sensible and latent heat, rain heat, ground heat), with the degree-day index as the reduced form"
source = "Armstrong-Brun ch.5; Hock 2003 (temperature-index models)"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 日射と環境の熱負荷 COV-THERM-068、地表の bulk flux COV-ATMOS-077 (いずれも missing) を入力に使う"
oracle_candidate = "一定の正味放射だけの層の融解量 = 熱量 / (rho L_f) の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-120"
axis = "cryosphere"
item = "meltwater percolation, retention and refreezing in the snowpack (bucket scheme, Richards-type flow in snow)"
source = "Colbeck 1972; Wever et al. 2014"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-121"
axis = "cryosphere"
item = "snow metamorphism and grain-size evolution (equi-temperature and temperature-gradient regimes) (推測、優先度低)"
source = "Colbeck 1982; Armstrong-Brun ch.3"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-122"
axis = "cryosphere"
item = "Glen's flow law of ice (n = 3) with the temperature-dependent rate factor A(T) (Arrhenius with two activation energies)"
source = "Cuffey-Paterson, The Physics of Glaciers ch.3; Glen 1955"
status = "missing"
evidence = "氷の構成則は無い src/non_newtonian.rs::PowerLaw の shear_thinning(K, 3) は tau = K gamma-dot^(1/3) で Glen 則 (n = 3) の単純剪断と同じ式になるが、温度の rate factor A(T) と応力の第 2 不変量で書く 3-D の形が無い (別分野の部品が同じ式を持つだけなので数えない) Arrhenius の閉形式は COV-CHEM-018 (I+O)"
oracle_candidate = "一様剪断の層の歪み速度 2 A tau^n の閉形式 src/non_newtonian.rs::PowerLaw の shear_thinning(K, 3) を安い参照経路に"
limitation = ""

[[item]]
id = "COV-ENV-123"
axis = "cryosphere"
item = "shallow-ice approximation: evolution of ice thickness on a bed as nonlinear diffusion of the surface (ice flux from the local slope and thickness)"
source = "Hutter 1983; Cuffey-Paterson ch.8; Greve-Blatter, Dynamics of Ice Sheets and Glaciers ch.5"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = "Halfar の相似解 (行 COV-ENV-138)"
limitation = ""

[[item]]
id = "COV-ENV-124"
axis = "cryosphere"
item = "basal sliding of glaciers (Weertman sliding law, Coulomb-limited sliding) and the cold / temperate base condition"
source = "Weertman 1957; Schoof 2005; Cuffey-Paterson ch.7"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-125"
axis = "cryosphere"
item = "full-Stokes ice flow (nonlinear viscosity, free surface, grounding line)"
source = "Greve-Blatter ch.5; Elmer/Ice feature list"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 非線形粘性の Stokes を解く solver も無い (流れの表の solver は Newtonian の非圧縮 Navier-Stokes)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-126"
axis = "cryosphere"
item = "glacier surface mass balance (accumulation, ablation, equilibrium-line altitude, elevation feedback)"
source = "Cuffey-Paterson ch.4; Oerlemans 2001"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-127"
axis = "cryosphere"
item = "floating ice shelves: spreading of an unconfined shelf (Weertman 1957 closed form) and grounding-line flux (Schoof 2007) (推測、優先度低)"
source = "Weertman 1957; Schoof 2007"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-128"
axis = "cryosphere"
item = "thermodynamic growth and melt of sea ice (Stefan's law h^2 proportional to freezing degree days, Semtner zero-layer, Maykut-Untersteiner)"
source = "Maykut-Untersteiner 1971; Semtner 1976; Thomas, Sea Ice ch.2"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 1 相の Stefan 問題 COV-THERM-098 (missing) の応用"
oracle_candidate = "Stefan 則 h^2 = 2 k ΔT t / (rho L) の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-129"
axis = "cryosphere"
item = "sea-ice dynamics: momentum balance with wind and ocean drag, free drift, viscous-plastic rheology (Hibler 1979) and its elastic-viscous-plastic form"
source = "Hibler 1979; Hunke-Dukowicz 1997; CICE documentation"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = "自由漂流の定常速度 (風と海流の抗力の釣り合い、Nansen の偏角) の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-130"
axis = "cryosphere"
item = "ice floes as discrete bodies: floe collision and rafting, flexural breaking of floes and of level ice against a ship hull"
source = "Hopkins 1996; Lu et al. (ice-ship DEM); Thomas, Sea Ice ch.7"
status = "missing"
evidence = "剛体と浮力の zone (COV-COUPLE-066、partial) はあるが、氷盤の曲げ破壊と DEM の接触則 (COV-PART-072〜085、missing) が無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-131"
axis = "cryosphere"
item = "freezing and thawing of water bodies and wet ground (lake-ice formation, freeze-thaw cycles of a saturated porous material, pore-ice damage)"
source = "Stefan 1891; Lunardini, Heat Transfer in Cold Climates"
status = "missing"
evidence = "相変化の解き方は熱の表の enthalpy 法 COV-THERM-069 (partial、等温の相変化だけ) と Stefan 問題 COV-THERM-098 / 099 (missing) 凍上は土質の表 COV-GEOTECH-071 (docs/coverage/geotech.toml の行)、凍結深さは COV-GEOTECH-069 が持つ"
oracle_candidate = "湖面の氷厚の Stefan 則"
limitation = ""

[[item]]
id = "COV-ENV-132"
axis = "cryosphere"
item = "slab-avalanche release: stability of a weak layer (shear stress against shear strength, stability index, added load of a person or vehicle)"
source = "Schweizer et al. 2003; McClung-Schaerer, The Avalanche Handbook"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = "斜面の重力の剪断応力 rho g h sin psi cos psi の閉形式"
limitation = ""

[[item]]
id = "COV-ENV-133"
axis = "cryosphere"
item = "dense snow-avalanche flow: depth-averaged Savage-Hutter equations with Voellmy-Salm friction (mu + xi), runout distance"
source = "Savage-Hutter 1989; Salm 1993; RAMMS feature list"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義) 粒状体の崩壊の比較試験 COV-PART-119 (missing) と MPM の雪の塑性 COV-PART-069 (missing) が同じ物理の粒子側"
oracle_candidate = "一様斜面の定常速度 (行 COV-ENV-142)"
limitation = ""

[[item]]
id = "COV-ENV-134"
axis = "cryosphere"
item = "granular rheology of flowing snow (mu(I) rheology) in a particle or continuum solver"
source = "GDR MiDi 2004; Jop-Forterre-Pouliquen 2006"
status = "missing"
evidence = "粘塑性の自由表面流 COV-MULTIPHASE-058 と MPM の塑性 COV-PART-069 (いずれも missing) が受け口 雪の行はそれらを引く"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-135"
axis = "cryosphere"
item = "powder-snow avalanche as a turbulent suspension (density current, entrainment) (推測、優先度低)"
source = "Hopfinger 1983; Ancey 2004"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-136"
axis = "cryosphere"
item = "avalanche impact pressure on obstacles (p = rho v^2 C_D-type closed forms)"
source = "McClung-Schaerer ch.6; Swiss guidelines for avalanche protection"
status = "missing"
evidence = "雪・氷の状態 (層・密度・粒径・氷厚) を持つ module が無い grep: snow は src/anisotropic_friction.rs::ski_snow の摩擦 preset と src/vehicle_dynamics/surface.rs の路面状態の語のみ、glacier / sea ice / avalanche は 0 件 (avalanche は netcode・sketch の別語義)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-137"
axis = "cryosphere"
item = "wind transport of lying snow: saltation threshold friction velocity, transport rate and deposition behind obstacles"
source = "Pomeroy-Gray 1990; Tabler, snow fence design"
status = "missing"
evidence = "降水粒子の風による移流 COV-ENV-070 (missing) は落下中の粒子 本行は積もった雪の再配分 屋根の吹き溜まり係数は COV-ENV-106"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-138"
axis = "benchmark"
item = "Halfar similarity solution of a spreading ice cap (n = 3)"
source = "Halfar 1981; Bueler et al. 2005 (exact solutions for SIA)"
status = "missing"
evidence = "SIA が無い (行 COV-ENV-123)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-139"
axis = "benchmark"
item = "Vialov steady profile of an ice sheet with uniform accumulation"
source = "Vialov 1958; Greve-Blatter ch.5"
status = "missing"
evidence = "SIA が無い (行 COV-ENV-123)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-140"
axis = "benchmark"
item = "EISMINT and ISMIP-HOM ice-flow intercomparison experiments (参照値要確認)"
source = "Huybrechts et al. 1996; Pattyn et al. 2008"
status = "missing"
evidence = "氷床の solver が無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-141"
axis = "benchmark"
item = "sea-ice growth against freezing degree days (Stefan law and the Lebedev / Anderson empirical fits, 参照値要確認)"
source = "Lebedev 1938; Anderson 1961"
status = "missing"
evidence = "海氷の熱力学が無い (行 COV-ENV-128)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-142"
axis = "benchmark"
item = "steady Voellmy flow velocity on a uniform slope, v = sqrt(xi h (sin psi - mu cos psi))"
source = "Salm 1993"
status = "missing"
evidence = "雪崩の流動が無い (行 COV-ENV-133)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ENV-143"
axis = "wind-field"
item = "closed-form vortex wind fields (Rankine, Burgers-Rott)"
source = "Rankine; Burgers 1948; Rott 1958"
status = "missing"
evidence = "COV-ENV-049 の子 src/force.rs::ForceField の Vortex は回転方向の力で風速場ではない 熱帯低気圧の風速分布は COV-ATMOS-090"
oracle_candidate = "Rankine 渦の接線速度分布 (核内 omega r、核外 Gamma / 2 pi r)"
limitation = ""

[[item]]
id = "COV-ENV-144"
axis = "wind-field"
item = "tornado and dust-devil wind models with near-surface inflow and updraft (Wood-White)"
source = "Wood-White 2011"
status = "missing"
evidence = "COV-ENV-049 の子 同上"
oracle_candidate = "公表の竜巻の半径方向・鉛直速度の形 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-145"
axis = "aerodynamics"
item = "compressibility corrections to subsonic lift and pressure (Prandtl-Glauert, Karman-Tsien)"
source = "Anderson, Modern Compressible Flow ch.9"
status = "missing"
evidence = "COV-ENV-060 の子 src/lift_drag.rs::coefficients は Mach 数を見ない"
oracle_candidate = "C_L / sqrt(1 - M^2)"
limitation = ""

[[item]]
id = "COV-ENV-146"
axis = "aerodynamics"
item = "Mach-dependent drag (transonic drag rise, tabulated C_D(M))"
source = "Anderson, Modern Compressible Flow ch.9"
status = "missing"
evidence = "COV-ENV-060 の子 同上"
oracle_candidate = "表の C_D(M) の補間が節点で一致、drag divergence Mach の手前で増加"
limitation = ""

[[item]]
id = "COV-ENV-147"
axis = "ocean-waves"
item = "Stokes fifth-order nonlinear waves"
source = "Fenton 1985"
status = "missing"
evidence = "COV-ENV-083 の子 grep 0 件"
oracle_candidate = "5 次の分散関係を出典の係数で (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ENV-148"
axis = "ocean-waves"
item = "stream-function wave theory (Dean, Fenton numerical)"
source = "Dean 1965; Fenton 1988"
status = "missing"
evidence = "COV-ENV-083 の子 grep 0 件"
oracle_candidate = "低い波高で線形理論の波速に一致"
limitation = ""

[[item]]
id = "COV-ENV-149"
axis = "ocean-waves"
item = "cnoidal waves for shallow water"
source = "Dean-Dalrymple ch.11"
status = "missing"
evidence = "COV-ENV-083 の子 grep 0 件"
oracle_candidate = "m -> 0 で正弦波、m -> 1 で孤立波に近づく"
limitation = ""

[[item]]
id = "COV-ENV-150"
axis = "ocean-waves"
item = "solitary waves (Boussinesq / KdV)"
source = "Dean-Dalrymple ch.11"
status = "missing"
evidence = "COV-ENV-083 の子 grep 0 件"
oracle_candidate = "孤立波の波速 sqrt(g (h + H))"
limitation = ""

[[item]]
id = "COV-ENV-151"
axis = "terrain"
item = "flow direction and flow accumulation on a terrain grid (D8, D-infinity)"
source = "O'Callaghan-Mark 1984; Tarboton 1997"
status = "missing"
evidence = "COV-ENV-100 の子 grep 0 件 (D8 / flow accumulation)"
oracle_candidate = "傾斜平面の流量累積が上流セル数"
limitation = ""

[[item]]
id = "COV-ENV-152"
axis = "terrain"
item = "drainage basin delineation and river network extraction from accumulation"
source = "O'Callaghan-Mark 1984"
status = "missing"
evidence = "COV-ENV-100 の子 grep 0 件"
oracle_candidate = "2 つの谷を持つ合成地形で流域が 2 つ、河道が累積の閾値で分かれる"
limitation = ""