Earthquake Magnitude Classification (PWDR) L1-522
Unclaimed Principle — open for contribution
This Principle is declared in the catalog but has no reference solver, no pinned dataset, and is not registered on-chain. There is no reward pool. Submitting a cert against this Principle today will record the cert for reproducibility but pay zero PWM.
To claim it as a Bounty #7 contribution: open a PR adding (1) a reference solver, (2) ≥1 dataset pinned to IPFS, (3) updates to the L3 manifest with dataset CIDs. After verifier-agent triple-review, the founders' 3-of-5 multisig signs PWMRegistry.register() and the Principle becomes mineable.
Forward model E
Earthquake Magnitude Classification (PWDR): wraps L1-278 Earthquake Source Inversion analytical core with deterministic magnitude-scale formulas. Stage 1 (analytical, from L1-278): recover earthquake source parameters (seismic moment M_0, focal mechanism, fault dimensions L*W, average slip D, hypocenter location, origin time) from seismograph network observations via moment-tensor inversion or finite-fault inversion. Stage 2 (deterministic threshold): apply Hanks-Kanamori formula Mw = (2/3) * log10(M_0) - 10.7 to recover moment magnitude; classify into standard bins or compute alternative scales (ML, mb, Ms). Difficulty tier delta = 5 inherited from L1-278. Mismatch parameters: station_coverage_gap, near_field_truncation, hypocenter_localization_error, velocity_model_uncertainty, instrument_response_uncertainty, magnitude_scale_saturation.
L-DAG
Well-posedness W
- Existence:
- true
- Uniqueness:
- conditional
- Stability:
- conditional
- κ:
- 200
Existence inherited from L1-278. Uniqueness conditional on adequate station coverage (azimuthal gap < 180 degrees) and SNR > 10 dB. Stability dominated by velocity_model_uncertainty (~0.1-0.3 Mw bias) and magnitude_scale_saturation (ML saturates at ~7; Mw is preferred for great earthquakes). Joint Hadamard well-posedness for the source-inversion + magnitude-formula forward established by Hanks-Kanamori 1979 (foundational Mw formula), Richter 1935 (foundational ML), Kanamori 1977 (great-earthquake moment paradox), Aki-Richards 2002 (Quantitative Seismology textbook), Vallee 2013 (SCARDEC moment-tensor algorithm), Duputel et al. 2012 (W-phase moment-tensor inversion for tsunami warning).
Solvability C
- Solver class:
- linear-operator + convex optimisation [moment-tensor inversion, finite-fault slip inversion] + categorical-readout [magnitude scale + bin] | end-to-end deep neural [DeepShakeNet, MagNet] with explicit physics-informed source-inversion regularization
- Convergence rate q:
- 1
- Complexity:
- O(N_stations * N_time_samples * N_focal_mechanism_grid) for grid-search moment tensor; faster O(N_stations * log(...)) for Bayesian inversion (e.g., SCARDEC)